be w(m). Is k < l?
False
Let n = 4 - 3. Suppose -u = -0*u. Is n at least as big as u?
True
Let b = -17 - -17.04. Are -1/3 and b nonequal?
True
Suppose -37 = -3*b + 740. Let a = 1809/7 - b. Let u = 2 - 4. Which is smaller: u or a?
u
Let g = -805/4 - -11893/60. Let n be 4/(-14) - (-145)/42. Let a = g + n. Is a < 0?
False
Let z be (2 - (-2 - -4))/1. Suppose 0*x - 3*x + 18 = z. Suppose 2*p + 20 = -3*p - 5*s, 0 = 2*s + x. Which is smaller: p or 1/3?
p
Let h = -15 - -7. Let j = h - -18. Are j and -0.1 non-equal?
True
Let p = 6 + 0. Let d(x) = -x**3 + x**2 + 12*x + 6. Let s be d(4). Is p greater than or equal to s?
True
Let w be (3/((-12)/40))/(-2). Suppose -q + 5*s - 6 = 0, w*s - 12 = 2*q + s. Which is smaller: q or -4?
q
Suppose 0 = 2*x - 2. Suppose 2*s - x = 5. Is 3 != s?
False
Suppose s + 5*n = 2*n, -n = -4*s - 13. Is s <= -3?
True
Let l = -2 + 5. Suppose -l*x - 5 = -2. Let p be (-4)/(-6)*(-3)/4. Which is bigger: x or p?
p
Let s be (-104)/42 + (1 - -1). Which is greater: s or -1?
s
Let x = -26 + 26. Which is greater: 2/3 or x?
2/3
Suppose -6*x + 6 = -12*x. Let s = -3 + 5. Let j = x - s. Which is smaller: -1 or j?
j
Let b(m) = -m**2 + 23*m + 15. Let d be b(20). Is 76 less than d?
False
Let p = -3.09 - -2. Let d = p - -0.09. Which is smaller: -5 or d?
-5
Let h be 1/(-6)*-4*-3. Let o be (h/(-1))/18*2. Let w(a) = a**3 + 11*a**2 - a - 11. Let c be w(-11). Is o >= c?
True
Let a = 32 + -30. Let o = -4 + 1.7. Let u = a + o. Which is bigger: 0.2 or u?
0.2
Let m(t) = 2*t**2 + 23*t + 4. Let h be m(-11). Let x(c) = -c + 2. Let w be x(0). Which is smaller: w or h?
h
Suppose -5*m + 50 = 2*f + 2*f, m = 2. Let z be (-6)/f - 4/10. Is -1 > z?
False
Let z = 1002/11 + -91. Suppose 4*j - 4 = -0*j. Is j at least as big as z?
True
Suppose 15 = 4*g - c, -2*g - 4*c - 6 + 0 = 0. Suppose -n + 4 = 5. Let y be 3 - (3 - (4 + n)). Is y <= g?
True
Let h = -11 - -1. Let q = h - -9.6. Let o = -71/236 + 3/59. Which is smaller: q or o?
q
Let r(c) be the first derivative of c**2/2 - c - 2. Let l be r(3). Suppose w + w - l = 0. Which is smaller: w or 1/4?
1/4
Let m be -3 - (-4 + (-6)/(-3)). Let q = 1 + -2. Let u be (q + m)/(-2 + 1). Does 2 = u?
True
Let t = -19 + 7. Let f be 9/t*24/(-387). Is -1 >= f?
False
Let i(s) = -s**3 - 5*s**2 + 6*s + 2. Let z be i(-6). Let w(d) = -1 + d**2 + z*d - 9*d + 0*d**2 + 7. Let m be w(6). Which is smaller: m or 2?
m
Let m be 30/75 + 16/10. Is 4/5 at most m?
True
Suppose 12 = j + 6*b - 3*b, 5*j = 3*b - 12. Suppose -2*y = -j*y. Is y at most as big as -2/5?
False
Let h = -0.8 + 0.86. Let a = 0.04 + h. Which is smaller: -1 or a?
-1
Let c be (-264)/42 + 4/14. Are -10 and c equal?
False
Let t = 0.7 - 2.8. Which is smaller: 1 or t?
t
Suppose -5*g = -5*f - 10, -f + 11 = 3*g - 15. Is 7 greater than g?
False
Let a = 11 + -10. Which is smaller: a or -0.3?
-0.3
Let y(d) be the first derivative of d**2/2 - d + 2. Let f be y(4). Suppose -f*o - 11 = -4*u, -4*u - u + 2*o = -5. Do -1 and u have different values?
False
Suppose -5*d + 2*d + 3 = 0. Is 1 < d?
False
Let a be (-8)/(-6)*(-9)/(-30). Let u = -199/4 - -50. Is u != a?
True
Let x(p) = -p**2 + 9*p + 18. Let f be x(9). Which is smaller: 19 or f?
f
Let a = 34 + -24. Let d be a/15 - (-626)/24. Let h = 27 - d. Are 0 and h non-equal?
True
Let x = -125 - -74. Let i be (x/(-15) - 4)*-15. Let v = 2 + 8. Are i and v nonequal?
True
Let r be 1/3 - (-11)/(-6)*2. Is r bigger than 0.3?
False
Let l = 0.1 + 0. Let q = 1 - -7. Let n = 11 - q. Which is bigger: l or n?
n
Let m be (22/4)/(6/12). Does m = 9?
False
Let c = 79 - 211. Let j be (-87)/c + (-3)/4. Which is greater: -1 or j?
j
Let d be -3 + 0 - 1*3. Let t be (2 + -4)*d/4. Suppose 4*z + 18 = 2*m, -t = 5*m - 3*z - 13. Is m >= 2/23?
False
Let f = 5.2 + -5.1. Is f at least 0.9?
False
Let c(v) = v**3 + v**2 - v - 1. Let i be c(0). Suppose 5*m + 16 = 2*d, -d + 19 = -5*m + 2*d. Let x be (4/(-6))/(m/(-3)). Is i greater than x?
False
Let r be (3 - 1 - 4)/(-2). Let i be ((-4)/(-66))/(5/(-15)). Which is smaller: r or i?
i
Let v(f) = -f - 9. Let w be v(-6). Which is smaller: -2/3 or w?
w
Let s be ((-2)/(-4))/(2/4). Let k be s/(-1 - (-1)/(-1)). Which is greater: k or -1?
k
Suppose -5*c - 17 = -3*m - 63, 5*m - 2*c = -83. Which is bigger: m or -16?
-16
Suppose -4*h - 3 = -5*h. Let m(k) = k - 3. Let w be m(h). Let y be -3 - (0 + (-11)/3). Which is bigger: w or y?
y
Let l be -1*6/15*25. Is -8 > l?
True
Suppose 3*l + 5 = 8*l. Let x(k) = k. Let z be x(l). Which is bigger: -1/11 or z?
z
Suppose 0 = -3*d - 3*m + 12, d + 2*m + 16 = 5*m. Is 3/74 less than d?
False
Let q be 35/(-14)*(-1)/135. Is q equal to -1?
False
Let u = 0.002 - -0.728. Let p = u - -0.07. Let z = 0.6 - p. Is z < 3?
True
Let u(m) = m**2 - 2*m - 2. Let d be u(2). Let n(c) = 8*c + 86. Let h be n(-11). Is d bigger than h?
False
Let n = 1.6 - 1.8. Is 3 > n?
True
Let d(b) = -b**3 + 24. Let o be d(0). Suppose -c = -t + 4, 2*c - 7 = 5*t - o. Let j = c - -5. Is j less than 3?
False
Let d = 449/7 + -64. Let w(z) = -z**2 + 5*z + 1. Let t be w(5). Is d >= t?
False
Suppose -4*t = 5*x + 14, -t = -5*x + 2*t - 7. Suppose -3*g = 3*j, -g + j + 0*j - 8 = 0. Let p = x - g. Is 1 > p?
False
Let a = -0.6 + 0.1. Is a greater than 0.3?
False
Suppose 0 = -0*m + 2*m. Let f = 125 - 2873/23. Does m = f?
False
Suppose -f - 3*c + 2 + 9 = 0, -5*f + 4 = -2*c. Let v be 3 - -3*(-1)/f. Which is smaller: 2 or v?
v
Suppose -3*w = -4*v - 248, 0*v + 4*w = -v - 43. Is -59 greater than v?
False
Suppose -3*x - 3*t + 30 = 0, x + 2*x + 5*t - 40 = 0. Let i(k) = k**2 + 4*k - 1. Let d be i(-3). Let r be d/(1/(1 + -2)). Are r and x equal?
False
Let p = 1035.95 + -1072. Let h = -37 - p. Let u = h - 0.05. Which is greater: -1/2 or u?
-1/2
Let d = -269 - -1875/7. Do d and 0 have the same value?
False
Suppose u - 7*o = -2*o - 17, 4*u - 32 = -5*o. Suppose -5*q = -u*q - 2. Which is smaller: q or 0.08?
0.08
Suppose -4*k = -3*d - k, 2*d - 5*k - 6 = 0. Let c be 5*(-2 + (-12)/(-10)). Let i be (-15)/25*(-5)/c. Which is bigger: i or d?
i
Suppose 2*f - 13 + 39 = 0. Do f and -2/5 have the same value?
False
Let n(r) = -2*r**3 - 3*r**2 - r - 2. Let q be n(-2). Which is bigger: q or 5?
5
Suppose -2*l = 1 + 3. Let w be -1 + ((-4)/(-5))/l. Which is greater: 0 or w?
0
Let x = 0.7 + -0.4. Which is smaller: x or -3/2?
-3/2
Let s(b) = 3*b**3 - 4*b**2 + 6*b + 1. Let z(g) = -g**3 + g**2 - 2*g. Let n(x) = 3*s(x) + 8*z(x). Let k be n(3). Which is greater: -1 or k?
k
Suppose 55 = b + 2*g, 6*b = 2*b + 5*g + 194. Let s be (-109 - 2)/(-1) + -3. Let i be b/s - (-2)/(-9). Which is greater: i or 2/3?
2/3
Let d(a) = -a**2 + 8*a + 5. Let r be d(9). Let b = r + 5. Is 3/4 at most b?
True
Let y = 10 - 10.1. Let a be (1 - 1) + 1/1. Is y greater than or equal to a?
False
Suppose -4*v - 3 = 5*h, -4*h + 6 = -4*v + 3*v. Suppose -5*r + 4*o + 30 = 0, -h = r + r + o. Let d = 0 + r. Is d less than 2?
False
Let z be ((2 - 0) + -1)*2. Let c be z/(2 + (0 - 0)). Let i be (-1)/3*(-16)/24. Is c at least as big as i?
True
Let p(k) = -3*k**2 + 12*k + 9. Let w be p(-8). Let g be w/(-1212) + (-2)/8. Let j = -109/404 - g. Is j > -3?
True
Let c = -0.9 + 0.4. Let u = c - -0.4. Which is bigger: 0.1 or u?
0.1
Let d = 28 + -17. Suppose -5 + 0 = 5*o - 5*q, q - d = -4*o. Are -1 and o non-equal?
True
Let k = 8 - 8.06. Let m = k + 0.08. Which is smaller: m or -1?
-1
Let q = 1006350 + -76485537/76. Let m = -155/4 - q. Which is greater: m or -1?
m
Suppose 73 = -4*o + h - 6*h, -5*o + h = 55. Let m(q) = q**3 + 11*q**2 - 11*q + 17. Let y be m(o). Suppose 19 + 6 = 5*f. Is y bigger than f?
False
Let s be (-2)/8*(-1 + 5). Let k be -5*((-16)/(-55))/(-4). Which is greater: s or k?
k
Suppose 0 = -5*x + m + 42, -4*m - 2 = -2*x + 4. Is 7 != x?
True
Let p be 1 + 2*-2*-5. Suppose 3*q = 4*m - 15, -4*m - 3*q = -6 + p. Let t = -47 - -46. Are t and m unequal?
True
Let q = -73 + 53. Do q and -21 have different values?
True
Suppose -4*i = 5*q - 8, 5*q - q - 4*i + 8 = 0. Let t be 1/9*(-18)/21. Are q and t nonequal?
True
Let k = -27 - -33.2. Let l = k + 0.8. Let v = -13 + l. Do 0.1 and v have the same value?
False
Suppose 6*x = 2*x. Let r = -305/9 - -34. Which is greater: r or x?
r
Suppose 8*p = 3*p. Is 0 at least p?
True
Let u = 7 - 11. Let i = u - -7. Is i equal to -2/3?
False
Suppose 4*l - 206 = -3*c, 2*c + 3*l = -3*c + 336. Which is smaller: c or 67?
c
Suppo