 + 21*n**2 + 14*n + 6. Let i be j(-21). Which is bigger: i or -287?
-287
Let i = -0.29 - 6.71. Let g(j) = -j + 11. Let q be g(7). Suppose -q - 1 = -5*l. Is i bigger than l?
False
Let a(c) = c**2 + 2*c - 4. Let b be a(-4). Suppose 0*f - 3*f + 70 = -b*h, -2*f = -3*h - 48. Let d be (-4 - 2) + 32 + -9. Is f at most d?
False
Let z = -29 + 22.8. Let v = -5447/2 - -2724. Which is smaller: z or v?
z
Suppose 2*b = 7 + 11. Suppose -2*i = b - 41. Is i < -1?
False
Let i = -3.72 - 0.28. Let a = i + 3.9. Suppose -4*d - 11 = -3. Is a greater than or equal to d?
True
Suppose -2*s - 5*y = 12 - 34, 5*y + 62 = 2*s. Is -24 bigger than s?
False
Let r = 158.5 - 721.5. Is 2/7 < r?
False
Let q(m) = 116*m - 119. Let c be q(4). Which is smaller: 346 or c?
c
Let o = 9/5 + -73/35. Let i = -14.548 - -0.048. Let f = -14 - i. Is f smaller than o?
False
Suppose 5 = 3*s - 4. Suppose 7*z = s*z - 4. Suppose -5*m - 15 = 3*u, 3*m - 5*u = -2*m - 15. Which is smaller: z or m?
m
Let d = -2.17 - 4.43. Is -2 >= d?
True
Let h(t) = 2*t**2 - 8*t. Let p(r) = -r**2 + r. Let m(n) = -h(n) - 3*p(n). Suppose 11 = 4*v + 43. Let w be m(v). Which is smaller: w or -1/4?
-1/4
Let q = -717 + 723. Let u be (-6)/(-9) + (-1 - -7). Which is smaller: q or u?
q
Let n = -2/465 + 879/155. Suppose 546*l = 604*l - 348. Is l >= n?
True
Let x = 0.23 + -15.23. Let j = -4.3 + -10.6. Let c = j - x. Which is greater: -9 or c?
c
Let f = 1 - 1.5. Let o = -336.6 + 337. Which is bigger: o or f?
o
Let o = -27532 + 201710/7. Let n = o - 1286. Is -1 less than or equal to n?
False
Let h(d) = -d**3 - 4*d**2 + 5*d + 1. Suppose -4*w = 0, 3*w + 12 + 3 = -3*l. Let n be h(l). Let u be (-17)/((-17)/(-2)) + 45/21. Which is greater: u or n?
n
Suppose 2*z = 2*k - 10, -4*z = -2*z + 4*k - 14. Let t = -1232 - -28335/23. Are t and z unequal?
True
Let z = 3 + -3. Let g be -1 + (20/(-6))/(224/(-105)). Let f = -83/48 + g. Which is smaller: z or f?
f
Let s be 9*78/(-8) - 2/8. Let g = -84 - s. Is g less than or equal to 3?
False
Let s = -1.09 - 0.91. Which is smaller: -129/5 or s?
-129/5
Let t = 14 - 13. Let b = -223 - -186. Are t and b equal?
False
Let y = 147 + -147. Suppose -4*n - 53 = -3*x, 5*x + n + n - 45 = 0. Suppose -x - 5 = 2*i. Is y <= i?
False
Let v be 170/51*(-78)/(-5). Is 53 > v?
True
Let x = 9.76 - -0.24. Let f = -16.4 + x. Let l = -1.6 + f. Which is bigger: -1 or l?
-1
Let v(f) = -f**2 + 6*f - 5. Let a be v(5). Let p be 436/327 - ((-669)/(-495) + 0). Are a and p equal?
False
Suppose -3*k = 5 + 1. Let y be k*2/(-24) - (-2445)/(-90). Which is smaller: y or -28?
-28
Suppose 0 = 2*l - 4*l + 6. Suppose -7*m = 3 - l. Let y be ((-1)/17)/((-3)/9). Is m less than y?
True
Let j = 131 - 198. Let h = j + 69. Is 5/4 >= h?
False
Let c = -12.3 + -59.7. Is c equal to 2/13?
False
Suppose 2*v + 3*f - 6 = 0, v - 5*f + 10 = -3*v. Suppose 2*n + 15 - 11 = v. Which is bigger: -8/9 or n?
-8/9
Suppose 0 - 12 = -3*y, -5*n + 4*y = 6. Suppose -50 = 5*c + 5*h, -n*h = 4*c + h + 36. Is c less than or equal to -6?
True
Let r = 45 - 89. Are -44 and r nonequal?
False
Let p be (15/(-42800))/(10 - 264/30). Which is greater: p or 1?
1
Suppose -4*t + 2 = -90. Is 21 greater than t?
False
Let z(a) be the first derivative of -a**3/3 - 5*a**2/2 + 14*a + 1. Let j be z(-7). Is 0 greater than j?
False
Suppose 0*k = -4*k + 52. Let p be (12 - k)*-15*1. Suppose -4*q = q - p. Which is greater: q or 4?
4
Suppose 8*b - 12*b = -132. Let y = b + -64. Is y at least -32?
True
Let j be ((-353)/(-1412))/(3*2/(-152)). Let i(p) = p**2 + p - 6. Let m be i(0). Do j and m have different values?
True
Let k(h) = 11*h - 31. Let x be k(5). Suppose x*z - 29*z - 95 = 0. Let w = 48 - 67. Is z <= w?
True
Suppose 8 = -3*p - r, 0*r + 4*r = p - 19. Which is greater: 2/7 or p?
2/7
Let j = 3.96 - -0.04. Let m = 25.4 + -29. Let s = m + j. Which is greater: 0.1 or s?
s
Let j = 11659/13 + -897. Which is smaller: -17 or j?
-17
Let i be (-1 + (-1 - -1))/1. Let a be (-2)/10 + (-36)/20. Let g be 1 - (a - (-111)/39). Is i bigger than g?
False
Let k = -0.1 + 0.2. Let l be (-4)/(-144)*146 - (-25)/(-10). Is l at most as big as k?
False
Let x = -4 - -1. Let h = -10 - x. Let k = -0.152 - -0.252. Which is bigger: h or k?
k
Suppose 0 = 5*d - 18 - 17. Suppose 6*r = d*r - 4*t + 20, -15 = 5*r - 3*t. Which is smaller: r or -6/17?
-6/17
Let f be 5/10*(-7 + (-13)/(-2)). Which is greater: 5/6 or f?
5/6
Let v be (5 + (-364)/12)*168/(-16). Which is greater: 269 or v?
269
Let g = 14 + -10. Let b(t) = -5*t**2 - 10*t - 8. Let r(w) = -11*w**2 - 20*w - 16. Let m(x) = g*r(x) - 9*b(x). Let k be m(-9). Which is smaller: 2/45 or k?
k
Suppose 6 = f + u, 2*f + 0*u - 9 = -u. Let m(y) be the first derivative of -y**4/4 + 4*y**3/3 + y**2/2 - 4*y - 2. Let i be m(f). Which is smaller: i or 10?
i
Let j = -27 - -16. Let q = -10 - j. Does 0.42 = q?
False
Suppose 3*k - 180 = -3*a, -5*k + a + 292 = 2*a. Suppose -k - 2 = -5*h. Let v be h/(-8) - 50/(-28). Which is bigger: 0 or v?
v
Let n(r) = 5*r + 33. Let a be n(-6). Let k be a/(-12)*(0 + 3). Is -1 less than or equal to k?
True
Let s = -433 + 485. Is s bigger than 48?
True
Let r(t) = -4*t**2 - 117*t + 70. Let d be r(-30). Let c be (2 - 3)*(-19)/(-1). Is d at least c?
False
Let a be (-469)/(-11) - (-7)/(-1) - 5. Which is bigger: 30 or a?
a
Let u = 6425798/5801185 - -2/89249. Which is smaller: u or 2?
u
Let p(b) = -45*b - 125. Let s be p(-6). Is s greater than or equal to 146?
False
Let w(s) = 18*s**3 - s - 1. Let u be w(1). Is u >= 154/9?
False
Let f = -355 - -800. Let l = f - 3120/7. Suppose 4 = 5*d + 5*w - 11, -2*d - 3*w = -9. Which is smaller: d or l?
l
Let l = 5 + -4.97. Let c = l - -0.17. Let v = -0.1 + 0.1. Is c smaller than v?
False
Let l = 36 + -33. Suppose -l*p = 0, d + 61 = 3*p - p. Is d < -61?
False
Suppose -5*l + 2*k = -1279, 0 = 5*l + 2*k - 491 - 800. Suppose -71 = -i - l. Let u be (0 - 2) + (-368)/i. Is u at most as big as 0?
True
Let v = 11.3 - 11.34. Is -15 <= v?
True
Let r be (-5 - -2) + -2 + -1. Let g(q) = -q**3 - 6*q**2 - q - 1. Let h be g(r). Let i(x) = -x**2 + 7*x - 10. Let s be i(h). Does s = -1?
False
Let h be 178*3/(-9) - -1. Let n = h - -59. Which is smaller: n or 2?
n
Let h be 2/6 - (-126)/27. Suppose 0 = 8*o - h*o + 27. Which is bigger: o or -6?
-6
Let j(k) = -k**3 - 6*k**2 + 56*k - 1. Let d be j(-11). Is 2 at least as big as d?
True
Let m be (2 - (-100)/(-12))*-3. Let z = -39 + m. Which is smaller: 1 or z?
z
Let q = -17 + -50. Is q < -0.2?
True
Let c = 121 - 107.7. Let q = c - 13. Is 1/12 bigger than q?
False
Suppose 798 = 19*i + 7999. Does -379 = i?
True
Let u = 0.31 - 0.01. Let x = u - 2.1. Let v = 2.6 + x. Is 1/6 greater than v?
False
Let d = -77 + 77. Suppose 8 = -2*z - 3*k, -8 = -d*z + 4*z + 2*k. Which is smaller: -1/5 or z?
z
Let r = -76 - -77. Which is smaller: 28 or r?
r
Suppose -3*c + 12 = b, 121*b + c - 4 = 119*b. Let t = 2 + -2.01. Does b = t?
False
Suppose 5*a + 5*h + 24 = 2*h, 5*a - 4*h = -3. Let r = -2 - a. Let m be (-1)/((-1)/(1/r)). Which is greater: -0.2 or m?
m
Suppose -3*a + 18 = 3*m, -2*a - 4*m = -11 - 3. Let y = 3568 - 3558. Are y and a unequal?
True
Let p(n) = -n**3 + 12*n**2 - 28*n + 8. Let u be p(9). Do u and -2/1345 have the same value?
False
Let s = 128/3 - 43. Suppose -4*g - 4 = -6*g. Suppose 0*z = 2*z + g. Is s less than or equal to z?
False
Let p = -478 + 476. Is p at least as big as 1/272?
False
Let w = -17 - -87/5. Let y(j) = -j - 8. Suppose 6 = 3*k, b + 23 - 8 = 4*k. Let f be y(b). Are f and w unequal?
True
Let d be (10 + 16)*((-10)/(-124))/(-5). Which is greater: d or -1?
d
Let i = 1466 + -89422/61. Let g = 13/732 + i. Let h be (7/(-35))/(24*(-11)/(-528)). Which is greater: h or g?
g
Suppose 0 = -7*x + 289 - 317. Suppose i - 3*d - 1 = 6*i, 5*d = -i + 13. Which is greater: x or i?
i
Let z be (64/36)/((-424)/(-36)). Is 1 at most z?
False
Let d be (9/(-6))/(1 - 4). Let m(a) be the third derivative of -a**6/120 + 11*a**5/60 + 5*a**4/12 + 4*a**3 - 18*a**2. Let b be m(12). Which is smaller: b or d?
b
Suppose -3*m = 4*u + 12, u - 3*m = -u - 24. Let q be 5 + 186/(-36) + (-7)/u. Which is greater: 2/45 or q?
q
Let p be -1*70/(-2) - 80/10. Which is bigger: p or 23?
p
Let b = -436/3 - -419/3. Which is smaller: -6 or b?
-6
Let q(c) = 4*c**3 + 4*c**2 + c - 2. Let z be q(-2). Which is smaller: -142/7 or z?
-142/7
Let x = 46 - 46. Let a = 2 - x. I