. Let l(k) = -k**3 + 5*k**2 + k + 2. Let y be l(5). Is m >= y?
True
Let p = -13.9 + -6.6. Let c = -20 - p. Which is smaller: c or -0.2?
-0.2
Let n be 3*(-3)/(-27) - (-128)/(-6). Is -22 >= n?
False
Suppose 0 = 71*f - 75*f. Suppose 2*g - 5*g + 3*y - 3 = 0, y - 2 = 2*g. Which is bigger: f or g?
f
Suppose 0 = 4*k + 11 - 15. Is 1/42 not equal to k?
True
Suppose -6 = -5*g - 4*c, -4*g + 8*g = c - 12. Let m(o) = o**3 - 5*o**2 - 6*o - 4. Let k be m(6). Let t = -7 - k. Which is smaller: t or g?
t
Let u = -56.4 - -56. Are -7/5 and u nonequal?
True
Suppose -3*k = -12, 0*h + 2*h - 5*k = -18. Is -2/7 > h?
False
Suppose -2*d = 3*d + 5. Let c = -3 - -6. Let g = 2 - c. Is g >= d?
True
Suppose -2*p - 21 = 5*p. Let q = 1 + -3. Is q >= p?
True
Let z = -24/7 + 134/35. Which is smaller: -1 or z?
-1
Let h be 70/(-5)*6/(-4). Is 21 less than h?
False
Let p = 2 - 0. Suppose 2*i - 8 = -2*i. Suppose 0 = -4*b + 4*v + 20, -3*v + i = 4*b + 2*v. Which is bigger: b or p?
b
Let q = -0.07 + -5.93. Is q bigger than -0.05?
False
Let k be (((-27)/(-132))/(-3))/((-4)/64). Let l = 6 - 5. Is k equal to l?
False
Let b = -7 - -17. Let g = -14 + b. Let z = -10 - g. Does z = -6?
True
Let x = 2 - 1. Let g be 1 + x + 2/(-3). Is 2 greater than or equal to g?
True
Let w = 5 + -3. Let a be 1 - (-2 + w) - -3. Suppose 4 = a*m - 4. Is 2 at least as big as m?
True
Let n(o) = o**2 + o + 6. Let p be n(0). Let z = 6 - p. Let g be ((-6)/(-4))/(-3) + 0. Which is bigger: z or g?
z
Let o = -886 - -554. Let f = o - -4314/13. Let u(k) = -k**3 - 5*k**2 + 5*k - 6. Let p be u(-6). Which is smaller: f or p?
f
Let d be (-12)/(-8)*(0 + -2). Let i be ((-2)/d)/(2/(-6)). Let t be (-1)/((-21)/(-9) + i). Is t at most as big as -3?
True
Let f = 7 + -15. Is f less than -9?
False
Let p = 34.96 + -35. Which is smaller: -0.3 or p?
-0.3
Let n(x) = -x**3 - 3*x**2 - 6*x - 5. Let j be n(-4). Let l be (-4)/10 + 42/j. Are l and 1 unequal?
True
Let h(i) = -7*i - 47. Let b be h(-6). Is 0 > b?
True
Let m(u) = u**2 + 5*u - 1. Let z be m(-6). Suppose -4*v = z*l + 2, 0*l + 6 = 2*v - l. Suppose -c + 8*y = 3*y, v*y = 3*c. Is -0.2 less than or equal to c?
True
Let k(c) = -c. Let a be k(-1). Let r = -37 + 34. Let y be ((-2)/3)/1*r. Is a > y?
False
Let r = 13 - 3. Let u = -9 + r. Let f = 49 - 540/11. Are f and u equal?
False
Suppose -s = -3*s - 8. Let w = -4 - s. Is -6 smaller than w?
True
Let o = 95 + -27. Let q be (1 + o/(-44))*-1. Which is smaller: q or 1?
q
Let b(m) = -6*m - 2. Let i be b(-3). Let h be (-12)/i + (-2)/8. Is -1/15 >= h?
True
Suppose 0 = o - 2*o. Suppose 5*t + o*k + 4*k = 21, -3*t = -k - 16. Suppose 0 = -5*l - 3*s - 8, -l - 3*l - s = t. Is 1/7 > l?
True
Let d be 12/(-8)*2*(-4)/(-30). Which is smaller: -6 or d?
-6
Let t be 5/(10/(-7))*2. Do t and -5 have the same value?
False
Suppose -3*j = -8*j. Suppose -l + 3*l - 4 = j. Let k be (3 - (0 - 1)) + -3. Which is greater: k or l?
l
Suppose 6*j = j + 15. Suppose -2*v - 4 = j*p - 8, -p - 2 = 4*v. Suppose 0 = -2*g + p*s + 2, -5*s + 5 = 10. Which is bigger: -1/4 or g?
g
Let i(p) = p - 4. Let k be i(4). Let w be -2 + k + 2 + 3. Suppose -6 = r + r - t, t - 1 = -w*r. Is -2 less than or equal to r?
True
Suppose 0 = -6*t + t - 105. Which is smaller: -20 or t?
t
Suppose 7 = 3*k + 2*f, k - 4 = -f - 0*f. Suppose -4*x = -26 - 34. Let h be 1 - 0 - x/10. Which is smaller: h or k?
k
Let b = -1.8 - -2. Let n = 0.2 + b. Let q = -0.5 + n. Is -3/8 < q?
True
Let w(q) = -q**2 + 14*q + 4. Let z be w(14). Suppose 4*b + z = -0. Which is smaller: -3/2 or b?
-3/2
Let z = 3.4 - 4.3. Which is smaller: -1 or z?
-1
Let k be 4/(-18) + (-77)/99. Let f = -64/3 + 21. Which is greater: k or f?
f
Suppose 0 = -3*u - 0*u - 3. Which is smaller: 6 or u?
u
Let u = 6 + -2. Let y = u - 5. Which is bigger: -2/21 or y?
-2/21
Let c = 15 + -11. Is 3 >= c?
False
Suppose -3*l = 4*p - 3*p - 11, 0 = 2*p - 5*l + 11. Let y = 2 + -2.2. Which is greater: y or p?
p
Let o(z) = z**3 + 2*z + 3. Let i be o(-2). Let t be 6*(-3)/(-12)*-6. Is t > i?
False
Let w = -12/19 - -43/38. Which is smaller: w or 3?
w
Let j = 2 - 0. Suppose 3*n - 15 = -j*n. Suppose -4*l - 1 = -n*l. Which is smaller: l or -2?
-2
Suppose 4*u = z - 8 - 2, 0 = u. Let c be 24/10 + z/(-25). Which is greater: c or 1?
c
Let j = 50.6 - 53. Do j and -2/5 have the same value?
False
Suppose 5*l = 7*l - 32. Let z be 3/(-2)*l/6. Which is greater: z or -5/2?
-5/2
Suppose 0*c + 3*c = 0. Let d(i) = i**3 - i**2 + i. Let p be d(c). Let s be 9/(-5) + (0 - -2). Which is smaller: p or s?
p
Suppose 0 = 5*y + 1 + 4. Which is smaller: -2/19 or y?
y
Let i(q) = -q**2 - 5*q - 2. Let h be i(-6). Let b(t) = -t**2 - t + 4. Let y be b(3). Are y and h nonequal?
False
Let l = 9 - 16. Let g = -7 - l. Which is smaller: 2/3 or g?
g
Let r = 144/17 + -1155/34. Which is smaller: -25 or r?
r
Suppose 0 = -i - q - 7, 3*i + 5 = 3*q + 2. Let d(o) = o**3 - 3*o**2 + o - 1. Let k be d(2). Which is greater: k or i?
k
Suppose -2 = -3*y - 11. Let c be 2/(-22)*y/6. Is -1 at least c?
False
Suppose -4*c + 45 = -9*c. Is -9 smaller than c?
False
Let t(c) = c**3 - 10*c**2 - 25*c + 17. Let l be t(12). Are l and -6 equal?
False
Suppose -4*t = 0, -3*i + 4*t = 6*t + 45. Are i and -14 non-equal?
True
Let d = -13.65 - -14. Let w = -0.05 - d. Let b = w - -0.5. Which is smaller: b or 1?
b
Let c = 5 - 4. Let v = -0.3 + -0.7. Let a = v + 2. Is c greater than a?
False
Let u = 0.2 + -0.8. Let i = 0.54 + -0.04. Let j = i + u. Which is smaller: 1 or j?
j
Suppose 0*d = -d + 3. Suppose -4*v + 7*m - 29 = 2*m, -2*v + 13 = d*m. Let w = -1975/13 - -152. Which is smaller: w or v?
v
Suppose 3*j + 3 = 6*j. Which is smaller: j or 2/43?
2/43
Let l be -2*1/(-4)*6. Suppose -2*q + 12 = 2*q. Is l greater than q?
False
Let d be 44/(-242) - 0/(-1). Let h(n) = n**2 - 3*n + 1. Let a be h(2). Which is bigger: d or a?
d
Let x = -25 + -209. Let t = 3273/14 + x. Which is smaller: 0 or t?
t
Let j = -3.1 + 3. Let t = -17/10 + 139/70. Which is bigger: t or j?
t
Let t(h) = -h - 3. Let i be t(-8). Let m = -4 + i. Let a be -2 - (-1 - m/(-1)). Are -1 and a unequal?
True
Let z = 28/99 - 2/33. Is z at least 3/5?
False
Let r be 1 + 0 + (-80)/4. Which is bigger: -20 or r?
r
Let t be 1 + (-3)/(-6)*6. Suppose 4*o = t*w, -5*w + o + 3*o = 0. Suppose -15 + 6 = v + 2*i, 0 = -2*v + 5*i + 27. Is w < v?
True
Let c(k) = -k - 4. Let v(n) = n**3 + 6*n**2 - 7*n - 3. Let z be v(-7). Let b be c(z). Let p(h) = 2*h**2. Let d be p(b). Is d < 2?
False
Suppose -1 = -2*n + 19. Suppose 6*z = z - n. Let k be z*(1 + 0) + 1. Is 0 greater than or equal to k?
True
Let k = -2227/23 + 97. Are k and 1 nonequal?
True
Let c(m) = m + 8. Let x be c(-6). Suppose x = -2*f - 0*f. Let l be (1 + 1)*(-5)/(-30). Does f = l?
False
Suppose 3*l + 4*b = -0*l + 2, -1 = l + 3*b. Let u be 5/l*(-24)/(-20). Suppose 3*i + u = -0. Which is greater: i or 1/5?
1/5
Let x(l) = -l**3 - 6*l**2 - 4*l + 4. Suppose 4*o + 4 = -4*q, -8 = -0*q - 2*q. Let m be x(o). Which is greater: -1/3 or m?
-1/3
Let h = -20 - -13. Do h and 0.08 have the same value?
False
Let g = 15 + -15. Let o be g/(((-4)/(-1))/4). Is o less than or equal to 0?
True
Let n = -82 + 736/9. Suppose 0 = -p - p. Is n >= p?
False
Suppose 2*u + 3*x = 1 + 5, u = -2*x + 3. Let l = -13 - -10. Let h = 5 + l. Are u and h equal?
False
Suppose -2*x - 15 = x + 3*h, -11 = -2*x + 5*h. Is x less than -17/5?
False
Let p be -1*(2 + -3 + 2). Let l be (0 - p - 2)/79. Let o = 241/316 + l. Is o at most as big as 1?
True
Let p = 11 - 23. Let f = p - -38/3. Which is greater: 2 or f?
2
Let j(d) = d**3 - 19*d**2 - 20*d + 16. Let g be j(20). Is g not equal to 15?
True
Let x = -28 + 29. Suppose 3*p = -y - 4*y - 1155, 5*y - 5*p + 1115 = 0. Let t be ((-3)/(-2))/(y/(-16)). Which is smaller: x or t?
t
Let i be (-2)/39*(-1)/2. Which is smaller: -1 or i?
-1
Suppose -k = -4, -2*w - 2*k + 18 = -k. Let r be (23/w - 2) + -1. Is r at most as big as 0?
False
Let t be (7 + -2)*14/(-35). Is -2 <= t?
True
Let p = -145 - -146. Let l be (2/(-10))/((-2)/6). Is p greater than or equal to l?
True
Let u be 2/1*(-2)/12. Let m be (-2934)/14 - (-2)/(-2). Let g = 211 + m. Which is greater: g or u?
g
Let h(z) = 5*z**2 - 2*z + 1. Let v be h(1). Suppose -r + 2*o = v, 2*r + o = -o + 4. Suppose 2*j + 0*j + 6 = r. Is j > -5/3?
False
Let v = -94 + 375/4. Is -0.05 greater than v?
True
Suppose 0 = 5*d - 13 - 2. Let p b