 w(r) = r**3 + 11*r**2 + 3. Let k be w(-11). Let p(h) = 7*h - 9. Let y be p(k). Suppose 0 = 5*u - 5*m - 10, y = -2*u - 0*m - 2*m. Which is smaller: u or 0?
u
Suppose -3317 = -22*f - 259. Let i be ((-1)/3)/((-1)/417). Is f less than i?
False
Suppose b - 6*b + 62 = -3*i, b = -3*i + 16. Let s = -8 + 8. Suppose 12*v - b*v = s. Which is smaller: v or -3?
-3
Let o be -2*((-30230)/(-75700) + 4/(-10))*-2. Which is bigger: -1 or o?
o
Let a(q) = -q**2 + 277*q - 1360. Let s be a(5). Which is smaller: -5/1177 or s?
-5/1177
Let h = -13003 - -13067. Are h and 63 non-equal?
True
Suppose -3*o + 15 + 8 = -d, -d = 5. Let t(s) = -9*s + 54. Let y be t(o). Which is greater: y or 22/21?
22/21
Suppose 0 = 51*d - 29762 + 11963. Is 352 less than or equal to d?
False
Let h = 79.77 + -0.77. Let z = 78.7 - h. Let p be (-63)/(-90)*(-8)/(-42). Which is bigger: p or z?
p
Let t = -10766.9 + 10767. Let x be (-2)/4 - (-111)/6. Let g be -1 - (-4)/(64/x). Which is bigger: g or t?
g
Let b(o) = 5*o**2 - 6*o**2 - o + 0*o + 10 - 5*o. Let j be b(4). Let w be ((-126)/8)/(j/(-20)). Which is greater: w or -12?
w
Let g(x) = -x + 1. Let r be g(2). Let i be (407 - -27)*7/(-32). Let v = i + 95. Is v at least as big as r?
True
Let i = 1433.7 + -1392.7. Which is smaller: i or 5/14?
5/14
Let d = 395033/70 - 33817/6. Let h = d + -52/7. Suppose -z + 2 = -5*t, 2*t + 0 = 3*z - 6. Which is bigger: t or h?
t
Let i = 936 + 364. Let v = i - 1300.22. Let b = -3 + 3.1. Which is smaller: v or b?
v
Suppose -4*n = -j - 2*j + 8939, -n + 4 = 0. Is 2984 at most as big as j?
True
Let r(w) = w**3 + 8*w**2 + 10*w - 2. Let k be r(-3). Suppose -5*t - 8*t = k. Let z be t + 2/(-2) - (1 - 2). Which is bigger: z or 1/45?
1/45
Let y = 251 - 232. Suppose -521 - 904 = y*h. Is -77 bigger than h?
False
Let m be (-307)/(-70) - (-4)/(-14). Suppose 3*s = -46 + 25, -4*t + 51 = -5*s. Which is bigger: m or t?
m
Suppose g - 11 - 1 = 5*o, -3*g = -2*o - 10. Suppose 3*p = -g*p - 355. Is 2 less than p?
False
Let x(g) be the first derivative of -34 + 2/3*g**3 + 3/2*g**4 + 3/2*g**2 + 5*g. Let w be x(-2). Which is smaller: -39 or w?
w
Let t = -381/5 + 76. Let z be 363/(-4) - ((-25)/(-20) + -1). Let u be 2 + (-6)/(-14) + 221/z. Are u and t unequal?
True
Let j be (5/(-3) + 1)/(-4). Let r be 8/(224/4319) - (-1)/(-4). Let t = -5392/35 + r. Which is bigger: t or j?
j
Suppose -2 + 2 = -k, 2*k = -2*w - k. Which is bigger: w or -12/2947?
w
Suppose 0 = 16*a - 41*a + 25. Which is smaller: a or 9/110?
9/110
Let j(z) = -2*z**3 - 9*z**2 - 8*z + 6. Let c be j(-3). Let u be 5 + (c - 15) + -129. Is u >= -134?
False
Let z = 9288 - 9288.4. Let a = -12 + 6. Let l = a - -6.3. Which is smaller: l or z?
z
Let z be (-60)/35*(-1932)/8. Suppose -330 = 4*q - z. Suppose 0 = -2*c + 3*c - 23. Which is smaller: c or q?
q
Suppose -210 + 41 = -169*w. Which is greater: -29/181 or w?
w
Let q = 9300 + -9509. Which is bigger: q or -1673/8?
q
Let k = -5767 + 5782. Let v be 2*(6/4)/(-3). Is k < v?
False
Let y be ((-10)/15)/((-85)/(-195)). Let f = -42 + 40. Is y at least as big as f?
True
Suppose -48 = 5*v + 3*v. Let r(s) = -2*s**3 - 10*s**2 + 11*s - 2. Let o be r(v). Suppose -f = f + o*k - 24, -4*f = 3*k - 53. Is f at least as big as 15?
False
Let j be (-6)/(-39) - (-59)/(767/(-345100)). Is -26545 equal to j?
False
Suppose 0 = -4*q - 16, 2*w - 58 + 18 = 4*q. Let s = -2059 + 2088. Let i = s - w. Is i greater than 17?
False
Let b = 1/8968 - -1239825/8968. Let d = 353797573/9292 + -878917/23. Let v = b + d. Which is bigger: v or 1?
1
Suppose 3*k + 4*c + 38 = 6*k, 10 = -2*c. Let z = -4210 - -332585/79. Let l = 2153/316 + z. Which is bigger: l or k?
l
Let x be (-1 - (56 - -3))*14/(-483). Let a = -1446/805 + x. Let r be 5/(-3) + (-6)/(-9). Which is bigger: r or a?
a
Let v = 2025001/1492 - 5429/4. Let a = -106 + 105. Which is smaller: v or a?
a
Let l = 12 - 8. Let a = l - 3. Let n = -4120 - -4126. Which is greater: a or n?
n
Let a be (0 + -577)/((-4)/(-6)*(-4)/8). Is a less than 5?
False
Let s = 15444 + -14721. Which is smaller: s or 714?
714
Let c = -6901/18424 - 1/2303. Let f = -30 + 18. Does c = f?
False
Let q be 14/(28/(-694)) + -6. Are -353 and q nonequal?
False
Let r = 28 + -61. Let t = -36716/1435 - 4/287. Let x = 379/15 + t. Which is smaller: x or r?
r
Let c = -6428663/14 - -458972. Let n = -218 - c. Which is bigger: 0 or n?
n
Let i(k) = -4*k + 76. Let d be i(17). Suppose d*f - 4 = 4*f + 3*q, 0 = -5*f + 2*q + 12. Is 0 equal to f?
False
Let p = -244 + 70. Let l = p + 173. Which is smaller: l or -12/49?
l
Let a = -63378 - -18950005/299. Is -2/7 < a?
True
Suppose -h = -2*q - 41 + 132, 88 = 2*q + 2*h. Let m = q + -44. Let s be 77/84 + m/3. Which is greater: s or -2/5?
s
Suppose w = 4, -24*w + 27*w = h + 2508. Which is bigger: h or -2495?
-2495
Let k be (-1)/7 - 420/2205. Which is greater: k or 7/1532?
7/1532
Suppose -7*u + 558 = 2*a - 4*u, -2*u + 556 = 2*a. Let v be (-28)/1*(-6)/a. Is v less than 1?
True
Suppose -4*k = 8, 3*l + k + 5054 + 471 = 0. Is -1842 less than l?
True
Suppose 0 = 71*h - 218*h - 44 - 103. Are -612 and h non-equal?
True
Let x = 7.534 + -8.034. Which is bigger: x or -2/11?
-2/11
Let v = -29 + 85/3. Let k = -297892 - -298033. Is v not equal to k?
True
Suppose -1280 = -4*m - 4*t, 0 = -2*m - 2*t - 2*t + 630. Let f be 600/m + 2/13. Suppose 0 = -5*w - f*h - 71, 69 = -5*w - h - 2*h. Is -16 at most w?
True
Let u(w) = 3*w**2 - 18*w - 17. Let t be u(11). Let q be (-1 - 5/(-7)) + t/28. Suppose 0 = -p - 4*a + 11, a - q*a + 14 = -2*p. Which is smaller: -4/3 or p?
-4/3
Let s be -2 + 5/(-2)*36/(-15). Suppose 2*h - s = 52. Let t = 0.74 + -0.64. Which is greater: t or h?
h
Let g = -127/5 - -2149/85. Is 0.04 not equal to g?
True
Let l(m) = -2*m**2 - 66*m - 478. Let c be l(-19). Which is bigger: 3 or c?
c
Let s(w) = w**2 + 195*w - 1625. Let q be s(8). Is 4/203 greater than q?
True
Let z(q) = 2*q**3 - q**2 - 2*q + 9. Let j be z(5). Suppose -12*o = -8*o - j. Suppose 5*y + o = 2*r, -2*y = 5*r + 11 + 23. Is -86/7 at least y?
False
Let c = -229 + 89. Let s = c - -140.04. Let g = -25.96 - s. Is g smaller than 1/2?
True
Let a = 36 - 81. Let q = a + 75. Let f = -28.8 + q. Is 0 >= f?
False
Let q = -3808746/7 - -545502. Which is smaller: 1396 or q?
q
Let u(h) be the third derivative of h**5/60 - h**4/8 + h**3/3 + 17*h**2. Let k be u(0). Suppose -4*v = 2*m + 3*m - 121, -48 = -k*m - 2*v. Is m at most 24?
False
Let n = -0.160627 - -76.789627. Let r = n - -0.571. Let l = -77 + r. Which is smaller: l or 0.1?
0.1
Suppose -3*t + 5*h = 11, 0 = -51*t + 41*t - 2*h - 130. Which is bigger: t or -82.4?
t
Let t = -1.0619 + 1.1619. Which is greater: -4.63 or t?
t
Suppose -3*n + 21 = -2*n + 3*x, x - 17 = -2*n. Let r(c) = 2*c**2 - 42*c + 10. Let o = 295 + -274. Let v be r(o). Which is greater: v or n?
v
Let u = -185 - -303. Let c = u + -118. Is c < 5/37?
True
Let v = 3.17 - 3.021. Let j = 0.149 - v. Which is smaller: 1/209 or j?
j
Suppose -5*x + 230 = -4*w, -3*w = 2*x - 5*w - 94. Suppose 0 = -x*y + 44*y. Let u = 40/51 + -767/1173. Which is greater: y or u?
u
Let f = -153 - -88. Let u = 409.9 - 345. Let m = u + f. Is m at least 5?
False
Let n be (-33)/440*-5 - (0 - (-12)/32). Which is smaller: 1/11578 or n?
n
Let i be ((8 + -8)/12)/((-8)/2). Is i less than 19/94?
True
Let m = 142 + -140. Suppose -m = -0*h + h, -2*h = -3*y - 8. Let w be (212/6 + y)/(-10) + 3. Is w less than 0.2?
True
Let f(q) = q**2 + 11*q + 24. Let l be f(-8). Suppose l = 78*t - 77*t - 6. Suppose -24 = t*v + 84. Which is smaller: -17 or v?
v
Let d = -285 + 247. Let r be (-4)/d - 2395/23655. Which is greater: 0 or r?
r
Suppose 9*s - 4779 = -20475. Let w be 8/s*1748 - -8. Let d = 0 + 0. Which is greater: d or w?
d
Let m = 460 - 461.55. Let u = m + 0.55. Let g be (39/(-7))/3 - -2. Is g at most as big as u?
False
Let c(l) be the second derivative of -l**5/20 - 5*l**4/4 - 9*l**3 - 5*l**2 - 2*l + 53. Let z be c(-7). Which is smaller: -1 or z?
z
Let s be 4/(-8) + 2/4. Suppose -o + 11 - 23 = s. Let i(m) = -3*m - 15. Let n be i(o). Which is smaller: 22 or n?
n
Let y = -498 + 554. Let x = 22 + -22. Suppose -4*t - 20 = x, 2*g - 4*g = -5*t - 137. Is g smaller than y?
False
Let y = 11605.1 + -11603. Does 258 = y?
False
Suppose -27*z - 2 = -31*z - 2*m, 4*m - 9 = -3*z. Which is smaller: z or 8/123?
z
Suppose -1550*c - 874 = -1527*c. Which is sma