 21/(-4)*(-20)/(-5). Let z = p + 9. Suppose 37*u - 26*u + 143 = 0. Which is greater: z or u?
z
Let w(c) = 4*c**3 + 2*c**2 - 2*c + 1. Let a be w(1). Let y = 5/1093128166 + 98501778968375/15278652376182. Let o = y + -4/1553. Which is smaller: o or a?
a
Let f be (-17)/2*(22 + -16). Which is greater: f or -80?
f
Let z = -32 - 6. Let b = 371 + -331. Let o = z + b. Do 2 and o have the same value?
True
Suppose -226 = -5*r - 2*n, 0 = -2*r - 3*n + 5*n + 82. Let d = 71 - 26. Is d smaller than r?
False
Let o be ((-2)/(-3))/(28/(-546)). Let a(w) = -3*w + 25. Let x be a(o). Do 66 and x have different values?
True
Suppose 25*w - 544 = 481. Let x = w + -5. Which is greater: 39 or x?
39
Let o(r) be the third derivative of -9*r**4/8 - 61*r**3/3 + 60*r**2. Let u be o(-5). Is u less than 6?
False
Let d be (-296)/(-40) + -8 + (-286)/190. Let i = -2 - d. Do -8 and i have different values?
True
Let n = -162/11 - -6491/440. Let m = -25214 + 25216. Is n >= m?
False
Let d = -53/1610 - -1/230. Let g = d + 8/105. Which is bigger: 1 or g?
1
Let m = -21 + 18. Let g(z) = 2*z**2 + 5*z + 2. Let v be g(m). Let h(r) = -r - 6. Let s be h(-8). Which is smaller: s or v?
s
Let v = -342.35 - -345. Let k = v - 9.65. Let d = 3 - 1. Which is smaller: k or d?
k
Let n = -63525 - -2731427/43. Is n >= -2?
False
Suppose 0*v + 5*v - 11 = -2*t, v = -20*t - 429. Let b = 0 - 22. Are t and b non-equal?
False
Let z(b) = -2*b**3 + 7*b**2 - 2*b - 4. Let m be z(5). Let f be (-112)/12*(-6468)/(-686). Do f and m have the same value?
False
Let r = -169 - -175. Let s be ((-5)/(-15))/((-317)/r). Is s > -1?
True
Let g be ((-2970)/(-132))/(8/(-3104)). Which is smaller: g or -1?
g
Let c be (-1 - -1)*((-12)/(-28))/(204/238). Which is smaller: 1/7096 or c?
c
Let o(w) = -3*w**2 - 2*w + 11. Let z be o(3). Let m = 2083/5 - 417. Which is greater: z or m?
m
Let m be (-8)/(52 + 4) + 3462/24038. Let q = 249/2 - 1241/10. Which is smaller: q or m?
m
Suppose 5*i - 3*n - 69 - 100 = 0, 3*n = 6. Let v be 10/i + 6/(-21). Are v and 4/69 unequal?
True
Suppose 22*l - 1295 = -1427. Suppose f = 3*v + 11 + 9, 5*f - 2*v = 61. Which is greater: l or f?
f
Let s = 14.06 + -14. Let f = -0.04 + s. Let m(d) = -3*d**2 + 50*d + 16. Let u be m(17). Is f less than u?
False
Let y = -90 - -205. Let s = 5567 - 5449. Is s not equal to y?
True
Let k = 0.2361 - 0.3361. Is 2/16893 smaller than k?
False
Let v = -3.93806 - 0.06194. Is 257 less than v?
False
Suppose -483 - 507 = -66*f. Is 17 bigger than f?
True
Let a = -1317569638 - -114731328934597/87078. Let v = a + 2/14513. Are v and 1 nonequal?
True
Let r(u) = 4*u**2 - 2*u - 3. Let l be r(3). Let w = 22 - l. Let n(v) = -v**2 - 7*v - 4. Let s be n(w). Is 6 equal to s?
True
Suppose -8*w + 1056 = 80. Let j be w/(-549) - 2/(-9). Which is bigger: -166 or j?
j
Let l(s) = s**3 + 5*s**2 - 6*s - 1. Let j be (-9)/1*((-40)/12)/(-5). Let i be l(j). Which is greater: i or 3/17?
3/17
Let j = 5910.1 - 5910. Which is greater: j or -3/2399?
j
Let m = 2 + -2.08. Let y = 690.6 - 693.6. Which is greater: y or m?
m
Let p = -0.572 - -426.572. Let j = 354 - p. Does j = -1/2?
False
Let q = -20317457/1813 - -355223/37. Let w = -1606 - q. Is w >= 1?
False
Let h = 4694 + -4918. Let r = -1.3 + 1.2. Which is smaller: r or h?
h
Suppose 358 = -d + 394. Suppose -16*m + 108 = -d. Let o(t) = 9*t**2 - t - 1. Let j be o(-1). Is j at least m?
True
Let s be 3*((-26)/(-52))/(3 + (-855)/(-6)). Let r = 3 - 2. Is s >= r?
False
Suppose -54*g + 5*x = -55*g + 315, 8 = -x. Is g less than 350?
False
Let x be (3 + -2 - -1)*2. Suppose -p - x = 3*p. Let l = -29.2 - -24.2. Is p at least as big as l?
True
Let l(x) = 5*x - 49 + x - 58. Let t be l(9). Is -54 less than t?
True
Suppose -6*b + 6 + 0 = 0. Let u be -4 + (0 - b)*-10. Let j be u/9 - 6/9. Which is greater: j or -3/5?
j
Let u be (-3417)/60 - (-3 + 14/5). Let w = -836 + 780. Which is bigger: u or w?
w
Let z = -33 + 32.87. Let u = -1236 + 674. Let v = u - -560. Which is smaller: v or z?
v
Let u(o) = -o**3 - 26*o**2 + 26*o - 17. Let d(b) = -b**2 - 2*b - 3. Let n be 1/3*(-15 - 3). Let h be d(n). Let z be u(h). Which is greater: z or 7?
z
Let v = -58563159/3199415 + -2/139105. Which is greater: v or -19?
v
Let j = 1935284962146/11387 + -169955648. Let r = j + 8/193. Is 1 at most r?
False
Let j(u) = 5*u + 2. Let q be j(2). Suppose 0*h - 15 = h. Let r be 1/q - (-5)/h. Which is bigger: r or -1?
r
Let f(h) = -10*h + 26. Let q be f(0). Let i(v) = -v**2 + 23*v + 76. Let c be i(q). Which is greater: c or -1?
-1
Suppose 6*w = 9*w - 12. Suppose 0 = -4*o - m - 1 + 5, 5*o - 5 = w*m. Suppose g + 5 - o = 0. Is -4 < g?
False
Let f = 37971072 - 53083555631/1398. Let b = 2/699 + f. Which is greater: b or 0?
b
Let x(c) = -c**2 - 4*c - 1. Let t be x(-3). Suppose -2*j + 2*v = -36, -4*j - t*v = -37 - 11. Suppose 2*u - 5*k = -32, -j = 4*k - 6. Which is bigger: -23 or u?
u
Suppose 5*x = -3*a - 13, -a + 8 = -x - 1. Let u be ((-5)/25)/(28/6 + x). Suppose 2*j = 5*j - 6. Is j <= u?
False
Let s be -3*(56/62 - 1). Let c = -371150 + 371151. Which is smaller: c or s?
s
Let p be -28 + 33 - (-156)/(-15). Let b = -1 - 1. Let h be -7 - (-2 - (b + 2)). Which is greater: h or p?
h
Suppose 3*a - 143 = -2*d + 8*a, 3*a + 15 = 0. Let l = 254 - 255. Let c be (-10*6 + 1)*l. Are c and d equal?
True
Let s = 28702 - 28314. Which is bigger: s or 8?
s
Let s = 19 - 23. Let a = -31 + 13. Let i = a - s. Which is smaller: -15 or i?
-15
Let n be (-736)/90 + (-12)/54. Let s(j) = 8*j - 5*j**2 + 14 - 12 - 12*j. Let h be s(1). Which is smaller: h or n?
n
Let r = 555 - 555.0298. Which is smaller: 2 or r?
r
Let c = -7819 + 7820. Which is smaller: c or 1/3061?
1/3061
Let a(p) = p**3 + 16*p**2 - 53*p + 77. Let o be a(-19). Which is bigger: o or -2/9587?
o
Suppose 7*z + 4 = 11*z. Suppose l + z = 2*f, -2*f - 2 = l - 5*l. Is -2/695 < l?
True
Let a be (-3 + 1)/2*34. Let y = -29 - a. Suppose -y*n = -99 + 4. Do n and 21 have the same value?
False
Let q = -226 - -219. Let a(x) = -x**3 - 8*x**2 - 2*x + 16. Let b be a(q). Which is bigger: b or -17?
-17
Let n = 3549.9 + -3550. Which is greater: n or -324?
n
Let w = 848 - 365. Let y = -270 + w. Are 0.3 and y nonequal?
True
Let j = 0.716 + -0.506. Let y = -0.68 - -0.18. Is y bigger than j?
False
Let b be (-4)/614 + (-1 - -1). Let f be (-32)/((-896)/84) + (-3 - 1). Is f greater than or equal to b?
False
Let f be 11/(39424/(-35216)) + (-6)/4*-6. Is -1 at most as big as f?
True
Suppose 4*g + 0 - 24 = 0. Suppose 0 = g*a - 7*a + 34. Let l = -602/5 + 120. Which is smaller: a or l?
l
Let g = 22 - -74. Let u = g + -98. Let z = -48.9 + 49. Which is bigger: z or u?
z
Let i = -61 - 233. Let w be (2/1)/(6 - i/(-48)). Which is smaller: 1/5 or w?
w
Let s(j) = -j**3 - 7*j**2 - 5*j - 79. Let o be s(-10). Is 272 > o?
True
Let n(j) = j - 1. Let m(b) = 11*b + 59. Let q(a) = -m(a) + n(a). Let i be q(-6). Suppose i = -7*z + 3 - 24. Which is smaller: z or -0.12?
z
Let v be (-1 - 0) + 1 + 35. Suppose -6*k + k + 5*t = -v, -5*k + t + 19 = 0. Suppose -2*m - 2 = 0, k*m - 122 = -3*w - 2*w. Is w >= 25?
True
Let r be 159/(-360) + (-4)/(-10). Let b(g) = -5*g**2 + 21*g + 1. Let l be b(4). Suppose -p - f = 2, -l*f - 3 = p - 3*f. Which is smaller: r or p?
p
Let p = 415/3421 + -66/311. Which is smaller: p or 179/4?
p
Let i = -73/112 + 1611/2128. Which is greater: i or 27?
27
Let h = -499 + 834. Let p = h + -329. Which is smaller: 4 or p?
4
Let q = 1.5 + 2.1. Let u = 4.3 - q. Let x = -0.3 - u. Is 1/4 at most as big as x?
False
Let p be (-2)/(-4) + (-275)/2. Let r(s) = 2*s**3 - 22*s**2 + 5*s + 13. Let n be r(10). Are n and p nonequal?
False
Let p be 39 - (2/(-4) - (-18)/4). Suppose -4 = -11*n + 13*n - 4*k, -4*n - k = p. Is n greater than -8?
False
Let l be 59/(-40) + (-2)/5. Let p = 72/5 + -211/15. Which is smaller: l or p?
l
Let k(n) = 19*n**2 + 1022*n - 215. Let q be k(-54). Let f = -2985/7 - -946231/2219. Which is greater: q or f?
q
Suppose -45*k - 441 = -54*k. Is k less than or equal to 14?
False
Let w = -9 - -1. Let x(m) = 167 + 150*m - 316 + 137. Let o be x(0). Which is smaller: w or o?
o
Let i = 71913/920 - 1471/40. Is i greater than 41?
True
Suppose 106*o + 9380 = -28*o. Is o less than or equal to -74?
False
Let x(k) = 111*k + 8107. Let i be x(-66). Which is smaller: 775 or i?
775
Let b(m) = -m**2 + 3*m + 5. Let i(c) = c + 2. Let o be i(4