(l). Which is bigger: s or r?
s
Let c(o) be the second derivative of 3/2*o**3 - 7/2*o**2 + 1/20*o**5 + 0 + 21*o - 3/4*o**4. Let u be c(8). Which is bigger: 7/24 or u?
u
Let h be (-30)/(-9) + -4 + (-40)/(-6). Let j(i) = -4*i + 20. Let c be j(h). Let k be 0*(6/c - -1). Is k at least 0.1?
False
Let s = -87918588 - -6945419377/79. Let n = 3218 + -5105. Let m = s - n. Is m smaller than -1?
False
Suppose -222*k - 22 = -233*k. Suppose -262 = k*z - 260. Is -1/86 at least as big as z?
True
Suppose -4*s - 2236 = 25*s - 3*s. Are s and -598/7 non-equal?
True
Let i = -2/19 + 44/57. Let k = i + -20/21. Let n = 0.0458 - -3.4542. Which is greater: n or k?
n
Let x be ((-6)/4 + 2)/(8/112). Let a be (-3 - -4)*392/x. Suppose n + 2*n - 168 = 0. Is a less than or equal to n?
True
Let d(f) = 11*f - 74. Let n be d(6). Let g be ((-1)/(-2))/((-4)/n). Which is smaller: g or -6/127?
-6/127
Let z = -75.77 - 25.13. Let m = z - -101. Is -1/31 smaller than m?
True
Let z = 101676858/1535 - 66239. Do z and -1 have different values?
True
Let x be (15/(-21) + 1)*7 + -72. Let t be -8 - x - (-1 - -4)/(-1). Is 61 less than t?
True
Let w = 5055 - 5054.27. Are w and 18 non-equal?
True
Let w = -4664 - -3195. Which is bigger: -1471 or w?
w
Suppose 8*o = 31*o + 1633. Let j be -68 + 1/(-2)*4. Which is smaller: o or j?
o
Suppose -29976 = 60*p + 2244. Is p less than -527?
True
Let n(a) be the second derivative of -a**4/12 - a**3 - 9*a**2/2 + 4*a. Let m be n(-4). Let t be 4/(-40)*(-2)/(-5). Is m <= t?
True
Let i(k) = -3*k - 13. Let c be i(-6). Let z = -4 - c. Let l be z/(45/(-32))*1. Which is greater: l or 5?
l
Let a be (0 + 1)*(-6 + 455/(-7)). Which is bigger: -6 or a?
-6
Let s = 9.5 - -1.6. Let o = -11.5 + s. Is o equal to -1.3?
False
Suppose 0 = h + 3*h. Let r = -74/45 - -9824/5985. Let b = 6676/8645 + r. Which is smaller: h or b?
h
Let g be (4/10)/(14*20/(-200)). Is -14733 less than or equal to g?
True
Let h = 124279099 + -6339022495/51. Let n = 15459 + h. Let q = n - -18/17. Which is smaller: q or -0.15?
-0.15
Let i = 669 + -1098. Which is bigger: 0.5 or i?
0.5
Let z be -5 + 0 - 948/(-261 + 103). Let l = 40 + 58. Is l less than z?
False
Let a = 49.4 - 41.94. Let p = 7.3 - a. Which is bigger: 0 or p?
0
Suppose -17*b + 13*b + 2*n + 14826 = 0, 0 = -4*b + 4*n + 14836. Which is bigger: b or 3706?
3706
Suppose 14*b - 14 + 0 = 0. Let h be ((-42)/35)/((-66)/(-70) - b). Let k be ((-77)/h)/(((-2)/(-6))/1). Is -11 != k?
False
Suppose -24 = -4*n + 112. Suppose 2*z - 10 = -2*y - 28, -z + 21 = -2*y. Let w be 3 + (-3 - -3) + n/y. Which is greater: -1/5 or w?
-1/5
Suppose -10*b + 27*b + 187 = 0. Let k(q) = -q**3 - 11*q**2 + 2*q + 24. Let f be k(b). Let s be 1/(-4) + (-87)/4. Are s and f nonequal?
True
Let w be 1932/(-21)*1/(-4). Suppose w*a - 97 = 24*a. Which is smaller: a or -98?
-98
Let w(m) be the second derivative of 4*m**3/3 + 27*m**2/2 - 20*m + 2. Let l be w(-6). Let d be (l*9/(-54))/(2/(-4)). Which is smaller: d or -10?
-10
Let b = 14 - 0. Let x be (4 + b/(-4))*8. Suppose l - x*n = -n - 37, 4*n = 0. Are -36 and l nonequal?
True
Let b = 174 + -116. Suppose 17 = 75*o - b. Suppose 4 = a - 0. Is o less than a?
True
Let w = 8507 - 9015. Is -506 at most as big as w?
False
Let t = -0.619 - -1.317. Which is smaller: t or 3/4?
t
Let d be (3 + (-68)/34)/(2/14414). Is d less than or equal to 7206?
False
Let y = -129505 - -129502. Let f be (-16)/10*15/(-6). Let k be (2/(-4))/(2/f). Are k and y equal?
False
Suppose -229*m + 72 + 3 = -304*m. Are 12/865 and m equal?
False
Let y = -574 + 580. Suppose -4*o + 2*u = y*u - 604, 5*u = -20. Is 155 bigger than o?
False
Suppose 3*c + 3242 = 1322. Let h = -640 - c. Which is bigger: 4/55 or h?
4/55
Let g be 12/(-9) + (-490)/15. Let t = g - -60. Suppose -2*i + t = l, -3*i = -3*l + i + 28. Is l at least 17?
False
Suppose -4*c + 2*x - 10 = 0, -55*c + 53*c - 2*x - 14 = 0. Let v be (2*(-3)/(-15))/(c/(-1340)). Which is smaller: v or 136?
v
Let a(s) = 4*s**2 + 35*s + 73. Let u be a(-5). Suppose 0 = 5*i - 3*i + 3298. Let d = -21455/13 - i. Which is smaller: u or d?
u
Let c be -6 + 388/(-3)*1065/(-22956). Which is smaller: c or 0?
0
Suppose 6*j - 12 = -0*j. Let o(h) = 4*h**3 - 6*h**2 + 4*h - 1. Let s be o(j). Let i be -2*s/20 + (-50)/(-28). Which is smaller: 2/3 or i?
i
Let x = 8621 + -8840. Which is greater: x or -195?
-195
Let b(t) = -t**2 + 29*t - 55. Let x(c) = -11*c - 28. Let o be x(-5). Let i be b(o). Is i smaller than 2/11?
True
Let j be (8 + (-63 - -3))*(-23)/4. Let x be (2366/j - 12) + (-2)/(-23). Is -33/8 at most as big as x?
True
Suppose -2*x - 23 = 5*g, -x - 5 = 3*g - 2*x. Let s be (1*g/17)/1. Let v = 394 + -394. Is v smaller than s?
False
Let p be (-2)/7 + (-1404)/(-14). Suppose 2*f + p = 4*s, 4*f - 36 = -2*s + 14. Let n = -5 + 29. Which is smaller: s or n?
n
Suppose 33875 = -6*h - 265*h. Which is smaller: h or 4?
h
Suppose 0 = -287*v + 288*v - 2. Suppose 4*a = 4*r + 364, r + 155 + 32 = v*a. Are -2 and a nonequal?
True
Suppose -15*s = -26*s + 11. Which is smaller: s or 2/59?
2/59
Let v(g) = 27*g - 116. Let i be 2/2 - ((-8 - 2) + -4). Let n be v(i). Which is bigger: -1 or n?
n
Let m = 9 - 9. Let o be (-13 - (-38493)/2870) + (-4)/10. Are m and o equal?
False
Let p be ((-8)/(-14))/(50/175). Suppose -p*f - 27 = 25. Which is smaller: f or 1?
f
Let l = -4/21721 + -21820292/21721. Is l > -1004?
False
Let h(q) = 16*q**3 + 1107*q**2 + 206*q - 68. Let k be h(-69). Is k at most as big as -6/15757?
False
Let m = 6233.32 - -86.68. Which is greater: -0.2 or m?
m
Let c = 3220786733/3505320 - -41/100152. Let x = -919 + c. Let a(k) = -k - 4. Let n be a(-5). Which is smaller: n or x?
x
Let h be 13 + -3*4/(-12). Let b be (4/10)/(2/10). Suppose h = 3*t - b*z, 5*z + 0*z - 11 = -4*t. Which is smaller: 18/7 or t?
18/7
Suppose 1640 = 5*l + 1430. Let j be l/(-4)*(7 - (-583)/(-33)). Is 0 at least as big as j?
False
Let n = 48 - 17. Suppose 0 = -27*j + n*j - 24. Suppose 3*t + 4*f = -8, 3*t + 2*t + 3*f + j = 0. Which is smaller: -2/13 or t?
-2/13
Let o be (154/55 - 2)/(-1)*55/(-87). Is 1 equal to o?
False
Suppose 4*b + 10569 = -3*s, -3*b - 2*s = 3*s + 7913. Is b < -2645?
True
Let p(u) = u - 6. Let q be p(8). Suppose -4 = 2*t + q*k, 7 = -t - 2*k - 0*k. Let n be (0/t)/(8/4 + -1). Is n > 4.2?
False
Let z(h) = 17*h**3 + 2*h**2 + 1. Suppose x = -3*x + 4*o, 2*x - 10 = -3*o. Let v be z(x). Let d = -1886/13 + v. Is -1 > d?
False
Suppose -20*s = -22*s - 2*w - 166, 0 = -3*s - 5*w - 261. Is s > 57?
False
Let g be ((-11)/(-1))/(-10 - (-1190)/120). Which is smaller: 8 or g?
g
Let j(k) = k**2. Let u(w) = -5*w**2 + 7*w + 4. Let t(d) = -4*j(d) - u(d). Let g be t(9). Which is bigger: g or 12?
g
Let m(p) = 10*p**2 + 95*p + 12. Let i be m(-10). Which is smaller: i or 58?
58
Let n = 117 + -188. Let c(i) be the third derivative of -i**5/60 + 2*i**4 - 124*i**3/3 + 271*i**2. Let k be c(44). Which is smaller: k or n?
k
Let z be (8 - 7)/(3/(-129)). Let r = 37 + z. Let n(m) = -3*m - 3. Let t be n(r). Does 18 = t?
False
Let m = 12 + 38. Let d = m + -49.67. Let k = d + -0.35. Which is bigger: -1/6 or k?
k
Let m(g) = -2*g**2 - 20*g + 2. Let y be m(-10). Suppose 3*p + 1 = 7. Suppose 0 = -2*n - 2*d, 5 = -p*n - y*n + d. Which is smaller: 0 or n?
n
Let i(a) = -a**3 + 13*a**2 - 15*a + 6. Let s be i(9). Suppose -6*f + 735 = s. Which is smaller: f or 89?
89
Let x = -2719 + 860. Is x at most as big as -1859?
True
Let o be ((-4)/8)/((-1)/(-62)). Let i = o + 32. Let s be 16/8*i/(-2). Which is smaller: 14 or s?
s
Suppose -21 - 191 = -212*x. Which is bigger: -11/58 or x?
x
Let o be (-6083)/26 + (-1 - -2). Let g = -233 - o. Suppose 4*d - 4*l - 39 = -47, 3*d = -4*l + 8. Is g less than or equal to d?
True
Let v = -2126.5 - -2105. Are -3/5 and v nonequal?
True
Suppose -138*u + 2938 + 98 = 0. Which is greater: -13 or u?
u
Let r = 325 - 189. Suppose -8536 = -77*m + 1138 + 798. Is m > r?
False
Let o be (-624)/528 + -5 + (-456)/(-88). Let y = 284/7 + -2363/56. Which is smaller: y or o?
y
Suppose -1 - 14 = -3*m. Suppose 0 = -m*y - 3*y - 16. Suppose -2*l = 11 - 3. Is l greater than y?
False
Let r = 123 - 121. Let t be 5/5 + r/(28/(-10)). Which is smaller: 16 or t?
t
Let l = 0.83 + -0.03. Let r = 775.7 + -775. Let y = r - l. Is y at least -8?
True
Let f = 731/138 - 118/23. Which is smaller: f or -14?
-14
Suppose -3*a + 15 = 2*a. Suppose -2