17. Let s be (-864)/56 + (-12)/21. Let l be x(s). Which is bigger: p or l?
l
Let a = 0 - -7. Let r = -43 - -37. Let j = r + a. Which is greater: j or 0.1?
j
Let f be ((-7)/14)/((-15)/(-26))*1. Let c = -4/15 - f. Is 2 < c?
False
Let k = -805.9096 + -0.0904. Let c = k - -812.86. Let j = c + 0.14. Is j bigger than 0?
True
Let v(u) = u**2 - 13*u - 1. Let i be v(13). Let c be 2 - 3*(-157)/11. Let g = c - 45. Is i at least g?
False
Let n(g) = g**2 + 57*g - 142. Let o be n(-52). Is o bigger than -0.1?
False
Let h(q) = -q**3 - 8*q**2 + q + 9. Suppose f + 17 = -4*j - 11, -3*f - 39 = 3*j. Let u be h(f). Which is bigger: -8 or u?
u
Suppose 10*m = 8*m. Let d = 351606/2227 - -23/131. Let u = -158 + d. Which is smaller: u or m?
m
Suppose 0 = -2*b - 10, u - 4 = b - 2*b. Let m be (6/u)/(-2 + 14/2). Which is smaller: 0.7 or m?
m
Let q = 92 - 89. Suppose q*i = -30 + 33. Which is smaller: i or 1/127?
1/127
Let c be ((-78)/(-48)*4)/(3/(-6)). Suppose 3*m = -m - 4. Let b = m - c. Is b equal to 11?
False
Let p be (-3)/((-9666)/268) + 197/(-1773). Which is greater: p or -1?
p
Let u be (-73)/219*(-1203 - 0). Is 401 bigger than u?
False
Let t(x) = 2*x**3 - 30*x**2 - 77*x + 35. Let b be t(17). Is b at most as big as -825/7?
True
Suppose -44 = 46*r + 140. Which is smaller: r or -35/12?
r
Let j = 8 - 3. Suppose x + g - 7 = 0, -5*x = g - 32 + j. Suppose 30 = -x*t - 5*k, 5*k - 42 = 4*t - 0*k. Which is smaller: t or -7?
t
Let r = -2843 + 2839. Let a = -0.17 - -0.1. Are r and a unequal?
True
Suppose 5*f + 3*w + 6 = 0, -5*f = -11*w + 7*w - 8. Is 2/943 at least as big as f?
True
Let m be 74/(-12)*1414/(-303). Is 28 at most as big as m?
True
Let x = 2091 - 48102/23. Which is greater: x or 1?
1
Let x = 194 + 49. Let g be (-111855)/460 - (-1)/4. Let u = x + g. Which is smaller: u or 0?
0
Let q = 102 + -103. Which is bigger: -2/157 or q?
-2/157
Let r = 562 - 561. Which is smaller: r or 215?
r
Let l(j) = -j**2 - 10*j - 13. Let i be l(-6). Let b = -1.726 - 0.274. Is i <= b?
False
Suppose -5*q + 2*x + 2*x + 130 = 0, -3*q = -2*x - 76. Suppose -5*w = -16*w - q. Is -6/5 equal to w?
False
Let q = -79 - -78. Which is bigger: q or -1.7?
q
Let t = -149092/133 + 1121. Is 0 greater than t?
False
Let q(h) = -h**3 - 10*h**2 + h + 12. Let f be q(-10). Let u be 0/(-12)*f/(-4). Suppose u = -3*c + 3 - 15. Do -4 and c have the same value?
True
Suppose -g - 2*g + 15 = 0. Let v = 79 + -76. Suppose -2*o + 3 = -g*k - 16, v = k. Which is bigger: 16 or o?
o
Let w = -95.32 - -94. Let o = 1.3 + w. Is o smaller than 0?
True
Suppose 3*l = b + 43 - 64, 0 = -4*l - 12. Let z be (3 - 9)/(1 + -2). Let x be z/21 - (-75)/7. Which is smaller: b or x?
x
Let t(r) = -r**2 - r - 9. Let i be t(-8). Let u = -43 - i. Suppose 5*f = 3*z - 10, -f - u = 2*f - 5*z. Which is smaller: f or 2?
f
Let a = 16595/24 + -691. Let g = a - -1/24. Is g at least as big as 0.02?
True
Suppose -3 = -h, -3*h = -r - 0*h - 21. Let m be (150/6)/5 - (-1 - -5). Is r greater than m?
False
Let m = -218 + 219. Which is bigger: 3/37 or m?
m
Suppose n = 3*b + 30, -3*n + 45 = n + 3*b. Let l be (0 + (-265)/n)*3. Which is bigger: l or -51?
-51
Let j(w) be the first derivative of w**3/3 - 7*w**2/2 - 6*w + 10. Let z be j(10). Which is smaller: z or 2/7?
2/7
Suppose 6 + 4 = 5*i. Suppose -5*g - 18 + 2 = i*y, 2*y - g - 8 = 0. Suppose x = 2*b + 4, -3*x - 4*b - 2 = -3*b. Which is smaller: x or y?
x
Let f be (-4)/5*20/(-8). Suppose h = 5*m - 14, 3*h = -f*m - m - 24. Are -10 and h nonequal?
True
Let d be (220/50)/((-4)/(-10)). Let b = -13 + 7. Let z be (-76)/b + 4/(-6). Which is greater: d or z?
z
Let y be 16/14 - (1 - 0). Let h(b) = -b**2 + 10*b + 11. Let j be h(12). Let d(w) = 2*w + 26. Let k be d(j). Which is smaller: k or y?
k
Let a be (-2)/(-10) + 48/45*12. Which is smaller: a or -0.5?
-0.5
Let w = -6923/5 + 1383. Is 25 not equal to w?
True
Suppose 3*f = -42 - 18. Suppose 0 = d + 2*p + 29, -26*d + 23*d - 5*p = 81. Which is bigger: f or d?
d
Let i = 3455.154 - 3448. Let l = i + -0.154. Is l != 0?
True
Let s(g) = -16*g - 64. Let j be s(-4). Is j equal to -4/39?
False
Let q be 8/33*(-2)/4. Suppose 5*l + 6*l = 0. Which is bigger: q or l?
l
Suppose 5*b = -2*z + 22, 4*b - 5 = -2*z + 13. Which is greater: -3/53 or z?
z
Let d(t) = 4*t - 6. Let n be d(3). Suppose u - n = -q, u - q = q - 9. Let j(g) = g**3 - 7*g**2 + 5*g + 7. Let y be j(6). Is u greater than or equal to y?
True
Let o = 11 - 10.2. Let z = 1.2 + o. Is z equal to 4?
False
Let j be 2/11 - 20/(-11). Let k(b) = -39*b - 3. Let a be k(-5). Let d be 5*(a/(-100))/(-4). Which is greater: d or j?
d
Let g(u) = u**2 - 17*u - 12. Let m be g(18). Suppose 4*r = -m*r. Which is smaller: r or -4/9?
-4/9
Let i(p) = -p**3 - p**2 - p + 28. Let h be i(0). Let w = 50 - 23. Which is smaller: w or h?
w
Let u = -193 + 193. Is u smaller than 2/417?
True
Let d be 213/142*(-1)/((-3)/(-20)). Are d and -3/19 equal?
False
Suppose 0 = -c - 5*o - 15, -o - 2*o - 9 = c. Let j be (-76)/140 + (-1 - (-56)/49). Is c greater than or equal to j?
True
Suppose 5*l + 2*j = -71, 7*l + 35 = 4*l - 5*j. Is l < -15?
False
Suppose 104*k - 96*k - 576 = 0. Is 73 < k?
False
Let o = -130043/4938 - -3/1646. Is o at least -26?
False
Let x = -17.3 + 1.3. Let b = -24 - x. Let n = -11 - b. Is -1/2 > n?
True
Let o = -15.3 + 21.4. Let r = -5.9 + o. Which is smaller: r or 0.04?
0.04
Let s = -6422/341 + 612/31. Suppose -3*w + 3*v - 5 = v, -v = -2*w - 2. Is s at least as big as w?
False
Let i(s) = 2*s**3 - 17*s**2 - 16*s + 14. Let r be i(10). Is 155 < r?
False
Let r(q) = -3*q + 7. Let x be r(5). Let i(n) = -n**3 + 20*n**2 - 64*n - 4. Let g be i(16). Which is smaller: x or g?
x
Let b = 5/6 - 1/3. Suppose 4*z - 12*k = -15*k - 15, 0 = 4*z - 3*k - 15. Which is bigger: b or z?
b
Suppose -2*x + 2*s - 3 + 11 = 0, -3*x + 2*s = -11. Suppose p + x*p = -12. Let f be p/((-6)/2)*-1. Are -2/9 and f equal?
False
Let a = -932 + 979. Which is bigger: 49 or a?
49
Let t = 233.9 - 234. Is 0.116 not equal to t?
True
Let u be (-1150)/(-24) - 79/(-948). Which is smaller: -5 or u?
-5
Let b be (((-45)/380)/3)/((-5)/(-10)). Which is smaller: 1 or b?
b
Let y(m) = m**3 - 5*m**2 - 11*m + 96. Let q be y(7). Which is smaller: q or 116?
116
Suppose -44*j + 42*j + 14 = 0. Which is smaller: -11 or j?
-11
Suppose -115*u + 121*u + 6 = 0. Which is greater: 3/14 or u?
3/14
Let g be (3 - 4)*2*1. Let d be 2 - g/8*-4. Let b = 29/8 + -593/168. Which is greater: d or b?
d
Let r be (-2)/(-4) + (-10)/(-4). Let s = r + -9. Is -6 less than s?
False
Let o = -50 - -92. Let y = o + -291/7. Is y at least as big as 1?
False
Let y = -1 + 2. Are 2 and y nonequal?
True
Let g = 27 - 23.7. Let n = 3.3 - g. Which is smaller: n or -0.1?
-0.1
Let r be (-4)/6*(-4 - -1). Let i be 4/14 - 132/(-28). Let y be i/15 - (-40)/42. Are y and r equal?
False
Let x be (2 + 1)/(55/412). Let y = -234/11 + x. Let r = 443 - 443. Which is smaller: y or r?
r
Let d = 8 + 43. Let y = d - 52. Which is greater: y or 0.71?
0.71
Let x = 1379 + -840. Which is bigger: 538 or x?
x
Let z(j) = -j + 7. Let h be z(5). Let q(d) = d**2 - 5*d + 3. Let x be q(5). Let r be -2 - (2 + -3 + (x - 3)). Which is smaller: h or r?
r
Let o be ((-469)/(-70) + -7)*2. Which is greater: o or 0?
0
Let w(r) = -11*r**2 + r + 10*r**2 - 2 - 6*r. Let t be (-16)/(-40) + 44/(-10). Let l be w(t). Does 4 = l?
False
Let o be 1 + (-134)/(-66) + -3. Suppose 0 = -5*q + 4*q + 4. Suppose 6*i = q*i - 2. Is o less than i?
False
Let a = -385/8 - -44. Which is greater: -5 or a?
a
Let u = -12 - -18. Suppose -u*m = -5*m - 3. Suppose -5*d + 7 = -d - b, 0 = m*d - 5*b - 18. Is d equal to 1?
True
Let f = 1127.69 + -1095. Let h = -33 + f. Is h at least 1?
False
Let x be 8 + -1 + 12072/(-1722). Is 1 < x?
False
Let c be (-2)/(301/101 + -3). Do c and 100 have the same value?
False
Let k be (54/(-36))/(0 - (-1)/56). Is k equal to -84?
True
Let y = -5/39466 - -5368351/7695870. Let g = 2/65 - y. Which is greater: g or -2?
g
Suppose 15 = 27*m + 42. Is -24/23 > m?
False
Let j = 0.183 - 157.183. Let s = 153 + j. Is s at most -5?
False
Let f = -18847 + 18768. Let k(n) = -19*n - 2. Let b be k(4). Which is greater: f or b?
b
Let d = -1306 + 1299. Which is smaller: -23 or d?
-23
Let z be 1/(-1) + 1/(-6). Let x = -7/120 + -191/840. Is x >= z?
True
Let r = 2/6583 + 13116/164575. Are 15/2 and r unequal?
True
Let j = -