 -338.9 - -339. Is u at most i?
False
Let o = -7 - -3. Is -3 less than or equal to o?
False
Let z = 0.24 - 0.36. Which is greater: -2 or z?
z
Suppose -13 + 1 = -2*g. Suppose 5*k - 2*y = 13, k - 4*y - g = 11. Let d = 9 - 9.2. Which is smaller: d or k?
d
Suppose 8 = 2*x + 2*f - 0*f, -14 = 4*x - 2*f. Which is smaller: x or -1/62?
x
Let f(m) = -m**2 - 8*m - 5. Let p be f(-6). Let y be (-14)/p*(1 - 0). Let k = -14 + 10. Which is greater: k or y?
y
Let i = 3.95 - 4. Let w = i - 0.95. Suppose -5*o + 3*p = 3, o - 2*p + 2 = -0*p. Is o less than w?
False
Let q(h) = -h**3 + 5*h - 2*h**3 + 4*h**2 + 1 + 2*h**3. Let a be q(5). Let v = -11 + 12. Is v bigger than a?
False
Let b be -3 - (-1)/((-2)/(-4)). Suppose -3*q = -5*c + 17, -3*c = -q - 4*q - 7. Suppose -t + c = 6. Is t at least b?
False
Suppose 0 = -2*n - 4, n = -2*b - 5 + 17. Suppose b*l - 3*l = 0. Which is smaller: l or 1/22?
l
Suppose -96 = -6*j + 2*j. Suppose 3*f = -f - j. Do -4 and f have the same value?
False
Suppose 1023 = 3*m - 3*j, -m = m + 5*j - 668. Let g be ((-2)/(-6))/((-4)/m). Let r = g - -28. Which is smaller: r or -1?
-1
Let f(p) = 2*p**2 - p - 1. Let u be f(-1). Suppose 4*o - z = 12, 9 = u*o + o - z. Suppose 0 = 3*q - o. Is q > 2?
False
Let p be ((-4)/(-14))/((-12)/(-21))*2. Let n = -1 + 1. Let h = n - -2. Which is bigger: p or h?
h
Let u be (-50)/(-84) + (-4)/6. Is 0 less than u?
False
Let s = -7 + 12. Suppose -s*f - 4 - 1 = 0. Let h = 8 - 11. Is f at least as big as h?
True
Let l be -1 + (0 - -1 - 1). Let p = 2 - 3. Do l and p have the same value?
True
Let m be (-276)/(-27) + (1 - 1). Let a = -10 + m. Suppose 4*r + 0*r = 5*r. Does r = a?
False
Suppose -2*c - f + 25 = 2*f, 2*c + 5*f - 35 = 0. Suppose -4*j - 5 = -3*l - 2*j, 0 = -3*l + 3*j. Suppose l*o = -k + 4, 3 = c*o + k + k. Is 2/11 != o?
True
Suppose 2*r + 2 - 1 = -3*j, -4 = -4*r - 4*j. Suppose 3*u - 3 = r*x, 5*x + u + 2 = 3*u. Which is greater: x or -2/9?
x
Suppose -4*g + 2*x + x = -60, 0 = 3*x. Let v be g/35 + (-6)/14. Is -1 bigger than v?
False
Let q(p) = -6*p - 1. Let t be q(1). Suppose -3*v - 4*f - 39 = 0, -v - 20 = -2*f - 7. Let s = v - t. Is 2/5 > s?
True
Let f(n) = 3 + n**2 + 2*n**2 + n**3 + n**2 + n. Let z be f(-4). Let l = 26/3 + -77/9. Are l and z non-equal?
True
Suppose 0 = -5*h - 2*b - b - 32, 4*h + 5*b + 23 = 0. Which is smaller: -10 or h?
-10
Let w(k) = -k**2 + 5*k + 2. Let v be w(5). Suppose -3*m + 11 = n, v*n + 2*n - 12 = 4*m. Suppose m*r - 1 = 3. Is r <= 3?
True
Let d = 0.08 - -2.92. Let t = -3 + d. Let f = 0.1 + t. Is f at most as big as -1?
False
Let o(s) = -4 + 4*s - 3*s - 2. Let h be o(5). Let v be 4/12 + h/3. Is v less than or equal to -2/5?
False
Suppose 8 = -5*t - 22. Let j be 12/9*t/(-4). Is j >= 4?
False
Let n(l) = -l**3 - 7*l**2 + 3*l - 11. Let u be n(-8). Is u <= 30?
True
Let d(a) = 6*a**2 - 2*a**2 - 3*a**2 - 4*a + 2. Let u be d(4). Suppose -2*y + 5*h = -18, -2 = y + 4*h + u. Is 2 < y?
True
Let p = -4 + 4. Let t = 1 - p. Let o be -3*(t + 2)/(-3). Is 4 bigger than o?
True
Suppose 0*q = -5*q + 45. Let m(k) = -k + 10. Let d be m(q). Is d less than or equal to 4?
True
Suppose -4*h + 3*h + 1 = 0. Suppose 4*x = -2*i - 14, x = 2*i - 2*x. Let u = h + i. Is -2 >= u?
True
Let u = -35/3 - -35. Which is smaller: 24 or u?
u
Suppose 5*p = -p + 18. Which is bigger: p or 4?
4
Let v = -9 - -3. Let n = 5 + v. Suppose -2*t + 2 = 4*f, 3*f + 0 = 3*t + 6. Is t less than n?
False
Let o be (-84)/(-38)*(-30)/117. Let i = o - -6/13. Suppose -5 = 4*d - 1. Is i at most d?
False
Let f = -473 + 474. Suppose -3*v + 2*p = -25, v - 5*p = -3*v + 45. Let b = -3 + v. Which is smaller: b or f?
f
Let x be 7/(-28) - (-2)/56. Which is bigger: x or -1?
x
Suppose -5*o = 2*w + 23, 3*o = 2*o - 5. Is 6/23 <= w?
True
Let y be 5/3 + 1/3. Let d be -3 - ((-2)/3 - y). Let l = -124 + 622/5. Which is greater: d or l?
l
Let q be (12/(-585))/(3/3). Let n = 2/15 - q. Which is smaller: 0.1 or n?
0.1
Let q = -54966 - -989105/18. Let a = 31/2 + q. Let h(l) = -l**3 - 18*l**2 - 17*l - 1. Let x be h(-17). Which is bigger: a or x?
a
Let k = 9 + -9.7. Let n = 33 + -33.8. Let q = k - n. Which is smaller: -4 or q?
-4
Let n = -70 - -66. Is 3 at least n?
True
Suppose 0 = -2*s - 2*s + 20. Let t be 33/7 - (-6)/21. Is t greater than s?
False
Let m be (-355)/6 - 2 - 8/(-48). Is -62 at most m?
True
Let n(s) = -4*s + 1. Let p be n(-1). Suppose p = 6*j - j. Which is smaller: 1/13 or j?
1/13
Let f(z) = -z**3 - 4*z**2 + 4*z - 5. Let u be f(-5). Let b = -31/7 - -169/35. Is b <= u?
False
Suppose -4*v + 2*v + 4 = 0. Let c be 3/v*2/1. Let z be (-8)/c*6/(-4). Does 2/7 = z?
False
Suppose 3 = 2*q + 7. Are q and -5/7 nonequal?
True
Let t(n) = -n + 2. Let x be t(2). Let s be 5 - (x + 1 + 1). Is 4 greater than s?
True
Suppose 0 = n + 2*o + 22, 8 = 3*n - 3*o + 65. Is -1 less than n?
False
Let z(y) = -y**3 - 9*y**2 + 10*y + 6. Let x be z(-10). Let p = 2 + x. Is 8 at least p?
True
Let o(t) be the third derivative of -t**4/24 + t**3/2 + 2*t**2. Let b be o(3). Let d = -1272/13 + 98. Does d = b?
False
Let j = 0.2 + 0.1. Let o = j - 3.3. Let q = o - -2. Which is greater: q or 1?
1
Let y = -9/2 - -5. Let v be 1/(-2) - 1/4. Is v <= y?
True
Let k = -1405/6 - -233. Which is bigger: k or 0?
0
Let c be ((2 - 3)/(-1))/1. Which is smaller: c or 2.2?
c
Suppose 2*i + 0 + 2 = 0. Let l = 0 - -4. Let o(c) = -c + 4. Let g be o(l). Which is bigger: g or i?
g
Let p = 1357/14028 + -1/668. Let x = 274 - 274. Which is smaller: x or p?
x
Let f(y) = -y**3 - 17*y**2 - 17*y - 16. Let h be f(-16). Let c be (-22)/(-16) - (-18)/(-12). Which is bigger: h or c?
h
Let n = -0.12 + 0.02. Which is smaller: n or 1/8?
n
Let b(w) = -w**3 - 5*w**2 - 2*w - 10. Let m be b(-5). Suppose -4*f = -3*t + 9 - 24, m = f + 4*t + 20. Which is bigger: -3/4 or f?
f
Let a be (-3)/2 + (-1)/(-1). Let j(q) = q. Let z be j(3). Suppose z*v = -3*s + 2*s + 6, -4*s = 5*v - 17. Which is bigger: a or v?
v
Let f = -606807/161 + 3769. Let b = f - -3/23. Is b smaller than 0?
False
Let u(m) = m**3 - 6*m**2 - 3*m + 6. Let h be u(6). Which is smaller: -11 or h?
h
Let i = -2/141 - -100/423. Let z = 4.6 - 3.6. Is z greater than i?
True
Let q be 4/(-10) - (15/25 + -1). Let h be (-8)/(-6) + (-6)/(-9). Which is smaller: q or h?
q
Let x = 61/8 - 8. Is x < -1?
False
Let o = 0.091 + -0.191. Let u = 1.96 + -2. Which is smaller: o or u?
o
Let m be 2 + -2 + (1 - -3). Let g = -17 - -29. Let n be m/6 + (-8)/g. Is n greater than or equal to -3/4?
True
Suppose x + 6 = -t + 2, 3*t - 2*x = 8. Which is smaller: t or 1/10?
t
Suppose h = -3*h. Suppose -5 = 5*x - h. Let q be (0/3 - 2)/15. Is q less than x?
False
Let r be 7/2*(5 + -3). Suppose 0 = -3*v + r*v + 4. Let w = 0 + v. Are w and 0 equal?
False
Suppose -2*u = 6, -2*k - 2*u = 2*u - 4. Let a = k + -11. Let q be 1 - (-2 - 0 - a). Which is smaller: q or 4/9?
q
Let g = 0.79 + 0.21. Which is smaller: g or 1/4?
1/4
Suppose -3 - 72 = -5*c. Let l be (126/2175)/(1/c). Let v = -2/29 + l. Is 1 not equal to v?
True
Let u = 11 + -8. Let c = 1.94 + 0.06. Let o = u - c. Is o <= 1?
True
Let r = -0.3 - -18.3. Let b = 11 - r. Which is bigger: 2 or b?
2
Suppose a - 5*t + 14 = 0, 2*a - 3*a + 3*t - 4 = 0. Let m = 25 - a. Suppose 4*p - 3*v + m = 3, -5*v = 3*p + 1. Is -2 greater than p?
False
Let q = -4 - -6. Let n be 21/(-14)*24/(-9). Is n < q?
False
Suppose 9*z = 8*z + 5. Suppose 0 = z*j - 7 + 2. Which is greater: j or 3/7?
j
Let i be 78/9 - (2 - -2) - 4. Is i < -103?
False
Suppose 0 = 4*a + 2*c + 2960, 0 = -5*a + 3*c - 0*c - 3722. Let v be (2/(-7))/((-48)/a). Let k = v - -25/6. Do -1 and k have the same value?
False
Let m = 2 + -2. Let j be (-4)/6 + 24/9. Suppose 2 = 2*y, 5*o + 0*y + j*y + 23 = 0. Is o equal to m?
False
Let k = 10/9 + -88/63. Which is bigger: 4 or k?
4
Suppose 0 = 2*y + 2. Suppose 0 = d - 2 - 1, 5*z - 4*d = 3. Let q = z + -4. Is y != q?
False
Let o be -1*(1 + 0/(-2)). Let d(w) = -w - 1. Let f be d(o). Suppose q + q = f. Which is greater: q or -1?
q
Let m = 0.17 - 0.07. Is -5 at most m?
True
Let l = -8 + -3. Is -2 less than l?
False
Let h = 4 + 4. Suppose 2*d + 48 = 5*t + 4*d, -20 = -2*t - d. Is h at least as big as t?
True
Let u = 0.55 + -0.6. Let p = 1.05 + u. Let n = 2 - p. Which is smaller: n or -0.3?
-0.3
Let m = -18.966 + -0.034. Which is greater: 0.2 or m?
0.2
Suppose 3*k - 827 = 5*f - f, 4*k = -f - 221. Let q = f - -3