 n**3 - 3*n**2 + n + 2. Let s be k(3). Suppose 3*g + 159 = -3*q - 0*q, -4*g = -s*q + 221. Let a be ((-4)/g)/(1/6). Is a equal to 1?
False
Suppose v = 4*v - 9, -v = o - 28. Which is smaller: 24 or o?
24
Let s(n) = n**2 - n - 4. Let b be s(3). Let t be (-52)/(-40)*5/b. Is 3 smaller than t?
True
Let k = 1.9 - 2.4. Which is smaller: k or -0.2?
k
Let g(s) = -4*s**2 - 2*s + 1. Let h be g(1). Let y = 2 + h. Which is smaller: y or -1?
y
Let f be (2 + -10)*2/52. Let t be 0*3*(-1)/(-6). Are t and f equal?
False
Let j = -19342/5 - -3882. Let p = j + -14. Let w = -2 + 3. Are w and p equal?
False
Suppose 24*v = 21*v + 252. Is 84 smaller than v?
False
Let m be ((-84)/10)/((-6)/(-20)). Let w be 5/(60/m) + 2. Is 9 less than or equal to w?
False
Let c(z) = z**2 + 4*z - 2. Let h be c(-4). Let i be (1 - 31/27)*(-63)/(-42). Which is smaller: i or h?
h
Let c be 18/12*(-8)/(-54). Which is smaller: 0 or c?
0
Let u = 919/23 - 40. Which is greater: 1 or u?
1
Let m be ((-2)/3)/((-4)/18). Suppose b + m*b = 4. Is 0 >= b?
False
Let t be (2 - 613/(-20)) + -2. Let s be (242/(-8))/(-4 - -3). Let x = t - s. Is x not equal to 1?
True
Let n = 1.1 - 0.3. Let i = 1.2 - n. Do 2/5 and i have the same value?
True
Let s be 0 - (-3)/1 - 4. Is 1/22 at most as big as s?
False
Let o(j) = j + 7. Let g be o(-8). Let w be g*(-185 - (0 - -2)). Let m = w - 932/5. Which is greater: m or 2?
2
Suppose i + 1 - 3 = 0. Suppose 0 = 4*v - d + i + 2, 5*d = v - 18. Let s(u) = -2*u**2 - 22*u - 1. Let a be s(-11). Which is bigger: v or a?
a
Suppose 0*c + 5*c = 110. Let y be 35/(-11) + 4/c. Is -5/3 less than or equal to y?
False
Suppose 4*s - 4 - 16 = 0. Suppose -3*x + 8*x = 5*f + 15, s*x = f - 1. Is x greater than or equal to -4?
True
Suppose 4*m = -m + 4*s - 30, 14 = -2*m + 2*s. Is m at most -3?
False
Let q = -0.009 + -0.301. Let p = q + 0.01. Are p and -4 nonequal?
True
Suppose -9 = -2*c - c. Let d(t) = -4*t + 2*t + t**2 + 0*t + t + 1. Let f be d(c). Is 6 equal to f?
False
Let k = -12.9 + 13. Is k at most -8?
False
Let o = 4 + -1. Let h be (2 - o)/(3 + -2). Which is greater: h or -1/2?
-1/2
Let u = -18/13 - -28/39. Let h be 6/(-2) - (1 - 1). Let b = 1 + h. Which is bigger: b or u?
u
Let f = -33 - -34. Which is smaller: -14 or f?
-14
Let w(b) = b**2 - 4*b - 4. Let p be 3 + 2*-2 + 1. Suppose p = -3*m - m + 20. Let o be w(m). Is o at least -0.2?
True
Let t be (18/4)/(39/(-4)). Suppose 0 = 5*w - 0*w. Are t and w nonequal?
True
Let m = -23 + 23. Suppose m = -4*z + 1 - 5. Which is bigger: z or -1/20?
-1/20
Let q(w) = w**2 - w. Let a be q(2). Suppose t - 5*u - 1 = 0, 0 = -3*t - 4*u - 7 - 9. Let o be ((-18)/(-12))/((-6)/t). Which is greater: a or o?
a
Suppose 2*i = x - 5 - 5, i + 10 = 3*x. Suppose -x*l = -7*l. Which is smaller: 1 or l?
l
Let w be (2 - 3)/(0 + 1). Let h(x) = x + 2. Let u be h(w). Suppose -5*y = -2*l - 11, y = 4*l - 3*l + 1. Is u <= l?
True
Let c(l) = l - 3. Let q be c(4). Let a be (-2)/(1/(1 + -2)). Suppose -4*z + 3 + q = -2*k, 5*z = 4*k + a. Which is smaller: z or -1?
-1
Suppose -3*y + 2 = -2*y. Let o(x) = -5 + x**y + 0*x + 10 - 5*x. Let m be o(5). Is m > 3?
True
Let a(q) = -q**3 + 5*q**2 - 5. Let r be a(5). Suppose 3*i = -2*o + 2, -2 = -0*i - 5*i - 2*o. Which is smaller: r or i?
r
Let a = -390 - -3115/8. Which is greater: 2 or a?
2
Let z = -5 - -5.1. Let y = -1.89 + -0.11. Which is smaller: y or z?
y
Let b = 148 - 350/3. Which is greater: b or 32?
32
Let b be 11/22*(5 - 1). Suppose -4*s = -b*o - 6, -o = -1 + 2. Let y be -2 + (-13)/25*-4. Is s > y?
True
Suppose -4 = -r, 3*i - r + 2*r = 22. Let n be (-12)/8*i/(-21). Which is smaller: n or -2/7?
-2/7
Suppose -5*v - 4*o = -30 - 50, -3*v + 2*o = -26. Which is smaller: v or 13?
v
Suppose 5*f - 2 + 7 = 0. Let h(g) = 14*g**2 + 11*g - 11. Let w(y) = 5*y**2 + 4*y - 4. Let o(c) = 4*h(c) - 11*w(c). Let n be o(f). Is 2 equal to n?
False
Let o(l) = l + 4. Let r be o(-7). Let m be r/(-4) - (-14)/(-16). Which is smaller: 1 or m?
m
Let n be 2/(-2)*(1 + 0). Suppose -k = -5*k + 8, 0 = -5*c + 3*k + 19. Let s be c/(-6)*(-3)/10. Which is smaller: n or s?
n
Let g = 2 + 14. Which is bigger: 17 or g?
17
Let g = 0 - 2. Let m = -0.32 + 0.45. Let w = m - 0.43. Are g and w equal?
False
Let o = -253/403 - -9/13. Which is bigger: 1 or o?
1
Let g = 24 + -25. Let k be (2/148)/((-2)/8). Is k at least g?
True
Let k = -146/621 + 4/27. Is -1 at most as big as k?
True
Let q(p) = -4*p - 18. Let k be q(3). Are k and -29 non-equal?
True
Let l = -0.4 + 0.6. Let z = 0 + l. Which is smaller: 3 or z?
z
Let c = 0 + 1. Let y be (3 + -3)/(3 - 0). Let b = c - y. Which is smaller: 0.3 or b?
0.3
Let s be 7 + (-8 - -4) - 1. Is -1 greater than or equal to s?
False
Let w = -1/453 + -7697/1812. Is w bigger than -5?
True
Let q = -0.3 - -8.3. Let t = 9 - q. Which is smaller: 0 or t?
0
Let m be (-3)/(-2)*136/(-51). Which is smaller: m or -5?
-5
Let j = 100 - 89. Which is greater: j or 0?
j
Let y be 3 + 1*(-7 + -2). Which is greater: y or -7?
y
Suppose 2 = -2*k + k + j, -5*k = -j + 10. Let t be k/3 + 1/(-3). Let b = 73/10 - 15/2. Is b at least t?
True
Let t = -0.07 + 1.07. Let w(g) = -g**3 + 6*g**2 + 7*g + 3. Let l be w(7). Suppose -l*h - 6 = -5*h. Are t and h non-equal?
True
Let f(y) = -3*y - 1. Let b be f(-1). Let q = 22 - 12. Let m = -12 + q. Are m and b unequal?
True
Suppose -5*s - 2 = 3. Let u = s + 1. Suppose 5*y + u*b = -2*b, y - 5*b = 0. Which is smaller: y or 1/6?
y
Let p be -2*-1*3/(-135). Which is bigger: p or 0?
0
Let b = 2 - 2. Let q = -1 - b. Let y = 3 + q. Do -0.1 and y have the same value?
False
Let d(z) = z - 1. Let w(k) = k + 1. Let j(r) = -d(r) + 2*w(r). Let q be j(-5). Is -3/5 at most q?
False
Let y = 6.72 - 5.7. Let s = y - 1.1. Which is smaller: -1 or s?
-1
Let f = 0 + 24. Which is bigger: f or -1?
f
Let l = -16 + 15.94. Let s = 0.2 - 0.2. Is l <= s?
True
Suppose 0*q - 5 = -q - 2*d, 0 = -3*q - d + 5. Suppose 4*c = -4*z - z + q, 19 = c - 5*z. Let k = -2 + 5. Which is bigger: k or c?
c
Suppose -3*v = -4*v - 3*u + 5, 4 = 3*v - 2*u. Let h be (v/8)/(28/(-32)). Which is bigger: -1.2 or h?
h
Suppose 3*i + 0*i = -2*i. Which is greater: -1/24 or i?
i
Let a be (-2)/10 + 54/(-30). Let o be (-6)/(-9)*18/(-32). Which is smaller: a or o?
a
Let g = 1 + -1.2. Let f = g - -0.5. Are -1 and f non-equal?
True
Let o = -4 + 6. Let r(b) = b**2 - 2*b + 3. Let a be r(o). Let d = -1 + a. Which is smaller: d or 0?
0
Let y = 644/9 + -72. Which is smaller: 1 or y?
y
Let v(c) = c**2 + 6*c + 1. Let t be v(-6). Is t < -1/4?
False
Suppose 67 = -4*v - 77. Let y be v/148*2/6. Let w = 22/185 - y. Which is smaller: -1 or w?
-1
Suppose -2*b + l + 4 = 0, 3*l = -b + 9 + 7. Let u = -6 + b. Is -2 greater than u?
False
Suppose 109 - 145 = 4*n. Which is smaller: -10 or n?
-10
Let g = -78 + 79. Which is bigger: -2/227 or g?
g
Let h = 27 - 121/5. Which is greater: h or 2?
h
Let g(v) = 4*v. Let w(a) = -5*a. Let b(s) = -6*g(s) - 5*w(s). Let z be b(0). Is z less than -1/9?
False
Let h(t) = 2520*t**3 + 2*t**2 - 2. Let x be h(-2). Let d = x - -8908135/442. Let l = -7/26 + d. Which is smaller: 1 or l?
l
Let a(w) = w**2 - 17*w - 27. Let r be a(20). Do r and 34 have the same value?
False
Suppose -2*o - 3*o + 15 = 0. Let q = 3 - o. Let b(r) = -r + 5. Let v be b(6). Is q not equal to v?
True
Let g(v) = v + 12. Let t be g(-9). Let o be (-20)/6 + 9/t. Is o smaller than 2/5?
True
Let z = 2 - -2. Suppose -5*p - 2 = -4*q - 5, z*q = -5*p - 13. Which is smaller: 0 or p?
p
Suppose -5*f = 4 + 6. Which is smaller: -5/4 or f?
f
Let t = 9 + -8. Suppose -4 = 3*d - t. Are 0 and d non-equal?
True
Let p(c) = 2*c - 18. Let o be p(10). Suppose -w = w + 3*m - 19, 4*w - 4*m + 12 = 0. Is o greater than w?
False
Let s be 5 + 2 - -2 - 2. Let w = 8 - s. Is w at least 1?
True
Let a = -0.08 + 0.08. Is 39 bigger than a?
True
Let q = 24 + -25. Is q > 2/47?
False
Let p = -3 - -3. Suppose 0 = 5*w - p*w - 5. Which is bigger: -1 or w?
w
Suppose g = 10 - 5. Suppose -2*k - u = -k + 11, 0 = k + 4*u + 23. Let j = k + g. Is -1 >= j?
True
Suppose -d - 3 = -4*d. Let g be -3 + (0 + 3)*d. Is g < 0?
False
Let c(g) = -g**3 + 4*g**2 - 4*g + 2. Let a be c(2). Suppose 6 = a*z + 4, 0 = 2*t - 5*z + 13. Do -3 and t have the same value?
False
Let s = -2 + 5. Let k(r) = -2*r**3 + 2*r + 1. Let d be k(-1). Is d > s?
False
Let n = -1991/45 - -182/15. Let u = -95/3 - n. Is u at leas