 = 2*s - 10. Let x be (s/18)/(22/12). Let t(w) = w**3 - 31*w**2 - 122*w + 680. Let l be t(34). Which is bigger: x or l?
x
Let d = 0.10489 - 0.20489. Does -2299 = d?
False
Let w = 8 + -13.9. Let k = 6 + w. Let h = 2583 + -2596. Which is greater: h or k?
k
Suppose 2*y - 2618 = 18*l - 22*l, 0 = 5*y - 5. Let j = -606 + l. Let u be (1 + 15)*(1 + 2). Is j greater than or equal to u?
True
Let n be 16 + -17 + -7 + (-310)/(-4). Which is smaller: n or 5?
5
Let u = -73.295 - 0.605. Let l = -79 - u. Let o = l + 28.1. Which is greater: -2 or o?
o
Let s(w) = w**3 + 9*w**2 - 7*w - 20. Let r be s(-9). Let b = 98 - r. Suppose 0 = -b*u + 56*u. Are 0 and u equal?
True
Let q = 0.0112 - 3.4612. Let j = -2.45 + q. Is j != 0.02?
True
Let w = -418 - -419. Let x = 21/11 - 599/308. Is w > x?
True
Let r be 8/40 - 14120/100. Is r greater than -143?
True
Suppose 0*f = -5*f - 10. Let t be (-2)/(-3) + 1904/24. Let w be (-20)/(-10) + (-7)/(126/t). Which is smaller: w or f?
w
Let t be ((-210780)/(-240))/((-18)/(-4)). Let b = 464/3 - t. Is -41 at most b?
True
Let f(a) = -14 - 4*a**2 + 0*a - 7*a + 3*a**2 - a. Let j be f(-6). Is j < -8?
False
Let y(p) = p**3 - 21*p**2 + 110*p - 19. Let f be y(12). Which is bigger: 67/19 or f?
f
Let j = 648 - 135. Let a = j - 559. Is a > -6?
False
Let n(p) = -423*p - 21. Let c be n(-4). Suppose 0 = 14*i + c + 1269. Is -211 != i?
True
Let c be 5 - -1 - ((-2)/2 - -4 - -3). Is 7/47 smaller than c?
False
Let z(p) = 694*p**2 + 87*p - 8. Let u be z(2). Which is smaller: 2939 or u?
2939
Suppose -3*k + 5*q + 46 = 0, -2*k = 3*k - 4*q - 55. Let r be (-5)/((-75)/6)*(-30)/(-2). Suppose -21 = r*d - 9*d. Is k at most d?
True
Let d(w) = -w**3 - 4*w**2 + 32*w - 2. Let j be d(-8). Let x be -5 - ((-3)/j + 1971/(-486)). Which is greater: x or -1?
-1
Let f(x) = -10*x - 282. Let i be f(-37). Do i and 74 have the same value?
False
Let q be 0 + 2 + -1 + (0 - -1). Let w be ((-7)/14)/((-1)/2). Let s(z) = 39*z**3 - 2*z**2 + 2*z - 1. Let h be s(w). Which is bigger: q or h?
h
Let x be (5 + -7)*1/(-6). Let p = -1670 - -1806. Which is smaller: p or x?
x
Let p(l) be the second derivative of -l**4/6 + 5*l**3/3 + 13*l**2 - 42*l + 2. Let r be p(6). Is 13 smaller than r?
True
Let x = 827 - 831. Is -134/31 less than or equal to x?
True
Suppose -51*f - 39*f = -4*f + 63296. Is -2206/3 less than or equal to f?
False
Let c(p) = 57*p**2 + 56*p - 450. Let o be c(8). Which is smaller: o or 3645?
3645
Suppose 0 = -894*t + 895*t - 2. Suppose -t*j - 14*j = 1600. Which is bigger: -98 or j?
-98
Let t = -47520676907/366048 + 1168388/9. Let n = t + 101192905/2074272. Let z = 146/3 - n. Is z bigger than 1/2?
False
Let g = 5/37377 - -202022650/261639. Is g <= 773?
True
Let k = -1928 - -2129. Which is smaller: 208 or k?
k
Let n = -104 + 102.89. Let g = -193.11 - n. Which is bigger: -1 or g?
-1
Let p be (-5)/(16075/6)*48735/306. Let y = p + 2/643. Which is greater: -1/2 or y?
y
Let k be 3/(-9) + 32/24. Let q = 42446356273/30504 - 4174504/3. Let g = q - 1/328. Which is bigger: g or k?
k
Let x be (-94)/705 + 3062/(-435). Which is bigger: -8 or x?
x
Let v = 1797/4 - 447. Let t = 18.201 - 18.061. Which is bigger: t or v?
v
Let p be 6 - (440 - (-20)/(-5)). Let h be (-2)/(-6)*((-135)/p)/3. Which is greater: h or 0?
h
Suppose 0 = 5*c - 3*s - 393, c = -s + 4 + 73. Let w be -25*(-1)/c - (-71)/(-426). Is -3/70 != w?
True
Let g = -1317 + 449094/341. Suppose -4*h = -5*h + 1. Which is smaller: g or h?
g
Let p = 38 - 8. Let w = 54 - p. Which is smaller: -2/3 or w?
-2/3
Let s = -1953/1261 + 1/97. Let l(z) = -62*z - 1. Let x be l(0). Does s = x?
False
Suppose -k = -h - 2, -2*k + 4*h - 7 = -17. Are k and -4/99 unequal?
True
Let t = -3.25 + 157.25. Let n = t + -153. Is n at most as big as 1?
True
Suppose v + 2*n - 3179 = 0, -4*v - 10*n + 12742 = -15*n. Which is smaller: v or 3185?
v
Suppose -4*g - 326 = -2*v, 4*g - v = -5*v - 320. Let x = g + 103. Let i = x + -51. Which is greater: -27 or i?
-27
Let f = 4417 + -4418. Let x = -67 - -109. Is x less than or equal to f?
False
Let h = 0.002 - -27.998. Let q = h - 68. Let y = 39 + q. Which is smaller: y or 5?
y
Let q be 1/2 + (-323978)/(-644). Let s = q - 87873/175. Is 2 greater than s?
True
Let x = -5785 + 5785.052. Which is bigger: x or 8/13?
8/13
Let r = 41.061 + -0.061. Let g = r - 41.1. Let h = 70 - 70.12. Are g and h nonequal?
True
Let f(i) be the third derivative of i**6/40 + i**5/15 - i**4/12 - 8*i**3/3 - 5*i**2 - i. Let w be f(-3). Which is bigger: w or -56?
w
Let f be (-2)/4 - 10/(-52). Let h = 63297 - 126597/2. Is f bigger than h?
True
Suppose 0 = 5*s - 8*s + 783. Suppose d = 4*d - s. Let x = d + -782/9. Which is smaller: x or 1?
x
Suppose -4*a - 4*z + 1508 = -a, 2516 = 5*a + 4*z. Let v be (-384)/a - ((-4)/(-3) + -2). Let k = -0.47 - -0.67. Which is greater: k or v?
k
Let l be 16/128 - 12/(-144). Is 19 at most as big as l?
False
Let d be (-759)/(-44) + -17 + 4/(240/1555). Let r = 21 - -6. Which is greater: d or r?
r
Let h(b) = b**3 - 16*b**2 + 77*b - 753. Let l be h(15). Is 177 <= l?
True
Suppose -44355 = -19*k - 24*k + 40*k. Do 14784 and k have the same value?
False
Let t = 0.089 + 55.911. Let x = t - 99. Let q = x + 39. Is q greater than or equal to -4?
True
Let k = 924 - 26793/29. Let f = k + 17/116. Let p(n) = 2*n**3 - n. Let y be p(1). Which is smaller: y or f?
f
Suppose 4*j + 10019 = 3*w - 11426, 4*w + 4 = 0. Is -5361 at most j?
False
Let c(l) = -l**3 + 5*l**2 - 3*l + 5. Let d be c(5). Suppose -2*b + v + 82 = -0*b, 4*b + 5*v = 192. Suppose 133 - b = -9*a. Is d at least as big as a?
True
Suppose 23 = m - 10. Let w = 34 - m. Let y be 2/w*(-2 + (-36)/(-15)). Are y and 1 equal?
False
Let y(n) = 4*n**3 - 22*n**2 + 17*n + 2. Let b be y(5). Suppose 5*h = -5*o - 200, o + 16*h = 14*h - b. Is o smaller than -43?
False
Let m = 191 - 189. Suppose 89*h = 90*h + m. Which is bigger: h or -10/3?
h
Suppose -7*p = -9*p + 8. Suppose 0 = 3*z + 15, -p*d + 104 = -4*z - 8. Is d equal to 20?
False
Let f = 5780 - 13256. Let q = f + 7397.91. Let u = -78 - q. Which is smaller: -1 or u?
-1
Let c be 4/12 - (-814)/6. Let k = 135 - c. Which is smaller: k or 6.6?
k
Let a = -1070 + 1742. Let k be 312/a + (-1)/4*3. Is k less than 9.7?
True
Let m be (3423/(-140) + ((-819)/52 - -16))/((-1)/(-5)). Let i be (-2 + 0)*238/4. Which is smaller: i or m?
m
Suppose -18910*y = -19787*y + 7016. Let s(r) = -5*r + 1. Let u be s(1). Let f be (-1)/2 + (-22)/u. Which is greater: f or y?
y
Let t(w) = -w**2 + 15*w - 49. Let h = -22 - -32. Let v be t(h). Let j(z) = -z**3 + 2*z**2. Let g be j(v). Which is greater: -3 or g?
g
Let g = -250 + 584. Let f = -333 + g. Which is smaller: 6/59 or f?
6/59
Let y be -8 + 8 - -2 - (1 + (-2 - 12522)). Which is smaller: 12526 or y?
y
Suppose -2*c - 16 + 6 = -4*i, 4*c = -2*i - 50. Let l(q) = 6*q - 64. Let j be l(16). Suppose -31*o = 2*g - j*o + 20, o - 28 = 3*g. Is c <= g?
True
Let z be (1267/2)/(35/70). Is 1269 less than z?
False
Let r(s) = s**2 + 80*s - 1292. Let y be r(-95). Which is smaller: 152 or y?
y
Suppose 0 = -q + 4 + 61. Let s be 21 + -20 - (-73)/(-7). Let d = 316/35 + s. Does d = q?
False
Let d be (-5)/30 + (23 - (-11955)/(-36)). Which is smaller: -308 or d?
d
Suppose 3*d - 5*o - 2726 = -8910, -10270 = 5*d - o. Which is smaller: d or -2052?
d
Suppose 5*f = 11 + 4. Suppose -f*l - 5*v + 14 = 0, -2*l - 4*v + 13 = l. Let u be (-1)/(-4) + (l - (-9)/12). Which is greater: 3 or u?
u
Let k = -2.45 + 33.05. Let w = -30.5 + k. Which is bigger: -158 or w?
w
Let w = 7330 + -7918. Which is smaller: w or -586?
w
Let w be 44/36 - (-2)/(-9). Which is smaller: 24/911 or w?
24/911
Suppose 0 = 59*f - 43*f - 1776. Let k = 559/5 - f. Are k and 1/2 nonequal?
True
Let y be 4 + 1737/(-1743) - 3. Let m = 147 + -147. Is m smaller than y?
True
Let o = -299 + 27. Let v = -300 - o. Is v equal to -27?
False
Let y be 163/4 - (-2 - 63/(-36)). Suppose 0 = -y*t + 9*t. Which is bigger: t or 10/7?
10/7
Let x = 229 + -205. Let o be ((-4)/14)/(24/x). Which is greater: o or -18/17?
o
Let y = -2885 - -2844.22. Let k = y - -41. Let q = 7.1 - 7. Is k <= q?
False
Let d = 0.27 + 0.02. Let n = -356/15 + 117/5. Which is smaller: d or n?
n
Let z(g) = -3*g**3 - 66*g**2 + 11*g + 160. Let f be z(-22). Which is smaller: f or -48?
f
Let x(h) = 2*h**2 + h + 36. Let q be x(0). Suppose 2*l = -2*y + 12, 6*l - 5*l -