e k and a non-equal?
True
Suppose -3*f - 2*x + 36 = 0, 5*x + 54 = 5*f - 31. Is 17 != f?
True
Suppose -u + 33 = -4*v, -4 = 2*v - 2*u + 20. Let t be 6/28 - 2/v. Is 1 less than or equal to t?
False
Let k = 4 - -6. Let c = k - 6. Suppose 3*o = -c*f - 3, 0 = -3*o - 2*o + 3*f - 5. Is o >= -1?
True
Let h(j) = 10*j + 4. Let g be h(-5). Is g at least as big as -46?
True
Let p = -314/39 - -28/39. Let a = p - -41/6. Let r = 1 - 2. Are a and r non-equal?
True
Suppose 4*y + 4*g + 8 = 0, 5*y - g - g + 24 = 0. Let r be (1/(-2))/((-2)/(-4)). Which is bigger: r or y?
r
Let b = -9 + 7. Let s be ((-1)/(-2))/(1/b). Which is greater: 1 or s?
1
Suppose t - 2*o - 34 = 6*t, 3*t + 2*o + 22 = 0. Let j be 21/(t/(-2)) + -2. Suppose a - 5 = 0, 0 = j*b - a + 7 + 23. Which is bigger: b or -6?
b
Let q = 39/86 + 2/43. Let a = 0.93 - -0.07. Which is bigger: q or a?
a
Suppose 0*l = 3*l - 45. Is l bigger than 16?
False
Suppose -c + 3*c - 6 = 0. Suppose 4*j - c = j, 5*h = -j + 91. Let d be (-2 - (-37)/h)*-4. Is d <= 2?
True
Let c(u) = 7*u**3 + 23*u**2 + 19*u - 14. Let h(b) = -3*b**3 - 11*b**2 - 9*b + 7. Let r(o) = 2*c(o) + 5*h(o). Let w be r(-8). Which is bigger: 1/24 or w?
1/24
Let j(a) = -a**3 + a - 1. Let l(g) = -3*g**3 + 5*g**2 - g - 7. Let s(p) = -2*j(p) + l(p). Let q be s(4). Let f be (-5 + 1)/((-2)/q). Which is bigger: f or -3?
f
Suppose o - 4*o - 8 = -v, -5*o = 3*v + 4. Are v and 1 equal?
False
Let h be 0 + -1 + 1 + -1. Suppose 0 = 5*n - 0*b + 3*b + 1, 3*b = 2*n + 13. Let y = h - n. Is y at least 1?
True
Let y be (-1 + -4)*-1 - 1. Suppose -3*f + 3*q = -12, -3*f - 9 = -5*f + q. Which is smaller: y or f?
y
Let q = 671 - 5353/8. Is q < 1?
False
Let k be 2/7 + 535/(-35). Let s be (-51)/k + -3 - 0. Which is greater: 1/2 or s?
1/2
Let r be 4 + -4 + -3 + 2. Is -3 at most as big as r?
True
Let p(g) = 4*g + 32. Let a be p(-7). Which is bigger: -2/3 or a?
a
Let w(p) = -2 + p + 0 - 3. Let b be w(4). Let q = 0.3 + -0.1. Is b not equal to q?
True
Let r(o) = o - 4. Suppose l - 3 - 1 = 0. Let d be r(l). Suppose d*v + 4 = -2*v. Is -2 smaller than v?
False
Suppose 2*c = 4*n + 6, 3*c - n = -c - 2. Which is bigger: c or 2/5?
2/5
Let a be ((-3)/(-18))/(4/(-20)). Let d be 4/14 + (-32)/14. Which is bigger: a or d?
a
Let h be 1/6*324/(-16). Let v = h - -151/40. Which is smaller: 1/3 or v?
1/3
Let z = 30 - 18. Let r = z - 11. Is r at most 0.1?
False
Let y = 599 + -267. Let m = 3655/11 - y. Is m at most as big as 1?
True
Let c(h) = -h - 2. Let d be c(-3). Is d at least 2/11?
True
Suppose 2 = -3*u + 5. Which is smaller: -3.3 or u?
-3.3
Let v(k) = -k**3 + k + 1. Let y(f) = -f**2 + 7*f. Let w be y(7). Let q(m) = m**3 + m**2 - 1. Let x be q(w). Let o be v(x). Are 0 and o nonequal?
True
Suppose 2*i - 10 = 2*u, 4*u + 16 = -i + 4*i. Let y be 613/35 - u/(-1). Let l = 84/5 - y. Is l greater than 0?
True
Let k be (2 + -1)/((-2)/(-8)). Suppose 2*i = -s - 0*s - 1, k*s = -5*i - 1. Is s != 1?
False
Suppose 5*y - 221 = d + 294, 4*d = -20. Is y at most as big as 102?
True
Suppose 3*l - w - 2 = 4, 3*l - 9 = 2*w. Let v be l + (-1 - 1) + 0. Which is smaller: v or -3?
-3
Let o = -8 - -6. Let j = o - -2.9. Let s = 0.3 - j. Is s not equal to 1/2?
True
Suppose -2*l + l = 3*v + 3, 9 = -3*v - 3*l. Suppose -3*p - 37 - 2 = v. Which is bigger: p or -14?
p
Suppose 4*l = 3*b + 2, 5*l = -2*b + b + 31. Suppose -2 = 2*y - 0. Is b greater than or equal to y?
True
Suppose 0*s + 2*s = 2*i, -2 = 4*s - 3*i. Is -7/6 >= s?
True
Suppose -2*c - 22 = -5*x, x = -x + 8. Is c equal to 1/74?
False
Let b be 16/(-24) + (-25)/3. Let x = b + 11. Which is smaller: x or 13/5?
x
Let b be (-3 - -2) + -7 + -3. Let s = b - -10. Is 1/3 greater than s?
True
Suppose -3*a - v = 1, 32*a + 3*v + 3 = 28*a. Let q = 51/13 - 4. Which is smaller: a or q?
q
Suppose 2 = -2*k + 6. Let o = 1 - k. Is o at least -5/3?
True
Let f(z) = -7*z**2 - 12*z - 2. Let l(m) = 6*m**2 + 11*m + 1. Let b(h) = 5*f(h) + 6*l(h). Let p be b(-7). Let d be p + (-3 - (-1 + 0)). Is d <= 1?
True
Let o = -20 - -10. Let h be (o/(-25))/(24/75). Do 0 and h have different values?
True
Let z = 1 - 0. Let b be 2 + z/(-1) - 4. Let x be -1 - (-1 + b/3). Which is smaller: 7 or x?
x
Suppose -23 + 63 = -4*f. Let p be ((-46)/(-8) - 6) + (-35)/4. Is p less than f?
False
Let w(a) = a + 12. Let s be w(-7). Suppose s*g + 1 = -4. Which is smaller: g or -1/4?
g
Let i(h) = h + 17. Let w be i(-8). Let s = w + -15. Which is smaller: -5 or s?
s
Let q be 1/(-2) - 16876/(-120). Let k = q + -140. Which is smaller: k or 0?
0
Let l = 15 + -18. Let p = -6 - -12. Suppose -5*q - p = 9. Is l at least as big as q?
True
Suppose 2*m - 2*z = 3*m + 22, 2*m = -z - 29. Let b = m + 3. Let n be (-6)/(-9) - (-3)/b. Is n smaller than -1/2?
False
Let m be (-4)/(-10) - 6/15. Suppose 5*v - 15 = 5*x, m*v - x - 3 = 2*v. Which is smaller: -1 or v?
-1
Let a be (0 - (0 + 0)) + -1. Is a greater than or equal to -2/17?
False
Let c(w) = 2*w**2 - 2*w + 1. Let y be c(1). Which is bigger: 2/3 or y?
y
Let k(t) = -t**2 + 2*t - 1. Let u be k(2). Let h = 27407/2685 + -4/537. Let a = h - 10. Is a < u?
False
Let i(c) = 2*c + 2. Let y be i(5). Is 11 > y?
False
Suppose -3*s - 2*u = 0, 3*s + 12 = -3*u + 5*u. Let n be ((-3)/(-5))/(4/40). Let b(y) = y**3 - 7*y**2 + 7*y - 9. Let i be b(n). Is s < i?
False
Let z be (0 + 1)/(1/4). Suppose -5*u - 2 = -3*m, -2*u - 3 = 5*m + z. Let q(v) = -v**2 + v. Let g be q(0). Which is bigger: g or u?
g
Let b = -61/2 - -30. Which is smaller: b or -1?
-1
Let l be ((-2)/(-3))/(6 - 60/9). Which is bigger: -7/13 or l?
-7/13
Let n = -33739/1106 - -3/553. Let y = -30 - n. Which is greater: y or 2/3?
2/3
Let l be 1/(-2) - (-7)/56. Which is smaller: 1 or l?
l
Let x be 1072/(-28) + 6/21. Which is smaller: x or -39?
-39
Let y(k) = k**3 - 2*k + 1. Let r be y(3). Suppose 0 = -d - d + 5*x + r, 2*d + 2*x = -6. Which is smaller: d or 6?
d
Let m = -0.2 - -0.1. Let f(h) = h**3 - 6*h**2 + 5*h. Suppose 0*z = -2*z - r + 10, -5*r - 10 = -2*z. Let v be f(z). Is v at most m?
False
Let d = 30 + -33. Let c = -4 + 6. Let f = d + c. Which is bigger: 0 or f?
0
Let q(g) = g**2 + 5*g - 17. Let n be q(-8). Suppose 0 = -3*p + 20 + 4. Which is bigger: p or n?
p
Let h = -1 + 1. Suppose h = 5*n + 25, 3*q + 0*q - 3*n = -18. Which is smaller: q or -10?
q
Let o be 2/8 + (-6)/24. Let i be (0 + o)*3/(-6). Which is bigger: -1/16 or i?
i
Let t = 1 - 4. Let w = -11 - t. Let b = -9 - w. Which is greater: b or -0.1?
-0.1
Let j(t) = 7 + 0*t**2 - 2*t - 2*t - 7*t**2 - t**3 + t**2. Let g be j(-5). Suppose -s + 3 = -g*s. Is s equal to -3?
True
Let r(v) = v**2 + 3*v + 8. Let b(q) = q**2 + 2*q + 9. Let u(c) = 5*b(c) - 6*r(c). Let h be u(-7). Is h greater than or equal to 3?
True
Let j(t) = -t**2 - 9*t + 2. Let m be j(-9). Let w(p) = p - 1. Let v be w(m). Which is smaller: 2/5 or v?
2/5
Suppose 2*l = -2*l + 4. Let u be (-22)/24 + l + 0. Which is greater: 1 or u?
1
Let l = -26 + 27.1. Let p = -9.1 + l. Let a = 9 + p. Which is smaller: 5 or a?
a
Suppose v - 1 = 3*s - 41, -2*s + 22 = 4*v. Let r = 18 - s. Is 4 < r?
True
Suppose -4 = -7*r + 3*r. Is 1/78 bigger than r?
False
Let h = 28 - 83/3. Which is smaller: 9 or h?
h
Suppose m = -4*m - 5*c + 10, 2*m = -5*c + 1. Suppose -m*l - 3 = -4*l. Let p be (0*(-1)/l)/1. Does p = -1?
False
Suppose 0 = -2*g - 0 + 2. Let d = 3 - g. Suppose d*y = 7*y. Is -1/4 less than or equal to y?
True
Let i(k) = 6*k**2 + k**3 + 4 + 2*k + 3 - 1. Let u be i(-6). Is -5 less than or equal to u?
False
Suppose 0 = k - 101 + 141. Which is smaller: k or -39?
k
Let d = 3.9 + 1.1. Which is bigger: d or 2/7?
d
Let k be 890/(-55) - 2/(-11). Which is greater: -17 or k?
k
Let n be (-6)/(-4)*10/25. Which is greater: n or 1?
1
Let l be (-1)/2 + 42/(-4). Is -11 not equal to l?
False
Let q = 0.05 + 10.95. Let r = 2 - q. Which is bigger: r or -0.1?
-0.1
Let i = -3 - -3. Suppose 3*y + 3 = -i*y. Let b(j) = j**3 - 4*j**2 - 7*j + 7. Let w be b(5). Is y at least w?
True
Suppose 0 = -5*u - 14 - 41. Suppose -40 = 5*w + 5*f, 4*f = 7*w - 8*w - 2. Which is greater: u or w?
w
Let q = 6.2 - -10.8. Are q and -0.2 unequal?
True
Suppose 2*p - 5*j = -8 + 20, 2*j + 7 = 3*p. Let y(q) be the third derivative of -q**4/24 - 5*q**3/6 + 2*q**2. Let n be y(-6). Is p <= n?
True
Suppose 0 = 3*b + b - 12. Suppose 0 = -b*r - 2*r + 3*u + 5, -5*r - 5 = -u. Is r less than or equal to 0?
True
Let k(m) = m 