e -47 and y non-equal?
True
Let o be 6/(-33) + (-70)/(-22). Suppose 0 = -o*i - 0*i - 3. Which is bigger: -11 or i?
i
Let w(k) = -3*k**2 - 2*k - 10. Let l be w(-3). Which is smaller: -32 or l?
-32
Let m be (-3)/(-18)*(-33)/22. Which is smaller: -6 or m?
-6
Suppose 0 = -p + 4*p + 2*i + 47, 10 = 2*i. Let c = 22 + -41. Is p less than c?
False
Let i = -164 - -174. Which is smaller: i or 11?
i
Let t = -689/2 - -385. Let v = t + -38. Which is greater: v or 4?
4
Let l(q) = -q**2 + 9*q - 15. Let f be l(7). Which is bigger: -2.7 or f?
f
Let y = 76 + -80. Suppose 2*b - 2 = 8. Suppose 4*p + 0*m = -4*m - 40, 30 = -b*p - m. Is p != y?
True
Let l = -224/3 + 74. Let u = -758 - -752.87. Let q = 0.13 + u. Do l and q have different values?
True
Let u be ((-4)/(-6))/(-1) - 0. Suppose -8*p + 14*p = 0. Which is smaller: p or u?
u
Let b = -11 + 10. Let t = 563/20 + -152/5. Which is bigger: b or t?
b
Let k = 13 - 6. Is 7 at most k?
True
Let x(g) = 2*g - 10. Suppose -3*n + 17 + 7 = 0. Let c be x(n). Let y(w) = w**3 - 6*w**2 - 1. Let k be y(c). Is -2/13 bigger than k?
True
Let q be (-24)/15 + 2/(-5). Let g(i) = 3*i**3 - 2*i - 1. Let c be g(-1). Is c at most q?
True
Let b = 2.5 + -3. Which is greater: b or 2?
2
Suppose -5*v + 217 = 42. Is v not equal to 2?
True
Let u(x) = x**2 + 2*x - 1. Let f(i) = i**3 + 15*i**2 + i + 15. Let a be f(-15). Let b be u(a). Which is smaller: b or -2/69?
b
Let t = 7942 - 166820/21. Let q = 8/7 + t. Let f = -0.1 - -0.1. Which is smaller: q or f?
q
Let o = -43 + 42.6. Is 2 != o?
True
Let l(o) = 2*o**2 + 3*o - 1. Let s be l(3). Suppose j + 31 = 3*m + m, -5*m - 3*j + s = 0. Is m > 7?
False
Suppose y + y = 3*o + 307, 4*o + y = -424. Let z be (-45)/o + (-108)/7. Which is greater: -14 or z?
-14
Suppose 0 = -k + 1 - 2. Let u = k - 0. Which is bigger: u or -3/7?
-3/7
Let d(q) = -2*q + 7. Let f be d(4). Suppose 4*u - 9 = -1. Let h be (u - 4) + 36/19. Which is greater: f or h?
h
Let t(i) = -3*i**2 - 2*i - 1. Let y be t(-1). Are 1/4 and y equal?
False
Let p(l) = -l**2 - 6*l - 3. Let w(o) = -2*o**2 - 12*o - 6. Let g(j) = -7*p(j) + 4*w(j). Let y be g(-4). Are 5 and y equal?
True
Suppose 3*r + 14 = 5*d - 0, -d + 2*r + 7 = 0. Let j = -4 + d. Suppose -4 + 20 = -4*y. Is j greater than or equal to y?
True
Let u = -8.1 + 8. Let k = -1.1 - u. Is k less than or equal to 0?
True
Let j be 3/(-6) - 2/20. Which is greater: -2 or j?
j
Let k = 88/575 - 6/25. Let f be (-120)/84 - (-3)/7. Which is smaller: f or k?
f
Let k = -927 + 10187/11. Let o = k - -8/11. Is o at least as big as 1?
False
Let r = -5 + 13. Suppose 4*d - 2*d = r. Is 3 at most d?
True
Let k = 83/3 + -28. Let l = 22 + -15. Let c = 10 - l. Which is greater: c or k?
c
Let w be (13/(-4) + 4/16)/(-3). Let r = -4 - -4.04. Are r and w non-equal?
True
Suppose 1 - 19 = -6*f. Is f < 5?
True
Suppose 0*j = -5*j - 150. Let w = 361/12 + j. Is w >= 0?
True
Let w = -20 + 38. Suppose 5*r + 2*g = -w, r + 5*g - 4 = -3. Which is greater: -5 or r?
r
Let v be 3 + (5040/33)/4. Let u = v + -41. Let y = 1 - 0. Which is greater: u or y?
y
Let r = -18 + 14. Let k = -0.01 - 0.29. Let s = 0.2 + k. Is r <= s?
True
Suppose 2*s + 49 = -5*t, -4*s - 1 + 2 = t. Is -11 greater than t?
False
Let f be 1*2 - (-9)/(-9). Are 2/33 and f equal?
False
Let s = -14 - -8. Let q(g) = 6*g + 156. Let v be q(-27). Do v and s have different values?
False
Let s be ((4 - 3) + 0)*-1. Is 2/29 equal to s?
False
Let d = -3 + 0. Let u = d + 1. Is u bigger than -1?
False
Let g(n) = -n + 5. Let j be g(5). Let c = j + 2. Suppose 0 = 19*q - 17*q - 4. Is c < q?
False
Let v = -118.47 + 119. Let s = -0.03 + v. Let d = s - 0.8. Is d > 0.1?
False
Let h(j) = -j**2 - 6*j - 2. Let f be h(-5). Suppose 2*l + 3*l = -2*v + 18, f*v + 3*l - 18 = 0. Suppose 0*d = -2*d - v. Is -4 smaller than d?
True
Let t = 5713/7 - 814. Which is bigger: t or 1?
t
Let m be -1 + ((-2)/6)/1. Let k = 0 - -13. Let n = 13 - k. Which is smaller: n or m?
m
Let a = -0.086 + -0.014. Is 40/9 >= a?
True
Suppose -5*u = -3*u + 10. Let o = 7 + u. Which is bigger: 1 or o?
o
Suppose b - 8*b + 14 = 0. Is b smaller than 1?
False
Let x be 0*(-1)/(-2) + 2. Let w(r) be the third derivative of r**6/120 + r**3/6 - r**2. Let t be w(1). Is x bigger than t?
False
Let q(i) = i - 6. Let x be q(4). Let d be 2/12*10 - 1. Is x less than d?
True
Let q = -2.98 - -3. Let l = 2.02 - q. Suppose 34*c = 39*c. Which is bigger: l or c?
l
Let d be (-159)/265*2/9*3. Which is bigger: d or 1?
1
Let s(z) = 22*z**2 - 4*z + 2. Let y be s(2). Let r be 6/24*16/y. Which is smaller: r or -1?
-1
Let i = -5/16 - 3/16. Let m = 329 - 329.03. Which is smaller: i or m?
i
Let x = -7 + -20. Is -27 at most x?
True
Let b(y) = y**3 - y. Let h be b(-3). Which is greater: -0.1 or h?
-0.1
Suppose -3*l + 18 + 9 = 0. Is l less than or equal to 9?
True
Let y = -40 - -46. Let w = 13 + -8. Which is smaller: y or w?
w
Let b(y) = 2*y**2 - 3*y + 2. Let m be b(2). Let q = 6 + -4. Suppose -5*p - 3*v = -34, 18 = 3*p + q*v - v. Is p at least m?
True
Let x = 19.993 + 0.007. Let j = x - 18. Which is greater: 0 or j?
j
Let u(n) = -n**3 + 15*n**2 + 3*n - 9. Let z(p) = 2*p**3 - 31*p**2 - 7*p + 17. Let k(s) = 7*u(s) + 3*z(s). Let y be k(12). Are -11 and y unequal?
True
Suppose -2*l + 2*w = -0*l + 4, -3*l + 4*w = 11. Is 0 less than or equal to l?
True
Let k = 11/20 + -4/5. Which is smaller: 12 or k?
k
Suppose -5*p + 22 = 4*w, -4 = -3*w + 2*p + 1. Which is smaller: w or 15/4?
w
Let i = -4 - -5. Let c = -0.1 - 1.9. Let k = 2.2 + c. Which is bigger: i or k?
i
Suppose -5*v = -3*v + c + 2, -2*c = -3*v - 3. Is -58 greater than v?
False
Suppose 0*f + f = 9. Let u be (f/(-6))/(6/(-8)). Suppose -u*b = -0*b. Is 2 >= b?
True
Let x be 4/(-18) + 32/(-18). Let t be (-27)/21 - x - 1. Is 2 > t?
True
Let p = 25 + -28. Let t = 3 + p. Let r = -0.5 + 0.57. Is t <= r?
True
Let s = 66 + -71. Which is bigger: s or -3?
-3
Suppose 10 = -0*f + 2*f. Let q = -5 + f. Suppose 3*x - x = q. Which is smaller: x or -0.2?
-0.2
Let v(w) = -w**2 - 10*w - 8. Let q(x) = 2*x - 9. Let o be q(0). Let l be v(o). Are l and 2/13 non-equal?
True
Let c be 2/11 + (1578/(-33))/(-1). Which is smaller: 49 or c?
c
Let f be 175/15 + 1 - (-8)/6. Which is greater: f or -1/5?
f
Let k = -58 + 45. Is -13 != k?
False
Let r = 15/47 + -404/235. Is -2 > r?
False
Suppose 3*k + 9 = 6*k. Suppose 6*t = k*t. Which is greater: -1 or t?
t
Let r(f) = 3*f**3 - f**2 - 2. Let l(b) = b**3 + b**2 - b. Let d = 5 - 6. Let y(j) = d*r(j) + 2*l(j). Let s be y(2). Which is smaller: 0 or s?
0
Suppose l = -2*y + 3, -5*l = -4*y - 62 + 5. Let j be l*(8/6 + -2). Let i be 8/6*(-3)/j. Which is smaller: 0 or i?
0
Suppose -18*o - 560 = 196. Is -42 > o?
False
Suppose 4*c = -n + 100, -4*c + 103 = -n + 11. Suppose v = -o + 2, o - 2*v = -4*o + c. Let b be 2/2*6 - 1. Which is smaller: o or b?
o
Let n = -101.1 + 111. Let q = n + -10. Is -4/5 > q?
False
Suppose -5*h = -4 - 1. Suppose -q + 17 + h = 0. Let o = q - 53/3. Is -1 greater than or equal to o?
False
Let j = -148 - -148. Are -4 and j equal?
False
Let q = -0.025 + -10.875. Let z = q - -11. Is z at most as big as 2?
True
Let f be 76/90 + (1 - (-7)/(-5)). Suppose 4*i - i = -30. Let s be (-1)/5 - (-8)/i. Is s < f?
True
Let o = 12/16201 - -2008168/1020663. Let u be 354/(-315) + (-6)/15. Let i = u + o. Is i > 1?
False
Let x be -3 + 4 + (3 - 5). Let f = -0.9 + 1.19. Let m = -0.01 - f. Which is smaller: m or x?
x
Let c = -6 + 8. Is 2 at least c?
True
Suppose -5*x + 7 - 27 = 0. Let q be x/(-6) - 2/(-6). Suppose 4*v = -v + 10. Is q greater than v?
False
Suppose 748 = -4*y + 4108. Let f be 494/y - (-2 + 3). Let g = f + 1/84. Which is greater: g or -4?
g
Let i = -2.3 + -0.7. Let o = i + 4. Let l = o - 2. Is l less than -2?
False
Let k = -7.6 + 0.6. Do k and -2/7 have the same value?
False
Suppose -2*n + 5*n = -2*n. Which is greater: -7 or n?
n
Let t(p) = p**2 - 7*p + 5. Let o be t(7). Suppose -o = -3*i + 8*i. Which is greater: i or 1/5?
1/5
Suppose 3*i + 9*i + 48 = 0. Which is smaller: i or 2/15?
i
Let i = 455982/161 - 2832. Let k = 1/23 - i. Let z = 3 - 2. Are z and k equal?
False
Let k be 2 - (-1 + -1 + 0). Let w be ((3 - 9)/(-3))/k. Which is smaller: w or 3?
w
Let a be -1*761*2/(-14). Let c = a - 109. Let h be (-8)/4 + -1 + 4. Is h less than c?
False
Let z = 1/6 - -1/2. Suppose 2*n + 7*n + 126 = 0. Are z and n unequal?
T