**3 - 9*u**2 + 21*u + 4. Let y be q(-11). Suppose 5*n = t - 0 + y, n = 4*t + 3. Which is smaller: x or t?
t
Let j be (2/(-19))/((-11)/22). Let h(q) = -q**3 - 4*q**2 + 1. Let x be h(-4). Which is greater: j or x?
x
Let a = -6.8 + 6. Let t = 15.8 - 14. Let u = a + t. Is u greater than -1?
True
Suppose 299 = 3*s + 5*a, -5*s + 0*a - 2*a = -492. Is 96 at most as big as s?
True
Let n be (-10)/4*5/25. Let u(f) = f**2 - 2*f + 1. Let l be u(2). Suppose l = 4*z - 7. Which is smaller: z or n?
n
Let u = -0.121 - -1.121. Is u at least 0.054?
True
Let k(u) = u**3 + 7*u**2 - 12*u - 59. Let i be k(-8). Which is bigger: i or -83/3?
i
Let c(u) = u**2 - 7*u + 1. Let k be c(6). Let r = -7 - k. Let j be (5 + r)/((-54)/(-12)). Which is greater: j or 2?
2
Suppose -6*k = -7*k + 19. Let r = k - 43. Let w be -4 + r/(-4) + -8. Which is smaller: w or -8?
-8
Let b = 1 - -1. Let f be 2*(2 - (-5 - 22/(-4))). Suppose -b*x - 11 = -0*x + 5*h, 3*x = -f*h - 3. Is 2/13 greater than x?
False
Let p = -1632 + 426. Let f = p + 3511/3. Let k = 37 + f. Is 1 not equal to k?
True
Let l = -107 - -98.4. Let t = l - -6.6. Is t at most 1.1?
True
Let d = 0.4 + 0.6. Let t = -214.7 - -216. Which is smaller: t or d?
d
Suppose -5*f + 5*n + 200 = 0, n - 3 = -6. Let v = -36 + f. Let x = 570 - 6266/11. Do v and x have the same value?
False
Suppose 6 = -6*c + 9*c. Let y be (0 + -1 - c)*22. Are -65 and y equal?
False
Let l be 67/(-10)*1 + -1 + 4. Which is greater: -3 or l?
-3
Let m be (38/(-3))/(13/(78/4)). Is m at most as big as -17?
True
Let g = -221.1 - -208. Let r = g + 13. Which is greater: -0.8 or r?
r
Let h be (4/(-6))/(3/(-2)). Suppose 8*k = 14*k. Which is smaller: k or h?
k
Let c(z) = -z**3 - 13*z**2 - 2. Let a = 17 + -30. Let q be c(a). Which is bigger: q or 0.1?
0.1
Suppose 4 = -4*f - d - 9, 1 = -d. Let h = 6 + f. Let y(g) = g**2 + 2*g + 2. Let n be y(-2). Which is smaller: n or h?
n
Let c(f) = 5*f + 3*f - 12*f - f**3 + 10 + 10*f**2 - 6*f. Let u be c(9). Let n be (((-2)/14)/(-1))/u. Is 1 at least as big as n?
True
Let s = 22983 - 4366747/190. Let m = s - -3/38. Suppose -82*k + 79*k = 3. Which is greater: m or k?
m
Suppose 0 = -4*k + 3*k - 4*n - 36, -3*n + 8 = -k. Suppose -u + 21*u + 340 = 0. Is u at most k?
False
Let v = -1237/8 + 155. Let g(h) = -h**2 - 11*h - 21. Let n be g(-4). Let a be (273/12)/n + -3. Which is bigger: v or a?
v
Suppose 8 = -2*t + 3*y - 5, 15 = 5*y. Let x be (-24)/63 + t/7. Which is greater: x or -3?
x
Let v be (-232)/24 + 2/3. Let x be 2/2*(10 + v). Which is bigger: x or 2?
2
Let h(r) = r**3 + 9*r**2 - 11*r - 8. Let n be h(-10). Suppose 1 - 46 = 3*b + 4*z, n*b + z + 35 = 0. Is -20 equal to b?
False
Suppose 0*y - 2*a = 2*y - 50, -85 = -4*y + a. Let i(h) = 24*h**2 - 1. Let r be i(-1). Does r = y?
False
Let x be 247/26 - (-3)/(1 + 5). Suppose 42 = -5*l + t, -22 = 2*l + 2*l + 5*t. Let m = l - -19. Is m at most x?
False
Let b = -1.0313 + 0.0313. Which is greater: b or -1/50?
-1/50
Let t be (-7)/(-14) + 3/2. Suppose -4*d = -g + 236, 4*d - g + 2*g + 244 = 0. Let i be (-87)/d - 4/16. Which is bigger: t or i?
t
Let w = 224527/84 + -2673. Do 0 and w have the same value?
False
Let y = 247 + -229. Let c = 1.4 - 0.7. Let a = -0.6 + c. Which is bigger: a or y?
y
Let x be 3/12 - (-1)/(-4). Let n be (6 - 4)/(2 + x). Which is smaller: 4 or n?
n
Let t = -77137/230 + 216/115. Let a = t - -346. Is a bigger than 14?
False
Let g = -8349 - -14201647/1701. Which is smaller: 0 or g?
g
Let w(i) = 17*i**2 + i - 3. Let d be w(-1). Is 8 not equal to d?
True
Let t = -1 - -0.5. Let u = t + 0.6. Let h = 437/7 + -62. Is u at least as big as h?
False
Let u = -1/1143 - -113/127. Let k be (-2)/(-30) - (-10)/(-150). Is k != u?
True
Let z = -9.07 - -8.32. Is z less than -1?
False
Let n = 553 + -554. Which is smaller: n or -9/59?
n
Let v = -87250/93 - -938. Are v and -1 nonequal?
True
Let d = 11 + 8. Let y = d + -20.7. Let z = y + 3.7. Which is bigger: z or -1?
z
Let i = 6 - 5. Let f(x) = -17*x**2 + 2*x - 2. Let q be f(i). Is q greater than -19?
True
Let q(r) = r**3 - 9. Let g be q(0). Let j be ((-3)/(-6) - (-24)/24)*-6. Is j at least g?
True
Let x(t) = t**3 + 4*t**2 - 2*t + 9. Let f(i) = -2*i**3 - 8*i**2 + 3*i - 19. Let d(v) = -2*f(v) - 5*x(v). Let c be d(-5). Is -11/5 >= c?
False
Let i be ((-2)/5)/(8/(-20)). Let w be 1 + (i - 4 - -25). Is 22 greater than w?
False
Let n(s) = s + 4. Let b be n(0). Which is greater: b or -21?
b
Let t(x) = -x + 12. Let h be t(-7). Is 19 != h?
False
Let q(u) be the second derivative of u**4/12 - u**3/2 - 7*u**2/2 + 11*u. Let i be q(5). Suppose f - 4 = 2*t - i, f - 1 = t. Is f at least -1/23?
True
Let y = 324 + -321. Suppose -3*m = -m. Let c be 4 + -2 - (-1 - m). Is c bigger than y?
False
Let s be (-2)/(-12) - 61126/65. Let r = s - -5945/6. Let c = r + -51. Is -1 greater than c?
False
Let f = -5 + 5.3. Let c = f - 2.3. Let b = -1.965 + -0.035. Is b greater than c?
False
Let s = 707 + -707.2. Let r = -11.3 - 0.7. Which is greater: r or s?
s
Let q be (-2)/(0 + -1)*1/3. Are 86 and q equal?
False
Let w(b) = -b**3 - 3*b**2 - b + 2. Let o be w(-2). Let q be (10*10/25)/(4/18). Let r(l) = -l**3 + 17*l**2 + 18*l - 1. Let j be r(q). Are j and o equal?
False
Suppose -586 = -8*d - 194. Suppose -8 - d = 3*g. Which is bigger: g or -18?
-18
Let i = -2425/1116 + 73/36. Which is smaller: -1 or i?
-1
Let s(z) = -z + 7 + 7*z - 8*z. Suppose 4*y - 5 = 3*y. Let h be s(y). Which is smaller: 2 or h?
h
Let n be 3794/28 + (1 - (2 - 4)). Is n > 138?
True
Let z = 5.4 - 7.01. Let j = 2/11 + 3/44. Which is smaller: z or j?
z
Suppose -5 + 25 = 5*p + 5*x, 0 = -5*p + 4*x + 11. Suppose s = 2*f - 6, 0 = -5*f - 5*s - p - 12. Let h be f/(-2) + 90/(-20). Is h >= -1?
False
Let a = 12 + -12.05. Let r = 10.4 + -4.4. Is a != r?
True
Let c(j) be the second derivative of j**5/20 + 3*j**4/4 + 8*j**3/3 + 11*j**2/2 + 2*j - 20. Let p be c(-6). Which is smaller: p or 22?
22
Let d be (-1 + -8 - -1)*-1. Suppose -3*p + 2*g + 47 = 0, 12 = 2*p + 5*g + 6. Is p less than d?
False
Let q = -3 + 5. Let w be 118/(-5) - q/5. Suppose -269 - 163 = 18*m. Is w smaller than m?
False
Let d = 5333/2 - 2614. Is 54 < d?
False
Let h = -933 + 676. Which is greater: h or -258?
h
Let o = 352.9 + -353. Are 0.004 and o unequal?
True
Let w = 2269 - 2254. Are -14 and w non-equal?
True
Let p = -13 + 12.83. Is p at least as big as 1/2?
False
Let d = 1731 - 1929. Which is smaller: d or -196?
d
Let t = -724 + 767. Is t > 43?
False
Let l be 1*(-9)/15 - 4/10. Let v be -48 - (5/l + 5). Is -48 < v?
False
Let y = 14 + -11. Suppose -y*o - z = 152, 4*z = 1 + 3. Let t be 6/45 - o/(-45). Do t and -1/6 have the same value?
False
Suppose -5*z + 3*t - 132 = 0, 0*z - 58 = 2*z + 4*t. Let a be (-1)/5 - (-4 - 912/(-15)). Let u = -83 - a. Which is bigger: z or u?
u
Suppose 342*b + 2 = 344*b. Which is smaller: b or -3/457?
-3/457
Let m = 9 - 8.92. Let l = m - -0.92. Let g = 233 + -2095/9. Is l <= g?
False
Let f = 2/14865 - -109004/44595. Let t = -1 + 2. Is t equal to f?
False
Let k be (-42)/(0 - (-1)/1). Let f be 4/8 + k/100. Suppose -y + 5*z - 5 = 0, 3*y - 5*z + 5 = -0*y. Which is bigger: y or f?
f
Let c(a) = -a**2 + 8*a + 51. Let g be c(12). Let v = -4/179 - -1802/537. Is g not equal to v?
True
Let l(o) = -o**3 - 8*o**2 - 9*o + 32. Let z be l(-5). Which is smaller: -3 or z?
-3
Let y be 9/(-6) - (-2 - 20690/20). Is y >= 1035?
True
Let t(y) = 121*y**2 - 1. Let c be t(-1). Suppose -2*z + c = z - 5*j, j = 5*z - 178. Let r be (z/63)/(10/12). Is r smaller than 0?
False
Let s = 28.475 - 0.475. Are s and 33 non-equal?
True
Let b be 0/(-2)*5/(-10). Let k(f) = -f**3 - 11*f**2 - 9*f - 10. Let u be k(-9). Let d be 14/u*6/(-4). Which is greater: d or b?
d
Let j be 6/(-93) - (-467)/31. Which is greater: j or 3?
j
Let u be -1*3/(-6)*-94. Let b = u + 26. Let k be (-54)/b - (2 + -1). Is k < 2?
True
Let d be 15/(-99) - 4/22. Let z = 0.045 - 0.145. Does d = z?
False
Let y = 3.1 + -3.08. Let g = -0.08 - y. Is g at most 6/7?
True
Let l(x) = 2*x + 1. Let o be l(0). Let g be o + (80/(-15))/1. Is g < -5?
False
Let v be ((-12)/36)/((-4)/(-6)). Which is smaller: v or 14?
v
Let q = 0.92 + -0.92. Which is bigger: q or 0.03?
0.03
Let x = 2688 + -34928/13. Which is bigger: -12 or x?
x
Let v = 58/5 - 12. Let s = -5.7 - -5.69. Which is bigger: v or s?
s
Suppose 151 = -5*r - v, 3*r + 3*v = -2*r - 143.