8. Which is bigger: 0 or h?
0
Let p(m) be the second derivative of m**4/12 + 4*m**3/3 - 13*m**2/2 - m. Suppose -4*q - 42 = -3*b, b + 2*b = 5*q + 51. Let f be p(q). Which is smaller: -5 or f?
-5
Suppose -5*t - 9 = 2*i - 3, t + i = -3. Suppose -14 = -2*b + 10. Suppose -a + 3*m = a - b, -2*a + 20 = -5*m. Is a > t?
False
Let y = -3 + 5. Let r be (-2)/(-6) - (2 - y). Is r < 0?
False
Let o = 23 - 20. Which is bigger: o or 12/5?
o
Let y be (2 + -1)*(1 - 2). Let o be 2/4 + (-123)/6. Let h be (-2)/(-10)*o/12. Which is smaller: y or h?
y
Let f = -7/6 + 1. Let d = 0.06 + -0.26. Is f at least d?
True
Let k be (-3 - -9) + (-3)/1. Is 0.2 equal to k?
False
Let w(c) = -c. Let b be w(-5). Suppose -5*a - 3*y = 8, 4*a - 2*a + b*y = 12. Which is greater: a or -5?
a
Let r be (-2)/((-30)/(2 + 0)). Let t be 3 - (-1 + 3) - 0. Is r greater than t?
False
Suppose -3 = 5*u - 4*y, -5*u = -0*u + 2*y + 21. Let m(h) = -h**3 - 3*h**2 - 3. Let o be m(-3). Does o = u?
True
Let u = 0.2 + -0.21. Let h = 0.31 + u. Let o = h + 0.7. Which is smaller: 2/7 or o?
2/7
Let o = -2607/7 + 373. Let t = -6 - -6.2. Which is smaller: o or t?
t
Let s be 1/(-2) + 3/6. Let i = 1016.06 + -1008. Let t = i - 8. Is t > s?
True
Let z = 2 + -1. Let n = 4.5 - 0.5. Which is smaller: n or z?
z
Suppose -u = 2*x + 2*u + 11, -4*x = 2*u + 10. Is x > -3/31?
False
Let a(o) be the second derivative of -o**3/3 - 3*o**2/2 + o. Let b be a(-3). Suppose 1 = 2*d + b. Is d >= 0?
False
Let j = 16.1 + -3.1. Let v = 9 - j. Let w = -0.1 - 0.9. Is v smaller than w?
True
Suppose 0 = 3*o - 8*o + 25. Suppose 4*c = o*k + 9, -2*c - 4*k - 3 = -1. Is -2/29 greater than or equal to c?
False
Let r = -7 + 2. Let c be (-2)/(-3) + 119/(-21). Is c > r?
False
Let s(v) = 6*v**3 - v. Let q be s(1). Suppose -q*g + 3 = -k, 0 = 4*g - k - 2*k + 2. Let p = -254 - -1781/7. Which is bigger: p or g?
g
Let q = -156 + 156. Is -3/59 smaller than q?
True
Let g(t) = -t - 5. Let k be g(-4). Suppose -23 = -s + 5*u, -s - 5*u - 35 = 4*s. Is s less than k?
True
Let f be 3 - (-27 + 2) - 4. Is f at most as big as 23?
False
Let w = 0.3 - 0.2. Let q = 4.86 + -4.78. Is w < q?
False
Let z(o) = 4*o + 8. Let i be z(-2). Let h be (-1)/(-2*19/2). Is h <= i?
False
Suppose 0 = -2*b + n - 37, -4*b - 61 = 5*n - 8. Is b > -17?
False
Let k be (-1)/(2 + (-54)/28). Let c be (-1 - 1) + k/(-8). Let d = 15 - 13. Does d = c?
False
Let j(z) = z**3 + 4*z**2 + z + 5. Let d be j(-4). Let q = -47 + 189/4. Which is smaller: q or d?
q
Let z(y) be the third derivative of y**5/60 - y**4/12 + y**3/3 - y**2. Let c be z(2). Which is bigger: c or 1?
c
Let x = -67/252 - -1/63. Let p = 29/2 - 14. Which is bigger: x or p?
p
Let f be ((-63)/18)/((-2)/12). Which is smaller: 20 or f?
20
Let g(k) = k - 4. Let i be g(11). Let r be ((-64)/(-20))/(2/5). Which is greater: r or i?
r
Suppose 5*y + 3*d + 10 = 35, -y - 8 = -2*d. Suppose -2*v = -5*i - 13, v = -y*i + 3*v - 10. Which is smaller: 0 or i?
i
Suppose -4*p = -2*p. Suppose 0 = 3*o - p*o - 3. Is o < 1/5?
False
Let p be (-1 - -2)*-1*1. Let l be -7 - -8 - ((-3)/(-3))/1. Which is greater: l or p?
l
Let u = 11 - 8. Let y be ((-2)/u)/((-10)/(-105)). Is y > -7?
False
Suppose -12*a = -3*a. Which is bigger: a or 0.6?
0.6
Let n be -12*(-3)/1128*-4. Let l = -394/141 - n. Are -4 and l equal?
False
Let u(v) = 2*v**3 + 9*v**2 - 5*v - 1. Let h be u(-5). Which is smaller: -179 or h?
-179
Let o be ((-2)/(-4))/((-5)/30). Is o > -2?
False
Let l(y) = -y**2 + y + 3. Let p be l(0). Suppose -p*n = 2*c - 2, -4*n = -2*c - 8 - 4. Which is smaller: n or 0?
0
Let v = -2590/3 + 820. Let b = v - -44. Which is greater: b or 2?
2
Let w = 10 - 10. Suppose w = 3*x - 6*x - 9. Do -5/3 and x have the same value?
False
Suppose -u - 3*u = 12. Let t be 18 + u/2*2. Suppose -4*i + 5*q = 15, -8*i + 3*i + 5*q = t. Is 0.4 at least i?
True
Let q be 4 - (-5)/((-5)/2). Suppose t - 4 = n + 4*t, -q*t = 4. Suppose -2*i + 5*w = -7*i - 5, 3*i - w - 9 = 0. Is i greater than or equal to n?
True
Suppose 0 = -10*r - 478 - 142. Are r and -64 unequal?
True
Suppose -y + 20 = -3*y + 5*d, -2*d - 30 = 3*y. Let x be (1 + 0)/(2/y). Let l(g) = g + 6. Let z be l(x). Is 0 smaller than z?
True
Suppose 25 = -2*s - 5*z, -2*s + 6*s = -4*z - 20. Is s < -2/13?
False
Let z = -223 - -5797/26. Is 1 > z?
True
Let c be (-1)/4 + 1 + -1. Let q = 125 - 89. Suppose 0 = -5*m - 26 + q. Which is bigger: c or m?
m
Suppose -2*w = 38 - 12. Is w bigger than -37/3?
False
Suppose 3*l - 1 = -2*p + 13, 8 = 2*l. Which is bigger: p or -1?
p
Let u = -6 + 3. Let z = 1 - u. Let r = 4 - z. Are -0.2 and r unequal?
True
Let k(q) = -q**3 + 10*q**2 + 5. Suppose 0 = 3*c - w - 30, 4*c = -0*w + w + 40. Let x be k(c). Suppose 3*s = x*s. Is s >= 2?
False
Let h = -12 - -8. Let i(z) be the first derivative of -z**3/3 - 5*z**2/2 - 4*z - 2. Let r be i(h). Is r less than 1?
True
Let r = -2 + 7. Let i be 17/(-20) + 3/r. Let v be (0 - 0/(-1))/3. Which is smaller: i or v?
i
Let o = 0 + 0. Let p = o - -0.1. Suppose 0 = z - 6*z. Are z and p equal?
False
Suppose 0*z = 2*z - 8. Suppose 2*p - 5*m = -16, -20 + z = -4*m. Let y = -2 - -4. Is p >= y?
True
Let u be ((-1)/(0 + -1))/1. Let h = 28613/55 + -4704/11. Let x = h - 93. Which is greater: u or x?
u
Suppose 0 = -4*b + 3*x + 3, 2*b + 0 = x + 1. Let u be (4/6 - -2)*3. Suppose u = 2*v + 2*l, -3*l - 4 + 14 = v. Which is smaller: v or b?
b
Suppose 0*m = -3*g - 4*m + 2, 3*m = 2*g - 7. Suppose -4*u - 2*r + r = -12, -2*r + 6 = g*u. Do 3 and u have the same value?
True
Let b be (32/(-24))/((-5)/(-3)). Is -1 <= b?
True
Suppose 0 = -2*m - 6*m + 64. Which is bigger: m or 0?
m
Suppose 8 = -4*b - 4. Is b != 1?
True
Suppose f - 3*n = -17, 4*f + 4*n + 3 = 3*n. Does f = -2?
True
Let c(y) = -y**3 + 5*y**2 - 3*y + 1. Let l be c(2). Suppose 2 = -l*d + 5*d. Which is bigger: d or 1/4?
1/4
Let u = 8 + 0. Let d = -11 + 18. Which is bigger: d or u?
u
Suppose f + 0*j = -3*j + 17, 0 = 2*j - 10. Let d be 2/f - 0/1. Is d at least as big as -2/7?
True
Suppose -11 = -v - 9. Suppose -i = -3*i + 2. Which is bigger: i or v?
v
Let x = -1 - -26. Let q = x + -9. Let r be 2/9 - q/(-9). Is 2 > r?
False
Let d = -71/5 + 512/35. Is d >= -2?
True
Let h = -12.3 - -13. Let n = 2.7 - h. Is n at most 6?
True
Let x(i) = i**3 + 4*i**2 - 1. Let m be x(-4). Let z(p) = 3 - p**3 + 7*p**2 - 4*p + 4 - 3*p. Let v be z(6). Is m at most v?
True
Let f be 1092/(-77) + (-3)/(-66)*4. Is f <= -8?
True
Let h = -7.4 + 7.43. Which is smaller: h or -2/5?
-2/5
Let z = 6 + -4. Suppose 5*r + 4 + 23 = g, -z*r - 8 = g. Let f be (((-4)/(-6))/g)/1. Is f >= 1?
False
Let b be 1/4 - (-92)/16. Let k be (1 + -1)/(b + -8). Which is smaller: k or -3/5?
-3/5
Let h be (-1)/(-2)*0*1. Suppose h*k + 2*k = -12. Which is bigger: k or -9/2?
-9/2
Let u(t) be the third derivative of t**5/60 - t**4/24 - t**2. Let y(k) = k**2 + 3*k + 1. Let r be y(-3). Let c be u(r). Which is bigger: c or 2?
2
Let g = 18 + -17. Which is bigger: 30 or g?
30
Suppose 0 = 4*n - 2 - 14. Is 2 equal to n?
False
Let l = -1927/11 - -175. Which is greater: -1 or l?
l
Let b(r) = 2*r**2 + 6*r - 2. Let v be b(4). Let s be v/13 - 18/117. Is s < 3?
False
Suppose -2*s = -s - 2*f - 21, -2*f = 4*s - 114. Let n = s + -55/2. Is -14 equal to n?
False
Suppose -3*w = -4*p - 0*p + 29, 3*p - 4*w - 27 = 0. Suppose 3 = -3*f + h - 1, -p*h + 20 = 2*f. Is f smaller than -1/10?
False
Let q(r) = r**2 + 2*r. Let n be q(-3). Suppose 5*h = n*h. Which is smaller: h or 2/51?
h
Suppose 3*l + 2*l - 106 = -y, -122 = -5*l + 3*y. Let p be l/(-6) - (-1)/(-3). Let r(j) = -4*j**2 - j + 1. Let g be r(1). Does p = g?
True
Suppose 2*d - 9 = -d - 3*p, -4*p = -16. Which is bigger: d or 2/13?
2/13
Let j = -0.1 - -0.2. Let s = 29 + -20. Is s <= j?
False
Suppose -2*l - 15 = 5*p, 4*p + 21 = 3*p - 4*l. Which is greater: p or -3/83?
-3/83
Let y = -3 + 5. Let u be y/10 + (-18)/(-10). Let r(o) = -o - 3. Let n be r(-6). Which is smaller: u or n?
u
Let w = 0.23 - 1.73. Let c = 0.1 - -0.4. Let r = c + w. Which is greater: r or -0.4?
-0.4
Suppose 14 = w + 7*f - 3*f, -f - 2 = 0. Is 23 < w?
False
Let j be 25/(-10)*9/5. Is j > -2?
False
Let r = 0.2 + -0.1. Let o = 2 + -1.72. Let m = -0.08 + o. Which is greater: r or m?
m
Let a = 0 + 0. Let k = 50 - 19. Let x = k - 36. Which is greater: x or a?
a
Let l = 3 + -1. Suppose 2*q = 5*d - 14, -3*d = d + 8. Let h be (-30)/q - 1/(-2). Which is