
True
Suppose 3*i + 0*i = u - 1, 0 = -5*u + 4*i + 5. Let h be 5 - -497*(-6)/594. Are h and u equal?
False
Let u be 6/(-8) + 1 + (15 - 15). Do u and -113 have different values?
True
Let o be (-27)/((-10530)/1960) - 5. Which is bigger: o or 36?
36
Let k be ((-1)/(-10))/(1/(-4)). Let c = -55 - -78. Let m be -2 + c/6 + -2. Which is smaller: k or m?
k
Let b be (-6)/(-117)*3 + (-111)/(-39). Suppose 4*m - 29 = 5*d, b*m - 2*d = 2 + 11. Is 5 bigger than m?
True
Let o = -37 - -38.4. Let q = 1.4 - o. Let m = 3.06 - 0.06. Which is greater: q or m?
m
Let v(b) = 4*b**2 + 3*b - 19. Let a be v(-5). Which is smaller: 64 or a?
64
Let h be 4/(-6)*(-10)/4. Let k = -0.424 - -0.624. Which is bigger: k or h?
h
Let m = 8.93 + -473.93. Which is smaller: m or 1?
m
Suppose m - 23 = 13. Suppose 3*y - m = -3*p, -p + 0*y - 3*y + 22 = 0. Let k = 10 - p. Is k > 0?
True
Let z = -1320 - -1338. Is z less than 21?
True
Suppose 2*w - d - 2 = 0, 2*w + 2*d = -4 - 0. Suppose w = 3*m + 2*m - 10. Which is smaller: -0.1 or m?
-0.1
Suppose -3*w - 3*u = 9062 + 6268, 0 = -4*u - 12. Let j = 1138863/223 + w. Which is smaller: -1 or j?
-1
Let k = 1473 + -1473. Is k at most -3/421?
False
Let j(k) = 8*k**3 + 38*k**2 - 12*k - 11. Let g be j(-5). Let f be (-1)/7 - (-4)/20. Is f > g?
True
Suppose 8 = -4*c + 4*x, -5*x + 9 = 2*c - 8. Which is bigger: c or 4/147?
c
Suppose 3*n = 0, 279 = t - 2*n - 31. Do t and 310 have the same value?
True
Let v = -157 - -176. Is v not equal to 19?
False
Suppose -14 = 3*i - i. Let r = 11 + i. Suppose 2*p = u + 5, 0 = -r*p - 0 + 4. Which is greater: -4 or u?
u
Let x(y) = -y**3 + 6*y**2 + y - 3. Let n be x(6). Let v be (n - 4)*(-1)/2. Which is smaller: -4 or v?
-4
Let n(q) = -2*q**2 + 7*q - 6. Let a(i) = i - 1. Let b(h) = 2*a(h) - n(h). Let j be b(2). Let c be 2 - (15/(-5) - 0). Is c less than j?
False
Let c be (2/10)/((-4)/(-8)). Is 4/7 smaller than c?
False
Let t be (-3)/9 - 49/(-3). Suppose 4*n = t, 2*n = 5*a + 2 + 6. Let y be (4*(-4)/(-80))/(-2). Does a = y?
False
Let j = 7 + -7.24. Let b = j + 0.5. Let z = b + -0.2. Which is bigger: z or -1?
z
Suppose -1 - 7 = -8*j. Which is smaller: -2/243 or j?
-2/243
Suppose -4*p = -2*p - 2*b - 2, 4*p + 5*b = 4. Let i(g) = g**3 + 6*g**2 + 5*g + 5. Let o be i(-4). Suppose -3 = -5*l + o. Is l at most p?
False
Suppose -4*f + 10 = -5*k - 17, 15 = -k - 4*f. Let s(d) = d**2 + 4*d - 5. Let m be s(k). Suppose -8*n - m = -12*n. Does 4 = n?
True
Let n(w) = -w - 11. Let l be n(-9). Let f be 2 - l*(-306)/15. Let x = -39 - f. Which is smaller: x or 0?
x
Suppose 0 = 4*j - 67 - 53. Let w be 2*(-3)/j*(-40)/(-208). Is -1 bigger than w?
False
Let m(h) = 13*h + 5. Let r be m(3). Let w be (-6)/(-2) - r/12. Let y = -0.4 + 0.5. Which is smaller: w or y?
w
Let y = 77.098 - 77. Let t = y + -2.098. Which is bigger: t or -1/3?
-1/3
Let k(w) = 3*w**2 + 16*w + 3. Let m be k(-5). Suppose -2*i = i - 15, 0 = 5*z - 4*i - 5. Is z at least m?
True
Let x = 482 + -2413/5. Let n = -0.06 + -0.24. Let b = n + 0.2. Is x greater than b?
False
Suppose 4*h + 2*f = -56, 0 = h + f + 2*f + 14. Let i be (-7484)/(-252) - (-2)/h. Let z = 1342/45 - i. Are 0 and z equal?
False
Let h = 8.009 - 8.2. Let b = 0.091 + h. Let t be (6/4)/(-3)*12. Which is bigger: b or t?
b
Suppose 2*q + 50 = 14. Let k be 1796/q - (2/9 - 0). Is k not equal to -100?
False
Let n be (-6)/(-9) - (-4 + 1). Let b = 11 + -25. Let y = b + 18. Is n <= y?
True
Let u(m) = -9*m**3 - m**2 + 2. Let a be u(-1). Let j be (12/(-176))/(15/a). Are 1 and j unequal?
True
Let z = 16075 + -7153381/445. Which is smaller: 0 or z?
z
Let a = -106/3 - -36. Let l = 0 + -24. Let r = -23 - l. Is r greater than a?
True
Let v = -16 - -13. Let p be v + (-3 - -6) - 0. Suppose -k - 4*k + 5 = p. Which is greater: k or -6?
k
Let b = 1 + 1. Let p be (-1)/b*(-3 - -2). Suppose -24*w + 33 = 9. Is p at least w?
False
Suppose -2*c = x - 3*x - 134, 2*x - 4*c = -130. Let u be (-3 + 9/6)/x. Is 0 not equal to u?
True
Let s be 545/130 - (9 + -5). Do s and -1 have the same value?
False
Suppose -5*h + 11*h = -1068. Which is smaller: h or 1/2?
h
Let f be (-11506)/(-700) - 1/2. Let s = f - 111/7. Let y = 8 + -8. Do s and y have different values?
True
Let o = -62 + 84. Suppose -o = -7*z - 8. Suppose -5*s + 9 + 1 = 0. Is z less than s?
False
Let w(g) = g - 8. Let b(s) = 1. Let d(f) = -3*b(f) - w(f). Suppose 7 = 5*n - 3, -3*o + 20 = -2*n. Let t be d(o). Which is greater: -2 or t?
-2
Suppose 0 = -2*o + 4*w - 22, -5*o + 18 = 5*w - 2. Suppose 20 = -10*d - 0. Let p be (6/d)/(56/(-4)). Which is smaller: o or p?
o
Let l(h) be the third derivative of -h**4/24 - 4*h**3/3 + h**2. Let x be l(-7). Let o = -135 - -137. Which is greater: o or x?
o
Suppose -y + 3*y + 52 = k, -4*y - 4*k - 104 = 0. Let n = y + 22. Let r(t) = t**3 + 3*t**2 - 7*t - 6. Let h be r(n). Which is greater: h or 7?
7
Let o be 1025 - 12 - 0/(-1). Let h = -20253/20 + o. Which is smaller: h or 0?
0
Let g(j) = 2*j**2 - 4*j + 6. Let l be g(3). Let s be ((l/(-2))/2)/10. Which is bigger: 2/11 or s?
2/11
Let f = 53 - 52. Let q = -20.85 - -26.7. Let t = q - -0.15. Is f <= t?
True
Let m(r) = -r**3 + 16*r**2 + 17. Let z be m(16). Suppose 5*w - 104 = -5*o - 19, 0 = w + 5*o - 17. Are z and w equal?
True
Let x = 2270 + -358659/158. Let o be (-1)/((0 - 1) + 2). Is x less than o?
False
Suppose -4*g = 3*w + 7 + 8, 0 = -w - 5. Are 4/9 and g nonequal?
True
Suppose 0 = -17*n + 25*n - 88. Which is smaller: n or 13?
n
Suppose 4*o - 1 = 31. Let u be (o/14)/((-1)/(-2)). Are -1 and u unequal?
True
Suppose -2*u - 50 + 2 = 0. Let b = u + 49/2. Let t = -5.8 - 0.2. Is b at least as big as t?
True
Let u be ((-259482)/36)/(1 + (-26428)/6). Let y be 1/4*(-4)/2402. Let q = y + u. Which is greater: q or 1?
q
Let c be (-14)/12 + 2/(-4). Let z = -1/2 - c. Suppose n - 3*n = 0. Is z < n?
False
Let k = 408 - 298. Which is greater: k or 109?
k
Let v = 27/35 - -204/35. Let i = 2015 + -2008. Is i less than v?
False
Let m(o) = -3*o**2 + 8*o + 2. Let d be m(0). Let s = 133 + -394/3. Is d greater than or equal to s?
True
Let f be (98 + -116)*(-1)/(-57). Is f at least as big as 2?
False
Suppose -98 + 4 = 3*m + g, 43 = -m + 2*g. Let a = 12 + m. Is a equal to -22?
False
Let i(x) = x**3 + 7*x**2 + x + 7. Let q be i(-7). Suppose -5*z + 1105 + 275 = q. Let o = -4138/15 + z. Which is greater: o or 1?
1
Let u = -17.5 - -16.5. Is u < 2.8?
True
Suppose -2*u + 11 = -1. Let f(z) = -7*z**2 + 12*z - 2. Let t(h) = 20*h**2 - 35*h + 6. Let a(v) = -17*f(v) - 6*t(v). Let l be a(4). Is u smaller than l?
False
Let k(o) = 174*o - 6. Let m be k(-6). Let s be 3*8/42 + 516/m. Is s <= -1?
False
Let m(d) = d**3 - 29*d**2 + 82*d - 73. Let c be m(26). Which is smaller: c or 34?
c
Suppose 0 = 4*w + 3*x - 78, -3*w = -x + 4 - 56. Is 3 smaller than w?
True
Let l = -529/13080 + -2/1635. Which is smaller: -1 or l?
-1
Let a = -37 - -41. Let c = -2 + a. Which is greater: 0 or c?
c
Let d(c) = -49*c + 55. Let z be d(3). Is -15 less than or equal to z?
False
Suppose -4*t = -5*y - 237, -14*t + 113 = -12*t + 3*y. Is t less than 56?
False
Let i = -58/5 - -12. Let s = -441 - -442.8. Which is smaller: s or i?
i
Suppose 4*d - 3741 = 2*w + w, w - 3729 = -4*d. Is d at most 932?
False
Let n = 23.5 + -22. Let x = n + -10.5. Does -4 = x?
False
Let d = 626 - 13777/22. Is d at least 1?
False
Let z = 23 - 13. Let n(h) = h - 8. Let f be n(z). Suppose r + 2*r = 0, 30 = 5*q + f*r. Is q at least 6?
True
Let i be 1/(-6)*15/13. Which is greater: 1 or i?
1
Suppose 8 = 53*m - 45*m. Suppose 14 + 8 = -2*o. Let i be (-48)/220 + 2/o. Which is smaller: m or i?
i
Let b be (-387)/(-10) + (-1)/2. Let j = 39 - b. Let v = -47 - -46.8. Which is bigger: v or j?
j
Suppose -46*c + 3 = 49. Is 52 at least c?
True
Let w(r) = r + 7. Let x be w(-6). Let i(v) = -2*v**3 - 6*v**2 + 3*v + 14. Let s be i(-3). Is x > s?
False
Suppose 1 = j + z, -4*z - 17 = j - 6. Suppose -i + j*i - 4 = 0. Let f be (-6)/(-12) + 1 + 36/(-8). Which is greater: f or i?
i
Let p be 2/8 - 11/28. Suppose -4*j = v + 2, -43*v = 5*j - 46*v + 11. Is p greater than j?
True
Let o = -0.398 - -0.058. Let q = o + -1.66. Which is smaller: q or 0.19?
q
Suppose -j + 2*j = 0. Let d(x) = -x**2 + 2*x - 1. Let o be d(j). Which is greater: -0.08 or o?
-0.08
Suppose 10*z + 12 = 13*z. Suppose j + 6 = z*j. Suppose j*v + 4 = 6. Which is smaller: -2/5 or v?
-2/5
Let z