n u?
False
Let a be (-4 + 1 - -1) + 6. Suppose 2*m = -10, -s + 2*s = -a*m - 20. Which is bigger: s or -2/23?
s
Let w(l) = 2*l**2 + 2*l - 1. Let t be w(1). Suppose -4*o = t*n + 9, -5*n + 5*o + 16 = -4. Which is bigger: -2/5 or n?
n
Suppose 0 = 5*v - 3*i + 4*i + 4, v = 2*i + 8. Let g be (v - -1)*1 - 8. Is g smaller than -7?
False
Let r = -11 + 12. Is r <= -2/9?
False
Suppose -3*l + 249 = -6*l. Let p = 25 - l. Let c = 748/7 - p. Is c < -2?
False
Let r = 13 + -19.9. Let g = 7 + r. Which is smaller: g or 1?
g
Suppose -5*q + 17 = -2*c, -3*q - 3 = -3*c - 5*q. Let k = -1 + c. Let w(u) = -u. Let m be w(k). Is 2 <= m?
True
Let x(l) = 4*l - 12. Let t be x(5). Let g be (-2)/t - 13/104. Which is bigger: -1 or g?
g
Let q = 8 + -8.9. Let t = -5 + 5.1. Let i = q - t. Are 0.3 and i unequal?
True
Let o = 94/5 - 19. Let z(a) = a**3 - 10*a**2 - 1. Let p be z(10). Is o < p?
False
Let v be (-5)/2*4/6. Let b be 5/(-2)*4/5. Which is smaller: v or b?
b
Let n(u) = u**3 + u**2 - u + 5. Let f be n(0). Let r(m) = -3*m + 3. Let j be r(f). Let p be ((-6)/(-28))/(9/j). Which is smaller: p or 1?
p
Let t(c) = -c**3 - c**2 - c. Let y be t(-2). Suppose d - 9 - y = 0. Let x be (-9)/d - 2/30. Which is smaller: x or 0?
x
Let o = 4 - 4. Let t(s) = s**3 + s - 6. Let u be t(o). Is -6 smaller than u?
False
Let v(w) = -2*w**3 - 4*w**2 - 4*w - 3. Let q be v(-2). Which is smaller: q or 0?
0
Let o be 12/1*(-4 - (-36)/16). Let d = 6 + 1. Let g be 2/d - 6/o. Which is bigger: 2 or g?
2
Let q = 1487/7 - 212. Is 1 bigger than q?
True
Let t be ((-10)/(-60))/(4/45 + 0). Is 1 != t?
True
Let n be (9/(-2))/(6/(-8) - 0). Let d be (-9*1)/(3/2). Let p be 0/1 + d/(-1). Is n less than p?
False
Let t = -7 - -8. Let l = 1 + -2. Let w = l - t. Is 0 less than w?
False
Let d = -13 + 18. Let s = 5 + -1. Is d equal to s?
False
Let f be (-4)/8*(-1 - -1). Let h = 3 + f. Suppose 3*z + 16 = 4*w, 3*w + 6 = 4*z + 18. Which is bigger: w or h?
w
Suppose 0 = -b + 5*b. Which is smaller: b or -8?
-8
Let w be 6/2 + 0 + -3. Suppose y - 2*v + v = w, -5*v + 4 = -y. Which is bigger: y or -2/7?
y
Let f be -1 + 5/(-6) + 1. Let y = -164 - -499/3. Let t = y + f. Which is greater: t or 2/7?
t
Let p = -1.2 - -6.2. Let z = 4.9 - p. Which is smaller: z or 3?
z
Let v be 0/(2 - (-3)/(-3)). Let f = v - -1. Let p be 2/(-5) + (-8)/(-10). Which is smaller: p or f?
p
Let h be 16/13 + -3 + 2. Suppose -30*n + 35*n = 0. Which is greater: n or h?
h
Let c be (-8 + 6)*2/4. Is 1/7 at most c?
False
Suppose -3 = -5*f - 13. Which is greater: -8 or f?
f
Suppose l = 5*l. Let k = 1 + 1. Let j = k + -4. Which is smaller: j or l?
j
Let d = 0.09 + 0.11. Let x = -0.5 + -0.5. Are d and x unequal?
True
Let u be 59284/27*3/(-12). Let g = -549 - u. Let v = g + 38/27. Which is bigger: v or 1?
v
Let z be 3 + (-11 - (-3 - 1)). Which is greater: -2 or z?
-2
Suppose 2*a - 6*a = -3*k - 23, 0 = 4*k + 20. Suppose a*b - 10 = 0, 6*b = -3*n + b + 28. Which is smaller: n or 2/13?
2/13
Let t = -2 + 3. Which is smaller: 2 or t?
t
Suppose 4*i + 2*u + 1 = -5, 3*u + 9 = -i. Let h = -263/42 + 35/6. Which is greater: i or h?
i
Let a = 34 - 34. Which is greater: -12 or a?
a
Let c = 3 + 0. Suppose u - 13 = p + p, c*u - 5*p - 36 = 0. Let t(w) = w**3 - 6*w**2 - 8*w + 7. Let k be t(u). Are k and -1 unequal?
True
Suppose 0 = 3*c + 2*b - 7, 4*c - 40 = 2*b + 3*b. Suppose 5 = c*m + 2*l, -5*m - 22 - 3 = -4*l. Does -4/5 = m?
False
Suppose -6 = m + m. Do -11/3 and m have the same value?
False
Let h be (12/9 + -2)/((-6)/9). Suppose 4*c + j = 20, -3*c - 3*j + 15 = j. Suppose -3 - 7 = -c*u. Is u greater than or equal to h?
True
Let w = -2 - -1. Let t be 4/(-20)*2*5. Is w <= t?
False
Let w(k) = k + 4. Let a be w(-7). Let r(p) = 2*p**2 + 3*p - 2. Let t be r(a). Suppose -16 = t*x - 3*x. Is x less than or equal to -1?
True
Let q be 1 + 1 + 2/(-1). Let l be (4/(-67))/(-2) + q. Let b = 73/201 - l. Which is smaller: 0.1 or b?
0.1
Let b = 8 + 14. Suppose y = -3, r + 4*y = 3*r - b. Suppose -r*a + 20 = 5*n, -5*n + 0*n = 3*a - 14. Which is smaller: a or 2?
2
Let f = -58 + 57. Which is smaller: -0.2 or f?
f
Suppose -13*j = -6*j + 168. Is j <= -24?
True
Let u be (-1308)/(-945) + 4/(-18). Let c = 16/21 - u. Which is greater: 1/4 or c?
1/4
Let w be (-3 - -3)/(2 - 4). Suppose 2*t - 2*g = -w*g + 8, -2*g = 3*t + 8. Which is greater: t or 1?
1
Suppose 0 = k - 5*k + 12. Suppose 4*j + 24 = 8*j. Suppose -j*i = -k*i + 3. Does i = -1?
True
Let f(z) = z**3 - 13*z**2 - 2*z + 28. Let x be f(13). Which is bigger: x or -5?
x
Let r be 1/78 + -2 + 2. Which is bigger: 1 or r?
1
Let l = -19.2 + 19. Is l > 8?
False
Let g be (-4)/(-7) - 72/(-21). Let i = -4 + 7. Are g and i equal?
False
Let g = 1 - 1. Let s = g - 0.1. Let o = 71 + -70. Are o and s equal?
False
Let t = -4 + 6. Suppose -2*x + 11 = -3*d, -3*x + 23 = -t*x - 5*d. Let c(w) = -w**3 - 13*w**2 - 12*w - 1. Let g be c(-12). Which is greater: x or g?
g
Let p = -4/5 - -13/10. Let n(g) = g**3 + 6*g**2 + g + 8. Let o be n(-6). Which is bigger: p or o?
o
Let p = -151 + 52. Let q = p + 383/4. Are -4 and q non-equal?
True
Suppose -2*g + 3*a = 4, 3*a - 6 = 3*g - 0*g. Suppose -7*x + 3*w = -3*x + 13, 0 = -3*w + 9. Let n be 1/(x/(-1)) + -5. Is g less than or equal to n?
False
Let w be 0*(3 - (-10)/(-3)). Suppose 0 = -w*k + k - 1. Which is smaller: k or -2?
-2
Let h = 1.1 - 1.5. Let q = 0.52 - 0.02. Let k = q + h. Which is smaller: 0 or k?
0
Let g(s) = s**2 + 5*s - 5. Let q be g(-6). Suppose 2 = -b + q. Do -2 and b have the same value?
False
Suppose -3*f = -0*t + 3*t, -3*t = 9. Let g(p) = p**2 - p - 2. Let u be g(f). Suppose 0 = u*d - 3*d. Is d not equal to 0?
False
Suppose -d = 4 - 0. Let b = d - -7. Let h be b/(6/(-4))*-1. Which is smaller: h or 1?
1
Let s be 50/12 + -4 + (-874)/(-12). Which is smaller: s or 72?
72
Let s be ((-10)/4)/(9/(-18)). Suppose -3*b = -22 + 1. Let q(k) = -k**2 + 7*k + 5. Let a be q(b). Are a and s unequal?
False
Let c = 9/8 + -35/24. Let u = -5 + 7. Let r = u + -3. Is c >= r?
True
Let p = -28 + 55/2. Suppose -30 = -2*u + 4*j, 2*u - 2*j = -u + 25. Suppose 13 = -u*q - 4*n, 0 = 5*q - 3*n + 5*n + 9. Is p < q?
False
Let w = 4 + -2. Let l be 1/(-2) + w/4. Let c(p) = -p + 5. Let v be c(5). Is l bigger than v?
False
Let b = -2 + 1. Let p = 3 - -2. Are p and b unequal?
True
Let z = 39.98 - -0.02. Is 0.1 at most z?
True
Suppose 0 = -3*m + 2*q - 7*q + 5, 0 = 2*m + 5*q. Is 1 bigger than m?
False
Let t = -0.14 - -8.14. Let u = 1.4 + 13.6. Let c = u - t. Do -0.1 and c have different values?
True
Let r(w) = w**3 + 7*w**2 + 5*w - 6. Let u be r(-6). Suppose -3*i = -0*i + 2*h + 8, 2*i = -2*h - 8. Let k be i - 3/(-30)*-6. Is k greater than u?
False
Let s = -5 - -11. Let j be ((-6)/(-3))/((-10)/s). Is -2 >= j?
False
Let r be 4/(-10) - (-38)/20. Let d = -0.08 - -0.09. Let b = 1.01 - d. Which is bigger: r or b?
r
Let x = -4 + 3. Let d be ((-2)/(-21))/(2/(-6)). Which is greater: d or x?
d
Let a = 602/3 - 201. Let s be 3*(-1 - (-7)/3). Suppose -s + 1 = 3*m. Do m and a have different values?
True
Let u = 5 + -5. Let b(k) = k**3 + k**2 + 1. Let g be b(u). Which is smaller: 2/3 or g?
2/3
Let r(w) = -w**3 - 4*w**2 - w - 1. Let t be r(-4). Which is smaller: 4 or t?
t
Let u(k) = k - 4. Let j be u(-4). Let w(d) = -d**3 - 9*d**2 - 7*d + 8. Let b be w(j). Which is greater: 1/11 or b?
1/11
Suppose -19 = 3*z - 4*c - 2, 16 = -4*z + 4*c. Let b(x) = -x + 9. Let n be b(0). Suppose 4*d + g = -9, -3*g = -d - g + n. Are d and z non-equal?
True
Let k = 0.18 - -0.02. Is 0.01 smaller than k?
True
Let p = 14 - 6. Which is smaller: -1/3 or p?
-1/3
Let q be 7/(-14) - (-53)/(-2). Let i = q - -17. Let l be (-4)/i + (-15)/(-25). Is l > 1?
False
Let f = 0 + 0. Let r = -99 - -109. Which is smaller: f or r?
f
Let n be 12/10*-2 - -4. Is 2 >= n?
True
Let y = 5.02 + -0.02. Which is smaller: y or 3?
3
Suppose 4*m + 0 = 5*w - 5, -2*w = -2*m. Suppose 7*a - 2*a + w = 0. Which is smaller: -5/6 or a?
a
Suppose 3*g - 5*o = -41, -6 = -g - 3*o - 1. Let y = -3 - g. Let w be 2/(-8) - (-5)/y. Is w at least -2/7?
True
Suppose -a - 5 = 4*a. Let h(x) be the third derivative of -x**6/120 - x**4/24 - 3*x**2. Let o be h(a). Is o less than 1?
False
Let f = 22 - 7. Let g = -5 + f. Let j(p) = -p**3 + 11*p**2 - 11*p + 11. Let q be j(g). Are q and 1 equal?
True
Let p be ((-6)/(-5))/((-6)/(-20)). Let o(v) = -v**2 + 3*v + 3. Let c be 