?
25
Suppose 0 = -117*o + 118*o - 39. Let t(h) = h**3 - 16*h**2 - 33*h - 14. Let i be t(18). Is i > o?
True
Suppose 9*j - 16 = 13*j + 3*o, o = 2*j - 2. Which is bigger: j or 2/50867?
2/50867
Let q be ((-100)/(-350) - 2157/(-21)) + -6. Which is smaller: q or 168?
q
Let z be 4/3 - 5609/213. Does -10 = z?
False
Let a = 1192.5 - 1189.5. Let k = 68 - 74.6. Let m = k + -1.4. Is m at least as big as a?
False
Let r = 3673/2 + -5782/3. Which is greater: r or -92?
r
Let k = 49601/1457 - 1597/47. Let f = -0.3 + 0.4. Is f > k?
True
Suppose 21 - 63 = -3*l. Suppose -15*z + l*z = 15*z. Which is bigger: z or -1/532?
z
Let m = 146 - 114. Let f = m - 222/7. Do -34 and f have different values?
True
Suppose 2*d - 10383 = 3*w, -36*w = -4*d - 39*w + 20775. Is 5192 at least as big as d?
False
Let o = -28 + -2. Let d(y) be the first derivative of -y**2 - 57*y + 47. Let h be d(-28). Is h <= o?
False
Let l be (-7103558)/(-151305) + (-4)/(-6). Let o = l + -238/5. Suppose 0 = 4*h - 16, 0 = -2*c - 2*h + 8 + 2. Which is smaller: c or o?
o
Let r(q) = q**3 + q**2 + 2*q - 7. Let l(c) = -c**2 + 18*c - 42. Let i be l(15). Let z be r(i). Suppose 19*x = 14*x + z. Is x bigger than -0.1?
True
Let m(t) = t**2 + 4*t + 1. Let j be 0/1 + -3 + (1 - 2). Let u be m(j). Let b = 165 + -1317/8. Which is greater: u or b?
u
Suppose -1522 = 29*l + 22809. Which is bigger: -836 or l?
-836
Suppose 48*a = -248 + 728. Let y be (14 - 16/4)*(-4)/a. Which is smaller: y or -48?
-48
Suppose -3*q = -5*n + 6, -2*q + n - 4 = 2*n. Let m be -3 - q/7*(-122)/(-12). Is m bigger than 1?
False
Let m = 485933/1693547 - -5/10141. Are m and 1 unequal?
True
Let y(a) = -40*a - 559. Let l be y(-14). Is -1/610 bigger than l?
False
Let q be (-263)/9*(21 - (-2262)/(-104)). Is q at least as big as 22?
False
Let k(r) = 1 - 20*r - 23*r - 2*r. Let h be k(1). Suppose -547 = 26*c + 597. Is h > c?
False
Let p be 3/12 - (-59)/(-396). Let l be (-7)/308*((-19960)/18)/(-2). Let s = p + l. Which is smaller: s or -1?
s
Let u be (-14)/(-11235)*-5*2*15. Let n = 2167/11021 + u. Suppose 2 = a + 1. Which is smaller: a or n?
n
Let n = 118 + -52. Let t = n - 63. Suppose 4*f - t*g + 3 = 5*f, 0 = 4*f - 3*g + 3. Which is greater: -1 or f?
f
Let j(i) = i**3 + 19*i**2 + 27*i + 97. Let z be j(-19). Which is smaller: z or -417?
-417
Let i = -1181 + 1179. Is i less than 168?
True
Suppose -21*c + 8736 = -53*c. Is c smaller than -266?
True
Let b = 4056 - 4019. Let x be 80/36 - 6/27. Is b at least x?
True
Suppose 50 = 5*c - 0*c. Let o be (-4)/c + 48/(-80). Let d be 0 - -2 - (1706/342 + -3). Which is bigger: o or d?
d
Let n = 2 + -2. Let l = 6357 + -6354. Suppose -64*o + 61*o - l = n. Is 1/15 >= o?
True
Let f = -76905 + 76870.959. Let p = -0.041 - f. Let j = p + -30. Which is smaller: -2 or j?
-2
Suppose g - 16 = -3*u, 2*g - 3*u = 839 - 852. Is -71/272 smaller than g?
True
Let g = -6238 - -6219. Which is bigger: g or 9/7?
9/7
Let w = 43 - 31. Let f(q) = q**2 + q. Let j be f(-4). Suppose w*g - j = 15*g. Is -6 > g?
False
Let t be 0*(2/1 + -3). Let v be (1 - (-135)/(-140))*(-126)/108. Is v greater than or equal to t?
False
Suppose -5*t - 2*c = -440, 0*t - 2*c - 176 = -2*t. Let u = 122350/13 + -242425/26. Is t equal to u?
False
Suppose -94*h = 82 - 176. Are -2215 and h equal?
False
Suppose -18*u = -397 - 17. Suppose 4*k - 6*k = 2*m - 48, 2*k = -m + u. Which is smaller: 71/3 or m?
71/3
Let v = 29 - 29.1. Let n = -187 - -64. Let j = n - -122.988. Are j and v equal?
False
Let o(f) = -108*f - 127. Let y be o(-25). Which is bigger: y or 2572?
y
Suppose 7*r + 41 = 8*q + 8*r, 5*q = -r + 23. Which is smaller: -2/3245 or q?
-2/3245
Suppose -40394 = 350*o + 152940 - 51934. Do o and -405 have different values?
True
Let q be 1/((5 + 3)/(-2)). Let k = 38.74 + -0.74. Which is greater: q or k?
k
Let h = -3093 - -3094.39. Which is smaller: h or 3?
h
Suppose 0 = 9*j - 3*j + 102. Let z be (-1 - -2920)/7*(-1)/(-3). Let x = z - 151. Is x smaller than j?
False
Suppose u - 2 = -2*y + 4, -u - 4 = 0. Suppose 29 = 4*q - y*k, -q + 3 = k + 7. Let h = 510 + -20909/41. Is h greater than or equal to q?
False
Let t = 216 - 434. Let z = t + 218. Which is greater: 70 or z?
70
Let f = -68.5 - 14.5. Let p = f + 128. Let q = p + -49. Is -4 > q?
False
Let h be ((-2)/4)/(6/2763). Let y = h - -266. Let g = 36 - y. Is g > 1?
False
Let z be (-993)/270 - (-2)/(-9). Suppose -3475*v = -3477*v - 10. Which is greater: v or z?
z
Suppose 29 + 22 = -t - 4*r, 102 = -2*t + 4*r. Let h(c) = -6*c**3 + c**2 + c + 2. Let d be h(-2). Let s = t + d. Which is smaller: 3/20 or s?
3/20
Suppose s - x = -0*s + 29, 2*s = -3*x + 78. Suppose 3*t + 136 - 220 = j, 4*j = 0. Are t and s nonequal?
True
Let u be (-2)/(((-98)/21)/(-7)). Let p be (-405)/(-1812) - (u + (-26)/(-8)). Which is smaller: p or 0?
p
Let y = 286347/13 - 1528824/91. Let o = y + -316462/63. Let g = o + -203. Which is bigger: g or -11/3?
g
Suppose 0 = -16*j - 0 + 48. Suppose 0*t + 4*k = -4*t - 8, -j*k = 2*t + 7. Suppose t = -4*x - 3*q + 4, 5*q = -2*x + 19. Is x >= -12?
True
Suppose -4 + 24 = 4*g. Suppose 3*s + g*y = -s - 208, 0 = -4*s + 5*y - 168. Let j(n) = n**3 - 7*n**2 - 16*n - 5. Let z be j(-3). Is z <= s?
True
Let d = -6.2 - -13. Let h = d - 6.9. Do h and -0.039 have different values?
True
Let c be ((-1)/3 - (-1)/3) + -5. Let p(v) = -12*v + 10. Let a(f) = -f - 1. Let b(q) = c*a(q) - p(q). Let y be b(-1). Which is smaller: y or -19?
y
Let g = 707 + -849.03. Let x = g + 142. Which is smaller: 3 or x?
x
Let n(i) = -360*i - 1874. Let x be n(13). Is -6553 at least as big as x?
True
Let t = -0.192 + 0.049. Let v = t - 17.857. Is v >= -0.06?
False
Let q be (358/(-88) + 48/(-264))*32. Which is smaller: -1497/11 or q?
-1497/11
Suppose -216*y - 5432 = 4521 - 1097. Suppose -2*u + 142 = 14. Let m = -106 + u. Are m and y equal?
False
Suppose 29*a - 24*a - 3*d - 50 = 0, -d = -2*a + 19. Let j be (a + -16)*1/3. Which is smaller: j or -0.01?
j
Let i be 0 - -53 - (-80)/(-16). Suppose 3*v + i = -0*v. Is -49/3 at least as big as v?
False
Suppose 5*o + 2*f - 12 = 0, -3*o - 20 = -7*o + f. Suppose 10*a + 1074 = o*a. Is -1 greater than a?
True
Suppose 0 = -4*v + 14 - 58. Suppose 42*w = 38*w + 8. Suppose w*m + 2*a = 12 - 32, 50 = -5*m - 4*a. Which is smaller: v or m?
v
Suppose 2*d + 0*d - 10 = 0. Suppose 2*g = 4*i - 26, -5*i + 2*g + 14 = -4*i. Suppose 9*y + d = i*y. Which is smaller: y or 1?
y
Suppose -95 = -4*m - p, 4*p = -3*m + 24 + 31. Suppose r = 4*b - 31 + 6, 2*b - 3*r - m = 0. Let n be (-2 + (-1336)/(-660))/(6/b). Which is smaller: n or 2/5?
n
Suppose -71*l + 86*l = -4425. Let m = -325 - l. Is m smaller than -32?
False
Let y = -2.206 + -206.794. Is y less than 0.09?
True
Suppose 0 = -5*w + w - 12. Let u be 1/(w/28)*18/(-4). Which is smaller: 40 or u?
40
Let a = 291663 - 291243. Let g = 717 - 297. Are a and g non-equal?
False
Let d(n) = -n. Let j be d(-3). Suppose 0 = 2*a + j*z - 83, z - 1 = -6. Let i = a + -50. Which is greater: -4 or i?
i
Let u = -1441 + 954. Let x = -14121/29 - u. Let w = -66 + 200/3. Which is greater: x or w?
w
Let k = 46 - -113. Let s = 10013 + -10013.1. Which is greater: k or s?
k
Let i = 24 + -71/3. Let r be (1072/1340)/(-2 - 24/(-10)) - -181. Which is smaller: r or i?
i
Let a = 0.038 - -9.962. Let z = 3/139 + 19315/278. Let j = z - 70. Which is smaller: a or j?
j
Suppose a + 7 = -6*a. Let i = -9 + -3. Let b be (-3)/i + (-2)/(-16). Which is greater: b or a?
b
Let m = 652.2 - 654.9. Is m != 6?
True
Let k be 28 + -10 - 19 - 781. Is -781 bigger than k?
True
Let z be (30/(-2040))/(2/(-684)) - 5. Let q be (-1)/1*(-4)/(-4). Which is smaller: q or z?
q
Let g = 4517/897 + -60/13. Which is smaller: g or 0?
0
Suppose 114 = -5*l + 11*l. Let h be (-9)/(-36) + l/116. Which is bigger: 2 or h?
2
Suppose 4*k + 2 + 4 = 2*s, 4 = -4*s. Let v be 7876/(-77) + (k - (-32)/14). Let r = v + 113. Which is greater: 9 or r?
r
Suppose -4 = 11*d - 9*d. Suppose -2*k - t = -120 - 112, -4*t = k - 102. Let s = 356/3 - k. Which is greater: d or s?
s
Let d = 2.0993 - -0.2007. Which is greater: 4 or d?
4
Let i be (-107406)/(-40040) - 2/5. Let u = -25/44 + i. Is u less than or equal to -1?
False
Let x = -38803/12 + 12811/4. Let l(m) = -m**3 + 3*m**2 - 4*m - 19. Let r be l(3). Which is bigger: r or x?
x
Let s = -287 - -292. Suppose -29 = -2*i - s*f, 4*i - f = 9*i - 15. Is i <= -1/13?