 2*a = 5*y - 98. Suppose f - 86 = -4*k, 50*k - 54*k - 5*f + 78 = 0. Is y greater than k?
False
Let y(w) = -2*w**3 - 26*w**2 + 13*w - 3. Let r(j) = 5*j**3 + 77*j**2 - 40*j + 9. Let s(m) = -3*r(m) - 8*y(m). Let t be s(23). Which is greater: t or 364?
t
Let j = -289264 + 4337432/15. Let b = -102 - j. Is b >= -1?
True
Let n(b) = 4*b + 1. Let d be n(7). Suppose 0 = k - 1, 4*k - 2*k = -3*h + d. Suppose 0 = -3*g + h*g. Which is bigger: g or -2/15?
g
Suppose -67*a + 65*a + 32 = 0. Let v be (-12)/a - (-2224)/64. Is v greater than or equal to -1/3?
True
Let f be (-24)/10*30/2. Let d be 9/(f/(-16)) - (4 + 0). Let y be (-48)/(-30) + (-3)/1. Is y > d?
False
Let w = -8403 + 8404. Is -5/202 < w?
True
Suppose 0 = -4*b + 4*o - 167 - 305, 5*o = -b - 106. Is -145 greater than b?
False
Let j = 7.647 - 8.17. Let d = 0.5 + j. Is d less than 0.2?
True
Let f = -44527 + 44526. Are -12174 and f non-equal?
True
Let n = 0.11 - -33.39. Let j = n + 3.5. Let x = j + -32. Is -3 bigger than x?
False
Let s be (6*(-3)/(-105))/((-42)/680960*-8). Which is greater: s or 346?
s
Let u be 3*(-15)/((-180)/56). Suppose 5*q - 4*q + 17 = -4*z, 0 = 3*z + q + u. Which is smaller: z or 6?
z
Let x = 7262286/156515 + 2/31303. Let o(i) = 72*i**2 + 648*i + 45. Let f be o(-9). Do x and f have the same value?
False
Let w(f) = -8*f - 149. Let y(c) = -c**3 - 24*c**2 + 24*c - 25. Let z be y(-25). Let j be w(z). Which is bigger: -150 or j?
j
Let h = 2 - 1. Let f = 1781 - 1310.9. Let y = f + -470. Is y greater than or equal to h?
False
Suppose -2*q = 2*q + 12, -4*c = 5*q + 11519. Which is greater: c or -2877?
c
Suppose -35 = 5*y - 275. Suppose -y = -2*g - 4*n, 30*n = 28*n + 6. Let r = 38 + -21. Is g >= r?
True
Let m(i) be the second derivative of i**5/20 - 7*i**4/12 + 3*i**3/2 + 3*i**2/2 - 45*i. Let c be m(5). Is -8/3 equal to c?
False
Let l = -60 + 109. Let r = l - 50. Let o = -100 - -100.26. Which is bigger: o or r?
o
Let b be (-18)/180 + 648/1680. Which is bigger: 16.3 or b?
16.3
Let z(n) = 3*n**3 - 56*n**2 - 18*n - 23. Let b be z(19). Is b bigger than 0.0361?
False
Let j = 81 - -177. Let y be j/(-8)*(-32)/24. Suppose 5*d - 78 = 132. Which is greater: d or y?
y
Let n = -34.49 - -38.89. Which is smaller: 8 or n?
n
Suppose 2*z + z = 9, 0 = -4*r + 5*z + 269. Let s = 3990133/55806 - 2/27903. Which is bigger: r or s?
s
Let o be ((-118)/177 + 1/(-3))*2/34378. Is -1 at least as big as o?
False
Let l be -4 + (-38722)/(-437) - (0 + -2). Do 88 and l have the same value?
False
Let o be 44/(352/3) - 3375/(-24). Which is smaller: o or 180?
o
Let t = -1409012/19 - -74338. Is 179 > t?
False
Suppose 6*k + 16*k = 10956. Let a = 493 - k. Let j = -199/66 + -20/11. Which is smaller: j or a?
a
Let f = 0.779 + -388.779. Let o = 388.4 + f. Is 0.6 at least as big as o?
True
Let d = 57 - 74. Let x = d - -9. Let h be 20/34 + 8 + x. Is h greater than 0?
True
Suppose r - t - 5 = 0, 0 = -5*t + 9 + 16. Let q be ((-75)/(-2))/(3/4 + 0). Let f be (20/q)/((-8)/r). Is f bigger than -2?
True
Let k be 12/(-42) + 3045346132/(-48132). Let s = k + 63271. Let m = 5533/161586 + s. Is 1 at least as big as m?
True
Suppose 121 = -5*v - 4*h, 3*v - 146*h + 71 = -148*h. Which is bigger: -431/20 or v?
v
Let l(z) = -80*z**2 + 88 - 86*z**2 + z + 165*z**2. Let y be l(0). Which is greater: 87 or y?
y
Suppose 3*n - 4*s = 30, -s = -n + 36 - 26. Let h(o) = o**2 - 11*o + 9. Let q be h(n). Which is smaller: -180 or q?
-180
Let h(m) = m**2 + 169*m + 1289. Let g be h(-161). Is -5/83 > g?
False
Let j be ((-4)/(-18))/((-488)/(-72) - 7) - 7. Which is greater: -1/400 or j?
-1/400
Let w be -4*((-9)/12)/(54/(-4)). Suppose 82*s = 107*s. Are s and w nonequal?
True
Let b = 45893135072/24745 - 9273213/5. Let h = b - 14/101. Which is smaller: 0 or h?
0
Suppose -1739*r + 339 = -1736*r. Suppose -1477 = -r*a + 110*a - 5*t, 5*t = 25. Which is smaller: 483 or a?
483
Suppose -3*z = -3, 0*j + 11 = -3*j + 2*z. Let u be 23 - 15 - (-1)/(1/j). Suppose -u*t + 17 = 3*a - t, -a + 24 = 5*t. Is 31 bigger than a?
True
Let i = -18379 + 17869. Is -1 bigger than i?
True
Suppose 5*h - 8*s + 3*s = 30, -3*s - 20 = -5*h. Are 16/89 and h equal?
False
Let s(f) = -11*f + 114. Let n be 35/10 - -1*(-3)/6. Let w be s(n). Is 82 at most w?
False
Suppose -9*u = 2*u + 1265. Let s be 46/u*((-52)/21 + 2). Is -1 > s?
False
Suppose j - 460 + 702 = 0. Let w = 130 - 373. Is j smaller than w?
False
Let g be (-22)/42 + 104/(-728). Let b = -1 + 25. Which is smaller: b or g?
g
Let w be (1 - 5) + 8505/2121. Let r = 109/33 + -29/11. Which is smaller: r or w?
w
Suppose 0*i + i = 1. Let a be (44/6)/(6/(-27)). Let v = a - -923/28. Which is bigger: i or v?
i
Let m(x) = -4*x**2 - 23*x + 6. Let g be m(-6). Let w be 3 - 217/111 - 40/24. Which is smaller: w or g?
w
Let f = -2 - -1. Let l = 363 - 348.7. Let x = 40.3 - l. Is x at least f?
True
Let s = 141 + -140.8. Let t = -0.33 + 0.312. Let x = t + 0.088. Which is greater: s or x?
s
Suppose 2*g - 8743 = 5*v - 26709, 3*g + 9 = 0. Which is greater: 3591 or v?
v
Let s = -11038 + 143368/13. Let d be -33 - (-15)/3 - (107 + -125). Which is smaller: s or d?
d
Let k = -26 + 17. Suppose -2*g = -12 + 20. Let x be (g/20*3)/(3/2). Do x and k have the same value?
False
Let w(k) = 26 - 13*k - 57 + 10*k - 53. Let s be w(-26). Let h = -18 + 11. Is h < s?
True
Let w = 3173906819/14537 + -218333. Which is bigger: 0 or w?
0
Let d = -1548 + 770. Let n = 810 + d. Let t(v) = 2*v**2 - 11*v - 6. Let o be t(8). Which is greater: o or n?
o
Suppose -14*f - 20 + 34 = 0. Let a(j) = j**2 + 4*j. Let c be a(4). Let z be (f - (-12)/(-8))/(9/c). Which is greater: z or -2/7?
-2/7
Let k = 24/13 - 98/39. Let n(o) = -o**2 - 12*o + 2. Let b be n(-7). Let q = b - 75/2. Which is greater: q or k?
q
Let j be 40/(-19560)*(-948)/(-4). Which is smaller: j or 0?
j
Suppose -5*c - 11*c - 33467 = 33*c. Is -684 at most as big as c?
True
Let p = -6184/23 - -269. Suppose -8*d = -9*d. Are p and d equal?
False
Let y(a) = a**3 + 17*a**2 - 39*a - 16. Let k be y(-19). Suppose 2*i + 69 = 2*m - 21, -k*m = 5*i + 225. Which is smaller: -42 or i?
i
Suppose -24*d + 4*d = 25*d + 2880. Do -1084/17 and d have different values?
True
Let m(l) = l**2 + 39*l + 325. Let p be m(-14). Let k be 3 + 543/(-18) - -3. Are p and k equal?
False
Let v be 3*((-30)/(-120))/(6/(-8)). Is -2/6541 at least as big as v?
True
Let g(x) = -3*x**3 + x**3 - 4*x**2 - 2 + 9 - 6. Let t be g(-2). Let n be 765/(-27) + t/3. Is n less than -26?
True
Let u be 11/253*(1/(-1) - 0). Which is bigger: u or -7.2?
u
Let r = 0.1634 - 0.1634. Which is smaller: 0.19 or r?
r
Let x = -12.173 - -10.97. Let y = x + 0.173. Let s = y - 12.97. Is -1 less than s?
False
Let t = -123 - -188. Let x = t - 135. Is 2/5 less than or equal to x?
False
Let l be 8*-2 + (-10 - 112/(-8)). Let d = l - 12. Which is smaller: d or -1/3?
d
Suppose 0*o = 3*o + 4*f - 4, 5*o + 12 = -2*f. Let r = -0.014 + 0.179. Let z = r + -0.155. Which is smaller: z or o?
o
Let s be 2/18 - (-159)/27. Let k(r) = -2*r**3 + 9*r**2 + 7*r + 2. Let h be k(s). Are -64 and h non-equal?
False
Let r = 6821.203 - 6824. Let z = -0.397 - r. Does z = -0.1?
False
Let l(v) = -v. Let t be l(-7). Suppose 0*k = -t*k + 35. Suppose -5*m + 46 + 4 = 0. Is m at most k?
False
Suppose 111*t = -119*t + 242*t + 216924. Is -18077 < t?
False
Let m(d) = -14*d**3 - 3*d + 3. Let w be m(1). Let u be (-145 - (9 - 2))/w. Is 11 less than or equal to u?
False
Let t = -173/20 + 1251/140. Suppose 0 = -r, -8*n + 4*r - 21 = -5*n. Which is smaller: t or n?
n
Let l = 16323 - 16323. Which is greater: l or 5/4541?
5/4541
Let v = 4295 + -3449. Which is bigger: 848 or v?
848
Suppose 0 = -5*m - 45*m + 5*m + 45. Which is greater: m or 3417?
3417
Suppose 0 = -v - 2 + 3. Let z(r) be the third derivative of -r**6/60 + r**5/30 - r**4/12 + r**3/6 - 110*r**2 + r. Let q be z(v). Which is smaller: q or 15?
q
Suppose -5*z = -2*g - 130718, 4*z - 4 - 12 = 0. Let q be (-7)/2 - g/19454. Which is smaller: 1 or q?
q
Let u be (0/1 - -2)*54/(-36). Suppose -3*c = -4*f + 15, -3*f - 2*c = f - 30. Suppose -n - 5*m = -4, 5*n = -m - f + 2. Which is bigger: n or u?
n
Let u be -3 - 232/(-72) - ((-118)/(-126) + -1). Which is greater: u or -1/207?
u
Suppose -11*z + 12 = -y - 6*z, -2*z + 3 = -y. Which is smaller: y or -0.342?
-0.342
Suppose 110*x = 121*x + 121. Let v be 11232/1056 + (-4)/x. Which