igger than 3?
False
Let d = 4 - 2. Suppose 0 = 5*g - 20 - 0. Is g less than d?
False
Let p = -11 - -14. Are p and -1/4 nonequal?
True
Let z be (-4)/(-6) + (-4)/6. Let n = z - -1. Suppose 43 = 4*h + 35. Is h less than or equal to n?
False
Let k = 4.004 + 0.026. Let i = k + -0.03. Let c = -2 + i. Is -1/2 > c?
False
Suppose 39 = 2*w + 5*q, -4*w + 3*q + 23 = 2*q. Is w less than 7?
False
Let w = 0.14 - -0.26. Let a = -0.3 + 0.5. Let r = a - w. Which is smaller: r or 0?
r
Let y = -8.03 - -8. Let k = y - 0.03. Let t = k + 2.06. Is 2 greater than or equal to t?
True
Let g be 2/4*14/(-35). Let q be (-2)/(-8) + 114/(-8). Let r be (-18)/14 - 4/q. Is r < g?
True
Suppose 4*q - 3*k - 5 = 0, -2*k - 2 - 2 = -3*q. Suppose 0 = -q*b - 5*w + 11, 6*b = 3*b + 4*w + 5. Let v be -6*(0 + (-1)/b). Is 1 at most v?
True
Let u = -4 + 9. Let r = u - 5. Is 2/5 >= r?
True
Suppose 0*s = -6*s. Is 0 != s?
False
Let v be 1*-3*2/(-6) + 2. Is 2 less than v?
True
Let v = -241/741 - 2/247. Let x = 1.1 + -0.1. Which is smaller: v or x?
v
Suppose a + 27 = 11. Do a and -15 have the same value?
False
Suppose -56 = h + 5*v, 3*v + v - 135 = 5*h. Is -33 not equal to h?
True
Let a = 417/4 - 105. Let t = a - -1/4. Let w(l) = -l**3. Let f be w(1). Which is greater: t or f?
t
Suppose -6 = 6*g - 3*g. Is -3 not equal to g?
True
Let c = -0.033 + -0.177. Let y = -0.11 - c. Is y smaller than -5?
False
Suppose -4*g + 17 = -3*v, -3*g - v + 31 = 2. Are 8 and g equal?
True
Suppose 2*u + 2*y - 8 = -0*u, 3*y = -5*u + 10. Let m = 6/139 + 188/2085. Are m and u unequal?
True
Let d be 0/((2 - 2) + -2). Let k be (0 - d) + 2 + -4. Let g be -1*k/((-4)/6). Which is smaller: -1 or g?
g
Let i = -12.9 + 13. Let z = 11 - 5. Let f be (-2)/z - 1/(-12). Which is smaller: f or i?
f
Let v be (-6)/(-40) + 8/(-20). Which is smaller: 9 or v?
v
Let v = -93.2 + 95. Is v not equal to -1/2?
True
Let j = 1.9 - 3. Let a = 1.9 - j. Which is smaller: -5 or a?
-5
Let j be ((-2)/(-8))/(1/44). Let a = j - 9. Which is smaller: 3/4 or a?
3/4
Suppose u = -4*u. Let a be 17/(-30) - (-2)/3. Let x = 11/90 + a. Which is greater: x or u?
x
Let a(r) = -3*r**2 + 2*r + 4. Let d be a(-3). Is d < -28?
True
Let b = -14 - -20. Suppose m + 2*m + b = 0. Is m at least -3/2?
False
Let c = 31 + -9. Suppose -4*u = 2 - c. Suppose f + u = 2*f. Which is smaller: 4 or f?
4
Suppose p - w = 4*w + 29, p - 3*w = 19. Which is smaller: p or 5?
p
Let r = 65/3 - 22. Is -6 != r?
True
Let w = 14 - 5. Suppose 4*r + 7 = -w. Suppose -s - 12 = 5*u, -5*u - 11 - 19 = -5*s. Is r at least u?
False
Let t(p) = 4*p**2 - p + 2. Let s(o) = o**2 + o + 1. Let w(z) = -5*s(z) + t(z). Let u be w(-4). Is 7/2 at least u?
False
Suppose -2*x = 2*x + 60. Which is greater: -14 or x?
-14
Let w = -139 + 76. Which is greater: w or 2/5?
2/5
Let g = 7 - 8. Is 0 smaller than g?
False
Let q(w) be the second derivative of w**5/20 - w**4/4 + w**3/6 - w. Let y be q(3). Let z be 1/y*(1 + -3). Is z greater than -1/2?
False
Suppose 5*h + 1 = 2*j, 8*j + 8 = 2*h + 3*j. Let w(r) = -r**3 + 10*r**2 - 8*r - 11. Let v be w(9). Are v and h equal?
False
Suppose 0 = -4*n - 5*c - 348, -2*c - 104 + 480 = -4*n. Let b = 67 - n. Let x = 1111/7 - b. Is x greater than -0.1?
False
Let d = -1 + 2. Let i = d - 3. Let h be 0 + ((-21)/9 - i). Is h smaller than -0.2?
True
Let r = 23/10 - 141/70. Is r <= -0.1?
False
Let l = -3 - -8. Let p = l - 7. Let g = 2.3 + p. Is g >= 2/11?
True
Suppose -5*x + 6 = -4. Is 11/7 > x?
False
Let b(x) = x**3 - x**2 - 3*x + 2. Let u be b(2). Suppose u = -3*a - t - 4 - 0, 3*a + 20 = -5*t. Which is greater: a or -2/13?
a
Let j(m) = m**3 + 5*m**2 - 2. Let h be j(-5). Suppose 0*k = 4*k + a - 31, 3*k - 20 = -4*a. Suppose -3 = -5*p - k. Which is greater: h or p?
p
Let x be (12*(-9)/(-27))/(4/5). Let c be -3 - -1 - (2 + -8). Let i be c/(-14) + 60/14. Which is bigger: x or i?
x
Let q(b) = b**2 + 10*b + 26. Let l be q(-6). Which is smaller: 3 or l?
l
Suppose -f = -5*f + 176. Let v be 2/11 - 404/f. Which is smaller: -8 or v?
v
Let z = 6.15 + -6. Is z not equal to 2?
True
Let c = 2.011 - 0.041. Let b = -0.13 + 0.1. Let f = c - b. Which is bigger: 0 or f?
f
Suppose 11 + 15 = 2*w + 4*d, -3*w = -d - 32. Let u(n) = -5 - 1 + w*n**2 + n**3 + 4 + 4. Let b be u(-11). Which is bigger: b or 0?
b
Let a be 1/(-2)*(-5)/1. Let i = a + -53/22. Is i != 1?
True
Let g = -108 - -543/5. Is g >= 0?
True
Suppose 0 = f + f + 5*j - 15, -4*f - j = -3. Suppose x - 7 + 0 = f. Which is greater: x or 8?
8
Let c(x) = x**3 - 8*x**2 - 8*x - 4. Let f be c(9). Let j = 7 - f. Suppose r = 3 - 0. Which is bigger: r or j?
r
Suppose y = 3*y. Suppose y = -6*v + 3*v. Let z(g) = g**2 - 5*g + 1. Let i be z(5). Is i greater than v?
True
Let a be ((-9)/(-3))/((-1)/1). Let u be (-1)/(-3) - 70/(-15). Suppose -z + 0 = c + 5, 3*c - u*z - 9 = 0. Which is bigger: a or c?
c
Suppose 3 - 6 = -x. Suppose x*c = -w - 2*c - 40, w - 5*c - 10 = 0. Let t be (2/7)/(w/(-35)). Are t and 1 equal?
False
Let x be 2260/12 - (-2)/3. Let d be (-3)/(-2)*72/x. Which is smaller: 1 or d?
d
Let u = -43 - -50. Is 10 greater than u?
True
Suppose 2*m = -2*m + 20. Suppose -8 - 2 = -m*l. Is 2 at least as big as l?
True
Let h(n) = -2 - n + n - 3*n + 4*n. Let f be h(-6). Is f equal to -7?
False
Let a = -99 + 67. Is a <= -32?
True
Suppose -5*g - 2 = 3. Let a = 3 - g. Let c = 1 - a. Is -2 smaller than c?
False
Let d = 19 + -3. Suppose 0*g + 5*o = g + d, 12 = -2*g + 5*o. Suppose -4*j - g = -3*j. Are -3 and j equal?
False
Suppose -3*q + 5*z = -3, 0 = -0*q + 4*q + 4*z + 28. Let r be (-2)/q*(3 - 3). Suppose r = -2*y - 3 - 3. Is y at least -3?
True
Let o be 1 + -7 + 0/(-2). Let m(f) = -f**2 + 8*f - 6. Let i be m(8). Is i < o?
False
Let s = 80 - 54. Are 27 and s equal?
False
Suppose -u + 5 + 13 = -3*y, -5*u = 2*y - 5. Let r(q) = -q. Let v be r(y). Suppose 3*t + t + 12 = 2*z, 0 = 5*t - 5*z + v. Is 1 > t?
True
Suppose -60 = -10*k + 5*k. Let f be k/(-10)*(-10)/3. Is 3 at most f?
True
Let i be -1 + ((-36)/16 - -3). Which is greater: i or 2/13?
2/13
Let i = 21 + 20. Is i at most as big as 0?
False
Let l(m) = -m**2 + 9*m - 12. Let s = 26 - 18. Let f be l(s). Let z(p) = 2*p + 1. Let r be z(-2). Are r and f unequal?
True
Let i = -40 - -35. Suppose -2 - 8 = -2*q. Let h = q - 9. Which is greater: h or i?
h
Let x be -15 - (-4 - -1)*1. Is x equal to -12?
True
Suppose -2*z - 247 = 5*x - 34, 3*z = 5*x - 282. Let l = -890/9 - z. Let j(b) = -b**3 - 4*b**2 - 4*b - 4. Let t be j(-3). Are t and l nonequal?
True
Suppose -2*n + 6*n = -4. Which is smaller: n or -5/3?
-5/3
Let p(j) = j**2 + j - 3. Let r be p(2). Which is greater: 6 or r?
6
Let n be 10 - 9 - (2 + -1). Suppose -3*r + 8*r - 5 = n. Do 2/53 and r have different values?
True
Suppose z = -5*z. Let j(q) = -4*q - 3. Let s be j(-2). Suppose z = s*f - 21 + 1. Is f greater than or equal to 5?
False
Let o(y) be the first derivative of y**6/120 + y**5/10 - y**4/3 - 3*y**3/2 - y**2 + 1. Let l(f) be the second derivative of o(f). Let d be l(-7). Is d <= 0.1?
True
Let c(d) = -d**3 - 2*d**2 + 4*d + 3. Let q be c(-3). Which is bigger: 8/9 or q?
8/9
Suppose 3*i + 18 = v, -5*i - v = -3 + 33. Is i at least 1/4?
False
Let q be (4 - 78/15)*1/(-3). Is q at least 0.06?
True
Let n = 67.9 + -68. Let b = 4 + 3. Which is greater: b or n?
b
Let l = 18 - -3. Suppose -3*q + 3*r - l = 0, -26 = 7*q - 3*q - 3*r. Let a = 0 - 3. Is a less than or equal to q?
False
Let m = -23/15 - -6/5. Which is smaller: m or -1?
-1
Let r(d) = -d**2 - 5*d - 2. Let y be r(-4). Suppose -5*j + y*w + 210 = 0, 2*j + 0*j = -w + 84. Let h be 2/j - (-2)/7. Is 0 not equal to h?
True
Let s = 2/345 + 329/2760. Is s smaller than 1?
True
Suppose 4*w = -3*h - 3 + 20, 2*h - 2*w = 16. Suppose 54 + 2 = 8*o. Is o < h?
False
Let f = -19.01 + -0.99. Which is greater: 1/4 or f?
1/4
Let h be 5 + (-6 - (0 - 0)). Which is smaller: -2/55 or h?
h
Let j = -11 + 17. Let f = j - 6. Which is smaller: f or 2/9?
f
Let d(n) = -n - 2. Let w be d(-4). Suppose 0 = -4*j + w*j - 434. Let a = j - -1516/7. Are -0.1 and a non-equal?
True
Suppose q + 44 = 51. Which is bigger: q or 5?
q
Let o = -333 - -2325/7. Is 0 bigger than o?
True
Let r(f) = f**2 - 3*f + 1. Let h(i) be the third derivative of -i**4/24 - 5*i**3/6 + 2*i**2. Let y be h(-7). Let g be r(y). Which is greater: g or -1/3?
-1/3
Let b = -12 + 12.2. Which is smaller: b or 0?
0
Let c = 