or 0?
z
Let c = -4 - -8. Suppose -2*s = 3*k - c, -4*k - s - 3*s = -8. Is k greater than -1/12?
True
Let k = 23127/22 - 1051. Let n = -80 - -1763/22. Let d = k - n. Which is smaller: d or 0?
0
Let o(d) = -d + 2. Suppose 0 = 4*l - 4 - 0. Let g be o(l). Suppose 3*b + 5*t = 25, 4*b + t = 2*t - 5. Which is greater: g or b?
g
Let o = -0.1 + -4.9. Let r = 5.3 + o. Let q = -0.6 + r. Is -0.1 > q?
True
Let w(y) = -y**3 + 6*y**2 + 8*y - 6. Let m be w(7). Let a be 1 + m - (-6 - -4). Suppose -12 = -a*u + 3*p + 3, -5*u + 5 = -p. Is -1 greater than u?
False
Suppose 14 = 5*f - 6, 0 = 2*h - 2*f + 6. Which is bigger: h or 4/9?
h
Let u(x) = -x**3 + 2*x**2 - 2*x. Let l be u(2). Which is greater: l or -5?
l
Let j(z) = -z**2 - z + 9. Let y be j(0). Let q(n) = n**2 - 9*n + 5. Let l be q(y). Let k be (3/2)/((-6)/(-16)). Is k > l?
False
Let v = 6 + -8. Let o be 4/14 - (-2)/(-7). Is o greater than or equal to v?
True
Let q = -9 - -13. Suppose q + 2 = -z. Let w be (-2)/z*(5 + -2). Which is smaller: w or -0.1?
-0.1
Suppose -3*y = -6*y - 9. Suppose 4*z = 3 + 5, o = z - 3. Let w be 4/(-30)*o*y. Which is smaller: 0 or w?
w
Let o(j) = -j**2 - 3*j + 22. Let p be o(-9). Is -33 greater than or equal to p?
False
Suppose -5*a - 150 = -4*r, -5*r - 11 = 3*a + 79. Which is smaller: -31 or a?
-31
Let j = 275/2 + -138. Does j = 5/36?
False
Let q(x) be the first derivative of -x**3/3 - x**2/2 + 2*x - 1. Let k be q(2). Is k less than -2?
True
Let q = -2823/8 - -354. Is q > 0?
True
Suppose 6*t = -5*p + 3*t + 34, 3*p - 9 = 2*t. Suppose z + p*o - 13 = 11, -3*z = o - 2. Which is smaller: -4/5 or z?
z
Suppose -12 = -4*k + 5*k - 3*d, 4*k - 20 = -5*d. Let h = -2 + 8. Let l be (1 - -2)*(-2)/h. Which is bigger: l or k?
k
Suppose -5*x + 4*x = 2. Let u(f) be the second derivative of -f**3/3 - 3*f**2/2 - 3*f. Let t be u(x). Are 1 and t nonequal?
False
Let k be (1*(2 - 4))/(-5). Suppose 0 = -8*x + 5*x + 9. Let o be x + -3 - (-3 + 2). Is k < o?
True
Let t = -108 - -758/7. Let w be (4 + -1)*4/(-42). Which is greater: t or w?
t
Let l be 32/(-112) + 16/7. Let p be 4*14*(-1)/(-20). Which is smaller: l or p?
l
Suppose 4*s - 451 = 57. Let f be (-2654)/21 - 3/9. Let k = f + s. Is k greater than or equal to 2/11?
True
Let p = 2 - -2. Let k be (-14)/(-3) - 1/(-3). Suppose 9 = p*a - 5*q + 1, -10 = -k*a + 4*q. Is 1 at most as big as a?
True
Suppose 4*w - 3*h - 8 - 3 = 0, 0 = 2*w + 5*h + 1. Let p be ((-39)/6)/(w/(-4)). Which is greater: 14 or p?
14
Suppose 7 = -4*s + 3*p - 21, 4*s + 3*p = -52. Let k be 2/9 + s/(-36). Suppose -6*u - 7 = -19. Is k less than u?
True
Let l(n) = -n**3 - 5*n**2 - 3*n - 5. Let i be l(-6). Which is smaller: i or 48?
48
Suppose -m - 2 + 18 = w, 0 = -5*w - m + 80. Let y = -78/5 + w. Is y <= 0?
False
Let z = 578 + -5191/9. Which is bigger: 2 or z?
2
Let z = -5312/15 - -354. Is z greater than or equal to 0?
False
Let j be (1/(-3))/((-1)/(-3)) - 0. Let v = -47/2 + 23. Which is smaller: j or v?
j
Let q = 3.1 + -2.9. Are -6 and q equal?
False
Suppose -4 = -2*c - 2. Let s be ((-1)/c)/1*1. Which is smaller: 5 or s?
s
Let n be 2 - 2*(1 - -1). Let v = n - -4. Which is smaller: 0 or v?
0
Let v(o) = -o**2 + 7*o - 9. Let l be v(5). Which is greater: l or 2/163?
l
Let z = 0.2 - 0.4. Let a = 0.3 + z. Let l = 1.2 - 0.2. Which is greater: l or a?
l
Let r be (2 - 3 - -2) + -1. Suppose 2*i = 2 - 0. Is i less than r?
False
Let f(l) = -3*l - 2. Let s be f(4). Let q be 16/(-6)*(-119)/s. Let m = -23 - q. Is 0 != m?
True
Let h = -89/5 - -35/2. Let t = h - -7/10. Let j = 1 + -1.2. Is t at least j?
True
Suppose -100 = 7*a + 3*a. Is a != -9?
True
Let w = -21/2 - -10. Suppose 0 = 6*t - 7*t. Is t bigger than w?
True
Let v = -0.4 - -0.3. Let m = 3 + -3. Let j = -0.1 + m. Is j at most v?
True
Let u = -19/126 - 109/56. Let g = 15/8 + u. Suppose 0 = -3*o - 21 + 18. Which is bigger: g or o?
g
Suppose -2*d + 4 = -4. Is -0.4 >= d?
False
Let d be (10/(-8))/(1/12*-3). Which is smaller: 3 or d?
3
Let k be 0 + ((-2)/2)/(-1). Let a(b) = b**3 - b**2 - 4*b + 3. Let z be a(2). Let x be (-1)/(-2 + z/(-3)). Which is bigger: k or x?
k
Let h = 25 + -25. Which is greater: h or -9/14?
h
Let h be (0 - ((-2)/14 + 1)) + 1. Which is greater: 1 or h?
1
Let l = -37 + 74. Does l = 37?
True
Let q = -7 + 7.03. Let h = 1.97 + q. Let d be -2 - (2 + -1*2). Do h and d have the same value?
False
Suppose 0 = 5*a - 7*a. Suppose a = 3*n - 7*n + 8. Which is greater: n or -1?
n
Let b be 6/24 - (0 - 207/(-12)). Which is greater: b or -3?
-3
Let n(f) = f**2 - 1. Let a be n(3). Let d be 4/14 - a/28. Which is smaller: -3/4 or d?
-3/4
Let f = -77 + -19. Let x be f/140 - 6/(-21). Do x and 0 have the same value?
False
Let d(x) = x**2 + 2*x + 2. Let s = -6 + 4. Let l be d(s). Is 2/3 greater than or equal to l?
False
Let y = -237/5 + 46. Is -2 bigger than y?
False
Let l = -0.04 + 4.04. Let q = 38 + -40. Let k = q - l. Are -0.1 and k equal?
False
Let l = 11 + -12. Let f = -2 - l. Which is smaller: -2 or f?
-2
Let g = -0.06 + -0.94. Let s = g + 0. Is s less than or equal to -3?
False
Let j(c) = 12*c**2 + c - 1. Let x be j(1). Suppose -5*l - 2*f + 6 = 0, 3*l - f - x = 2*f. Is 2 less than l?
False
Let a(q) = -q**2 + 6*q + 15. Let s be a(8). Is s at most 36?
True
Let b = -0.042 - -0.142. Suppose -3*o = -4*c - 0*c + 26, 2*c - 2*o = 12. Suppose -5*n - 13 = 2*k - 0*k, 2*k = -c. Is n less than b?
True
Let o = 3.7 - 3. Let a = o - -0.2. Let m = a + 0.1. Which is greater: -0.1 or m?
m
Let v = -1 - -4. Suppose 3*m + v = 2*m, 3*s + 4*m = -6. Is s >= 1?
True
Let w be -2 - 1/((-7)/13). Suppose 0 = 15*r - 2*r + 13. Is w != r?
True
Let d be ((-2)/39)/((-3)/(-9)). Let t = 2 - -1. Suppose -3*p = 5*u, t*u + 5*p = -u. Which is smaller: d or u?
d
Let m(h) = h**2 + 6*h - 3. Let a be m(-7). Is a less than 4?
False
Let s = 5 + -6. Is -2 equal to s?
False
Suppose -2*n + 5*p + 0*p = -15, -5*n - 3 = p. Which is smaller: n or 1/23?
n
Let y be 0*(-3)/(-6) + -3. Let x = 1 - y. Suppose -2*c = -x*c - 10. Are -5 and c nonequal?
False
Let x(m) = -m + 10. Suppose -3*c - 1 + 0 = -2*u, -u = -5*c + 17. Let o be x(u). Which is smaller: o or 1?
1
Let k(h) = -9*h - 1 + 2 - 4*h**2 + 3 + 3*h**2. Let u be k(-9). Let q = u + -3. Is 4/5 not equal to q?
True
Let x = 20.3 - 20. Which is bigger: x or 10?
10
Let c = 26 - 25. Which is bigger: c or 3?
3
Let k(d) = -d**2 - 9*d - 1. Let y be k(-9). Let t be (-39)/(-15) + (y - 2). Does 0.5 = t?
False
Let g be ((-10)/(-5110))/(2/(-4)). Let p = -1523/2555 + g. Do p and 0 have the same value?
False
Let k(u) = -u**3 + 3*u**2 - 2*u - 2. Let z be k(3). Let h be z/4 + 0 + 1. Is h less than 1/6?
True
Let k(g) = g**3 + 16*g**2 + 13*g - 20. Let t be k(-15). Is 11 != t?
True
Suppose -t = -2*v + 13 + 3, 5*t - 3*v + 52 = 0. Let g be 2/t + 407/(-4). Let u = -411/4 - g. Which is smaller: -1 or u?
-1
Let z = -0.05 - -0.45. Let m = z + 0. Let a = 0.6 - m. Which is bigger: a or 1?
1
Suppose 0 = 4*s + 5 + 3. Let p be 0*s/6 - -3. Suppose -5 = i, 0 = w + p*i - i + 7. Is w >= 2?
True
Suppose 2 = -j - 0. Let c = 7 - 7. Suppose -2*l - 7*z + 3*z - 6 = c, 0 = 4*l - z + 12. Are l and j unequal?
True
Let m(v) = -v**3 + 9*v**2 - 9*v + 6. Let q(u) = 3. Let i(k) = -2. Let d(a) = -8*i(a) - 5*q(a). Let n(j) = -2*d(j) - m(j). Let f be n(8). Is f bigger than 1/9?
False
Suppose 25 = -5*d - 3*u, -2*u = 2*u. Is -5 <= d?
True
Suppose 2*y + x = 2 + 1, 0 = 2*y - x - 13. Do y and 11 have the same value?
False
Let t be (-5)/30*(7 + -3). Which is smaller: t or -2?
-2
Let p = 5436/5 - 1092. Which is smaller: -4 or p?
p
Let a(y) = y**3 + 4*y**2 - 3*y + 6. Let s be a(-5). Suppose 5*v + 20 = -3*r, 0*v = -r + 2*v - 3. Let j = s - r. Is j greater than 1?
False
Let m(q) = q**3 - 3*q + 2. Let g be m(2). Suppose -g = -b, 0*u + 4 = 2*u + 4*b. Is u at least as big as -8?
True
Let p be -1 + (-26)/(-2) + -2. Which is bigger: 8 or p?
p
Let g(y) be the third derivative of 3/2*y**3 + 0 + y**2 + 0*y - 1/24*y**4. Let h be g(10). Is 1/5 greater than or equal to h?
True
Let c = 19 - 16. Is c less than -0.2?
False
Let m(n) = -n**3 + 11*n**2 - 5. Let a be m(11). Is a greater than or equal to -5?
True
Let q be 6/1*(-2 + 3). Let d be 4/(-8) + (-5)/2. Let y be 2/(-5)*d/q. Which is bigger: y or -1?
y
Let b = -4 - -3. Let i = -1.2 - b. Let k = i + -1.8. Which is smaller: k or 2/7?
k
Let t(q) = -2 - 15 + q + q**3 - 8*q**2 + 6*q**3. Le