*0. Are 28 and c unequal?
True
Let q(o) = -o**3 + 10*o**2 - 11*o + 21. Let c be q(10). Is -88 greater than c?
True
Suppose 5*z + 1 = 4*z. Let b(h) = -14*h. Let w be b(z). Let m = w - 72/5. Which is greater: m or 1?
1
Suppose 2*q - r - 80 = 0, -5*q = -3*r - 165 - 36. Let y = q - 39. Which is greater: y or 0.24?
0.24
Suppose 0 = -2*q - q. Let d be q*1/((-4)/2). Which is smaller: d or 4/13?
d
Let r be (-424 + 3 + -4)/(17 + -16). Which is smaller: r or -423?
r
Let i = -0.332 - -0.132. Which is greater: -9 or i?
i
Suppose h = 2*h - 3*r + 10, -18 = -3*h - 3*r. Suppose j - 1 - h = 0. Suppose -8*f = -j*f. Which is greater: f or -3/8?
f
Suppose 35*b - 32 = 39*b. Let d be b/20*15/12. Is -1 not equal to d?
True
Let q = 577 - 576. Is -129 > q?
False
Let n = 3/4 - 13/12. Let l(o) = -23 + 0*o - 2*o - 16. Let d be l(-12). Which is bigger: d or n?
n
Let o(l) = l**2 + 8*l - 10. Let b be o(-9). Let h = b - -1. Let x = -186 - -186.02. Which is greater: h or x?
x
Let n(u) = 44*u + 204. Let h be n(-3). Which is bigger: h or 364/5?
364/5
Suppose 35*m = 18*m + 153. Is m equal to 9?
True
Let k(t) = -t**3 + 29*t**2 - 193*t - 38. Let x be k(17). Do x and 151 have the same value?
False
Let f = 53.8 + -53. Which is greater: f or -3?
f
Suppose -6 = 2*i - 0*i. Let b(g) = g - 20. Let q be b(14). Let o be q/(-15)*(-5)/i. Which is greater: o or 3?
3
Let a(x) = 3*x**2 - 3*x + 5. Let q be a(3). Suppose 4*t - 46 = o + o, o + t = -q. Which is greater: -2/5 or o?
-2/5
Let f(t) be the third derivative of -t**5/60 - 7*t**4/24 + 3*t**2. Let q be f(-5). Let y be (-1 + 0)*q/(-2). Which is greater: y or 4?
y
Let b = -45.35 + 0.35. Let o = b + 43.1. Let c = -1.8 - o. Which is greater: -1 or c?
c
Let d = -23 + 17.2. Let w = 7.8 + d. Suppose -2 + 6 = -4*o. Which is greater: o or w?
w
Let u(g) = -g**2 - g + 16. Let z be u(-4). Let f be (z/80*-2)/(2/(-6)). Which is bigger: f or 1?
1
Let r(j) = -j**3 + 14*j**2 + 104*j + 20. Let s be r(16). Are 1172 and s equal?
True
Let h be (8/(-10))/((-5)/(525/98)). Let g(w) = w**3 - 3*w**2 - 4*w + 2. Let q be g(4). Is h equal to q?
False
Let x = 302 + -304. Do 6 and x have different values?
True
Let s(q) = q + 12. Let g be s(-7). Let v be (12/10)/((-2)/g). Are v and -3 unequal?
False
Let n(x) = -x - 3. Let r be n(0). Let i = r + 2. Let k be 3 - -1 - (-1 - -3)*2. Which is greater: k or i?
k
Suppose -32*z = -29*z - 18. Let b be 358*4/(-3480) + z/15. Is b > -2/7?
True
Suppose 3 = -2*x + 11. Suppose 0 = x*y - 2*y. Let d = -49 - -47. Which is bigger: d or y?
y
Let w(c) = -c**3 - 24*c**2 - 42*c + 40. Let k be w(-22). Which is bigger: k or -1?
-1
Let g(v) = v**2 - 8*v + 8. Let p be g(7). Let t be -1*p + (15 - 19). Which is bigger: -6 or t?
t
Let m be (-12)/16 + (-38)/(-8). Let s = -58 + 62. Suppose -g = 4, -m*g - 23 = -s*c + 41. Which is bigger: 11 or c?
c
Let x be ((-432)/42 - -10) + (-8)/(-28). Which is smaller: 29/23 or x?
x
Let s = -3148/1125 + -2/1125. Let g = -15 + 11. Which is bigger: g or s?
s
Suppose 0 + 9 = 3*c. Let o be (2 - 2)/((-6)/2). Suppose o = -0*y - c*y + 45. Which is greater: 2/3 or y?
y
Suppose -19*s - 61*s = 160. Let p be (-1)/2 + (-2)/6. Which is greater: s or p?
p
Let s = 6 + -3. Let u = -48.1 - -56.1. Is u equal to s?
False
Suppose -4*u + f + 25 = 0, 4*u = -4*f + f + 5. Suppose -3*k = -u*k. Suppose k = -4*m + o - 3, 2*o - 1 = -2*m + 5*o. Which is smaller: m or -2/13?
m
Let j = 4 + -20. Let t = -11 - j. Suppose -3*k - 2*l - 5 = 10, 0 = k + 5*l + t. Which is greater: k or -4?
-4
Let z(s) = s**3 - 15*s - 5. Let p be z(4). Are p and -89 equal?
False
Let p be 250/((-25)/5)*-1. Suppose -p = 9*c + 94. Which is smaller: -1 or c?
c
Let i = 16 + -7. Let b = i - 3. Do b and 5 have the same value?
False
Let q = 23 - 33. Let i be 5/q*(-9)/12. Is -0.2 <= i?
True
Suppose 3*f = 2*l + 55, 0 = 2*f - 4*f - 3*l + 15. Let d be 6/24 - f/(-20). Which is smaller: d or -5/18?
-5/18
Let p(y) = -y + 9. Let u be p(4). Suppose u*o - 2*o = 3. Let m = 2/3 - o. Which is smaller: m or 1?
m
Let v = -12.19 + 0.19. Let l = 206 + -193.8. Let j = v + l. Which is bigger: j or 3?
3
Let g(u) = -u**2 + 12*u - 9. Let f be g(16). Let b = 49 + f. Which is smaller: b or -22?
b
Suppose 4*z = 13 - 5. Suppose 3*t + 4 = -z. Let g be (39/(-6) - -5) + 1. Is t less than or equal to g?
True
Let z(m) = -2*m + 25. Let p be z(12). Is p <= 2/73?
False
Let b be (-10)/(-30) - 12724/12. Is b at least -1060?
True
Let x(c) = 2*c + 33. Let g be x(-14). Suppose -5 = 2*l - 29. Let j = l - g. Which is smaller: j or 8?
j
Let k(y) be the second derivative of y**4/12 - 4*y**3/3 + 3*y**2 + 98*y. Let h = 11 - 4. Let i be k(h). Which is greater: 5 or i?
5
Let x = 30.1 - -1.9. Let p = -40.2 + x. Let h = -8 - p. Which is greater: h or 0.04?
h
Let j = -505.3 - -507. Which is bigger: j or -1/3?
j
Let s = -1.1 + -7.7. Let v = s - -10.8. Is -12 at most v?
True
Let z(p) = p + 3. Let c be z(2). Suppose c = 5*q - 45. Which is bigger: q or 8?
q
Let b = -14 + 5. Let x be 4/(-18) - 29/b. Let q be 2*(x + -3 + -2). Are q and -4 unequal?
False
Let n be 4/8*6/13. Suppose 14*u + 14 = 13*u. Let g = u + 14. Is n less than g?
False
Let d(p) = -p**3 - 12*p**2 - 2*p - 15. Let z be d(-12). Let s(o) = o - 10. Let j be s(z). Let a = -1 + 1. Which is smaller: j or a?
j
Let x = -24 + 22. Let m = x + 2. Is m less than or equal to -0.2?
False
Let f(o) = -o**3 + 4*o**2 + 7*o - 5. Let u be f(5). Let w = -7 - -7. Let l = u - w. Does l = 5?
True
Let w be (-9)/(-6) + 3625/(-1710). Let u = -16/19 - w. Which is greater: 8 or u?
8
Let x = -26 - -27. Is x smaller than -2/29?
False
Let k be 16244/6340 + -3 + 20/50. Which is smaller: -1 or k?
-1
Let r = -30 - -28. Let a(v) = -15*v - 1. Let w be a(r). Is w not equal to 29?
False
Suppose i - 1 = 1. Suppose -i*f = 2*v + 4, 0 = f + 4*v + v + 2. Let k be (f - -2)/(-3 - 0). Does k = -4?
False
Let t(g) = 2*g + 5. Let c(y) = -y - 5. Let w(z) = 3*c(z) + 2*t(z). Let o be w(10). Suppose 2*u + 14 = 2*x, 2*x - 18 = -0*x + 3*u. Which is smaller: x or o?
x
Let q be -4 - (0 + (-7 - -4)). Let p be (-3)/(3/q)*-1. Is -1 bigger than p?
False
Let h = -13 + 21. Let x = -4.5 + 37.5. Let j = 33 - x. Is h equal to j?
False
Let r(o) = 3*o**2 - 9*o. Let k be r(3). Suppose 3*c - 7*c = k. Which is smaller: 1 or c?
c
Suppose 6 = 2*c - 0. Let i be 1 + -1 + c + -2. Suppose -2*k = -k - i. Which is smaller: -2/9 or k?
-2/9
Suppose 4*u = 3*d + 37, -5*d - 5*u = -3*d + 40. Let l = -16 - d. Which is smaller: 6/67 or l?
l
Let j be 6/(-10) + 47472/3120 - 6. Is j greater than or equal to 8?
True
Let a be (-2)/6 + (-70)/42. Let n be a*(-8)/234 + 4/26. Do 1 and n have the same value?
False
Let p be ((-24)/5)/(4/(-20)). Let a = p + -22. Is a at most 2?
True
Suppose -3*p + 0 + 18 = 4*w, 3*p - 12 = -3*w. Which is bigger: 46/9 or w?
w
Let l = 221 - 228.46. Which is bigger: l or -1/4?
-1/4
Suppose -2*q + 24 = 4*q. Suppose 2*y + 40 = -8*h + 3*h, h + 30 = q*y. Is -10 less than or equal to h?
True
Let o = 0.013 + 0.127. Let h = 5 - 5.14. Let z = -0.14 - h. Is o < z?
False
Suppose 5*s = 14*m - 15*m + 24, -3*s = m - 14. Which is smaller: -81 or m?
-81
Suppose -44*w + 32*w = -132. Is 1/3 greater than or equal to w?
False
Let b = 7549 + -166131/22. Let d = b - 1/11. Which is greater: -4 or d?
d
Let y = 91 - 108. Let w(d) = 2*d**2 - 3*d. Let p be w(2). Suppose 0 = -p*n + 6 - 38. Which is greater: y or n?
n
Let c = 19/112 + -3383/1456. Is -2 smaller than c?
False
Let j be (234/364)/(0 + 3/2). Is 25 equal to j?
False
Let b = 55 - -15. Let i = 38 - b. Is i at most as big as -30?
True
Suppose 15 = 5*d, 26*p - 31*p - 7 = -4*d. Which is greater: -2/395 or p?
p
Let r(z) = z**2 - 15*z + 7. Let h be r(0). Suppose -8 = 4*q + 4. Let o be (-3)/q + -1 - -3. Do h and o have different values?
True
Suppose -o - 1498 + 1499 = 0. Is 202 smaller than o?
False
Let b = 2/99 + -332/99. Let l(m) = -m**2 + m + 4. Let a be l(3). Which is smaller: b or a?
b
Suppose 4*h + g - 12 = 3*g, 5*g = -4*h - 16. Suppose -4*v + h = 3*f - 2, -f + 5 = 0. Is -2 at most as big as v?
False
Let h = 41 - 22. Let g = 17 - h. Let l = g + -16. Is l less than -19?
False
Let p(a) be the second derivative of a**3/3 + 9*a**2/2 - a + 25. Let r be p(-5). Is r at most 2/109?
True
Let t(f) = 8*f + 2. Let h be t(3). Suppose 11*n + 56 = 331. Is h greater than n?
True
Let i = 557 - 555.7. Is i equal to -3?
F