Let t = 0.03 + -0.01. Let i = 0.01 + 0.07. Let p = i + t. Which is smaller: p or 1/23?
1/23
Let r be 87/(-27202)*(3 - 4). Is r bigger than 0?
True
Let p be (-3)/((-95)/(-2) - 1). Let c(h) be the first derivative of -h**4/4 + 7*h**3/3 + 9*h**2/2 - 7*h + 22. Let a be c(8). Is a at least p?
True
Let y = -47 + 46. Does -46/5 = y?
False
Suppose 23*w + 0 + 138 = 0. Which is greater: -19 or w?
w
Let v(t) = -t - 1. Let q be v(3). Let g be q/26*1 - 0. Suppose 6 = -11*b - 5. Is b at least g?
False
Let n = 27 - 38. Let o = n - -13. Let v = 1/235 + -483/3055. Is o at least as big as v?
True
Suppose -2*l + 3*u = 22, -2*u = -5 + 9. Let y be ((-26)/(-21) - 2)/(12/l). Is y != 2?
True
Let x be ((-27)/(-6) + -4)*0. Which is bigger: x or -1/31?
x
Let b = 11.3 - 15.2. Let d = -4 - b. Is -97 <= d?
True
Let l(d) = -d**3 - 26*d**2 - 24*d + 26. Let y be l(-25). Which is bigger: y or 6/5?
6/5
Suppose -4*i = b - 161, -4*b + 181 = -3*b - i. Is 175 equal to b?
False
Suppose -2*o - 2*o = -8. Which is smaller: o or 13/18?
13/18
Let o be -1 + 2/4 - (-202)/4. Let u = o + -58. Is u at most -8?
True
Suppose -7 + 0 = n + 3*l, -3*n + 21 = -5*l. Suppose n = 2*d + u - 18, 12 = 3*u. Which is greater: 2 or d?
d
Suppose -4*t + 7 - 11 = 0. Let d = 25 + -24.78. Let l = d - -0.08. Which is smaller: l or t?
t
Let n be (9 - 3) + 520/(-16). Does -27 = n?
False
Let n be (2236/22)/(-2) + 6/(-33). Let b = n - -54. Which is greater: b or 19/7?
b
Let f(a) = -a**3 + 15*a**2 - 16*a + 28. Let r be f(14). Let d be (4 - 5) + (-1530)/(-14). Let s = d - 108. Which is smaller: s or r?
r
Let f be ((-459)/(-612))/(318/(-8)). Is f at most 0?
True
Suppose -s - 10 = -5*x, s - 13 = 2*x + 4*s. Let d = x - 2. Let m be -4*(-5)/180 - (-1394)/(-7038). Which is smaller: m or d?
d
Suppose y + 26 = 3*h + 2*h, -2*y + h = 16. Let m(k) = -k**3 - 6*k**2 - 7*k - 31. Let z be m(y). Let o(t) = t**3 + t + 1. Let f be o(2). Does f = z?
True
Let x = 66 - 69. Is 4 less than x?
False
Suppose 140 = 6*c + 140. Is 3/14 <= c?
False
Let a = -22 + -59. Which is smaller: -406/5 or a?
-406/5
Let l = 2 + -2.2. Let q = 165 - 164. Which is smaller: l or q?
l
Let y = -6/97 - -265/2716. Suppose 0 = -5*b + b. Which is smaller: y or b?
b
Let k(o) = -o**2 - 4*o - 3. Let m = -40 + 37. Let z be k(m). Are -2/51 and z equal?
False
Let h(a) = -3*a**2 - 43*a + 40. Let g be h(-15). Is 19 less than or equal to g?
False
Suppose 2*d - 2 + 50 = 0. Let h = 43/2 + d. Which is smaller: -2 or h?
h
Suppose 1 + 119 = -3*t. Let z = 21 + t. Let k = 11 + z. Are k and -8 equal?
True
Let h(n) = 2*n**2 + 28*n + 66. Let l be h(-11). Which is greater: -1/1274 or l?
l
Let g = -0.68 + 0.73. Suppose 2*t + 24 = -3*u, 0*t - 6 = 2*t. Let r = u + 6. Is r at least as big as g?
False
Suppose 109*u - 85*u - 816 = 0. Which is smaller: 21 or u?
21
Let u be ((-624)/(-20))/(68/410). Let x = u - 188. Are x and 1 equal?
False
Let v(x) = 6*x - 3*x - 6 - 6*x. Let h be v(-2). Let t = 3 - 9/4. Which is smaller: t or h?
h
Let k be (8/(-6))/((-4)/72). Let i be 3/(-4)*k/11. Which is bigger: i or -2?
i
Suppose 4*f = -f - 45. Let t(v) = v**2 + 7*v - 9. Suppose -2*r - 4*b = 14, -2*b = 2*r + b + 14. Let g be t(r). Does f = g?
True
Let r(k) = -k**3 - 5*k**2 + 2*k + 3. Let j be r(-5). Let i = 26 + -7. Let y = -25 + i. Are j and y equal?
False
Let h = 384 + -385. Which is smaller: h or -2/1303?
h
Let l = -0.265 + 0.297. Which is greater: -1 or l?
l
Suppose -3*p + p = -4. Suppose 6*f + 2*h = 3*f - 13, -p*h = 4*f + 18. Let c = -7 - f. Is -2 equal to c?
True
Suppose 544*m - 550*m = -36. Does -1/3 = m?
False
Let z = 0.6 - -0.2. Let o = -0.6 + 0.4. Let m = o - z. Which is bigger: -1/3 or m?
-1/3
Let r(i) = 3*i + 25. Let c be r(10). Let k = c + -601/11. Are k and -1 unequal?
True
Let p = 6 - 6.4. Which is bigger: -0.019 or p?
-0.019
Let j = -0.041 - -0.026. Let r = 14.985 - j. Is 1/3 bigger than r?
False
Let o = 577 - 567. Which is smaller: -0.04 or o?
-0.04
Suppose -4*u - l + 56 = 0, -5*u - 2*l + 54 = -19. Let n be u - (2 - (-1 - -2))/1. Is 12 not equal to n?
False
Suppose -11 - 8 = g. Let h = g + 17. Which is greater: -6 or h?
h
Suppose p + 2*h + 41 = 0, -2*h + 586 = 5*p + 727. Let g be ((-9)/2)/((-1)/(-6)). Is p at least as big as g?
True
Let b(v) = -v - 7. Let i be b(0). Let o = -19 + i. Let t(h) = -2*h**2 + 8*h + 17. Let d be t(7). Which is smaller: d or o?
o
Let i be -1*3 + (-8 - 984/(-88)). Is i at most 2/13?
False
Let k(b) = 10*b + 72. Let m be k(-8). Is m at most as big as -0.016?
True
Let x = 8 - 3. Suppose -3*g = g + 3*r + 140, -175 = x*g + 5*r. Is -33 < g?
False
Let g = 1 + 5. Let d be 1 + -1 + g/27. Let j = 123 - 122. Is j <= d?
False
Let k be 2/(-4) - 28/(-8). Let s = 4432/9 - 490. Are s and k non-equal?
True
Let o be (-4598)/(-3230) - (-2 + 13/5). Which is bigger: o or 1?
1
Suppose 151*k - 140*k + 781 = 0. Which is bigger: k or -74?
k
Let x = 152 + -142. Is x at least as big as 11?
False
Let h(o) = o + 49. Let b be h(0). Let a(z) = -18*z**2 + 504*z + 49. Let f be a(28). Is b >= f?
True
Suppose -599 = -9*n - 1121. Which is smaller: -117/2 or n?
-117/2
Suppose 3*a + 4*c = -7, -4*a + 2*a = c + 3. Let o = -1853/9 - -205. Which is smaller: a or o?
a
Let o = -393 + 406. Is o at least as big as 10?
True
Let o = -98 - -109. Let r = -0.15 + -1.85. Is r less than o?
True
Let n = 2.28 + -0.28. Let f = -2.86 + n. Let m = f - 0.14. Is m < -3?
False
Suppose 2*c - 7*c - 3920 = 5*x, 4*x + 3133 = -c. Let a = 8619/11 + x. Which is greater: 1 or a?
1
Let q = -6774/11 - -616. Is q > -1?
True
Let l(p) = -p**2 - 3. Let s be l(6). Let b be (-2)/3*s/(-26). Suppose -4*a - 3*x = -x - 20, 2*x - 5 = a. Is b greater than or equal to a?
False
Let u = -15.5 - -5.3. Let a = u + -0.8. Let w = -225.1 + 225.1. Which is greater: w or a?
w
Suppose 5*c + 56 = -3*m, 0 = 2*c - 5*m + 5 + 5. Let t(k) = 2*k**2 + 2*k - 2. Let w be t(-3). Let p = c + w. Is p less than 2/11?
True
Let a(y) = -2*y**3 + 32*y**2 - 36*y + 26. Let q be a(15). Is -57 not equal to q?
True
Let l be 193896/(-297) - 2/6. Let x = l + 654. Do x and 1 have the same value?
False
Let h = 25.52 - 25.52. Let d = 461/38 - 50/19. Is d equal to h?
False
Let c be (-9)/(-12) + 161/(-92). Which is smaller: 2/247 or c?
c
Let g(a) = -14*a**2 + 11*a - 6. Let z(k) = -5*k**2 + 4*k - 2. Let p(m) = -4*g(m) + 11*z(m). Let b be p(0). Let f = 0.06 + -3.06. Is f equal to b?
False
Let a = -28 - -69. Suppose -115 = -5*o + 2*n, 3*o - 4*n = 2*o + a. Let b be ((-6)/(-14))/(24/o). Do b and -1 have different values?
True
Let d = -613 + 613.196. Which is bigger: d or 1/5?
1/5
Let i = -0.41 + 0.488. Let f = i + -27.078. Which is bigger: f or 2?
2
Suppose -56 = -0*f + 2*f. Let t = -31.95 - -32.05. Which is smaller: f or t?
f
Let g = -26.85 - -27. Let b = -0.09 + g. Which is smaller: b or 2/11?
b
Let f = -4 + 3.5. Let r = 29.9 - 31. Let j = r - f. Which is smaller: 2/5 or j?
j
Suppose -z = -w - 0*z - 7, 3*w = 4*z - 19. Suppose 5*i - 3*r - r - 37 = 0, -5*i + r + 43 = 0. Let s be 30/i*w/(-24). Does 0.3 = s?
False
Let p be (3 + 2/(-2))/((-904)/24). Which is smaller: -1 or p?
-1
Let g = -46 - -49. Suppose 0 = -4*f + 5*j + 79, 0 = 3*j - g - 0. Which is smaller: 20 or f?
20
Let i = 52.1 + -70. Let d = i + 18. Is 0.1 <= d?
True
Suppose -2*p = -r - 1011, 0*p + 996 = 2*p - 4*r. Let h be p/(-5) - (-2)/(-5). Let a be 1 - (3 - h/(-33)). Which is smaller: a or 2?
a
Let a = 7.03 - 0.03. Let n = 20 - a. Let o = n - 12.99. Are -0.1 and o equal?
False
Let u = 143.853 + 0.147. Let j = 139.08 - u. Let p = -0.08 + j. Is 0.1 >= p?
True
Let m = 0.3 - 16.3. Let q = -4.9 + 5. Which is smaller: q or m?
m
Let n be (2*(2 + 5/(-2)))/(2/10). Suppose 14 = w - 3*w. Which is smaller: w or n?
w
Let w(x) = x**2 + 9*x - 1. Let z be w(-9). Let a be (-8)/(-2) - -196*3/(-150). Which is bigger: a or z?
a
Let h = -18.59 - -18.59. Let o = -9.23 + 0.23. Is o <= h?
True
Let y = 70 + -70.18. Let d = y + 1.18. Let o = 0.7 + -0.6. Which is smaller: d or o?
o
Suppose -235 = -5*x - 5*k, -71 = 3*x - k - 208. Suppose 0 = -x*l + 42*l + 12. Are l and 7 equal?
False
Let p = 6.2 + -6. Let z = -15.02 + 15. Let g = -0.08 + z. Which is smaller: p or g?
g
Let w(y) be the third derivative of y**5/60 - y**4/24 - 2*y**3/3 - 5*y**2. Let v be w(3). Let c = -7 + v. Is c greater than -5?
False
Let j = 179 - 174. Which is smaller: -0.023 or j?
-0.023
Supp