 c = 558 + -520. Let v(f) = -37*f**3 + f**2 + f. Let i be v(-1). Which is bigger: c or i?
c
Let d(r) = -2*r**2 + 70*r - 57. Let s be d(35). Let o be -1 - s - (-21)/((-21)/2). Which is bigger: o or 55?
55
Let p = 122 - 118. Suppose -9 - 5 = -5*d + 2*b, 5*d - 2 = -p*b. Let u be 220/(-16) + d/(-8). Which is smaller: -15 or u?
-15
Let c = -0.062 + -6.238. Let d = 0.1 - c. Let j = -6.5 + d. Which is greater: -1/8 or j?
j
Let h = 17453 + -122838/7. Let p = 95 + h. Let c be 4/14 + 5/(-14). Is c > p?
True
Let c = -5050 + 5544. Are 4 and c non-equal?
True
Let r = -10.442 - -10.442. Which is smaller: r or 2393?
r
Let q be 206/(-528) + 37/111. Let v(p) = p**3 + p**2 - 4*p. Let h be v(0). Which is bigger: h or q?
h
Suppose 6*t + 4*w = 2*t + 32, -4*w = 2*t - 24. Suppose 0*s + 11 = -3*s - 2*b, -4*s - 48 = -t*b. Let u be (-92)/(-18)*s/(98/7). Which is bigger: -3 or u?
u
Let f = -17716 - -17716. Is -2/13043 greater than f?
False
Let w(b) be the third derivative of -b**6/120 + b**5/30 + 5*b**4/24 + b**3/6 + 5*b**2. Let s be w(-2). Let j be ((-5)/10*s/2)/(-3). Are 0 and j non-equal?
True
Let k(q) = 1007*q - 1661. Let x be k(4). Which is greater: 2373 or x?
2373
Let x = 92575 + -92574.944. Suppose 1 = u - 0*u. Is u greater than or equal to x?
True
Let h(r) = 0*r + r**2 - 1 - 27 - r + 2*r. Let s be h(-10). Let k = s + -61. Is k at least 12/13?
True
Suppose -7*y = -y + 804. Let r = y - -137. Suppose -5*a + 2 + 0 = -r*i, 2*a - 5*i = -3. Which is smaller: 2/125 or a?
2/125
Let d be -1 + 1/10*62. Let i(t) be the second derivative of -t**4/12 + 11*t**3/3 - 56*t**2 + 130*t. Let m be i(13). Is d < m?
False
Let w = 0.24 + -0.24. Let p = 6.2 - -59.8. Let t = 114 - p. Do t and w have different values?
True
Let i = 202.77 - 302.67. Do 4 and i have the same value?
False
Let f be 4 + -3 + -4*(-339)/6. Let k be (-3 - 1) + (-24975)/112. Let p = f + k. Is 0 greater than or equal to p?
False
Let o be (-122)/(-427)*14/12. Do o and -903 have the same value?
False
Let g = 175 + -174.889. Let y = g - -46.889. Let z = -16 + y. Which is smaller: z or -0.2?
-0.2
Let k = 23870.8 + -23871. Let g be (-16564)/(-1708) + (-2)/(-7). Let o = -10 + g. Which is smaller: k or o?
k
Suppose -24*k = -21*k + 48. Let m be 5*(-28)/(-20) - k. Do 30 and m have the same value?
False
Let n = 690 - 681. Suppose n*l - 142 = -574. Is -48 equal to l?
True
Let r be (-12)/((21/14)/(3/(-4))). Suppose -6*s + 0*s - r = 0. Is -9 greater than s?
False
Suppose 0 = 13*y - 7*y + 30. Let z(d) = -d**3 - 3*d**2 + 8*d - 3. Let s be z(y). Suppose -2*m = 2*m - 32. Which is smaller: s or m?
s
Let c = -100 + 100. Let v = -92.46 - -153.17. Let x = -61 + v. Which is smaller: x or c?
x
Let f = 0.0452 - -0.6548. Let j = 156 + -152. Which is smaller: j or f?
f
Let r be 2 + 3*(2 + -1 - 0). Suppose 4*q = -y - 1019, r*y = 3*q + 8*y + 762. Is q bigger than -256?
True
Let l = -44987/292500 - 1/22500. Do l and 279 have different values?
True
Let p be (-1)/4 + 9873/(-12) + -2. Let m be (7/(-3) - -2)/(11/p). Let y = -435/17 + m. Which is smaller: y or -1?
-1
Let s(h) = -53*h**2 + 886*h + 2662. Let g be s(-3). Is g not equal to -459?
True
Let m(z) = -z**2 - 26*z + 44. Let u be m(-17). Is u >= -0.9?
True
Let c be (-24)/594 + 24/(-132). Let z be (-3)/(-14)*4/(-10). Which is smaller: c or z?
c
Suppose 0 = -17*r + 12*r - 61*r - 132. Let z be 22*(-4)/580*5. Is r at least z?
False
Let y be (3/15)/(-1) + 32328/90. Suppose -2*t + y = 349. Which is bigger: 41/8 or t?
41/8
Let c(q) = 4*q**3 + 14*q**2 + 3*q + 17. Let j(p) = -p**3 - p**2 + p. Let l(x) = -c(x) - 2*j(x). Let o be l(-6). Are 13 and o equal?
True
Suppose 5*u + 4*n + 51 - 12 = 0, 0 = 3*u + 3*n + 21. Let r(b) = -b**2 - 20*b - 35. Let q be r(u). Let i be (4/(-6))/((q/12)/(-8)). Which is smaller: i or 2/37?
2/37
Suppose 3*f = -4*c - 1407, f + 422 = 429. Which is bigger: -348 or c?
-348
Let v be -202*(-5)/(-6042) + (-4)/24*-1. Which is smaller: 1 or v?
v
Let d = 24473/1080350 - 17/775. Which is greater: d or -1?
d
Suppose -52725 = 14*j + 5*j. Let u be 15/(j/760) + (-8)/(-2). Is -1 smaller than u?
True
Let i = 548890/61 + -8998. Suppose 4*b + 39 - 35 = 0. Is b at least as big as i?
False
Let t = -516434 + 5672034/11. Is -796 at most as big as t?
True
Suppose -3*j + 5*w - 6667 + 23004 = 0, -4*j + 3*w + 21801 = 0. Which is bigger: 5456 or j?
5456
Let c = -37641040/183001 - 66/14077. Let y = c + 569510/2769. Which is bigger: 0 or y?
0
Let q be 19 + 2*(-3 - (-20)/8). Let l be (84 - 84) + (-1)/(q/4). Which is smaller: 28/3 or l?
l
Let i be 122/3*2/((-10)/(-15)). Let f = i + -120. Which is greater: 9/5 or f?
f
Suppose 314 - 32 = 3*r. Suppose -2*k + r = -2*m, -m - m - 52 = -k. Let g be 3/k*-6 - (-25)/35. Which is bigger: -12 or g?
g
Let w = 24.8 - 25. Which is bigger: -4 or w?
w
Let g(j) = -3*j**2 + j. Let b be g(1). Let m = -91216/142975 + -1233/1075. Let c = m + -2/133. Is b at least as big as c?
False
Let l(c) = 5*c**2 + 2*c + 2. Let x be 12/(-1*(-16)/12). Let m(q) = 11*q**2 + 5*q + 5. Let i(n) = x*l(n) - 4*m(n). Let j be i(4). Is 7 greater than j?
True
Suppose 37 - 202 = 5*u. Let r be 1/(-1)*1 - (-8 - 25). Let d = r + u. Which is greater: 1/6 or d?
1/6
Let t = -5349/136837 - -7/193. Is 1 at most t?
False
Let h(v) = -18*v**2 + 11*v + 34. Let i be h(-2). Is i equal to -70?
False
Suppose -4*f = -2*w - 92, -5*w = 4*f - 75 - 31. Suppose -5*y = -f*y + 57. Is 7 != y?
True
Let s be (-832)/39*((-46)/4 + -2). Let u = 239 - s. Are -48 and u equal?
False
Suppose -t - 13*k + 302 = -18*k, 4*t - 1208 = 4*k. Suppose -5*z + d = -t, -54*d = -50*d + 8. Is 0 greater than or equal to z?
False
Let a = 15.2 + -19. Let h = a - -5.3. Let b = h - 1.2. Is 2/7 at least b?
False
Let u(f) be the first derivative of 8*f**3/3 + 3*f**2/2 + f + 2. Let t be u(-1). Suppose t*n = 4*n + 24. Is 11 at least n?
False
Let t = 4650 - 4647. Let i(r) = -2*r**2 + 2*r + 7. Let f(p) = 3*p**2 - 2*p - 8. Let w(k) = 5*f(k) + 6*i(k). Let q be w(t). Which is smaller: 33 or q?
33
Suppose 28*z + 3*l = 24*z - 763, -l = -2*z - 369. Is -198 not equal to z?
True
Suppose -3*o = -6, 4*m + 2*o - 370 = o. Let a = m + -105. Are a and -12 equal?
False
Let j(x) = x**3 + 13*x**2 - 39*x - 56. Let v be j(-15). Let a(z) = -16*z - 3. Let w be a(4). Let u = w + v. Which is bigger: 13 or u?
13
Let b(g) be the third derivative of -23*g**2 - 17/6*g**3 + 0 + 1/6*g**4 + 0*g. Let v be b(7). Is v at most as big as 10?
False
Let u = 207.76 + -2.76. Let d = u - 190.6. Is 0 smaller than d?
True
Let g be 801101/72814 - (3 - -8). Is 0 bigger than g?
False
Let j be (-4)/(-8)*(-9)/((-45)/1070). Suppose 0 = 48*a - 49*a - j. Which is bigger: -108 or a?
a
Let n = 11183 - 11150. Is 169/5 at least n?
True
Let z = 16 - 10. Suppose -45 = 98*n - 93*n, -24 = -4*l + 4*n. Is l at most as big as z?
True
Suppose 4*s = 2*v - 3*v - 15, -2*s - 4 = 0. Let g be 2/(-4)*-1*18. Suppose -g = -m - 3. Is v > m?
False
Let b = 58 + -61. Let m = b - -5. Let n = 862/7 + -122. Is n < m?
True
Let m(k) = -k**3 + 2*k**2 + 14*k - 35. Let x be m(3). Let c be x/((-164)/32 + 5). Is c at most 91/6?
False
Let i be 779/(-45) + 6/(-27). Let v = i + 5006/285. Is v at most -1?
False
Suppose -2*n - 1050 = j, 2*j + 21*n - 16*n = -2102. Which is greater: j or -3136/3?
-3136/3
Suppose -6*p - 666 = 4*j, -3*j - p - 182 = 293. Let a be (-3105)/20 - 2/(-8). Which is smaller: a or j?
j
Let g = -3133 - -2966. Which is greater: -172 or g?
g
Let f(r) = -12*r**2 + 160*r - 2533. Let j be f(17). Is j < -3286?
False
Suppose x - 10*x + 72 = 0. Let t be ((-4)/(-10))/(x/(-20)). Which is smaller: 2/35 or t?
t
Let f = -15.7 + 16. Let k = -1231 - -1230.69. Is k less than or equal to f?
True
Let u = 1/1298 + 1027/351758. Let v = -147 + 148. Which is bigger: u or v?
v
Let s be 0 - (-2)/(-8)*-2. Let m = -482.5 - -681. Let g = m + -199. Which is bigger: g or s?
s
Let o be (-52)/468*1/(4/(-36)). Let c be (-2)/5*(-5)/(-9). Is c greater than or equal to o?
False
Let f = 150 - 467. Is f not equal to -326?
True
Let z be 16/(-88) - (-79)/616. Let n = 5664.2 + -5664. Do z and n have the same value?
False
Let x = -153.6 + 153. Let r = x - -0.73. Is r >= 3/5?
False
Let b be (132/8)/(-3)*-6. Let l = 47 - 79. Let h = l + b. Is 0 greater than h?
False
Let d = -96 - -89. Suppose 20*c + 48 = -92. Is c less than or equal to d?
True
Let j(i) = i + 28. Let u(l) =