et c(i) = 3*i**2 + 3*i + 5. Let h(l) = 3*c(l) - 5*s(l). Let j be h(3). Suppose m = j*m + 8. Which is greater: m or -5?
m
Let z = 516/7 + -74. Is z < 17.9?
True
Let h = -0.2651 - -1.0651. Is 2/19 > h?
False
Let k(g) = g**3 - 8*g**2 + 6*g + 31. Let v be k(7). Is 20 <= v?
True
Suppose 5*w - 21 + 1 = 0. Suppose w*x + 2 = 14. Suppose -x*j + 6 = -12. Do j and 7 have different values?
True
Let q = -727 + 849.9. Let d = q - 114. Let m = d - 9. Is 3 equal to m?
False
Let w = 6.13 - 5.13. Which is smaller: w or 2/67?
2/67
Let i = 3.989 - -0.011. Let v = 13.8 + 1.2. Let t = i + v. Is t less than or equal to 0?
False
Let j be (-22)/((-5)/(-140) + 2/(-7)). Let q = j + -137. Is q >= -47?
False
Let s(t) = -t**3 - 11*t**2 + 5*t + 50. Let r be s(-9). Is -157 at least r?
True
Let s = 85 - 83. Let q be (-3 - s/2) + 23. Which is smaller: 3 or q?
3
Suppose 23*n = 13*n + 80. Which is smaller: 13 or n?
n
Let v = 7406551/755 - 9810. Which is greater: -1 or v?
v
Let u = 56 + -42. Let c be u/(-4)*(-96)/56. Is 4 < c?
True
Let j = 24 + -20. Let u = -6 - j. Is 2/3 at most as big as u?
False
Let k = -84 + -16. Let i be (-1)/4 - 45/k. Suppose -4*s + f = -1, -5 = -4*s - 5*f + 14. Is s less than or equal to i?
False
Suppose -x + 32 = -0. Let o = -73 + x. Let n be 20/(-5) + (-162)/o. Is n not equal to -1?
True
Let f be (61 - 61)/((-6)/2). Is f less than or equal to -5/42?
False
Suppose 7*n = 2*n + 105. Suppose -28*i + 24*i = 3*d - 55, 5*i = 5*d + 25. Let f = i - n. Which is smaller: f or -12?
-12
Let a be 3 - 3/(27/(-42)). Suppose -2*p - s - 1 - 5 = 0, -11 = 3*p + 2*s. Which is smaller: p or a?
p
Let w be 3 + (9 + 0)/(-9). Is 3 at least as big as w?
True
Let w = 28.04 + -28. Let b = w + -2.04. Let l = 1.6 + b. Which is smaller: -3/4 or l?
-3/4
Suppose -3*z + p - 5 = -z, -3*z - 27 = 5*p. Let w be 12/z + (8 - 3). Suppose b = -w*b. Which is smaller: -3/4 or b?
-3/4
Let v be (6 - (-31242)/(-5310)) + (32/60)/(-4). Let d(z) = -z**3 + 5*z**2 + 7*z - 5. Let c be d(6). Is c < v?
False
Suppose -k - 148 = 2*s, 25 - 189 = 2*s + 5*k. Let r be 2/(2/3)*9/s. Which is smaller: r or 0?
r
Suppose 0 = -7*h + 2*h + 5. Let v = 53.3 + 7.7. Let f = -60 + v. Are f and h unequal?
False
Suppose q - 5*s = -14, -q - 7*s + 16 = -2*s. Suppose 0 = 5*w - 3*i + 214, 0*w - 5*w - 224 = 2*i. Let f be ((-2)/w)/((-1)/3). Which is smaller: q or f?
f
Suppose -3*z = b - 19, -4*b - z = z - 26. Suppose i - d = 3*d - 13, b*d = 12. Is i greater than -2/27?
False
Let r = 1.03 + -0.91. Let s = -1.28 - r. Which is greater: 2/3 or s?
2/3
Let i = 4.03 + -0.03. Are i and 0.15 equal?
False
Let h(j) = j**2 + 6*j + 2. Let w be h(-4). Let g(c) = -15*c + 5 - 12*c + 28*c. Let u be g(w). Which is smaller: u or 1/28?
u
Let s = -33 - -45. Let y = s + -5. Is y at least as big as 1/2?
True
Let p(n) = 5*n + 50. Let w be p(-10). Which is bigger: w or 28?
28
Suppose r + 0 = -t + 2, 14 = t + 4*r. Let g be 3/t + 20/40. Are 1 and g equal?
False
Let r = 129 + -61. Let i be -1 - -2 - 52/r. Suppose -1 = 2*k - k. Is i less than or equal to k?
False
Suppose 0 = 5*h - 4*h - 13. Let t = 18 - h. Suppose -x = -4*c + 2, -t*x + 3 = -7. Which is greater: -3/7 or c?
c
Let v = 13 + -14.4. Let h = -2.4 - v. Let a be ((-2)/6)/(20/(-15)). Does h = a?
False
Let o(i) = -i**3 - 12*i**2 - 22*i - 20. Let a be o(-10). Which is greater: 6 or a?
6
Let u = 4/3 - 0. Let l(n) = n**3 + 13*n**2 + 34*n - 16. Let h be l(-9). Is h > u?
True
Let d = -21.52 - -0.52. Let a = 12 + d. Let t = a + 9. Is -0.3 bigger than t?
False
Let i be ((-4088)/(-140))/((-17)/5) - -5. Do i and -4 have different values?
True
Let l(m) = -m - 11 + 13*m - 6*m + 4*m. Let i be l(5). Which is bigger: i or 41?
41
Suppose j - 131*n + 127*n + 342 = 0, 2*j + 656 = n. Is -1624/5 smaller than j?
False
Let z = 121.0037 - 0.0037. Do z and -2/5 have the same value?
False
Let j = 63 + 1. Suppose 12*o - j = 308. Which is smaller: o or 30?
30
Suppose -4*i - 3 - 1 = 3*s, 4*s - 24 = 2*i. Suppose f = -13*f + 322. Let v(y) = 2*y - 42. Let z be v(f). Is s >= z?
True
Let p = -3.7 + 3.566. Let c = 37.134 + p. Which is smaller: c or -2/9?
-2/9
Let x(g) = g**3 + 5*g**2 - 4*g - 7. Let v be x(-4). Is v smaller than 176/7?
True
Let c be 140/(-18) + -7*(-10)/(-315). Which is greater: c or 15?
15
Suppose 0 = 5*h - 4 - 51. Suppose 0*s + 4*s = -4, -s + h = -n. Which is smaller: n or -11?
n
Let n = 6710/3 + -2237. Let z(h) = -h**2 + 3*h - 2. Let j be z(3). Are j and n nonequal?
True
Suppose -12*r + 3*k + 4 = -7*r, 4*r + 3*k = -13. Which is greater: 102 or r?
102
Let l be ((-12)/36)/((-10)/(-240)). Is -118/13 less than or equal to l?
True
Let a(f) = 62*f - 77. Let y be a(1). Is -3 at least as big as y?
True
Let z(m) = -m + 2. Let q be z(4). Let t be (6/(-45))/(q/20). Suppose 5*x - 3*k - 7 = 0, -2 - 1 = -3*x + 3*k. Which is smaller: x or t?
t
Suppose -3*h - 3*w = -33, -3*w = h - 4 - 11. Suppose -12*x - 18 = -h*x. Which is bigger: x or -23/4?
-23/4
Let s be 36 - 7/((-7)/5). Does 41 = s?
True
Let x be 4/(-5) + 12/(-10) - 1. Let t(y) = -y - 2. Suppose z - 12 = -2*z, -3*z = -3*p - 24. Let g be t(p). Is x equal to g?
False
Let m be (-1)/(-6)*(-330)/(-20). Let c = m - 3. Which is bigger: c or 4?
4
Let m = 962/7 - 455040/3311. Is m greater than 1?
False
Let h = 71 - 27. Let w = 43.9 - h. Is w != 15?
True
Suppose -6*i + 1137 = -573. Is 287 < i?
False
Let h = 19 - 16. Suppose 2*z - 1 - 5 = 0, 0 = 3*k - h*z + 9. Suppose -2*m - 5*u + 27 = k, -u - 9 = -4*m + 4*u. Is 6 less than m?
False
Let s be (-4)/((-160)/1362) + (-84)/(-112). Are 35 and s non-equal?
True
Let w = 97 + -110. Which is greater: w or -0.04?
-0.04
Let i be 34*1/4*2. Suppose -4*v - 1 = -i. Let b be (3/(-12))/((-3)/v). Do b and 1 have the same value?
False
Let b = -16 + 5. Let t = b - -10. Let s be (2 - t)*1/(-1). Which is smaller: s or -2?
s
Suppose 2*l = 830 - 58. Let f be l*20/24 - -3. Let n = f - 322. Which is bigger: n or 2?
n
Let d = 0.565 + 0.865. Is 1 at least as big as d?
False
Suppose 0 = -5*m - 3 - 2. Let y be ((-108)/(-20) + -4)/m. Is -2 at least as big as y?
False
Suppose 14*r + 98 - 196 = 0. Which is greater: 9 or r?
9
Let i(a) = a**2 - 3*a + 70. Let m be i(0). Suppose -11*x - m = -16*x. Is 11 bigger than x?
False
Let z = 110 - 111. Let n = 0.4 + 0.6. Let t = 1 - n. Is t != z?
True
Let x = -4 + 5. Suppose j - 2*j = 2*d, -j + 4 = -2*d. Let u be 3*x + (-2)/j. Which is smaller: u or 3?
u
Suppose 3*v - 90*c = -87*c + 384, -5*v - 4*c + 658 = 0. Which is smaller: v or 388/3?
388/3
Let s be 36/(-15)*(-50)/20. Let t = s - 4. Let f be (1/(-10))/(2/(-44)). Which is smaller: f or t?
t
Let k = -0.25 + -10.75. Let c = k + 14. Is c less than or equal to 0.05?
False
Let s = 0.01 + 0.14. Let v = 80 + -79.95. Let l = s - v. Which is smaller: -4 or l?
-4
Let t be 2/9 + -699*4/(-54). Let u = t + -57. Is -3 > u?
True
Let o = -1553 - -1574. Is 13 >= o?
False
Let g(y) = 231*y**3 + 2*y**2. Let w be g(-1). Is w less than 0?
True
Suppose 3*b - 2*v = -v + 200, -5*b + 344 = v. Let s be -3*(b/(-48) - -1). Which is bigger: s or 2?
2
Let a = 3.1 - 3. Let h = 139.45 + -135. Let g = 0.45 - h. Is g not equal to a?
True
Let b be (4/(-12))/(10/4). Let h = 28.4 + -28. Is h at least as big as b?
True
Suppose -2*o + 4 = -3*d, -d + 9 = -5*o - 3*d. Let n be -3 - o - 0 - -1. Which is bigger: 1/33 or n?
1/33
Let g = -15 - -20. Suppose -7 = -g*o + 8. Suppose w = -o*w + 4. Which is bigger: 3 or w?
3
Let u(c) = -c**2 - 2*c + 1. Let y(r) = -r - 15. Let t be y(-15). Let z be u(t). Let g be (2/4)/(1/(-2)). Which is greater: z or g?
z
Suppose 2 = -2*s - 16. Suppose -3*i + 4*p + 120 = -37, -5*p + 285 = 5*i. Suppose -10*z - i = -5*z. Is s bigger than z?
True
Let p = -137 - -144. Do 13 and p have the same value?
False
Let l be 3/(84/77) + (-10)/4. Which is smaller: l or -26.9?
-26.9
Let a = 185/152 - -5/152. Is a at least as big as 0?
True
Let v(x) = x**2 - 9*x + 8. Suppose 2*l - q = 22, -2*l - 5*q = 5 - 3. Let c be v(l). Let w = c + -11. Which is bigger: -2 or w?
-2
Suppose -4*d + 9 = -d. Suppose 2*r + 6 = -d*i + 1, -5*r + 4*i = 47. Let q = r + 13. Is 6 < q?
False
Let z = -2124 - -2084. Which is greater: z or -0.6?
-0.6
Let k = -77.1 + 77. Is -155 < k?
True
Let x(w) = -3*w**2 + 19*w - 7. Let g be x(6). Is g > -11/51?
False
Let w = 0.027 - -55.973. Let k = w + -39. Let b = k - 17. Is 0.1 smaller than b?
False
Let a 