3 or b?
b
Let w = -262.45 - -262.35. Is w bigger than -61.5?
True
Let s = 17473 + -69891/4. Which is smaller: s or 1047?
s
Suppose 98*y = 99*y - 72. Suppose r - y - 3 = 0. Suppose 2*w = -t + 4*w - r, 120 = -2*t - 2*w. Which is smaller: t or -64?
t
Let q be (-1)/6 + 4/8. Let i = -91.728 - 59.272. Which is smaller: q or i?
i
Let y be 105 - 113 - (-260)/36. Are -0.17 and y equal?
False
Let n = 1.5 - -8.5. Let p = 608.99 + -605.99. Which is smaller: p or n?
p
Let d(q) = -16*q - 20. Let c be d(-2). Let g(w) = 23*w - 73. Let v be g(c). Which is greater: 202 or v?
v
Let m(a) = 12*a**2 - 9*a**2 - 16 - 4*a**2 + 18*a. Let j be m(17). Let o be -2 + 1 + 0 + 7/j. Is o > 7?
False
Let w be (-2 - -4 - 3) + 104*388/96. Do w and 419 have different values?
True
Let p = 95/26 + -15/13. Suppose -5*z = 4*q - 71, -3*q - 2*q + 85 = 5*z. Suppose -5*x + x - 10 = 3*g, -g - 4*x = q. Does g = p?
False
Let d be (-557002)/(-654) - (-4)/(-6). Let p(t) = 124*t - 231. Let o be p(-5). Let r = d + o. Which is smaller: r or 0?
0
Let t(d) = d**3 - 5*d**2 - 26*d + 19. Let y be t(8). Let i be (-247)/249 - (16/(-4) + y). Which is smaller: 0 or i?
0
Suppose -5*i + 2*h - 10500 = 0, 727 = -4*i - 5*h - 7640. Which is smaller: -2099 or i?
-2099
Let h = -7 + 4. Let s(c) = -c**3 + 9*c**2 - c + 11. Let l be s(9). Suppose t + 4*k + 9 + 5 = 0, -l*t = -5*k - 24. Which is bigger: t or h?
t
Let u = -6268 + 6133. Is 14/5 at most as big as u?
False
Suppose -21*k + 147 = 168. Which is smaller: k or -128/123?
-128/123
Let w be 22/(2/34*-10). Suppose -128 = 3*i - 5*p, 0 = -3*i - 2*p + 1 - 101. Which is greater: w or i?
i
Let c = -6646523/233970 - 16/10635. Which is smaller: -28 or c?
c
Let j = -55 - -53. Let k be 52/(-65)*5/j. Suppose 3*a + 5 = -k*a. Is -20/13 less than a?
True
Let u be (3 + -2)/(1/8). Let a(d) = 0*d + d + 1260 - 1268. Let j be a(u). Are 2/27 and j equal?
False
Let n = 23 + -21. Suppose -c = 3*c + 4*g, 0 = n*c + 3*g + 3. Which is smaller: c or -63?
-63
Let j be 122/(-61)*-1*(-19)/(-101). Which is greater: j or 0?
j
Suppose -y = -182 + 58. Let w = y + -128. Let d be 5/(-20)*w*69. Do d and 69 have different values?
False
Suppose -t + 5*t - 80 = 5*q, 5*q = 3*t - 80. Let w be q/(-6) - (15/9)/(-5). Which is bigger: 14/5 or w?
w
Suppose -66*j + 2352 = -m - 60*j, 4*j - 8 = 0. Which is greater: m or -2332?
-2332
Let c = 31.83 - 32.53. Let n be ((-5)/(-1) - 2)/(-1). Let t be (5/(-4))/(n/2). Are c and t equal?
False
Let m be (-10)/(-55) - (-5799)/(-11). Let t = m - -5789/11. Does 0.3 = t?
False
Let z(c) = -c**3 + 11*c**2 + 7*c - 87. Let r be z(11). Let k be (-1)/((1 + r)/(-333)). Which is smaller: k or -28?
k
Let o = 1939 + -1983. Which is smaller: -312/7 or o?
-312/7
Suppose -14*f - 89*f = 0. Which is bigger: f or -3/1097?
f
Suppose 231 + 1049 = 5*d - 2*n, -5*d - 4*n + 1280 = 0. Which is smaller: d or 259?
d
Let p(o) be the second derivative of -o**5/10 - o**4/6 - 5*o**3/6 + 5*o**2 - o - 11. Let g be p(2). Which is smaller: -19 or g?
g
Let u = -16856 + 20361. Is u at most 3504?
False
Let i = -7.632 - 1.868. Which is greater: i or 2/39?
2/39
Let v = -0.6364 - 108.3636. Which is bigger: 13 or v?
13
Let b = -15680 + 15679.78. Which is greater: -85 or b?
b
Suppose -x + 9 = -2. Suppose 8*g + 432 = x*g. Suppose -4*h + 3*y = -g, -6*h + 4*y = -9*h + 133. Is h not equal to -1?
True
Suppose -22*v + 78 = -35*v. Let u be (154/21 + -3)*v/44. Is u less than -2?
False
Let q = 107 - 431. Let w = -268 - q. Which is smaller: w or 54?
54
Let g be (-8)/6 + 442/39 + -14. Suppose -2 = 2*q - 2*z, -3 = 5*q - 3*z - 4. Let c be (g/6)/((-42)/(-9) - q). Which is greater: c or 36?
36
Suppose 0 = 2*j + g + 290, 3*g - 4*g + 574 = -4*j. Let r be (j/(-48))/(-1 - (-5)/4). Is 11 bigger than r?
False
Let k = 237 - 108. Let w = 142 - k. Let c be (-3)/9*(0 - 39). Are w and c nonequal?
False
Let n = -193 + 186.05. Let r = -0.05 + n. Let q = -6063 + 6061. Which is smaller: q or r?
r
Let j(b) = -b**3 + 20*b**2 + 3*b - 56. Let s be j(20). Let f be (-21)/(-7) - s*-1. Are 7 and f non-equal?
False
Let f be (-48)/(-10000)*(44/(-12) - -4). Is f at least 0?
True
Suppose 2*f = 4*f + 6. Suppose -5*l + 1 - 12 = 3*p, l - 5 = -3*p. Let x be ((-15)/(-20))/(p/96). Which is smaller: f or x?
f
Suppose -75*h - 186177 = 196*h. Is h at least as big as -3428/5?
False
Let q = -7998 - -8083. Which is smaller: 45 or q?
45
Let x be (5/6 + 33/(-22))*-6. Let a(d) = 4*d**3 - 8*d**2 + 4*d + 3. Let t be a(x). Is -2 smaller than t?
True
Suppose 0 = 304*t - 307*t + 12, 574 = -3*g + t. Are -178 and g equal?
False
Let n be 18/(-10*6/(-60)). Which is greater: n or 79?
79
Let j be -22*-2*152/64. Which is smaller: 104 or j?
104
Let q be 1056/84 - 16*5/140. Suppose 0 = 6*b - 2*b + 4*y - 28, -3*y - 12 = 0. Which is smaller: b or q?
b
Suppose -14051 - 119227 = 194*l. Is -1371/2 >= l?
True
Suppose 2*g - 1 = -2*f + g, f + 1 = -g. Suppose 5*c = 2*w + 3*w + 225, f*w - 6 = 0. Let u be (-7)/2*c/(-42). Is u greater than 1?
True
Let u = -8964 + 8901.12. Which is smaller: -2/7 or u?
u
Let x(r) = -1 + 6*r - 3 - 1245*r**3 - 8 + 2 + 5*r**2 + 1244*r**3. Suppose 16 + 2 = 3*a. Let o be x(a). Is -9 < o?
False
Suppose -16 = 476*b - 472*b. Let a be (-4)/(-6) - -26*b/120. Are a and -8/9 non-equal?
True
Suppose 4*k + 4*l = 88, 8*k = 3*k - l + 114. Suppose 13 = 2*s - k. Which is smaller: s or 86/5?
86/5
Let g(m) be the first derivative of -m**2/2 + 24*m + 44. Let f be g(10). Let h = f - -46. Is 60 less than h?
False
Let w = -2073.7 + 2074. Is -2037 smaller than w?
True
Let y be (-3)/((-15)/25) - 4. Let r be 2/4*(-7 + y). Is -3 greater than r?
False
Let w(n) = 15*n**2 - 22*n + 1. Let t be w(8). Is 783 at most t?
True
Let d = 33 - -15. Let f = d - 43. Suppose f*b + 0*s - 72 = -s, 4*s - 8 = 0. Is 13 at most b?
True
Let d be (-6)/(-39) - 501/(-39). Suppose -13*i = -10*i - 105. Let s = 49 - i. Which is bigger: s or d?
s
Suppose -20*s = -10 - 30. Let i = 67.5 - 350.5. Is s greater than i?
True
Let x = -12037 - -12037. Which is smaller: x or 1/1693?
x
Let z(l) = 3*l + 26. Let t = 17 + -25. Let g be z(t). Suppose g*s + s = -3, -s = -4*w - 3. Which is smaller: 8/17 or w?
w
Suppose -32*v + 234*v = 10706. Is -5/9 greater than v?
False
Suppose 148*b + 1795 + 4544 = -2097. Do 27 and b have the same value?
False
Let f(p) = -15*p - 26. Let a = 43 + -52. Let h be f(a). Let x = 50 - h. Is x < -59?
False
Suppose -18 = -2*x + 2. Suppose 4*z + 7*r - 140 = z, -3*z - r + 110 = 0. Let v = z - x. Which is smaller: v or 24?
24
Let r(h) = -h**3 + 22*h**2 + 132*h - 91. Let m be r(29). Which is bigger: -6446/3 or m?
-6446/3
Let a(n) be the third derivative of 19*n**4/12 - 165*n**3/2 + 286*n**2. Let p be a(16). Is 115 smaller than p?
False
Let d = -62129 + 994459/16. Which is smaller: 24 or d?
24
Let f = 1052 + -623. Suppose -f*o - 119 = -436*o. Which is smaller: o or 192/11?
o
Let a = -10.6 - -9.68. Let l = a - 0.08. Is 89 not equal to l?
True
Let o = -4218 - -4208. Is o <= -17/2?
True
Suppose 8*v - 7*v = 5*m - 63, -v = 4*m + 54. Let j be ((-12)/(-63))/(-4 - v/7). Does j = -4/3?
False
Let v be (-8)/(-44) + (-6)/33. Suppose -4*z = -v*m + 3*m + 15, -2*m - 12 = 2*z. Which is smaller: -10 or m?
-10
Suppose -2*m - 484 = -164. Let y = m + 162. Suppose z - 2*z = -6. Which is greater: y or z?
z
Suppose 0 = 4*o + 2*z - 680, -z = o + 4*z - 188. Suppose -o*y + 165*y = -6. Is y >= 2?
True
Let q be (-2)/1 - 4 - (1 + -3). Let o(r) = 5 + r**2 + 4 + 5*r + 0*r - 5. Let d be o(q). Which is bigger: d or -1/6?
d
Let d be 16/(-88) - 57972/(-132). Let n = d - 449. Suppose -a = -2*t - 16, 4*t + 13 + 19 = 4*a. Which is smaller: n or t?
n
Let x be 1/(-5) + 197/1010. Suppose -5*t = -0*c - 3*c + 6, -5*c + 2*t = -10. Suppose 0 = -2*g - c*y - 8, 3*y - 19 + 27 = g. Which is smaller: x or g?
g
Let f = 6.592 + 0.408. Is -5/178 greater than f?
False
Let r be (-51)/4 + 33/44. Let d(u) = u**2 + 11*u + 7. Let y be d(-11). Suppose -y*o - 65 = 26. Which is bigger: o or r?
r
Suppose -2*h - 5461 = j, 15*j = 11*j - 3*h - 21869. Which is smaller: j or -5470?
j
Suppose -1 = h, 5*h - 27246 = -4*i - 303. Which is smaller: 6738 or i?
i
Let a = -129254 + 470872318/3643. Let k = a + -1398884/25501. Let n = k - -55. Which is smaller: -10 or n?
-10
Let i = -49 - -49.62. Let s = -0.15 - i. Let l = s - 0.23. Is l at least -37?
True
Suppose 18*z - 84 - 24 = 0. Let y 