 or -215?
-215
Let k(o) = o**2 - 7*o - 4. Let t be k(8). Let y = t - 1. Suppose -5*z = -f - 12, -3*f - 18 - 36 = y*z. Which is greater: -18 or f?
f
Let m(d) = -4*d - 34. Let v be m(-11). Let k = 45 - 19. Suppose 3*y - k = 7. Which is greater: y or v?
y
Suppose s - 5 = 0, 2*m + 0*m - 2*s = -4. Let j be m - ((-16)/(-9) - (-12)/54). Is j > -5/13?
True
Let h be (1/1)/((-2)/5). Let f(j) = -j - 9. Let u be f(14). Let m = -26 - u. Which is smaller: m or h?
m
Suppose -353*k - 749 = -346*k. Is -3 < k?
False
Let y = -40 - -85. Let c = y + -40. Suppose -7 = 5*p - 22. Is p >= c?
False
Let x be ((-182)/(-24))/(31/4). Let a = x + 50/403. Let b = -10/13 + a. Which is bigger: b or 0?
b
Suppose 0 = -4*b - 12, 2*b = -5*k - 2*b - 12. Let a be (69/6)/(4/(-208)). Let m be (8/(-10))/(a/65). Do k and m have different values?
True
Let h = -51 + 13. Let x = h - -121. Is x != 83?
False
Suppose 3*w - 5*w = -3*c - 3, 23 = 2*w + c. Suppose -6*f + 18*f = 84. Is f bigger than w?
False
Let k(w) = 111*w + 288. Let s be k(-4). Which is smaller: -154 or s?
s
Suppose -5*f - 5 + 25 = 0, 0 = 2*z - 4*f + 19112. Let p be 4 - (1 + (-27336)/z). Let c = p + 2/341. Is c smaller than 1?
True
Let n = -8 + 16. Suppose q + q = -n. Suppose 0 = -4*o + 2*l - 14, -2*o + 4*l = l + 13. Which is bigger: q or o?
o
Let x = -863.6 + 863. Which is smaller: x or 57?
x
Suppose 0 = h - 37 + 30. Which is smaller: h or 64/11?
64/11
Let m = 0.9 - 1.2. Let b = -19.76 + 18. Let d = -0.24 + b. Is d smaller than m?
True
Let k be (-2)/1 + 717592/960. Let o = 2237/3 - k. Let s = 97/360 + o. Which is smaller: s or 0?
0
Let b = -73 + 87. Let f = -9 - b. Is -22 != f?
True
Let s = 111 + -100. Which is smaller: s or 35/3?
s
Let s = -4.42 - 33.38. Let r = 38 + s. Let n be (6/(-8))/((-30)/16). Which is smaller: r or n?
r
Suppose -25*q + 27*q = 180. Let t be (3/q)/(((-5)/(-4))/(-5)). Is -1 < t?
True
Let c = -179 + 85. Is c greater than -94?
False
Let p = 85 + -80. Suppose -20*q - p = -15*q. Which is greater: q or 2/317?
2/317
Suppose 30 = -3*i + 9*i. Suppose 43 = i*v - m, 2*m + 3 = -3. Which is bigger: v or 7?
v
Let q be -1 - 2/1 - (17 + -20). Are 1/19 and q nonequal?
True
Let i = 145 - 50. Let p = 377/4 - i. Let s = -2 - -2. Is s at most as big as p?
False
Suppose 5*h + 0 = 2*a - 2, 3 = 3*a - 2*h. Suppose 43 - a = 2*c. Let f be (60/c + -4)/2. Which is greater: -1 or f?
f
Let l(f) = -f. Let g be l(0). Let i(p) = -p**2 - 22*p - 19. Let o be i(-21). Does o = g?
False
Let q be 2/5 + (-62112)/(-120). Which is greater: 517 or q?
q
Let l(j) = j**2 + 7*j - 9. Let h be l(-8). Let c be (4 - 3)/(-4) + 41/180. Is h at least c?
False
Suppose 0 = -5*b + 2*d - 25, 0 = -3*b - 0*d - d - 15. Suppose -30 - 40 = 10*l. Let h = l - b. Does h = 1/9?
False
Let p(m) = -m**3 + 4*m**2 + m - 4. Let r be p(4). Let b be (3*(-5)/15)/13. Are r and b equal?
False
Let i be 765/30*(-4)/6. Let a = 17 + i. Suppose 5*z + 15 = -4*x, -z + 3*z + x + 3 = a. Is -1/4 greater than or equal to z?
False
Suppose m - 1 = 2. Suppose 5*c + m = -2. Let s = -0.0559 - 0.0441. Is s bigger than c?
True
Let y = 1186.1 - 1186. Which is smaller: 1/132 or y?
1/132
Let f = 44 + -57. Which is smaller: f or -23?
-23
Let o be ((-118)/3 - -1) + -4. Let n = o - -42. Let q be -1 + -2 - (-26)/12. Which is bigger: q or n?
n
Let h be 0 + 10/(-75) - 489/45. Which is smaller: -59/5 or h?
-59/5
Suppose 7*w - 12*w + 4 = -p, 4*p + 4*w - 8 = 0. Is 3/340 equal to p?
False
Suppose -3*r + 622 = 4*k, -r = -4*k - 19 - 199. Does r = 208?
False
Suppose -3 = -3*g - 3*u + 9, 0 = -5*g - u + 20. Let j = g + -2. Let k = 0.5 - 0.6. Which is smaller: j or k?
k
Let p(o) = 5*o**3 + 2*o**2 + 2*o + 2. Let h be p(-2). Let q = 4 - h. Is 38 smaller than q?
False
Let c = -3.09 + 4.09. Which is smaller: c or 0.113?
0.113
Suppose -q = -2, 4*k + 38 + 24 = q. Let n be (-2)/k + ((-42)/45)/7. Is n smaller than 2/9?
True
Let l be (0 - 1)/((-1)/(-4)). Let z = 15/23 - 298/69. Is l greater than z?
False
Let u be (33/6 - 1)*(-20)/(-30). Let j = 6 - u. Which is bigger: 4 or j?
4
Let w = -1 - -0.2. Let b = w + 0.5. Which is greater: b or 5?
5
Let p be (-7072)/(-1430) - (-4)/(-10). Is p at least as big as 5?
False
Let t = -1.825 - 0.175. Let x = -5.4 - -3.5. Let w = t - x. Is w at most -0.2?
False
Let i be (-7 - (-69)/10)*4/(-110). Is 0 bigger than i?
False
Let j be 5 - ((-37)/(-74))/((-1)/(-10)). Is j > 11/15?
False
Let w(r) = -27*r**2 - 83*r - 22. Let x be w(5). Is x equal to -1113?
False
Let i be -2*(1 + 0) - -1. Let x = 32507/33 + -985. Which is smaller: x or i?
i
Let q(s) = -3*s**3 - 134*s**2 + 47*s + 91. Let h be q(-45). Which is smaller: h or -1/795?
-1/795
Let w = -920 + 917. Is w less than or equal to 0.5?
True
Let f = -1 + 4. Suppose 0 = -y - f*i - 1, -i = -3*y - 2*y - 5. Suppose 24 = 3*q + 5*l, -2*l = -5*q + 3*l. Do q and y have different values?
True
Let y(c) = -51*c**3 + 2*c**2 + 3*c - 4. Let j be y(1). Is -48 > j?
True
Suppose -k + d + 75 = 0, -2*k + k = -4*d - 69. Suppose 3*q - k = 10*q. Which is smaller: q or -13?
-13
Let f(z) = -14*z - 6. Let j be f(4). Which is greater: j or -63?
j
Let w be (4 + 141/(-6))*-2. Let j = -25 + w. Let m be (3/6)/(1/j). Which is greater: m or 5?
m
Let a(o) = -o**2 - 8*o + 6. Let b be a(-9). Let h be (3 + b)/(-4 + 2). Suppose h = -x - 2*x + 45. Is 14 at most x?
True
Let f(c) = c**2 + 0*c**2 + 8*c - 138 + 133. Let y be f(-9). Let d = -84/55 + 63/11. Which is greater: d or y?
d
Suppose 0 = l - 8 - 9. Let s = l + -20. Is -10 != s?
True
Let a be (1*4/(-24))/((-8)/(-120)). Let g be 5/(-7)*1 - -1. Which is bigger: g or a?
g
Let k = 18 + 7. Let i = 35 - k. Is i at most 11?
True
Suppose 1 = 5*x + 46. Let q = 3907/15660 - -2/3915. Is q at most as big as x?
False
Let k = -93011/24 + 3876. Which is bigger: 2 or k?
2
Let v(a) = a**3 + 12*a**2 + 2*a - 3. Let g = 42 - 54. Let t be v(g). Is -1 at least as big as t?
True
Let f be 10/(-4)*(-2324)/280. Which is greater: f or 20?
f
Let w be ((-5)/2)/(-5)*16. Suppose -6 = 5*u - w*u. Let x = -1.048 + 0.048. Is x greater than or equal to u?
False
Suppose 2*k + 5*a - 43 = 5*k, 0 = a - 2. Let g = 8 + k. Let q = 2112/5 - 424. Does q = g?
False
Let z = 2802.267 - 258.277. Let q = z + -2558. Let l = 14 + q. Which is greater: -2/7 or l?
l
Let s be -3*(-2)/8*-4. Let v be (4/(-30))/(16/500). Which is greater: s or v?
s
Let n = 3459643/674 - 5133. Is 1 less than n?
False
Let s(n) = -n**2 + 5*n - 1. Let u be s(3). Suppose 3*t = 6, 10 = -q + u*q + 3*t. Let y = -1111/2740 + 3/548. Is q at most y?
False
Let w be (-22)/143 - (-2396)/26. Is w equal to 92?
True
Let u = 608 - 434. Is 174 at least as big as u?
True
Let v be 0*(5 + 12/(-3)) + -42. Which is smaller: -40 or v?
v
Let y(x) = x - 1. Let u(a) = 7*a - 14. Let k(c) = -u(c) + 6*y(c). Let f be k(7). Are f and 0 non-equal?
True
Suppose 5*j + 3*j = 32. Suppose -j = -9*q + 8*q. Is 4 smaller than q?
False
Let v(o) = -o**2 - 5*o - 4. Let i be v(-2). Suppose -j = -i, -2*q - 2*j = -0*q - 4. Let w be 76/70 - 2/7. Which is smaller: w or q?
q
Suppose 0 = 5*j - 4*m + m - 20, -4*j + 24 = -4*m. Is j bigger than -1/16?
True
Suppose 0 = -5*q - 2*q. Suppose -3*j = -2*h - 27, 5*j + 31 = -3*h - q*h. Let a = h - -13. Are 1/3 and a equal?
False
Let w be ((-1)/(-2))/((-22)/(-24)). Let h = -12 - -12. Is h bigger than w?
False
Let i be 4 + (-1)/(-1) + (-1 - 3). Is -10 smaller than i?
True
Let m(i) = -i**2 + 5*i - 3. Let l be m(5). Let u(x) = x**2 + 13*x - 2. Let h be u(-13). Let s be (l - -2)/(-3)*h. Is 1 smaller than s?
False
Let w(i) = i**2 + 51*i - 341. Let h be w(6). Are 3/133 and h unequal?
True
Let j = 154 - 101. Suppose -3*k + 5*g + j = 0, -3*k - g = 2*k - 51. Suppose -2*d + 17 = -2*r + r, 12 = 2*d - 2*r. Is d bigger than k?
False
Let n be 1/1*7 + 0. Let r(v) = v + 5. Let q be r(-5). Suppose q = 3*j - 5*j + 16. Is n greater than or equal to j?
False
Let u = -21 + 25. Suppose -h + 3*h - u*z - 26 = 0, 0 = -5*z - 25. Suppose -h*b = 2*b - 2*r - 20, -16 = -4*b + 4*r. Is 3 > b?
False
Let y = -88 - -102. Let i = y - 27. Is 0 bigger than i?
True
Let h = -204108 - -35922901/176. Let i = h - -6/11. Which is smaller: 0 or i?
i
Let r be ((-21)/6)/(5/(-10)). Suppose a = -r + 5. Are -1 and a equal?
False
Suppose 3*i = 4*m + 3, -5*i + 8 = -3*m + 3. Suppose -4*g = h + 3, -g + h - 2*h - 3 = m. Let w be 2/10 + 0/1. Which is smaller: w or g?
g
Let 