) = -v**3 + v**2 - v + 260. Let m be w(0). Which is smaller: 259 or m?
259
Suppose b - 4*u - 26 = 4*b, b + 22 = -4*u. Which is bigger: b or -9/7?
-9/7
Let n = -4 - -3.7. Suppose 0 = x + 3*x - 4*j - 8, 3*x - 27 = -4*j. Suppose -x*h + 7*h = -6. Which is bigger: h or n?
n
Let t = -19 + 93/5. Suppose 0 = -m - 4*l + 11, m + 2 = 4*l + 21. Let k be (-2)/(-5)*m/24. Which is smaller: k or t?
t
Let a(f) = -f**3 + 24*f**2 - 2*f + 46. Suppose -4*g = -u - 3*u - 116, 4*g - 121 = 5*u. Let n be a(g). Which is smaller: n or -20/9?
-20/9
Suppose 36*b - 222 = 33*b. Suppose b = -6*a + 8*a. Is 38 at most a?
False
Let o = 9/61 + -203/549. Let k = 96 - 866/9. Is o < k?
False
Let u(r) = r + 4. Let t = -3 - -9. Let s(n) = -n**3 + 6*n**2 + 2*n - 9. Let a be s(t). Let b be u(a). Is 6 bigger than b?
False
Let n = -1.291 + -10.289. Let f = -11.4 - n. Is 1/4 equal to f?
False
Let z = -19 - 11. Let a = 23 + z. Which is bigger: a or -1?
-1
Let g = 10108 - 30632/3. Which is greater: -104 or g?
g
Let u be (12/(-9))/(2 + 100/(-12)). Let t = u - -29/133. Are -1 and t non-equal?
True
Suppose 45 = 4*f + 1. Suppose -67 = 4*b + 5*p - 132, -3*b + 5 = -5*p. Which is smaller: f or b?
b
Suppose -3*j - 44 = -5*d, -25*d + 23*d - 4*j + 2 = 0. Which is smaller: d or 4?
4
Let c(l) = -l**3 - 4*l**2 + 5*l + 3. Let p be c(-5). Let y = 6050 + -6056. Is y != p?
True
Let a(w) = -w**3 + 5*w**2 + w + 6. Let p be a(5). Let j(c) be the second derivative of -c**3/2 + 41*c**2/2 - 11*c. Let y be j(14). Is p at least as big as y?
True
Let u(p) = 7*p - 78. Let k be u(11). Let a = -1 - 3. Let b(h) = h**3 + 5*h**2 + 4*h - 1. Let n be b(a). Is n less than or equal to k?
True
Let b be ((-12)/60)/(2/(-394)). Let l = b - 2187/55. Which is bigger: l or 1?
1
Suppose 5*j = -2*p + 10, 9 = 5*p - 5*j + 19. Which is greater: -2/513 or p?
p
Suppose 13*k = 3*k. Let i be ((-12)/(-10) + -1)/(-3). Which is smaller: i or k?
i
Suppose -245 - 1350 = -5*f. Let r = f + -5425/17. Is 4 at least r?
True
Let q = -0.045 - -0.435. Let k = 0.157 + 0.033. Let n = k - q. Which is bigger: -0.7 or n?
n
Let o be 58 + (0/(-2))/5. Let w = -233/4 + o. Which is smaller: -0.038 or w?
w
Suppose -17 = -0*f + f. Let j = f - -19. Suppose -j*g + 11 = 4*z + 53, 2*z = 2*g - 12. Which is bigger: -8 or z?
-8
Let i = 2233 + -4491/2. Which is smaller: -12 or i?
i
Suppose -6*n + 7 = -5*n. Suppose 5*a - 32 = -n. Which is smaller: 11 or a?
a
Let v = 4727/17 - 278. Which is smaller: v or 4?
v
Let b = -0.3 - -0.1. Let v(q) = -5*q + 2. Let d(t) = 5*t - 1. Let m(p) = 5*d(p) + 4*v(p). Let r be m(1). Which is smaller: r or b?
b
Let h(i) = 5 - 4 + 2*i - 2. Let d(j) = -2*j**2 - 12*j - 14. Let t be d(-4). Let k be h(t). Is k at least as big as 4?
False
Let x be 1*-10*4/32 + -2. Which is greater: 1 or x?
1
Let w be (-66)/8 - (-2)/8. Let q = -72 + 108. Let c be 4/((-16)/q) + (-4)/(-2). Is w at least c?
False
Let d(g) = g**2 + 3*g - 2. Let v be d(1). Suppose v*a + 20 = -3*a. Let r be (-132)/45 - (-2)/(-5). Which is greater: r or a?
r
Let a = 7 + -6.8. Let b = -803 - -3273/4. Let p = b - 15. Is p bigger than a?
True
Let n be (-320)/(36/354*7/(-3)). Let t = n - 1354. Is -5 <= t?
False
Suppose t + 10 = -4*t. Let r be ((-3)/t)/((-1230)/(-8)). Is 0 > r?
False
Let u = 3 + -2. Let i = -53/126 + 169/252. Which is smaller: i or u?
i
Suppose 0 = -2*o - 2*q + 80, -5 = -2*q - 3. Let t be (4/20 - 0)*(-5)/o. Is t not equal to 2?
True
Let v be 1 + 1/(-2)*-30. Let n = -16 + v. Is -6/11 bigger than n?
False
Let n(w) = -w + 3. Suppose 7*u = 2 + 26. Let x be n(u). Suppose 5*g - 2*k + 1 = -0, -4*k = 3*g + 11. Is g <= x?
True
Let z(x) = -x**3 + 11*x**2 + 3*x - 13. Let i be z(11). Let w be i/25*5/2. Suppose -w*a - 10 = 2*f, -5*a = 5*f - 2*a + 17. Which is smaller: f or 1?
f
Suppose 0 = l + 3*r + 271, 30*l + 5*r = 31*l + 295. Is -281 less than or equal to l?
True
Suppose 0 = -n + 3*n - 10. Suppose c + m = -1, 3*c + n*m + 6 = -7. Suppose 0 = -c*v - d + 2, 3*d + 3 = -2*v - v. Which is smaller: 3/13 or v?
3/13
Let v be (-616)/1960 - ((-6)/10 - -1). Let o(h) = -h**3 - 5*h**2 - h - 6. Let d be o(-5). Is d > v?
False
Let f = 4.4 - 4.415. Let c = 0.985 - f. Do -12 and c have different values?
True
Let f be (-1 - 0)*(4 + -1). Let o(y) = 3*y**2 + 2*y - 2. Let w be o(1). Let s be -2 - 9/w - f. Which is smaller: s or 0?
s
Let i = -0.02 + -2.98. Let l = 8.1 - 12.1. Let q = i - l. Which is greater: q or 2?
2
Suppose 0 = 3*n + z - 3, z + 15 = 5*n + 2. Suppose -p - p - 8 = n*i, -10 = -2*p + 4*i. Which is smaller: -27/11 or p?
-27/11
Let s = -1759/812 - -165/58. Which is smaller: 0 or s?
0
Let m(h) = -2*h**2 - 2*h - 2. Let v be m(-2). Suppose 3*p = -2*p + 225. Let u = p - 51. Are v and u equal?
True
Suppose -173*v = -185*v - 4776. Which is bigger: v or -400?
v
Let u = 5 + -3. Let k = 829/6 + -137. Which is smaller: k or u?
k
Suppose -2*c + 2*l = -2, 0 = -5*l + 7 - 2. Let k be -2 + c + (-1 - 0). Let w be 3/(k*(-2 + 1)). Are w and 2 non-equal?
True
Let r be -2 + ((-2)/6 - 13195/87). Is r at least -153?
False
Suppose 2*u = -3*o + 25, -2*o - 2*u + 24 = 4. Suppose -3*y - 4 = v - o, v - y = 13. Which is smaller: 0 or v?
0
Let k = -578/7 + 83. Let s(l) = l**3 - 4*l**2 + 4. Let w be s(4). Suppose -25 = -5*d, -2*v + w*d = v + 20. Are k and v equal?
False
Let g(o) = 2*o - 8. Let v be g(5). Let w be (-1)/(v/2 + 0). Suppose -2*p - 26 = -j - 4*j, -j = -p - 7. Which is greater: w or p?
w
Let z(j) = -2*j**3 + 15*j**2 - 10*j - 9. Let d be z(6). Is -0.11 at most d?
True
Let f be 24/14 + (-2)/(-7). Let x(u) = -u + 0*u**2 + u**f - 13 + 8*u**2 + u**3. Let r be x(-9). Do -13/3 and r have the same value?
False
Let f = -202/5 - -40. Are f and -7 nonequal?
True
Let w = 273.9 - -43.1. Which is smaller: w or -0.1?
-0.1
Let k be (-390)/3*(10 + -9). Which is greater: 1 or k?
1
Suppose 3*h = 4*p + 24, h + 3 = -3*p - 2. Suppose -z + 5*k = 27, -h*k + 16 + 4 = 0. Let o = 0.1 + 0.1. Is z bigger than o?
False
Suppose 0 = -3*a - 5*u - 1001, u + 1009 = -0*a - 3*a. Is -2 smaller than a?
False
Let y = -95 - -48. Let a = -47.2 - y. Which is smaller: -7 or a?
-7
Let v(y) = -y**3 + 4*y**2 + 6*y + 6. Let k be v(6). Let i be (2/(-5))/((-24)/k)*-2. Let t = 1/45 + -23/225. Is i > t?
True
Let c = -8 + 13. Suppose 54 = -10*a + 4*a. Let k = c + a. Is k > -5?
True
Let h be (5 + (-184)/36)*-6. Which is bigger: -92 or h?
h
Let y(h) = 5*h**2 - 3*h. Let m be y(4). Let a be m/(-252) - (-4 - (-60)/14). Which is bigger: a or 1?
1
Let f = 4.791 - -1.209. Are f and 215 unequal?
True
Let n(v) = -211*v + 4. Let a be n(2). Let s = 33860/81 + a. Is s at most 0?
False
Suppose 18*g + 48 = 19*g. Which is smaller: 51 or g?
g
Let l = 3155 - 2956. Which is smaller: 191 or l?
191
Let b = 59 - 117. Let y = -92.4 - b. Let r = y - -34. Is 0 >= r?
True
Let v = -0.92 + 21.92. Is 0.05 at least v?
False
Let f be -1*(-1)/(-1)*(-157 + -4). Let y = f - 647/4. Which is smaller: y or -2?
-2
Suppose 0 = -b - 2*c + 6, 4*b = 5*b - 2*c - 18. Suppose 10 = 2*s - 18. Let w = s - b. Is w greater than 3?
False
Let k(c) = 14*c**3 - 1. Let h be k(-1). Let b(n) = n**2 + 16*n + 12. Let a be b(h). Let i be a/2 + (-17)/(-14). Which is smaller: i or 1?
i
Let g(q) = q**3 + 15*q**2 + 11*q - 17. Let k be g(-13). Which is greater: k or 180?
180
Let b = 72 - 70. Let p = 2615104/17269 + -12/2467. Let r = 152 - p. Which is greater: b or r?
b
Let q be 241 - (-5 - -3)*(-15)/(-10). Are 244 and q nonequal?
False
Let o(j) = -j**3 - 6*j**2 - 4*j + 7. Let w be (-18)/9*10/4. Let z be o(w). Do z and 6/7 have the same value?
False
Let u be 21/5 + (-24)/120. Suppose -3*o - 6*q = -11*q - 25, -5 = u*o + q. Is -3/4 != o?
True
Let v be ((-3)/(-2))/((-3)/(-32)). Let t be -7*((-108)/(-35))/((-26)/65). Let j = t - 38. Is j less than v?
False
Let d = -10/221 - -1072/13923. Which is greater: d or 1?
1
Let b = 64/5 + -1109/30. Which is smaller: b or -25?
-25
Let j = 10102 - 50836/5. Is 0.1 equal to j?
False
Suppose 0 = 2*u + 10, 2*u + u = -5*b + 45. Let q be (b/60)/((-2)/(-10)). Is q less than 5?
True
Suppose 0 = 3*z - 9, 0*z - 2*z - 9 = -3*g. Suppose -2*y + g*v - 83 = -14, 166 = -3*y - 5*v. Is y less than or equal to -46?
True
Let p be 10/(-46)*64/20. Let y = -289/184 - p. Which is bigger: y or -1?
y
Suppose -13*i + 8*i = 10. Let y = 20 - 22. Is i less than y?
False
Let u = -29 - -55. Let q be 7 + 612/(-80) - (-1)/4. Which is