 = -q**3 - 9*q**2 - 21*q - 3. Let f be n(-4). Is 6/11 < f?
True
Suppose 4*k - 1 - 7 = 0. Let a = 1 - k. Which is bigger: 1/10 or a?
1/10
Let q = 2.98 - 3. Which is bigger: 0 or q?
0
Let z(p) be the third derivative of -p**5/20 - p**4/24 + 2*p**2. Let d be z(-1). Which is smaller: -3 or d?
-3
Let r be ((-36)/(-48))/((-14)/4). Is r not equal to 0?
True
Let s(p) = 4*p + 4. Let x(w) = 5*w + 4. Let y(j) = -6*s(j) + 5*x(j). Let f be y(5). Which is smaller: 0 or f?
0
Let t be (-2)/(-3)*(-12 - 0). Let j(p) = -p. Let r be j(6). Let v = r - t. Is 3 smaller than v?
False
Let s(g) = -15*g + 1. Let u be s(1). Let f be 2/(((-5)/(-34))/1). Let l = f + u. Does -1/4 = l?
False
Let o be (0 - 4) + 0 + 3. Is o bigger than -1?
False
Let r(l) = l**3 + 6*l**2 + 2. Let h be r(-6). Let j be h/4 + (-26)/4. Let u be 2/6 + 32/j. Is -5 greater than u?
False
Let q(f) = -4*f - f**2 - 2*f + f + 1. Let k be q(-4). Which is greater: k or 6?
6
Let g be 3 + -2 + (-21)/27. Is g >= -1?
True
Let p = -494 - -17289/35. Suppose -5 - 2 = -7*l. Is l >= p?
True
Let j = 6 + -5. Suppose -5 = -z - j. Is z at most 3?
False
Let u(k) be the third derivative of -1/120*k**6 - 11/60*k**5 + 2*k**3 - 3/8*k**4 + 0 + 2*k**2 + 0*k. Let d be u(-10). Is d not equal to 3?
True
Suppose 2*x = -8 - 8. Let g be 2/x*8/(-20). Which is bigger: g or -0.1?
g
Suppose 4*q - 2 = 6*q. Suppose 0*k = 2*k + 2. Is k at least q?
True
Let u(w) = w**2 + 2. Let l be u(0). Suppose -l*v = 6 + 6. Let x = -4 - v. Is x bigger than 2/3?
True
Let h be ((-3)/(-3)*11)/1. Let n be ((2 - 0)*h)/2. Suppose 5*d + s = 8, -5*d - 2*s + n + 0 = 0. Do d and 2/13 have different values?
True
Suppose -2*o + 10 = -0*o. Suppose -o*k = 5*s - 3*k - 3, -4*k + 16 = 0. Do 1 and s have the same value?
False
Let s = 7/6 + -23/30. Is -0.4 at most s?
True
Suppose 0 = a - 5*a. Is 1/22 at most as big as a?
False
Let o = -11 - -8. Suppose -d + 3*c + 4 - 2 = 0, -2 = -2*d + 5*c. Which is greater: d or o?
o
Let l be (-15)/(-5) - 2/(-2). Suppose -f = -4, c + 0*c + l*f = 21. Is c < 0.2?
False
Let c(s) = s**2 + 2*s - 3. Let p = -2 + 9. Suppose 5*o + 22 = p. Let q be c(o). Are q and -1/4 nonequal?
True
Let k = -2 + 35/17. Which is smaller: k or 0?
0
Let w(v) = 2*v**3 - v**2 - 2*v + 2. Suppose 5*x - 10 = -5*c, -3*c + 2*x + 6 = -x. Let q be w(c). Let o be ((-8)/q)/(2/(-10)). Which is smaller: 3 or o?
3
Let i(x) = x**2 + 9*x + 10. Let o be i(-8). Suppose 3*u - o = 1. Let g be u + 0 - (4 - 2). Does 1/8 = g?
False
Let c = -1.82 + -0.08. Let r = 0.1 + -2.1. Let d = r - c. Which is smaller: d or 2?
d
Suppose 5*t - p - 1 = 0, -3 = 5*t - 0*t + 3*p. Suppose t = -2*r + 23 - 3. Which is smaller: r or 11?
r
Suppose -9*r = -4*r. Which is smaller: r or 3?
r
Let z = 37.1 - 40. Let s = 3.7 - 0.7. Let k = s + z. Is -0.1 smaller than k?
True
Suppose 2*h = 6*h - 16. Suppose o - 5*o + h*i = -8, 5*o = -4*i - 8. Which is smaller: o or -1.1?
-1.1
Let h = -123 + 127. Is h not equal to -5?
True
Let x be 1/(-2) - (-12)/12. Is 1/4 smaller than x?
True
Suppose 8 = -2*f, x + 5*f + 3 = -6. Is x > 15?
False
Let w be (-16)/7 - (-6)/21. Let c be -1 + w + 8/3. Which is bigger: 4 or c?
4
Let l(f) = -f**3 + 9*f**2 - 8*f. Let m = -70 - -98. Suppose m = 3*o + 4*d - 3*d, 0 = -2*o + 3*d + 4. Let g be l(o). Which is greater: 2/5 or g?
2/5
Suppose 4*b - 4*t - 4 - 4 = 0, -2*b = -3*t - 3. Let z be b/(-9)*(3 + -4). Does 0 = z?
False
Let r(b) = -1 - 2*b + b - 2. Let y be r(-5). Suppose z = 4*z - 2*t - 10, -t = 5*z - 8. Is y < z?
False
Suppose a = 3*u + 31, -5*u + 213 = 5*a - 22. Which is bigger: 41 or a?
a
Let i be 3*2/6 - -3. Suppose -4*n = 5*s + i, -2*n + s + 1 = 3. Let b be 2 + -2 - (-1)/(-7). Which is bigger: n or b?
b
Suppose -n + 20 = 3*n - 2*t, -4 = 2*t. Let r be 155/9 + n/(-18). Suppose -5*x + r = -8, -3*g - 2*x = -10. Is g greater than -1/2?
True
Let f = 101 + -72. Let w be f/(-33) + 1/3. Is w at least 0?
False
Suppose -b = -5*v + 27, 4*v - 12 = 4. Let o be (-1)/4 + b/4. Let i be 2/(5/(15/o)). Is -3 >= i?
True
Let a be (8/(-32))/((-2)/8). Suppose 0 = 2*s + h + 1, -5*h + 33 = -3*s - a. Are s and -3 nonequal?
False
Let h(v) = -v**3 + 3*v**2 + v + 2. Let a be h(3). Suppose 0 = -4*u + 3*r + 7, u - a*r - 6 = -0*u. Let g be 24/14 + u*-2. Does g = 1?
False
Let m = 2 - 4.5. Let c = 0.5 - m. Let u = 0.1 - 0.1. Are u and c nonequal?
True
Let w(t) = t**3 - 4*t**2 + 2*t - 6. Let n be w(4). Suppose 3*a = n*a. Which is smaller: a or 1?
a
Let c(b) = b + 3. Let m be c(-3). Let p be (-1969)/(-9) - (m + -1). Let x = p + -220. Is 0 at least as big as x?
True
Let u = 34 + -16. Let l be 8/(-20) + u/20. Let i(h) = h**3 - 4*h**2 - 6*h + 7. Let d be i(5). Which is bigger: l or d?
d
Let i = -50 - -51.98. Let y = i + 0.02. Let l = -2.3 + y. Which is bigger: -1/3 or l?
l
Let u = -28 + 26.9. Let r = -1 - u. Let j = r + 0. Is 1 at most j?
False
Suppose -t - 2 = 3*a + 6, -5*a - 16 = t. Does t = 6?
False
Let r = -12 + 11.9. Let l = -1.17 + 1.1. Do r and l have the same value?
False
Let v = 21.9 - 21. Let n = -1.1 + v. Is n greater than 2?
False
Let k be 8/27 - 16/72. Is k > 1?
False
Let o = 18 + -17. Suppose 2*f + o = f. Which is bigger: -1/12 or f?
-1/12
Suppose -2*v - 3*v + 10 = 0. Suppose 3*n + 4 = v*n. Are n and -3 equal?
False
Suppose 0*h - 6 = h. Let c be (-1)/(-2) + h/12. Is -1 bigger than c?
False
Let v(o) = o**3 - 7*o + 0*o**3 + 6 - 5*o**2 + 0*o**2. Let y be v(6). Suppose 2*u - 2 = 4*f, -11 = -9*f + 4*f - 2*u. Is f not equal to y?
True
Let i(k) = k + 10. Let x be i(-7). Suppose 3*g + 3 + x = 0. Which is smaller: 1 or g?
g
Let w(x) = -x**2 - x + 6. Let z be w(-3). Let m be -1 - -1 - (-2)/5. Is m smaller than z?
False
Let l(y) = y**3 + 3*y**2 - y. Let d be l(-3). Suppose -d*t = -7*t - 28. Is t > -8?
True
Suppose -3*z = -5*s - 16, -3*s - 24 = z - 6. Let q = 10 + s. Which is greater: q or 6?
6
Let s(y) = -y**2 - 9*y + 1. Let q be s(-8). Suppose 2*h - 3*v - q = -h, 2*h - v = 7. Is 4 smaller than h?
False
Let c(t) = -t + 4. Let a be c(4). Let q be (27/(-12) - -2) + a. Which is bigger: -1 or q?
q
Let s(z) = -z - 1. Let x be s(-3). Let k = 20 + -10. Suppose k = 3*p - 2*b + 2, -4*p + 2*b = -8. Which is bigger: x or p?
x
Suppose 4 = 5*d + 9. Does 1/4 = d?
False
Let w = 0.5 + -0.6. Let x be (-130)/240 - 2/(-3). Which is smaller: x or w?
w
Let k = -41 - -43. Is 1/11 at most k?
True
Let d be 873/(-1248)*(-4)/(-6). Let v = 5/16 + d. Which is smaller: v or 1?
v
Let n(u) be the third derivative of u**4/24 + 5*u**3/3 - 3*u**2. Let b be n(-9). Is 1 less than b?
False
Let f(y) = -y**3 + 5*y**2 - 6*y + 2. Let p be f(2). Which is greater: 6/5 or p?
p
Suppose 38 = -3*n - 7. Let b be 4/5 + 6/n. Is -1 less than or equal to b?
True
Let d = 5/28 - 31/644. Which is bigger: 2 or d?
2
Let g = -0.3 + 1.3. Let n = -0.1 + 1.6. Let t = n + -1.6. Is t at least as big as g?
False
Suppose -5*v - 2*j + 18 = 0, 0 = -v - 3*j - j + 18. Which is smaller: 3 or v?
v
Let o be 2/(-4) + 7/98. Which is greater: o or -1?
o
Let n be 8/(-4) + -4 + -69. Which is greater: -74 or n?
-74
Let v = 2 - 17. Is v smaller than -16?
False
Let i = 8 - 8. Suppose i*p + 2 = -p. Let q be -3*p/6*1. Is 4/11 equal to q?
False
Let z be (-56)/(-102) + (-4)/6. Let f(u) be the first derivative of u**3/3 - 9*u**2/2 + 13*u + 5. Let o be f(7). Is o > z?
False
Suppose 0 = 2*d + 4, -2*h - d = 2*h - 18. Suppose 0 = -s + h*s. Which is bigger: -8 or s?
s
Let h = 562 + -573.92. Let p = 12 + h. Which is smaller: p or 1/4?
p
Suppose -15*z + 10*z = 0. Which is smaller: -10/11 or z?
-10/11
Suppose -4*t = -5*w + 15, 5*t - 3*w + 2 = 4*t. Suppose -13*l - 6 = -11*l. Which is smaller: l or t?
t
Let k = 11/4 + -3. Let v = -0.46 + -18.54. Let q = -20 - v. Which is greater: k or q?
k
Suppose -4 = 3*j - q + 4, 2*j + 2*q - 8 = 0. Is -12/23 smaller than j?
False
Let c = -1 + -0.4. Let r = -1 - c. Let o = -10.1 + 10. Which is smaller: r or o?
o
Suppose 5*m + 4*c = -51, 3*m - 4*m - 3*c - 19 = 0. Is -7 bigger than m?
False
Suppose 0*g = g - 82. Let h = 248/3 - g. Which is greater: -0.2 or h?
h
Let t(i) = i**3 + 4*i**2 - 13*i - 1. Let q be t(-6). Is -0.4 greater than q?
False
Suppose 5*z = 4*z - 7. Let l(d) = d + 4. Let f be l(z). Which is bigger: f or -5?
f
Let l(i) = i**3 + 9*i**2 + 2*i + 3. Let u be l(-9). Let d be 18/(-24)*8/u. Let c be 1 - 0/(1/(-1)). Which is bigger: d or c?
c
Let r = -51.3 - -51. Does -5 = r?
Fa