-s**3 - 6*s**2 + 4*s + 18. Let c be u(-6). Let l be (-6)/(-9)*c/a. Which is greater: l or 0?
0
Suppose j = 4*j. Suppose j = 5*h - 6*c + 4*c - 29, 2*h - 3*c - 16 = 0. Is 5 < h?
False
Let z = -0.03 - -0.2. Let c = 0.034 - 0.204. Let q = c + z. Which is smaller: -2 or q?
-2
Let f = -921 + 920.8. Let r = 0 - 4. Let j be (0 - -4)*r/104. Which is bigger: j or f?
j
Let l be ((-2)/4)/(2/(-2660)*-7). Let u = l + 379/4. Is u >= 0?
False
Let z be (5/(-4))/(135/(-10)). Is z at least as big as 0?
True
Let j = 4 - 3.9. Suppose -5*t + 6 = -0*t + 3*p, -2*p = -4. Let f be (1 - t)/(10/50). Which is greater: f or j?
f
Let t = 9173/25 + -367. Let v = t - 371/50. Let u = 43/6 + v. Do u and -8 have different values?
True
Let i(g) = -g**3 - 8*g**2 - 8*g - 6. Let b be i(-7). Let m = -7/11 + 3/22. Let o = m + 2. Which is smaller: o or b?
b
Let c be ((-2)/(-6))/(28*2/(-86)). Let i = c - -5/28. Which is bigger: i or -0.056?
-0.056
Let r be (-2)/(-12) + -4 + (-230)/(-60). Does 1 = r?
False
Let u be 8 - 18 - 352/(-36). Is u at least as big as 4.3?
False
Suppose -4*g = 2*z - 62, -1 = z - 5*g + 3. Let k be 54/z*(-3)/9. Which is bigger: k or -1?
k
Let r = -21 + 150/7. Let k = -1.6 - 1.4. Which is smaller: k or r?
k
Suppose -4*x + 135 = 23. Suppose 2*h = 4*d + x, 14 = 3*h - 3*d - 13. Suppose -20 + 3 = t - 4*a, 20 = 4*a. Which is greater: t or h?
h
Let y = 5/13 + -106/39. Let o = -36 - -36. Which is smaller: o or y?
y
Suppose 3*p + 3*d - 51 = 0, 8*p = 11*p + 4*d - 50. Which is bigger: p or 91/5?
91/5
Let x = -21 - 0. Let u be (24 + -20)*(-3)/42. Is u at most as big as x?
False
Suppose 4*r - q = 8, 40 = 2*r + 4*q + 18. Let h be 0/r - (4 + -3). Which is smaller: h or -2/369?
h
Let p = 3.4 + 1.6. Let a = p + -6. Let c = -41/15 - -17/5. Is c greater than or equal to a?
True
Let i = -6 + 5. Let h = 1724/107061 + -6/281. Are h and i equal?
False
Suppose -10*u - 3 = 7. Which is smaller: u or 7/19?
u
Let j be 2/15 + 2044/420. Which is greater: 3 or j?
j
Let b = 28 + -20. Suppose 0 = 3*n - 23 - 22. Let q be (-20)/b*(-4)/n. Is q greater than or equal to 2?
False
Let i = -107 + 196. Let y = 89 - i. Is -1 less than or equal to y?
True
Suppose 2*r = 4*x - 0*x - 134, -x = -5*r - 335. Are -273/4 and r unequal?
True
Suppose 21 = 8*a + 5. Let b be a - 4 - (-9 + -6). Which is smaller: 66/5 or b?
b
Let g(d) = d**2 + 5*d + 4. Let r be g(-4). Let k = 161/35363 - -21324151/139754576. Let l = k - 1/304. Is r greater than l?
False
Suppose -1 = -3*b + 5. Suppose 0 = -5*c - b*c + 28. Let r be ((-6)/(-16))/(6/c). Which is smaller: 0 or r?
0
Let t(n) = n**3 + 3*n**2 + 4*n - 1. Let x be t(-3). Let h = -32.499 + 33.6. Let o = h + -0.101. Which is greater: o or x?
o
Suppose o + 4 = 5. Let i = -7 + o. Let u be (-3)/i*8/22. Which is smaller: u or 0?
0
Suppose 36*p + 9 = 9. Let k be 1/(-1) + (-1)/10. Which is greater: k or p?
p
Let u(w) = w**3 + 12*w**2 + 9*w - 20. Let o be u(-11). Suppose -3*t + 3*f + 35 = -2*f, o*f = -2*t + 34. Which is smaller: 14 or t?
14
Suppose -2*r = 4*r. Suppose -a - w = -4, r*w + 4 = w. Which is bigger: -40 or a?
a
Let c = 370407/11 + -33651. Which is smaller: 23 or c?
c
Let j(g) = 8*g**2 + 2. Let w be j(-2). Let i be (-3)/((-6)/w) + 4. Let o be (-2)/3 + (-7)/i. Which is smaller: o or -4/3?
-4/3
Suppose -4*h = -12*k + 9*k + 3, -3*k - 4*h = 21. Is k greater than or equal to -157?
True
Suppose d - 2*x + 5 = 0, 0*x + 3*x = 0. Let b = -1 - d. Suppose -7*s = -b*s + 3. Which is bigger: s or 1/6?
1/6
Let q(x) = x - 15. Let t be q(7). Let p = t + 12. Suppose 0 = g - 5*g + a - 119, -4*g + p*a - 104 = 0. Which is smaller: g or -1?
g
Let x be (-517)/(-572) - 1/((-8)/(-6)). Do 0 and x have different values?
True
Let y = -92.375 - -0.375. Is y not equal to -0.3?
True
Suppose 3*r + o - 2*o = 10, 4 = r - o. Let t(k) = 2*k**2 + 3 + k**3 + 2*k + 0*k - r*k. Let s be t(-3). Which is smaller: s or -3/2?
s
Suppose 7*z = 8*z. Suppose o + 12 = -2*x, -5*x + z*o - 3*o = 30. Which is smaller: -8 or x?
-8
Let v = 820.1 + -767. Let k = 57 - v. Which is smaller: k or -0.2?
-0.2
Let u = 2661 - 55859/21. Which is smaller: u or 1?
1
Let k = -73 - -79. Suppose k*u - 18 = 9*u. Which is smaller: -1 or u?
u
Let w = -4 + 1. Let u = -15662 - -15663. Which is greater: u or w?
u
Suppose 133*g + 5 = 132*g. Let a(y) = y**3 + 4*y**2 - 3*y. Let f be a(g). Which is greater: -11 or f?
f
Let i(x) = x**3 + 4*x**2 + 2*x + 5. Let y be i(0). Suppose -5*s + y*u = -32 - 48, -36 = -4*s - 3*u. Is 10 at least as big as s?
False
Suppose 12 = q + 21. Let l be 18/(-5)*(4 - (-6)/q). Does -9 = l?
False
Suppose -2*n - 141 = i, -5*i + 354 = -5*n - 6*i. Is n smaller than -212/3?
True
Let w be 1815/(-75) + 24 + 4/(-30). Is w greater than 93?
False
Let n be (-6)/(-15) - 40968/(-975). Let x = 592/13 - n. Let h = -41/75 - x. Which is bigger: h or -3?
-3
Let t(v) = 3*v**2 - 2*v + 4. Let k be t(1). Let s = -9 + 10. Is s > k?
False
Let f = 3983/3 - 1295. Are f and 34 equal?
False
Suppose -2*l - 5 = -n, -l - 6 = -9*n + 5*n. Which is smaller: l or -19/6?
-19/6
Suppose -6 = -4*j + 14. Suppose -5*c = -4*b + 5 + 14, 14 = -b - j*c. Which is smaller: b or 5/7?
5/7
Let q = 795270 + -13525542/17. Let k = 51 + -401. Let v = k - q. Does -1 = v?
False
Let j(c) = -2*c - 2. Let q be j(-1). Suppose 36 = -5*b - 4*d, -2*b + d + 2 - 6 = q. Which is bigger: b or -3?
-3
Suppose 20 = -4*p, 5*p = 2*h - h - 16. Which is greater: -6 or h?
-6
Let f = 104125/6 - 17392. Let p = f - -77/2. Do p and 52 have the same value?
False
Let d = -2 - -5. Suppose u = 2*x + 4*u + 12, 0 = -4*x + d*u - 6. Which is smaller: x or -8?
-8
Let r = -12.4 - -17. Is r >= -4?
True
Suppose 31 = 12*d - 13*d + 5*v, -64 = 4*d - 5*v. Let o(g) = g + 3. Let c be o(-9). Is c at least d?
True
Let y be 6/((-48)/20) + (-5)/10. Is 101 greater than y?
True
Suppose -23*o + 90 = -32*o. Which is smaller: -5 or o?
o
Let n = 630 - 4407/7. Are n and -1 non-equal?
True
Suppose 182*u + 70 = 175*u. Is 11 at most as big as u?
False
Let d be 3 + (2 - 3) - -2. Let j(t) = 1 + 2 + t + d + 5. Let u be j(-13). Which is greater: -3/10 or u?
-3/10
Let i(o) = -o**2 - 21*o + 18. Let u be i(-16). Which is greater: u or 97?
u
Let p = 39 + -35. Suppose 10 = -5*z - 4*d, -p*d = 2*z - 3*d + 1. Is -23 < z?
True
Let y = 350 + -284. Is y greater than or equal to 68?
False
Suppose 3*x - 18 - 43 = -4*f, -3*x - 2*f + 71 = 0. Suppose -x*o = -22*o + 90. Are o and -3 nonequal?
True
Let p = 6 - 5. Let s be p*0/((-2)/2). Suppose 2*x - 11 = -5*j - s, 2*j + 2*x - 8 = 0. Which is greater: -3 or j?
j
Suppose -4*u - 198 = -7*u. Let p = u - 727/11. Which is bigger: p or 1/5?
1/5
Let u = 53 - 41. Let r = 17 - u. Which is greater: r or -3?
r
Suppose -2*h - 6 = 4*q - 14, -3*h + 2*q + 12 = 0. Are h and 6 nonequal?
True
Suppose 16 = 9*y + 7. Is -3 > y?
False
Let s be (1/6*0)/1. Do s and -2/327 have the same value?
False
Let x be (4/14)/((-40)/70). Let p = 11 + -27. Does p = x?
False
Let u(z) = -z**2 + 7*z - 3. Let x be u(6). Suppose x*y + 4 - 7 = 0. Let q be ((-1)/(-5))/(2/6). Do y and q have the same value?
False
Suppose 3*r = -u + 5, r - 2*u + 5*u = 15. Let a be (-19 - (4 + -4)) + 1. Let s be (a/28)/((-144)/42). Which is smaller: r or s?
r
Let r = 1480 + -1499. Which is greater: -17 or r?
-17
Let f = 11/14 - 113/126. Which is smaller: f or -0.4?
-0.4
Let h(d) = 395*d - 11. Let b be h(-3). Let t be 80/b - (-4)/26. Let o(p) = -p - 5. Let c be o(-6). Which is smaller: t or c?
t
Let r(a) = a - 16. Let n be r(16). Let c be (-6)/15 - (-68)/70. Do n and c have different values?
True
Suppose -2*w = -0*w - 18. Suppose n + w = 4*n. Suppose 4*d - 3*d = -n. Which is greater: d or -4?
d
Suppose -5*g + 2*b - 10 = -7*g, g - 4*b = -20. Which is smaller: 22/17 or g?
g
Let y be 660/(-891)*(-2)/(-4). Which is smaller: 1 or y?
y
Suppose 72 = 2*r - 4*a, r - 3*a - 2*a = 45. Let u = r + -15. Let o be -4 + 3 + u - 3. Which is smaller: o or 13?
o
Let c = 0 - 3. Let o = -120 - -118. Which is bigger: c or o?
o
Let j be 7/21*(-18)/(-15). Is j smaller than -541?
False
Let h(d) = 15*d. Let o be h(3). Let p = o + -26. Is p bigger than 19?
False
Suppose 18*j = 19*j - 250. Is 250 greater than or equal to j?
True
Let h be (2/(-6))/((-6)/108). Suppose 12 = -v - h. Which is smaller: -19 or v?
-19
Let o(r) = r**2 - 11*r - 149. Let k be o(19). Let s = 0.6 + -0.2. Let v = s + -0.4. Is k <= v?
Fa