 Let o be p(-5). Is o at most as big as -8?
False
Let y(l) = -l**2 - 7*l - 8. Let j = -6 + -9. Let d = 9 + j. Let a be y(d). Is -1/3 >= a?
True
Suppose 5 + 1 = 3*j. Suppose 2*y + 4 = -5*c, -3*y - y = -j*c - 16. Let a(v) = -v**3 + 4*v**2 - 3*v. Let k be a(2). Is y less than k?
False
Let c be -4 + -1 - (-3886)/778. Is c at least -1?
True
Let l be (-10)/60*(1/(-2) - 1). Is l bigger than -4?
True
Suppose 5*z = -4*j + 7*j - 24, 4*j - 15 = z. Let p = 5/2 - j. Which is greater: -2 or p?
p
Suppose 13*l + 45 = 110. Let r be (0 + 1)/(3/15). Are r and l non-equal?
False
Let h(j) = 4*j**3 + 2*j**2 + 2*j + 1. Let z be h(-1). Is -8/5 equal to z?
False
Let b be (-2)/5 - 42/(-5). Suppose 1 = -2*o + 17. Is o less than b?
False
Let i = -30 - -48. Is i > 16?
True
Let w = 34 + -50. Which is greater: -17 or w?
w
Let l(p) = -2*p + 16. Let h(w) = -1. Let x(k) = 10*h(k) + l(k). Let u be x(4). Is 0 <= u?
False
Let x = -5 - 0. Which is bigger: -1 or x?
-1
Let s = 7 - 5. Let q be 0/(s + -3 - 1). Let f be q - 0 - (-3 - -2). Is -1/4 >= f?
False
Suppose -14*x - 170 = -9*x. Which is bigger: -33 or x?
-33
Let i(s) = 2*s**2 - 6 + 4*s + 7 - 3*s - s**3. Let y be i(-2). Suppose -5*d = -0*d - y. Are 4 and d equal?
False
Let y = 16.4 - 16. Let m = y - 0.4. Let o = 2 - 8. Which is smaller: o or m?
o
Suppose 2*r = 3*r - 3. Is 4 < r?
False
Let d = -86 - -85. Does d = 1/67?
False
Let j be ((-12)/14)/(2*-1). Let w = 9 - 8. Which is smaller: j or w?
j
Let i(w) = -w - 3. Let d be i(-4). Let k be (2/d + -2)/(-1). Let y = -516/7 + 74. Is y at least as big as k?
True
Suppose -2*o + 15 = -25. Let x be (o/(-25))/((-2)/5). Is x > 8?
False
Let o(a) = 5 + 3*a**3 + 7*a**2 - 1 - 2*a**3. Let k be o(-7). Let n = 5 - k. Is n >= -1/6?
True
Suppose k + 1 = -1. Let b be ((-3)/(-3) + 0)/k. Which is smaller: -0.1 or b?
b
Let w = 5 + -1. Suppose 0 = 2*m - w*m. Let i be 16/72 - (-8)/(-90). Which is smaller: m or i?
m
Let p = 4 + -7. Let c = 6 + p. Suppose t = 5, -c*t = 3*i + 1 - 19. Which is smaller: 0 or i?
0
Let k(p) = -p**3 + 14*p**2 - 14*p + 12. Let m be (13*1)/((-5)/(-5)). Let q be k(m). Which is greater: q or -3/8?
-3/8
Let z(x) = -x**3 + 6*x**2 + 3*x + 2. Let w be z(6). Is w > 20?
False
Let s(b) = -b**3 - 17*b**2 - b - 19. Let j be s(-17). Which is greater: j or 3/23?
3/23
Let j = 9 - 6. Let q be 16/6 - j - 0. Is q at least as big as -1?
True
Suppose -2*s = -1 - 3. Suppose 7 = 3*z + s*i, -3*z + i - 7 = -z. Let l be z - ((-21)/18 + 0). Is -1 greater than or equal to l?
False
Let d be 2/(-4)*4/22. Suppose -6*c + 5*c = 4*o - 11, 2*o - 6 = 0. Which is smaller: c or d?
c
Suppose 0*a - 2*a = -3*p - 18, a = -2*p - 5. Let g = p - -3. Let i = g + 2. Which is bigger: -2 or i?
i
Let y = -2 - -6. Suppose p - 6 = y*p. Let l be p/(-10) + (-1)/55. Which is smaller: -1 or l?
-1
Let j = 76 + -535/7. Let h = 101 - 104. Which is smaller: h or j?
h
Let c = 4270 + -25343/6. Let s = 46 - c. Suppose -4*w - 6*h = -3*h - 11, 5*h - 24 = -w. Is w at least as big as s?
False
Suppose 2*z = 5*r + 13, -5*z + 32 + 29 = -3*r. Let j = -97/7 + z. Let d = j + 5/14. Which is bigger: d or 0?
d
Let l = -13.4 + -0.6. Let h = 13.6 + l. Let v = 211/812 - -3/116. Which is smaller: v or h?
h
Suppose 0 = 5*u - 5*p - 10, u + 0*p = -4*p + 17. Suppose -4*n + 4*b + 8 = 0, 4 = n + u*b + 2. Suppose -1 = n*l - 9. Is l bigger than 4?
False
Let y = 53819576/217 - 248016. Let q = -6/31 + y. Which is smaller: q or 3/5?
q
Let n be 2/7 - 156/7. Let m = n - -25. Is 3 > m?
False
Let r be (-16)/(-4)*3/6. Let i be -2 + 2 + r/3. Do i and 2/7 have different values?
True
Let a = 24 - 22.4. Is 1 equal to a?
False
Suppose -4*a = -2*p, a = -3*a + 3*p - 2. Suppose -k = 2*o - 3*o + a, o = -2*k - 2. Let h be (-2)/6*(o - -1). Which is bigger: h or 1?
1
Suppose 7 + 1 = 4*d + 4*v, -3 = -2*d - v. Which is bigger: d or -1/5?
d
Let y(j) = -3*j + 4. Let o be y(2). Is -1 greater than or equal to o?
True
Let a = -11/5 - -59/25. Let b = a - -17/50. Is 1 bigger than b?
True
Suppose 0 = 2*m - 2, -4*v - 10 = 2*m + 4. Let i be (-2)/10 - v/20. Is i bigger than -2/17?
True
Suppose 0 = 2*l - 0*l - p - 28, 0 = 3*l + 2*p - 28. Let f(k) = k - 20. Let a be f(l). Is -15/2 less than a?
False
Let v be ((-8)/(-4) - 2)/(-2). Let x be 2/(-4)*(v - 0). Is x less than 1?
True
Let d be (-86)/(-18) + 12/54. Let s = 4 - d. Which is bigger: -5/7 or s?
-5/7
Let q = 3 + -3. Is 6/7 equal to q?
False
Let d = 39 - 27. Which is bigger: d or 11?
d
Let m = -0.12 - -0.12. Which is smaller: m or -0.3?
-0.3
Suppose -3*j - t = -2 - 3, 0 = 3*j + 2*t - 10. Let y = j + -1. Suppose 2*b = 2*r - 10, b + 5*r - 4 - 21 = 0. Which is smaller: b or y?
y
Suppose 3*q + 0*h - 2*h = 11, -15 = q + 4*h. Suppose -8 = d - q. Is -5 bigger than d?
True
Let j(o) = o**2 - 6*o + 16. Let v be j(4). Let w be 46/14 + 6/(-21). Let z be (-1)/(w + v/(-3)). Is z >= -3/2?
False
Suppose 0 = -2*k - 21 - 23. Let c be (-93)/(-33) - 4/k. Suppose 3*s + 9 = -c. Which is smaller: -3 or s?
s
Suppose 0*j + 2*j = -40. Let q be (-6)/15*j/(-16). Let x = -7 + 5. Which is smaller: x or q?
x
Let i = 1 + 10. Let a = i + -11. Which is bigger: a or -0.02?
a
Suppose f + 0*f = 0. Suppose 0 = -f*l + 4*l - 12. Suppose -l*g = 2*g. Is -2/3 less than or equal to g?
True
Let u = 3.1 - 0.7. Let s = u - 0.4. Which is bigger: -1 or s?
s
Suppose -2*o = 5*n - 16, 3*o - o - 10 = -2*n. Suppose -9 + o = -3*c. Does c = -1?
False
Suppose 2*l = 3*y - 10, -3*l - 17 + 2 = y. Let c(q) = -q**3 - q - 1. Let p be c(y). Which is smaller: -6/5 or p?
-6/5
Let m be ((-11)/(-22))/(2/24). Let y be (-23)/11 - (-6)/m. Which is bigger: y or -1?
-1
Let s(j) = j + 9. Let i be ((-3)/(-2))/(6/(-36)). Let h be s(i). Is h smaller than -1/5?
False
Let k(n) = -21*n**2 - 2*n. Let b be k(-1). Which is bigger: -18 or b?
-18
Let l(y) = y**2 + 8*y + 6. Suppose 2*c + 2 - 28 = 3*j, -j - 2*c = 6. Let z be l(j). Suppose -z + 0 = -3*s. Which is greater: s or 1/4?
s
Let q = 7 - 5. Is q less than 0?
False
Let n = -31 + 10. Which is greater: -22 or n?
n
Let w = -839873/7821 + -50/869. Let v = w - -109. Which is greater: v or 3?
3
Let z be (-15)/(-30)*(-24)/(-11). Are z and 1 nonequal?
True
Suppose 0 = 4*u - 5*v + 56, -2*v - 2*v - 28 = 2*u. Which is smaller: u or -53/4?
u
Let r = -0.6 + 0.7. Let l = -0.08 + 8.08. Let o = l + -8.3. Which is smaller: o or r?
o
Suppose 4*q - 53 = -3*p - 2*p, 2*p = -2*q + 24. Suppose q*g = 5*g. Is g at most as big as 1?
True
Let x be 4/6 - (-2)/(-3). Let i = 0 + x. Suppose 0*a + 5*a = -f - 25, 5 = -a. Is f < i?
False
Let l = -2 + 5. Let x be (-3)/(9/5)*l. Which is smaller: -4 or x?
x
Let v(z) = -11*z**3 + 1. Let o be v(-1). Let w = -7 + o. Which is greater: 6 or w?
6
Let z = -2 - 0. Let t be z - -4*1 - 2. Is 1/5 less than t?
False
Let v = -5 - -4.96. Let a = 2.84 - 4.8. Let l = a + v. Which is greater: l or 0?
0
Let u = -68 + 58. Is u >= -11?
True
Let v = -12/215 - -1666/22145. Does 1 = v?
False
Let i = 2.06 + -0.06. Let b = -48.7 + 51. Let y = i - b. Is y > -1?
True
Let i = -3 + 4. Let t be (-2 - -2)/(i - -1). Which is bigger: 4/3 or t?
4/3
Let s be (-8)/20 - (-2)/5. Let p be 2 - 10/3 - -2. Is p less than or equal to s?
False
Let f be 1 + (-3 - (-12403)/6438). Let q = 1/222 + f. Are q and -1 unequal?
True
Suppose 2*n - 2 + 0 = 0. Is 8/5 <= n?
False
Let g be 1/(-6) - 51/18. Which is smaller: -4 or g?
-4
Let h = -0.04 - -0.36. Let j = h + 0.08. Is 1/3 <= j?
True
Let q = 2 + -19. Which is greater: q or -15?
-15
Let z = -24 + 11. Let u = -24 - z. Which is smaller: -12 or u?
-12
Let q = 2/21 + 1/21. Suppose 5*j = -0*j + 2*z + 10, 5*z = 2*j - 4. Suppose 0*t + j*t = 2. Which is smaller: q or t?
q
Let b(y) = y + 3. Let w be b(6). Which is bigger: w or 11?
11
Let u be (-2)/22*(-6)/2. Which is smaller: u or 0?
0
Let p = -11 + 18. Let u be p/3 + (-2)/(-3). Let a be (-1 - u/(-6))*-2. Do 3 and a have different values?
True
Let j(d) = -d**2 + 4*d + 5. Let o be j(5). Let w = 34/45 + -5/9. Which is smaller: w or o?
o
Suppose 0 = -23*b + 21*b + 6. Is b bigger than 25/8?
False
Let g = -1201/19180 - -3/548. Which is greater: g or 1?
1
Suppose 3*x = 9, 2 = -r + 3*x - 4. Let k(i) = -3*i + 9. Let o be k(r). Is o at least 4/13?
False
Let q(w) = -w**3 + 15*w**2 + 1. Let x be q(15). Is -3/14 != x?
True
Suppose -26 = -4*b - 2*p, b + 6*p = 3*p + 19. Suppose -3*x - 5 = b. Suppose -3*r = 2*k + k + 24, 0 = -2*k - 