eater than z?
False
Let t(i) = i**3 - 3*i**2 - i + 3. Let y be t(3). Suppose -r = -h + 12, y = 2*r - 5*h - 2 + 38. Is r < -8?
False
Let s be ((-1)/(9 - 2))/1. Suppose -8*p - 3 = 2*n - 7*p, -3*n = p + 3. Is n bigger than s?
True
Let c = 8 + -14. Let r = 4 - c. Do 8 and r have different values?
True
Let m(j) = -3*j - 27. Let h be m(-9). Is 35 bigger than h?
True
Let n be (-2)/(-5) - (-894)/(-8835). Let t be ((-8)/372)/((-1)/(-9)). Let d = n + t. Are 1 and d unequal?
True
Let i = 22 - 10. Is 13 less than or equal to i?
False
Let l = 25 - 25.04. Is l at most 1/3?
True
Suppose 2*p = -2*p + p. Which is bigger: p or -30?
p
Suppose -2*k + 6*z - 11*z + 117 = 0, 15 = -5*z. Is 66 < k?
False
Let u(k) be the second derivative of -k**4/12 - 5*k**3/6 - k**2/2 + k. Let c = -23 - -19. Let b be u(c). Which is smaller: -2 or b?
-2
Let o be (-1 - (-113)/110)/(6/16). Are o and 1 nonequal?
True
Let m = -3.3 - -3. Let o = 3.3 + m. Let x = o - 3.2. Which is greater: x or -2?
x
Let r be ((-2)/3)/((-16)/12). Let p = 26 + -26.5. Is r at least as big as p?
True
Suppose t + 2*t - 18 = 0. Let n be t/15 - (-34)/(-60). Suppose 3*q + 15 = 4*g, -3*g = 2*q + q + 15. Which is greater: n or g?
g
Let j(v) = v**3 + 4*v**2 + 3*v - 1. Let n be j(-3). Do n and 1/34 have the same value?
False
Let f = 0.1 + -0.2. Let z = 144.9 - 134. Let w = 11 - z. Do f and w have the same value?
False
Suppose 2*a + 3*n + 5 = -3, -10 = a + 3*n. Suppose -2*s - 6 = -4*u, 3*u + 4*s = s + 27. Is u bigger than a?
True
Let h(o) = -3*o - 2. Let y be h(-6). Suppose 0 = 2*z - j - y, 2*z + 13 = 2*j + 31. Let n(g) = -g**2 + 7*g + 4. Let r be n(z). Which is bigger: 1 or r?
r
Suppose 2*s + 5*r = 4*s - 9, 0 = 2*s - r - 5. Let q be (s/(-3))/((-10)/15). Which is bigger: q or 5/6?
q
Let u be 3/(-6) - (-2)/(-4). Let y be 7/35 + (-29)/95. Is u greater than or equal to y?
False
Let q = 8 - 17. Let b be (-4)/6*q/6. Which is bigger: 3 or b?
3
Let m be (2/6)/((-9)/54). Which is bigger: m or -7/11?
-7/11
Let x = 0.06 - -1.44. Let d = x - -7.5. Let v = 8.9 - d. Which is greater: v or 0.3?
0.3
Let w(x) = x. Let y be w(-1). Let t be (-7)/28 + y/(-1). Which is smaller: t or 1?
t
Suppose -6*g + 2*g = -4. Suppose 4*m + w = -1, 0*w = -m + w + g. Is -1/2 equal to m?
False
Suppose 2*x + 3*x - 8 = 3*m, 5 = x - 4*m. Suppose -2 - x = -3*y. Let j = 2 - 0. Which is smaller: j or y?
y
Let q be 0*(-5 - (-11)/2). Suppose -5*n - 3*z = -13, -4*n + 2 = -2*z - 4. Suppose 5*l = n*v + 3, 2*l + 3*v = -2*v - 22. Is l at least q?
False
Suppose 0 = -4*x + 2*u - 22, -x - 2*u + 3*u = 7. Let q = 6 + -14. Let m be x/(-6)*(-2)/q. Which is greater: 0 or m?
m
Let z = 8 - 4. Let c = z - 3.7. Let o = -0.5 + c. Which is smaller: -0.1 or o?
o
Let o = 0.364 - 0.164. Are o and 3.9 nonequal?
True
Let o(s) = -s**3 + 9*s**2 + 10*s + 1. Let r be o(10). Is -2/15 not equal to r?
True
Suppose 2*l + 5 = 3. Let g be -2 + (-54)/(-16) + 1. Let v = 101/56 - g. Is v greater than l?
True
Let g be (-47)/(-7)*(-48)/(-1156). Let y = g - -2/289. Does y = 1?
False
Let u be (-4)/(-14) - 38/(-14). Suppose 6*c - u*c = z - 1, 0 = -2*c - 5*z + 22. Let i be 12/16 + c/4. Is 2 equal to i?
False
Let z(j) = -j**2 + 9*j + 1. Let g be z(8). Suppose 0 = 3*u - p + g, -2*u + 4*p - p = 13. Suppose -3*x + 2*n = -0*x + 10, -n + 5 = 3*x. Which is smaller: x or u?
u
Let c(k) be the third derivative of k**5/60 + k**4/4 - k**3 + 6*k**2. Let q(n) = -2*n. Let h be q(3). Let u be c(h). Are u and -1 non-equal?
True
Let k be 2/(-8)*1/1. Suppose 0 = 4*a - d + 115, -5*a - 2*d - 16 = 144. Let z be (-1)/3 - 10/a. Do z and k have different values?
True
Let x = -13 - -13. Are 0 and x equal?
True
Suppose 2*c - 2*c + c = 0. Let h = 7.8 - 8. Which is bigger: h or c?
c
Let v = 9 + -20. Let l = v - -17. Let r be (-4)/l*(-9)/24. Is 0 less than or equal to r?
True
Let x = -3 + 5. Let u = x + -8/3. Are u and 5 equal?
False
Let q = -2.6 - -1.88. Let m = q + -0.08. Let x = -1 - m. Which is smaller: 1 or x?
x
Let z = 1 - 1.01. Let r = -2.09 + z. Is r < 0.1?
True
Let m(u) = -5*u - 2. Let v be m(-3). Suppose 3*q + 91 = 10*q. Is v >= q?
True
Let m = -28.2 + 28. Is m greater than 8?
False
Let p = -9 + 11. Suppose -3*a + p*a + 2 = 0. Is a greater than or equal to 5?
False
Suppose -5*t - 10 = -0. Which is smaller: t or -7?
-7
Let i be 2 + 3 + -7 + 1. Does i = -1?
True
Let u = 6 - 4. Let b be 3/(-4)*(-26)/27. Let z = b + -2/9. Is z <= u?
True
Let c be (-6)/2 - (-1 + -3). Let v be 2 + c/(4/(-9)). Which is smaller: v or -1?
-1
Let i = -4 + 1. Let h be (8 - 1) + (13 - 12). Suppose h - 4 = -2*t. Which is smaller: t or i?
i
Suppose -5*j + 5*l = 0, -2*l = 6 - 4. Is -5 at most as big as j?
True
Let d = 0.7 - 0.92. Let p = d - -0.02. Is p greater than 0?
False
Suppose 0 = -h - 4*h - 10. Let d = -1 - h. Suppose 5*v - 6 = 2*v. Is v equal to d?
False
Suppose 4*r = 16, g + 0*r = r. Suppose f = g*n + 13, n = 3*f - 4*f - 2. Suppose 0 = -j + 6*j. Are j and f equal?
False
Let j = -40.96 - -40. Let t = -0.34 + j. Is 1 != t?
True
Let p = -1.19 + 2.19. Which is smaller: p or 18?
p
Suppose -11 = -4*t - 3. Suppose 0 = x + 2*q + t*q - 5, 3*x = q + 2. Let k(y) = y**3 + 5*y**2 - 5*y + 4. Let f be k(-6). Which is smaller: f or x?
f
Let o = -22 - -11. Let l = 11 + o. Let t = 2.9 - -0.1. Is t > l?
True
Suppose -z + 0*z + 2*o = -68, 2*o = -10. Let v be -1 + (-3 - z/(-14)). Are 0 and v equal?
False
Let g = -152 - -145. Is g bigger than -0.3?
False
Let h = -37 + -35. Let v be 6/27 - (-34)/h. Is v equal to 4?
False
Suppose 0*v = -2*v + 4*z - 8, 3*v + 3*z = 24. Suppose 5*a = -0*a. Suppose a*k = -v*k. Which is smaller: -1 or k?
-1
Let h = 25/2 + -11. Let m be (-28)/24 - (-4)/6. Which is smaller: h or m?
m
Let j = -0.7 - 3.3. Let u = 4 + j. Is 0.1 less than or equal to u?
False
Let o = 234 - 233. Let h = 2.3 - -9.7. Is h bigger than o?
True
Suppose 0 = -4*o - 16 + 20. Is o less than 1/7?
False
Let w be (-2)/3*(-6)/(-4). Let g be 0 - 1*1/w. Is 1 at most g?
True
Let m be (1 + -7)/(((-270)/4)/5). Is 1 bigger than m?
True
Let o be 9/15 - 2412/70. Let h = -34 - o. Which is smaller: h or 1?
h
Suppose -3*i - 15 = 3*s + 6, 3*i = 5*s - 5. Is s greater than -8/9?
False
Let g be -6*(-2 + 32/12). Let l be 4 - (-3)/(g/4). Is l equal to 4?
False
Let p be 7/(-4) + (-1)/4. Suppose -2 - 1 = -h. Let j be -1 - 2*p/h. Is j >= 0?
True
Suppose -s + 22 = 4*x + 1, 5*s + 5 = 2*x. Which is greater: s or -5/26?
s
Let u(n) = n - 8. Let t be u(-6). Is 1 >= t?
True
Suppose 5*c + 28 = 33. Which is smaller: -1/94 or c?
-1/94
Let r(q) = q + 9. Let m be r(-7). Suppose 2*p = 8 - 4. Suppose 5 - 3 = p*z. Is z at most m?
True
Suppose -3*q - i + 6 = -4*i, -4*q + 3*i + 8 = 0. Let v(f) = f - 4. Let w be v(5). Let b = w + q. Which is smaller: b or 2?
2
Let n be -1 - (1 - 2/1). Suppose n = y - 2*i + 5, 0 = 5*y + 4*i - 2*i + 1. Let r = y + -3. Which is smaller: r or -2?
r
Let a(w) = 2*w**2 + w - 1. Let n be a(2). Let g be (-48)/n + 4/(-6). Let y be (1/g)/((-1)/2). Is 0 at most as big as y?
True
Let p be (-51)/(-99) + (-4)/22. Suppose 0 = u - 1 + 2. Is u at most as big as p?
True
Let r be 1/(-3) + 3418/(-10). Let w = -342 - r. Which is bigger: 0 or w?
w
Let l = -355/12 + 141/4. Which is smaller: l or 7?
l
Suppose 4*i - 4 = -0. Let o = i - 1. Is o not equal to 0?
False
Let a = -1 + 1. Let m = -19 + 16. Which is smaller: a or m?
m
Let h = -51 - -50.97. Which is greater: -0.2 or h?
h
Suppose 2*l = 5*f + 8 - 27, -17 = -3*f + 4*l. Let c be (12/f + -2)/(-1). Let y(j) = -j + 5. Let o be y(7). Do c and o have different values?
False
Let q(t) = -15*t - 2. Let c be q(-2). Let y be c/15 - 0 - 2. Suppose 11*f - 10*f + 4*f = 0. Which is smaller: y or f?
y
Let o = 29 + -28. Are o and 2/59 unequal?
True
Suppose q + 1 = 2*b + 3, 0 = 3*b + 4*q - 8. Suppose 0 = -b*i + 5*i - 20. Is i > 5?
False
Suppose 0 = 3*d + 3*z + 12, -d + 3*z + 18 - 2 = 0. Let o be -2 - (d + 2 + -1). Let n be 0/(-3) + (-1)/o. Is n greater than 0?
True
Let j = -15/22 - 307/66. Is j at most -4?
True
Let d = 0.1 + -0.1. Let v = -16.7 - -16. Let x = -0.6 - v. Is d bigger than x?
False
Let u = 345826/179 - 1932. Which is smaller: u or 1?
u
Suppose 7*z - 12*z + 35 = 0. Are z and 6 non-equal?
True
Let k = -1.9 + 2.9. Which is smaller: -4/3 or k?
-4/3
Let y be (5/1)/((-3)/(-6)). Suppose -3*l = a - 2*a - 20, -l - 3*a = y. Suppose l*g - 3*j - 7 = j, 0 = -3*g + 5*