9.733 + 0.633. Let n = -31 + 90. Let b = n + t. Is b >= 1/4?
False
Let y = 0.403 + -10.673. Do y and -4 have the same value?
False
Let g = 5014 + -5012. Which is smaller: g or -2.08?
-2.08
Let l be (-5470140)/(-5577) - (-12)/22. Let b = -981 + l. Is b equal to 2?
False
Let v = 8 + -6. Let w = -1 - v. Let d be (-825)/(-176)*(-6)/(-9)*(-8)/(-20). Which is bigger: d or w?
d
Let b be 18/8*(-264)/(-18). Let a be (-14)/(-63) + b/(-270). Let x(s) = s + 12. Let p be x(-10). Which is smaller: p or a?
a
Suppose -119 = 10*z - 139. Let n be 27/z*(-24)/36. Which is greater: -15 or n?
n
Let i(u) = 20 - 11*u - 5*u**2 - 11 + 7*u**2 + 1. Let d be i(5). Which is bigger: d or -1?
d
Let n(t) = -t**3 - 47*t**2 + t + 53. Let x be n(-47). Suppose 176 = -x*f + 272. Is 9 greater than or equal to f?
False
Let h be 8/12*(-9)/6*(1 + 722). Which is greater: h or -727?
h
Let v = 509 - 780. Let b = v + 1099/4. Let x be (-3)/(-6)*(-1 + 7). Which is smaller: x or b?
x
Suppose 93*j - 96*j - 3 = 0. Let g be 0 + -2 + j + 3 + 1. Let v(w) = 7*w + 1. Let s be v(-3). Which is bigger: s or g?
g
Let s = -1374.4 - -1374.3. Is 10087 < s?
False
Suppose -13*c = -12*c - 228. Suppose 2*l - 4*l + c = 0. Are l and 114 nonequal?
False
Let m(h) = 2*h - 4. Let r(x) = 12*x + 1. Let w be r(1). Suppose -w*z = -18*z + 10. Let y be m(z). Which is smaller: 2/129 or y?
y
Let h be (0 - 9/6)*2. Let j(v) = v + 14. Let u be j(-24). Let w be (-1)/(-4) + u/560*110. Which is smaller: h or w?
h
Suppose 82*h + 12 = 70*h. Let p = 202/209 + -23/22. Which is smaller: h or p?
h
Let k = 3 + -5. Let h = 34228.2 + -34225. Which is smaller: k or h?
k
Let i = 1125573/17554054 + 1/51178. Is 0 at most as big as i?
True
Let c = 177 - 294. Let r = c + 119. Is -1/22 bigger than r?
False
Suppose 2*f = 10, -216 + 241 = 4*n + 5*f. Which is smaller: -3/4129 or n?
-3/4129
Let h = 590 - -811. Let n = h + -7003/5. Let b = -15 + 59. Is n smaller than b?
True
Suppose 3*v + 3*d = v, 5*v - 25 = 5*d. Suppose -3*j + 16 = -2*p, -40 = -4*j + 5*p - 7. Suppose -h - j = i - 2*i, 0 = -3*h - v*i. Which is smaller: -2 or h?
-2
Let t = 357 + -355. Suppose 0 = t*w + 1 + 3. Let h(r) = r**3 - 3*r**2 - 5*r + 1. Let u be h(4). Is u >= w?
False
Let q be (-28 - (-36 + 13)) + 23014/(-2)*1. Is -11512 greater than q?
False
Let o(a) = -85*a**2 + 17*a - 21. Let s be o(2). Let j = s - -980/3. Let b = -379/3256 + 15/88. Which is smaller: b or j?
j
Let m be 15/(-3) + 371*(-14)/(-1043). Let y = 42 - 41. Is y less than m?
False
Let c be (2 + 2 - 1 - -3) + 1. Suppose 5*n = 2*a - 47, 2*a = -c*n + 2*n + 57. Is a equal to 26?
True
Let w be -2102*(1 - 12/8). Let p = w - 90387/86. Suppose 1 = 4*j - 3. Is j smaller than p?
False
Let g(b) = b**2 - 3*b + 7. Let i be g(-10). Let z = i + -90. Let d = z + -48. Which is smaller: d or -13/7?
-13/7
Let f = -294.1 + -20.9. Let v = f + 403. Is 0.1 bigger than v?
False
Let f(m) = -5*m**3 + 2*m**2 + 8*m + 15. Let u be f(-2). Is -4 > u?
False
Suppose -4*q + 4*z = -632, -48*z + 45*z + 766 = 5*q. Do 173 and q have the same value?
False
Let f be (-1369)/(-259) - 2/((-4)/(-10)). Is 16/29 != f?
True
Suppose -145 = 3*h - 16. Let s = 37 + h. Let t(y) = y + 13. Let q be t(s). Do 0.2 and q have different values?
True
Let r be (35/(-21) - -2) + (-206368)/(-97350). Let p = 2/1475 + r. Is 3 > p?
True
Suppose 4*w - 87 = 3*a, 3*w - 2*a - 53 - 13 = 0. Suppose w = -c + 29. Suppose c*g - 82 + 7 = 0. Is g <= 81/5?
True
Suppose 10*r + 42 = 242. Let x be (224/(-8))/((-4)/r). Is -0.1 at most as big as x?
True
Let m = -1114 - -741. Let l = m + 342.1. Let f = -31 - l. Is -23 < f?
True
Let m be ((-2)/4)/(375/(-50)). Which is smaller: m or 2/29?
m
Let w be 250/(-68) + 3 - (-3)/6. Let t(z) = z**3 - 4*z**2 + 3*z + 1. Let h be t(3). Let r be 5 + -6 + (1 - h). Which is smaller: w or r?
r
Let o be (-286)/(-33)*(2 - -28)*854/35. Which is bigger: o or 6345?
6345
Suppose 4*y + 6*p = p - 15, 4*y = -4*p - 12. Suppose 12 + y = 2*r. Let x be (-4)/16*(r + -4). Which is smaller: x or 0.1?
x
Suppose 277 = -4*o - 2*i - 185, -i = -4*o - 447. Is o < -2124/19?
True
Let j be 60/70 - (-192)/21. Let v(p) = 7*p - 10. Let w be v(2). Which is smaller: w or j?
w
Let x = 109 + 47. Suppose -x - 12 = -2*n. Which is smaller: 85 or n?
n
Let f = -10 + 9.87. Let l be (-6)/(-11)*(49385/3360 + 4/(-128)). Which is smaller: f or l?
f
Let b(n) = -492*n + 1677. Let u be b(4). Are -285 and u unequal?
True
Let i = 3532 - 3831. Which is smaller: -297 or i?
i
Let r(k) = 4 + 14 - 4 - k. Let l be r(8). Let z(a) = -a**3 + 8*a**2 - 11*a - 6. Let p be z(l). Is p >= -1/28?
True
Let b(z) = -z**3 - 9*z**2 + 134*z + 42. Let j be b(-17). Which is smaller: j or 73?
73
Let z = -4.08 + 6.01. Let u = z + -2.03. Which is smaller: u or 228?
u
Let p = -1 - -1. Let u(y) = 164*y - 2949. Let s be u(18). Which is smaller: s or p?
p
Let q(v) = -17*v**2 - 59*v + 73. Let p be q(-8). Which is bigger: p or -544?
p
Let k be 32/6*(-24)/(-32). Suppose -t = -3*i + 17, k*i + 37 = 7*i - 5*t. Suppose -i*f = 24 - 0. Which is greater: f or -7?
f
Let v = -4.1 - -4. Let h be ((-17)/2)/(-1) - (-18)/12. Suppose -h*w + 68 - 28 = 0. Is w equal to v?
False
Let g be 1301122/363 - (-343)/(-147). Let n = -3582 + g. Which is smaller: n or 0?
0
Suppose 0 = z + 3*i - 5 - 0, 5*z + i + 45 = 0. Let f(s) = -s**3 - 9*s**2 - 2*s + 53. Let w be f(z). Is w greater than 174?
False
Let m(g) = -12*g + 8. Let z be m(7). Let l be 5 - ((-3)/(-66)*1759 - (-204)/374). Do l and z have different values?
True
Suppose 125*g = 52*g + 98816 - 317232. Is g < -2990?
True
Let d(r) = -5*r**2 + 293*r + 61. Let m be d(59). Let a be (-1 - -2)/(3/15). Suppose a*u = -u - 336. Is m greater than u?
False
Let r(z) = -130*z + 1247. Let v be r(9). Is v less than or equal to 67?
False
Let i(g) = -g**2 + g - 35. Let r be i(0). Let b be (3 - r/(-15))*33/2. Let v = 57 + -47. Is b >= v?
True
Let z = -7 + 11. Let b be ((-3)/z)/(15/10). Is 15.4 at most as big as b?
False
Let q = 404 - 338. Let p be ((-4)/q + 0)*7/(-119). Which is bigger: p or -1?
p
Let z(c) = c - 5. Let j be z(30). Let u(v) = 2*v**2 - 52*v + 44. Let d be u(j). Let x be (1/(-6))/((-2)/(-88)). Which is greater: d or x?
d
Suppose 816 = 795*b - 778*b. Which is greater: 51 or b?
51
Let b(m) = m**3 - 33*m**2 + 27*m + 27. Let h = 238 - 206. Let f be b(h). Do f and -134 have different values?
True
Suppose 0 = p - a + 1, -p + 5*a = -3*p + 19. Suppose k + w = -4, -p*k - w - 5 = -0*w. Let s be (21/(-15))/(6/10). Is k at least s?
True
Let j(g) = g**3 + 32*g**2 + 63*g + 1551. Let r be j(-29). Do r and 2248 have different values?
True
Let f be (17933/454)/(2*(-1)/(-260)). Is 5134 not equal to f?
True
Let q(w) be the second derivative of 11*w**3/3 + 114*w**2 + w + 44. Let x be q(-11). Suppose 3 = -5*r - 42. Which is bigger: x or r?
r
Suppose 9*j - 22 = -4*n + 6*j, 0 = -3*n + j + 10. Suppose -l - h - 6 = 0, l + n*h + 27 = 9. Which is smaller: l or -26/15?
l
Let o = 60 - 82. Let m = 20 + o. Let g be ((-22)/24)/(m/20). Is 9 >= g?
False
Let b = -47.197 + 0.197. Let t = b - -48. Let s = -0.05 - -0.02. Is s greater than or equal to t?
False
Let t(v) = -56*v + 4. Let u be t(1). Let p = u + 155. Suppose 3*y + 2*b = -76, -2*b = 4*y - b + p. Is -26 at least as big as y?
True
Let l(m) = 5*m + 3. Let w be l(1). Let u be 7/(-1) + 15 - w. Let n = 1/41 + -60/779. Which is greater: n or u?
u
Let i = 285 - 289. Let r be (-1 - i/8) + (-1960)/(-16). Is r bigger than 122?
False
Let t = -17238 - -17238. Is t at most 45.75?
True
Let c(d) = -213*d**2 - 6*d + 19. Let r be c(-6). Let a = r - -2778747/365. Is a <= 0?
False
Suppose 0*n - 3*n + 3*j + 150 = 0, 0 = 5*n + 2*j - 264. Suppose -5*x + 7 = -2*g, 4*g - x + 11 = -12. Let z be (g/21)/(5 - (-1822)/(-364)). Is z >= n?
True
Let q(p) = -1506*p + 10542. Let k be q(7). Are 19/1371 and k equal?
False
Suppose j = -j. Let h be (2 - 438/225)/((-16)/112*-28). Is j greater than h?
False
Let s = -28 - -33. Suppose s*l - 5*c - 25 = 0, 0 = -l - 3*l - 2*c + 26. Suppose 8 = l*p - 64. Is 13 > p?
True
Suppose 0 = -8*n + 6*n - 2*o + 14, n - 4*o = 32. Let v be (-27)/2 - (6 - n). Let x be 1/((-1)/(-1))*-9. Which is smaller: x or v?
x
Suppose -70*x - 11774 = 8633 + 1363. Which is smaller: x or -7170/23?
-7170/23
Let s = -594 - -822. Let j = s + -223. Which is smaller: j or 24?
j
Let f(p) be the first derivative of -p**3/3 - 5