e -3*m = -3*s + 390, 2*s + 3254 = -2*m + 3542. Let r(u) = 17*u**3 + u**2 - 2*u + 2. Let g be r(2). Which is smaller: g or s?
s
Suppose -17 = 5*l - 62. Let a(c) = c**3 - 7*c**2 - 21*c - 2. Let v be a(l). Suppose -33 - 27 = 2*p. Is v less than p?
False
Suppose -7*c - 3360 = 2*c - 1047. Which is smaller: c or -255?
c
Let n = 5739/280 - 401/20. Is 0 at least n?
False
Let i = 23501 + -23591. Is i equal to -3?
False
Suppose -24*d - w = -21*d + 16, d + w + 6 = 0. Let b(p) = -p**3 + 9*p**2 - 9*p. Let x be b(8). Is d greater than x?
True
Let a = 3 + 4. Let g = 6.8 - a. Let l = -348 - -348.2. Is g at least l?
False
Suppose f - s + 14 = -f, 2*s = -5*f - 17. Let h be 0 + 1 + f/11. Let l(m) = m**3 - 25*m**2 + 88*m - 84. Let k be l(21). Which is bigger: k or h?
h
Let b = -160 - -160. Let s(j) = j**2 - 3*j - 846. Let i be s(0). Let u be 3 + 2 - i/(-170). Are u and b nonequal?
True
Let g be 2/(-7) + (-491838)/(-1190). Let a = g - 413. Suppose -54*o - 53*o = -37*o. Which is smaller: o or a?
o
Let v be 0 + (-3)/(-65) - 0. Suppose -r + 13 = 2*y, -3*r + 4 = -4*y + 25. Is v smaller than r?
True
Suppose 8*z + 127 = 12*z - 5*k, -k + 137 = 5*z. Let p be z/(-3 + 9/7*3). Which is smaller: 1 or p?
1
Let k(v) = 3019*v - 1907. Let z be k(1). Is z <= 1110?
False
Let w = -69.37 + 3778.37. Do w and -1 have different values?
True
Let w = 349 + -347. Let l be ((-3848)/1416 - 2/(-3)) + w. Which is smaller: l or -1?
-1
Let f be (16*(-10)/(-896960))/((-2)/4). Which is smaller: f or 0.2?
f
Let p = 5.449 - 0.139. Let u = p + -5.31. Which is smaller: 0.5 or u?
u
Let a(o) = -36*o + 96. Let w be a(2). Let b be (-3)/(-5 + 26) - (-211)/7. Which is smaller: b or w?
w
Let c = 32 + -17. Let z = 428 - 435. Let i be (z + (-180)/(-16))*(-1 - -5). Is i smaller than c?
False
Suppose 5*g = -d - 82, -2*d - d - 6 = 0. Let m be -4 + (84/g)/(-3). Let r be 32/24*3/(-2). Is m <= r?
True
Suppose -14 + 2 = -4*d + 3*t, -5*t + 32 = 2*d. Let z be d/27 + 224/(-945). Which is greater: z or 0?
0
Let v be (5 + 3)*51863/248. Which is smaller: 1675 or v?
v
Suppose 2*a = 5*f - 772 + 763, 0 = 5*f - 4*a - 23. Which is smaller: f or -2/60243?
f
Let u = -4793719/2960 + -1/2960. Is u at most -1621?
False
Let k be 858/18*(-33)/(-11). Let y be (5 + k/(-33))*6/1762. Which is smaller: -1 or y?
-1
Suppose 2318 = 4*t - 494. Suppose 340 = 7*l - t. Is 148 less than or equal to l?
True
Let o be ((-79025)/(-580))/(-1 - (-23)/24). Which is greater: o or -3271?
o
Suppose -4*v + 501 = 3*n, 2*n + 5*v - 161 - 187 = 0. Which is smaller: 794/5 or n?
794/5
Let i = 48 + -29.5. Let f = -132 - -114. Let y = i + f. Which is bigger: y or 0.08?
y
Let d = -1128/301 + 274241/78561. Let u be (1/(-2))/((-116)/(-8)). Let o = u - d. Is 4 <= o?
False
Let u = -129 + 85. Let s(w) = -11*w - 483. Let t be s(u). Which is greater: -7/178 or t?
t
Let r(g) = -8*g - 7*g**2 - g**3 - 16 - 11 + 18. Let u be r(-5). Let m = -79 - -61. Which is smaller: m or u?
u
Suppose m + 2*m = 894. Let q = -189649313/1095 - -2602406/15. Let v = m - q. Which is greater: v or 0?
0
Let n be (-3)/(90/(-380))*2*12/(-16). Which is bigger: -0.58 or n?
-0.58
Let h = 11977 - 12170. Which is smaller: h or -189?
h
Let x = -35699 + 285593/8. Is x < 4491?
True
Suppose -k = 2*w + 2*w + 36, -2*k + 8 = 0. Let z be 9 - (-9 + 14) - 180/14. Is w >= z?
False
Let h(d) = 1406*d + 1602. Let q be h(-1). Is 196 at most as big as q?
True
Let v(b) = -b**3 + 11*b**2 - 23*b + 44. Let t be v(9). Let c be 0 + (-876)/444 + t + 3. Is c at most -1?
False
Suppose -5*x = -3*r + 283, 6*x + 185 = 3*x - 2*r. Let q = x + 19. Let v be 1/2 + 16/q. Is v >= -1?
True
Let n = -113659811/2345 - -48469. Which is greater: 0 or n?
0
Suppose k = -2*u + 52, k = -5*u - 0*k + 124. Let i be 4/u + 1390/12. Suppose 5*f - 1 = -i. Does f = -22?
False
Let z = -20.7 + -71.3. Let a = -24 + z. Let i = a - -114. Is i not equal to 5/6?
True
Let t = -13528.4 - -13528. Which is greater: 0.896 or t?
0.896
Let i = -47 + 52. Suppose -i*p - 3 = 7. Let h be (-1)/p + ((-125)/(-30))/(-5). Is h >= 25?
False
Let w be ((-8)/(-10))/(2 + 0). Let o be (-26)/39*(2320/(-328) + 7). Is w != o?
True
Suppose -11*j + 2745 = 8828. Let y be (-50)/12*(j/105 + 5). Let k be ((-6)/(-9) - 1) + (-2)/(-6). Is y less than or equal to k?
False
Let a(q) = -4*q + 28. Let g be 2 - -5*(2/5 - 0). Let y be a(g). Suppose 4*c - 2*p - 42 = 0, -4*c = 5*p - 13 - 36. Which is smaller: c or y?
c
Let h = -21.6 + 30.55. Let g = h - 2.3. Let y = -0.35 - g. Are y and 1 equal?
False
Let r = -3023.14 - -3028.8. Is 0.01 at least as big as r?
False
Let m be (-1)/((34/85)/(1 + -3)). Suppose -5*i = -q - 6*i + 6, 0 = -5*i - 10. Is q at least m?
True
Let f(n) = 2*n**3 + n**2 - 4*n - 5. Suppose 0 = 12*c - 5*c + 14. Let a be f(c). Let k be (0 - (-244)/(-774)) + (-2)/a. Which is greater: k or 0?
0
Suppose -17*u = 28*u - 22410. Let z = -517 + u. Which is greater: z or -5?
-5
Let p = -87 - -58. Let v = -90.8 - -61.8. Let j = v - p. Are 9 and j equal?
False
Let r(q) = -72*q - 2273. Let k be r(0). Is -2273 < k?
False
Let h be 12/(12/(-3)) + 45/3. Let x be ((-15)/h)/(3/(-12) + 0). Suppose -3 = -8*p + x*p. Is 1 greater than or equal to p?
True
Let c = -23 - 31. Let l = 79 - c. Is -3 > l?
False
Suppose -21 = -4*c - 5, -3*t + 1 = c. Let d be (9/2 - 4)*1497/(-630). Let i = 26/21 + d. Is t != i?
True
Let x(w) = 5*w - 89. Let z be x(13). Let i be 45*(3/1 - z/(-10)). Which is smaller: 26 or i?
26
Let z = -102 + 3160/31. Let a(f) = f**2 - 31*f + 234. Let o be a(13). Which is bigger: o or z?
o
Let c be ((-42)/12 + (3 - 2))/(8866/124). Which is smaller: -3 or c?
-3
Suppose 0 = 5*h + 3*b + 2, h - 3*h + 3*b - 5 = 0. Let q be 3*-1*66*1/(-2). Suppose 97*p = q*p + 2. Is h >= p?
True
Suppose 7*p - 12 = -6 - 69. Is p < -546/67?
True
Suppose -4*w - 2*k + 317 = -3*w, -5*k + 5 = 0. Let x = w - 361. Is 2/5 less than or equal to x?
False
Let l = 15951.01 + -15950. Which is smaller: -1/14 or l?
-1/14
Let d be (-21)/(-9) - (-5)/((-10)/6). Let v = -51.55 + 49.55. Which is bigger: v or d?
d
Suppose -12 = -b - 4. Let a be 1/7 + (-3772)/(-644). Suppose 0 = -5*j + 5*v + 10 - 0, -2*v + a = 3*j. Is b at least as big as j?
True
Let n be (-10)/(-12)*(-2 + (-2742)/(-1365)). Let q = n + -67/546. Let c(f) = f**3 - 3*f**2 - 5*f + 5. Let d be c(4). Which is smaller: d or q?
q
Let x = -965 + -477. Is x <= -1441?
True
Let x(r) = r**3 + 43*r**2 + 372*r. Let z be x(-31). Which is smaller: -33/25 or z?
-33/25
Let y = 1290 + -60628/47. Suppose 360 = 11*x - 3*x. Let j = x + -45. Which is bigger: j or y?
y
Suppose 24 = 40316*r - 40292*r. Which is smaller: -35/358 or r?
-35/358
Let g be 228/(-20) + (-2)/(-5). Let i = -718 - -10051/14. Which is smaller: i or g?
g
Let v be -3*(-1)/6*-155. Suppose 39618*b = 39320*b - 22946. Which is smaller: b or v?
v
Let j(d) be the second derivative of -d**5/20 + d**4/4 + 2*d**3/3 - 11*d**2/2 + 2*d - 32. Let a be j(3). Is a >= 0.12?
True
Suppose -h = -4*j + 2*h + 4884, 4*j - 4*h = 4880. Is j smaller than 1225?
True
Let r = -105 + 106.75. Let i = -1.65 + r. Does -0.025 = i?
False
Let b = 201911 + -201911.2. Let x be 1/3 - (-22)/(-48). Is b != x?
True
Suppose 0 = -h + 4*h + 3. Let w be ((-1773)/(-354) - 5)/(3/(-48)). Which is smaller: w or h?
h
Suppose 163*y + 264 = 295*y. Does 874 = y?
False
Suppose 0 = -30*u + 341611 + 18779. Do u and 12012 have the same value?
False
Let q = 706.38 - 61.38. Is 1 < q?
True
Let x(n) = 1193*n**2 + 42*n + 7. Let g be x(2). Which is greater: g or 4862?
g
Let h be (-4)/((-63)/165 + (-4)/(-10)). Let r = h + 117. Which is bigger: -104 or r?
r
Let w = 25160 + -25160. Which is greater: -55/126 or w?
w
Let y = 5 - 7.3. Let u = -17.4 - -21.7. Let d = u + y. Which is greater: 17 or d?
17
Let x(s) = 6*s + 580. Let t be x(55). Which is greater: 912 or t?
912
Suppose 3*r - 318*j - 10661 = -317*j, -3*j + 14219 = 4*r. Is r not equal to 3555?
True
Let v = -60 + 4. Let w = 58 + v. Suppose 52 = -w*s - 66. Which is smaller: -58 or s?
s
Let j be 1*(-223)/(-1938) - (-137)/(208240/(-160)). Let y(t) = -t + 10. Let x be y(9). Is x equal to j?
False
Suppose 0 = -55*w - 949479 + 261759. Which is bigger: -12506 or w?
w
Let m be 3/1 - (-2 - -252). Let a = 244 + m. Which is smaller: a or 0?
a
Suppose 1867 = -4*k + 35. Let b = -581 - k. Which is smaller: b or -125?
-125
Let x = -26 + 25. Let w be (4/10)/((-5)/(5