/5. Let f = l + x. Which is smaller: f or 1?
f
Let m be 4/7 + 238/196*2. Let x(f) be the second derivative of -f**5/20 + f**3 - 5*f**2 + f. Let o be x(m). Which is greater: o or -17?
-17
Suppose 26 - 46 = -5*v. Suppose -217 = 5*a - v*c, -11*a - 50 = -10*a - 3*c. Is a > -169/4?
True
Let v(h) = -180*h**2 + 18*h + 14. Let g be v(15). Let y be (-2)/(-140)*g/268. Let k = -2/2345 - y. Which is bigger: k or 2?
k
Suppose 7*y = -321 + 1840. Suppose y + 35 = 21*b. Which is smaller: b or 13?
b
Let s(i) = -129*i - 904. Let x be s(-7). Is x less than or equal to -1/374?
True
Let b = 262730 - 2977453/11. Let z = b - -7941. Which is smaller: z or -7?
-7
Let b(p) = 7*p - 69. Let y be 8 + (9/4 - (-14)/(-56)). Let k be b(y). Is k greater than or equal to -4/17?
True
Let f(s) = -s**2 + 41*s + 88. Let n be f(43). Suppose 4*r + 2 = n*d, -r + 20 = -d + 21. Which is smaller: d or -14/79?
-14/79
Let h(g) = -17*g**2 + 231*g - 5. Let r be h(15). Is r at least as big as -362?
False
Let p(r) = -r**2 + 4*r - 3. Let u be p(1). Suppose 3*h - 4*b + 6*b - 2 = u, -3*b = h - 10. Is -2/109 less than h?
False
Suppose -p = 3*h + 1306, -2*h = -p + 851 + 13. Let v = -423 - h. Which is greater: 0.1 or v?
v
Let i = 444 - 441. Let v be ((-35)/42)/(i*4). Is v >= 0?
False
Suppose u - 114 = 4*u. Suppose 12*v - 90 = 30*v. Let r(d) = 5*d - 15. Let f be r(v). Which is smaller: u or f?
f
Let g = 0.1 + -0.101. Let i = g + -5.999. Let j = -6 - i. Which is bigger: 8/13 or j?
8/13
Suppose 15*c + 18023 = 19253. Let l(w) = w**2 + 5*w + 15. Let a be l(-11). Which is smaller: a or c?
a
Let j be (-11 - (-897)/13)/(-2). Let a = -31 + 1. Is j != a?
True
Let m(q) = 10*q + 53*q**2 + 21 - 102*q**2 + 50*q**2. Let y be m(-4). Is y not equal to -30/7?
True
Let r = -16410 + 16409. Which is smaller: r or -606?
-606
Let j = -6110 - -5546. Which is smaller: -3 or j?
j
Let t be ((-54)/(-9))/(-60) - (-13993)/30. Is t bigger than 465?
True
Suppose -62*r + 64*r = -4, 6098 = -3*t - r. Which is greater: t or -2031?
-2031
Let p be (-4 + 63/15)*0. Let m(x) = -3*x - 3. Let v be m(p). Let i be ((-18)/(-162))/((-1)/v). Is -52 > i?
False
Let w be -183 - (3 + -1)/2. Let h = w - -185. Let v be (0 - (-1)/(-8))*-1. Is v less than h?
True
Suppose -64*s - 536 = -68*s. Let d = 55 - -80. Is d >= s?
True
Suppose -j = 2*w + 3, 5*j - 90*w = -92*w + 25. Let v be 8 + 1 + (0 - 2). Suppose -v = -3*b + 2*b. Is b bigger than j?
False
Let a(f) = 12*f**3 - 4*f - 1. Let r be a(2). Suppose 5*i + 3*v = -r, 3*i - 4*v + 4 = -25. Which is smaller: -10 or i?
i
Let b be ((-4080)/(-600))/((-2)/(-5)). Which is smaller: b or 5?
5
Let r = 10077 - 10080. Which is smaller: -6/367 or r?
r
Let d = -101654565/223 - -455849. Let p = -6990 - -23381552/3345. Let w = d + p. Is -2 less than w?
True
Let x(a) = 1180*a**3 - 5*a**2 + 5*a. Let g be x(6). Let h = 2034331/8 - g. Let y = -438 - h. Is y > 0?
True
Suppose 0 = 23*v - 29*v - 12. Let n be (-3 + (-140)/(-50))/(v/(-10)). Is -10 smaller than n?
True
Let t be (-5)/25*23 - 4/10. Let d be (-17)/(-51)*(-66)/t. Which is bigger: 5 or d?
5
Suppose -2 - 22 = -3*d. Suppose -10*g = d*g + 18. Which is smaller: g or 12?
g
Let x(s) be the first derivative of -s**2/2 - 10*s - 9. Let l be x(-12). Suppose -4*c + 4*g = 24, -c = 3*g - 16 + l. Which is bigger: 1 or c?
1
Let r = 21.15 + -21. Let v = r + 2.85. Let x be 128/252 - 2/7. Which is bigger: v or x?
v
Let v = -231 - -230. Let n be (-3)/468 + v/13. Which is smaller: n or 5/7?
n
Let q = -594 + 551. Which is bigger: -0.34 or q?
-0.34
Let z = 99 + -3265/33. Suppose -3*n - 3*g + 96 = -99, -134 = -2*n - 3*g. Let s = -62 + n. Which is smaller: z or s?
s
Let q = -1651/87 - -9/29. Let h be ((-14)/(-30))/((-2)/(-83)) - (-263)/(-526). Let b = h + q. Which is smaller: b or 0.03?
0.03
Suppose 2*o = -5*i - 179, 0 = 4*i - 179*o + 184*o + 167. Suppose 3*s + 2*s = -145. Is i equal to s?
False
Let w = -3943 - -3942.3. Is w < 25.5?
True
Let x = -110.37 - -1.37. Let t = -109 - x. Let n(w) = 2*w + 1. Let p be n(6). Is p less than t?
False
Suppose 5*g - 61 = 49. Suppose 8*y = -14*y - g. Let i be 2/1 + 58/(-28). Does i = y?
False
Let d be 132/(-2784)*60/(-9). Which is smaller: -1 or d?
-1
Let s = 1404.5077 + -4.0077. Which is smaller: s or 2/3?
2/3
Let s = 73.69 + -73.686. Is s greater than or equal to 45?
False
Let u(i) be the first derivative of i**3/3 + 4*i**2 - 9*i - 9. Let n be u(-9). Suppose 0 = 8*w - n*w. Is w smaller than 3/5?
True
Let b = -9380 + 9517. Is 0 equal to b?
False
Let c = 6345.3 + -6346. Let x = -36 + 107/3. Is x less than c?
False
Let q be 99/(-24)*24/18*1 - -5. Which is smaller: -5.313 or q?
-5.313
Suppose -25 = -4*i - 9. Let v be (7/434)/((-3)/(6/i)). Let b = v + -207/5084. Is -1 <= b?
True
Let a be 2*(35/7 + -2). Let m(t) = 9*t**2 - 21*t + 4. Let c be m(a). Which is bigger: c or 1?
c
Let c be ((-18)/7)/((75/70)/(-5)). Let t = 14 - c. Let g be ((-28)/24 - 4/12)*t. Is g equal to -6?
False
Suppose 59*f - 42 = 56*f. Let l(w) = -2*w**2 + 2*w + 7*w - 18*w**2 - 5*w**2 - 2*w**3 - f. Let p be l(-13). Is p less than 36?
False
Let q = -0.04396 + -227.80604. Let j = q - -228. Which is bigger: 2/15 or j?
j
Let m = -98651/8 + 12362. Which is bigger: 31 or m?
31
Let w be (-51894)/2542 - (-7 - 16). Is w at most as big as 2?
False
Suppose -2*g - 14 - 12 = 0. Let q(k) be the first derivative of -4*k**3 + k**2/2 - 2*k + 243. Let r be q(1). Is g at least r?
True
Let u = 143 - -254. Let j = -516 + u. Which is smaller: j or 2/5?
j
Let y = 24550 + -25489. Which is smaller: -2 or y?
y
Let b be (14 - -1)/(39/26) + 2. Suppose 0 = 57*c - b*c. Is -27/19 smaller than c?
True
Let i be (16/36)/((-19)/(-3) + -7). Is -11/9 < i?
True
Let r be -190 + (-2 - 3) + 2. Let m = -200 - r. Is m < -21?
False
Let x be 2 - -3 - (1 - -1). Suppose 5*f + 20 = x*m - 0*f, 3*f = -3*m - 12. Suppose 2*s - s = -m*s. Are -6 and s non-equal?
True
Let p be 148857/(-118) + 0/(-4)*(-2)/(-4). Is p < -1262?
False
Let u = -10/1581 + -139058/11067. Let w = u - -1475/119. Let g = w - -49/85. Which is smaller: -23 or g?
-23
Let d be 11998/126 + 2/(-9)*1. Suppose 104*m + 468 = d*m. Which is greater: -51 or m?
-51
Let d be (-462)/(-77) + (2 - (-2 + 0)). Suppose -4*f + 14 + 378 = 0. Let h be (f/(-21))/((-4)/6). Which is smaller: h or d?
h
Let r = 322/13 + -12197/494. Let b = 33088 + -33087. Is r > b?
False
Let d(k) = -k**3 + 11*k**2 - 17*k - 9. Suppose 19*s = 11*s + 72. Let b be d(s). Suppose b*o - x = -5*o - 35, -4*x = 3*o - 2. Is -6 less than o?
False
Suppose -164 = -12*p + 172. Let f = 22097/7 - 3128. Which is greater: p or f?
f
Let n = 65875 - 65893. Suppose -2*q - 34 = -4*h + h, 58 = -3*q + h. Is n < q?
False
Let i(z) = 3*z**3 - 3*z**2 - 9*z + 79. Let v be i(5). Which is greater: v or 335?
335
Let b be -5*((-20379)/6795 - -3). Let r = b - 1345/3171. Let h = 91/33 - 521/165. Is r at least as big as h?
False
Let p = -11 - -3. Let n be ((-14)/(-44))/(0 + 121/3233). Let i = 2/1331 - n. Which is greater: p or i?
p
Let k = -2.14 + 52.14. Let x = k + 12. Let j = 0.069 - -0.031. Which is greater: j or x?
x
Let p(l) = l**3 - 8*l**2 - 4*l + 2. Let c be p(5). Suppose 0 = -5*a + m - 460, -1538*a = -1543*a + 4*m - 445. Is a != c?
False
Let t be 10/(-55) + 687021/209. Is t less than or equal to 3287?
True
Let t be (-15)/(-4) - 15*(-6)/(-120). Let i be 48/(-15)*(t + -28). Suppose -50 - 10 = -c + 5*d, -d - 76 = -c. Are c and i nonequal?
False
Let k = -0.14 - -127.14. Let f = 135.7 - k. Let a = f + -8.7. Which is bigger: -3/47 or a?
a
Let x = 320 + -320. Suppose x = 5*a + 35 - 5. Is a >= -51/11?
False
Suppose -4*j = -13*j + 36. Suppose 0 = -j*n - 4 + 4. Suppose 2*z - x + 5*x - 28 = 0, n = 4*z + 5*x - 47. Is 9 > z?
True
Let b = -21203/9 + 2359. Let v(u) be the third derivative of -25*u**4/8 + u**3/2 - 18*u**2 + 9*u. Let z be v(0). Is z greater than or equal to b?
False
Let c be -2 + 6 + -1 + 102/(-24). Let z = -4.35 + 4.25. Is z at least c?
True
Suppose 5*n - 69 = -49. Suppose 0 = i - n*g - 12, -3*i = -3*g + 2*g - 3. Let l be 6/(-23) + 0/1. Which is bigger: l or i?
i
Let h = 1014 - 651. Let z = h - -18. Are 380 and z equal?
False
Suppose 3*m + 400 = m + 150. Does m = -119?
False
Let f = 868 - 869. Is 50/349 != f?
True
Let m(i) = i**3 + 22*i**2 - 47*i - 21. Let s be m(-24). Let w be 18/(-162) + (-68)/s. Suppose 5*t - 4 = 2*v, 0 = t - v - 4*v + 13. Whi