5 - o). Which is smaller: u or 84?
u
Let p(w) = 2*w**3 - 67*w**2 + 27*w + 177. Let f be p(33). Let g be (-71)/(f/14 + 1). Which is smaller: g or 144?
g
Let u(r) = -2*r**2 + 1. Let y be u(-1). Let i = 65761/45 + -4385/3. Is y greater than or equal to i?
False
Suppose 0*z = 3*w - 5*z + 75, w = -3*z - 11. Let l be -1*((-48)/w)/((-3)/(-20)). Let b be (1 - 4)*l/(-12). Which is bigger: -5 or b?
b
Let m = 4810 + -4811. Let x = -7081/11 + 643. Which is greater: m or x?
x
Suppose -78 = -9*l + 7*l. Let u = l + -35. Let y be u/10 - 7/30. Is y greater than or equal to -4?
True
Suppose -528 = 17*n - 511. Which is greater: 15/991 or n?
15/991
Let h = 6.231 + -6.73. Let b = 19.501 - h. Let y be ((-1)/3 - 0)/1. Which is smaller: b or y?
y
Suppose -214737 = 29819*r - 29788*r. Is -6927 < r?
False
Suppose -4*f = -n - 4491 - 645, 2*f + 25592 = -5*n. Which is greater: n or -5121?
n
Let r be (3/7 - 0)*(-14)/68. Let g = r - 41/17. Let i = 0 + -2. Which is smaller: i or g?
g
Let w(s) = -60*s + 25. Let p be w(-6). Let i be (12/10)/(22/p). Suppose 3*v - k - 3*k + 19 = 0, 0 = -v + 5*k - i. Which is greater: v or 4.2?
4.2
Suppose -293*a + 446*a + 156366 = 0. Which is bigger: -1026 or a?
a
Let l be ((-15)/18)/((-11)/44*2). Is l at least -1.2?
True
Let p(n) = n**3 - 35*n**2 - 73*n - 35. Let w be p(37). Which is smaller: w or 56/23?
w
Let i = -321 + 326. Suppose -k + 5*d = i, -5*k + 5 = -k + 5*d. Is k greater than or equal to 4/31?
False
Let m(a) = 8*a - 7. Let r(y) = -7*y + 2. Let g be r(0). Let b be m(g). Suppose 0 = -i - b*i + 40. Is i at least 14/3?
False
Let f = -4.3 - 1.5. Let s = f - -6. Let w = 0.127 + 28.873. Which is greater: s or w?
w
Let d = 0.06039 - 21.16039. Which is smaller: d or -76?
-76
Suppose 0*i - u = 5*i - 2, 0 = -i - 4*u + 8. Suppose i = r - 4 + 5. Let a(x) = -x**3 + 17*x**2 + 37*x + 8. Let q be a(19). Which is smaller: q or r?
q
Let m be -19*(8 - 86526/10818). Is m at least -1?
True
Let z = 1433 + -1428. Are -0.67 and z non-equal?
True
Suppose 0 = 9919*s - 9929*s + 1610. Does -7 = s?
False
Let k = 13606 - 13606.1. Let z(l) = 9*l**3 - 2*l**2 - l. Let y be z(-1). Which is smaller: y or k?
y
Let n = 6322 - 6370. Which is smaller: n or -0.3?
n
Suppose -163*d + 173*d - 123350 = 0. Is d >= 12336?
False
Suppose -6 = 3*h, 4*h + 14 = 2*v - h. Is v smaller than 74?
True
Let f(y) = -14*y + 102. Let h be f(7). Let m be -6 + 2 + h + 4. Which is bigger: 2/105 or m?
m
Let n(q) be the first derivative of -q**4/4 - 8*q**3/3 - 15*q**2/2 + q - 10. Let v be n(-6). Let m be 2/22*-2 - 1167/(-66). Are v and m equal?
False
Let y = -11/42838 + -238264813/556894. Is y bigger than -428?
True
Let w = -20346 + 1322524/65. Let b = w + -12/13. Is -0.12 at most b?
False
Let j = -5289 - -3563. Is -1728 greater than or equal to j?
False
Suppose 5*f - 85 = u, 0 = 4*f - u + 5*u - 92. Is f at most 11?
False
Let x = 15838 + -15663. Which is bigger: x or 0.25?
x
Let u(w) = 2*w**3 - 57*w**2 + 28*w + 1. Let x be u(28). Which is greater: -2/2451 or x?
x
Let g = 175 - 167. Let r be 295/(-6) - g - 1/(-6). Which is greater: r or 2?
2
Let k = 7 - 12. Let q be 5 - 2/(-1 - -3). Suppose -q*p - 32 = -24. Is k > p?
False
Let q(r) = -4*r + 1. Let a be q(-3). Let v = -37 + 50. Let h(s) = s**3 - 13*s**2 + s - 1. Let g be h(v). Which is greater: g or a?
a
Let v = -441.4382 + -3.4578. Let u = -445 - v. Is -2/3 bigger than u?
False
Suppose 1533 - 165 = -24*r. Is r <= -40?
True
Let w = 240 + -257. Suppose 4*h = -3*a - 8 - 40, 0 = -2*a - 3*h - 31. Are w and a equal?
False
Let c = -12122 - -12122.8. Let n = 0.02 - 19.02. Is c at least as big as n?
True
Let k(n) = -36*n**3 + 2*n**2 - 39*n - 40. Let s be k(-1). Which is smaller: s or 49?
s
Let b(r) = 8 + 5*r + 3*r - 7*r. Let u be b(-8). Let o be (((-13)/(-4))/(-13))/(33/8). Which is smaller: u or o?
o
Let p(s) = s**3 - 3*s**2 - 4*s. Let h be p(3). Let a(c) = 125*c - 231*c + 58*c + 328. Let d be a(7). Is h at least d?
False
Let y = 587 - -193. Is y less than 778?
False
Let m = 1173 + 259. Let k = m - 910. Let o be 2/(-3) - k/27. Which is greater: -21 or o?
o
Suppose 112 = 5*f + 2*t - 1274, 2*f - 562 = 3*t. Let j = f + -318. Suppose z - 37 = i, -4*i - 3*z = -0*i + 155. Is i < j?
False
Let d be (40 + -42)/((-18)/(-81) + (-8)/198). Which is smaller: d or -605/63?
d
Suppose 191 = -29*f + 17. Let v be 9/f*(-64)/(-144). Which is greater: -233/3 or v?
v
Suppose -3*i = 4*u - 5 - 0, 3*i - u + 20 = 0. Let b be (-8)/(-8) - ((-155)/33)/i. Are b and -1 nonequal?
True
Let o = 0.317 + 9.883. Let c = o + -11.2. Which is bigger: 1/13 or c?
1/13
Let j = 1.71 + 105.29. Let g = j - 102. Which is bigger: g or 52?
52
Let y(p) = -254*p**2 + 3*p + 1. Let u be y(-1). Let f be (u/24 + 10)*(-3)/2. Does -7/30 = f?
False
Let u(w) be the second derivative of w**4/4 + 11*w**3/6 - 3*w**2/2 + 25*w. Let i = -19 - -15. Let y be u(i). Is y smaller than 5?
True
Let s be (6594/(-364) - -18)*8/3. Do s and 0.02 have different values?
True
Let j = 274/5 + -55. Let r = -0.295 - -382.295. Let c = r + -395. Is j bigger than c?
True
Let m be (-5335848)/1080*(-2)/7. Are 1411 and m non-equal?
True
Let z be (73 + -2)*7 + (6 + 23 - 24). Let t be -10510*((-64)/(-670))/(-2). Let a = t - z. Is a at least as big as -1?
True
Suppose -2*v = m + 3*v - 5, 2*m - 5*v - 25 = 0. Suppose m*g - 25 = -265. Let x(n) = -6*n**2 + 1. Let w be x(-2). Which is greater: w or g?
w
Let f = 146.03 - 150. Let p = -5.97 - f. Is p less than -17/9?
True
Let o = 529 + -281. Let t = o - 246. Which is smaller: 0.21 or t?
0.21
Suppose 0 = 2*c + 5*l + 2014, -3*c - 800 - 2206 = 5*l. Which is smaller: c or -4963/5?
-4963/5
Suppose -3*n + 4*m = -231, 2*m + 0*m = -5*n + 385. Let x be (539/(-14) + 0)/((-14)/28). Let h = x - n. Which is greater: 1/5 or h?
1/5
Let l = 206/3 - 69. Let j = 24 - 14. Let x be (j + -11)*1/(-41). Is l >= x?
False
Let h = -28536/82675 - 38812498081/23066325. Let c = 1683 + h. Which is bigger: c or 0?
c
Let u = -74362/55 + 1352. Let y = -927/220 + u. Which is smaller: y or -3?
y
Let i be (-2 + 26/14)*(-60)/(-75). Let x = i - -18/35. Is x less than -1/12?
False
Let d be (-2)/(-9) - 0 - (-44)/(-36). Suppose 5*g + 23 + 22 = 5*b, -2*b - 27 = 3*g. Let o be d/3 - (48/g - -6). Which is smaller: -2/19 or o?
o
Let y(f) = -195*f**2 - 640*f + 3244. Let h be y(5). Which is greater: h or -4830?
-4830
Let d = 17.62 + -17.52. Which is smaller: d or 0.0064?
0.0064
Suppose 700 = 2162*f - 2164*f + i, 0 = -2*i + 8. Which is smaller: -369 or f?
-369
Let j be (-10)/((-120)/14) - 38825/30. Which is bigger: -1295 or j?
j
Let s = -886 - -1289. Is s greater than 401?
True
Let l = 15.67 + -15.6776. Are l and -3 unequal?
True
Let k be ((-4)/10)/(2/20). Let t = -520.21 + 49.01. Let y = t - -471. Which is smaller: y or k?
k
Let z = 903.7 - 904. Let f = 1312643/11 - 119448. Let b = 117 + f. Which is smaller: z or b?
z
Suppose -m - 16 = -22. Let a(c) be the third derivative of c**4/24 + c**3 - 4*c**2. Let l be a(-3). Which is smaller: m or l?
l
Let d = -2661 + 23995/9. Let w(v) = 7118*v - 35584. Let l be w(5). Is d at least as big as l?
False
Let a = -166/5 - -357/10. Which is smaller: a or -26?
-26
Let m(d) = -d**2 + 2*d + 4. Let y be m(3). Let w = -5245/209 + 283/11. Let l = 65/133 - w. Which is bigger: y or l?
y
Suppose -8*y + 1 + 143 = 0. Suppose -w - k + 0*k = -18, -5*w + 2*k + 125 = 0. Which is bigger: w or y?
w
Suppose 3*z + 5*n = 4*z - 16, 2*z + 3*n = 32. Let w = 17 - z. Let f = 184 + -5155/28. Which is smaller: w or f?
f
Let f(w) = w**3 + 15*w**2 + 57*w + 28. Let c be f(-9). Suppose -12*p + 13 - c = 0. Is p at most as big as 107?
True
Let o be (2/1407)/((-14056015)/(-1561785) + -9). Let h = o - -1/2345. Is h less than -44?
True
Let r be (-20 + -3)*(-6)/(-1086). Which is smaller: 0 or r?
r
Suppose -1630*g = -1734*g + 179816. Which is smaller: g or 1728?
1728
Let y(x) = -2*x**2 + x + 8. Let c = -31 - -31. Let p be c/((-9)/((-6)/(-2))). Let w be y(p). Is 9 > w?
True
Suppose -2*n + 3*w = 2, n + 7*w = 6*w - 1. Which is smaller: n or 5/971?
n
Let x = -1.7784 + 0.3384. Which is greater: x or 4?
4
Suppose 17*a - 25*a + 112 = 0. Let q be -1*-2*(-35)/a. Let r be ((-3)/(-9))/((-2)/42). Is q < r?
False
Let c be (9 - 0) + (3040/3819 - 10). Which is greater: 1 or c?
1
Suppose 2*b - 5 = -3*f + 8, -3*b + 12 = 2*f. Suppose 3*q = -3*v + 7 - 25, 0 = -4*v - f*q