) = -2*q**3 + q**2 - q - 1. Let f be y(-1). Which is smaller: f or l?
l
Let y be (-1)/4 + (-885)/(-36). Let x = 24 - y. Let u = -1/3 + 1/12. Which is greater: x or u?
u
Let l be (-14 - (-4)/2)/(-1). Suppose l = -t + 4*t. Suppose 4*u = t*d + 4, 3 = 3*d - 6*d - u. Which is smaller: d or 0.1?
d
Let v(j) = j**3 - 5*j**2 - 8*j - 5. Suppose p + 5*d - 11 = 0, -7 = -5*d - 2. Let y be v(p). Let i = y + 35/2. Is i smaller than -2/9?
False
Let r = -1.6 - -7.6. Let q = r + -5.96. Is q equal to -1?
False
Let g be (-2)/10 + (-58)/(-90). Let k = -8 + 8. Which is smaller: k or g?
k
Let d = -96 - -97. Which is smaller: 3/104 or d?
3/104
Let w(g) = g**2 - 13*g + 31. Let t be w(9). Is t at most as big as -7?
False
Let m = 22/5 + -13/3. Is m <= 0?
False
Suppose 4*g + 1 + 3 = -3*b, -4*b = 3*g + 10. Is 0 greater than or equal to g?
False
Suppose g - 4*n + 17 = 0, 4*g - 5*n = -2*n - 16. Let f be 24/9 + 1/3. Suppose 0 = -8*m + f*m. Is m greater than or equal to g?
True
Let o = -21 - -24. Let h be o - (-2 - 0)*-1. Let d be 2/(-9) + 11/9. Are d and h nonequal?
False
Let i(p) = p**2 - 8*p. Let n be i(8). Let d = -1 + 1. Let u = -0.1 - d. Is n smaller than u?
False
Let q be 0*(-3 - -1)/(-4). Let j be (-2 - q) + (-54)/(-21). Is j > 0?
True
Suppose 0 = -a - 4*l - 29, -5*l = -2*a - 10*l - 52. Are -21 and a non-equal?
False
Let m be 2/70 + 4/10. Let w be (-3)/(-33) - 36/396. Is m > w?
True
Suppose r + 4 = 5*j - 3*r, j = 4*r + 4. Let t = -1/359 + 1085/2872. Is j greater than or equal to t?
False
Let i = -8/7 + 25/28. Suppose f + 2*f - 15 = 0. Let t = -4 + f. Is t greater than i?
True
Let x = -1 + 1. Let j = 4.91 + 0.09. Let c = 4.9 - j. Is c greater than x?
False
Let z = -5 + 28/5. Is 0 not equal to z?
True
Let u be (-1)/((-4)/2)*0. Let t = -1 - u. Let n = -31 + 30. Is n greater than or equal to t?
True
Let b = 13 - 1. Suppose -2*n + 6*n - b = 0. Suppose k - 4*u + 19 = 0, -n*k + 2*u - 21 + 4 = 0. Are -2 and k unequal?
True
Let f = -10 - -6. Let d = -1 + -9. Let g = d - -7. Is f at most as big as g?
True
Let l = 10 + -7. Let o be 3*(4 - l)*1. Is o > 7/3?
True
Suppose -a = -3*f + 16, 4*a - 5*f = -6*f + 1. Let h(x) = -x. Suppose l - 18 = 4*c, 3*l - c + 6 = -4*c. Let y be h(l). Does a = y?
False
Let a = 12 - 11.3. Let g = a - 1.7. Is 0.4 smaller than g?
False
Let j be 24/(-9)*-1*(-3)/(-36). Which is bigger: j or -0.2?
j
Suppose 0 = o - 2 - 0. Let t = o + -2. Let x(f) = f**3 - f**2 + f + 2. Let d be x(t). Is 2 less than or equal to d?
True
Let o(y) = -7*y + 9. Let r(c) = -4*c + 4. Let f(z) = 3*o(z) - 5*r(z). Let p be f(5). Let l = -4 + p. Which is smaller: -1 or l?
l
Let r = -17 + 160. Let x = -74 + r. Let a be 2/(-8) + x/(-12). Is -6 at least a?
True
Suppose -8*x + 9*x - 5*z = -16, x + 2*z - 5 = 0. Is 5/28 not equal to x?
True
Let q = 0.1 - 20.1. Let i = q + 20.1. Is i equal to -4?
False
Let a = 15 + -8. Is a at least as big as 13/2?
True
Let i(j) = -j - 5. Let w be i(-5). Let c = w - 0. Which is smaller: 2/21 or c?
c
Suppose 2*m + 15 - 3 = 0. Let d be 2/m*(-2 - -4). Which is smaller: 1 or d?
d
Let d(j) = -5*j - 30. Let b be d(-6). Is 1/14 greater than or equal to b?
True
Let b = -0.1 - -0.18. Let o = b - 0.02. Let w = 0.04 + o. Is w at most as big as 0.3?
True
Let f = 149/7 + -21. Which is greater: 9 or f?
9
Suppose 47 = -3*f - 3*u - 4, 4*f + 63 = u. Is f bigger than -16?
False
Suppose 6*t - t = -20. Let d(k) = k**2 + 4*k + 4. Let q be d(t). Suppose -3*w - 1 = 2, -q*p + 4 = 4*w. Is p <= 4/5?
False
Let k(z) = 33*z**3 - z - 1. Let n be k(-1). Let v = -365/11 - n. Suppose -9*r + 2*r = 7. Is v less than or equal to r?
False
Suppose -2*x + 3*h + 7 = 0, 2*x + 0*h + 14 = -4*h. Let p = 1 + 1. Suppose p*f - 6*f = 4. Is x smaller than f?
False
Let f(v) = v**3 - 8*v**2 + 7*v - 9. Let m be f(8). Suppose -3*d - 203 + m = 0. Let n = -209/4 - d. Is n > 1?
False
Let t = -8 - -32. Let u = t + -122/5. Suppose g = 5*g. Which is smaller: u or g?
u
Let x be (4/(-2)*1)/(-2). Is x bigger than -6/23?
True
Let a be (-6)/8*(-36)/54. Is a >= 2?
False
Let j(x) = 3*x - 70. Let b be j(22). Is -1 >= b?
True
Let n = 17/7 + -78/35. Suppose 0 - 4 = -4*w. Which is smaller: n or w?
n
Let g(n) = -344*n + 2. Let z be g(-2). Let i be 233/z - 4/12. Let p = i - 481/4830. Which is smaller: p or 1?
p
Suppose 2*m - q + 18 = 6*m, 0 = -3*m - 5*q + 22. Suppose 0 = c + m*c. Which is greater: 1/11 or c?
1/11
Let l = -23/2 - -11. Which is bigger: -0.1 or l?
-0.1
Let o = 0.1 - 0.22. Let x = o - -0.04. Let g = -0.08 - x. Which is bigger: g or 0.1?
0.1
Let j = 318 + -319. Suppose 3*a = 2*a + 5*f - 12, -3*a = -5*f + 16. Is a <= j?
True
Let h = -41/3 + 121/9. Which is greater: h or -1/8?
-1/8
Let s = -1.53 + 0.03. Let t = s - -0.8. Let y = 0.3 - t. Is -3 bigger than y?
False
Suppose 4*n - 2*n = 0. Let m = 43/4 + -395/36. Is m at least as big as n?
False
Suppose 0 = 5*l - 5 - 30. Is l not equal to 20/3?
True
Let i be 44/(-7) + 2/7. Let t be i/(-9)*3/(-5). Is 0 less than t?
False
Let i = 33 + -25. Suppose -i = 4*w + 4*g, -4*w = w - g - 20. Which is greater: w or -0.1?
w
Let h = 6 + -5. Let o = 57 + -125. Let c = -338/5 - o. Which is smaller: c or h?
c
Let k(u) = u - 1. Let y be k(0). Let m(a) = a**2 - 2*a - 1. Let g be m(3). Suppose 0 = 2*v - 4, -4*x - g*v + 1 = -x. Is y < x?
False
Suppose 3*m = 6*m. Let r be (2/(-4))/((-16)/12). Are r and m non-equal?
True
Let p = 1.1 - 1. Let v be 6/18 - (-58)/(-66). Which is bigger: v or p?
p
Let w = 0.073 - 5.073. Which is smaller: 1/3 or w?
w
Suppose -5*n - 2*l - 130 = 2*l, -25 = n + l. Let i be n/(-8) - (-2)/8. Suppose -6 = -i*w + 14. Is 0 < w?
True
Let r = -259/88 + 25/8. Is 1 greater than r?
True
Let s be 2/(-3)*(-12)/(-8). Let f = s - -2. Suppose -5 + f = -k. Is k >= 3?
True
Let m = -3 - -1. Let g be (2 + (-3)/(-3))*-1. Let r(k) = -k**3 - 2*k**2 + 2*k - 4. Let s be r(g). Is s at most m?
False
Let w(r) be the third derivative of r**5/60 - 7*r**4/24 - 4*r**3/3 - 3*r**2. Let q be w(8). Is -4/11 < q?
True
Let a be 378/637 + (-4)/14. Are a and -0.2 unequal?
True
Suppose 21 = r + 2*m, -4*r + 84 = 4*m - 9*m. Suppose 2*l + 65 - 6 = 5*a, r = a - 5*l. Is 12 equal to a?
False
Let b = 3.3 + -5.3. Is 0.12 > b?
True
Let b(g) = 4*g - 2. Let a be b(2). Suppose 2*l + 5*p = 22, 3*l + 16 = 7*l - 4*p. Does l = a?
True
Suppose 0 = -s + 11 - 0. Let x be 5/(5/2) + 8. Are s and x non-equal?
True
Suppose 2*c + 3*c = 0. Suppose -2*x - 2*m = 2*m - 10, 2*x = -5*m + 12. Do x and c have different values?
True
Let i = 0.1 + -0.4. Let f = i - -0.2. Let n = -0.6 + -0.4. Does n = f?
False
Let z = -8 + 8. Suppose z = 2*p - 5*w - 14, 0*p = -4*p + 3*w + 14. Let m = -3 - -2. Which is bigger: m or p?
p
Let c = -2.05 - -1.9. Which is bigger: -0.1 or c?
-0.1
Let v be (-6)/33*2/2. Let u = v - 12/55. Is -0.3 at most u?
False
Let t = -9.5 - -8.5. Let p = -74/129 - 4/43. Which is smaller: p or t?
t
Suppose 0*f - 1 = f + r, 4*f = -r - 7. Let x be (6/(-22))/(1/f). Is x at most as big as 0?
False
Let x = 0.19 - -7.81. Which is greater: x or -0.1?
x
Let l(s) = -s - 10. Let c be l(-12). Let v be (-2 - -2)/(-2) - 0. Let x be (0 - 1)*(v + -3). Which is greater: x or c?
x
Suppose -2*m - 3*l = -4*l - 12, -4*m - 5*l + 10 = 0. Let v = -13 - -19. Is v greater than m?
True
Let v be 2/(-3) - (-26)/12. Let a = -3.3 - -1.3. Which is greater: a or v?
v
Let c be (-1 + 0)*(2 - 2). Suppose 5*b = 3*i + 2*b - 12, 5*b + 4 = i. Which is smaller: c or i?
c
Let c = 23 - 114/5. Let z(a) = -9*a - 5. Let d be z(-2). Let v = -13 + d. Are v and c non-equal?
True
Let a be 8/(-44) + (-8)/22. Let d = 35/44 + a. Which is bigger: d or 1/3?
1/3
Let u be -3*70/(-42)*(-6)/10. Suppose -k = 4*s + 20, -4*s = 4*k - 0*s + 32. Which is bigger: k or u?
u
Suppose -3*z - 2 - 25 = 0. Let u = -5 - -7. Let i be (u + 0)/(-6)*z. Is 5 at least i?
True
Suppose -11*r = -12*r + 11. Is r equal to 11?
True
Let d(j) = j**3 - 3*j**2 - 5*j + 5. Let x be d(4). Let q = 1 - x. Let c be 8/28 + 20/(-28). Which is greater: q or c?
q
Suppose -9 + 0 = -3*j. Suppose -2*a + 4 = 2*c + 2*a, -j*a + 12 = -3*c. Suppose -4*n = -2*o + 2 - 22, -2*n + 6 = o. Is c > o?
False
Let b be (2/(-4)*-2)/3. Let i be 2*3/(-6) - -2. Do i and b have different values?
True
Let c = 5 - 9. Which is smaller: c or 1?
c
Let f = -32 - -31.9. Which is smaller: -0.46 or f?
-0.46
Let h be 2/11 - 161/(-385). Suppose n = -5*y + 2, -n -