 -107?
-107
Let d = 11958 + -12821. Is d less than or equal to -863?
True
Let t(i) = i**3 + 6*i**2 - i + 1. Let o be t(-6). Suppose 0 = -2*c - 5*l + 22, 2*l = c + 3*c - 44. Suppose o*q - 52 = c*q. Are q and 1 equal?
False
Suppose 6*z = 3*z + n - 421, 2*z + 281 = n. Is -135 <= z?
False
Let h = 15.4 + -15. Let y = -11.833 + 12.54. Let u = 0.007 - y. Is u <= h?
True
Let g(j) = -j**2 + 5*j + 1. Let x be g(5). Let b be (-597)/(-1008) + (-2)/(-49)*-14. Which is smaller: b or x?
b
Suppose 13*a - 6*a - 420 = 0. Let q be 39*144/a - 2/(-5). Suppose -3*b + 275 = -u, 3*b - 5*u - 259 = -0*u. Which is smaller: q or b?
b
Let u = -3300 + 3295. Are 12/17 and u unequal?
True
Let u = 1.3241 + -1.3941. Is u equal to 1.695?
False
Let l be 36*-1*2/(-6). Let x(d) = -l - 4*d + 0*d + 18 + 23. Let f be x(5). Which is greater: f or 1?
f
Let o be (-3)/(-5 + 2)*25. Let a = 478909/18244 - 1/4561. Is a >= o?
True
Let h be 1 + -2 - (-3 - 1314/9). Let u = -176 + h. Is u bigger than -29?
True
Let g(u) = u**3 + 21*u**2 - 12*u - 52. Let j be g(-21). Suppose -2*x + 1 = 9, -4*v + j = -5*x. Do 47 and v have the same value?
False
Suppose 2*l = z - 104, -4*z + 326 = 4*l - 102. Is z bigger than 115?
False
Let u(p) = -90*p**3 + 3*p**2 + 8*p + 6. Let g be u(-2). Suppose 0 = -2*s - s + 4*i - 525, 4*s = -2*i - g. Is -180 at most s?
True
Let l be (-33)/(-12) - (-2)/(24/3). Suppose 0 = -4*g + 4, 3*w - 413 = -2*w - l*g. Let o = w - 86. Which is smaller: o or 5?
o
Let h be (-948)/10 + (20 - (-624)/(-39)). Which is smaller: h or -91?
-91
Let x = 27889/38 + -734. Suppose 31*k = 12*k. Which is smaller: x or k?
x
Let i be (-3)/((-24)/(-1996)) - (-13)/(-26). Is -242 >= i?
True
Let d(y) = -5*y + 2*y**3 - 222*y**2 + 236*y**2 - 3*y**3 - 4. Let c be d(13). Suppose 26*s + c = 22*s. Which is greater: s or -26?
s
Let j be (((-1650)/(-20))/(-33) + 2)/(1137/(-2)). Does 1/2 = j?
False
Suppose 4*c = -15 + 55. Suppose 30 = 5*x + 3*s - 0*s, 0 = 2*s - 10. Suppose 4*v - 5*f = 57, 2 = x*v - 3*f - 40. Is c >= v?
False
Let j = 914.4 + -1008. Let y = 91.88 - -1.12. Let k = y + j. Is 10 >= k?
True
Let l = 166 - 163. Suppose -61 = -l*k - 4*d, -2*k + 5*d = 4*d - 59. Which is smaller: 28 or k?
k
Let g = 7341.685 + -7342. Which is greater: g or -1/3?
g
Let o = 0.261 - 0.161. Let m be ((-8)/(-20) - (-1365)/25)*-7. Are o and m equal?
False
Let g = 47 + -34.5. Let o = 11 - g. Let c = 0.5 - o. Is c < -3?
False
Suppose -5*c - 4 + 5 = -4*p, 19 = -5*c - p. Let m = -3.188 - -2.288. Which is smaller: c or m?
c
Let f be (-2)/(-3) + -1 - -1*166644/1296. Suppose -246 = p - 3*p + 4*l, 3*p - 384 = l. Which is greater: p or f?
p
Suppose 0 = 4*q - 4*p - 32, -13*p + 11*p = -4. Let l(h) = h**2 + 9*h + 9. Let v be l(-9). Is v less than q?
True
Let q = -51 - 37. Let n be (-123)/(-11) + 16/q. Suppose 0 = n*i - 15*i. Is 1/5 < i?
False
Suppose -4*n = 4*d + 12, 0*n + 8 = -2*d - 4*n. Let q(k) = -k**3 + 3*k**2 + 5*k - 8. Let r be q(7). Let l = r - -167. Is l at least as big as d?
True
Let y = 485 - -42. Let u = 501 - y. Is u greater than -14?
False
Let o be 2678/3 + 66/(-99). Which is smaller: o or 891?
891
Let d(v) = -9*v**2 - 16*v + 43. Let f be d(3). Let x(c) = -5*c**2 + 16*c - 43. Let l be x(5). Which is greater: l or f?
f
Let h = -208 + 111. Suppose x + 3 + 1 = 5*y, 0 = -5*y + 15. Suppose -185 = -x*n - 1241. Which is smaller: h or n?
h
Let p = -5.9465 + -0.1635. Which is bigger: 5 or p?
5
Let s = 594497/21 - 28283. Which is smaller: s or 26?
26
Suppose 4*o - 2*o = -3*p + 59, 3*p = 2*o + 79. Let j be 2/p + (-25412)/230. Let g = -110 - j. Is g smaller than -0.9?
False
Let k be (7 - 7)/(10 + -8 + -3). Is k > 6/3521?
False
Let j = 833 - 900.6. Let s = -3.4 + j. Let v = s - -69. Is 4 greater than v?
True
Suppose -14*k + 170 = -4*k. Suppose 6*f - k + 11 = 0. Let g be (-1)/45*(-6)/(-10). Which is greater: f or g?
f
Let r(g) = g**2 + 40*g - 385. Let q be r(8). Which is bigger: q or -34/211?
-34/211
Let c = -4447 + 4448. Is c greater than -2/7?
True
Let h(z) = z**3 - 11*z**2 - 10*z - 90. Let i be h(9). Let c = 0.05 + 0.05. Is i <= c?
True
Let j = -1799460/553 + 3254. Let i = 549/1106 + j. Let q = -6.85 + -0.85. Is i bigger than q?
True
Let j(p) = p**2 + 16*p + 52. Let u be j(-5). Let l be u/(-6)*2 - (3 + -2). Which is bigger: 2/13 or l?
2/13
Let t(y) = -10*y + 48. Let j(k) = -9*k + 47. Let c(a) = 6*j(a) - 5*t(a). Let z be c(8). Let g be 1 - -1 - 25/z. Which is bigger: g or -0.002?
-0.002
Let p be 12 - (-7 + -1 - -16). Let s(w) = -120*w + 19. Let v be s(p). Are v and -461 equal?
True
Suppose 3*g + 11 = 2, 4*v - 4*g - 8 = 0. Let f be (1*v)/((-1)/4). Suppose 0 = -p - f*p - 3*a - 24, 0 = -a + 2. Which is greater: -5 or p?
-5
Let a = 118 + -122. Suppose 4*p - 23 = 5*i, -4*p + 2 = -3*i - 15. Which is smaller: p or a?
a
Let d be ((-2)/(-3))/(52/(-12324)). Is -631/4 smaller than d?
False
Let h = 1.5 + -1.517. Let c = 28.983 - h. Let q = -10787.9 + 10788. Is q > c?
False
Let n be ((-2372)/10)/(((-96)/20)/12). Let w = n - 480. Which is bigger: w or 338/3?
w
Let w be ((-10)/(-4))/(7469/572 + -14). Which is smaller: w or -3?
-3
Let r(k) = -k**3 + k - 1. Let b(l) = 3*l**3 - 3*l**2 - 5*l + 7. Let o(x) = -b(x) - 4*r(x). Let s be o(4). Suppose 0 = 4*d + s - 161. Are 13 and d unequal?
True
Suppose -72*w = -75*w - 15. Let q(g) = 5*g**2 + 14*g + 16. Let l be q(w). Which is smaller: 70 or l?
70
Let l = -350/11 - -3172/99. Is 387 != l?
True
Suppose -4*j + 13 = 3*l, 66*l - 4*j + 17 = 65*l. Which is greater: l or 23/172?
23/172
Let j = -74.1 + 11.1. Let t = j - -63.34. Let h = -2.26 - t. Which is smaller: h or 1/2?
h
Let z = 44 - 29. Let y = 28 - z. Suppose 0 = -18*d + y*d. Is d less than or equal to 1?
True
Let s = 497.9 - 531.9. Which is smaller: -82 or s?
-82
Let p be (-473)/(-129) + (-11775)/(-9). Is p > 1311?
True
Suppose 3*o = 1214 + 1426. Suppose 0 = 147*y - 142*y - o. Which is bigger: y or 175?
y
Let a(z) = -z**3 - 3*z + 124. Let c be a(0). Suppose 0 = -4*v - 4*w - 172, c = -3*v + w + w. Let d = v - -167/4. Which is smaller: d or -28?
-28
Let j = 346 - 344. Suppose j*t = 23*t - 525. Let l = 0.1 - 0.1. Is t greater than or equal to l?
True
Let r be ((-6)/4)/(3/(-4020)*-2). Let j = r - -1006. Let p = 13/2 - 69/10. Is j greater than p?
True
Let d be -12 - (0 - 1)/(1/3). Let q be ((2430/8)/d)/(6/(-16)). Suppose v = 6*v + q. Is -17 bigger than v?
True
Let u be (-4)/42 - (-47024)/(-168). Let c be 7/(-48)*(1125/u)/25. Which is greater: 1 or c?
1
Suppose q - 32 = -4*o, -5*q = -4*q + 3*o - 27. Let j be ((-1824)/q)/1 - (1 + 2). Is j less than or equal to -155?
True
Let y(w) = -w**2 - 8*w + 6. Let s be y(-6). Let u = 10499/294 + -876/49. Which is bigger: u or s?
s
Let j be ((-29 - -1) + 4)/((-6)/16). Let n = j - 40. Suppose n*r - 4 = 20*r. Which is bigger: 4 or r?
4
Suppose 7*v - 731 = -5*g + 9*v, -3*v = 5*g - 741. Suppose 0 = 12*z + g + 3105. Do -271 and z have the same value?
True
Let u be 37 + -16 - (-4 - 1). Is u at most as big as 4?
False
Suppose -300 - 95 = q + 3*g, -750 = 2*q - 4*g. Let r = q + 332. Which is bigger: r or -49?
-49
Suppose 0 = 4*m + 5*a + 11, a + 8 = -2*m + 1. Let z be m/(1 + 2/2). Suppose 0*x - 3*s + 4 = x, s - 6 = -5*x. Is z at least as big as x?
False
Let x be 4*(3/(-3425))/((-60)/150). Which is smaller: 1 or x?
x
Let c = -1.4 + 2.11. Let j = -99.29 - c. Let m = 100 + j. Which is bigger: 49 or m?
49
Let m = -82831/5130 - -436/27. Is m at least -2/13?
True
Let z(h) = -104*h + 236. Let m be z(5). Let s = -0.09 + -0.91. Which is greater: m or s?
s
Let n = 492 - -97. Suppose 2*g - n = 515. Let b be g/(-30) + 1/(-5)*3. Are -18 and b nonequal?
True
Let c = 1172 + 1561. Which is smaller: 2734 or c?
c
Let q be (12 - (-3 - -5))*(-30)/(-25). Which is smaller: q or 11?
11
Let z be ((-6)/(-4))/((-7)/(-4480)*-8) + 7. Is 37 less than or equal to z?
False
Let u = 3414 + -3412. Is 58/21 at least u?
True
Let k be 108*1 - (-6 - -4). Let i = -105 + k. Suppose 3*x - 16 = -i*j + 57, 2*j - 4*x - 24 = 0. Are 0 and j non-equal?
True
Let l(z) = 2*z**3 - z**2 - 26*z + 27. Let x(q) = q**3 - q**2 - 13*q + 13. Let u(y) = 3*l(y) - 7*x(y). Let j be u(6). Which is smaller: -17/6 or j?
j
Suppose 5*w = -2*s + 3777, 3*w + 3833 = 44*s - 42*s. Which is smaller: s or 1908?
s
Let x = 1747 - 76865/44. Suppose -4*i + 25 - 47 = 6*j, 31 = -4*j - 5*i. Which is greater: x or j?
j
Let s be (