 + 0. Let d = 31107 + -31485.13. Let s = d - -378. Which is smaller: c or s?
c
Suppose -3*g - 19 = n, g + 1 = -n + 2*n. Let d be (n/8*-7)/(1/(-3)). Let q(i) = i**2 - 8*i + 5. Let p be q(4). Which is smaller: p or d?
p
Let w be (((-26052)/(-16))/(-13))/((-12805)/(-2040)). Let m = -294/197 - w. Which is greater: 19 or m?
19
Let x be 12/(-54) + (-2424)/27. Let k = -171 + 25. Let z = k - x. Is 0 at most z?
False
Suppose -10*c + 12 = -18. Let t(l) = -l**3 + 7*l**2 + 12*l - 18. Let w be t(8). Suppose c*q - 17 = -w. Is q less than or equal to -3/26?
False
Suppose -z - d - 4*d - 595 = -6*z, 0 = 4*d. Which is bigger: z or 96?
z
Let q(s) = -11*s - 75. Let m be q(-7). Let v = -246 + 207. Which is greater: m or v?
m
Let t(g) = 3*g**2 + 27*g + 30. Let l be t(-12). Suppose -3*s + l = 4*y, -2*s + 4*y + 45 = -27. Are 42 and s non-equal?
False
Let u(g) = -21*g + 74. Let p(r) = -21*r + 74. Let w(y) = -6*p(y) + 5*u(y). Let d be w(3). Which is smaller: d or -45/4?
-45/4
Let f(a) be the second derivative of a**5/20 - a**4/3 - a**3 + 4*a**2 + 27*a. Let h be f(8). Let s be 2/(-8) + 2*(-573)/h. Which is smaller: s or -7?
-7
Let b be (-2)/8 - (-198)/472. Suppose -3*i + 12 = -940*r + 943*r, 4*r = -5*i + 20. Is r less than or equal to b?
True
Suppose -2*d + 43 = -d - 2*s, 37 = d - 4*s. Let t = 0.115 + -0.015. Is d > t?
True
Suppose 202*b + 903 = 159*b. Do b and 13.8 have the same value?
False
Let s = 9.2 + -208.2. Let u = s + 200. Let m be 14/(-3) - (-4)/2. Is m <= u?
True
Suppose -2*c = -2 - 14. Let i = 8956 + -8961. Which is smaller: c or i?
i
Let j(w) = -60*w - 106. Let t(l) = 30*l + 54. Let k(q) = -4*j(q) - 7*t(q). Let g be k(-2). Suppose -4*b = -0 - 4. Which is smaller: g or b?
g
Suppose 4*n + 2*t = -3*t + 19, -12 = -3*n - 3*t. Let r be 4*-1 - (-5)/(-22950)*-18356. Let b = r - 4568/25245. Which is bigger: b or n?
n
Suppose 386 = -3*w - 6*m + 4*m, -2*w - 284 = -2*m. Let j = -74 + -60. Is w at most as big as j?
True
Let d = -54.1 + 47. Let p = -2118 + 2115. Which is greater: p or d?
p
Suppose -204 = -12*z + 8*z. Suppose -2*v + z - 43 = 0. Suppose -2*j - 3*j = 4*a - 198, -j + v*a = -30. Is 39 <= j?
False
Let w(k) = -9*k**3 - k**2 - k + 1. Let j be w(-2). Let v(q) = -1466*q + 70. Let o be v(0). Which is smaller: o or j?
o
Suppose 0 = 5*b + 3*i + 15, b - 20 = -14*i + 18*i. Is b <= 8/601?
True
Let q(r) = 5*r + 47. Let g be q(-5). Suppose l + g = -58. Are -79 and l unequal?
True
Suppose -117*h - 39*h + 2340 = 0. Which is greater: h or 12?
h
Suppose 4*n = -16, 0 + 2 = -3*x + n. Suppose -49*q = -54*q - 10. Let j be x/((-9)/(63/q)). Is j > -8?
True
Let t be 2/2*2/2. Let b = -14006 + 280161/20. Which is smaller: b or t?
t
Let g = -14 + -164. Let d = 178 + g. Which is bigger: 6 or d?
6
Let b(o) = -2*o + 74. Let f be b(37). Suppose -5*u - 17*m + 15*m + 3 = f, 0 = u + 4*m - 15. Is 2/585 at least as big as u?
True
Let u(n) = -n**3 + 6*n**2 + 12*n + 5. Let k be u(-3). Let o be 15/5 + k + 1. Which is greater: o or 52?
o
Let q be 2114/7 + 4/(-1). Let v = q + -570. Which is bigger: v or 1/3?
1/3
Suppose 55*l + 38 = 56*l. Suppose l = -3*f + f. Is -11 bigger than f?
True
Suppose -4*c + 5 = 25. Let i be (-1 + c + 8)*16 - 5. Let n be 16/(-4)*(-25)/4. Do n and i have different values?
True
Let q = -443/3 - -739/6. Let i be ((-60)/(-40))/(2/96). Suppose 2*h + i = 22. Is h less than or equal to q?
True
Let o = 74.164 + -0.164. Let q = -0.224 - 73.876. Let a = o + q. Which is smaller: -1/11 or a?
a
Suppose 142 = 41*z - 11871. Is z smaller than 294?
True
Let x = -151/318 - -34/53. Which is bigger: -8/91 or x?
x
Let u = 17.423 - 102.423. Which is bigger: u or -69?
-69
Let p = 27849 + -56075/2. Is p >= -189?
True
Let d(h) = 27*h - 74. Let r be d(3). Let w(c) = 19*c - 26. Let t be w(r). Which is bigger: t or 106?
t
Let l(u) = u**3 + 16*u**2 + u + 15. Let n be l(-16). Let z be ((-14)/(-4))/((-215)/210 - n). Which is smaller: -146 or z?
z
Let r be (699/(-18))/(11 + (-1330)/120). Which is greater: r or -2/3?
r
Suppose 0 = 2*c - 2, 0 = -5*s - 5*c - 66 + 16. Let f be 16 + s - (2/2 + 4). Let n = -119/234 - 7/26. Is f != n?
True
Let c be (-10 - (-8388)/(-63)) + -9 - 4/(-28). Which is smaller: c or 46?
c
Let r(s) = 600*s + 3000. Let g be r(-5). Which is bigger: -2/91865 or g?
g
Let n(s) = 55*s - 1. Let i be n(-1). Suppose -3*w = 13*w - 32. Suppose -2*l + w*t - 110 = t, -t = 0. Do l and i have different values?
True
Let s be ((-5)/5 + 3)*6*(-78)/(-24). Let w = 33182/7 - 4700. Which is greater: s or w?
w
Let b = -104283/19 - -5489. Suppose 0 = 5*o - 2*o - 3. Which is smaller: b or o?
b
Let j be ((-12)/(-27))/(-1)*(-15 + 740862/49392). Which is greater: 0 or j?
j
Suppose -77*k + 1485 = -72*k. Suppose 5*a = -107 + k. Suppose 2*s - 120 = -42. Which is smaller: s or a?
a
Let c(q) = -q**2 + 10*q - 2. Let p be c(8). Suppose u = -5*r - 16, 3*u - 10 - 18 = 4*r. Suppose 0 = a - m + p, 43 = -5*a + u*m - 8*m. Is a bigger than -12?
True
Let v(q) = -4853*q**2 - 16*q + 4. Let f be v(1). Are f and -4863 equal?
False
Let z(q) = q**3 + 9*q**2 + 2*q + 21. Let r be z(-9). Suppose u - 3*f + 27 = 0, 3*u + 2*u + 192 = -4*f. Let h be ((-27)/u)/((-3)/(-24)). Which is bigger: r or h?
h
Let t = 772 + -766. Suppose -4 - t = -r + 4*l, 5*r - 5*l = 80. Which is bigger: r or 15?
r
Let k(f) = f**2 - 31*f + 90. Let g be k(28). Let h be 4/g + 4/(-6). Let m be -1*(6/(-22))/(-3). Which is smaller: m or h?
m
Let u = -104 - -24. Let h be u/26 - 1 - -5. Suppose 2*m = c - 10, 7*c - 2*c + 10 = -5*m. Is c > h?
True
Let q = 257 + -13. Let r = 247 - q. Is r smaller than 6?
True
Let k = 0.3427 - 0.2337. Is -3/2 <= k?
True
Let t(d) = 4*d + 53. Let m be t(-14). Let j(g) = -3*g - 9. Let c be j(m). Which is greater: -1/43 or c?
c
Let d(n) = -n + 11. Let b(w) = -w + 11. Suppose -3*q - 21 = -3. Let m(f) = q*d(f) + 5*b(f). Let t be m(-9). Is t > -20?
False
Let k = -1117 + 1116.9. Let z = -3.1 + 0.1. Let n = 3 - z. Which is bigger: k or n?
n
Let y = -1093995055/10288 + 106337. Do -1 and y have different values?
True
Suppose s + 2*z = -175, 2*z = s + 6*z + 185. Let k be s/550 + (-14)/20. Is k at least -2/221?
False
Suppose -4*n + 228 = 5*r, -5*n = 2*r - 3*r + 34. Let y = -48565.95 - -48566. Which is greater: y or r?
r
Let s be ((-10)/(-75))/(344/(-40)). Let o be (-282)/(-1161)*(-12)/(-16). Let u = s + o. Are 2 and u non-equal?
True
Let r = -3293 + 128420/39. Let k(h) = -3*h**2 - 31*h + 21. Let f be k(-11). Is f bigger than r?
False
Suppose -39*v + 23299 = -11060. Which is bigger: v or 880?
v
Let g be (13/(-156))/(1869/(-4)). Is -1 bigger than g?
False
Let h = 20.3 - 146.3. Let a = h + 71. Let u = a - -64. Is -0.2 equal to u?
False
Let q be 160/180*(-2)/548. Are q and 1 non-equal?
True
Let g be (120/32)/(6/(-500)) - -10. Which is smaller: g or 1?
g
Let y be (0 + (-14)/115395)/(2 + (-27)/15). Which is smaller: y or 1?
y
Suppose 5*w - 3*p = 1, 0 = 24*w - 19*w + 4*p + 13. Is -29/61 < w?
False
Suppose -v + 2 = -2. Let p = -232 - -235. Suppose 22 = p*h + 2*r + 20, -2*h + 5*r + 14 = 0. Is v at least h?
True
Let o = -3035 - -3032. Let v = 215 + -94. Is v greater than o?
True
Let j(q) = 4*q - 92. Let m be j(7). Let x be 713/(-11) - m/(-352). Is x >= -65?
True
Let o = 6168.92 - 6169. Is o greater than or equal to -1.27?
True
Let h = -0.03599 - -918.03599. Which is smaller: h or 11?
11
Let a = -3700 + 3695. Which is smaller: a or 7.39?
a
Suppose -111*g - 1154 = -6*g - 314. Which is greater: g or -167/21?
-167/21
Let s = 291 + -289. Let f be 123/82*s*-1. Is 1 equal to f?
False
Let r be 6164/4355*10/4. Suppose -2 - 8 = -2*y. Is r <= y?
True
Suppose 0 = -5*z - r - 273, 2*r = -5*z - 202 - 74. Which is greater: -55 or z?
z
Let q(m) = -8*m + 79. Let a be q(-18). Let w = a + -235. Is -25/2 smaller than w?
True
Let n(a) = -6*a**3 + 3*a - 1 - 3*a**2 - 3*a + 7*a**3 - a. Let y be n(4). Suppose 12*d = y*d + 38. Is d less than or equal to 38?
True
Suppose 3*n + 25*o - 24*o = -7, 14 = -2*n - 3*o. Are n and -2/16227 equal?
False
Let k = -813.4 - -1201.5. Let m = 388 - k. Which is smaller: -83 or m?
-83
Let g(n) = n**2 - 36*n + 324. Let r be g(19). Is -35/341 equal to r?
False
Suppose k = -5*o - 38, 4*o = -3*k - 75 + 38. Is -15 bigger than o?
False
Suppose 137 - 157 = 4*j, 2*b + 135 = -3*j. Which is greater: b or -790/13?
b
Let f = -128 - -92.5. Let x = 177.5 - f. Are 0.1 and x n