+ 8. Suppose 0*b + 40 = -4*b. Is b <= a?
True
Let m(o) be the second derivative of 9/2*o**2 + 0 + 1/6*o**3 - 3*o. Let s be m(-8). Which is smaller: 2/9 or s?
2/9
Let p = 2 + -3. Let o be (21/9 + -2)*p. Let g = 0.1 + 0.1. Which is smaller: g or o?
o
Let b be 12/8 + (-153)/105. Is b <= 1?
True
Suppose -3*x + 10 = w, -17 = -5*w - 6*x + 2*x. Which is smaller: -18 or w?
-18
Suppose 22*g - 2 = 20*g. Is 8/9 < g?
True
Let q = 1679/12 - 440/3. Which is bigger: -2/9 or q?
-2/9
Suppose -2*z - 1 = -13. Is z not equal to 17/3?
True
Let o(j) = -j**2 - 3*j + 4. Let u be o(-4). Which is smaller: 2/33 or u?
u
Suppose s = -3*s. Does -2/33 = s?
False
Let b be (2/(-3))/((-3)/(-27)). Let w(a) = a + 6. Let v be w(b). Is v bigger than 6?
False
Let g be ((-12)/(-192))/(2/(-4044)). Let u = g + 126. Do u and -1 have the same value?
False
Let s be (-72)/4*(-1)/3. Suppose 3*u = u - s. Suppose -3*n + 24 = -4*p, -4*p - 10 + 2 = n. Is u bigger than p?
False
Suppose -12 = -3*w, -2*k + 5*k + 18 = 3*w. Let v = 3 - 5. Is v at most as big as k?
True
Let h be (-1)/(-1)*(-2 - 2). Let u = -5 - h. Let d = u + 0. Which is smaller: 1 or d?
d
Suppose -x + 33 = 2*x + 2*w, 3*x - 33 = -4*w. Let n be 4/(-6)*2/(-2). Which is smaller: x or n?
n
Let t be 8/5 + 14/35. Suppose -18 = t*i + 4*b, -2*b = 4*i - b + 15. Which is greater: -2 or i?
-2
Let a be (-18)/63 - (-4)/(-7). Suppose -5*p + 2*g - 15 = -1, 0 = -5*p - 5*g. Which is smaller: a or p?
p
Suppose -s = 5*m - 11, -4 = -3*m + s + 9. Suppose -3*b = -m*l - 15, 2*b - 2 = 4*l + 10. Which is smaller: -1/43 or l?
l
Let g = -1 + 1. Suppose 3*y - 7 - 5 = g. Let t be (-10)/y - (-3 + 1). Which is smaller: t or 0?
t
Let b be (-45)/(-35) - (-4)/(-14). Suppose -2*v = 8, 0 = 4*x - v + 3*v. Let h be -2*b*x/(-4). Which is greater: 4 or h?
4
Let c be (-162)/15*(-10)/(-3). Is c less than -36?
False
Let f = -576581 + 1295592. Let c = f + -323555177/450. Let l = 3/50 + c. Is 1 at least l?
True
Let k(p) = -11*p**2 - 8*p - p - 1 - p**3 - p. Let c be k(-10). Is 1 not equal to c?
True
Let h = 10 - 8.7. Let a = h - -8.7. Let l = -12 + a. Is -0.2 at most l?
False
Let r be 1 - (2 - 5 - -2). Let o be (84/(-8))/(3/4). Let t be 6/o*42/(-24). Are r and t unequal?
True
Let q be ((-10)/(-4))/(6/12). Suppose 0 = -v - 4*k + q + 9, v + k = -1. Let h be (3/(-12))/((-2)/v). Which is smaller: -2 or h?
-2
Let c = 46459 - 2090287/45. Let b be 2 - 8*13/10. Let o = b + c. Is 1 < o?
False
Let z = -32/7 - -316/63. Are z and 0 nonequal?
True
Let n = 184343/7 + -26263. Let y be -1 - (-1 - -71) - 1. Let k = y + n. Is k at most as big as 0?
True
Let t be 1*(288/(-2))/(-4). Let l be (-2)/9 + 8/t. Is l at least 5/6?
False
Let c be -3 + (2 - (-12)/21). Let h(o) = -o + 1. Let w be h(-5). Suppose -n + 2*i = -5*n - w, -5*i = -3*n + 15. Which is bigger: c or n?
n
Let d = 18 - 18. Which is smaller: d or -1/33?
-1/33
Let r(h) = -5*h**3 - 1. Let l be r(-1). Suppose 3*y - x - l = x, 0 = y + 4*x + 22. Which is smaller: y or -1/2?
y
Let u(c) = c**3 - c**2 - 3*c + 2. Let o be u(2). Let s = 0 + o. Suppose 0 = 2*x - s*x - 4. Which is bigger: x or 1?
x
Let i(j) = -86*j**2 - 2*j. Let r be i(2). Let f = 5918/17 + r. Which is greater: f or -1?
f
Suppose 0 = -5*p + 15, -5*c + 0*p + 9 = 3*p. Suppose 3*r - 3 + 0 = c. Is r at most as big as 2/7?
False
Suppose 0 = -a - 3*a + 4. Let q be a/(-3) + 28/48. Which is smaller: 0 or q?
0
Let k(z) = z**2 + z - 2. Let n be k(2). Let m = n + -5. Which is smaller: 1/5 or m?
m
Let d = -0.64 - 0.06. Let g = 4.3 - d. Let v = g + -5.5. Which is smaller: 0 or v?
v
Let d(z) = z**3 - 4*z**2 + z - 5. Let o be d(4). Let b = 277 + -3049/11. Is o less than or equal to b?
True
Let a be (-1)/(-5)*(-1 - 708/(-738)). Is -1 greater than a?
False
Let f = 1.2 + -0.2. Let t be -3 + 7/(14/16). Suppose -4*s + 3 = -t. Is f <= s?
True
Suppose z - r = -3, -4*z + 3*r - 3 = 2*r. Does z = 0?
True
Let k = -120 + 118. Is k greater than 0.51?
False
Let n = 4.4 + -5. Let p = -2.6 - n. Let s = 66 + -65.5. Which is smaller: s or p?
p
Let n = -1 + 1.1. Let u = n + -0.1. Let s = 39 - 39.2. Are s and u equal?
False
Suppose 2*u = -3*u - 15. Let i = -5 - u. Let a be 3*i/9*-3. Which is greater: 4 or a?
4
Suppose 5*m + 3 + 2 = 0. Let h be 14/(-35)*(-4 - 11). Which is smaller: h or m?
m
Let r be (-2 - (-3 - 0)) + 3. Suppose -12 = g - r*g. Is 3 at most as big as g?
True
Let b = -81660/3961397 + 1/11617. Let m = 5/31 - b. Suppose 4*l = 11*l. Which is greater: l or m?
m
Suppose 4*m + 2*c = -2, -4*c - 15 = -2*m - 1. Suppose -3*j + 3*n = 6, m = -6*j + 2*j - 3*n. Which is bigger: 2/15 or j?
2/15
Suppose 19 = i - 18. Which is greater: i or 36?
i
Let p = 13 + -20. Which is greater: -8 or p?
p
Suppose 185 - 170 = 5*j. Is j greater than -2/3?
True
Let c(y) = y**2 + 9*y + 2. Let w = 7 - 15. Let l be c(w). Which is greater: -5 or l?
-5
Suppose 2*s + 1 = y - 0, 2*s + 13 = 5*y. Let w be (6/4)/((-21)/(-4)). Which is smaller: w or s?
w
Let x be 3/(-1)*(-10)/15. Which is bigger: 1 or x?
x
Suppose -12 = -3*u + 33. Is u > 16?
False
Let g = -37 + 37. Is g > 21?
False
Let z = -4 + 3. Suppose 3*n = 2*n - 2. Which is greater: z or n?
z
Let f(n) = -n**3 - 6*n**2 + 6*n - 4. Let o be f(-7). Suppose 4*j - 13 = v, o*v + 9 = -3*j - 0. Is j not equal to 3?
True
Suppose 3*q - h - 9 = 0, 2*q - 11 = -3*q + 3*h. Suppose 0*j + q*j - 9 = -d, 4*j = 5*d + 3. Which is bigger: d or -3/5?
d
Suppose 0 = -v + 4*l, -2*v - 4*l + 17 = 5. Suppose -2*p = 3*b - 27, -5*p - 4*b + 2*b + 40 = 0. Let r = v - p. Is r bigger than -2?
False
Let m be 4*((-114)/(-28) - 4). Suppose -5*o + 45 = -8*q + 3*q, -5*o + 39 = -3*q. Let y be 4/((-8)/o) - -3. Is m greater than y?
True
Suppose 0*q - 3*q - 81 = 0. Let k be (-3)/(q/(-15)) - -1. Are -2 and k equal?
False
Let g = 1097/7 - 157. Which is greater: 0.26 or g?
0.26
Let i = -11 + 22. Let f be 2753/(-44) + (-2)/i. Let c = f + 63. Are c and 0.1 nonequal?
True
Let h be (-3 - 3)*2/(-3). Suppose -3 = h*q - 7. Let b be (-6)/10 + (3 - 2). Is b less than or equal to q?
True
Let n(p) = -p - 16. Let k be n(-13). Is k < -2?
True
Suppose 0 = 5*p + 2*r - r + 11, -3*p + 2*r - 4 = 0. Let h be ((-50)/(-26) + p)/(-1). Which is smaller: h or -1?
-1
Let r = -0.6 + 0.2. Let h = 0.2 + r. Are 1/9 and h equal?
False
Let n(x) = -2*x**2 - 2*x**2 + 7*x**3 - 8*x**3 + 2. Let w be n(-4). Let u be (w - (3 - 1)) + -4. Is -4 not equal to u?
False
Suppose -2*m = j - 1, 0*m + 5*m - j + 8 = 0. Let n = 10 + -81/8. Which is smaller: n or m?
m
Let w = -9 - -7. Let s be w/(2 - (-130)/(-64)). Let h = s + -125/2. Are h and 3 unequal?
True
Let z(f) = f**2 - 8*f + 9. Let a be z(8). Let q be ((-15)/(-50))/(a/12). Are q and 11 equal?
False
Suppose 2*f - 22 = -4*a, 0*a - 4*a + 19 = f. Let d be (-1)/(4/(7 - f)). Are -1 and d unequal?
False
Suppose 33 = 4*i + 3*c, 2*i + 4*c - 27 = -c. Let n(o) = 2*o + 1. Let r(s) = -s - 1. Let d(w) = 6*n(w) + 11*r(w). Let y be d(i). Are -1/6 and y non-equal?
True
Suppose 2*p + 3*g + 0 = -31, -3*p + 3*g - 9 = 0. Is -8 equal to p?
True
Let b = -26 + 25. Which is smaller: b or 1/6?
b
Suppose b - 6*b + 15 = 0. Let u be 2/(-3)*b/(-4). Is 2 greater than u?
True
Let f(x) = -x. Let a(s) = -5*s**2. Let c be a(-1). Let y be f(c). Let q be 5/y*1/(-5). Is 1 less than q?
False
Let n = -134 - -133. Let j = 53.5 - 43. Let d = j - 1.5. Is d equal to n?
False
Suppose 2*c - 3*q = -15, 4*c = 3*q - 2*q - 5. Let o(g) = g - 4*g - 3 - 2*g - g**2. Let t be o(-4). Is t greater than or equal to c?
True
Let q be 3 - 35/10 - 1/(-10). Is -1/4 at most q?
False
Suppose 0 = -n, 5*u - 12 = -3*n - 2. Let s = -4 + 3.9. Which is smaller: s or u?
s
Let u(x) be the third derivative of x**6/120 - x**5/60 - x**4/12 - x**3/6 - x**2. Let g be u(-1). Which is bigger: -1/10 or g?
-1/10
Let s(g) = -61*g + 4. Let a be s(4). Let o = a - -3118/13. Let j be (15/(-6) - -2)*2. Which is greater: o or j?
o
Suppose z = -z. Let x(o) = o**2 + 2*o - 3. Let v be x(2). Suppose -l + 4*s + 4 + 12 = z, v*l + 16 = -4*s. Which is smaller: l or -2?
-2
Let b(o) = o**3 - 6*o**2 + o - 6. Let l be (-15)/20 + 27/4. Let n be b(l). Which is bigger: -1.2 or n?
n
Let d = 7.1 - 7. Is d at least as big as -0.4?
True
Suppose 4*v = i + 11, 0*i + 2*v + 2 = 2*i. Suppose -2*m = 5*p - 0 + 23, -i*p = -m + 11. Suppose 2*l + 18 - 3 = -5*s, -5*l + 3 = -s. Is p at most as big as s?
True
Let o = -1.49 - 0.41. Let r = 2 + o