e?
False
Suppose 5*k = 10*k - 5. Is -2/141 at least as big as k?
False
Let s = 8 - 2. Let f = s + -4. Is f smaller than 2/15?
False
Let q(u) = 2*u**2 + 2*u - 2. Let n be q(-3). Suppose -2*w = -5*w + 4*o + n, 6 = -w - o. Is 1 equal to w?
False
Suppose x - 3*x = 0. Let k = 8 + -12. Let d = k + 4. Is x < d?
False
Let z(i) = 5*i**3 - 3*i**2 + 2*i + 5. Let l(k) = 4*k - 2*k - k + 1 - k**2 + k**3. Let o(b) = 4*l(b) - z(b). Let d be o(-2). Is d > -1?
False
Suppose 3*c = -2 + 5. Let m(n) = -n**2 - 3*n - 2. Let q be m(-4). Let l be ((-2)/(-6))/((-3)/q). Which is bigger: c or l?
c
Let i = 32.7 + -32. Which is smaller: 0 or i?
0
Let n(t) = -2*t**3 + 3*t**2 - 2*t - 1. Let l = -8 + 10. Let z be n(l). Is z at least as big as -9?
True
Let a = 3 - -14. Let u be a/33 + 2/(-11). Which is smaller: -7 or u?
-7
Let o = -77 + 73. Suppose 2*r + 2 = 4. Is r bigger than o?
True
Let o(z) = -z**3 - 4*z**2 + 4*z. Let v be o(-5). Let w = -121 - -124. Which is smaller: v or w?
w
Let f be 1 + (20/(-14))/1. Let o = 14 + -13. Is o greater than or equal to f?
True
Suppose 5 = 6*s - 1. Is -6 at most as big as s?
True
Let d be (5/((-10)/(-4)))/2. Let o = 0 + d. Is o at most as big as 1?
True
Suppose 3*y = -0*y + 3. Let z = -1 - y. Which is smaller: z or -3?
-3
Let r = -2 - -1. Let u = 0 + 2. Let i = r + u. Is i not equal to 2?
True
Let j = 39 + -119/3. Let a be 3/9 + (-19)/3. Let t = 6 + a. Which is greater: j or t?
t
Let p = 11/2 + -5. Are -3/4 and p unequal?
True
Let v be (-1)/((-1)/(-1) + -4). Let z(t) be the first derivative of t**3/3 + 2*t**2 + 3*t - 1. Let l be z(-2). Which is greater: v or l?
v
Suppose -o - 3*s = 15, 5*o + 0*s + 10 = -2*s. Which is smaller: o or -2/19?
-2/19
Let l(v) = v**2 + 5*v. Let j be l(-4). Which is greater: -5 or j?
j
Let t be 4/18 - 1004/144. Let y = -7 - t. Is y at least -0.2?
False
Let v = -74 + 70. Which is smaller: v or -3?
v
Let w(j) = -j - 8. Let f be w(-8). Which is smaller: f or 7?
f
Let r = -1846 + 97834/53. Are 1 and r non-equal?
True
Let w = -13 + 7. Which is smaller: -7 or w?
-7
Let q = 10.4 - 10. Let j = q - -16.6. Which is smaller: j or 0.1?
0.1
Let r be (-1117)/(-1967) - (-4)/(-7). Are r and 0 unequal?
True
Let q = 190 - 325/2. Let k = q + -28. Let t = 3.67 + -0.67. Is k at least t?
False
Let s = -2/313 + -4063/939. Let k = 29/6 + s. Which is bigger: k or -2/5?
k
Suppose 6*g - 3*g + 38 = 2*m, m - 16 = 3*g. Suppose 2*i + m = 2*y, 2*y - 42 = -0*y - 2*i. Let j be 1/(4/(y/14)). Is 0 less than or equal to j?
True
Let h be (-4)/(-18) - 12/(-27). Let r = -12 - -11. Which is smaller: h or r?
r
Suppose 0 = 2*i - 2, -z + 3 + 9 = 4*i. Let b = z - 53/6. Suppose -3*k = -6*k. Is b <= k?
True
Let s = -106 + 323/3. Is s at most 1?
False
Let m be (6/20)/(8/(-10)). Which is greater: m or 0?
0
Suppose 2*b - 5 = -p, 0 = 3*p - 8*b + 3*b + 29. Let n be (-8)/36 + p/27. Which is bigger: -3 or n?
n
Suppose m + 0*m = 0. Let b = -12 - -14. Let u be (b/(-3))/((-4)/(-6)). Is u < m?
True
Let o = -7 - -6.5. Let a = -0.6 - o. Which is smaller: a or -1?
-1
Let w = 3 + -7. Let u = -1.5 - -1.5. Which is smaller: w or u?
w
Suppose 5*r = -25, -2*w - w + 2*r - 2228 = 0. Let j be w/1288 + (-4)/(-14). Let o = 1/23 + j. Which is smaller: o or 1?
o
Let l be ((-9)/(-2) + -2)*-2. Is -5 greater than or equal to l?
True
Suppose -39 = 3*u - 4*i, 2*i + 5 = -3*u - 16. Let y be 14/4 + u/6. Which is bigger: y or -0.2?
y
Let a be 4/(-6) + 12/(-9). Let t = 0.2 + 1.8. Let g = t + -1. Is g at most as big as a?
False
Suppose 0 = 12*q + 232 + 788. Is q less than -85?
False
Suppose 0 = 4*l + 1 + 7. Let x(o) = -2*o**3 - 2*o**2 + 2. Let w be x(l). Does 11 = w?
False
Let v be (-8)/28 + (-54)/(-84). Which is smaller: v or 0?
0
Let m = 0.131 + -0.021. Which is smaller: 0.1 or m?
0.1
Let a be (-25)/(-20)*(-3)/5. Let v be (-3 - 48/(-18)) + (-4)/(-3). Which is bigger: a or v?
v
Let p(g) = -g - 5. Let r be p(-7). Let f = 0.97 + -1. Let j = 0.17 - f. Is r greater than j?
True
Let p = 49 - 247/5. Suppose -5*x = t - 0*x - 20, -x + 4 = -5*t. Which is smaller: t or p?
p
Suppose -1 = -4*w - r, 6*w - 2*w + 11 = -5*r. Which is smaller: 0.26 or w?
0.26
Suppose -3*g + 0*q + 21 = -3*q, q = 3*g - 17. Let o be (-4)/5*g/10. Let j = 1.97 + 0.03. Which is smaller: j or o?
o
Let s = 1 + -1. Suppose s*n - n - 3 = 0. Let i = -25 - -21. Which is bigger: i or n?
n
Let l = 4 - 16. Let p be 22/4 + (-18)/l. Is p >= 7?
True
Suppose -5*b + 82 = -3*q, 3*b + b + 3*q = 44. Let i = 179/13 - b. Which is smaller: i or 0?
i
Suppose -j - 7 = -u, -4*u + 26 = -3*j + 5. Is -9 less than j?
True
Suppose -3*w - 11 = -5*k, 5*w + 5 = 2*k - 7*k. Suppose -3*x + k = -4*x. Which is smaller: x or -2/7?
x
Let n be ((-4)/(-4))/((-2)/(-8)). Suppose q + 19 = -2*h, -n*q - 53 + 12 = h. Which is bigger: q or -10?
q
Let d = -18 + 58. Suppose 0 = 5*l - 0*l + d. Suppose 5*q - 4*o = -35, -2*q - 2*o - 1 - 13 = 0. Is l at most as big as q?
True
Let j = 0 + -2. Let g = j - -4. Which is greater: 0 or g?
g
Let j be (2/4)/((-2)/4). Let t be (-1 - -1)*(-2 - j). Let f be (t + (-2 - -3))*-1. Is -1 greater than or equal to f?
True
Let t be -1 + 3 - (1 + 1). Let a(l) = -l**3 + 8*l**2 + 6*l - 8. Let z be a(9). Let h = -104/3 - z. Is h greater than t?
True
Let g be (-2)/(-9) + 11/(-9). Let d = 1951/126 - 140/9. Which is smaller: d or g?
g
Let h = 3 - 2. Let n be (-16)/4*(-2)/4. Let m be n/(-36)*-22 + -1. Which is smaller: h or m?
m
Let q be (2 + -2 - 0) + 9. Let u(s) be the second derivative of s**5/20 - 5*s**4/6 + 4*s**3/3 + 4*s**2 - 5*s. Let w be u(q). Which is smaller: -4 or w?
-4
Let h = -0.4 - -1.6. Is 1 >= h?
False
Let b = 0.8 + -5.8. Let h = b - -3. Are h and 1/2 non-equal?
True
Let i = -2 + -1. Let p = -0.2 + 0.3. Is p bigger than i?
True
Let u = -15684/253 - -680/11. Is u greater than or equal to 0?
False
Let u(r) = r**2 + 1. Let t be u(-1). Let q(p) = 4*p - 3. Let i be q(2). Suppose 4*c - 26 = -c + 4*y, -t*y + 2 = i*c. Are c and 0 unequal?
True
Suppose 187 = -5*q + 2*r - 113, -2*r - 280 = 5*q. Is -59 at least q?
False
Let v(l) = l**2 - 2*l. Let r be (1 - -1) + 2 + -1. Let o be v(r). Which is smaller: o or 1?
1
Suppose 10 = k + 4*k. Suppose 5*d - 40 = 5*h, 0*d + 16 = 3*d + h. Let j be 6/4*4/d. Which is greater: k or j?
k
Let d = -0.2 - -0.3. Suppose 87 + 38 = -5*c. Let z = 177/7 + c. Which is smaller: d or z?
d
Let n be ((-4)/3)/(-145 - 1). Let r be 2/4 + (-30200)/45552. Let t = r + n. Do -1 and t have different values?
True
Suppose -17113 = -3*j - 69613. Let c = -962537/55 - j. Let a = -3/11 - c. Which is bigger: 2 or a?
2
Let s = 76 - 61. Is 13 smaller than s?
True
Suppose -26 = -5*k - 6, -4*v - k = 24. Let o = 11 + v. Let b be (-13)/o + (-1)/(-4). Which is smaller: -3/2 or b?
b
Let q = 0.09 - -11.11. Let a = 11 - q. Which is greater: -4 or a?
a
Let t(q) = q**3 - 9*q**2 - 2. Let r = -9 - -18. Let k be t(r). Is 1 at most k?
False
Let n = -21/2 + 259/26. Let l = n + 1/26. Which is greater: -1 or l?
l
Let r = 13 + -6. Let w be (-8)/(-12) - r/(-3). Suppose u = -2*h + 3 - 4, -4*h = -3*u - w. Is -3/7 smaller than h?
True
Let f(r) = -43*r - 3. Let t be f(-3). Suppose -n = 4*u + 280, u = -u + 3*n - t. Let c = u - -343/5. Which is smaller: -1 or c?
-1
Let g = 46 - 56. Is -9 less than g?
False
Let q = 2.76 - -0.24. Which is smaller: q or -4?
-4
Let t be (-48)/(-9) + 3/(-9). Suppose -t*q + 20 = -10. Let v be (q/10)/((-3)/15). Is v smaller than -2?
True
Let m = -17.6 - -17.4. Is m at most as big as 21?
True
Let w be ((-6)/12)/(1/20). Let j = -7 - w. Which is smaller: j or 2?
2
Let y = 8 - 10. Let u be y/(-12) + (-30)/396. Does u = 0?
False
Let v = 50 - 249/5. Let g = v - -2/15. Let s = -2 - -3. Which is bigger: g or s?
s
Let s be 3 + 3/(-2 + -1). Let l be s/6 - 7/3. Are l and -1 unequal?
True
Suppose -3*q + q - 1476 = 0. Let x be ((-4)/(-3))/((-4)/q). Let v = x - 1234/5. Is -2 not equal to v?
True
Let c be (5 - 9)*(-6)/2. Let h = c - 7. Suppose 0 = h*d - 9*d + 8. Is d greater than 0.4?
True
Let v = 13 + -18. Suppose 4*k - 9 = 3. Let q = v + k. Is -2 at least q?
True
Let a = 1 - 1.8. Let b = -2.2 + a. Which is smaller: b or -0.1?
b
Let l(s) = s**3 + 8*s**2 + 8*s + 7. Let b be l(-7). Is b at most as big as 0?
True
Let z be 1*69/24 + (-3)/(-2). Which is greater: 3 or z?
z
Let f = 2 - 2.1. Let i = -0.04 + 4.04. Which is bigger: i or f?
i
Let t = -4 + 7. Suppose 15 = -2