eater: -1 or c?
c
Let b(x) = -x**3 - 7*x**2 - x - 14. Let u = 11 + -8. Suppose -g + 35 = -5*s, 0 = u*s + g + 2*g + 21. Let f be b(s). Is f less than -7?
False
Let u = 78 - 6005/77. Which is greater: -1 or u?
u
Let g(d) = -d + 40. Let r(k) = -2*k + 41. Let f(m) = -4*g(m) + 3*r(m). Let o be f(-14). Is o at most -8?
True
Let k(c) = c**3 - 4*c**3 + 14 - 3*c**3 + 5*c**3 - 11*c + 7*c**2. Let o be k(6). Let f = -0.09 - -0.09. Is o less than f?
True
Let k(g) = g**3 + 11*g**2 - 5*g - 17. Let a be k(-10). Let w = 275/2 - a. Do 4 and w have the same value?
False
Suppose 12 = -a + 5*n - 0*n, -3 = -5*a + 4*n. Suppose -3*v - 2*v = t - 9, 0 = -a*v - t + 7. Is v < 2/7?
False
Let p = 1212 + -1213. Which is greater: 2/383 or p?
2/383
Let w(t) = t**3 + 7*t**2 + 7*t + 7. Let o be (-3)/(-18)*4*-9. Let y be w(o). Let r be 2108/300 - (24 - 17). Do r and y have different values?
True
Let b(l) = l**2 + l + 1 + 2*l**3 + l**2 - l**2. Let d = 25 + -26. Let v be b(d). Do v and -4 have the same value?
False
Suppose 5*t - 5*m = 95, 0 = -t - 3*m + 1 - 2. Let r(s) = 3*s + 2. Let h = 0 - -4. Let d be r(h). Is d != t?
False
Let p be -2 + (-8)/(-12 - -4). Which is bigger: p or 20/47?
20/47
Let k be (-9)/(-36)*-8 - (1 + -1604). Which is smaller: k or 1600?
1600
Suppose -3*k = 9*x - 12*x + 9, 0 = -k - 5*x - 27. Which is bigger: k or 7?
7
Let q be -1 - (30/(-5))/1. Suppose 42 = q*n + 12. Suppose -2*x = 4*i - 3*x + n, -4*i + 2*x - 8 = 0. Which is greater: i or -2/25?
-2/25
Let o = 2007 + -309077/154. Is -1 smaller than o?
True
Let z be -1 - (-18)/104 - 90/(-120). Let k = -9 - -11. Suppose 3*w + 1 + k = 0. Is w less than z?
True
Let n = 17341 + -1092398/63. Let c = -23689/63 - -376. Let j = n + c. Is j smaller than 0?
False
Let o be (7 + -1)*-1*(1 - 0). Let m be ((-3)/(-2))/((-3)/o + -1). Are m and -6 equal?
False
Let q = -0.171 - -3.271. Let m = 25.1 - 23. Let s = q - m. Which is smaller: -0.9 or s?
-0.9
Let l = -78 + 157/2. Which is smaller: 2 or l?
l
Suppose 0 = -5*z + x + 11, 12*x = -6*z + 5*z + 51. Which is bigger: -10.9 or z?
z
Let r(x) = x**3 - 8*x**2 + 8*x - 4. Let m = -19 - -26. Let f be r(m). Suppose f*b + 3 = -6. Which is smaller: -17/5 or b?
-17/5
Let x = -95 + 99. Suppose -7 = -x*z - 3. Which is smaller: -3 or z?
-3
Suppose 996 = -7*t - 54. Let r = t + 1352/9. Which is smaller: r or 1?
r
Let q = -42.008 - -42. Let l = q + -0.092. Which is smaller: l or 2?
l
Let t = -12.99 + 3.99. Do 0 and t have different values?
True
Let s(w) = -w**3 - 18*w**2 - 19*w + 10. Let v be s(-16). Let j be 36/v - (137/(-814))/1. Are 1 and j nonequal?
True
Suppose 4 = -3*z - 2. Let r(i) = i - 9. Let w(l) = l**3 - l + 1. Let d be w(2). Let x be r(d). Do z and x have the same value?
True
Suppose 0 = -2*w + 6*w - 232. Let q(a) = a**2 + 42*a + 59. Let h be q(-42). Is h at least as big as w?
True
Suppose -71 + 65 = -3*w. Does 5 = w?
False
Let f be 3/2 + (-2)/4. Let h = -4657 + 4654.4. Is f >= h?
True
Let j = 5 - -2. Let h = -578 - -582. Do h and j have the same value?
False
Let q(y) = 3*y + 2. Let t(x) = x**2 + 14*x + 16. Let n be t(-13). Suppose 3*h - n = 6*h. Let c be q(h). Which is bigger: c or 2/27?
2/27
Let g = -763 + 824. Which is bigger: 62 or g?
62
Let t(z) = z**3 - 5*z**2 - 5*z + 3. Let d(k) = k**3 - 5*k**2 - 6*k + 3. Let o(a) = -2*d(a) + 3*t(a). Let i be o(6). Is 22 equal to i?
False
Let v(i) = -3*i - 5. Let q(n) = 1. Let x(w) = 4*q(w) - v(w). Let m be x(-6). Which is bigger: -7 or m?
-7
Suppose -5*g + 33 = 8*j + 10, -3*g = 2*j - 11. Is -4/401 greater than or equal to j?
False
Let i(c) = -c**3 - 7*c**2 + 2. Suppose u = 3*u + 14. Let r be i(u). Let l be r/(-2) + 1*8. Is 6 smaller than l?
True
Let h = -1745/1003 - -29/17. Let j(y) be the first derivative of -y**4/4 - 5*y**3/3 - 2*y**2 + y + 3. Let a be j(-4). Which is smaller: h or a?
h
Let g = -1401 + 1383.06. Let q = 4.96 - g. Let m = q + -23. Do -17 and m have different values?
True
Suppose -2*y - 2*l = -3 - 3, -6 = -2*y + l. Is y at least as big as -1/409?
True
Let n = -0.22 + 3.52. Let h = n - 6.3. Is -1 greater than h?
True
Let k = -94.994 - 0.006. Let f = k + 103. Which is smaller: f or 4?
4
Let h = 29519/255 - 579/5. Let d = h + -88/357. Is 32 at least as big as d?
True
Let x be (-132)/8*32/(-3). Let k be (1/(-2))/((-22)/x). Which is bigger: k or -2?
k
Suppose -5*r = -30 + 5. Suppose -r*t + 22 = -y - 2*y, 3*t = 4*y + 22. Suppose -3*b - 3*m - 5 = 2*m, 2*m = 2*b - t. Which is smaller: -3/14 or b?
-3/14
Suppose 3*r + 12 = -22*y + 27*y, y - 5*r = 20. Do 1/230 and y have the same value?
False
Let a = 15 - -13. Let c = 20 - a. Let h = 8.1 + c. Which is smaller: 8 or h?
h
Let j be 110/(-11) + 56/6. Let r(l) = l + 4. Let d be r(0). Suppose w = -w + 2*k - 6, 6 = -w + d*k. Which is smaller: j or w?
w
Let h(j) = j**3 - 8*j**2 + 9*j + 18. Let o be h(6). Which is smaller: -3/329 or o?
-3/329
Let z(g) = g**2. Let d = 4 - 3. Let x be (-6)/4*-2*d. Let v be z(x). Which is bigger: v or 8?
v
Suppose 2*x + 0 = 4. Let v(s) = 21*s**2 + 2*s + 1. Let d be v(-1). Let q(z) = -z + 25. Let l be q(d). Is l != x?
True
Let h = 0.057 + -0.357. Which is smaller: 103 or h?
h
Let h be (-290)/(-522) + (-12)/(-27). Let u = -217 - -8031/37. Is u smaller than h?
True
Let c(v) = 4*v**2 - 166*v - 77. Let t be c(42). Let n be 2/(-4)*(-12 + -2). Are n and t equal?
True
Suppose -x = -5*w + 11, -2*x + 7*x + 15 = 5*w. Which is smaller: x or 0.254?
x
Let m be (-2)/(-2) - (12 + -14). Suppose 0 = -m*s - 4*x + 37, 81 = s + 4*s - 3*x. Suppose t + 2*t - s = 0. Which is smaller: -2 or t?
-2
Let k = -155 + 311/2. Is 62 not equal to k?
True
Let q = -137 - -110. Is q less than -31?
False
Let h = 3.3 - 7.3. Let w = h + 4.04. Which is smaller: w or -1?
-1
Let s = -17/66 + 1/11. Let x = 2.7 + -1.7. Let n = x + 1. Do n and s have the same value?
False
Let d be 4*(-5 + 228/48). Is d equal to -30/53?
False
Suppose 4*d + 3*f + 44 = 0, -8*d + 11*d + 62 = 5*f. Is d > -12?
False
Let x be 6/58*-3*(-1)/(-3). Is x greater than -1?
True
Suppose 4 = -d + 1. Let t = 11 - 17. Let h be -2*t/(-4) - -5 - 6. Which is smaller: h or d?
h
Let f = 15 - 8. Let d = -3 + f. Suppose -8 = -d*v - 4. Do 1 and v have the same value?
True
Let v be 1/2*2*-1. Let q be v + 5/(15/153). Let p be 12/(-8) - q/(-32). Is 0 equal to p?
False
Let u = 32 - 127/4. Let x = -4 + 10. Let v(r) = -r**2 + 7*r - 6. Let z be v(x). Is z smaller than u?
True
Let j be 2 - 8 - (-17)/38*13. Which is smaller: j or -1?
-1
Let g be (-2)/8 + 380/(-16). Is -24 at least as big as g?
True
Let h(b) = -b**3 + 5*b**2 - 3*b + 2. Let r be h(-3). Let g = -96 + r. Let v(u) = -u**3 - 7*u**2 - 5*u - 8. Let n be v(-6). Is n >= g?
False
Suppose 0 = 5*c - 5 - 0. Let r = -76 - -132. Let t be ((-1)/(-10))/(r/14). Which is bigger: t or c?
c
Let k be (-50)/20*((-206)/(-85) + -2). Which is greater: k or 0?
0
Suppose 0 = -4*o + g - 327, 4*o - 5*o - 80 = -2*g. Which is smaller: -84 or o?
-84
Let g be -1 - 5*4/20. Let y be (-18)/18*g/22. Let j = 0 - -1. Which is greater: j or y?
j
Let h be 2631 + -9 + 21 + -9. Which is smaller: h or 2635?
h
Let n = 4 - 2. Let h = -149.8 - -150.8. Which is bigger: h or n?
n
Let l = -39 + 38. Let p = -11.03 + 0.03. Is l bigger than p?
True
Let a be -5 + -2 - (-7 + 1). Which is smaller: 4/219 or a?
a
Let q(i) = -i**3 - 2*i**2 + i - 3. Let p be q(-3). Suppose 2*g = -p*g - 195. Is -39 less than g?
False
Let x = 14.0697 + -0.1097. Is -1/2 smaller than x?
True
Suppose 98*o + 576 = 130*o. Which is smaller: 35 or o?
o
Let d be -2 - -5 - (0 - -3). Suppose -4*m = c - 4, 5*m + 6*c - 8 = 4*c. Suppose 3*s + 0*s = 3, -3*g + 2*s + 1 = m. Are d and g equal?
False
Suppose -76*y + 142*y - 89232 = 0. Is y less than or equal to 1352?
True
Let n = 165 + -263. Let j = 93 + n. Is -2 less than j?
False
Suppose 0 = 19*y - 21*y + 106. Is y > 53?
False
Let y be (-2)/((-6 + 8)/(1*-2)). Suppose -y*l + 6 = 0, 3*l = -5*r - 0*l - 6. Let w = -0.1 - 0.1. Is r not equal to w?
True
Let h = 268 - 267. Let w be (2/4)/((-29)/(-4)). Which is greater: w or h?
h
Suppose 7*s - 18 = 10. Suppose 0 = -s*i - 41 + 37. Which is bigger: 2/187 or i?
2/187
Let o = 0.2 - 0.3. Let n = 9 + 9. Let s = -17 + n. Is s bigger than o?
True
Let u = 1 - -11. Let d be -2*u/(-14)*7. Suppose -6*c + 4*c + d = 0. Are c and 7 nonequal?
True
Suppose -2*r + 18 = 16. Which is smaller: 2/195 or r?
2/195
Let b