(32/20). Let i(a) be the first derivative of a**4/4 - 4*a**3/3 + 3*a**2/2 - 2*a - 2. Let y be i(3). Which is bigger: x or y?
x
Let v be (-16)/(-40) + 1839/15 + 3. Suppose 4 = -4*u, v = 4*c + 4*u + 10. Which is smaller: c or 25?
25
Let s be (-605)/210 + 10/(-12). Let h be (-3)/(60/16 - (1 - -2)). Which is smaller: h or s?
h
Suppose 13*s - 15*s - 40 = 0. Let i(t) = 20*t**2 + 13*t**3 + 5*t**3 - 3 - 17*t**3 + 3*t - 2*t. Let b be i(s). Is -23 greater than or equal to b?
True
Suppose 0 = -u + 3*m - 15, 25 = -2*u + m + 4*m. Let h be (-6205)/(-876) + -8 + 0. Are u and h non-equal?
True
Let r(c) = -c**3 - 2*c**2 - 3*c + 9. Let l be r(-6). Let s = -324 + 494. Which is greater: l or s?
l
Let i be (-5)/(-3) - (-1225)/(-525). Suppose 0 = -4*l - 12, 0*j - 3*j = 5*l - 3. Suppose 0 = z - 3*p + 9, p + p = 3*z + j. Is z smaller than i?
False
Let d = 4017.2 + 5631.8. Is d < -1?
False
Suppose 4*a - 2*r = 1902, -2 = r - 7. Let p = a + -1436/3. Is 3 < p?
False
Let j = 253 - -1288. Is 1540 less than or equal to j?
True
Suppose -3*t = 5*u + 29912, -u = t - 0*t + 9972. Let o be ((t/(-124))/(-1))/(-20 - -18). Let i = -161/4 + o. Is -1 less than i?
True
Let i = 25.1 - 23.93. Let n = -4.83 - i. Which is greater: n or 0.12?
0.12
Let t = -1626 + 1616. Suppose j - l = -12, -3*l = 5*j + 64 - 4. Which is bigger: t or j?
t
Suppose 5*v + 23 = -n - 2, 5*n = -4*v - 20. Let x be ((-2 - -5) + v)*3/(-6). Which is smaller: 8/5 or x?
x
Let d be 724/(-3) + 6/(-9) + -1. Let u = 244 + d. Which is greater: 2/59 or u?
u
Suppose 5*f - 8 - 2 = 0. Let g be (-2)/3 - f/6. Let p be (-3 - 86/(-12)) + -3 + -1. Which is smaller: g or p?
g
Suppose -105*q - j = -100*q - 12834, 3*j = 4*q - 10252. Is 2568 smaller than q?
False
Let d be (-287)/(-123) + 3/(27/6) + -5. Let l(w) = 2*w**2 + 3*w - 3. Let o be l(-3). Which is smaller: o or d?
d
Let y be (-32849)/101310 + (-2)/(-33). Which is greater: -1 or y?
y
Let o be (1 - (-165)/45) + (-10)/(-2)*-1. Is 0.11823 greater than or equal to o?
True
Let a = -672 + 943. Let m = a - 126. Is m at most as big as -1?
False
Let n = 18 + -21. Let r = n + 0. Let v be r - (-2 + 13/(-7)). Which is smaller: v or -0.1?
-0.1
Let z = -0.5 - -0.1. Let f = -2.145 - -2.285. Which is smaller: f or z?
z
Suppose 2*y - 2*q + 2 = 3*y, -4*y + 15 = q. Suppose -y*r - 13 = -5*h, 0 = 4*h - r - 1 - 5. Which is smaller: -3/7 or h?
-3/7
Let j = -33.9 - -66.8. Let a = -33 + j. Let q(i) = -i**2 + i + 21. Let l be q(0). Is l bigger than a?
True
Let b = 52406720598/128962962737557 - 225756974851503119988511/3391413540750887679932320. Let a = b - 3/198124790. Let i = a - -1/608. Is i <= 0?
True
Let q = 16920 + -16774. Which is smaller: q or -16?
-16
Let j(s) = 41*s + 14. Let w be j(-4). Let h = w - -201. Is 48 bigger than h?
False
Suppose 4 = -2*z, 5*h + z - 110 - 333 = 0. Let v = -137 - -142. Suppose 0 = 4*x + 4*c - 364, 0 = 2*x + c - v*c - 170. Is h less than x?
False
Let v = 1376 - -1213. Let y = -75073/29 + v. Is y < 0?
False
Let s(q) = 84*q - 1346. Let c be s(3). Which is smaller: c or -1099?
-1099
Suppose -4*d = 5*r + 76, 0 = -6*r + 3*r - 12. Let g be ((-50)/84)/1 + d/(-21). Which is smaller: -0.7 or g?
-0.7
Let x be (-3 + 1)*(-57)/114. Which is smaller: 28/241 or x?
28/241
Let q = -46/81 - -1738/5913. Which is smaller: 0 or q?
q
Suppose 3*l + 2*f = -614, 2*f - 1 = -9. Let k = l - -176. Which is smaller: -0.9 or k?
k
Let a = 95 - 174. Suppose -3*s + 10 = -2, -3*j - 209 = 7*s. Are j and a non-equal?
False
Let s = 12165 + -12164. Which is greater: 0.5543 or s?
s
Let c = 6625 + -6685. Is c bigger than -111?
True
Suppose 0 = -9*a + 3*p - 7893, -16*p = -4*a - 19*p - 3495. Which is smaller: -863 or a?
a
Let a = -192 + 373/2. Let i(t) = t**2 - 23. Let x be i(7). Suppose 0 = -5*b - 9 - x. Which is bigger: a or b?
a
Let h be (10/9)/(63/27). Which is greater: h or 41?
41
Let o = -16.375 + 16.3. Let p = -198 + 198.1. Which is smaller: o or p?
o
Let h(c) = 8*c**2 - 6*c + 3. Let x(u) = 9*u**2 - 9*u + 2. Let k(d) = 7*h(d) - 6*x(d). Let s be k(-3). Is -5 not equal to s?
True
Let v = 1521 - 1049. Let d = v - 472.06. Is -0.01 greater than d?
True
Let i = 18 - 5. Let z be 198/693 + (-194)/(-7). Let f = i - z. Is f at most -1?
True
Let p = -372 - -336. Let a = p - -36. Which is smaller: a or 0.32?
a
Suppose -6*d - 7*m + 9*m = 3228, -3*d + 4*m = 1596. Is d less than or equal to -546?
False
Suppose -2*k - 52 = -0*v + 4*v, 4*k = 5*v + 78. Let z = -22425.4 - -22423. Which is bigger: z or v?
z
Let a be (696/14)/(-1) + 2/(-7). Let u = -48 - a. Suppose 0 = 2*x - 6*x + 2*s - 28, -u*x - 30 = 3*s. Is x bigger than -4?
False
Let x = -4.7 + 0.7. Let g = 17.306 - 18.306. Do x and g have different values?
True
Let o be (-1725)/529 + 42/14. Is o at most 81?
True
Let i = 4 - 38. Let j = i - -32. Let q be j/4 + 70/4. Which is smaller: q or -2?
-2
Let t be (-1 + -3)*((-39)/12 + 2). Suppose -3*d + t*d + 14 = 0. Let u be (-1)/((d/(-4))/(-7)). Which is bigger: 8/3 or u?
u
Let d(j) = -j - 4. Let t be d(-12). Suppose 2*v - 13 = v. Suppose -5*i + 4*z + v = -44, -4*i - 2*z + 30 = 0. Is t greater than or equal to i?
False
Let r(v) = -67*v + 4553. Let w be r(68). Which is greater: 1491 or w?
1491
Let g be -14 - (-11832)/595 - 18/3. Let o(u) = -u**3 - 7*u**2 - 6*u - 1. Let w be o(-6). Is g != w?
True
Let j = 407 - 573. Let u = -156 - j. Is u less than or equal to -3?
False
Suppose -3*d - 31 = -5*k - 9, 2*k - 5*d = 24. Suppose -5*u = -3*y + 193, 4*u + 4*y = 5*u + 25. Let t = 125/3 + u. Which is smaller: t or k?
t
Let f = 2428/3409 - -1/487. Which is bigger: f or -86?
f
Let t = -34173/12611360 + -3/23840. Which is greater: 0 or t?
0
Let p(w) be the first derivative of w**4/8 + 13*w**3/3 - 19*w**2/2 + 10. Let q(r) be the second derivative of p(r). Let s be q(-8). Which is smaller: s or 6?
s
Let g = -588565/2464 + 1672/7. Let v = 886227311/1056 - 3356913/4. Let q = g - v. Which is greater: q or -2?
-2
Suppose 5*w + 0*u + 3*u + 7 = 0, 3*u + 3 = -3*w. Let n be w*5/(-20)*26. Is n != 12?
True
Let x = -4189 + 3879. Is x greater than 10?
False
Let w(s) = s**3 - 7*s**2 - 8*s + 8. Let k(m) = -2*m**2 + 11*m + 2. Let n be k(-3). Let v be 5 + 3/(-7) + (-168)/n. Let t be w(v). Is t > 3?
True
Let v be (32/6 + -4)*3. Let k(u) = -u - u**3 + 2*u**2 + 3 + 3*u**2 - v*u**2 - 15. Let l be k(0). Which is greater: l or -13?
l
Suppose 5*q + 16150 = -31*q - 19922. Which is smaller: 3 or q?
q
Let l = -293562312/7793 - -37670. Is 0 greater than l?
True
Let b = -299 + 304. Suppose b*k = 10*k - 5. Which is bigger: k or 5/113?
k
Suppose 2*a + 1139 = w, 37*a - 36*a - 4*w + 594 = 0. Which is smaller: -561 or a?
a
Suppose 2*m + 288*n - 286*n = 13122, m = -2*n + 6563. Which is bigger: m or 6560?
6560
Let v be 3/1 + 6/(-8)*-12. Suppose 6*g - v*g = -276. Let o = -46 + g. Which is bigger: o or -1/4?
o
Let q = -0.4213 - 15.5787. Which is smaller: q or -326?
-326
Let f(g) = -130*g**3 - 7*g**2 + 21*g + 41. Let x be f(-2). Is 1011 at most as big as x?
True
Suppose 13946 = -167*k + 2*k - 12454. Let t(i) = -26*i - 4. Let l be t(6). Is l > k?
False
Let q = -19.058 + 18.9. Let u = q - -9.858. Let w = u - 3.7. Is w at least as big as 3?
True
Let q be -12 + 43/((-301)/1610). Is q < -2?
True
Suppose -10 = 7*b - 2*b. Let m be (-58)/(-7) - b/(2 + -1). Which is bigger: m or 9?
m
Suppose -22*a - 9 = -13*a. Suppose 10*o - 800 = 450. Is a smaller than o?
True
Let w = -694476 - -18052399/26. Let z = 36178/195 + w. Let f = 211/6 - z. Is f bigger than -2/7?
True
Suppose -82 + 10 = -2*k + 4*r, 123 = 4*k - r. Let s(b) = -8*b. Let q be s(-4). Suppose -37*z = -q*z - k. Which is smaller: 19/3 or z?
z
Let s be 0 + 35/10*(-304)/(-28). Suppose -k - s = -3*k. Which is smaller: k or 24?
k
Suppose 7 = -2*t + 9*t. Let f be (t - (1 - -1))*0. Let l be (-5)/6*24/1120. Is l less than or equal to f?
True
Let i = 1 - 13. Let z(g) = 11*g**2 - g**3 - 24 - 6 - 11 + 4 - 20*g + 2*g**3. Let f be z(i). Which is smaller: f or 58?
58
Let w(d) = 6*d - 49. Let c = 303 - 210. Let b = c - 85. Let l be w(b). Are -1/43 and l equal?
False
Let w(d) = 2*d**3 + 39*d**2 + 71*d + 315. Let g be w(-18). Is 175 at least as big as g?
True
Let o(a) = 8*a + 88. Let x be o(-7). Let s be ((-32)/(-1280))/(x/30). Is s >= 0?
True
Let r = -138 + 143. Let n(m) = -m**2 + 15*m - 20. Let c be n(r). Do c and 29 have the same value?
False
Let a = 