e (-9)/8*2/3. Let q = 4 + -4. Let i be q*-1*1/(-2). Which is greater: i or z?
i
Let z = -6 + 4. Let m(l) be the third derivative of l**5/60 + l**4/3 + 5*l**3/6 + 3*l**2. Let n be m(-7). Is n less than z?
False
Let u be 0 + (0 - -4)/2. Suppose -u*b + 5 = -7*b. Is b <= -1?
True
Suppose 0 = 3*t - 93 - 66. Is 53 greater than or equal to t?
True
Let l = 10 - 7. Let p be (158/(-42) - -3)*l. Which is greater: -3 or p?
p
Let l be (-4)/(-8)*(-46)/99. Let w = l - -5/99. Do 1 and w have the same value?
False
Let m(n) = -n**3 + 3*n**2 + n + 3. Let t be m(3). Suppose 5*q - 20 = 0, -w + 5*q + 5 = 4*w. Is t less than w?
False
Suppose 20 = -5*w + 2*t, 5*w + 3*t + 10 + 10 = 0. Does -6 = w?
False
Let b = 5 - 5. Let k = -0.05 - -0.08. Let d = k + -3.03. Is d < b?
True
Let i(c) = -c**3 + 11*c**2 - 6*c - 33. Let s be i(10). Which is smaller: s or 8?
s
Let f = 2001/370 + -3/370. Let c = f - 23/5. Is c less than or equal to 2?
True
Let g = -27 + 25. Which is smaller: -16/5 or g?
-16/5
Let x = 57.4 + -54.59. Let p = x - -0.19. Are p and -1/6 equal?
False
Let a be 6/3 + (0 - 3). Let j be 2/6 + (-266)/168. Is j at most a?
True
Suppose 3*n + 6 = -3*u, 5*u - 3 = -4*n - 12. Is n less than -61?
False
Let j = -0.134 + 1.434. Which is smaller: 0.06 or j?
0.06
Suppose 4*x - 12 = 6*x. Let n(v) = v**3 - 3*v - 3. Suppose -3*w - 2*w = 10. Let b be n(w). Is x != b?
True
Let x be 2/(-4)*2 - -21. Suppose 4*m + 8 = -12, 0 = -5*j + 4*m + 125. Is j equal to x?
False
Let p(s) be the third derivative of s**4/24 - s**3/6 - 5*s**2. Let u be p(2). Is u < 2/3?
False
Let h be 4/24*1*-2. Suppose -2 = -0*q - 2*q, 4*q = 5*z + 9. Which is greater: h or z?
h
Suppose 8*i + 2*i = -20. Which is bigger: i or -3?
i
Let v be (7 + 1737/(-252))/(4/14). Is v greater than or equal to 4?
False
Let z = 11 + -11. Which is greater: -7/5 or z?
z
Let z be 0/(-6)*(-1)/(-2). Which is bigger: -3/37 or z?
z
Suppose -4*n + 116 + 120 = 0. Which is smaller: n or 60?
n
Suppose -y = -0*y + 20. Is y smaller than -20?
False
Let m = 37/3 + -13. Let z be (-1)/4 + (-13)/(-4). Suppose s - 2*g + 10 = -3*s, z*g - 3 = 0. Which is greater: s or m?
m
Let n = 16 + -5. Let x = -8 + n. Which is smaller: x or 1?
1
Let h(x) = -x**2 + 22*x - 23. Let s be h(21). Suppose -4*i - 5 = 7. Which is greater: s or i?
s
Let n = 0 + 1/2. Let d = -0.74 - 0.06. Let b = -0.6 - d. Is b > n?
False
Let c(w) = w**2 - 8*w + 3. Let t be c(6). Let k(p) = -p + 1. Let b(z) = -3*z + 2. Let v(o) = 3*b(o) - 7*k(o). Let s be v(4). Is t <= s?
True
Let l = -1.1 + 0.1. Let d = l - -1. Let t be 6/15*10/6. Which is smaller: t or d?
d
Suppose q + 8 = 3*z, -3*q + z + 0 = -8. Suppose 0 = q*p + 2*j + 30, -3*p - 3*j - 10 - 14 = 0. Is p greater than -8?
True
Let k(j) = j**3 + 3*j**2 + 1. Let m be k(-3). Which is bigger: m or 1/9?
m
Let f = 1750318/15 + -116757. Let l = f - -211/3. Is 2 bigger than l?
True
Suppose m + 2*z - 8 = 0, 0 = 3*m - 6*m + 2*z + 8. Suppose m*l = 2*r + 2 + 12, -l = 5*r + 13. Suppose a = -f + 1, -l + 19 = -f + 5*a. Is -3 greater than f?
False
Let i be ((-36)/(-531))/(-163*142). Let r = i - 85350187/234885608. Let m = -1/86 + r. Is 1 at least as big as m?
True
Let k be (-1 - 4/(-2))*5. Suppose k*r - 1 = 4. Is 1 > r?
False
Let z = 10 - 16. Let a = 5 + z. Let k = -1/2 + 1/4. Does a = k?
False
Let l = 0.33 - 0.417. Which is bigger: 1 or l?
1
Suppose -n = 4*n + 10. Let z = -3 - 0. Which is smaller: n or z?
z
Let z be -1*(-3)/12 + 0. Is z bigger than 28?
False
Let u be 18/(-4)*(-112)/24. Let i be (-6)/u + (-180)/(-483). Which is bigger: 0 or i?
i
Let c be ((-4)/(-12))/(1/(-9)). Is c < -11/4?
True
Let i = 11.69 + 0.31. Let j = i + -11. Let n = j + -0.8. Which is smaller: n or 2/5?
n
Let n(l) = l**3 + 22*l**2 + 4. Let c be n(-22). Which is bigger: 3 or c?
c
Let a be 1/(-2) - (3 + 306/(-12)). Are a and 22 nonequal?
False
Let c = -243/2 - -35231/290. Do c and 0 have the same value?
False
Let n = 8/5 + -29/15. Is 2 less than or equal to n?
False
Suppose 3*m + 5 = 2*n - 14, -5*n + 30 = -4*m. Suppose 4 - 20 = -4*r. Suppose 8 = r*s + 28. Are m and s equal?
True
Let v(w) = w**2 - 3*w - 8. Let k be v(6). Which is smaller: 8 or k?
8
Let b(j) = -j - 1 + 1. Suppose t - 2*t = 0. Let a be b(t). Which is smaller: a or -1?
-1
Suppose -g + 4*k = -20, 0 = -4*g + 2*k - k + 5. Let o be (6/(-27)*-1)/1. Do g and o have the same value?
False
Let y(z) = -3*z - 14. Let g be y(-9). Let x = g + -23. Is x < -0.1?
True
Let q(r) = -r**2 - 2*r + 4. Let f be q(-5). Let z(x) = -x**3 - 10*x**2 + 12*x + 13. Let p be z(f). Let u(w) = 2*w. Let n be u(p). Which is greater: 5 or n?
5
Suppose -2*l = -0*l - 4. Suppose d = 2*t - 2, l = -t - 0*d - d. Suppose q + 3*q = t. Which is smaller: q or 1?
q
Let s = 2.14 + -0.14. Which is smaller: 0.7 or s?
0.7
Let r = -4400731/5 - -877031. Let s = -187356/55 - r. Let m = 291 + s. Does 0 = m?
False
Let n(k) = -k**2 - 4*k + 2. Let t be n(-4). Let j be 1*(t - (-5)/(-2)). Is j greater than 2?
False
Let r be (7 - 2 - 2) + -3. Suppose -z = 3*g + 2*z, 2*z = r. Is 2/3 at most as big as g?
False
Suppose 3*m = 3*k - k - 10, -4*m - 12 = -2*k. Is 1 at most as big as m?
False
Let c = 79.41 - 79. Let u = -1.01 - -1. Let i = c + u. Is i at most as big as 0?
False
Let q(v) = v**3 - 10*v**2 + 9. Let x be q(10). Let b = 6 - x. Which is smaller: 1/3 or b?
b
Let s(l) = -l**2 - l. Suppose 5*f + 2*h + 3*h + 15 = 0, 0 = 4*h + 16. Suppose -2*x = 2*k, 2*x - 6*x - f = 5*k. Let p be s(k). Which is smaller: 1/5 or p?
p
Let z be 6/(-9) + 16/42. Let q = -5 - -1. Is z not equal to q?
True
Let o = 6.01 - 0.01. Let y be ((-62)/(-93))/(2/(-6)) - -2. Do o and y have different values?
True
Suppose 5*p + v - 16 = 0, 20 = 3*p - v - v. Suppose -5*g - 2*n = -76, p*g + 5*n - 39 = 15. Are g and 16 nonequal?
False
Suppose 0 = 3*k + 69 - 18. Is k greater than -17?
False
Suppose -31 = 5*u + 2*f, 5*u + 9 = -f - 24. Which is smaller: -5 or u?
u
Let i = 3/5 - 4/15. Let f = 158 + -6476/41. Is f >= i?
False
Let f = -5 - -2. Let u = 4 + f. Let j be (u/(-4) + 0)*1. Which is smaller: j or 0?
j
Let x be (1 - -1)*((-2)/(-4) + 0). Is 1/4 at least x?
False
Let s = 25 + -38. Let p = -7 - s. Is p <= -1?
False
Let x(m) = 7*m**3 + 3*m**2 - 2*m. Let z be x(1). Is z greater than or equal to 8?
True
Let v = -73 + 368/5. Is 2 equal to v?
False
Let f(g) = g**2 + 5*g + 2. Let b be f(-5). Let q be -3*(-64)/132 - b. Which is greater: q or 0?
0
Let x(y) = y**3 + 10*y**2 + 9*y - 9. Let b be x(-9). Is 1 >= b?
True
Let p = -51/2 - -25. Are -0.12 and p nonequal?
True
Let d be (-36)/164*(-4)/6. Is d greater than or equal to 1?
False
Suppose 2*l - 7 = -2*j - 3, 3*l = -2*j + 8. Do l and -0.5 have the same value?
False
Let c(v) = -v**3 + 2*v**2 + v + 3. Let s be c(3). Let t be 7/s + 3/9. Let o be (-1 + 1)/(t + 1). Which is bigger: o or 2/7?
2/7
Let v = -0.03 - -0.83. Let g = v + 0.2. Let b = g + 0. Is b at least as big as 1/4?
True
Let a be (28 + 1)*(13 + -12). Suppose -4*t = s - a, 2*s - t = -s + 22. Which is greater: s or 10?
10
Let n = -653/7 + 93. Is 26 not equal to n?
True
Let f be (-14 + -1)*2/(-3). Let k be (-4)/(-10) - 34/f. Let w be (-1 + 0)/(k + 2). Is w >= 2?
False
Let m(v) = -3*v + 49. Let r be m(16). Is r less than or equal to -1/36?
False
Let i be (1/(-2))/(7/28). Is i at least 3?
False
Let q = -5327/15 - -898/3. Let l = -56 - q. Let n = 7 + -7. Is n bigger than l?
True
Let j = 0.09 + -0.09. Is j greater than 0.05?
False
Suppose g - 1 + 0 = 0. Let d be (-6 - (-110)/15)/(8/18). Are g and d non-equal?
True
Suppose 0 = -9*a + 10*a + 15. Suppose -2*i - 10 = -i. Let w be (6/a)/(12/i). Is -1 smaller than w?
True
Suppose -7*s = -4*s. Suppose 4*f = -2*f. Are s and f unequal?
False
Let w = -4 - -3. Which is smaller: w or -0.07?
w
Let o = 0.2 + -0.3. Let m be (-12)/(-36)*(0 + 33). Do o and m have the same value?
False
Let w = -2.96 + 0.46. Is -1 at most w?
False
Let f = 11 - 19. Let s = f + 7.9. Which is bigger: s or -0.2?
s
Let w = 71/231 + 2/77. Let r = 0.04 + 4.96. Is w at least as big as r?
False
Let a = 1.5 + -0.9. Which is greater: -0.2 or a?
a
Let s = -14/5 - -32/15. Let q = -34.79 + 35. Let w = q + -0.01. Which is smaller: s or w?
s
Let r(o) be the first derivative of 1/2*o**2 - 5*o + 2. Let m be r(4). Is m < 0?
True
Let h be ((-4)/1)/(3/18). Let m be (h/(-15))/((-2)/(-5)). Let s be (-1)/(-3) + m/(-6). Which is smaller: s 