et a(o) = 2*o**3 - 7*o**2 - 16*o + 4. Let k be a(6). Let r = -91 + k. Which is smaller: r or l?
l
Let i = -585 - -589. Let m be (-69)/(-15) - (i - 132/30). Suppose 0 = -4*o - 4*z + 80, 7*z - 36 = -o + 2*z. Is o <= m?
False
Let i = 12.155 - 12.183. Let b = -2.04 - -0.04. Which is bigger: b or i?
i
Suppose 69 = -s + 2*o + 78, -3*s + o = -2. Is 1/211 at most s?
False
Let o(z) = -6*z**2 - 5*z. Let j be o(4). Let a = j + 119. Suppose -4*r = 3*l - 4, 1 + 3 = 4*r. Which is greater: a or l?
a
Let k = 191 - 235. Which is smaller: 9 or k?
k
Let g = -12781 - -22954. Is 10174 smaller than g?
False
Let m = 24096/2159 + -190/17. Which is greater: m or 0?
0
Suppose 14*h - 23*h = -279. Let k(w) = -3*w - 3 + 10 + 22. Let m be k(0). Which is greater: m or h?
h
Suppose 221*h = 223*h - 84. Let m be h/7 - 3 - -29. Let i(t) = 9*t - 3. Let c be i(4). Which is greater: c or m?
c
Suppose -278*s + 263*s + 1330 = 325. Which is smaller: -7 or s?
-7
Let r be -4 + 5530/(-602)*2/(-5). Let v = 589/1677 + r. Suppose 3*c = 2*p + 12 + 5, 2*p + 3*c - 13 = 0. Are v and p non-equal?
True
Let n(x) = -x - 86. Let h be n(0). Let u be ((-8)/6)/(-1 - -9 - ((-69624)/(-2322) + -22)). Is h at most u?
True
Let b = -47273.4 - -47270. Is b >= 346?
False
Let y be 1/2 - 3*(-610)/60. Let r be (-62)/y - (1 - 341/(-5)). Are -71 and r nonequal?
True
Let y be (-932)/(-5) + (-6)/15. Let x be (-4)/(-24) - 35/y. Suppose 9 = 4*g + 5. Which is greater: x or g?
g
Let r(z) be the first derivative of z**3/3 - 7*z**2/2 + 4*z + 25. Let b be r(7). Let w = 6 - b. Which is smaller: w or 3?
w
Let c = -32.3 - -58.2. Let d = -51 + 25. Let h = d + c. Do h and 5 have the same value?
False
Suppose 10*m + 42 = 372. Let x(d) = -d**2 + 5*d. Let i be x(4). Suppose 0 = i*b - 4*t + 17 - 125, t + 91 = 3*b. Is b at least as big as m?
False
Let t = -0.122 - -0.088. Let v = -6.966 + t. Let n = 0 - 5. Which is greater: n or v?
n
Let w = -21757 + 282839/13. Which is smaller: -530 or w?
-530
Let a be 14/28 - 6/28. Let c = -60 - -65. Suppose 8*f - c*f = 6. Is f not equal to a?
True
Let w = -23693 - -876767/37. Is w > 3?
True
Let m be (-8)/(-6)*-3 + 3168/12. Let x = m - 435. Which is bigger: -176 or x?
x
Let y be ((-960)/(-720))/((-1)/(-15)). Suppose g - 9 = -31. Let c be -1*(0 + 2 + g). Is c at most as big as y?
True
Suppose -2*c - 18 = -2*v, -3*v + 2*c + 30 = 2*v. Let i be 0/(v - (-18)/(-6)). Let l = 1119/5 + -8949/40. Are i and l nonequal?
True
Suppose 0 = -3*f, -3*u + 27 = -2*f + 6*f. Suppose -u*m + 196 = -5*m. Let x = 70 - m. Is 20 smaller than x?
True
Let f(n) = n**3 - 36*n**2 + 33*n + 43. Let k be f(35). Suppose 4*h + 86 + 90 = 0. Let u = k - h. Is 20 smaller than u?
False
Let i = -2023 + -1100. Is i bigger than -3123?
False
Let a = -322377 - -322314. Let h = -1 + 0.98. Which is smaller: a or h?
a
Let t = 20517 + -20517. Suppose 0 = -4*r + 4*s - 2 + 22, 5*s = -2*r + 45. Let x be (15/r)/(19/(-4)). Is x greater than or equal to t?
False
Let i = 3084 + -3082.589. Let k = i - -0.289. Which is bigger: -1/12 or k?
k
Let p = 517 + -509. Let n be p/2*-14*(-20)/70. Which is smaller: n or 73/5?
73/5
Let h(t) = t**3 + 9*t**2 + 6*t - 21. Let s be h(-8). Let o be (-18)/(-30) + 4 + s. Is o != -0.8?
True
Let q be (-2)/(-4) + (-1)/(-2). Let y = 2820801/164 + -17200. Which is greater: y or q?
q
Let q(u) = u**2 - 18*u + 67. Let s be q(14). Suppose 0 = s*a + 35*a - 4600. Is a equal to 102?
False
Suppose -3*v + c = -28, -5 = 2*c - 3. Let b be v*((-416)/20)/4. Let k = 47 + b. Is k at least -5?
True
Let m = 211 - 209. Suppose 9*d = m*d + 203. Which is smaller: d or 32?
d
Let v = 1554 - 1565. Is -207/19 bigger than v?
True
Let u be (-5)/1 - 0 - (9/5 + -2). Do -3/13 and u have the same value?
False
Let u = 12.40785 - 0.16185. Do -0.1 and u have the same value?
False
Let b(u) = u**3 - 8*u**2 - 11. Let q be b(8). Let x(o) = -4*o - 1. Suppose 0 = 18*c - 23*c + 15. Let g be x(c). Is q != g?
True
Let j = -368/51 - -38611/5457. Which is greater: j or 0.1?
0.1
Let f(v) = -8*v**2 + 466*v - 115. Let a be f(58). Which is greater: 23/120 or a?
a
Suppose 5*l = 3*l - 36. Let w = 23 + l. Suppose w*y + 3*o = -20, 5*y + 10 = -o - 0. Is y greater than or equal to -10/29?
False
Let c = 7225 - 5199. Is c <= -1?
False
Let y = 53 - 29. Let h be (y/(-14))/6*-14. Suppose 0 = 5*q - h*k, -4*k + k = 15. Which is bigger: 5 or q?
5
Suppose 0 = 68*b - 64*b + 24. Suppose -21*h - 85 = 188. Which is smaller: h or b?
h
Let u = -4.06 + 1.15. Let o = u + -0.09. Let y = -57 + 64. Is y at least o?
True
Suppose 15*l + 122 = 32. Let f be (l + 177/9)*3. Which is bigger: f or -1/2?
f
Suppose 2*f - p + 5 = 0, 4*f + 20 = -f + 4*p. Is -1/1818 at least f?
False
Suppose 0 = -26*n + 21*n + 20. Suppose 7*h - 5*h = -n. Let p be (-7 + 8)*(3 + h/2). Is p less than 2?
False
Let s be (-3)/(-5) - ((-832)/80 - -10). Let i(f) = -f**3 + 4*f**2 - 3*f. Let r be i(2). Let u be r - -1*(-2)/4. Which is bigger: s or u?
u
Let a = -6783 - -6779. Are a and -483/8 unequal?
True
Suppose 103*s + 781 + 5708 = 0. Let y = 0 - 60. Is y at least s?
True
Let d = -429.9 - -430. Which is bigger: 0.532 or d?
0.532
Suppose -18*w + 22*w - 3*x = -3739, 2*w + 5*x = -1863. Which is smaller: w or -931?
w
Let m be (-280)/84*48/10. Let p be 8/m*14 + 141. Which is smaller: -3/2 or p?
-3/2
Let t = 294522 + -294466. Let c(n) = -7*n - 1 - 8*n - 3. Let z be c(-4). Is z equal to t?
True
Let q be 54/360*(-3 - 1). Is q bigger than -2?
True
Let b = -242 - -249. Suppose 4*d = 2*d + 62. Let r = -24 + d. Is r < b?
False
Let o = 2633 - 2415. Is 220 greater than or equal to o?
True
Let z(f) be the second derivative of -f**4/6 + 2*f**3/3 + 6*f**2 - 20*f - 3. Let b be z(-4). Which is smaller: b or -73/2?
-73/2
Suppose 24*l - 7031 = 5*b + 27*l, 4221 = -3*b - l. Which is greater: 0 or b?
0
Suppose -7 = l - 4*d + 7, -3*l = -3*d + 24. Let s = -21 - l. Let c be 3/7*(-40)/s. Does c = 2?
False
Suppose 77*k - 63*k + 70 = 0. Let n be 2 + (-537)/105 - (-3)/k. Let a(v) = -v**2 - v - 5. Let r be a(0). Is r at least n?
False
Let y = -12800 + 12799. Are y and -9/4046 unequal?
True
Let z = 27 + -29. Let p be z/4 - (-8)/16. Let m = -415 - -416. Is p > m?
False
Let r be -5*(-66)/(-55)*3/(-6). Let d = r + -17. Is -2/3 less than d?
False
Suppose 0 = 4*j + 16, -10454 = 46*v - 41*v + j. Is v at least as big as -2090?
True
Suppose 642*n + 48 = 626*n. Let p be (10/(-4))/((-11)/22). Is n greater than p?
False
Let f = -28.1 - 11.9. Let r = -538 + 536. Which is smaller: f or r?
f
Suppose 4*t - t = -u + 311, u + 417 = 4*t. Let c be (-8)/(-12) + t/(-12). Let i be c/77*12 + (-2)/11. Is 0 at most as big as i?
False
Suppose 75*n - 70*n + 2300 = 0. Let w = -380 - n. Let k be 4/14 - (-558)/7. Are w and k unequal?
False
Let l = 9725.9 + -9726. Let h = 5 - 7. Let u = h - -1. Is l at least u?
True
Let w be (-9765)/(-28)*(-124)/(-93). Are 473 and w non-equal?
True
Suppose 3*o = 37*n - 45*n - 574, 0 = -5*o - 3*n - 905. Which is greater: o or -34?
-34
Suppose 4*b + 2365 = 5*r, -4*r = -5*b - 0*r - 2954. Is b > 6?
False
Let s = 132 + -114. Let a be s*(96/(-126))/2. Do a and -6 have different values?
True
Let j(r) = -23*r**2 + 5*r + 22. Let a = -75 - -72. Let u be j(a). Is u at least -199?
False
Let d = -229 + 321. Let g = 117.6 + -117.5. Which is greater: g or d?
d
Let f = 0.1282 - -13.8618. Let k = f + 9.82. Let z = 24 - k. Is 0 equal to z?
False
Suppose -2*x - 3*b + 18 = 0, x - 17 + 8 = 4*b. Suppose 5*l = -2*s + 46, 2*l = -0*l + 8. Let a = s - 6. Is a < x?
True
Let i be (60/65)/(-12) - ((-1782)/390)/(-3). Let g(w) = w**2 - 5*w + 2. Let n be g(4). Is n greater than or equal to i?
False
Suppose -t = -5*j - 176, 0*t - 5*j - 508 = -3*t. Is t at most as big as 167?
True
Let x = -2/7151 - -407617/35755. Which is greater: -0.17 or x?
x
Let m = 179.5 - 77.5. Which is smaller: -0.16 or m?
-0.16
Let f(l) = l**2 - l + 16. Let q be f(-14). Let n = -197 + q. Which is smaller: n or 28?
28
Let u(d) = d**2 - 7*d + 5. Let z be u(6). Let w = 5 + z. Suppose -17 = -h + 4*j, -h = j + w*j + 28. Does -3 = h?
True
Let k = -7.413 - -7.213. Is 939/2 less than or equal to k?
False
Let g = -4.0139 - -4.0339. Let i = 109 + -46. Are g and i equal?
False
Let x = 1853/6875 + 2/625. Let z be (5952/(-20))/6 + 2/(-5). Let i = z + 50. Which is smaller: i or x?
i
Suppose -1068 = -g - 832 + 1883. Which is greater: g or