eater than or equal to 0?
True
Let q be (16/(-2))/(-1 + 0). Let z(t) be the third derivative of -t**6/120 + t**5/15 - t**3/6 + t**2. Let c be z(3). Is q != c?
False
Let t be (-2 - 6/2) + 4. Which is bigger: -11.7 or t?
t
Let x = -1/579 + -12125/19686. Let t = 2/17 + x. Let r = 12 - 14. Which is smaller: r or t?
r
Suppose 0 = 4*z + 8, -v - 6*z + 3*z = 15. Is -7 at most as big as v?
False
Let c(y) = -y**2 + 2*y + 1. Let l be c(-1). Are -3/4 and l equal?
False
Let d = 0.8 - 0.7. Let s = -4 + 5. Is d at least as big as s?
False
Let m = -1 + -7. Let o be 1/(2*7/m). Is -2 != o?
True
Let o be 3 + -3 + 25 + -3. Let s be 24/o*(-4)/(-8). Is 2 greater than s?
True
Suppose 2*m - 12 = -2*m. Let g be m/(-12) + 10/8. Let d be ((-14)/7)/((-16)/3). Which is smaller: d or g?
d
Suppose -z + 8 = -3*b, 4*z - z - b = -8. Let s be ((-16)/22)/z*1. Let m = 3 - 2. Which is greater: m or s?
m
Let w = 16 - 7. Let d = -32 + 24. Let c = d + w. Which is smaller: c or 0.2?
0.2
Let f(h) = -3*h**2 - h + 2. Let m(k) = 3*k**2 + k - 1. Let s(y) = 2*f(y) + 3*m(y). Let o be s(-3). Are 26 and o non-equal?
True
Let u be (2/(-6))/(1/(-73)). Let b = -24 + u. Which is greater: b or 0?
b
Let z be 2/(-2) + 14/2. Let c = 13 - z. Is 7 bigger than c?
False
Let u = 14 + -10. Let i = 9/2 - u. Which is bigger: -1 or i?
i
Let m = 15 + -3. Suppose -4 - m = -4*u. Suppose u - 9 = 5*y. Is -1/4 != y?
True
Let f = 27 - 33. Let u(m) be the second derivative of -m**4/12 - m**3 + m**2 - m. Let b be u(f). Which is greater: b or 4?
4
Suppose 10 = 2*a + 2. Suppose 6 = a*k + 5*d, 0 = d - 3*d - 4. Suppose -k*q = -2*q. Which is smaller: 0.2 or q?
q
Let x = -21 + 20. Let z be x - (9/6)/3. Is z at most -1/4?
True
Let w(y) = -y**3 + 5*y**2 - 3*y - 1. Let b be 12/(-2)*4/(-6). Let r be w(b). Which is greater: 4 or r?
4
Let h = 133 + -117.9. Let j = h - 15. Does -0.04 = j?
False
Let g = 3.1 - 0. Let r = -3 + g. Which is smaller: 3 or r?
r
Let r(n) = -n**2 + 3*n + 14. Let k be r(5). Which is bigger: -10 or k?
k
Let c = -110 + 129. Is c less than 19?
False
Suppose -12 = -2*w - w. Let h be 1*w - 22/6. Which is smaller: h or -1/7?
-1/7
Let s(g) = 5*g + 32. Let q be s(-8). Is q at most as big as -9?
False
Let h(o) = o**2 + 4*o - 1. Let k be h(-4). Let y be ((2 - 2)*k)/2. Which is smaller: y or -1?
-1
Let a = -11 + 16. Let o be 6/((30/4)/5). Let r(t) = -t + 8. Let u be r(o). Which is bigger: u or a?
a
Let v = -24 + 23.8. Are v and -4 unequal?
True
Let i = -20 + 13. Which is bigger: -5 or i?
-5
Suppose 3 = d + 16. Let u = d - -22. Let s(q) = q**3 - 10*q**2 + 8*q + 7. Let n be s(u). Is n at least as big as -2?
True
Let h(x) = -x**2 - 5*x - 5. Let f be h(-4). Which is smaller: f or 2/13?
f
Suppose 2*k = 7*k. Which is smaller: k or 2?
k
Let x = -25/28 + 3/4. Let p = 6 - 3. Suppose -p*k = -k. Are k and x equal?
False
Let g(d) = d**2 + d + 9. Let j be g(0). Which is smaller: j or 7?
7
Let y = -15 + 24. Let o = 9.6 - y. Is -2/3 equal to o?
False
Suppose 3 = 2*x + 1. Let f(h) = -h**3 - h**2 + h + 1. Let z be f(0). Let i be ((-9)/21)/(z/(-1)). Which is greater: i or x?
x
Suppose -24 = -2*d - 7*s + 3*s, 3*d + s = 21. Let z(u) = 0 - u + 7*u - u**2 - 1. Let a be z(d). Is a greater than -3?
True
Let z = -10 - -10.08. Let m = 1.08 - z. Which is greater: m or 3?
3
Let v(k) = -k**2 + 5*k - 2. Let y be v(5). Let p = 36/37 + -400/259. Is y smaller than p?
True
Let q(h) = -3*h - 23 + 2*h + 22. Let y be q(-2). Is -1/6 bigger than y?
False
Let n(k) = -13*k**3 - 21*k**2 + 11*k - 9. Let j(c) = 7*c**3 + 11*c**2 - 6*c + 5. Let f(o) = 11*j(o) + 6*n(o). Let s be f(-5). Which is bigger: 1/7 or s?
s
Let r = -11 + 6. Which is bigger: r or -3?
-3
Let w be 5/25 + 18/10. Suppose -w*k - 2*k = 0. Which is smaller: k or 1/2?
k
Suppose 7*v - 6 = 1. Which is smaller: v or 7/8?
7/8
Let m = -2 + 1. Let w = -16540/39 - -1252/3. Let t = w + 90/13. Which is greater: t or m?
t
Suppose -5*r + 2*o = -5 - 6, -5*o = r + 14. Let q = -5273/25 - -211. Is r >= q?
True
Suppose 5*x + 3 = -2. Let y = x + 13. Suppose 4*h = 2*h + 3*c + y, -h = c - 1. Does h = 1/3?
False
Suppose 4*m - 6 = m. Let a(h) = h**3 + 5*h**2 - 2*h - 6. Let y be a(-5). Let o be (-16)/y*4/(-8). Are m and o unequal?
False
Let i(b) = -b**3 - 8*b**2 + b + 12. Let h be i(-8). Is 11/3 <= h?
True
Let h(z) = -z. Let i be h(2). Suppose 5*j = 3*n + 56, 4*n + 84 = j + j. Let y be i/4 - n/(-4). Is y less than -6?
False
Suppose -7 = -5*l - 2*f, 3*l - 3 = -5*f + 5. Which is greater: 10/11 or l?
l
Let n = -20 - -27. Suppose -p = -4, -5*i + 0*p + n = 3*p. Does -2/5 = i?
False
Suppose 5*n - 5*c + 7 = -23, 4*n + 2*c = 0. Let q = 9646 - 67318/7. Let f = q + -29. Is f less than n?
False
Let z = 0 - -0.05. Let g = z - 7.05. Is g less than or equal to 1?
True
Suppose -2*c = -3 + 1, s - 4*c = 0. Suppose -s*q + 4 = -0. Is q >= -4/11?
True
Let q(w) = -2*w**2 - 7*w + 12. Let z be q(-8). Let x be 34/z + 6/15. Which is greater: 0 or x?
0
Let r = -0.1 + 0.02. Let v = -2.7 - -2.83. Let i = v + r. Is -0.1 <= i?
True
Let f = -6.9 - -3.9. Which is greater: f or -0.04?
-0.04
Let i = -1190/3 + 403. Does 6 = i?
False
Let x = -0.7 - -1.6. Let v = 1 - x. Suppose 8 = 2*t + 2. Is v greater than t?
False
Let a(m) = m**3 + 6*m**2 - 7*m. Let k be a(-7). Is 2/355 > k?
True
Let u(t) = t**2 - 3*t - 42. Let c be u(8). Are -4 and c unequal?
True
Let j be -22*((-6)/4 - -1). Let y be (j - -3)/(12/(-70)). Let p = -80 - y. Does 2 = p?
False
Let m = -23 + 33. Let i be 1 + ((-17)/m - -1). Which is bigger: 1 or i?
1
Let c = -104 + 105. Which is bigger: 0 or c?
c
Let k = 47 - 47.1. Which is bigger: k or -52?
k
Suppose -2*c + 14 = 2*w, 0 = -2*c + w - 10 + 39. Which is smaller: 1 or c?
1
Let i = 5 + -5.05. Let q = i - 0.15. Let x = -2.1 + 2. Which is smaller: q or x?
q
Let m be (-1 + -1)/(85 - -1). Is 1 less than m?
False
Let u(b) = b**2 + 8*b - 8. Let p be u(-9). Do p and 2 have the same value?
False
Let i be (-22)/(-33) + (1 - (-11)/(-3)). Is -2 at most as big as i?
True
Let b(j) = -3*j - 4. Let m be b(-3). Suppose -g + i = 2*g - 8, m*g - 10 = i. Let c(t) = t + 1. Let d be c(-2). Which is greater: d or g?
g
Suppose -2*j - 8 = -4*j. Let c = j + -5. Which is bigger: c or 0?
0
Let o = -4/17283 - -951509/4078788. Let d = o - -1/59. Is -1 at most d?
True
Let x = -81 + 75. Is -3 != x?
True
Let p(k) = k**3 + 3*k + 3. Let q be p(-2). Does -10 = q?
False
Let j(o) = o**2 - 12*o + 15. Let h be j(10). Are h and -7 nonequal?
True
Let q = 10 + -3. Let g = q + -10. Suppose -14 = 6*h - 2. Is h less than g?
False
Suppose 27 = 5*n + m, 2*n - 2*m + 3 = 9. Suppose -n*g - 2*b - 2 - 13 = 0, -5*b = -5*g + 20. Let w(r) = r**2 - 7*r + 6. Let a be w(6). Which is bigger: g or a?
a
Suppose -2*y = -4*y - 6, y = -3*p + 93. Are p and 31 non-equal?
True
Let b = 0.21 + -0.05. Let l = 0.09 - b. Is -2 less than l?
True
Let y be 8/(-2)*2/4. Let c = 1 + y. Let q = -1/32 - 27/160. Is q less than c?
False
Let f be (3/((-18)/4))/((-6)/(-57)). Which is smaller: -5 or f?
f
Let m be 1/(((-125)/(-10))/(-5)). Is m equal to 1.1?
False
Let x(t) = 3*t - 10. Let z(i) = 4*i - 11. Let m(f) = -3*x(f) + 2*z(f). Let v be m(6). Suppose -2*r + 4 = v*r. Is r <= -3?
False
Let j = 0.3 - 0.1. Let p = -1 - -3. Let a = p + -2. Which is bigger: j or a?
j
Suppose -3*d + 4 = -d, 2*f - 20 = -5*d. Suppose 4*h + 15 = -5*t + 2*t, -f*t - 25 = 3*h. Let c = -82/3 - -28. Is h at least c?
False
Let s(c) = -c**3 + 9*c**2 - 8*c. Let x be s(8). Let v(l) = 4*l. Let t be v(1). Which is greater: t or x?
t
Suppose -u = 2*h + u - 12, -6 = 5*h - 4*u. Let s = 0.35 - 0.3. Let q = s - 0.45. Which is smaller: q or h?
q
Suppose -360 = -5*l - 80. Suppose 4*i - 2*z = l, 4*i = -2*z - 0 + 40. Are i and 12 equal?
True
Let g = 2 + -3. Suppose -u = -2*u. Suppose -3*l + u*l = 0. Is l smaller than g?
False
Suppose 2*k = x - 4, -2*x + 3*k + 17 = 2*k. Which is greater: x or 11?
11
Let l = 63.98 + -64. Is l less than or equal to -11?
False
Let g = 4494 - 94448/21. Let i = 13/7 + g. Which is smaller: -2 or i?
-2
Let k be (-2)/4 + (-7)/2. Let u be k/16*4/7. Which is bigger: u or 0.1?
0.1
Let a = -0.91 - -0.11. Let f = -4.8 - a. Let g = 4.3 + f. Do 0 and g have the same value?
False
Let n(o) = -3*o**3 - 13*o**2 - 13*o + 3. Let r be n(-4). Do 40 and r have the same value?
False
Let c = 1 - 6. Suppose -4*i + o - 3 = 20, 4*o + 55 = -5*i. Let z = c - i. Are 1 