?
True
Let s = -42 + 167/4. Is s at most as big as 1?
True
Let c be (-12)/(-30)*20/8. Do -20 and c have different values?
True
Suppose y + 0*y + 1 = 0. Let d = 608/15 + -109/3. Let f = 22/5 - d. Is y at least f?
False
Suppose 5*q - 3 = 2*q. Let b = 2 - q. Suppose 0 = 2*l - 3*l - b. Is -2 less than l?
True
Let w be 7/(-42) - 69/18. Do -15/4 and w have different values?
True
Let o = 5 + -5. Let f = -48526/3123 + -6/347. Let t = f + 46/3. Which is bigger: o or t?
o
Let u be 40/2 + -2 + 2. Suppose -m + 5 = -2*r, -2*r + u = 4*m + 3*r. Suppose -m*h + 16 = -3*i, -2*i + 3*h - 12 = i. Which is bigger: -1 or i?
-1
Let d(q) be the first derivative of -q**3/3 + 9*q**2/2 + 2. Let m(j) = 2*j**2 - 6*j + 1. Let g be m(4). Let y be d(g). Which is smaller: 1/10 or y?
y
Let y = -21 + -58. Let u = y + 555/7. Which is greater: 1 or u?
1
Let x = -44 - -29. Let u be -1*(x/(-6) - 2). Let s be (2 + (-8)/6)*-3. Which is greater: u or s?
u
Suppose 5*d - 11 = -51. Let m be (-46)/d + 6/(-8). Which is greater: 6 or m?
6
Let c be (-32)/(-22) + 1*-2. Let m = -154 + 153. Which is smaller: c or m?
m
Let t(a) = -a**2 + 0*a**2 - a + 0*a**2. Let y be t(0). Let v be (-1 + 1 - y)*-1. Which is bigger: v or 2?
2
Let l = -8 + 8. Suppose 2*z + 0*q + 2*q = l, 4*z + 2*q - 2 = 0. Which is greater: z or 3/2?
3/2
Suppose 4*o = 12, 0*u + 2*o - 15 = -3*u. Let w = -74 - -74. Which is smaller: u or w?
w
Let n = 29 - 201/7. Is -5 less than n?
True
Let u = -39 - -275/7. Is 0.08 > u?
False
Suppose -2*v - 4*s - 10 = 0, -v - 4*s - 1 = 14. Let p = 5 - v. Suppose 2*o - 17 = 3*o + 5*c, -3*o - 5*c - 31 = p. Is o >= -8?
True
Let v(b) = -b**2 + 4*b - 1. Let n = 0 - -4. Let c be v(n). Let k be ((-2)/(-7))/(437/161). Which is bigger: c or k?
k
Let q = -17 - -12. Let p(g) = g**2 + 6*g. Let c be p(q). Which is greater: -0.2 or c?
-0.2
Suppose -2*y = 2*y - 12. Let t = 1 - -2. Suppose -t*o + 15 = -y*h, 2*o = -0*h - 3*h - 5. Which is greater: h or -4?
h
Suppose 2*f = -3*f + 5. Let o = -13 - -125/9. Which is smaller: f or o?
o
Let k = 4 + -4. Suppose -2*h - 8 = -k*h. Let x = h + 5. Does x = 1?
True
Suppose -s + 2*j + 2 = -5*s, s - 3*j = 10. Let z(u) = -u**2 - u + 14. Let i be z(-4). Which is smaller: s or i?
s
Suppose -4*m = 3*g + 7, 6*g + 7 = 4*g - 5*m. Let v = 3.9 + -6.9. Is g greater than or equal to v?
True
Let v be (30/(-26) + 1)/1. Is 1/2 < v?
False
Let i = -107 + 119. Is -2 > i?
False
Let r(z) = 0 - z - 2 + 1. Let j be r(-2). Suppose 0 = -3*m + 4*p - 12, 0 = 2*m - p - j + 4. Which is smaller: -3/5 or m?
-3/5
Let u be (0 + 1)/(15/(-45)). Let n = -4 + 3. Let z(j) = -j**2 + j. Let i be z(n). Which is bigger: u or i?
i
Let i(z) = -z + 19. Let t be i(14). Suppose -4*q = -t*w + 14, 5 = -3*q + w - 0. Which is smaller: -3 or q?
-3
Let r = 46.8 - 55. Let j = r + 8. Which is bigger: -3/2 or j?
j
Suppose 20 = -n + 2*n - 3*r, 2*n - 80 = -4*r. Which is greater: 30 or n?
n
Let l = -62 + 61. Is l equal to -0.02?
False
Let w = 61 - 44. Which is greater: 23 or w?
23
Let p = 14 - 14. Let r(j) = -4*j**3 - 1. Let d be r(-1). Let u = 4 - d. Are p and u nonequal?
True
Suppose 4 + 12 = 4*v. Let s = -1 + v. Suppose -22 = 5*q - l, -3*q + 2*l = -s*l + 22. Is q bigger than -5?
True
Let f = -51 - -25. Let v = -340/13 - f. Suppose u + u + 2 = 0. Is v > u?
True
Let a = -29.1 - -29. Which is greater: a or 2/5?
2/5
Let u(w) = w**2 - w - 1. Let l(f) = -6*f - 3. Let i(j) = -l(j) + u(j). Let h be i(-4). Is -5/6 <= h?
False
Let u = -0.152 + -1.948. Is u < -0.1?
True
Suppose -2*s + 2*q = 8, 7 + 5 = 3*q. Suppose w + a - 3 = -w, s = -4*w - 4*a + 4. Let g be (-2)/5*(-2)/w. Is 2/3 <= g?
False
Let w be (-1)/(-2) - 9/(-6). Which is bigger: 4 or w?
4
Let z = 9/2 - 17/4. Let d(f) = f**2 - 2*f - 1. Let w be d(-1). Suppose 5*s + 2*k + 3 = -0, -w*s = -2*k - 10. Which is greater: z or s?
s
Let q be 8/10*(-60)/(-184). Is -1 > q?
False
Let o(j) = j + 8. Let d be o(0). Let w be (6/4)/(6/d). Let m = w + 0. Is 2 greater than m?
False
Let v = 0 + -0.4. Let f = 0 - v. Let p = f + 0.6. Which is smaller: p or 0.1?
0.1
Let c be (-12)/16 + 27/4. Suppose 0 = 4*d + c + 6. Is d at least -5/2?
False
Let y = -28 + 29. Is 1/23 bigger than y?
False
Suppose -4*r - 2 = j, -2*j + 4 = j + 2*r. Suppose l = -j*l. Let q = -2 - l. Is -2 smaller than q?
False
Let r be (-177)/(-105) + -2 - 0. Let n = 5/7 + r. Which is smaller: n or 1?
n
Let j = 2 + -2. Suppose j = 3*f - 4*o + 4, -2*f + 5 = 2*f + 5*o. Which is smaller: f or -2/7?
-2/7
Let s be 5/(-2)*24/(-60). Which is smaller: -4/9 or s?
-4/9
Let f be (-16)/8 + -6 + (-6)/(-3). Which is bigger: -9 or f?
f
Let b = 6.4 - 2.5. Let w = -0.03 - -4.03. Let j = b - w. Which is greater: -0.5 or j?
j
Let a(i) = i**3 - 3*i**2 - 5*i + 2. Let c be a(4). Let y be -1 + c*3/(-6). Is y at least as big as 2?
False
Suppose 4*l = 7*l - 15. Let b = -6 + l. Is 2 at most b?
False
Let k = 1.9 + 1.1. Let a = k - 6. Let m = a + 2.9. Is -0.5 >= m?
False
Let n = 25 + -24.73. Which is smaller: n or 1?
n
Let q = 28 + -25. Which is greater: 1/4 or q?
q
Let j = 28 - 47. Which is bigger: j or -21?
j
Let b be 17/(-51)*27/14. Is -2 greater than or equal to b?
False
Suppose -4*i + 16 = 52. Let m = i + 15. Let p be m/(-4) + 1/(-2). Is p at least as big as -4/3?
False
Let m(z) be the third derivative of -z**6/720 + z**5/120 + z**4/12 - z**2. Let p(d) be the second derivative of m(d). Let s be p(3). Which is bigger: s or -1?
-1
Suppose 7 = -o + 4. Which is smaller: -11/3 or o?
-11/3
Let p = -4 + 5. Suppose p = -4*c - 7. Which is bigger: 1 or c?
1
Let j(k) = k - 2 - k**3 - 2*k - k**2 - k**3 + 3*k**3. Let i be j(0). Let a = 0 + i. Which is smaller: -4/3 or a?
a
Suppose -7*z - y = -3*z - 2, -2*y = 4. Let c be 2/(-4)*(-3 + -1). Are c and z equal?
False
Let z = -4 + 3. Suppose -7*r = -3*r. Is r > z?
True
Suppose 0 = -3*i - 3*z + 7*z + 8, 0 = -2*i - 3*z - 6. Suppose -r - r - 2*n - 8 = i, 2*r - 5*n = 20. Let v = 2.7 + -3. Is r > v?
True
Let z be 6*4/((-16)/3). Which is greater: -4 or z?
-4
Let n be 184/(-10) - 3*16/(-120). Is n smaller than -18?
False
Let q be (-2)/(-9) - 74/9. Let p = -7 - q. Which is smaller: 2/11 or p?
2/11
Let c = -19 + 14. Let u(l) = -l - 5. Let p be u(c). Is -2/9 greater than or equal to p?
False
Let j(i) = -i**2 - 11*i - 16. Let h be j(-11). Which is smaller: -17 or h?
-17
Let v be (-1)/(-2)*0 + 5. Suppose 5*q - 3*r + 8*r = -280, v*q - r = -292. Let l = -636/11 - q. Is -1 > l?
False
Let h = -0.6 - -0.1. Let g = h + 0.3. Which is smaller: 1 or g?
g
Let y = -3.22 - -0.12. Let f = y - -3. Let v = f + 0.2. Which is smaller: v or 0.2?
v
Let r be 2/(-4) - 2/(-4). Which is greater: -1/9 or r?
r
Let s be 3 - (2 + 1) - 4. Let j be (-45)/70*(-14)/s. Which is greater: -1 or j?
-1
Let k = 45 - 85/2. Is -1/2 at least as big as k?
False
Let k = -7 - -7.1. Which is bigger: k or -4?
k
Let r = -10.2 - -10.3. Which is greater: 20/3 or r?
20/3
Let z = 18 + -13. Let s = -20 - -23. Let u = s - z. Which is smaller: 1 or u?
u
Let b = -6 - -9. Let u(m) = -3*m + 3. Let c be u(2). Let j = c + b. Which is bigger: -3/7 or j?
j
Suppose -2*a = -2*k - 6, 2*k = -2*a - 0*k + 2. Suppose 0 = -a*y - 3*y - 20. Let x be (12/(-8))/((-3)/y). Which is bigger: x or -3?
x
Let j = -91 + 105. Is -1 not equal to j?
True
Suppose -3*h = 14 - 20. Let d = 4 - 11. Let p(s) = s**3 + 6*s**2 - 7*s + 1. Let r be p(d). Which is smaller: h or r?
r
Let s be (-4)/2 - 185/(-40). Let p = s + -137/40. Which is greater: p or 0?
0
Suppose 0 = -6*y + 2*y. Is 0 less than y?
False
Let g = 0.16 - 0.06. Are g and -16 equal?
False
Let x = -15 - -14. Let c(f) = f**3 + f. Let t be c(x). Which is smaller: t or -4?
-4
Let u = 11 - 13. Let q(i) = i**3 - 3*i**2 + i + 1. Let f = 0 + 2. Let h be q(f). Which is smaller: h or u?
u
Let h(s) = 5*s**3 + 1. Let g be h(1). Which is smaller: g or 7?
g
Let b(x) = -x + 2. Let w be b(-3). Let v be (-4)/14 + 111/21. Is v bigger than w?
False
Let m = -93 - -112. Is 19 at least as big as m?
True
Let s = -1 + 1. Suppose s = q + 2*q - 168. Let k be q/(-35) + (-4)/10. Which is greater: k or -3?
k
Let i be 2*((-3)/(-24) - 0). Suppose 0 = 5*j - 10*j. Suppose j = -3*u + 4*u. Which is bigger: u or i?
i
Let k = 5.995 - -0.125. Let g = k + -0.12. Do 0 and g have the same value?
False
Let v = -12.2 + 1.2. Let q = v - -11.03. Which is smaller: -1 or q?
-1
Let x = -3/203 - -73/1015. Which is smaller: