 0 or y?
0
Let h(j) = -3*j**2 + 2*j - 1. Let x be (-1)/(-1) - 10/(-5). Suppose 0 = -4*b + 12, x*p = -4*b + 5 + 10. Let q be h(p). Which is greater: q or -1?
-1
Let u(z) = z**2 - z. Let g be u(1). Is -1/701 at most as big as g?
True
Let h = 1314/1475 - 21/25. Is h less than or equal to -2?
False
Suppose -4*z - 16 = 4*n - 0*z, -4*n + 24 = -4*z. Let y = 10 - 16. Let o be (-4)/(-5)*(-15)/y. Is n < o?
True
Let z = -234 + 241. Which is bigger: 19 or z?
19
Suppose -d + 2*b = 160, 0 = d + 3*b + 145 + 15. Is -159 bigger than d?
True
Let m be -2*(-1767)/1170 + -3. Is -1 at most m?
True
Let q = -38 - -21. Let y(f) = -f**3 - 16*f**2 + 18*f + 19. Let a be y(q). Suppose -2*w = a, 10 = 2*o - 5*w + w. Which is smaller: o or 5/2?
5/2
Let r = 5.9 - 10.7. Let b = r + 5. Let s = 9.7 - 11.7. Is b less than or equal to s?
False
Let x = -45 + 29. Let k be x/(-18)*-3 - -3. Is 0.9 > k?
True
Let k = 1.124 + -0.124. Is 2/259 smaller than k?
True
Let m(b) = b**3 - 21*b**2 + 19*b + 21. Let q(d) = d**3 + 10*d**2 + 20. Let i be q(-10). Let n be m(i). Is 2/145 < n?
True
Let u be (-3)/(-27) - -37*32/(-10980). Is 0 at most u?
True
Suppose b - 25*d - 79 = -20*d, -3*d = 4*b - 155. Suppose -231 = -5*x + 3*g, -g + 4*g + 141 = 3*x. Which is smaller: x or b?
b
Let m = 0.142 - 0.882. Is -1/5 bigger than m?
True
Let c be 119/(-252) + (-6)/(-27). Is c != 7.1?
True
Let z be ((-2)/(-9))/(-2) + 14801/369. Is z < 40?
False
Let h(z) = 3*z**3 - 3*z**2 - z + 2. Let j be h(2). Suppose 2*g - j = t + 2*t, -17 = -3*g + 4*t. Let i be 0 + -1 + (-2)/g. Is i at most as big as -3?
False
Let y = 5/617 - -1199/4319. Let m = -0.09 + 0.05. Which is smaller: y or m?
m
Let y = -860 - -920. Do 51 and y have the same value?
False
Let t = -140 - -142. Suppose -t*s + 270 = 5*z, -z + 16 = -s - 31. Is 52 < z?
False
Suppose c - 14*o + 17 = -10*o, 2*c - 2*o + 10 = 0. Is c bigger than 2/427?
False
Suppose -2*h = -5*t + 12, -3*t - 2*t - 2*h = -28. Let z(a) = 5*a**2 - 17. Let f be z(t). Which is smaller: 62 or f?
62
Let h be (-2934)/5061 - 8/(-14). Let a = -10 - -11. Is h less than a?
True
Let p be (-43)/(-9) + (-10)/(-45). Suppose 30 = -7*c + 2. Is p smaller than c?
False
Let x = 67 + -64. Let l(z) = 4*z**2 - 4*z + 4. Let y be l(x). Is 27 < y?
True
Suppose 6*r + 14 - 2 = 0. Let z(p) = p - 2. Let n be z(5). Let k be 1*(n + r + 1). Which is smaller: k or 1?
1
Let o be -3 + (-6)/((-564)/283). Let g(w) = 2*w - 1. Let r be g(1). Is o smaller than r?
True
Let p = 4/89 + -6428/445. Is -13 greater than p?
True
Let i = -2 + 5. Suppose -2*n = -i*u - 7*n + 20, u - n = -4. Is u >= 4/53?
False
Let j = -777 - -481. Let h = j + 859/3. Let s = h + 10. Which is greater: s or 3?
3
Let o(k) = -k**3 + 8*k**2 + 13*k + 14. Let p be o(10). Let g = p - -32. Let s = g - -7. Which is bigger: -18 or s?
s
Let b = -6 - -9.5. Let p = 1.5 - b. Let d = p + 26. Is d less than -2/7?
False
Let t(x) = x**3 - 3*x**2 - 3*x - 5. Let w be t(4). Let k be ((-100)/2850)/(2/(-1)). Which is greater: k or w?
k
Suppose 3 = -4*z + 15. Suppose 0 = a + z*a + 96. Suppose 2*y + 3*w + 24 = -10, 3*y + 4*w = -53. Which is smaller: a or y?
a
Let v be ((-65)/20 - -3)*5. Let k(f) = -f - 2. Let b be k(-5). Let c(o) = -o**3 + 4*o**2 - 4*o + 3. Let r be c(b). Which is bigger: r or v?
r
Let x = 96 + -95.8. Let p = 37 - 39.4. Is p at least x?
False
Suppose 14*i - 75 = 19*i. Let c = i + 20. Which is smaller: c or 27/5?
c
Suppose -n = -3 - 1. Suppose -5*i + 10 = n*a - 5, -10 = -2*a. Let l = 288 + -288. Is i greater than or equal to l?
False
Suppose -4*n = -12, -2*n - 6222 = -u - 2*u. Let t be 31/186 - 322/u. Which is bigger: t or -1?
t
Let g be (-8)/1704*(-16)/(-40). Which is smaller: g or 1?
g
Let a = -1/639 + 788/911853. Is a at most 0?
True
Let i be (156/(-22))/2 + -1. Let v = i - -639/143. Is 1 bigger than v?
True
Let h be (-1)/(-2)*10 + -3. Let i be 2*(-27)/39*h. Which is bigger: -3 or i?
i
Let n(u) = -19*u + 132. Let g be n(7). Which is smaller: g or 1/165?
g
Let h = 3922/63 - 358/7. Which is greater: 12 or h?
12
Let o = -57 - -51. Let j be 15/35*-1*(-4)/o. Which is smaller: j or 1?
j
Suppose 9*k + 14 = 16*k. Which is smaller: k or 9/7?
9/7
Let d be (-8)/24 + (-2750)/(-15). Which is greater: 184 or d?
184
Suppose -149 + 59 = -5*r. Let p = 29 - r. Is p greater than 12?
False
Suppose -2*r = 2*l - 26 - 90, 2*l - 4 = 0. Suppose 4*d + w - r = 0, 5*d + 5*w = -9 + 64. Are d and 15 equal?
True
Suppose w = 5*w + 248. Suppose 3*a + 4*q + 206 = 0, 54*q - 52*q + 196 = -3*a. Is a > w?
False
Let p be ((-247)/52)/(1/(-28)). Suppose -j + p = -t, -j + 403 = -3*t - 0*j. Which is greater: t or -134?
-134
Let b be (-1)/5 + (-628)/10. Let w = -63 - b. Is w less than 9/2?
True
Let r be (-2)/138*173 + 0. Let n be 830/(-276) + 3 + 0. Let b = n - r. Which is smaller: 2 or b?
2
Let n = 169 - 97. Which is smaller: n or 218/3?
n
Let h be (-2)/(546/(-1653)) + -6. Which is smaller: h or 1?
h
Let c = -139 + 84. Let a = c - -55.7. Which is smaller: -0.3 or a?
-0.3
Let u = -0.15 - 0.15. Let i = -0.6 - u. Does i = 0?
False
Suppose -330 = -55*w + 52*w. Is w less than -2?
False
Suppose 39*j + 728 = 47*j. Is 95 bigger than j?
True
Suppose b + 4 + 0 = 0. Let r be 2/b*(7 - 6). Let n = 0.3 - 0.1. Which is smaller: r or n?
r
Let q(s) be the third derivative of -s**4/24 - s**3/3 - 70*s**2. Suppose 3*j + 2 = 2*j. Let c be q(j). Are 3/5 and c unequal?
True
Let h = -1025/552 + 3802727/3864. Let n = h + -984. Which is greater: n or -2?
n
Suppose 2*o + d - 21 = 0, 2*o = -0*o - 4*d + 30. Let b = o + 1. Is b smaller than 17/2?
False
Let t be (-4)/(-2) - 40/4. Let p be t*((-3)/(-2) + -2). Suppose p*v = -1 - 7. Which is smaller: v or -3?
-3
Let u(o) = -o - 1. Let n be u(0). Let a = -23359/554814 - 3/4742. Let h = a - -329/2223. Is n not equal to h?
True
Let s = 205546/59 - 3484. Which is greater: 0 or s?
0
Let u = 25.4 - 24.9. Is u equal to -0.1?
False
Suppose 0 = -d - 2*a - 2 - 0, -5*d - a = -8. Let h(k) = -k + 3. Let z be h(d). Which is greater: z or -1?
z
Let h = -432.54 + 432. Is 1 at most as big as h?
False
Let m = 51752/69 - 750. Let l = 38 - 37. Which is smaller: m or l?
m
Let b = 0.3 - -1.7. Is -0.5 greater than b?
False
Let f = -917/5 + 184. Let k(w) = -2*w - 2. Let b(x) = -2*x - 3. Let j(p) = 3*b(p) - 4*k(p). Let u be j(1). Which is smaller: u or f?
f
Let q(u) = u**3 - 25*u**2 - 28*u + 58. Let h be q(26). Is h >= 4?
True
Suppose -2*u + 7 + 1 = 0, -3*r = 2*u + 16. Let v be r/14*3/6. Which is smaller: -33 or v?
-33
Let c = -1/1169 - -24049/1169. Which is bigger: 21 or c?
21
Let y(a) = 2*a + 4. Let x be y(7). Suppose -5*p = -0*p + h - 33, 4*h = 5*p - x. Is p >= 8?
False
Let v = 2086538854/265 - 7873763. Let z = v + 157/5. Which is greater: 0 or z?
0
Suppose -4*n + 12 = -2*h, 0*h + 5*n = -2*h - 48. Let m be (16 - -4)*9/(-12). Is m less than h?
True
Let x = -41 + 51. Let u = x + -41. Is -30 <= u?
False
Let x = -150 - -150. Is 4/129 greater than x?
True
Suppose -4*t + 3*t + 16 = 0. Suppose -m + t = m. Let u = m - 13. Are -3 and u nonequal?
True
Let m = -388 - -387. Which is bigger: 62/5 or m?
62/5
Let y be (-1798)/200 - (99/(-11) - 0). Let r(w) = w**2 + 4*w + 4. Let k be r(-3). Is y < k?
True
Let v(m) = -m**3 - m**2 + m - 1. Suppose 0*y + 10 = y. Let r = y - 12. Let b be v(r). Do 5/6 and b have the same value?
False
Let l = -1793 + 1792.7. Which is greater: l or 1.5?
1.5
Let l be (-35)/30*6/28. Which is bigger: 0.8 or l?
0.8
Let u = -11.2 - 58.8. Let i = -71 - u. Is -10 at most i?
True
Suppose 6*w + 3 = 5*w. Let j(c) = -c**2 - 4*c + 2. Let i be j(w). Let u be 7/70 + (-1)/i. Is 1 <= u?
False
Suppose -2 = -5*o + 4*c, 0 = -2*o + c + c. Let b be 5/o*768/60. Which is smaller: b or 31?
31
Let x = -895/8 + 112. Let k = 607 - 4247/7. Is k bigger than x?
True
Let k be -89*(-1 + -1 + 1). Suppose k*i + 50 = 91*i. Is i >= 76/3?
False
Let q be ((-2)/(-4))/((-38)/76). Let u = 85/1713 - -36899/107919. Let y = u + 1/27. Is q > y?
False
Let a be 32725/204 + 1 + 6/(-8). Which is greater: a or 161?
161
Let i(f) = f**2 + 6*f - 1. Let h be i(-4). Let m(r) = 6*r**3 - 14*r**3 + 9*r**3 - 5*r**2 - 3 + 4*r. Let a be m(3). Is a less than h?
False
Let s = -8 - 42. Let h = 40 - 76. Let a = h - s. Is 14 smaller than a?
False
Let p(g) be the third derivative of -g**5/60 + 3*g**3/2 + 16*g**2. Let c be p(-3). Is c < -1/18?
False
Let p(z) = -67*z + 