hird derivative of -a**5/60 + 5*a**4/12 + a**3 - 2*a**2. Let v be o(11). Let l = -11/2 - v. Which is smaller: l or -2?
-2
Let d be ((-30)/(-205))/((-6)/(-4)). Does d = 0?
False
Let l = -6338.9 + 6339. Let k = 0.13 + -0.27. Which is greater: l or k?
l
Suppose 99 = -5*x + 2*g, 2*x - 3*g - 32 = 4*x. Let k = x + 19. Suppose 6*p - 4*s = 4*p - 16, -4*s = -3*p - 16. Is k bigger than p?
False
Let y be 8 + 2 + -9 + 2. Let a be (-1 - -1*43) + -2. Let i = -77/2 + a. Is i less than y?
True
Let h = 4045/678 + -15/113. Suppose 4*o + 30 = 10*o. Which is smaller: h or o?
o
Let g(y) = -y + 13. Let u be g(10). Suppose -4*w = -r - u*r - 36, -63 = -4*w - 5*r. Is 11 at most as big as w?
True
Suppose 615 = 5*q - 5*y, -2*q = -6*q - 4*y + 460. Which is smaller: q or 118?
118
Let h = -0.114 + -11.686. Let r = h + 24.8. Suppose 3*c + 2 + 1 = 0. Which is smaller: c or r?
c
Let j be 3/27*-3*(-36 + 0). Which is bigger: j or 17?
17
Let l(z) = 4*z**2 + 15*z**3 - z - 2*z - 14*z**3 - 6. Let j be l(-4). Let g be (7*(-1 - -2))/1. Which is bigger: g or j?
g
Suppose 12*f - 7*f = -8*f. Suppose 4*b = -4*y + 36, 2*b - 7 - 1 = 0. Is f greater than y?
False
Let v = 1.171 - 1.14. Let n = v + -0.031. Which is greater: n or -1/18?
n
Let p(x) = -x**2 - 12*x - 16. Let v be p(-11). Let u = -4 - v. Suppose n - u = -0. Does n = 7?
False
Let p(v) = v**3 - 7*v**2 + 4*v - 6. Let k be p(7). Suppose 5*j = k + 73. Suppose -3*r + 21 = -n, 2 = n - 2*r + j. Do -8 and n have the same value?
False
Suppose 39*l - 34*l = 5*b - 215, -111 = -3*b - 3*l. Is b <= 40?
True
Let g(h) = -h**3 + 12*h**2 - 16*h + 46. Let m be g(5). Which is greater: m or -1?
m
Let m = 4.196 - 0.096. Let x = -3.17 - -7.17. Let z = m - x. Which is smaller: 0.7 or z?
z
Let a(b) = -5*b**2 - 14*b + 30. Let m(r) = r**2 + 3*r - 6. Let l(i) = 2*a(i) + 11*m(i). Let s be 5*-1*4/5. Let u be l(s). Is -8 greater than u?
True
Suppose -7*f = -2*f - 85. Let o(p) = -1 + p + f + p. Let z be o(-11). Is -4 < z?
False
Suppose 0 = -3*s - 2*i + i + 365, 3*s - 5*i = 389. Let j be (-2)/s*(-11 + 8). Which is greater: 1 or j?
1
Let n = -135 - -207. Let b = n - 73. Is -1/81 <= b?
False
Let p(x) = x**3 - 5*x**2 - 5*x + 44. Let v be p(5). Suppose -m - 90 = -6*m. Which is bigger: v or m?
v
Let w = 257/6 + -259/30. Which is smaller: w or 33?
33
Let u = -53 + 40. Let r = -13 + -7. Let p = r + 8. Does p = u?
False
Let h = 1/50392 - -579353/7810760. Let j = -7/31 - h. Which is smaller: 1 or j?
j
Let x be (4 - -1) + (-3 - -1). Let d = 15 + -24. Let i be -2 - d - (0 + x). Do 2 and i have the same value?
False
Let m be ((-3)/6)/(7/14). Is m less than -1/42?
True
Let a = -192 - -191.8. Which is smaller: a or 23?
a
Let v(b) = -2*b**3 - b**2 + b + 1. Let n be v(1). Which is smaller: n or 14/53?
n
Let y be (-4 + 2)*-2 + 13. Suppose 5*m - 62 = -v + y, v = 4*m - 56. Which is smaller: 14 or m?
14
Let h = 5666.9 + -5667. Let b = -0.4 - -1.8. Which is smaller: h or b?
h
Let h be 320/(-32) - 38403/(-3840). Which is smaller: 0 or h?
0
Suppose 0 = -k + l + 5, -k - 3 = 2*l - 8. Suppose 0 = -2*v + 5*x - 14, -k*v = -x + 2*x + 8. Which is smaller: -3 or v?
-3
Let n be (-1 - (-6)/4)/((-32)/(-1088)). Let v be n/(68/48) + 3. Which is smaller: 17 or v?
v
Let r be 2*(-1)/2 + 0. Suppose -w + 6 = -0*w. Let t = 7 - w. Which is smaller: t or r?
r
Suppose -7*t + 94 = 38. Which is bigger: 11 or t?
11
Let r(n) = -108*n + 974. Let m be r(9). Which is smaller: m or 17/13?
17/13
Suppose 0 = -65*s + 41*s + 24. Which is greater: 2/45 or s?
s
Let w = 6 + -8. Let o = -53 + 76. Let l = 23 - o. Does l = w?
False
Suppose -2*z = -5*d - 85, 8*d = -3*z + 3*d + 115. Which is greater: z or 43?
43
Let r(m) = -6*m - 4. Let j be r(-1). Let f be 132/21 + j/(-7). Is f greater than 0?
True
Suppose -8*i + 2192 = -0*i. Suppose d + 5*l + 5 - 78 = 0, 4*d + 2*l - i = 0. Is d greater than 68?
False
Let n = -0.0414 - -0.5714. Which is greater: n or -1?
n
Let l = -111.034 + 111. Which is greater: l or -1/3?
l
Suppose -36*f + 35*f = 132. Does f = -133?
False
Let b(t) = -t**3 - 49*t**2 - 39. Let v be b(-49). Which is smaller: v or -16?
v
Suppose 303*z - 302*z = -12. Is -29 equal to z?
False
Let k be (-13)/(104/48)*(-3)/(-132). Are k and -6 non-equal?
True
Let q = -39 - -44. Let p(a) = -a. Let f(v) = v - 1. Let h(m) = 4*f(m) + 3*p(m). Let t be h(q). Is t less than -1/10?
False
Let r(k) = -k**2 - 12*k + 47. Let s be r(-13). Suppose 86 = 4*i - 58. Is s < i?
True
Let b be 9 + (4 + 0 - 5). Let m = 2 - -11. Let k = -7 + m. Is b at most k?
False
Suppose 12 = -3*v, -2*i - v - v + 118 = 0. Let k = 62 - i. Is 1/93 equal to k?
False
Let f(q) = q**3 + 4*q**2 - 5*q + 2. Let v be f(-5). Suppose 3*p - 10 = -4*k, -2*p = p + 6. Is v at most as big as k?
True
Suppose 960 = 77*y - 62*y. Which is smaller: y or 61?
61
Let v = 52 - 51. Let u be 8/(-20) + 62/180. Is v less than u?
False
Let d = -31 - -52. Let z = 53 - 73.8. Let t = z + d. Which is greater: -0.5 or t?
t
Suppose 0 = 2*j + 5 - 9. Suppose -2*g - 2 - 18 = -4*l, -5 = -l - j*g. Do l and 9 have the same value?
False
Let a = 22 + -25. Let g be (70/(-21))/((-2)/a). Let v = 3 + -8. Are g and v nonequal?
False
Let o be 9124/(-13) - (-4)/(-26). Let l be (-48)/o - (-2)/13. Let y(a) = a + 1. Let n be y(0). Is l >= n?
False
Let k(l) = l - 3. Let w be k(3). Let q(t) = 6*t**2 - 4*t**2 + 0 + w. Let h be q(-1). Is h at most as big as 0?
False
Let p be 258/(-9) - (-4)/6. Let y be 5/(-10) + (-13)/p. Let h = 107 + -108. Does y = h?
False
Let v = 1463506/9 + -162437. Let c = v - 175. Which is smaller: c or -16?
-16
Let q be (2 + (-3)/4)/(1/(-56)). Are -1 and q unequal?
True
Let w(n) = -n - 20. Let a be w(-19). Which is smaller: a or 1/1288?
a
Suppose -4*b + 12 = 144. Let y = b - -49. Let t = 2206 - 2189. Is y less than t?
True
Let a be (-3 - (-4 + -57)) + 0/13. Which is smaller: -1/6 or a?
-1/6
Let s(f) = 3*f**2 - 26*f - 3. Let t be s(7). Are -38 and t non-equal?
False
Let j be (-4)/(-20) + (-45)/(-25). Is j < -137?
False
Let l = 0.86 + 0.14. Let d = -1.14 + l. Let r = d + 2.14. Is 2 greater than r?
False
Let n = 29 - 14. Let j = -3 - n. Let v be 9/63 - j/(-77). Are v and 0 equal?
False
Suppose -2*j + 4*j - g + 1 = 0, 4*j - 4*g + 8 = 0. Suppose 5*b - j = -6. Which is smaller: 3/29 or b?
b
Let y = 269 + -269. Is 8/295 greater than y?
True
Let l be -6 + (-3)/(12/(-35)). Let i be -2*(0 - (-2)/4). Is l > i?
True
Let t(i) be the first derivative of -i**4/4 + 10*i**3/3 - i**2/2 - 13*i - 7. Let f be t(10). Are f and -24 unequal?
True
Let r = 555 - 554.11. Is -1 < r?
True
Let i be (-21684)/7202 + 4 + -1. Is 0 greater than or equal to i?
True
Let u be (-9 - (-18 + 10))*(1 - 2). Is 3/571 smaller than u?
True
Let u(z) = 17*z - 1. Let h be u(1). Let m be (-2)/((-2)/(-2)) - h. Let o = 291 + -310. Which is bigger: o or m?
m
Let z be 135/(-18)*(-72)/15. Let i be (-5 + 172/z)*(-12)/10. Which is smaller: i or 1?
i
Suppose -2*o + 7*o + 39 = -z, z = 5*o - 79. Let n = 57 + z. Which is smaller: -3/4 or n?
n
Let a(b) = -b**2 + 17*b + 8. Suppose 89*z - 87*z - 26 = 0. Let i be a(z). Is 59 greater than or equal to i?
False
Suppose -5*x + 6*f = f + 905, 189 = -x + 5*f. Are -179 and x non-equal?
False
Suppose 18*o + l = 15*o - 4, -4*l - 16 = 2*o. Let x(a) = -2*a - 2. Let z be x(-2). Let i be -2*(-33)/36 - z. Is o < i?
False
Let o = 448/27 - 50/3. Suppose 0 = 3*k - 4*j - 1, -j = -5*k - 3*j - 7. Let i be 0/(k - 0)*-1. Is o smaller than i?
True
Let w be -1 + 2 + (12/2 - -22). Suppose -w = -5*u + 11. Is 70/9 less than u?
True
Let x = -2735 + 2584. Is x at most -2?
True
Suppose 2290 = 12*i - 242. Do -1 and i have the same value?
False
Let z = -8 + 4. Let h(q) = 10*q - 51. Let j be h(5). Which is smaller: z or j?
z
Suppose 6*u = -152 - 64. Let o = -30 - u. Are o and 5 non-equal?
True
Let q = -16/17 + 1. Is 0 at least q?
False
Let b = -0.03 - -17.03. Let t = 15.4 - b. Is 0.1 greater than or equal to t?
True
Suppose 6*k + 85 = k - j, -3*k = -5*j + 79. Let l be (k/8)/(21/(-56)). Suppose -5*n + l = 51. Is -9 at least n?
True
Suppose v = 3*l - 3*v + 68, -54 = 4*l + 2*v. Let s(k) = 16*k + 128. Let w be s(-9). Is l < w?
False
Suppose -4*s = 2*u + 22, -3*u = 3*s + 6 + 15. Let v be (-1)/(u/(4 + -1)). Let w = 20/11 + -5/33. Which is greater: v or w?
w
Let v = -444/5 + 5333/60. Are -1 and v unequal?
True
Let n = -83 + 827/10. Suppose -f - y = -6