7 - 357 = 0. Which is greater: -24/145 or z?
z
Let z = 154 + -150. Let r be (-102)/(-93) + (z + -4 - 1). Which is smaller: -1 or r?
-1
Let h = -1417 + 1809. Is 392 less than h?
False
Let u(z) = 1 + z**3 + 114*z**2 + 14*z - 7*z - 108*z**2. Let a be u(-3). Which is bigger: 12 or a?
12
Suppose w = -35 - 18. Let c = 57 + w. Which is bigger: c or 3?
c
Let a = 6.763 + -0.163. Is 0.02 less than a?
True
Suppose -43 = -4*j + n, -4*j - 4*n + 2*n + 58 = 0. Let a(c) = -20*c + 1. Let v be a(-1). Let i = v - j. Is 9 at most i?
True
Suppose -3*b + 0*b + 2*r = 307, -b + 2*r - 97 = 0. Let z be -2*((b/(-6))/(-7) - -3). Is -1/75 at least z?
True
Suppose -1421 - 637 = 21*c. Which is bigger: 1/4 or c?
1/4
Let r = -5.63 - -5.63. Is r less than or equal to -21/46?
False
Let x = 0.21 + -0.03. Let d = -1.48 + x. Let y = 1.8 + d. Which is bigger: y or 0?
y
Let m = -96/37 - -598/259. Which is bigger: -4/275 or m?
-4/275
Suppose 0 = 2*l + 152 + 28. Is l smaller than -90?
False
Let i be (-8)/48*(-2 + -4). Is 12/173 greater than i?
False
Let k = 548 + -547. Which is bigger: 5/47 or k?
k
Let l be 4 + -2 + 1 + 0. Let a be ((-2)/(-4))/(10/(-20)) + 0. Let r be (-161)/(-63) + ((-1)/a - 2). Is r smaller than l?
True
Let p be (4/8 - 2)*(-98)/3. Does 43 = p?
False
Let f = 166 - 163. Suppose f*v - 5*w = 23, 9 = -4*v + w + 17. Let g = 6/59 + -184/649. Is g < v?
True
Let q = 521.77 + -522. Is -17 greater than q?
False
Let j = -31 + 20. Are -3 and j equal?
False
Let z = -1.1 + 1.4. Let l be 3/4 - (-3)/(-8). Is l bigger than z?
True
Let n(w) = 4*w. Let u(s) = 4*s - 21. Let b be u(5). Let a be n(b). Are -4 and a non-equal?
False
Let x(c) = -c**3 + 7*c**2 - 18. Let k be x(6). Let n = 0 + k. Which is bigger: n or 19?
19
Let n be 10/(-35) - (-8412)/(-7). Let x be n/1380 + (-14)/(-35). Let q = x - 2/69. Is 1/2 <= q?
False
Let y = 2/1401 + 60239/2802. Let o = 647/30 - y. Let l = 2 - 2. Which is smaller: l or o?
l
Let i = 16486/15 - 1099. Let s = 12 - 6. Suppose -l = 3*n + l - 6, -s = -5*n - 2*l. Which is smaller: i or n?
n
Let f be ((-56)/(-14))/(2/24). Let q = f - 32. Let n = q + -13. Which is bigger: 7/3 or n?
n
Suppose -t + 2*h - 8 = 3*t, 4*t = 4*h - 12. Suppose 4*w + w + s - 12 = 0, 2*w - 14 = -5*s. Suppose b - w = -0*b. Which is smaller: b or t?
t
Let w = 3 - 2.8. Let m = -75.5 - -11.5. Let g = 63 + m. Which is bigger: g or w?
w
Let w be (14 - 28)/((-2)/(-5)*-1). Is w > 35?
False
Suppose -171 = 15*b + 594. Let h = b - -65. Is 13 > h?
False
Let m = 683/2 - 343. Which is smaller: m or -2?
-2
Suppose 11*s = 24*s + 1547. Do -117 and s have different values?
True
Let w be (-1)/(-77)*(-5 + -2 + 8). Let h(x) = -x + 5. Let s be h(6). Which is smaller: w or s?
s
Let n = 0.1 - 0. Let v(a) = -a**3 - 20*a**2 - 4*a - 24. Let b be v(-20). Suppose -3*g = 3*y + 27, -3*y - 6 = -4*g - b. Is n greater than g?
True
Let p(a) = 3*a - 16. Let k be (10/(-25))/(1/35). Let i(q) = q**2 + 13*q - 9. Let c be i(k). Let x be p(c). Is x at most 1/12?
True
Let g(p) = p**3 + 7*p**2 + 4*p - 9. Let r be g(-6). Let t be (-5)/25*(26/(-8) + r). Let s be ((-1)/2)/((-1)/2). Is s at least t?
True
Let u = 178 - 163. Is u bigger than 16?
False
Let t(o) = o + 1. Let y be t(0). Suppose 9 = 2*j - y. Let p(a) = 5*a - 36. Let v be p(8). Which is greater: v or j?
j
Suppose -16*z + 396 = -4*z. Let p = z + -15. Is 20 less than or equal to p?
False
Suppose -3*s = -a + 14, 33 = -5*s + 8. Which is smaller: a or -3?
-3
Suppose -20 = -4*b - 2*y, 2*b - 4*y + 11 = 1. Suppose 9 - b = 3*f. Is 2 equal to f?
True
Suppose -6*b = -1471 + 1489. Which is bigger: -9 or b?
b
Let t = -12 + 17. Suppose 5*w = 3*x - 6, 0 = 7*w - 2*w - t*x + 10. Suppose 9*r - 4*r = w, 0 = j - 5*r. Which is greater: j or 4/7?
4/7
Let b = 49 + -37. Let h(g) = g**2 - 13*g + 27. Let y be h(b). Is 29/2 >= y?
False
Let a = -37.96 - 0.04. Let c = a + 38.11. Is c at most as big as 1?
True
Let r be (-40)/(-8 + 16) + 6. Which is greater: r or -0.993?
r
Suppose -3*a + 6*a - 19 = 2*q, 4*a - 4*q - 28 = 0. Suppose a*s = c - 22, -2*s - 6 = 4*c - 72. Is 19 at least c?
True
Suppose -4*u = -3*u + 5*k + 13, -u = -2*k - 15. Let h be ((-3 - 2) + 2)*7/u. Let o(w) = w - 1. Let m be o(-4). Is m at most h?
True
Let y = 146 - 53. Let s = y + -79. Which is smaller: s or 1?
1
Suppose 0 = -14*v + 26*v - 72. Which is greater: 7 or v?
7
Let u(b) be the second derivative of b**3/6 + 11*b**2/2 + 7*b. Let h be u(-12). Which is smaller: h or -4?
-4
Suppose o - 2*c - 53 = 0, o + c - 14 = 24. Let y = 29 - o. Is y greater than or equal to -14?
True
Let g(k) = k**3 - 6*k**2 + 7*k - 7. Let x be g(4). Let c be (-2)/x - (-288)/110. Which is smaller: -1/3 or c?
-1/3
Let w(y) = -4*y + 12. Let d = -37 + 41. Let j be w(d). Which is smaller: 0 or j?
j
Let r = -10 - -13. Suppose -r*x + 6*x - 24 = 0. Is -2 at least as big as x?
False
Let z = 46 - -129. Let a be z/(-21) - 4/6. Let j(w) = w**2 + 9*w + 7. Let p be j(a). Is 8 bigger than p?
True
Let z be ((-17946)/4)/9*(4 - 2). Are -997 and z non-equal?
False
Let p = 46017/52 + -885. Is -1 < p?
True
Let m be 12/96 - (-14)/16. Let k = -3/76 - -161/228. Are k and m equal?
False
Let r = -421 - -261. Is -162 <= r?
True
Suppose -u + 2*q = -10, -u - 3*q + 5 = -6*q. Suppose 2*t - u = 24. Let g = 17 - t. Which is greater: g or -6?
g
Let p(g) = 5*g - 99. Let w be p(16). Is -5 at least as big as w?
True
Suppose -6*n = -5*n. Suppose -5*x = -n*x. Let a be (-4)/(-2 + 1) - x. Which is bigger: 3 or a?
a
Let a = -401 - -395. Let z be (1 + -1)/(-1 + -1). Which is smaller: a or z?
a
Suppose -63*l + 3 = -g - 62*l, 5*l - 9 = 2*g. Let b be (-3)/(22/4 + 0). Are g and b nonequal?
True
Let z = -2 - -9. Let c be (0/1)/((3 + -1)/(-2)). Is z at least c?
True
Let n = 0 - 0. Let q(j) = -j + 1. Let l(f) = f**2 - 12*f - 3. Let z(d) = l(d) - 6*q(d). Let m be z(7). Which is smaller: n or m?
m
Let h(j) = 47*j**2 + 4*j - 3. Let a be h(1). Is -3 less than a?
True
Let w be (4/(-15)*-10)/(2/(-9)). Which is bigger: w or 2?
2
Let u = 10 + -6. Suppose -4*r = -0*r - 8, -u*r = -5*s - 33. Does s = -5?
True
Let n = -1.36 - 0.24. Let z = -1.5 - n. Which is smaller: z or -1/4?
-1/4
Suppose 3*y + 4*b = 20, -5*y + 0*b + 44 = -4*b. Let g = -9 + y. Let x = 413 - 8671/21. Is x at most as big as g?
False
Let i = 34.4 + -34.36. Let n = -0.3 - -0.1. Is i > n?
True
Let i be 14/(-12)*18/96*60. Is i != -13?
True
Suppose 31 = 3*r - 2. Suppose -r = -5*h + 24. Let c = 4 - h. Which is smaller: c or 2?
c
Suppose -m = 4*m - 15. Let o(w) = 4*w**2 + 12*w**m - 2*w + 4 - w**3 - w**2 - 10*w**3. Let s be o(-4). Is 1 less than s?
False
Suppose 6 = g - 3*o, 4*g = 6*o - 11*o + 41. Suppose 4*d - 2*z - 3*z = 20, z - 5 = -d. Suppose d*h - 46 - 9 = 0. Which is greater: h or g?
h
Let u = 761 - 800. Which is bigger: -1 or u?
-1
Suppose v = -2 + 5. Let c be ((-2)/v)/((-5)/(-35)). Do -5 and c have the same value?
False
Let b = 13 - 14. Which is bigger: b or 99?
99
Let n = 10.91 + 12.3. Let q = n + 0.79. Which is bigger: q or -2?
q
Suppose -44 - 31 = -3*r. Suppose -6*a + a = -r. Suppose -11 = 3*q - a*j, 5*q + 2*j + 32 = q. Is q != -3?
True
Suppose -3*t = 5*m + 39, -t + 5 = 3. Let g = 13 - 10. Suppose 27 = -g*j + 3*c, 2*j + 2*c = 5*c - 17. Is j greater than m?
False
Let f be 6/(-14) - (-48)/14. Let k be 1 + ((-8675)/(-45) - f). Let b = k + -191. Is -3 greater than or equal to b?
False
Suppose 5*a - 2*z - 315 = 0, 4*a - 3*a = 5*z + 63. Is 62 at most a?
True
Suppose -204 + 36 = 42*l. Which is smaller: l or -39/10?
l
Let m = -10 + 10.6. Let k = m + -0.6. Let d = 0.05 - k. Which is greater: d or -1?
d
Let h = -170 + 687/4. Let v be ((-20)/38)/((-16)/50). Let f = h - v. Which is bigger: f or -1?
f
Let s = 0.36 - 3.36. Let t = s - 25. Is 2/3 at least as big as t?
True
Let d(c) = c**3 - 14*c**2 - 15*c. Let f be d(15). Suppose -2*i + f*i = 100. Which is smaller: i or -52?
-52
Let x = -28 + 7. Which is greater: x or 19?
19
Suppose 0 = 5*u - 15, -2*w - 45 = -4*u - 19. Suppose 3*h + 0*h + 18 = 0. Is h <= w?
False
Suppose 0 = 6*l - 12. Let s be (1/l)/(1/(-12)). Which is bigger: -8 or s?
s
Suppose 3*p - 48 = -p. Suppose 5*w = w - 24. Let z be 8/w + (-10)/(-30) + 12. Is z at most as big as p?
True
Let q = -72 - -116. Suppose -4*d + q = 2*u - 46, 4*d = -4*u + 100. Suppose 0 = 5*y - y - d. Which is smaller: 4 or y?
4
Let w = -889/15 + 12625/213. Let j be 2/(-4) - 2/4. W