n j?
True
Let x = -48721/1008 - -1/1008. Let d = x + 48. Are 1/4 and d equal?
False
Let s = 0.017 + 8.183. Let p = s - 8. Is p at least as big as 0?
True
Let z = -10 - -14. Let m = 3.8 - z. Let t = m - -0.1. Is t greater than -2?
True
Let s(c) = 2*c + 2. Suppose -2*a = 7 + 3. Let u(n) = -n - 1. Let h(t) = a*u(t) - 3*s(t). Let f be h(0). Is f equal to -1?
True
Let a be 24/123*(-6)/(-72). Which is smaller: 1 or a?
a
Let h(s) = s - 8. Let n be h(8). Let x = -2 + n. Let p be (-2)/4 - (-3)/2. Which is greater: p or x?
p
Let t be (-3)/2*(-10)/15. Let d be -1 - 1 - t*-3. Are d and -3/4 non-equal?
True
Let v = -15 - -17. Is v >= 1?
True
Suppose -5*v = -2*y - 6, -2*y - 3*y = -2*v + 15. Do -14/5 and y have the same value?
False
Suppose 6*g - 2*g = -8. Let m be (-24)/9 - g/1. Is m at most -1?
False
Let i = -17879/4 - -4447. Is -22 at least i?
True
Suppose -2*g + 72 = 2*z + z, -2*g + z = -56. Suppose 0 = -o + 4*j - g, -4*o + j = o + 55. Let f be 2 - -2*o/8. Is f equal to -3?
False
Let f = 8 + -2. Let k = f - -5. Is 11 greater than k?
False
Suppose z - 11 = l + 6, -l = -5*z + 69. Let w(x) = -x**2 + 10*x + 11. Let t be w(10). Do z and t have the same value?
False
Let b = 183 + -233. Which is bigger: b or -0.1?
-0.1
Suppose 0*s = 8*s. Which is greater: s or 5/16?
5/16
Let k = 1/262 + -1059/2882. Are 1 and k non-equal?
True
Let t = 20 - 15. Let p be t + -3 + 14/(-5). Is p <= 0?
True
Let g = 8 - 5. Is g bigger than 5?
False
Let i = 1 - -1. Suppose 10 = 4*x - o, -i*o + 0 = -2*x + 2. Let k be (12/(-8))/(x/4). Which is smaller: k or -3?
-3
Let o(u) be the second derivative of -u**3/6 - u**2/2 + u. Let r be o(1). Let q = -7 - -4. Which is smaller: r or q?
q
Let g = -810 + 4066/5. Which is smaller: g or -1?
-1
Let m = 19 - 19. Suppose -3*r - 6 = m, -4*k + r - 30 = -2*k. Which is bigger: k or -17?
k
Let s(z) = -2*z + 1 - 5 + 3. Let t be s(-3). Suppose 0 = -2*f + 2*m + 8, -t*m + 28 = -3*f - 10*m. Which is smaller: f or 0?
f
Let x = 3/2 - 9/10. Let m be -2 + (4 - 3) + 2. Which is smaller: m or x?
x
Let y = 1 - -1. Let c be 2/9 - 34/(-9). Suppose -2*t + 4 + 8 = 4*w, 17 = w + c*t. Which is greater: y or w?
y
Let g be (-14)/(-35)*(-1 - 4). Let m be (-1)/g*(-4)/46. Does -1 = m?
False
Suppose -2*r + 97 - 39 = 0. Let n = -11 + r. Is 18 >= n?
True
Let a = 8 - 8.5. Let h = 3.5 + a. Which is bigger: -2/7 or h?
h
Suppose -5*o + 2*a + 6 = -9, 2*o + 3 = -a. Is -4/43 at least as big as o?
False
Suppose -52 = -4*x - 5*k, -4*x = -0*x + 3*k - 44. Do 7 and x have the same value?
False
Let p = -57/280 - 9/40. Is 0 at least p?
True
Let q = 11.2 + -0.2. Let d = q + -12. Which is smaller: d or -3?
-3
Let q(p) = p + 9. Let z be q(-5). Which is smaller: 2 or z?
2
Suppose 2*m - 10 = 0, 0*b - 5*m = 3*b - 22. Let f be b*(-2 - (-4)/2). Suppose 0 = 5*d - f*d. Which is bigger: d or 8?
8
Let v = 0.02 - -2.38. Let m = v - -0.6. Is m less than 2/3?
False
Let t(m) = m**3 - 6*m**2 - 8. Let r be t(6). Let b = r - -15. Let u be 2/(-7) + 9/b. Are -2/7 and u unequal?
True
Let m(y) = 4*y + 15. Let z be m(-4). Does z = -2?
False
Let q = 8 - 6. Suppose 0 = -3*f - 4*k + q*k, -3*k = 4*f. Is f bigger than -0.1?
True
Suppose -5*d + 33 = -c, -28 = c - 3*d - 3. Which is greater: 0 or c?
0
Let y = 8 + -9. Let h be ((-32)/280)/(2/5). Which is smaller: y or h?
y
Let t = -58 - -60.9. Let a = -25.9 + t. Is 1/2 at most a?
False
Let l be (10/(-15))/(2/3). Let a be l/3 - (-3)/9. Is 0 smaller than a?
False
Let s = -0.16 + -0.04. Let n = -76 + 379/5. Is n at most s?
True
Let b = -5/309 - -40813/1545. Which is smaller: b or 25?
25
Suppose 0*v = 7*v - 7. Is -1 < v?
True
Let l = -6 - -5. Is l < -2/5?
True
Let u be 2 + (-2 + -2 - -1). Let c = 1.2 + -0.2. Let r = -1 + c. Which is smaller: u or r?
u
Let u be 1/(-4) - 2028/(-2576). Let j = 5/46 - u. Is 1 smaller than j?
False
Let b be (-2)/11 + 114/22. Suppose b*g - 4*w = 29, -2*g + 3*w + 6 = 7*w. Which is greater: 4 or g?
g
Let b = -1.14 - -1. Let g = b + -0.06. Is -0.2 smaller than g?
False
Let q(h) = -h**2 + 9*h + 3. Let i be q(10). Which is greater: -5 or i?
-5
Let c be (-2)/(-2 + -2 + 5). Let o be (2 - 3)*(9 - 6). Which is greater: o or c?
c
Let z be ((-1)/43)/((-3)/49). Let q = z + -2/43. Is -0.1 equal to q?
False
Let x be 48/9*(-3)/(-2). Suppose 3*n = 5 + 19. Is x at most as big as n?
True
Let y = 8 + -11. Let x be -1 - y - 0/(-2). Suppose x*o = 5*o + 3. Which is smaller: -2/13 or o?
o
Let z = -2 - -2. Let y = -3 - 1.9. Let r = -0.9 - y. Is r equal to z?
False
Let z be (56/(-6) - -2)/((-6)/9). Which is smaller: z or 3?
3
Suppose -5*l + 2*l + 9 = 0. Suppose 0 = -l*q + 3 + 18. Which is greater: q or 5?
q
Suppose -2*a = 3*a. Which is bigger: 2/13 or a?
2/13
Let x = -0.17 + -1.53. Let n = 0.7 + x. Which is smaller: 0 or n?
n
Suppose -4 - 1 = -5*c. Let d(p) = p**3 - 2*p**2 + p - 2. Let f = -6 + 8. Let y be d(f). Which is smaller: c or y?
y
Let q = 33 - 33. Let k be 2/5*(-10)/14. Which is smaller: k or q?
k
Let s = 2 + -2. Let w = s + -5. Let k be (-1 - -1)/(w - -3). Is 0 >= k?
True
Let b(c) be the third derivative of c**6/120 - c**5/60 - c**3/6 + 3*c**2. Let p be b(2). Which is bigger: 5 or p?
5
Let p(x) be the first derivative of -x**3/3 - x**2/2 + 3. Let k be p(-1). Let y(z) = -z**3 + 5*z**2 + 1. Let j be y(5). Is k not equal to j?
True
Let o(n) = -2*n + 1. Let i be o(-1). Suppose -2*j = 5*k, 4*k - j = -2 + 15. Is i < k?
False
Let r(z) = -z + 13. Let l(b) = 1. Let v be (-16)/(-12)*9/(-2). Let i(c) = v*l(c) + r(c). Let n be i(6). Is n greater than -2?
True
Suppose -6*d + d + 5 = 0. Suppose -6*z = -4*z + 30. Let m be (-7 - 2)*2/z. Are d and m unequal?
True
Let y = -85 + 141. Which is greater: 57 or y?
57
Suppose -3*p = -0*p - 3. Suppose 4 = 2*m - s - p, 4*m + 4*s - 40 = 0. Suppose 0 = -2*d - 5*o + 3, m*d - 2*o = -49 + 13. Does -5 = d?
False
Suppose 0 = -6*f + 90 - 24. Is f less than 59/5?
True
Let p = 22 - 6. Suppose 3*m = -4*i - 6, 4*i - 4*m + p = -4. Let l be (7/4)/(i/(-4)). Which is greater: l or 2?
l
Suppose -4*m + h + 7 = 0, -3*h - 5 = 4*m - 0*h. Is m greater than or equal to -3?
True
Suppose -7*h + 3*h = -5*u - 37, 2*h - 4*u - 20 = 0. Let p be (-10)/24 + 4/h. Let m(q) = q**2 - q - 2. Let y be m(2). Which is smaller: p or y?
y
Let d = -1427 - -1318.3. Let q = d + 117. Let b = 9 - q. Are b and -0.1 equal?
False
Suppose 0*u - 18 = -2*u. Suppose -u - 1 = -4*a + 5*m, 4*m = a - 8. Let t = -217/3 + 73. Is a bigger than t?
False
Let h(m) = 4*m + 3. Let n be h(3). Suppose 0*z = 5*z - n. Suppose 0 = 2*u + z*u. Which is smaller: u or -2/7?
-2/7
Let t(l) = -l**3 - 5*l**2 - 3*l. Let a be t(-3). Let n be (-16)/a + (-4)/(-18). Let d be (16/(-42))/((-2)/3). Which is bigger: d or n?
n
Let c be 98/5 - 12/(-30). Let q = c - 13. Let h = q + -6. Which is greater: h or 2/21?
h
Suppose -4*c = 5*a + 10, -3*a + 1 = -3*c + 7. Suppose -y + 7 = -g, 6 + 6 = -4*y - 4*g. Which is smaller: y or a?
a
Suppose -3*y - 5*m + 4*m = 216, 2*m + 77 = -y. Does -71 = y?
True
Let w(m) = -m**2 - 5. Let g be w(0). Which is bigger: -4 or g?
-4
Let j be ((-4)/(-6))/((-4)/6). Which is smaller: 2/11 or j?
j
Let j = -0.1 - -2.1. Which is bigger: j or 0.09?
j
Let l(t) = t**2 - 21*t + 13. Let z be l(20). Which is greater: 1 or z?
1
Let y be 15/20 - (-1)/2. Let j(u) be the second derivative of u**4/12 + 3*u**3/2 - 9*u**2/2 - 5*u. Let k be j(-10). Which is smaller: y or k?
k
Suppose 2*v = -0*v - 22. Let o = v + 10. Is -7/3 less than or equal to o?
True
Let r = -27 + 15. Are -11 and r equal?
False
Suppose -3*g - 2*f + 0 = 5, 5*g - 3*f + 21 = 0. Is -3 equal to g?
True
Suppose 5*n - 22 = 3*n + 4*i, -3*n - 3*i = 3. Which is smaller: n or -3?
-3
Let k be 17 - 1/((-3)/(-6)). Let u = k + -31/2. Let f(x) = -x**2 + 6*x - 7. Let n be f(5). Which is smaller: n or u?
n
Suppose -5*p = 3*o - 6, -1 = 3*p + o - 3. Suppose 4*q + 0*q = p. Is 0 > q?
False
Let p be (-1)/(-2)*(10 - 26). Is p at most as big as -0.2?
True
Let z(o) = -o**2 - 8*o + 2. Let h be z(-9). Let c(d) = d**2 + 8*d + 5. Let u be c(h). Which is smaller: u or 0?
u
Let n be 118/6 - 4/(-12). Suppose 2*f - n = -4. Let t be (-10)/(-24) - (-2)/f. Is t at most as big as 2?
True
Let y be (-1)/3 + (-68)/48 - -2. Which is greater: 1 or y?
1
Let m be (6/10)/((-2)/(-10)). Which is smaller: m or 13/4?
m
Let i be (-8)/(-12) + 1/3. Let l = -18 + -193. Let d = -1691/8 - l. Which is smaller