m).  Is q < 1/17? 
True
Suppose 247 = 23*m + 2886 + 1179.  Let q be (2 - 1*169) + 1.  Is m >= q? 
True
Let h be (6/15)/((-23)/20).  Suppose -g = 19 - 14, 4*y - 3*g - 19 = 0.  Is h not equal to y? 
True
Let l = -198.5 - 65.5.  Which is smaller: l or -5? 
l
Let a be (-2 - 30/(-25))*-485.  Let j be (-1 + 0)/(25/10) + (-3874)/(-10).  Which is smaller: a or j? 
j
Let a(g) = g**3 - 4*g**2 + 5*g - 4.  Let y be a(3).  Suppose -5*p - 5*f + 5 = -y*f, 2*p = -f + 1.  Let o be p/(-9) + (-136)/288.  Is 1.2 <= o? 
False
Let r(d) = d**3 - 30*d**2 + 13*d - 39.  Let g be r(30).  Let a be (-9999)/g - 2/(-13).  Suppose 0 = m - 2*j + 29, 0 = -m + 5*j - 26 - 3.  Which is smaller: a or m? 
m
Let n = 11622 + -11560.  Which is smaller: 42 or n? 
42
Suppose 2*w - 38 = 3*c, 0 = 4*c - c - 6.  Let f = w + -22.  Let p be ((-10)/(-12))/(40/32).  Which is smaller: p or f? 
f
Let h(q) = -1546*q - 112.  Let m be h(-1).  Are m and 1436 unequal? 
True
Let f be 12104/(-36285) - (-278)/834.  Is 1 less than f? 
False
Let i be (-7*6/(-3))/1.  Let f = 94 - 2.  Suppose -10*t + 58 = -f.  Is i at most as big as t? 
True
Let z be (7 - (-6 - -19))*(-4 - -112 - -2).  Is z >= -659? 
False
Let o = -249363/7 - -35563.  Is o smaller than -60? 
True
Suppose -3*h - 3*y = 216, -y + 92 = -2*h - 46.  Let c = 25 + h. Is c bigger than -54? 
True
Let z = -20748 + 20748.  Which is bigger: 7.172 or z? 
7.172
Let u = 0.1 - 0.15.  Let q(l) = l**3 - 27*l**2 + 157*l - 260.  Let r be q(4).  Which is bigger: u or r? 
r
Let x = -5 - 0.9.  Which is smaller: 0 or x? 
x
Suppose 6 = -2*j + 4*p, -4*j - 2*p - 22 = -30.  Is j equal to -2/5131? 
False
Let b be 27*4/(12/(-3))*-182373.  Let z = b + -339752758/69.  Let c = 118 - z. Is 0 at most c? 
True
Let c be 45/5 + 2427/((-3)/(-1)).  Is 818 at least as big as c? 
True
Suppose 8*i = 4*i + 36.  Suppose 0 = -2*u - 18*o + 23*o - 8, 0 = -3*u - 2*o + 26.  Which is greater: u or i? 
i
Suppose 2*l - 4 = -0*l.  Let h be (34/(-19))/l + 1.  Let o(u) = -115*u + 689.  Let q be o(6).  Is q less than h? 
True
Let r = 14.548 - -6.452.  Which is smaller: r or 43? 
r
Let d(h) = h**2 + 27*h - 158.  Let a be d(-32).  Let r be ((-14)/28)/(a/12).  Are r and -17/8 non-equal? 
True
Suppose -48 = 2*p + 6*p.  Let s be (p/60)/((-3)/4)*-6.  Let a = 7/15 + s. Which is greater: a or 1/3? 
1/3
Let m = 2 + 2.  Suppose m*z - 5*z = 3*p + 10, 2*p + 12 = 2*z.  Let y be z + -4 + (-420)/(-14).  Is y at least 29? 
False
Let r(k) = 3*k**2 - 13*k - 16.  Let d(o) = -2*o**2 + 9*o + 11.  Let l(m) = 7*d(m) + 5*r(m).  Let q be l(4).  Let u be (-20)/15 - (3 - q).  Which is smaller: 2 or u? 
u
Let f be -7 - 9/(5/(40/(-12))).  Which is greater: f or 17/74? 
17/74
Suppose y + 1038 = 2*g, -5*g - 4*y = -6*y - 2597.  Let s = 545 - g. Let m be (-2 - -1)*25*-1.  Which is smaller: m or s? 
s
Let c(g) = -10*g - 62.  Let u(l) = -10*l - 57.  Let f(y) = -4*c(y) + 5*u(y).  Let r be f(3).  Are r and -69 unequal? 
True
Let z(u) = 275*u**2 + 6*u + 593.  Let i be z(0).  Which is greater: i or 596? 
596
Let r be 1560/(-27) + 16/(-72).  Suppose 3*k + 144 = -63.  Let a = k - r. Is a smaller than -11? 
False
Suppose 7*x - 5*f = 10*x + 192, 3*x + 201 = -2*f.  Are -6 and x non-equal? 
True
Let q(l) = 152*l - 25217.  Let k be q(166).  Suppose 0 = -3*c - 4*a + 5, -4*a = c - 3*a - 3.  Is k at least as big as c? 
True
Let c be 1 - (2 + -2 + -2).  Let x be (-13 - (-12)/9*3)/4.  Let p = x - -6.  Which is smaller: p or c? 
c
Let d = -433 + 295.  Let z = d + 132.  Let w be (-1 + (-51)/(-45))*z.  Is w at most 0.5? 
True
Let v = -0.10247 + -0.04733.  Which is bigger: v or 2/13? 
2/13
Let p be (-7 - -5) + 4/(-1) + (-20)/(-5).  Which is smaller: -86/33 or p? 
-86/33
Let z(n) = n**2 + 21*n + 116.  Suppose -461 = -w - 478.  Let k be z(w).  Let s(o) = o**3 - 3*o**2 + o - 6.  Let g be s(5).  Is k at least g? 
False
Suppose -25*l + 27*l + 4 = 0, -36 = -2*y - l. Suppose -144 = y*p - 372.  Which is greater: p or -5? 
p
Let n = 339 - 10847/32.  Let h = n - -29/96.  Is h at least as big as -14/9? 
True
Let v be 56/(-16)*-3*-1*4/(-2742).  Which is bigger: v or 1? 
1
Let j = 186 - 302.  Let w be ((45/6)/5)/((-2)/j).  Is 87 smaller than w? 
False
Suppose -3*x - 2*x = -10, 5*x - 368 = -2*s.  Let l = -926/5 + s. Does -7 = l? 
False
Let q be (4/(-1) - 2)*156/2495064.  Is 1 at most q? 
False
Let q = 4225 - 12796/3.  Let h be 1/((6/123)/((-12)/6)).  Is h bigger than q? 
False
Let i(q) = -10*q - 1.  Let v be i(1).  Let s = -13 + 0.  Let h be s/52 + (-3)/(-12).  Which is smaller: v or h? 
v
Let h be 3 - (-2 + 3) - 5*-5.  Let m be ((-32)/(-336))/((-4)/(-978)) - -3.  Which is greater: m or h? 
h
Suppose -13*a + 163579 + 45188 = 0.  Which is smaller: a or 16060? 
a
Let w = -17.535 - -10.535.  Which is smaller: -0.035 or w? 
w
Let u(o) = o**3 - 6*o**2 - 10*o - 2.  Let n(y) = y**2 + 5*y + 1.  Let c be n(-6).  Let f be u(c).  Suppose -4*k - 37 = 2*k + 107.  Is k greater than or equal to f? 
False
Suppose 5228*w - 45 = 5183*w.  Which is bigger: -32/267 or w? 
w
Let n = -0.06473 + 0.36473.  Let x = -0.13 - -1.33.  Let o = -5.8 - x. Which is greater: n or o? 
n
Let u = -208/5 - -521/10.  Let a = 111 - 16.  Suppose -a - 109 = -17*y.  Which is smaller: y or u? 
u
Let q(m) = -m**3 + 7*m**2 + 23*m - 43.  Let u be q(9).  Let y(p) = -p.  Let t be y(u).  Which is bigger: t or -6? 
t
Let m be 6/(-19) + 1326/4199.  Are m and -2/35603 unequal? 
True
Suppose -5*u - 42 = -182.  Let f = -28 + u. Suppose 5*x + 7 = -8.  Which is bigger: x or f? 
f
Suppose 21792 - 4687 = -13*d - 42*d.  Which is smaller: d or -310? 
d
Let i = 0.006 + 1.994.  Let u = i + 102.  Is u greater than or equal to -1/4? 
True
Let v = -938819/12 - -78171.  Which is smaller: v or -64? 
-64
Suppose -213063 = -85*i - 21648 + 22020.  Which is greater: i or 2510? 
i
Let h be (-1 + 3)/(140/(-1050)).  Let d(v) be the first derivative of -v**4/4 + v**3/3 + v**2/2 - 15*v + 7.  Let i be d(0).  Is h < i? 
False
Let z be (-30)/(-4)*(-9)/(-459)*4.  Let j = -152 + 152.  Which is smaller: j or z? 
j
Let r = 108007.097 + -108007.  Let s = -2.9 - -3.  Do s and r have the same value? 
False
Suppose 5*x + v = 5, 3*x + 4*v = -0*v + 3.  Let g be 4/(-12) + (-8 - 1/(-3)).  Let h = g - x. Which is greater: -1 or h? 
-1
Let u(q) = q**2 + 2*q + 9.  Let a(g) = -3*g**2 - 4*g - 19.  Let h(s) = -2*a(s) - 5*u(s).  Let y be -3*4/(-18)*48/(-16).  Let k be h(y).  Which is smaller: 1/4 or k? 
1/4
Let p = -3401 - -3400.99.  Which is smaller: 35 or p? 
p
Let w(s) = s**2 - 7*s - 3.  Let k be w(7).  Let q = 39 + -21.  Let r be (-51)/q + 1/(-2).  Is r < k? 
True
Let j = -6359.1 + 6359.  Which is smaller: j or -752? 
-752
Let i = 451 - 112.  Let m = i + -110.  Is 229 greater than or equal to m? 
True
Let p = 164189 + -2790008/17.  Which is smaller: p or 71? 
p
Let n be ((-1860)/(-40))/((-22)/8 - -2).  Let d = 68 + n. Which is smaller: 1 or d? 
1
Let l(a) = 3*a**2 - 10*a + 17.  Let y(v) = -v**2 + v - 1.  Let p(r) = -l(r) - 4*y(r).  Let t be p(-9).  Suppose -155 = -t*f + 69.  Are 16 and f nonequal? 
False
Let p(w) = -w**3 + 25*w**2 + 13*w - 160.  Let z be p(26).  Is -500 < z? 
True
Let y = 1485 + -31205/21.  Suppose b + 8 = 2*c, 3*b + 3 = -4*c + 3*c.  Are y and b equal? 
False
Let s = 1/2156 - -4129/394548.  Let d = 76 + -79.  Let q be (d/(-36)*3)/(11/44).  Which is greater: q or s? 
q
Let m = 13 - 19.  Suppose v + 1 = -4*z, -2*z + v - 5*v = 4.  Suppose z = 3*x - 2*x + 2.  Which is greater: m or x? 
x
Let y = 758/95 - -103849/665.  Suppose -17 = v + 5*w - 180, -5*w - 326 = -2*v.  Let z = y - v. Which is smaller: 1 or z? 
1
Let b = -3 - -3.  Let n be (-3)/(-1) + (1975/655)/(-1).  Let j = n - 121/655.  Is b less than j? 
False
Suppose -2*m - 15 = k, -4*k - 407*m + 403*m = 84.  Let i be (-2)/7 + 59044/(-2233).  Which is smaller: k or i? 
k
Let m = 1264 + -5059/4.  Which is smaller: -683 or m? 
-683
Let f be 2 - 1 - 57/72.  Suppose 534 = 202*o - 736*o.  Is o at most f? 
True
Let y = -779 + 63.  Let f = -758 - y. Which is smaller: f or 0? 
f
Let i(t) = -t**2 + t + 16.  Let s = 94 + -89.  Let l be i(s).  Which is bigger: l or 0? 
0
Suppose 238*d = 2*w + 240*d + 1878, 4694 = -5*w - 4*d.  Is -938 at least as big as w? 
True
Let z(b) = -297*b - 193.  Let k be z(8).  Which is smaller: k or -2570? 
-2570
Let s(n) = 3*n + 29.  Let t be s(-5).  Let j(i) = 13 + 28 + i - 15*i**2 + t*i**2.  Let f be j(-7).  Which is smaller: -16 or f? 
-16
Let z be 13/((-130)/(-40))*10/8.  Suppose -16*c - h = -20*c - 1406, z*h = 10.  Is c less than -351? 
False
Let q = -8 - -32.  Suppose -4*h + q - 168 = 0.  Suppose -4*w + 127 = 3*i + 263, -102 = 3*w + 5*i.  Which