False
Let m = -873/7 - -125. Let z = -2 + -4. Let c = z - -7. Is c at most as big as m?
False
Let o(s) = -s**3 + 7*s**2 + 8*s - 12. Let y(b) = b**3 - 7*b**2 - 8*b + 11. Let j(m) = -6*o(m) - 7*y(m). Let t be j(8). Is -2 less than t?
False
Suppose -3*q = -d - 0*q + 13, 3*d + 2*q = -16. Let z be 6/d + 2 + 1. Is z < 1?
True
Let f(k) = -k**3 + 11*k**2 - 10*k - 1. Let x = 5 - -5. Let b be f(x). Is b > -1?
False
Let i = 20 + -17. Is 4 not equal to i?
True
Let c = 17.09 + -17. Let t = 0.19 - c. Is -5 at most as big as t?
True
Let n be (-4)/6 - 175/(-15). Let u = -13 + n. Which is bigger: -8 or u?
u
Let z be (4*53)/((-12)/4). Let q = z - -220/3. Which is bigger: q or 0.1?
q
Suppose g = 3*g - 36. Let m be (g/27)/((-2)/(-3)). Which is smaller: 2/17 or m?
2/17
Let l = -8 + 5. Let z be (l + (2 - -2))/(-1). Is z at most -1/2?
True
Let m = -4.8 + 0.8. Let v = m + 2. Is v >= 1?
False
Let m = -0.6 + 1. Let x = m + -0.3. Let r = 0.2 - 0. Is r not equal to x?
True
Let x be 4 + 1 - -2 - -2. Suppose 3*a + x = 3*w, w + 2 + 10 = -4*a. Which is smaller: a or -4?
-4
Let n = 16 + -16.13. Let g = n + 0.03. Which is greater: g or 3?
3
Suppose 1 = 2*n + 5. Let m = n + 0. Is -2 at most as big as m?
True
Let m(u) = -u + 10. Let h = 12 - 6. Let j be m(h). Which is greater: j or 3?
j
Let v(f) = -9 + 6 + 5 + f. Let n be v(-6). Is n bigger than -4?
False
Let j = 17.3 - 17. Which is greater: -3 or j?
j
Let a be 6/(-24) - (1 - 23/(-4)). Which is smaller: a or 2?
a
Let u be (7/(-14))/((-22)/(-4)). Is -1/2 smaller than u?
True
Let j = -0.05 - -0.01. Let a = -0.06 + j. Let p = -1 + 0.7. Are a and p equal?
False
Let o = -5 + 26. Suppose 2*g = -g + o. Let v be -2 - -3 - g/3. Is v <= -1?
True
Let n = -85 + 86. Which is smaller: n or 2/17?
2/17
Let y = 11/6 - 25/12. Let x be 6/(-9) - 2/(-3). Is x less than y?
False
Suppose 2*d - 6 + 27 = r, r = d + 24. Which is smaller: r or 25?
25
Let r = 30/13 + 1/39. Which is greater: 3 or r?
3
Let d = 2 - 1.9. Let m = -0.4 - d. Let a = 2.2 - 2.3. Are m and a nonequal?
True
Let b = 3 - 3. Suppose c = 5*x + 10, x + b*x - 19 = -4*c. Which is smaller: x or 0?
x
Let d = 2 + 4. Suppose 12 = d*i - 2*i, -6 = 3*h - 3*i. Let b be -2 + 2 + 0 + 0. Is h greater than b?
True
Suppose -5*w = -w - 8. Let b be w + 1 + 62/(-18). Is b at most as big as 0?
True
Suppose -t + 4*t = 0. Suppose -2*z - 4*i = 0, 0 = 2*i - i - 2. Let n = 3 + z. Is t < n?
False
Suppose 0 = 3*j - 18 + 3. Is 25/6 smaller than j?
True
Let g = 0.306 - -3.694. Let z = 0 - -0.1. Which is bigger: g or z?
g
Let h = 11.85 - -0.15. Let n = h - 10.9. Let y = n - 1. Is y bigger than 0?
True
Let o = 47 - 48. Which is smaller: -15 or o?
-15
Suppose 3*k + 16 = -k. Suppose -4*x + 102 = 30. Let d = 15 - x. Is k at most d?
True
Suppose 4*h = -4*y, -h + 4*y = 2*y - 6. Suppose 0*v - 6 = -2*v + z, 0 = -v + 5*z + 12. Suppose -h*t = v*t. Is 1 >= t?
True
Let f be (-4)/5 + (-42)/(-35). Which is bigger: f or 3?
3
Let k(d) = -d**3 + 8*d**2 - 2*d + 2. Let r be k(8). Let p = r + 20. Is p < 7?
True
Let d = 20359/465 - 18/155. Let m = 44 - d. Which is greater: m or -1/9?
m
Let p = 0.6 + -0.76. Let f = -0.03 - 0.03. Let s = f - p. Which is smaller: -0.06 or s?
-0.06
Let n = 4/5 - 3/10. Let x be (-2)/2 - 1/1. Let f = x + 2. Which is bigger: f or n?
n
Suppose 0 = 4*s - s - 15. Suppose -x - s + 3 = 0. Let i(u) = u + 4. Let p be i(-6). Are p and x equal?
True
Let j = 0.47 + 0.03. Let a = j + 0.5. Are a and 7 nonequal?
True
Let j be 0 + (1 - 6/(-8)). Let q(f) = -2*f**2 + 12*f + 12. Let l be q(7). Let a = l + j. Do a and 1 have the same value?
False
Let z be (-8)/(-28)*(-7)/(-65). Is -1 smaller than z?
True
Let w(h) = -h**3 + 3*h**2 + 3*h. Let s be w(4). Let j = -2 - s. Suppose 0 = -3*v - 10 - j. Is -2 at most v?
False
Let n(f) = 8*f**2 - 9*f - f**3 + 8*f + 8 + f**2. Let j be n(9). Which is smaller: 1/3 or j?
j
Suppose -5*t - 6*h + 30 = -h, -5*t = -2*h - 9. Suppose 5*g - n = -35, g = t*n - 0*n - 7. Which is smaller: g or -8?
-8
Suppose 11*h - 6*h = 0. Which is bigger: -1/46 or h?
h
Let f(i) = i**3 - 5*i**2 - 14*i + 14. Let n be f(7). Which is greater: n or 13?
n
Let c = 2 + 2. Let z = -10 + -8. Let l be (1/(-6))/(c/z). Which is greater: 1 or l?
1
Let k be 4/2 - (-1 - 1). Suppose 2*p + 4*t + 25 = -t, -20 = k*t. Suppose -5*s = -4*a + 6 + 7, 2*s - 2*a + 6 = p. Is -2 smaller than s?
True
Let n = 0.09 - -0.21. Let j = -0.2 + n. Is -0.1 greater than or equal to j?
False
Let t = -0.09 - 0.01. Let k = t - -0.16. Which is greater: 1 or k?
1
Let q be -3*(-16)/21 - 2. Suppose -d = 3*y - 3, -2*y = 2*d - 0 - 2. Which is smaller: y or q?
q
Let r be -2*((-4)/2)/4. Is r greater than 1?
False
Let b be (-8)/(-6)*(5 - (-4305)/(-860)). Which is bigger: -1 or b?
b
Suppose 0 = 2*l - 3 - 5. Suppose -l*w - 10 = 14. Which is smaller: 0.1 or w?
w
Let c be 7/(-60) - 4/(-20). Which is greater: c or 1?
1
Let a be -1 - (0 - -4)/(-2). Is 8/5 greater than or equal to a?
True
Let d = 99 + -67. Suppose 8 = 3*b + d. Let y(a) = a**3 + 7*a**2 - 8*a - 1. Let z be y(b). Is 0 <= z?
False
Let z(j) = j**2 + 6*j - 6. Let q = -2 + -5. Let h be z(q). Are 0 and h unequal?
True
Let u be ((-1)/3)/((-3)/18). Suppose 4*v + 10 = 5*n, 0*n + 4 = u*n. Suppose -4*k + 3*a - 2*a - 8 = v, k - 15 = -4*a. Which is bigger: k or 1/5?
1/5
Suppose -3*w = w - 40. Suppose -l + 3 = 1. Let j be 15/w*l/(-6). Which is smaller: 0 or j?
j
Let d = -8.2 + 8. Which is greater: d or 20?
20
Let w = 0.62 - 0.02. Let j = 1.6 - w. Let b be 1/(6/(-16)) - -2. Which is smaller: b or j?
b
Suppose -5*w + 3*n + 9 = -0*n, 0 = -w + 3*n + 9. Let q = -4 - w. Let o be q/(-10)*(-4 + -1). Is o at least 0?
False
Let t be (-2)/8 + 429/1012. Which is greater: -1 or t?
t
Let z be (-249)/3 - 0 - 0. Let b = -580/7 - z. Are b and -1 nonequal?
True
Suppose -4*z = -15 - 13. Which is bigger: 6 or z?
z
Suppose 20 = -5*l + 5*h, 7*h - 28 = -3*l + 2*h. Let q be (-2)/(-10) - (-4)/5. Let n be q/(6*1 + -1). Is l greater than n?
True
Let a(u) be the second derivative of -u + 1/12*u**4 + u**3 + 0 + u**2. Let i be a(-6). Is i >= 2?
True
Suppose -4*o + 7 = -2*o + u, -3*u = -2*o + 11. Suppose -2*a = 5*k + 8, o*k - 2*a = -0*k - 10. Suppose q - 2 = -5*j + 2, j = 3*q + 4. Which is greater: k or q?
q
Let z = -2/7605 - -139427/7605. Let l = -602/33 + z. Which is greater: l or 1?
1
Let c be (-3)/6*(6 - 2). Let g be 0 + (-2)/(-4) - 1. Does c = g?
False
Let j = 1.78 + -1.7. Let z = j - -1.92. Which is smaller: z or 0.1?
0.1
Suppose -2*k = 3 - 1. Let p be 1*(3/7)/3. Is k equal to p?
False
Let i = 408 - 4498/11. Let v = -69/88 - i. Is v bigger than 1?
False
Let o(b) = -b - 2. Let g(u) = 6*u + 11. Let a(d) = -2*g(d) - 11*o(d). Let x be a(-5). Is x less than -1?
False
Let l = -156/5 + 94/3. Is 1 bigger than l?
True
Let x be 4/((-5)/((-5)/2)). Let f be (6/(-8))/(3/x). Suppose -4*k - 20 = -4*y, -3*k - 7*y + 6 = -3*y. Which is smaller: f or k?
k
Suppose -2*a + 9*a - 70 = 0. Is 4 greater than or equal to a?
False
Suppose y + u = 4*u + 15, 5*y - 10 = 2*u. Do y and 2/3 have the same value?
False
Let g be ((-6)/30)/((-3)/(-15)). Suppose -a + 50 = 156. Let r = a - -956/9. Which is smaller: r or g?
g
Let y(w) = -5*w**2 + w + 2. Let i be y(-1). Are i and -2 unequal?
True
Let y be (-2 - -3)/(1/(-3)). Do -1 and y have different values?
True
Let a = -8 + 14. Let w(x) = x**3 - 5*x**2 - 4*x - 6. Let p be w(a). Let d be 1*(1 - 4/p). Is -1 greater than d?
False
Let i(l) = -10*l**3 + 2*l**2 + 3*l + 1. Let x be i(-1). Is x equal to 7?
False
Suppose -4*w + 0*w + 5*o = 29, -1 = -o. Is w greater than -7?
True
Suppose 0 = 4*i + 2 - 6. Let a be 2/(-2) - -2 - i. Which is bigger: -4/3 or a?
a
Suppose -3*s + 13 = -2*s. Let o = s - 11. Is 2 smaller than o?
False
Let w = -103/15 - -21/5. Let u = -3 - w. Which is smaller: 3 or u?
u
Let w be (2 + -4 + 3)*5. Let h = -4 + w. Which is bigger: -2/17 or h?
h
Let b = -0.49 - -0.26. Let v = b + 0.23. Which is greater: -1/4 or v?
v
Let s = 29311 + -380729/13. Let n = s + -24. Which is smaller: -1/4 or n?
-1/4
Suppose -2*x + 5 + 1 = 2*g, g - x = 11. Suppose -g = 3*a - 4. Let w = -29/12 + 65/28. Which is smaller: a or w?
a
Let a = 23 - 118/5. Which is smaller: 0 or a?
a
Let a be -6*(14/(-4))/7. Suppose -a*g + 3 = 0, -2*r + 3 = -0*r + 3*g. Is r > -0.1?
True
Let r be 4/((6 - 1) + -3). Suppose r*f = -3*a - 2*a + 1, 2*f - 11 = 5*a. Which is smal