 is smaller: i or -4580?
i
Let n(y) = -y**3 - 4*y**2 + 4*y - 6. Let h be n(-5). Let p be 4 + h + -2 + 1. Suppose 5*g - 3 = 12. Is p bigger than g?
False
Let j = -528 - -2642/5. Let b = -0.1 + 0. Let h = 4.9 - b. Which is smaller: h or j?
j
Let v = 26158 - 23079. Which is smaller: v or 3080?
v
Suppose -9746*l - 46 = -9700*l. Let u = 135 + 32. Are l and u equal?
False
Let k(t) = -t**3 - 5*t**2 + t - 1. Let h be (-17 + 16)*(-2 + -1). Suppose -z - h*z = 20. Let d be k(z). Which is greater: d or -5?
-5
Suppose 0*s - 5*s + 364 = -246. Is s greater than -0.38?
True
Let p = -6665 + 33513/5. Let b = 392390 - 21583508/55. Let j = p + b. Which is smaller: 3/7 or j?
j
Let a(o) = o**2 - 20*o - 47. Let w be a(21). Let q = 87 + -109. Is w less than q?
True
Let y = 13055 + -13052. Let w = 92 - 179/2. Which is smaller: w or y?
w
Let w = 143 + -144. Suppose 5*o - 2014 = 2*s, s + 3*s - 1198 = -3*o. Let i be 14/21 + (-280)/o. Is i equal to w?
False
Let c(b) = -b**3 + 23*b**2 + 25*b - 12. Let x be c(24). Let w be (78/x)/(51/12 + 0). Does 3 = w?
False
Suppose -9*n + 856 = 109. Let t = n + -86. Let f be t + 1 + 4 + -6*1. Which is bigger: f or 5?
5
Let y(m) = -16*m**2 + 57*m - 2239. Let n be y(22). Is -8728 at least n?
True
Let z(b) = -b**2 + 9*b + 18. Let o = -46 - -56. Let h be z(o). Suppose 4*t + 4*p = t + 24, 3*p - h = -t. Is t smaller than 5?
False
Suppose -8829*u + 8851*u = -200684. Which is smaller: u or -9121?
u
Let j(k) = -82*k**2 - 3. Let g be j(-1). Let i = 83 + g. Suppose 0 = -t - t - 8. Is t greater than or equal to i?
False
Let m = 1171 - 1189. Is -350/19 greater than m?
False
Let x = -0.04 - -0.44. Let y = -0.3 + x. Let c = 14261/99778 - 1/14254. Which is smaller: y or c?
y
Let s be 9/(-5) - -2 - -2. Let n(v) = -15*v - 18. Let u(g) = g - 1. Let w(i) = -n(i) + u(i). Let m be w(-1). Which is bigger: s or m?
s
Let j be 3 - ((-1057)/(-265) - 1). Let d(m) = -m**2 - 62*m + 335. Let v be d(5). Which is greater: j or v?
j
Suppose 24*b - 115 - 5 = 0. Are b and 176 non-equal?
True
Let c be (-2)/6*(3 - 4)*3. Let p be (11 + -8)/(9/(-6)*-43). Which is greater: c or p?
c
Let f be 8 + (-8 - (-4 + 1)). Suppose -5*x - 3166 = 4*r, -3*x + 0*r - r = 1894. Let z = 5692/9 + x. Which is smaller: f or z?
z
Let k be ((-7)/(-18228))/(60/42). Which is bigger: 0 or k?
k
Let h = -51292/65395 - -3/1189. Is h not equal to -1?
True
Suppose 5*b - 23 - 2 = 0. Suppose 0 = b*m - 4*v - 6, 6*m - 10*m = 4*v + 24. Let z = 3 - 3. Which is smaller: m or z?
m
Suppose -2*s - v + 8 = -0, 12 = -2*s + 4*v. Suppose 22 + 0 = s*r. Let d = -136/693 + -2/77. Which is greater: r or d?
r
Suppose 0 = -4*k - 87 + 303. Suppose -47 + k = -7*b. Which is greater: b or -1/218?
-1/218
Let o = 6727 - -5693. Are 12419 and o equal?
False
Suppose -z = -3*z + 10, a + 4*z = 15. Let u(d) = d**3 + 3*d**2 - 2*d + 11. Let s be u(a). Which is bigger: s or -30?
s
Let g be (13 - 15) + (-3 - -1). Let o be 22 + (12 - (8 + -7)). Is g at least as big as o?
False
Let q be 1/(-5) - 801/45. Let m = -217 + 221. Which is smaller: m or q?
q
Let i = 195 - 734. Let l = 639 + i. Is 100 less than or equal to l?
True
Let p = 175 - 175. Suppose -5*x = -5, 4*k = 3*x - p*x + 689. Which is bigger: 172 or k?
k
Let g be ((-158998)/42)/(-41)*3. Is 318 greater than g?
True
Let l be -19 + (-481)/(-26) - 29/(-10). Is 1 greater than l?
False
Let x(w) be the third derivative of -w**6/120 - 8*w**5/15 - w**4/12 - 67*w**3/6 - 93*w**2. Let i be x(-32). Is -2.4 < i?
False
Suppose 63 = -f - 91. Let c = f - -154. Which is smaller: c or 4?
c
Suppose 8*c + 18 = -22. Let s be -6*((-4)/5 - c/(-25)). Suppose 24 = s*d - 3*d. Are d and 5 unequal?
True
Suppose -5*f = i - 83, -f + 0*f - 285 = -5*i. Let c = i - 90. Let t = c + 58. Does t = 27?
False
Suppose -19*i + 7716 = 26*i - 33*i. Is 643 at least as big as i?
True
Suppose 53*s - 1320 - 842 - 1124 = 0. Let h(m) = 7*m**2. Let l be h(-3). Do l and s have different values?
True
Let m be (2/3)/(8/(-2028)). Let a = -85 - m. Suppose 0 = 52*v + 10*v - 5146. Which is greater: v or a?
a
Let b be (-4)/(-22) - 4029/561. Let u(g) = 2*g**3 + 10*g**2 - g - 49. Let q be u(b). Which is greater: q or -239?
q
Let p = 115 - -26. Let u = p - 115. Is u smaller than 28?
True
Let r = -14359 - -1706. Is -12651 less than or equal to r?
False
Suppose -34*q = -38*q + 108. Let k be 8 - 9/(q/21). Which is bigger: k or 4/5?
k
Suppose p + 4*f = 2*f + 21, 4*f - 11 = -p. Let q(l) = -16*l - 6 + p*l - 4 - 14*l. Let a be q(11). Is a at least as big as 3/5?
True
Let v(o) = o**2 - 18*o + 31. Let x be v(16). Let w be -11*1/3 + 6 + -3. Which is bigger: x or w?
w
Suppose -25*p - 105 + 952 = -728. Let x be (-4)/(-6) - 20/(-6). Let g be (24/p)/x*4. Is g at least as big as 0?
True
Suppose 1433*j - 367 = 1434*j. Let h(k) = k**3 - 13*k**2 - 9*k + 24. Let b be h(10). Is j != b?
True
Let o = -34.97 - -32.97. Is o smaller than 1/45?
True
Let d = -23/561 + -1/51. Let n = -4.282 - -4.3. Let i = n - -0.282. Which is smaller: i or d?
d
Let m(s) = -8*s**3 - 3*s**2 + 22*s + 5. Let l be m(8). Which is smaller: -4108 or l?
-4108
Let n = 28.8 - 28.444. Let c = n + -166.356. Is c less than or equal to 0?
True
Let y = -6129 + 6128. Is -1680 smaller than y?
True
Let h = 82 - 85. Let q(s) = -16*s**2 + s - 1. Let o be q(-1). Let n be (o/15 - 0)/(27/10). Is n at most as big as h?
False
Let d be (-1 - (-11)/22)*(-9 + -1). Suppose -d + 8 = 4*k - y, 5*k - 2 = 3*y. Let q = -13/30 + 4/15. Do q and k have the same value?
False
Suppose 0 = -q - 135 + 8. Let t = 307 + q. Let f be 2/9 + 2435/t. Is f > 13?
True
Let u = 932054 - 932049. Suppose -20 = 3*f - 5*f. Suppose 2*o = -j + 5, -4*j + 5*j - f = 3*o. Which is bigger: j or u?
j
Let f(l) = l**3 + 16*l**2 + 5*l + 81. Let i be f(-16). Suppose -26*s - i = 1819. Is s not equal to -74?
True
Let m(g) = -2*g**3 + 33*g**2 - 173*g - 2. Let s be m(5). Which is smaller: -296 or s?
-296
Let v = -145.7 - -145. Let z = 21.17 + -21. Let f = z - -0.13. Which is bigger: v or f?
f
Let p be (68685/(-28308) - -2)/((-21)/14). Let t = p - -1/674. Is t > -2/73?
True
Let w(h) = 5*h**2 + 20*h + 19. Let a = 622 + -626. Let f be w(a). Which is smaller: 23 or f?
f
Let h(n) = n**3 + n**2 + n + 19. Let z be h(0). Let i be 3264/44 - (-3)/(66/(-4)). Suppose -3*g - 14 = -i. Which is greater: g or z?
g
Let q(c) = -c**2 + 650*c - 9471. Let u be q(15). Which is smaller: 1377/25 or u?
u
Let d be 1/3 + (-86)/42. Let z = 587 - 585. Suppose -2*c = -2*t + z, -7*c = 2*t - 11*c - 8. Does t = d?
False
Suppose -f = -n, 0*n + 4*n - 5 = 9*f. Which is smaller: f or -1/775?
f
Let m be -1 + -3 + -3 + 12. Let b be (-4)/(-6) - (-68)/(-12). Let g be (b/20)/(1/(-28)). Is g > m?
True
Let h = -359 + 1161. Which is greater: h or 0?
h
Let u be ((430/(-4))/5)/(-3). Let a(w) = -3*w + 66. Let p be a(20). Suppose 0 = -p*t + 22 + 14. Which is smaller: t or u?
t
Let v = -1/443 - -13307/7531. Let g = -6/77 + 4/11. Which is smaller: g or v?
g
Let x = 358 + 1343. Suppose 7*c + 0*c - x = 0. Is c equal to 243?
True
Let y = 139 + -136.56. Let d = -2.13 + y. Is -0.05 at least as big as d?
False
Let l = 412 - 185818/451. Is l bigger than -1?
True
Let t(s) = -11*s - 2. Let w(v) = -11*v - 2. Let o(r) = 5*t(r) - 6*w(r). Let z be o(2). Suppose -4*y - 28 = z. Is -23/2 greater than or equal to y?
True
Let s be (0 + 2)/((-2)/(-114)*-3). Let w be 4/s + (-590)/(-190). Is w less than or equal to 21/10?
False
Let d(i) = -i**3 - 19*i**2 - 7*i + 201. Let h be d(-18). Which is smaller: 15 or h?
h
Let y = 145 + -107. Let f = 26 - y. Which is bigger: f or -2/7?
-2/7
Let n = 2.71 + -2.81. Let i be (-2)/(-6) + (-6)/(-9) + -4. Let l be (i + 5)*1/(-28)*2. Are n and l nonequal?
True
Let d = -274 + 298. Let o be (-10)/(-200)*d/489. Which is bigger: 0 or o?
o
Let d = -16.2 + 97. Let s = -985 - -1066. Let h = d - s. Which is smaller: 2/5 or h?
h
Let a = -4748210/57 + 83305. Which is smaller: a or 4?
a
Let m = 35 + -25. Suppose 0 = -m*k + 5*k + 40. Is k <= 7?
False
Let z(t) = 3*t - 10. Let c(i) = i - 4. Let o(g) = 11*c(g) - 4*z(g). Let s be o(-4). Let y = -7/92 - -589/6532. Which is smaller: s or y?
s
Let d = -10507 - -10539. Which is greater: 960/29 or d?
960/29
Let z(g) = -3*g**2 + g + 305. Let q be z(-24). Is -1447 bigger than q?
False
Suppose 121*v = -45847 - 455456. Which is smaller: v or -4142?
v
Let l(z) = -1783*z - 142.