= -9*b**2 - 3*b + 1. Let g(k) = k**2 + k. Let h(s) = -d(s) - 3*g(s). Let l be h(-1). Let c be ((-14)/728*-13)/(147/72 - 2). Which is smaller: c or l?
l
Suppose 99 = -3*o + 4*o. Suppose 5 + o = -3*a + u, 0 = -4*a + 2*u - 142. Is -33 not equal to a?
False
Suppose 0 = -5*k + v - 124, 108 = -4*k + v + 2*v. Let t be (-20)/k*2/110. Is -1 <= t?
True
Let t = 1618/15 - 108. Let u(o) = -o**3 + 10*o**2 - 10*o + 10. Let w be u(9). Let z(n) = -n**3 + n**2 - 2*n + 1. Let a be z(w). Which is greater: t or a?
t
Let n(x) = 2*x**2 - 4*x - 102. Let y be n(-6). Is -88 bigger than y?
False
Suppose 10*k - 2421 = -2*u + 11*k, -u + 2*k + 1215 = 0. Is 1208 at most u?
True
Let v = 5 + -3. Let c be 13 + (-3 - -6) + -4. Let y be (4/6)/(c/(-6)). Which is smaller: y or v?
y
Let q be 129/1130*256/12. Let s = -4/113 + q. Which is bigger: s or 2?
s
Let h be (-5 - 548/(-108))*3. Is h >= 1?
False
Let q = -60 - -60. Let h = -32 - -28.9. Let k = h + 4. Is q greater than k?
False
Suppose 17*u + 799 = -1598. Let t = -168 - u. Which is bigger: t or -26?
-26
Suppose 0*g - 165 = -5*g. Suppose 3*f = -4*y - g, -2*f - 2*y - 7 = 13. Which is greater: f or -13/2?
-13/2
Let c be (-16)/10 + (-27)/(-45). Suppose -v + 4*r = 36 + 26, 3*r - 58 = v. Let b be 3 + v/26 - 1. Which is smaller: b or c?
c
Let k be (-830)/(-4) + -3 + -3. Are 203 and k unequal?
True
Suppose -5*a + 5 = 0, -8*i - a = -4*i - 21. Let r be 1/2 - 9/(-2). Let y = i - r. Is 7/6 at least y?
True
Let c = -345 + 346. Let z = 21 + -29. Are z and c unequal?
True
Let m = 9 - 8. Let r(i) = -i - 7. Let d be r(-9). Let c be 0 - -1 - d/m. Is c < 0?
True
Let z be (2/(-3))/(1/(-3)). Suppose -z*j - 6*x = -x - 1, -4*x = 5*j - 45. Let b be 355/25 + 2/(-10). Do b and j have the same value?
False
Let h(o) = o**3 - 17*o**2 + 10. Let j be h(17). Which is smaller: 0.6 or j?
0.6
Let r = 85 - 85.08. Let p = 22.08 + r. Is -2/9 > p?
False
Let p = -1/134 + -265/402. Which is smaller: -1/139 or p?
p
Let l be (-5)/((-3)/((-6)/(-2))). Suppose 92 = -l*o + 7*o. Is 45 greater than or equal to o?
False
Let q = 18.4 - 20.4. Which is smaller: -31 or q?
-31
Let p = 254 + -220. Which is bigger: 3/11 or p?
p
Suppose -8*c = 25*c - 99. Suppose -4*i = -5*h + 22, 5*i - 21 = -h - 5. Is c at least as big as h?
False
Suppose -2*b - j = 3, 3*j + 3 = 2*b - 14. Suppose v + 2 - b = 0. Let r be (-2)/(-24)*(-2 - -4). Which is smaller: v or r?
v
Let d = 10460 + -1453934/139. Is d bigger than -1?
True
Suppose 6*i = -2*n + 4*i, -2 = -3*n - 4*i. Is -56 at most n?
True
Let h be 6 - 3 - (-3)/(9/21). Let w be (1 + 52/(-8))*h. Are w and -54 equal?
False
Let i(o) = 3*o**2 - 3*o. Let v be i(1). Let g be 4/16 - (-148)/(-16). Which is greater: g or v?
v
Let j be (-1 + -1)*(-5)/(25/105). Is j bigger than 42?
False
Let m be (-108)/30*5*1. Let i be -1 + m*(-1)/14. Are 0 and i equal?
False
Let w = 529 + -332. Which is smaller: w or 198?
w
Let p = 1.3 + 27.7. Let l = p - 27. Which is greater: 0.1 or l?
l
Let a = -28 + 56. Let k = a + -31. Which is smaller: -1/4 or k?
k
Let r be (-6176)/(-15540) - 0 - 8/20. Is r < 0?
True
Let q be 5/(-20) - (-11338)/72. Let p = 157 - q. Let y be 1/(-2 - (0 + -1)). Which is smaller: y or p?
y
Let f = 45 + -31. Suppose -4*h - g = -2*h, -g + f = -5*h. Which is smaller: h or -5/7?
h
Let b(d) = d**3 + 6*d**2 + 6*d + 4. Let f be b(-5). Let y(z) = -z**2 + 15*z + 22. Let m be y(11). Let n = -65 + m. Is f smaller than n?
True
Let y(w) = w**3 - 10*w**2 - 12*w + 8. Suppose 0 = -3*f + 29 + 4. Let u be y(f). Which is greater: u or -7?
u
Suppose 3*k = 2*n + 1, 4*n - 43 = -4*k - 35. Which is greater: n or -1453?
n
Let k = 6.1 + 14.9. Let d = -19 + k. Let h be (-8)/(-4) + 11/(-4). Is d smaller than h?
False
Suppose 2*k - 141 = 59. Let r be (4 + k/(-22))/2. Let l be 0/(2/(2/(-1))). Which is bigger: r or l?
l
Suppose 2*b + 1 + 23 = 0. Let n be (-51)/b + (-5)/20. Let o = -8 - -12. Is o not equal to n?
False
Let m(n) = n**2 + 18*n + 66. Let q be m(-13). Which is greater: -10/9 or q?
q
Suppose -63 = -11*x + 14*x. Let d be 39/7 + (-9)/x. Let t be 3/(-29)*4/d. Is 0 > t?
True
Let s = 0.5 + -6.5. Let u = 7 + s. Which is greater: u or -6?
u
Let x = 0.082 - 0.382. Is 13 less than x?
False
Let j be (-36)/4*(-2)/6. Suppose -j*o - 6 = 0, 5*m - 11 = -4*o + 11. Let i be (18/81)/((-4)/m). Which is bigger: -1 or i?
i
Let m(t) = -2*t**2 - 58*t + 47. Let x be m(-28). Is x >= 102?
True
Let m be 22/(-55) + (-1405)/175 + 1. Which is smaller: -6 or m?
m
Suppose 2*a + 26 - 8 = 0. Let h be 9/(-27)*(0 + a). Is 25/6 > h?
True
Suppose 0 = -f - 2*r + 3, 4*r - 2 = -f + 3. Which is smaller: f or 16/27?
16/27
Let g be 2/8*-2*(-4)/(-61). Let i = g - -69/244. Does 2/11 = i?
False
Suppose -3415 - 121 = -16*z. Is 222 < z?
False
Let j = 6 + 3. Let d(y) = 2*y - 2*y + 14 - y - 4. Let c be d(j). Which is bigger: 2/15 or c?
c
Let q = -24 - -27. Let n be 2 - (q - (1 - 1)). Which is smaller: 1/16 or n?
n
Let n be ((-20)/(-25))/((-69)/15)*-20. Which is greater: 2 or n?
n
Let h = 84 + -70. Suppose -12*q - h = -5*q. Let z = 17/2 - 9. Is z less than or equal to q?
False
Let y be 16/(-20) + (-68416)/630. Let t = y + 988/9. Is t at least 1?
False
Let u be 3*(2 - (2 - (-304)/12)). Which is greater: -75 or u?
-75
Let o(s) be the first derivative of -2*s**3/3 - 5*s**2/2 - 22*s - 30. Let m be o(-5). Which is bigger: m or -46?
-46
Let n be 12/90 + 13/15. Is 7/38 greater than n?
False
Let k be 21 + (2 - (4 + -1)). Suppose -k - 14 = 2*w. Suppose -350 = -16*f - 622. Are w and f nonequal?
False
Let g be 16/42 - 4/6. Let z = 1 + 31. Let r = z + -30. Do r and g have the same value?
False
Let r be (-28)/203*-62*(-6)/(-24). Is r < 1?
False
Suppose 3*o - d + 65 + 50 = 0, 4*o - d + 155 = 0. Let k be 88/o*(-2 + (-2 - 1)). Which is smaller: 10 or k?
10
Let p(x) = -x**3 - x**2 - 19. Let j be p(-3). Which is greater: j or -9/53?
-9/53
Let y = -632 + 650. Is y at least 0.1?
True
Let g = -71 + 52. Are g and -246/13 non-equal?
True
Let s = 69861909/2518 - 27745. Is 0 not equal to s?
True
Let j = 15 + -14. Suppose -5*d - 4 = j. Let w be 1 - (0 + -1)/(-1). Is d at most as big as w?
True
Let z = -88245/79 - -1117. Suppose -12*o + 12 = -10*o. Let c(u) = u**2 - 4*u - 11. Let p be c(o). Is p smaller than z?
False
Suppose 4*m = -n - 21, 0*n + 4*n + 5*m + 29 = 0. Let h = 4.0585 + -0.0685. Let d = h + 0.01. Are n and d equal?
False
Let w(c) = c**3 + 6*c**2 - 10*c - 9. Let x be w(-7). Let g be ((-2)/6)/((-4)/x). Let d = 466/105 + -68/15. Which is smaller: g or d?
d
Suppose 0*p - 4*w + 69 = p, 0 = p + 5*w - 70. Let y be ((-1 - p) + 0)/((-21)/14). Which is greater: y or 1?
y
Let d = 35 + -31. Suppose -8 + 47 = d*n - 5*q, n = 3*q + 15. Which is greater: n or 5?
n
Let q = 52 - 27. Let m = -127 - -102. Let g = m + q. Are 0.2 and g non-equal?
True
Let m = 173 + -173. Let t = 0.8 - -34.2. Let c = t + -21. Is m >= c?
False
Let r = 25/12 + -11/4. Let x = -231 + 252. Which is greater: x or r?
x
Let q be -3 - -6 - (-63)/(-24). Suppose 0*v = 4*v - 16. Let g(a) = -a**3 + 3*a**2 + 3*a + 3. Let m be g(v). Which is smaller: q or m?
m
Let p be (-4)/(-14) - 178/(-14). Suppose -p*k + 4 = -12*k. Let o = -1 - k. Which is bigger: -7 or o?
o
Suppose 4*z - 9*z - f - 138 = 0, -4*z + 2*f - 102 = 0. Is z < -31?
False
Let b = 30737/29 - 1060. Which is bigger: b or 1?
1
Let x be -2*(15/6 - 3). Let j(h) = 2*h**3 - 2*h**2 + 2. Let g be j(2). Let q be ((-1)/(-3))/(3/g). Which is smaller: x or q?
x
Let m = 6581/462 - 158/11. Are 1 and m equal?
False
Suppose 0 = 5*v + 5*a + 1805, 4*v = -5*a + 312 - 1752. Let h be 4 + v/55 + 3. Is -1 bigger than h?
False
Let a be (-4)/2*(-3 + 1). Let j be (2/5)/(a/(-5)). Let f be 11/(-220) - (-2)/(-10). Is j <= f?
True
Suppose 5*t = 4*t + r - 762, -2*t + 3*r = 1523. Is -762 less than t?
False
Let j = -0.039 - -26.039. Let v = 25 - j. Is v bigger than 2?
False
Let g(v) = v**3 - 2*v + 3. Let m be g(3). Let f = m + -18. Which is bigger: 10 or f?
10
Let a = 166 + -142. Is a smaller than 25?
True
Suppose 8 = -4*d, 2*d = 5*s - 10*s - 4. Which is greater: -2 or s?
s
Let i = -325 + 327. Which is smaller: 95 or i?
i
Let w(i) = 15*i + 215. Let u be w(-15). Is u less than or equal to 7?
True
Let y be 44/10 - (-30)/50. Suppose -4*q = -y*w - 0 - 9, 4*w - 4*q + 8 = 0. Is w at least 1/3?
False
Let v(g) = 153*g**3 - g**2 + 3*g - 2. Let n be v(1). Suppose 4*l - l + n = 0