(-3)/(-3)). Which is bigger: 39 or a?
39
Let u = 161/4 - 40. Let d be (-24)/(-6) + 392/(-3). Let o = -125 - d. Is o != u?
True
Suppose -4*p = -4*c - 8, -3*p = -5*p + 4*c. Suppose -h - 1 = p*s, -4*s = -s. Let d be (2/12)/((-2)/(-14)). Which is smaller: h or d?
h
Let s be -1 + 75/69 + (-18)/207. Which is greater: s or 3/949?
3/949
Let v(m) = -3*m**3 + 22*m**2 + 12*m + 12. Let a be v(-12). Suppose -a + 462 = 18*l. Is -432 < l?
True
Let s = -0.3 + -1.1. Let v = -723 - -736.4. Let m = s + v. Which is smaller: -1 or m?
-1
Let g be 10/((-100)/(-770)) - 2/(-2). Let n = g - 76. Are 2 and n equal?
True
Let o = -18 - -11. Let i = -1825 + 1817.63. Let q = o - i. Which is greater: q or 0?
q
Let s be -3 + 1112222/(-48355) - -26. Which is bigger: s or -1?
s
Let m(u) = -u**3 + 2*u**2 - 2*u + 3. Let b be m(2). Let k = 156 + -78. Let z = k - 1089/14. Is b smaller than z?
True
Let h = -6.3 + 6. Let t = 0.20699 - 0.18099. Is t at least as big as h?
True
Let p(j) = -14*j + 696. Let f be p(42). Is f >= 107?
True
Let q(i) = 6*i**2 - 66*i - 598. Let l be q(-10). Which is greater: l or 666?
666
Let i = -265 - -265. Which is bigger: i or 3/1726?
3/1726
Let w(g) = 5*g**3 - g**2 + 2. Let x be w(-1). Let i be (1 - (1 + x)) + -1. Which is smaller: 4 or i?
i
Let v(z) = 9*z + 17. Suppose -4*l + 10 = -10. Let r be v(l). Suppose -b + 67 = 5*d, 0 = d - 5*d - 5*b + r. Are d and 11 unequal?
True
Let a = 0.08 - -86.92. Let i = -145 + a. Let s = i + 101. Which is smaller: 1 or s?
1
Suppose 0 = -3*z + 687 + 147. Let l = -311 + z. Which is greater: -32 or l?
-32
Let p(y) = y - 6. Let c be p(8). Let q(x) be the third derivative of -x**6/120 + x**5/60 - x**4/24 + 13*x**2. Let d be q(c). Which is smaller: -7 or d?
-7
Let w be (-6)/(-10)*3 - -1. Let y be (-3)/4*260/(-39). Let n(l) = l**3 - 5*l**2 + 3*l - 12. Let x be n(y). Which is smaller: w or x?
w
Let i(y) = -342*y**2 - 5*y + 5. Let m be i(1). Which is smaller: m or -349?
-349
Let b = 212 + -206. Let x be ((-8)/b)/(64/(-48)). Let g = 283/1890 - 5/54. Is x at most as big as g?
False
Let i(t) = -2*t + 4*t**3 - 13*t**2 + 3*t + 14*t**2 - 3*t**3 + 3. Let w be i(0). Let s be (-1)/((-69)/6 + w). Which is greater: 1 or s?
1
Suppose 3*m = -4*f, -85*f + 2*m = -86*f. Is -8504 equal to f?
False
Suppose -4*v = -3*x + 108, 0 = 3*v - 3*x + 70 + 14. Let d be (-2)/(-8) - (-6)/v. Let s be ((-56)/(-1715) - d)*10/4. Which is smaller: 1 or s?
s
Let u be 177/(-2340) - (-10)/75. Suppose 0 = -362*t + 346*t. Which is smaller: u or t?
t
Suppose -5*q - 21 = 2*i, 3*q = 2*i - 5*i - 9. Suppose 5*f + 5*w - 285 = 0, 12 = 5*w + i. Let h be -4 + -6*f/(-75). Which is greater: h or 2/33?
h
Let g be 9 + 0 - 4 - -1612. Is 1617 > g?
False
Let o = -34 + 22. Let l(s) = 2*s + 25. Let v be l(o). Let p be 1/(-51*8/1236) - -3. Is p >= v?
False
Suppose -6*m - 108 = -0*m. Suppose 0 = 5*b - 2 + 22, -c = 3*b - 17. Suppose 114 - c = -5*h. Is h >= m?
True
Let b = -92 + 113. Let u = 25 - b. Suppose 4*c - c + 41 = u*n, 4*n - 35 = c. Which is greater: n or 9?
9
Let z = 112 - 118. Let w = -15.6 + 16. Let v = w + 0.6. Which is smaller: v or z?
z
Suppose -3*w + 441 + 300 = 0. Suppose -w*h + 244*h + 162 = 0. Is 55 less than or equal to h?
False
Let b be ((-9003)/(-4816))/((-150)/4). Let c = b + -4/1075. Which is bigger: c or -1?
c
Let x(f) = -30*f**2 + 5*f - 31. Let c be x(-16). Let r = c - -3420251/439. Does r = -1?
False
Let u be 4611 - -58 - (2 + -3 + 0) - -6. Which is bigger: 4675 or u?
u
Let j = 1114 + -1174. Which is smaller: -54 or j?
j
Let x = -45 - -62. Suppose -m = 5, -k - 2*k + x = -m. Suppose 0 = -f - k*c - c + 8, c - 88 = -5*f. Which is smaller: -1 or f?
-1
Let a = -5.1 - -5. Let c be (-2)/(-6) - 1729/5358. Is c > a?
True
Suppose 0*o = -o + 3*x + 56, 8 = 2*x. Let q be ((-3910)/o)/(1/(-6)). Which is smaller: 346 or q?
q
Let c = 0.1394 - -571.8606. Let n = -561 + c. Which is smaller: n or -0.09?
-0.09
Suppose l - 9 = 4*z, -5*l + l + 3*z - 16 = 0. Let u be 3/l*10/540. Which is greater: 0 or u?
0
Suppose 154 = q + 72. Suppose 5*g - 2*d - 398 = -d, 0 = g - 3*d - 74. Are g and q non-equal?
True
Let t = 212.5261 + 0.3739. Let h = 250.97 - t. Let w = h + -38. Which is smaller: w or -4?
-4
Let y = 548.354 - 2.354. Is 2/7 <= y?
True
Let d = -2308 + 2308. Which is greater: -27/25 or d?
d
Suppose 5*o = 2*m - 30 + 56, 4*o = -m. Let i = 13 + -9. Let g be 0/(i/m*-4). Is g less than or equal to -5/27?
False
Let t(h) = h**3 + 4*h**2 - 4*h + 7. Let q be t(-5). Let y be (3/q)/(((-21)/(-6))/7). Suppose 0*m + y = -m. Which is smaller: 11 or m?
m
Suppose 0 = o, 3*c - 2*c - 2 = -4*o. Let q be (3 - c)/((-2)/2). Which is smaller: q or -6/19?
q
Suppose -94 + 2099 - 18257 = -34*p. Is p <= 0.1?
False
Let b = -42582 - -639281/15. Which is smaller: b or 36?
36
Let t = 56 - 46. Suppose t*d = 7 + 3. Is 21 less than or equal to d?
False
Suppose 0 = 2*d - 4*d. Suppose d = 5*c + r - 3*r - 47, r + 37 = 4*c. Does 18 = c?
False
Let x be (-6)/35*(-1650)/49940*7. Which is smaller: 0 or x?
0
Let u = 29057 + -88349/3. Let g(f) = f**3 + f**2 + f + 389. Let p be g(0). Let r = p + u. Which is smaller: -3 or r?
r
Let x(c) = -3*c + 12. Let g be x(-15). Suppose -2043*p = 2*m - 2045*p - 116, 0 = 5*m - 2*p - 293. Which is greater: m or g?
m
Let w be 1*(68/51 - 4/3). Let g = -944 + 80239/85. Which is smaller: w or g?
g
Let m(j) = -4*j + 15. Let z(r) = -r + 1. Let s(w) = -m(w) + 3*z(w). Let l be s(11). Let n(i) = -i**2 - 2*i - 4. Let p be n(0). Which is bigger: p or l?
l
Let k be 1560/70 - 6/21. Let l = 22 - k. Which is smaller: l or -12/17?
-12/17
Let c(x) = -41*x + 65. Let y be c(1). Suppose -13*d - y = -11*d. Which is smaller: d or -6?
d
Let i = 1586.482 + -1586.6. Is i >= -1.1?
True
Suppose 0 = z - 4*z - 60. Let r = z + 27. Let j(b) = -b**3 + 46*b**2 + 8. Let t be j(46). Is t at most as big as r?
False
Let k be 9 + (-130)/20 + 9/6. Suppose -k*j = s + 19, j - 109 = -3*s + 6*s. Which is smaller: -37 or s?
-37
Let j = 2831.9 - 2832. Do -5/92 and j have the same value?
False
Let r be (-2)/(-1)*(1 + (-4)/2). Let m be (2 - r)/(-2)*(-1)/(-2). Let d be (-11 - (1 + -6))*m/6. Which is smaller: 1/18 or d?
1/18
Let r = 7 - 3. Let k = -19.88 + 20. Let u = 5.88 + k. Which is greater: u or r?
u
Suppose -3*z + 0 - 6 = 0, -2*q + 66 = 4*z. Suppose -q = 2*d - 15. Suppose 3*k - 5*l = 4*k, 4*k = -l. Is k greater than d?
True
Let t be (-1*10/3 - -2)/(24/(-36)). Which is smaller: 43/20 or t?
t
Let x be 601496/207 - 2/(-9). Suppose -2*v - 3560 = -2*i, 3*i - x + 11774 = -5*v. Let m be v/354 + 1 - (-5 + 1). Is 1 greater than m?
True
Suppose 0*a = -4*a - 2*z - 6, 0 = -5*z + 5. Suppose -5*f = -99 + 1139. Let w = f + 205. Which is bigger: a or w?
a
Let m(o) = -o**3 - 7*o**2 - 6*o. Let r be m(-6). Suppose 3*j - 6*j = -9, g + j + 9 = 0. Let s be (0 - -5)*g/42. Which is smaller: s or r?
s
Suppose -508*g = -458*g + 37050. Are g and -743 unequal?
True
Let v = 14010 - 490564/35. Let u = -40/7 - v. Which is greater: u or -41?
u
Let r = 1289029/425 + -3033. Which is smaller: r or -1?
-1
Let p = -820.8 + 916.8. Let c = -9.9 - 80.1. Let d = p + c. Does d = -1?
False
Let y = -15310 - -18716. Which is smaller: y or 3405?
3405
Let c = -38506/26939 + 168/341. Which is smaller: c or -2?
-2
Let y be ((-4)/5)/((-78816)/(-7880) - 10). Let i = y + 394. Which is bigger: 2/75 or i?
2/75
Let i(y) = 3*y**2 - 2*y - 12. Let k be i(4). Suppose -j - k = -29. Let p be (-9)/(-5) - (-2)/(-10). Is p <= j?
False
Let v(u) be the first derivative of u**3/3 + 19*u**2/2 + 23*u - 40. Let o be v(-7). Let t = o - -58. Do -3 and t have different values?
False
Let t(u) = u**3 + 5*u**2 - 8*u - 6. Suppose 0*s = -5*s - 15, 0 = -5*p + 2*s - 24. Let k be t(p). Let x be (2 - 1/2)/k. Which is smaller: x or 63?
x
Let l = -86 + 53. Let p = l + 58. Suppose 0 = p*b - 21*b + 268. Is b bigger than -66?
False
Suppose 8 + 2 = 5*z. Suppose 8*y = z*y + 30. Suppose 5*m = -y*a - 15, 3*m - 4*m + 4*a - 8 = 0. Which is greater: m or -1?
-1
Let i = 55 - 52. Let j(b) = 9*b**2 - 20 + 6*b**3 + b - 13*b**i + 6*b**3 + 5*b**2. Let r be j(14). Is r < -2?
True
Let t = -147 - -227. Suppose 508 - t = -4*x. Which is bigger: x or -106?
-106
Let l be (-18)/((-6)/((-12)/(-14)) + 5). Let h(m) = 6*m - 80. Let p be h(l). Which is smaller: -29 or p?
-29
Let c be 2*(-3)/6 + -6. Let f = 0.0182 - -204.9818. Let z = f + -205.4. Is c 