t r(m) be the second derivative of -m**4/3 + m**3/6 - m**2 + 3*m. Let d be r(2). Let z be 2/(d/(-4 - -2)). Which is smaller: z or -1/7?
-1/7
Let d = 12 - 37. Let f = d + 18. Is f at least 1?
False
Let z = 31 + -47. Let g be 2 + 74/z - -3. Which is smaller: g or 1?
g
Let g = 31 + -61/2. Is 2 > g?
True
Let w = -29 - -29. Let a(k) = k**2 - k - 4. Let v be a(3). Is w at least as big as v?
False
Let t = -0.18 + 0.18. Which is smaller: t or -0.02?
-0.02
Let j be (-2)/(-3)*(-6)/16. Let q = -3/4 - j. Let w = 7/6 + q. Which is greater: w or 0?
w
Let s = 23 - 11. Let q be s*(2/4 - 0). Let o be q/9*(-2 - -11). Is 5 greater than or equal to o?
False
Let w = 11 + -11. Let a = -5 + 5.3. Let o = a - -0.7. Which is bigger: o or w?
o
Suppose -4*f + 4*n = -16, 0*n + 12 = 5*f - n. Let v = 2 + 0. Are f and v nonequal?
False
Let o(i) = -2*i**2 - i - 2. Let q be o(-3). Is -19 less than q?
True
Let o = 2 + -5. Let p = 5 - 3. Let w = o + p. Which is smaller: -3 or w?
-3
Let q be (7/3 + -2)/1. Which is smaller: 3 or q?
q
Suppose 0 = -5*d - 5*u - 70, -4*d + 7*d + 5*u = -50. Does -7 = d?
False
Let j be ((-1)/2)/(3/9). Let n(a) = a**2 + a + 1. Let m(w) = -4*w**2 + 3*w - 9. Let r(p) = m(p) + 3*n(p). Let i be r(4). Is i at most j?
False
Suppose -4*s = 4*x - 20, -5 = -0*x - x. Is -6/11 bigger than s?
False
Suppose 0 = 3*c + 2 - 17. Let x(k) = k**2 - 3*k + 2. Let p be x(2). Suppose 5*b - 2*v - 10 = 0, p = -2*b - 5*v - 5 + 38. Is b >= c?
False
Let l = -12 - -7. Let s = -6 - l. Is s != -1?
False
Let i = 547/3 + -186. Which is smaller: i or -3?
i
Let a = -4 + 1. Let x = a + 2. Let n be 13/20 + (-1)/4. Which is greater: n or x?
n
Let g = -1 - -3. Suppose 3*s = -3*t - 9, -3*s = -2*t + 1 + 3. Which is greater: t or g?
g
Let c be -1 - ((-1)/4 + -1). Suppose 4*u - 1 = 11. Suppose 7*w = u*w + 4. Is w less than c?
False
Let b be (-1)/(12/15 + -1). Suppose 3 = b*i - 7. Suppose 17 = 5*o - 3*g, -i*o = -g - 5 - 1. Which is smaller: -1 or o?
-1
Let o = 120 + -120. Which is greater: -6/17 or o?
o
Suppose 22 = -3*q + 2*p, -7*q + 2*p - 26 = -3*q. Let r = 34 - 19. Let z = -19 + r. Is z less than or equal to q?
True
Let b = 0.101 - 0.101. Is 18 greater than b?
True
Suppose 4*p - 20 = -0*p. Let g(w) = 2*w - 4. Let d be g(6). Suppose -k - 3*k = -d. Which is greater: k or p?
p
Let u = 64 + -517/8. Which is smaller: 0 or u?
u
Suppose 0 = 2*x - 3*n - 8, 4*n = -5*x + 15 + 5. Suppose -x*i - 2 = 6, 0 = -4*z - 2*i. Which is greater: -3/8 or z?
z
Suppose 1 = -7*f + 1. Which is bigger: 12/11 or f?
12/11
Suppose 4*q = -t + 5*t - 16, -3*q - 4*t = -16. Let g = 2.7 + -3. Let v = 1.3 + g. Which is smaller: q or v?
q
Let s = -33/5 + 11/10. Which is smaller: -7 or s?
-7
Let c = -2/233 + 249/1864. Suppose -2*r = 6, 2*r + 15 = -2*w - 3*r. Let j = 0 + w. Is j at least c?
False
Let g(s) = s + 2. Let b be g(-1). Suppose -v - b + 2 = 0. Let r be 23/69 + 4/15. Are r and v nonequal?
True
Suppose -4*d = -w + 2*w - 7, -3*w - 4*d + 21 = 0. Let l = w + -4. Is l equal to 0?
False
Let n be ((14/4)/7)/2. Let i(q) = q**2 - 7*q + 5. Let h be i(6). Is h <= n?
True
Let f = -1793/9 + 199. Suppose 3*h + 5 = o, 4*o = -2*h - 3*h + 3. Is h at least f?
False
Let q = 35 - 209/6. Are q and -1/5 non-equal?
True
Let z = 43 + -28. Suppose z = -3*h, h = 5*l - 1 - 9. Is l bigger than 0?
True
Let f be ((-16)/(-6))/(3/(-9)*1). Let s(b) = 7 + 4*b - b - 2*b. Let u be s(f). Do u and -2 have the same value?
False
Suppose 5*v = -0*i - i + 43, -2*v + 10 = -2*i. Suppose 4*f + v = -4, 7 = -5*g + f. Let o be 2 + -3 - g/3. Which is smaller: -0.2 or o?
o
Let k be 1*((0 + 0)/(-3) + -2). Is -3 >= k?
False
Let a = 4 + -3.4. Let v = a - 2. Let b = v - -1. Is b < 0?
True
Let w = 0.106 - 0.006. Is w smaller than -7?
False
Let n = -5 - -5. Suppose h + n*h + 5 = 0. Is h at most -5?
True
Let r = 1.3 + 0.2. Let b = r + -0.5. Let a = 0.9 - b. Which is smaller: 0 or a?
a
Let w be 1 + (-1994)/(-770) + -3. Let t be (1/(-33))/(5/(-3)). Let q = w - t. Which is bigger: 0 or q?
q
Let h = 0.9 + 0.1. Let t(y) = y**3 + 19*y**2 + 32*y - 22. Let f be t(-17). Which is bigger: f or h?
f
Let d(t) = t**2 + 9*t + 8. Let q be d(-7). Which is smaller: q or -4?
q
Let l be (-6)/(-21) - 14600/(-105). Let a = -118 - 23. Let s = l + a. Which is smaller: -2 or s?
-2
Suppose -4 = 4*i - 2*g, -5*g + 2 = i + 3. Are -2 and i non-equal?
True
Suppose 4*d - 16 = -4*p, 3 = p - 1. Let v be ((-3)/(-4))/((-1)/(-4)). Let n = d + v. Is n >= -1/3?
True
Let z = -1701 - -103764/61. Is -1 at most as big as z?
True
Let y = 30.2 + -28. Let l = -1.8 + y. Which is smaller: -2 or l?
-2
Let z(c) = c**3 - 7*c**2 - 2. Let h be z(7). Is -8/3 smaller than h?
True
Let c be 0 + -1 + (9 - -1). Suppose 4*h = -2*m + 7*m + 27, -m = -2*h + c. Let i = -53 + 55. Is h greater than i?
True
Suppose 3*d = -d + 24. Suppose h + 3 = 4. Is h smaller than d?
True
Suppose 0*i - 4*i - 2 = 2*r, -r - 5 = i. Let v(b) be the second derivative of b**5/20 + 2*b**4/3 - 3*b**3/2 + b**2/2 - b. Let f be v(r). Is f < 1?
False
Let x = -16 - -10. Let p(s) = -s**2 - 6*s + 6. Let d be p(x). Do d and 7 have the same value?
False
Let a be -1 + (1 - (-4)/18). Let k(j) = -j + 2. Suppose 3*u - 8 = -5. Let q be k(u). Is q less than or equal to a?
False
Let l = -2693 - -148107/55. Let q = 6/11 + l. Which is greater: -1 or q?
q
Suppose 2*r = -2*r + 16, 5*r = -2*u. Is -55/6 at most as big as u?
False
Let a = -7 + 6.91. Is a not equal to -0.1?
True
Let j(i) = -2*i - 9. Let s be j(-4). Is s > -3/7?
False
Suppose -8*o + 8 = -6*o. Let x be 2/o*-11*-2. Does x = 1?
False
Let k = 13.01 - 13. Let v = -1.01 + k. Which is smaller: v or 0.1?
v
Let y be 28/(-10) + 3/(-15). Let l = -6 - y. Suppose -r - h - 1 = 0, -2*h - 1 = r + 1. Is r equal to l?
False
Let g be ((-12)/45)/(14/5). Which is greater: 0 or g?
0
Suppose 0 = -4*h + 14 + 18. Suppose 2*b - 36 = -4*b. Which is greater: h or b?
h
Let a(k) = k**3 - k**2 - k - 3. Let w be a(0). Let d(z) = z**3 + 2*z**2 - 2*z - 2. Let v be d(w). Are -4 and v non-equal?
True
Suppose 0 = -3*x, z + 4*x = 2*z + 4. Let w be (-4)/6 - 96/(-90). Which is greater: w or z?
w
Let p = 1 + 2. Let t(b) = -b**2 - 6*b - 9. Let d be t(-3). Is d <= p?
True
Let u = 22 - 15. Is 7 < u?
False
Suppose -3*m + 3*h - 90 = -m, -2*m = h + 82. Is m < -42?
False
Suppose -8*u + 4*u = 0. Let b be 1/(1/(1*105)). Let x = b + -839/8. Is x at most u?
False
Let p be (-13)/12*-1 + -1. Let c(u) = -6 + 11 - u**2 - 8*u - 13 + 0*u. Let j be c(-7). Is p at most j?
False
Let m = -143.02 - 0.98. Let n = -149.9 - m. Let g = n - -6. Is -2 > g?
False
Suppose -3*f = 6 + 3. Let a(w) = w**3 - 5*w**2 + 4. Let d be a(5). Let u be (d/(-6))/(1/3). Which is smaller: u or f?
f
Let a be (-9)/72 + (-21)/8. Are 0 and a non-equal?
True
Let c = 17 - 1049. Let p = 17550/17 + c. Is p <= -1?
False
Let o be 1131/(-27) + 1 + 0. Let t = -5891/144 - o. Let l = t + 101/240. Is -4 <= l?
True
Let l(s) = -s**3 - 9*s**2 - s - 9. Let o be l(-9). Let x(f) = f**2 + 7*f + 6. Let a be x(-6). Is o smaller than a?
False
Let w be 3 + (-5)/(165/84). Is -0.1 > w?
False
Suppose 4 = 2*s - 8. Let w = -29 - -49. Let a be 5/2*s/w. Is a > 1?
False
Suppose -3*a + 2*a = 1. Let c(r) = -r**3 - 15*r**2 + 15*r - 15. Let w be c(-16). Which is smaller: a or w?
a
Let y = 0.07 + -2.27. Let j = y - -2. Which is smaller: -1 or j?
-1
Suppose 5 + 10 = -3*a. Let l be 4*(a - -4) - -3. Is -3 smaller than l?
True
Let k be 1*2/1*2. Suppose -4*u = -5*u + k. Suppose u*r - 4 = 2*r. Is r at least as big as 3?
False
Let p = -862/9 - -96. Which is bigger: -2.2 or p?
p
Let k be ((-34)/(-10) + -3)*30. Let y(f) = -f + 13. Let s be y(k). Is s at least as big as 1?
True
Suppose -u - 5*y + 3 = 31, 0 = y + 5. Is -11/5 bigger than u?
True
Let z = 3782/85 - 226/5. Let h = z + 98/187. Let v = 1 - 0.9. Which is bigger: v or h?
v
Suppose 5*a = -2*v - 52, 16 = -5*a - 4*v - 38. Do a and 0.4 have different values?
True
Let u = -2 + 0. Let g be (-1)/u - 7/(-2). Which is smaller: 3 or g?
3
Let b = -1638 + 21309/13. Which is greater: b or 2?
2
Let f(a) = -a**3 + 4*a**2. Let z be f(4). Suppose 0*r = -r. Suppose r = 5*v + 2*l + 4 - 2, -5 = 2*v + 5*l. Is v smaller than z?
False
Let x(b) = b**3 + 3*b**2 + 2*b. Let q be x(-2). Let m = -231/4 + 57. Which is smaller: q or m?
m
Let t be (-3)/(-3) - 2/(-2). Let j be (-2)/(18/21) + t. Is j > 1?
False
Let k = 21 - -19. Let