 = -i**3 - 39*i**2 + 119*i - 294. Let m be o(-42). Which is smaller: 2/4349 or m?
m
Suppose -181 = 2*c + 247. Let h = c - -214. Which is smaller: h or 8/9?
h
Let d = 131262 - 288873. Let w be 3 + (-4)/((-1308)/d). Let f = w + 479. Is f bigger than -1?
True
Let x = 93 - 92.9. Let f = -218.7 + 209. Let l = 1.7 + f. Which is smaller: x or l?
l
Suppose 13*r = 14*r. Let f = 39129/67 - 584. Which is greater: f or r?
f
Suppose -237*b = -238*b + 178. Suppose b = -8*c - 46. Which is smaller: -31 or c?
-31
Suppose 0 = -5*y + 3*y. Suppose -r - 4 = y, -c + 56 = 3*r - 0*r. Which is bigger: c or 69?
69
Let v = 217.5 + -1.5. Let s = 215.84 - v. Which is greater: 0.1 or s?
0.1
Let i = 0.04978 - -0.95022. Are 640 and i unequal?
True
Let k = 3848 - 3149. Which is smaller: k or 697?
697
Let b = 0 - -1. Let r = 108100/731731 + -222/1547. Is r greater than b?
False
Let y = -82 + 50. Let n be (3/(-6))/(1/y). Which is bigger: n or 12?
n
Let d be ((-6592)/(-54590))/(-1 + (1 - 2)). Are 1 and d non-equal?
True
Let k be (7 - -3)/(1 + (-45)/21). Let z = 35 - 35. Is k smaller than z?
True
Let z = 744/85 - 3422/255. Which is greater: 191 or z?
191
Let j be -13 + (-1596)/(-36) - 2/(-3). Is j equal to 522/17?
False
Let c be (25 + (-33 - -8))/(-6). Which is greater: -2/4161 or c?
c
Let f = 591003 - 30731189/52. Let z = f - 67/4. Which is greater: z or 3?
3
Let p = 1.4474 + -1.4794. Which is smaller: p or 80/9?
p
Let k be 2 + (3 - -202) - 0. Let j = -245 + k. Suppose 0 = -3*p + 13 - 127. Is j at least p?
True
Suppose -3*v = d - 35 - 39, 0 = -d + 4*v + 39. Which is smaller: d or 1110/19?
1110/19
Let z = 1956189/359 + -5449. Which is bigger: 0 or z?
0
Let m(g) = -17*g - 201. Let w be m(-12). Let q be (4 + -1)/w*5/1. Let v = 11 + -12. Do v and q have the same value?
False
Let x = -1197.1 - -1283.1. Let m = 7827 + -7741.02. Let j = x - m. Is j equal to -0.5?
False
Let f(b) = b**3 + 19*b**2 + 8. Let s be f(-19). Let o = s + -15. Suppose -x = 3*z - 6, 0*x + 3*z + 21 = -4*x. Is x equal to o?
False
Let y(d) = d**2 - 170*d + 2600. Let w be y(17). Which is bigger: 4/1183 or w?
4/1183
Let q(p) = p**3 - 7*p**2 + 5*p - 32. Let n be q(7). Suppose 2*g - g = 2*i + 3, 0 = -n*i - 12. Which is bigger: 4 or g?
4
Let h = -922 + -147. Let t = h + 726. Which is bigger: t or -341?
-341
Suppose 37*l = -126926 + 388553. Is l equal to 7071?
True
Suppose 3*q + 2*h - 559 = 0, 6*h + 2 = 4*h. Let s = q - 225. Is -36 equal to s?
False
Let q = -90.95 + 89. Let a = q - -2. Let v be (-9)/(-27)*(-2 - (-3 + 13)). Which is smaller: a or v?
v
Suppose 0 = -j - 2, 2*s + j = -64 + 62. Is s smaller than 108/95?
True
Let l = -0.121 + -1.939. Let x = 1.96 + l. Which is smaller: x or -0.04?
x
Let x(c) = 10 + c**3 + c - 9*c**2 - 3*c + c. Let r be x(9). Suppose -5*b = -4*b. Is r at least b?
True
Let x = 277 + 7. Let t = x + -285. Is t equal to 183?
False
Suppose 4*b - 18*f + 14*f - 652 = 0, -5*b = -f - 823. Which is bigger: 163 or b?
b
Let b = -539 + 1309. Are b and 768 nonequal?
True
Let z be ((28/(-189))/(4/654))/((-58)/87). Let r be 2/7 + (-514)/(-14). Is r greater than z?
True
Let i = 8.53 - 15.43. Let s = 4 + -11. Let t = i - s. Which is smaller: 20 or t?
t
Let j be (-5)/((-30275)/(-3130)) + 48/168. Which is smaller: 0 or j?
j
Suppose -4*a = -5*l + 164, 2*l = 2*a + 37 + 27. Which is greater: 37 or l?
37
Suppose -4*r - 918 = -10*r. Suppose 0 = t - 4*t - r. Let s = -51 - t. Do 4/15 and s have different values?
True
Let v = -0.0316 + 3.6416. Let z = v - 3.71. Which is smaller: 186 or z?
z
Suppose 0 = -4*y + 16, -3*i = 4*y - 2*y - 32. Suppose 10*t - 309 = -159. Suppose 19*g - i = t*g. Do -2/3 and g have the same value?
False
Let b(h) = 4*h**2 - 182*h + 282. Let u be b(45). Which is greater: 163 or u?
u
Let r(d) = -15*d + 89. Let h be r(6). Let q = 8/9 + -71/90. Is q at most h?
False
Let o be (-3)/3*(-1)/7. Let t = -1519 + 1522. Is t at least o?
True
Let v(y) = -4*y**2 - 16*y - 15. Let z be v(15). Let w be 2*1 - 233340/z. Let r = 204 - w. Which is smaller: -1 or r?
-1
Suppose 11*z = 2003 + 2793. Let b be 14/77 - z/66*-3. Let f = b + -42. Which is smaller: f or -25?
-25
Let f = -55 - 457. Let b = f - -507. Which is bigger: -42/11 or b?
-42/11
Let t = -1945/6 + 327. Let a = 379 - 378. Let c(g) = 15*g - 13. Let y be c(a). Which is bigger: y or t?
t
Let w be -10 - (-6*1 - -4). Let y = -2134 - -10637/5. Is w greater than or equal to y?
False
Let j = 7471 - 7470. Is 11/271 >= j?
False
Suppose 3*d = -6, -26*d = 5*b - 11*d + 20660. Is -2/3 >= b?
True
Let d = 0.711 + 0.099. Let m = -0.71 + d. Which is smaller: 62 or m?
m
Let w = -61 - 61. Let z = w - -121.73. Let o = -0.1 - 0.9. Do z and o have the same value?
False
Let a be 60/70*42/9. Let l be ((-14)/a)/7 + 0. Let q = -7 - -7.09. Which is greater: q or l?
q
Let u(n) = 6*n**2 - 524*n - 525. Let k be u(-1). Do k and 258/49 have the same value?
False
Suppose -367113 = -68*y + 95151. Is -2/5 less than y?
True
Let v be 1 + ((-10743)/1794 - ((12 - 7) + -10)). Is 1 at most as big as v?
False
Suppose 0 = -2*k + 2*a + 6, -a - 1 - 2 = -3*k. Let w be (-3223)/(-44) + (k - 1/4). Let x = -79 + w. Which is smaller: -5 or x?
x
Let p = 0.25 + -0.11. Let h = p + 1.46. Let k = -16106 - -16105. Which is greater: h or k?
h
Let t = -4301.04 - -37.04. Which is smaller: t or -1?
t
Let i = 4401.33 - 4401. Do i and -0.92 have different values?
True
Let d be (-120)/10 - 27/(-6). Is 4.8 at most as big as d?
False
Suppose 39*y = 112 + 83. Let q be ((-3)/24)/(y - (-763)/(-154)). Let m be (-1 - 3/1) + 0. Is q at least as big as m?
True
Let w(l) = l**3 - 16*l**2 - 15*l + 21. Let x be w(17). Suppose 2*b = r - 2, -8*r + 3*r + x = 5*b. Suppose 0 = -r*k + 3*k + 65. Are k and 12 non-equal?
True
Let a = 13 + -9. Suppose -3*q - a*c = -0*q - 27, -2*c + 18 = 2*q. Suppose q = -2*z + 5*f - 4, 4*z + 8 = 4*f. Which is smaller: z or -2/91?
-2/91
Let x = 209 + -183. Suppose x*m = 35*m - 45. Is m less than 5?
False
Let k be ((-60)/(-4))/3*26/5. Let b = k + -26. Suppose b = -10*j + 9*j + 1. Is j <= -2?
False
Let n = 16 - 16.7. Let s = 958.4 - 959.1. Let u = s - n. Which is smaller: -0.6 or u?
-0.6
Let d(g) = 12*g - 33. Let w be d(4). Let p be (-1 + -68)/(w + -10). Which is bigger: -13 or p?
-13
Let r = -7998 - -7998. Which is bigger: -20/457 or r?
r
Let c = 0 + -3. Let x be c + 2149/(-6) - -3. Let u = -356 - x. Is u < 1?
False
Suppose -3*i + 1 + 1 = -2*u, 3*u + i = -14. Suppose 0 = -2*q - 4*o + 302, 3*q - 4*o - 428 = -5*o. Let p = q + -147. Is p <= u?
True
Suppose 3*g - 2*y + 94 = 2*y, -4*g - 88 = 4*y. Let a = 48 + g. Let m be 136/a + 4 + (-6)/33. Which is greater: m or 2?
m
Let u(y) = -2*y - 1. Let f = 3 - 4. Let p be u(f). Suppose -8*k + 14*k + 22*k = -18*k. Is p bigger than k?
True
Let o = -6792 + 74627/11. Is o >= -9?
True
Let h(a) = 87*a. Let v be h(1). Let l(n) = 3*n**2 - 8*n + 26. Let c be l(6). Is c less than v?
True
Let s = -6055 + 6076.4. Which is bigger: -0.1 or s?
s
Let o = -39 - -39. Suppose -3*m = -2*c - 7, -m + c + o = -3. Let r be 336/80 + 2/(-10). Which is smaller: m or r?
m
Let i = 2024339/171 + -105980/9. Let n = -63 + i. Which is smaller: n or 1?
n
Let v = -1159 - -1083. Is 2 at least as big as v?
True
Let r be ((-21490)/185555)/2 + 18/306. Which is smaller: r or -1?
-1
Let q = 519 + -480. Let u = q + -503/13. Let y(b) = b**3 + 4*b**2 + 1. Let s be y(-4). Is u > s?
False
Let y be (3*-11 - 4)*-1. Let w = 21 - y. Let u(h) = -h**3 - 16*h**2 + h + 17. Let n be u(w). Which is bigger: n or 1/52?
n
Let o = -20 - -20. Suppose -3*q - c + 70 = -7*q, o = -c + 2. Is -18 at least as big as q?
False
Suppose 0 = -4*o + 5*o - 9. Suppose 14*q + 5*q + 2147 = 0. Let t = q + 121. Are t and o equal?
False
Let w = -4045628651/144770868 + 25612/129723. Let b = w - 2/837. Let s = b - -2545/92. Do 1 and s have different values?
True
Let v be ((-430)/3)/((-2)/9). Let z = v - 4524/7. Suppose -m + h + 5 = 0, 0 = -13*m + 9*m - 3*h - 22. Which is bigger: z or m?
m
Suppose 3*q = -b + 728, -6*b - 232 = -q - 9*b. Suppose q*d - 249*d + 1145 = 0. Which is smaller: 0 or d?
0
Suppose 3*n + k = -198, k = -4*n + 6*k - 264. Let i be 8/(-6)*n/(-44). Are -13/12 and i unequal?
True
Let k = -227 - 63. Are k and -290 non-equal?
False
Let m be ((-576)/291 + 2)/((-2044)/4 - 0). Which is smaller: 0 or m?
m
Let o = -19 - -21. Suppose 3*p + o = 4*d, d -