 p less than or equal to 0?
True
Let i = -9 + 0. Let d = i + 8.6. Is -1/2 < d?
True
Let k be -15*(-1)/6*2. Suppose 24 = k*n - n. Let t = 5 - n. Does -1 = t?
True
Let b = -23.4 + -0.4. Let z = -26 - b. Is 1 > z?
True
Suppose -l = 4*q + 37, 2*q - 40 = l + 7*q. Which is greater: -26 or l?
l
Let c = -4972/3 + 1699. Suppose -4*k + 3*k + 42 = 0. Let u = k - c. Which is greater: u or 1?
1
Suppose 4*p - 1 = 7. Let j = 53/6 + -22/3. Is p not equal to j?
True
Suppose -21 = 5*h + 9. Let t be -3 + (-5)/h*3. Which is greater: t or -1?
t
Let x(y) = -y**2 - 3*y + 4. Let i be x(-4). Suppose i*t + t = 0. Which is smaller: t or 2/21?
t
Suppose -5*g + n = -2*n - 7, 5*g - 5*n = 5. Suppose -3 = 2*j + 3*u, 4*u + 18 = -g*j + 4*j. Is 1 > j?
False
Let r be (-2)/(-1 - -3) + 3. Let y be 4 + -1 + 1 + -1. Let o = y - r. Which is bigger: 1/3 or o?
o
Let d = 17 - 15. Let y(c) = c**3 - 7*c**2 + 4*c + 8. Let j be y(6). Let w(s) = -2*s - 6. Let r be w(j). Is r at most d?
True
Suppose 2 - 5 = -f. Suppose f*r - 3 = -0*r. Is r less than 1/7?
False
Let y = 18.8 - 14. Let z = -0.8 + y. Is z not equal to -0.2?
True
Let l = 13 - 10. Suppose -2*f = -q - 1, -l*q - 2*f = 2*q + 5. Which is greater: -2/11 or q?
-2/11
Let h = 1.7 - 1.6. Let s = 1.1 - h. Is -10 > s?
False
Let b be 1/3*50/(-20). Let h be (-6)/(-15) + (-4)/10. Is h <= b?
False
Let l = -5/8 - -23/24. Let n(h) = -h - 1. Let r be n(-3). Let s be -1 - r*(-1)/6. Which is smaller: s or l?
s
Suppose -o + 2 = -2. Let d = o - 16/3. Is d bigger than -1?
False
Suppose 5*r + 3 = 23. Which is greater: 1 or r?
r
Let r(u) = -2*u + 9. Let a be r(6). Which is smaller: 0 or a?
a
Suppose 0*p + p + 4 = 0, b + 3*p = -10. Let r be 1/(-4) - ((-120)/32 - -3). Is r at least as big as b?
False
Suppose -2*r = -4*x + 5*x - 1, -2*r - 5 = -5*x. Which is smaller: r or 1/89?
r
Suppose 2*n - 3*o = -5, 0 = 3*n - 2*o - 2*o + 8. Let v = -8 - n. Is v bigger than -3?
False
Let q = -18 - -14. Which is greater: q or -7?
q
Let g be (0 - (-10)/(-55)) + 26/22. Do g and -1/51 have different values?
True
Let r be 51/34 - (-5)/(-2). Let a = r + 14. Which is smaller: a or 0?
0
Let v = 19 + -22.1. Let x = -4 + 7. Let j = x + v. Is j >= -1?
True
Let m(y) = -y**3 - 2*y**2 - 2*y - 1. Let o be m(-2). Let u be (-3)/2*4/(-3). Suppose -3*k = 0, o = u*t + t + k. Is t < 1?
False
Let u(k) = k + 7. Let b be u(-5). Suppose -1 = -3*s + b. Does s = 2/5?
False
Let j = -1.2 + 1. Suppose 4*y = 2*f - 8 - 50, -3*f + 81 = -3*y. Let n = f + -49/2. Is j at most as big as n?
True
Let w(x) = -x**2 + 12*x + 13. Let j be w(13). Which is smaller: j or 1?
j
Let n(o) = o - 8. Let v be n(5). Let h be (-8)/(-24)*v/(-4). Which is greater: h or 1?
1
Let p = 10.4 - 10. Are -1/5 and p equal?
False
Let f = -2 - -3. Suppose -5 = 2*a + f. Suppose -3*n - 25 = -4*w, -2*n = -0*n + 3*w - 6. Is n equal to a?
True
Suppose k + 20 = -0*k - 5*x, 20 = 2*k - 5*x. Are k and 1/3 unequal?
True
Let o = -11 + 3. Let n = -2 - o. Suppose -10 = x + 7*u - 2*u, 2*x + u - 7 = 0. Which is smaller: n or x?
x
Let z = 0 - 3. Let i = 0.02 + -0.02. Are i and z unequal?
True
Let b = -7/12 + 41/84. Which is smaller: 0 or b?
b
Let a be (-2)/(-3)*(-4)/6. Let b = 2809/18 - 156. Let p = a - b. Which is smaller: 0 or p?
p
Suppose 36*p = 34*p + 42. Which is bigger: 20 or p?
p
Let t = 26 - 26. Suppose 6*i - 3*i - 1 = -2*s, 4*i = 3*s - 27. Is i greater than t?
False
Let m = -0.3 + 0.1. Let s = -5 + 4.7. Let o = s - m. Which is bigger: 1 or o?
1
Let j = -38.61 - -39. Does j = 1?
False
Let y(c) be the second derivative of -c**3/6 + 3*c**2 - c. Let h be y(7). Is h at least as big as -2?
True
Let d = -1 - -6. Suppose 18 = -3*f + d*f. Let x = f + -7. Is 0 at most x?
True
Let n be -5 + 3 - 2*2. Let x be 4 + n/3 + -2. Let w be -5 + 4 + x + 0. Is w greater than -2?
True
Suppose -4*z = -5*z + 2. Suppose -5*w - 10 = 4*q, -z*q = w + 4*w. Suppose 0 = 3*c + w - 8. Which is smaller: 1 or c?
1
Let i = 72 + -74. Suppose -7*u - 4 = -3*u. Is i < u?
True
Suppose -h + 2*v + 11 = 0, -4*v + 97 = -0*h + 5*h. Let i = h + -16. Is 2/13 less than or equal to i?
True
Let d = 22 - 16. Let p = d - 8. Let z = -1 - p. Is 1 less than or equal to z?
True
Let j be (-9)/(-7) + (-8)/28. Let o be j/2*(-58)/(-12). Let r = o + -8/3. Which is smaller: 0 or r?
r
Let w be ((-6)/(-20))/((-162)/(-45)). Let i(l) = l**3 - l**2 - l. Let v be i(1). Is w greater than or equal to v?
True
Let j be 5/(-15) - (-300)/9. Do 33 and j have different values?
False
Let q(r) = -r - 10. Let m be q(-8). Let y(i) = i + 3. Let z be y(0). Let t(n) = -2*n + 4. Let v be t(z). Is v greater than or equal to m?
True
Let o = -16 + 11. Let a = o + 3. Which is smaller: a or 1?
a
Let w = 51 - 50.71. Let j = -0.11 - -0.1. Let r = w - j. Is r >= -1/4?
True
Let u = -168 + 167.4. Does u = 12?
False
Let j be 5/(-2)*12/15. Suppose -2 = -2*g - 6. Is g smaller than j?
False
Suppose 9 - 1 = 2*s. Suppose -u - 4*d + 17 = 0, -9 = -s*u - 3*d + 7. Which is smaller: u or 1/3?
1/3
Let u be 3 - (-3 - -2)*1. Let f be (2/u)/(10/12). Which is bigger: f or 1?
1
Suppose -r = -17 - 35. Let d = 154/3 - r. Is 2 smaller than d?
False
Let n be 4/(-22) + 245/77. Let u be -4*(-2 + -1)/n. Is 4 greater than u?
False
Suppose 0 = 3*r + 3*l + 27, 2*r - 6*l + 3 = -3*l. Is r at least -23/4?
False
Let v = 13 - 20. Which is smaller: v or -9?
-9
Let b = 2.9 + -3. Let i = b + 1.1. Let s = i + -2. Is -1 at most s?
True
Let x be (-476)/(-12) + 1/(-1). Let u = x - 39. Is u greater than -1?
True
Suppose 6*a = 5*a - 4, 0 = 5*f + 2*a + 523. Is -102 != f?
True
Let h(v) = 7*v + 1. Let z be h(-4). Is -27 smaller than z?
False
Let t be 2/((-2)/(-2)) + -1. Let g(d) = -d**2 + 7*d - 6. Let n be g(7). Which is smaller: n or t?
n
Let c = 48 - 289/6. Suppose 0 = -2*q - 0*q + 4. Let t be (-3)/q*4/(-6). Which is greater: t or c?
t
Let a = 2 - 1.9. Let x = 0.072 + -7.072. Which is bigger: x or a?
a
Let y = 0.3 + -0.4. Let f = -4.7 + 0.7. Let k = -3 - f. Is k greater than y?
True
Suppose -23 = 4*c - 5*i, 0 = -4*c + 2*i - 10 - 4. Which is smaller: -4/3 or c?
c
Suppose 5*s - 15 = 2*y, 0 = 2*y + 2*y + s - 3. Is y less than 0?
False
Let a(o) = -o**3 + o - 2. Let d be ((-4)/(-10))/(4/(-20)). Let m be a(d). Let l be 6/m - 2/2. Is l at least as big as 3?
False
Suppose 0 = 2*v - 0 + 8. Let t be 2/(-7) + 37/7. Suppose 0 = -3*d + t*a - 5, -5*d + 3*a = 5*a + 29. Which is smaller: v or d?
d
Let y = 32/11 + -4789/1650. Is 1 != y?
True
Suppose -4*o + 761 = h, 5*o - 753 = -2*h + 202. Let t = o + -353. Let a = -1803/11 - t. Which is smaller: a or 1?
a
Suppose -n = -6*n - 25. Which is greater: n or -4?
-4
Let z = 0.4 + -0.7. Let g = 0.4 + z. Let l = -11/9 + 35/36. Is g not equal to l?
True
Let a = -6 - -4. Let m = -27 - -28. Which is bigger: m or a?
m
Let z be ((-6)/(-4))/(4/(-8)). Let s be (15/(-9))/(1/z). Let j be (-2 + s/2)*-2. Is -1 < j?
False
Suppose 0*l = l - 3*x - 3, -9 = -2*l + 3*x. Which is smaller: 13/2 or l?
l
Let p = -5 + 8. Suppose -m + 2 = p. Let k = -2 - -1. Is k at least m?
True
Let q be 34/6 - 1/(-3). Which is bigger: q or 8?
8
Let i = 8 + -3. Suppose q - 7 - i = 2*n, 0 = 2*n. Let v be (-3)/20 + (-3)/q. Which is bigger: 1 or v?
1
Let s = 23 + -23.36. Let b = s - 0.04. Let z = b + -0.6. Which is greater: 4 or z?
4
Let s = -31 + 32. Suppose w + 5 = y + 3, y = 4*w + 11. Let a be (1 - 4)/w + s. Which is greater: a or 4?
4
Let h = 7.11 - 0.11. Let x = 8 - h. Is 2/3 greater than or equal to x?
False
Let g(u) = -7*u + 6. Let y(x) = 6*x - 5. Let l(h) = -2*g(h) - 3*y(h). Let w be l(4). Is -13 less than w?
False
Let p(w) = w**3 + 9*w**2 - 4*w + 6. Let a(s) = -2*s**3 - 17*s**2 + 7*s - 11. Let l(u) = 4*a(u) + 7*p(u). Let i be l(-5). Which is bigger: i or 0?
0
Let m be (-4)/32*-4*6. Is m at most as big as 3?
True
Let b = -3 + 7. Suppose b*g + 13 = p, 3*g - g + 2 = -4*p. Let w = -628/7 + 90. Is w greater than or equal to p?
False
Suppose -6 = -2*q - 0. Suppose -g + 3*g = 0. Let t = q - g. Is t > 3/2?
True
Let c = -9133/3 - -3000. Let f = -44 - c. Which is bigger: 0.4 or f?
0.4
Let t(d) = d**3 + 5*d**2 - 7*d - 1. Let f be t(-6). Suppose f*c = -4*q + 2, -c + 11 = 5*q - 2. Is -2/7 not equal to c?
True
Let p(d) = d**3 - 6*d**2 + 3. Suppose 2*a + 21 = 6*a + 3*v, 2*a - 2*v - 14 = 0. Let h be p(a). Suppose -h*w = -6*w. Is -2/9 at most w?
True
Let h = 92 - 93. Which is bigger: h or -5?
h
Let c = 