) - (-414)/77. Let a = 58/11 - n. Which is greater: a or -1?
a
Suppose 2*q + q = -3. Let d be (-1)/(-6) - 585/270. Is q less than d?
False
Let u be (-21)/(-6) - 4/(-8). Let t = 4 - u. Let n = 231 + -2543/11. Which is bigger: n or t?
t
Suppose -3*h = -31 - 38. Is 23 at most h?
True
Let v(t) = 2*t**2 - 1. Let a(l) = l**2 + l + 1. Let i(x) = 2*a(x) + v(x). Let y be (-1)/((-3)/(-6)*2). Let u be i(y). Is 4 less than u?
False
Let j = 1.5 - -4.5. Let l be 12/(-14) + 286/154. Is j not equal to l?
True
Let t = -219907/7 + 31271. Let n = -144 - t. Which is smaller: n or -12?
-12
Let g be 3/(132/(-40) - -3). Is g <= -11?
False
Let q be (-5)/(5/(-2))*1. Let c be 1 + (-4 + q)/2. Suppose -2*v + v + 1 = c. Is v bigger than 2/5?
True
Let v be (-1 - -4) + 1 + 1. Is 7 <= v?
False
Suppose z - 5*z + 16 = 0, 0 = 4*i - z. Let x be 4/((-1)/(-2) + 75/(-270)). Let r be (3/x)/(i/4). Which is bigger: 1 or r?
1
Let n = 109/3 + -36. Suppose -3*z = -5*j + 22, -j - 2*z + z = 2. Suppose -c + j = 3. Which is bigger: n or c?
n
Let g(j) be the third derivative of -1/6*j**3 + 0 + 1/3*j**4 + 0*j + 7/60*j**5 + 2*j**2 - 1/120*j**6. Let c be g(8). Which is smaller: 1 or c?
c
Let d be 5/((-10)/(-8))*-1. Let f = 7 + d. Suppose 10 = -i - 5*g, 2 = g - f*g. Is i bigger than -4?
False
Let i = -28 + -1. Is -28 equal to i?
False
Let l = -4.4 + -0.6. Let s = 5.4 + l. Let a = s - 0.6. Is 1 > a?
True
Let h = -182 - -90. Which is smaller: h or 2/3?
h
Let n = 10 - 11. Let r = 10 + n. Let d = r - 9.4. Which is smaller: d or 1?
d
Let f = 65483/1405 + -2/281. Let i = f + -47. Which is greater: 1 or i?
1
Let k be -6*2/(-6) + 1. Does 13/3 = k?
False
Let r(f) = -2*f**3 - 13*f**2 - 13*f - 13. Let g(p) = p**3 + 7*p**2 + 7*p + 7. Let w(d) = -7*g(d) - 4*r(d). Let b be w(-3). Are -6 and b unequal?
False
Let z(x) = -x**3 + 3*x**2 + 5*x + 1. Suppose 6*h - 2*h + q = 18, -4*q = -2*h. Let m be z(h). Suppose -3*r + m = 2*r. Is r <= 0?
False
Let c(u) = -5*u**3 + 7 - 5*u**2 + u**3 + 3*u**3. Let o be c(-5). Suppose -2*a + o*a - 10 = 0. Is 0 at most as big as a?
True
Let d = -10.79 - -0.79. Is d at most as big as -3?
True
Let d(g) = g**3 - 10*g**2 + 10*g - 9. Let l be d(9). Suppose l = 4*f + 2 + 2. Let o be (-2 + (-6)/(-3))/f. Which is smaller: o or -2?
-2
Let u be 6/((-2)/(-7) - 2/4). Which is bigger: -27 or u?
-27
Let b = 2037 + -435919/214. Which is smaller: -1 or b?
-1
Let a(m) = -m**3 + m - 18. Let c be a(0). Let g be 2/4 + c/4. Which is smaller: g or -2?
g
Let t(d) = 2*d**2 + 2. Let r be t(3). Suppose r = -6*x + x. Are x and -4 unequal?
False
Let s = -6 + 6. Suppose 0 = p + 2, s = 2*f + 2*p - 5*p - 12. Suppose -m + 28 = f*m. Is 8 at least as big as m?
True
Suppose 4*y + 33 = 3*i, 0 = -2*i - 2*y + 6 + 2. Which is bigger: i or 6?
i
Let q = 170 + -130. Is q at most 157/4?
False
Let s(c) = -2 + 4*c - c**2 - 7*c + 4. Let h be s(-3). Suppose -d - h*k = 14, -d - 2*k - 2*k = 22. Is d smaller than -0.1?
True
Suppose -2*v - 4*r + 28 = 0, 3*r = 3 + 12. Suppose 8 = v*m, -2*k + 3*m + 0*m = 8. Which is smaller: 1 or k?
k
Let k = 2.101 + -0.001. Let y = k + -0.1. Is -3 < y?
True
Suppose 0 = -4*s - s - 25, 0 = 3*q + 4*s + 32. Let g = q + 14/3. Let b = 0 - 0. Is g at most b?
False
Suppose -2*f = 1 + 15. Let k = -5 - f. Suppose -c = -4*c - 2*o + 14, 0 = 2*o - 8. Which is greater: c or k?
k
Suppose 2 = 2*y - 4*y. Let v = -19 - -13. Let j be (v/105)/((-1)/(-5)). Is y > j?
False
Let c(i) be the first derivative of -i**4/12 - i**3/3 + i**2 - 3*i - 3. Let w(u) be the first derivative of c(u). Let m be w(-3). Which is smaller: m or -1/3?
m
Suppose 2*h = h + 5. Suppose 3*r = h*s + 5*r + 5, 3*r = 15. Is s less than -1?
True
Let v = -109/2550 - -1/34. Which is greater: 1 or v?
1
Let u be (-9)/(-6)*(-10)/35. Which is bigger: 1 or u?
1
Suppose 3*w = -2*w - 4*k - 20, 3*k + 15 = w. Suppose w = -4*i - 3*z - z - 20, 4*z = i - 20. Are i and 1/16 non-equal?
True
Let v be -10*(-5)/10*4/(-10). Which is greater: v or 12?
12
Suppose -2*k + 2 = -2*a, -k = -3*a - 0*k - 1. Is -2/23 smaller than a?
True
Let p be 274/6 - (-6)/18. Which is smaller: 45 or p?
45
Suppose 0 = -5*y + 15, -94 = 3*n + 4*y + 62. Is -56 != n?
False
Suppose 2*i + 11 = 13. Suppose 3*g - 20 + 8 = 0. Suppose p + 3 = -g*j - 1, -3*j + 12 = -3*p. Which is smaller: j or i?
j
Let f be (-3 - -2) + (-1 - -26). Suppose 4*y = 2*y + f. Let i be y/5 - 2/5. Which is greater: 1 or i?
i
Let a(w) = -w**3 + 2*w - 2. Let c be a(1). Which is smaller: 2/31 or c?
c
Let p be (1/2)/((-24)/492). Let x = p + 131/12. Which is smaller: 4 or x?
x
Let r be 1 + -1 + 3/3. Which is bigger: 1/3 or r?
r
Let o = -205 + 185. Which is smaller: o or 0.4?
o
Suppose 0 = -5*r + 4*p - 7758, 3*r + 1928 = 5*p - 2719. Let n be 4*(-1)/r - 0. Let a = -1528/10101 - n. Which is smaller: 1 or a?
a
Let l = -25 - -17. Is l less than or equal to -2/7?
True
Let n = 5 - 7. Let z(u) = -u - 7. Suppose -3*t - 21 = 3*r, -3*t + 5*r - 7 = -t. Let s be z(t). Which is bigger: n or s?
s
Let g = 1472/15 - 98. Which is smaller: g or 0?
0
Suppose 0 = -5*r + 48 - 3. Does r = -0.1?
False
Let f be 4/(300/5)*9. Which is smaller: -2 or f?
-2
Let v = 6 - 4. Let x be (3/27)/(((-5)/3)/5). Is x greater than v?
False
Suppose -11601 - 110799 = -2*k. Let w = 613039/10 - k. Let r = -104 + w. Which is greater: r or 0?
0
Let u = -159 - -161. Are 42 and u equal?
False
Let o = -0.05 - -0.25. Let s = 0 - o. Let f be ((-2)/(-7))/(6/14). Which is smaller: s or f?
s
Let i = 2.35 - 177.35. Does 0 = i?
False
Suppose 3*s + 0*s - 6 = 0. Suppose 0 = 5*k + 10 - 5. Let o = k - -3. Do s and o have different values?
False
Let a be -2 - 80/12*-3. Let c be 4/a + (-20)/9. Which is bigger: c or -3?
c
Let a(h) be the second derivative of h**4/12 + 5*h**3/6 + 2*h**2 - h. Let x be a(-3). Let t(p) = -p**2 - 2*p + 5. Let k be t(-4). Which is smaller: x or k?
k
Let l = 31.4 - 28. Which is smaller: 1 or l?
1
Let k = -4 + 0. Which is bigger: k or 1/4?
1/4
Suppose -5*p = -0*p. Which is smaller: 7/25 or p?
p
Let b be ((-4)/35)/(20/(-50)). Which is smaller: b or 4?
b
Suppose 0 = -3*q + 17 + 28. Suppose q = 3*h + 3. Suppose 5*o = -3*n - 5, 4 = -5*n - h*o - 0*o. Which is smaller: n or 2/7?
n
Let s be 302/470 + 12/(-20). Is s <= 1?
True
Let s(t) = -t. Let b be s(4). Let o be 3 + 6/(-3) + b. Is -2 at most as big as o?
False
Let k(r) = r**2 + 5*r - 5. Suppose v + 24 = -3*v. Let t be k(v). Is 6 less than t?
False
Let d(n) = n**3 + 9*n**2 + 7*n - 10. Let r be d(-8). Let z be r/8 + 1/(-2). Which is greater: z or 0?
0
Suppose 3*f = g + 13, -g - 4*f = -19 - 3. Let u = -1 - -1. Suppose u = 4*t - t - 15. Is g < t?
True
Let t = -0.87 + 0.96. Is t less than -3/5?
False
Let b = -2 + 1. Let m = -125/2 + 63. Which is smaller: b or m?
b
Let x(n) = n**2 - 2*n - 2. Let i(z) = -z**2 - 8*z + 13. Let q be i(-9). Let s be x(q). Suppose s*a - a + 5 = 0. Is a at least -1/7?
False
Let n(f) = f**2 - 6*f + 7. Let o be n(5). Let y be (-3 - -2)*1 + 1. Let s = 1 - y. Which is smaller: s or o?
s
Let a(b) be the third derivative of -b**4/12 - 4*b**3/3 - 6*b**2. Let c be a(-6). Is c > 2?
True
Let c = -1 - 0. Let v = 201 + -2617/13. Which is smaller: v or c?
c
Let z = -39558/37 - -1069. Which is bigger: 0 or z?
0
Suppose -2*o - 2*o - 3*m = -7, 4*m - 14 = -3*o. Is o smaller than -2?
False
Let z = 1.2 - 1. Let y(u) = u + 2. Let b be y(0). Is z equal to b?
False
Let a = -101/252 - -5/28. Is a < -1?
False
Let i = -15 - -2. Which is smaller: 1 or i?
i
Let v(l) = -l**3 - l**2 + l - 11. Let t be v(0). Let c = -17 - t. Is c at least -5?
False
Let x = 3/8 - -7/24. Suppose 5*q = -25, -3*m + 3*q + 131 = 20. Let y be m/14 - (-14)/(-49). Which is smaller: y or x?
x
Let j(o) = -o**3 + 8*o**2 + 5. Let q be j(7). Let b = -103/2 + q. Which is smaller: b or 3?
b
Let j = -305/4 - -77. Is j less than 1?
True
Let w = -468 - -1388/3. Which is smaller: -6 or w?
-6
Let q = -4 - -3. Let o(f) = f**3 - 6*f**2 + 6*f - 6. Let t be o(5). Let d be t/(3/(-3))*q. Is d greater than -1/6?
False
Suppose -2*a = -14 + 20. Is -3 smaller than a?
False
Let i be (-1)/(-2) - (-6)/36. Is i greater than or equal to -1.4?
True
Suppose -28 = 3*f - 5*z, 4*z = -5*f + 8*z - 38. Let s = 53 - 50. Let i be (1 - s)*(-1)/f. Which is greater: i or 2/3?
2/3
Let y = -11 + 21. Let j be (y + -10)*(-2)/4. Which is smaller: -1 or j?
-1
Suppose 321 + 41 = -2*d. Let h = 1269/7 + d. Whi