 = -21*n**3 + n**2 - 1. Let k be a(-1). Suppose -4*v = 5 - k. Let i = 11 - 8. Which is bigger: i or v?
v
Let p be (-4)/(-40)*-2 + 1/5. Which is smaller: p or -1?
-1
Let r(l) = -l**3 + 28*l**2 + 2*l - 54. Let z be r(28). Let g be (1/1)/(1/(-2)). Let q(d) = -d. Let s be q(g). Is z at most as big as s?
True
Let f = 0.0603 - 51.8603. Let l = f + 58. Let w = l - 6. Is -2 less than w?
True
Let z = -4.042 + 0.042. Is -5 greater than or equal to z?
False
Let u(y) = y**3 + 5*y**2 - 7*y - 4. Let f be u(-6). Suppose -n + 5 = f. Which is smaller: n or 5?
n
Let z = -24.9 + 25. Which is smaller: -13 or z?
-13
Let d = 15/13 - -85/39. Is 4 less than d?
False
Suppose -24 = -2*s + 6*s. Let q be (0 + s)*(-2)/3. Suppose w - 5*k = -3*w + 30, 4 = 2*w + 3*k. Is q bigger than w?
False
Suppose 3 = g - 2*v - 0*v, v = 3*g - 9. Suppose -p = -2*p - g. Suppose -j = 5*f + 6, -17 + 7 = 3*f - j. Which is greater: p or f?
f
Let i(c) be the second derivative of -c**5/20 - c**4/6 - c**3/3 + c**2 + 2*c. Let t be i(-2). Let s = -8 + t. Is s at most -1?
True
Suppose 0*p - 24 = 4*p. Let n(w) = -w - 4. Let u be n(p). Let y be ((-9)/(-6))/(2 - 0). Is y >= u?
False
Suppose -4*y + 20 = -g, -5*g - 2 = -3*y + 13. Suppose m + m + 32 = 0. Let k be ((-1)/(-18))/(4/m). Is g bigger than k?
True
Let r be (-2)/4 + (-150)/4. Which is bigger: -37 or r?
-37
Let q be 150/146 + -2 + 1. Let i = q + 63/365. Do i and 0 have the same value?
False
Let c = 0.4 - 0.34. Let u = c + -1.06. Let n = 3.7 + 1.3. Is n greater than u?
True
Suppose -9 - 11 = 5*q. Which is bigger: q or -16/3?
q
Let j = -25 - -21. Which is smaller: -0.1 or j?
j
Let o be (-3)/(-3) + 2 + (-4 - 0). Is 2/25 bigger than o?
True
Let y be 1/(-2)*(-48)/3. Let b = -5 + y. Suppose -o + b*o - 2 = 0. Is 2 at least o?
True
Let n(g) = -g**3 - 8*g**2 + g + 2. Suppose q = -6 - 2. Let a be n(q). Is -6 greater than a?
False
Let h be -3 + (3 - 0)*1 + 4. Let t(x) = -x**2 - 4*x + 4. Let f be t(-5). Let i be (3/2)/(f/(-2)). Is h > i?
True
Suppose 57 = 9*m - 12*m. Does m = -20?
False
Let i(t) = -t**2 - 14*t - 3. Let p be i(-13). Is 11 bigger than p?
True
Suppose -4*d = 2*f - 17 - 3, 3*d - 17 = -2*f. Is f > 5?
False
Suppose 5*x + 18 = 8*x. Is 45/7 at most x?
False
Let h(d) = 45*d**2 + d. Let k be h(-1). Let i = 177/4 - k. Is 0.6 > i?
True
Let f be (-33)/(-55)*10/8. Suppose -2*x + 0*x = -4*y - 10, 3*x = 15. Which is bigger: f or y?
f
Suppose -4*b + 3*b = -1. Let s = -6/233 - -580/4427. Is s < b?
True
Suppose -4*g + 5*t = -8, g - 2*g = -3*t - 2. Is 1/10 at most as big as g?
True
Let f(m) = -m**3 + m**2 + m. Let l be f(0). Suppose l = 5*v + 5*c, 7*c = -5*v + 3*c. Suppose v*y + 3 = 3*y. Is 1 < y?
False
Let a = -787 - -24401/31. Are 1 and a equal?
False
Let n = 1 - 4. Suppose 7*o = 4*o - 13*o. Is n greater than o?
False
Suppose -9 - 1 = -10*c. Is c less than -1?
False
Let f = -6 - -9. Suppose f*s = p - 12, 0*s - 2*s = -2*p + 12. Suppose 0*c = 4*y - 2*c, 0 = 4*y + c + 12. Which is smaller: y or s?
s
Let h(j) = j**2 + 4*j - 6. Let r be h(-5). Are 2 and r non-equal?
True
Let r be (-2)/(-1) - (3 - 2). Are 1/11 and r equal?
False
Let d = -2 + 6. Suppose -3*t + 2 = -d. Let z = 5 - t. Is z greater than 3?
False
Suppose 2*i - 24 - 10 = 0. Which is smaller: i or 13?
13
Let f(m) = 2*m - 3. Let r be f(9). Suppose 8*t - 3*t - r = 0, 2*b = -t + 3. Let g = 0 + 1. Is g greater than b?
True
Let j(t) be the second derivative of t**4/12 - t**3/2 + t**2 + 4*t. Let l be j(3). Is 0 smaller than l?
True
Let u = 0.9 + -0.4. Is -3 smaller than u?
True
Suppose 0 = -2*n + 6, -5*m + n - 51 = -n. Let r = 4 + m. Let x(y) = y**2 + 4*y - 1. Let a be x(-3). Is a equal to r?
False
Let m be ((-5)/170)/(1/(-6)). Let y(w) = 2*w**2 - 2*w + 1. Let u be y(1). Which is bigger: m or u?
u
Suppose 3*c - 6*c + 15 = 0. Suppose -4*m + c*v + 9 = 0, 2*v - v + 3 = 2*m. Which is smaller: m or 2/9?
2/9
Let l = 170 - 4927/29. Which is smaller: 1 or l?
l
Let k be (-23)/28 + (-2)/(-8). Let b = -6 - 0. Let m = 4 + b. Is m <= k?
True
Let z(j) = j - 1. Suppose 2*g + 5 = 7*g. Let i be z(g). Is -4/9 at least i?
False
Let i = -31923 - -63555. Let y = 885571/28 - i. Let f = -26/7 - y. Is 0 greater than f?
False
Let l = -1/6 - -1/18. Is l > -0.7?
True
Let d(w) = -7*w + 21. Let c be d(6). Is c at most as big as -20?
True
Let a(n) = 2*n**3 + 2*n**2 + n - 4. Let y be a(-3). Are y and -42 unequal?
True
Suppose -4*j - t - 3 = 0, -3*j + 2*t = -t + 21. Which is greater: j or -10/3?
j
Let p be 242/434 + -6 + (-39)/(-7). Which is smaller: p or 1?
p
Let p = -109/357 - -1/51. Is p smaller than 14?
True
Let z(i) = i**3 + 6*i**2 - 2*i - 7. Let x be z(-6). Let d(u) = -u**2 + 7*u - 6. Let m be d(5). Which is greater: m or x?
x
Suppose 4 = -4*u, -4*u - 6 = -3*d + 16. Let c be (348/63)/(d/(-9)). Let s = c + 160/21. Which is greater: 1 or s?
1
Let n = -104 + 115.2. Let g = n - 11. Is g less than 1/6?
False
Let y = 5.7558 - -0.1342. Let u = y + 0.11. Suppose -m + 26 = 4*g + 6, -4*m + 5 = g. Which is smaller: m or u?
m
Let r = 3/86 + -235/1806. Let q = -3 + 4. Which is smaller: q or r?
r
Suppose 3*x + 2*i - 6 = 0, 5*x + 3*i - 2*i - 3 = 0. Let t be 4/42 + 4/(-6). Is x bigger than t?
True
Let g = -259/5 + 52. Is g greater than or equal to 1?
False
Suppose -5 = -3*d - 2*y, d - 5*y - 4 + 8 = 0. Let l be 4/18 - 26/(-45). Are l and d unequal?
True
Let o(p) be the first derivative of -5*p**3/3 + p - 3. Let x be o(2). Let h be x/(-14) + (-3)/2. Is -1 at most as big as h?
True
Let i = 49/4 + -12. Suppose w + 2*w = -15, 2*x + 3*w + 3 = 0. Suppose x*q + 4 = 2*q. Is i less than q?
False
Let a = -46 - -80. Let y = a + -169/5. Which is bigger: 0 or y?
y
Let a(s) = s**2 - 2*s - 2. Suppose 15 = 7*v - 2*v. Let d be a(v). Let x be 2/(6*d/1). Which is greater: x or 1?
1
Let s(q) = q**2 + 6*q. Let z be s(-6). Which is smaller: -1/24 or z?
-1/24
Let n be 2*(-39)/6 - -3. Let r be (-34)/n - (-24)/(-40). Which is greater: 3 or r?
3
Let g = -21535/728 + 207/7. Which is greater: g or 1?
1
Suppose -26 = 4*p - j, 0*p + 3*j = p + 1. Let k(q) = q**2 + 8*q + 9. Let o be k(p). Suppose -1 = 2*r - v - 4*v, -o*v + 7 = -3*r. Is r < -3?
False
Let i be 0 + (-2)/(-3) - 1. Suppose -3*x - x - 24 = 0. Let m be 1 + 0 + 2/x. Which is smaller: m or i?
i
Let z = -20 - -18. Let n = 23 - 22.6. Is z < n?
True
Suppose -3*a - 4 - 8 = 0, 26 = -3*t - 5*a. Let y = 1 - t. Which is greater: 2/5 or y?
y
Let o = -74 - -81. Is o not equal to 0.3?
True
Suppose 5 = -f + 3*k, f = -2*f + 2*k - 1. Suppose 3*q = a + 5, -2*a + 7 = 3*q - f. Let y(d) = -d + 11. Let n be y(8). Is q less than or equal to n?
True
Let l = -25 - -223/9. Let g = -1.5 + -0.3. Let k = -0.8 - g. Is l at most k?
True
Suppose 3*q - h + 2*h + 47 = 0, 52 = -4*q + 4*h. Let y = -3 - 11. Which is smaller: q or y?
q
Let f = 1 + -3. Let c = -2 + 3. Let a = -1 + c. Is f greater than a?
False
Let h = 283 + -278.98. Let c = 0.02 - h. Let y = -3 - c. Is y bigger than 1?
False
Let x(u) = -7*u - 4 + 2*u + 4*u. Let h be x(-9). Are h and 4 non-equal?
True
Suppose -6 = -3*l + n - 2, -2*n = 5*l - 3. Let k be (-6)/15*(-10)/6. Which is smaller: k or l?
k
Suppose -1 - 7 = 4*b. Let r = 4 - b. Let j = -6 + r. Is 0 greater than j?
False
Let i be 4 + 0 + 436/(-68) + 1. Do i and -1 have different values?
True
Suppose -2*o + 0*o = -10. Suppose -2*v = -4*h, 0 = o*h - 5*v - 0*v + 10. Suppose -3*t + h = -4. Does 2 = t?
True
Let g = -88 - -145. Is 58 greater than or equal to g?
True
Let t(u) = u**3 + 7*u**2 - 8*u - 2. Let v be t(-8). Let k be v/(-7) + 57/70. Let x = k - -2/5. Which is smaller: 1 or x?
1
Let a be (5 + -1 - 4)/(-2). Let z = -4252 - -63814/15. Let h = -8/5 + z. Is h at least a?
True
Suppose f = 2*f - 1. Which is smaller: 0 or f?
0
Let q(r) = r + 5. Suppose 0*n = 5*p + 5*n + 20, -2*n = -6. Let y be q(p). Let o be (-10)/5 - (-2)/y. Which is smaller: -2 or o?
o
Let b = 12 - 12. Let d = 85 + -681/8. Which is smaller: b or d?
d
Let g = 0.03 + 2.97. Let i(b) = 4*b - 2. Let t be i(1). Let p be (-13)/3 + 3 + t. Which is smaller: g or p?
p
Suppose -17*c = -19*c + 6. Which is smaller: 21/11 or c?
21/11
Let o be 17/(-5) + 15/(-25). Let l(x) = -x - 1. Let p(a) = 3*a. Let t(i) = o*l(i) - p(i). Let s be t(-5). Is s > 0?
False
Suppose -s - 3*s = -20. Let r = 11 - s. Let j be (-10)/15 + 34/r. Which is smaller: 3 or j?
3
Let r = 610 - 651.04. Let n = r - -39. Let o