8?
a
Let z(o) be the first derivative of o**4/4 - o**3 + o**2/2 - o + 2. Let w be z(3). Which is greater: 1/2 or w?
w
Let d = 231/8 + -59/2. Is d < -1?
False
Let v = -2 - -3. Are 3/8 and v equal?
False
Let k(s) = 21*s - 11. Let b be k(-2). Which is smaller: b or -52?
b
Let h(z) = 2*z - 4. Let d be (3/(-1) - -3) + 3. Let n be h(d). Is n greater than or equal to 2?
True
Let u = 3.901 - -0.099. Which is bigger: -21/2 or u?
u
Let j(x) = -x**3 + 32*x**2 - 32*x + 11. Let p be j(31). Is p != 2?
True
Suppose 2*s - 8 = -22. Let g be 4/(-14) - 2/s. Which is smaller: 4/9 or g?
g
Let r be 5 - -1*515/(-105). Let k(c) = -c - 5. Let w be k(-4). Which is greater: w or r?
r
Let u(n) = 3*n**3 - 8*n - 2*n**3 + 9*n. Let s be u(0). Suppose 17 = 3*q + 4*i, -26 = -s*q + q - 5*i. Does 2 = q?
False
Let j = -162 - -180. Is 1 < j?
True
Let x(u) = 4*u**2 + 10*u + 7 + 0*u - 3*u**2 - 2*u. Let w be x(-6). Let m = 24/5 + w. Which is greater: -1 or m?
m
Let n = 9 + -4. Let m(w) = w**3 + 7*w**2 + 5. Let d be m(-7). Is n != d?
False
Let n(l) = l**3 + 5*l**2 + 3*l - 3. Let z be n(-4). Let r = -1.44 + -0.56. Is z bigger than r?
True
Let l be (-4 - (-116)/36) + 4/(-18). Let y = 1 + 1. Let k be (-4)/(-14) - y/7. Is k greater than l?
True
Let g be (-1*2 - -1) + 2. Let o(t) = -t**3 - 8*t**2 - 10*t - 6. Let h be o(-6). Let b be (-2)/6*h/10. Do g and b have the same value?
False
Let p be -4*(-9)/(-17) + 5 + -3. Suppose -5*g - 13 = -4*h, 2*g = -2*g - 2*h. Which is bigger: g or p?
p
Let v(x) = x**2 + 3. Let k be v(0). Let n = -4 + 7. Does k = n?
True
Let f be 4/(-6) + (-10)/(-6). Let p be (-1)/5 + (-63)/(-15). Let m be 0 - ((-30)/(-8) - p). Which is smaller: f or m?
m
Let j = -1/80 - -33/80. Suppose 3*y - 7 = -0*g + g, 3*g - 3*y = -9. Is g bigger than j?
False
Let w be 0 - -4 - (1 + 0). Let n be (-8)/3*18/(-8). Suppose 15 = w*u - 5*t, 0*u - 5*u - 2*t = n. Is 1 greater than or equal to u?
True
Let d(f) = 7*f + 3*f - f + 0*f + 9 + f**2. Let p be d(-8). Does -1/9 = p?
False
Let q = 24 + -21. Let s(i) = 5*i**2 - 1. Let u = 0 + -1. Let y be s(u). Is y not equal to q?
True
Let s = 7 - 6. Let v = s - 1.7. Let j = 0.6 + v. Is 1 greater than or equal to j?
True
Let j = 21 + -21. Which is smaller: j or -1/81?
-1/81
Let n = -7 - 0. Which is bigger: -5 or n?
-5
Let j = 0.0515 - 29.1515. Let s = j - -2.1. Is -2/5 at most as big as s?
False
Suppose -q + 8 = 3*q + 4*o, o = 3*q + 6. Which is greater: q or 13?
13
Let f = 5 + -4.5. Let a = f + -1.5. Which is bigger: -3 or a?
a
Let v(g) be the third derivative of g**5/60 - g**4/12 + g**2. Let u be v(3). Which is greater: u or 2?
u
Suppose 15*y = 20*y. Is -28 < y?
True
Let s = -26 + 29. Are s and 3 nonequal?
False
Let p = -7 + 6. Let b = p + 8. Let v = -7.1 + b. Is 6 smaller than v?
False
Let g(j) = 10 + 4*j**2 - 4*j**2 + j**2 - 9*j. Let r be (28/6)/(4/6). Let x be g(r). Is x greater than or equal to -2?
False
Let x = 0.05 - 0.06. Let d = -0.11 - x. Is d not equal to -2?
True
Let l = 1547 - 4721/3. Let x = 27 + l. Which is bigger: 0.3 or x?
x
Let b = 1 - 10. Let n = b + 9.4. Let z = 1 + -1. Is n less than or equal to z?
False
Let f be (-1 - -2)/((-2)/10). Let m = f + 5. Is 2/3 <= m?
False
Let m(w) = -w**2 + 2*w + 3. Let d be m(3). Suppose 5*v - 2*l = 2*l - 4, 5*v + 3*l - 3 = 0. Do v and d have the same value?
True
Let v = 10 - 11. Which is bigger: -10/9 or v?
v
Suppose -2*x + 18 = 20. Which is smaller: x or 2/97?
x
Let l = 20 + -5. Let x = l + -11. Are x and 8/3 equal?
False
Suppose -5 + 0 = 5*a. Suppose -2*r + r = 0. Let j be ((-3 - -2)*r)/a. Which is smaller: -1/3 or j?
-1/3
Let n = -11 + 9. Let h = 9/4 + n. Which is smaller: 0.05 or h?
0.05
Let j be (-2)/8 - 3344/(-64). Is 52 < j?
False
Suppose w + 5 = 3*h + h, -4*h + 4 = 0. Let d = -223 - -331. Let p = 974/9 - d. Which is smaller: w or p?
w
Let i(h) = h**2 - 13*h - 19. Let v be i(14). Let o(b) = -b**2 + 4*b - 1. Let d be o(5). Let p = v - d. Is p bigger than 1/8?
True
Let t be (24/30)/(-2 - 27/15). Which is greater: 0 or t?
0
Let c be (-10)/25 + (-117)/(-5). Suppose n + 5*y - c = 0, -3*n + 4*y = -0*y - 164. Let t be 4/n - (-2)/8. Which is smaller: t or 0?
0
Let n(g) = -7*g**2 - 3*g**2 - 12*g + 10 + 9*g**2. Let h be n(-13). Which is greater: h or -4?
h
Let p = -197915189/472 + 419312. Let u be (-8)/(-59)*4/16. Let d = u - p. Is -1 equal to d?
False
Suppose 3*z - 12 = 3*u, -z - 2 = 3*z + 2*u. Let p = -11 - -15. Suppose p - z = -3*f. Is -2/7 bigger than f?
True
Let s = 639/46189 - 2/221. Let g = s + -431/2717. Is -1 less than or equal to g?
True
Let o be (1 - (4 - 3))/2. Suppose x - 3*n = -0*x, x - 2*n = o. Are x and 0 nonequal?
False
Let z = 53/21 - 20/7. Does 2/9 = z?
False
Let n = -0.2 - -0.14. Is n not equal to -0.1?
True
Suppose 10 + 2 = -2*q. Let b(s) be the second derivative of s**5/20 - s**3/2 - s**2 + s. Let a be b(-2). Are a and q nonequal?
True
Let y(f) = f**2 + 7*f + 6. Let o be y(-6). Let k be (-7 - 192/(-28))/(-1). Which is bigger: o or k?
k
Suppose -6*b - 12 = -5*b. Which is greater: 1 or b?
1
Suppose 2*z + 2*z - 2*g - 122 = 0, 4*g = -2*z + 36. Suppose 1 = 2*u - 5*b - 11, 2*u + 5*b = -z. Which is smaller: u or -2?
u
Let f(p) = -p**3 + 5*p**2 + 6*p + 17. Let u be f(6). Is 16 bigger than u?
False
Let w = 40 + -25. Suppose w = -2*v + 3. Which is smaller: -5 or v?
v
Let r be (-3)/6*(6 - 14). Do r and 4 have the same value?
True
Let w = -5.9 + 6. Which is smaller: 5.6 or w?
w
Let d(v) = 3*v + 12. Let k be d(-4). Which is smaller: k or -54?
-54
Suppose 5*m - 5*u + 40 = 0, 3*u = -2*m - 2*m + 3. Let v(y) = -y**3 - 4*y**2 - 3. Let w be v(-4). Do w and m have the same value?
True
Suppose 5*y = 4*n + 27 + 1, -4*n - 12 = -y. Suppose -4*j - 11 = p, 2*p + 10 = -0*j - y*j. Is 3 equal to j?
False
Suppose -n = 4*n - 15. Suppose -d = -n, 6 = 3*r + 5*d - 3. Let m = -3 - r. Which is smaller: m or 0?
m
Let t = -3 + 3.12. Let j = t - -0.08. Which is greater: 0 or j?
j
Let q be (-9)/18 - 174/(-4). Is 42 < q?
True
Let s = -33 - -28. Is s != -1?
True
Suppose -3*l + 4*r + 17 = 0, l + 4*l - 7 = -4*r. Which is smaller: 2 or l?
2
Let d = 37.43 - -1.57. Which is bigger: d or -1?
d
Suppose 13*z + 129 = -1. Is -10 equal to z?
True
Let q(p) = p**2 - 4*p - 1. Let t be q(4). Which is smaller: t or -2/27?
t
Suppose -4*y - 6 = s, -s - 4*y + 6 = -6*s. Which is smaller: s or -16/5?
-16/5
Let m = -359 + 2159/6. Let q = 1/3 - m. Which is bigger: q or 2?
2
Suppose b = -0*b - 11. Let j = b + 16. Let r = -7 + 11. Is r at least as big as j?
False
Let v = 85 + -74.9. Let w = v + -8. Let n = 2 - w. Which is smaller: n or -1?
-1
Let t = 426 + -49840/117. Let g = 80/117 - t. Is 0 <= g?
True
Let w(m) = m**2 + 7*m + 5. Suppose -5*g + 4*i - 38 = 0, -12 = g - 0*g - 3*i. Let n be w(g). Let j be (15/6)/(n/2). Is j less than or equal to -5?
True
Let w(z) = z**3 - 6*z**2 + 2*z - 9. Let a be w(6). Let d(k) = k + 0 + 2 + 0*k**2 - k**2 + 2. Let f be d(a). Is f smaller than -2?
False
Let j(a) = -16*a - 24. Let l be j(-3). Is l bigger than 24?
False
Suppose 2*z + 0*z = -22. Is z > -11?
False
Suppose -3*c = -4*d + 12, 0 = -4*d + 3*c - c + 8. Is d at least as big as 4/15?
False
Let d(l) = l + 4. Let o be d(-12). Which is smaller: -7 or o?
o
Let o = -0.219 - -0.019. Let d = -48 + 142/3. Are o and d equal?
False
Suppose -2*g - 5*v + 20 = 0, 5*v - 4*v - 56 = -3*g. Let w be (12/10)/((-6)/(-20)). Suppose -5*b - k = -31, -k + g = w*b + k. Is 6 smaller than b?
True
Let y(c) be the first derivative of 4*c**3/3 + c**2 - c - 4. Let m be y(-2). Is 12 > m?
True
Suppose -2*x = x - 12. Let o(y) = y**3 - 10*y**2 + 3. Let v be o(10). Suppose v*k + x = -k. Which is greater: k or 1/5?
1/5
Let m(s) = s**2 - 7*s + 7. Let c be m(6). Let r(i) = -i**3 - 2*i + 1. Let a be r(c). Which is bigger: a or -3?
a
Suppose 0 = 15*n + n + 64. Is n at least -8?
True
Suppose j + 0*j = 0. Let k = -28 - -28. Does k = j?
True
Let u = -20 - -8. Let c be (27/u + 2)*3. Let g(l) = -l + 3. Let q be g(5). Is c at most as big as q?
False
Suppose c + 10 = 2*c. Let u be ((-3)/c)/((-48)/20). Which is bigger: u or 1?
1
Let d = 4.8 + -7.8. Is -2 smaller than d?
False
Suppose 0 = -v - v + 24. Let b = 7 - v. Which is greater: b or -6?
b
Let r be (4/(-3))/((-10)/15). Suppose 3*o = 4*c - 17, -4*o - 18 + 4 = -c. Are r and c equal?
True
Let a be 3 + 0 - 2 - 1. Let r(s) = s**2 - 8*s - 6. Let w be r(9). Supp