 8. Suppose 3*k - 22 = -4*b, 2*b + 22 = 4*b - 4*k. Let t(s) = s - 11. Let r be t(b). Put d, 5, r in descending order.
5, d, r
Let r = -937/5 - -188. Sort -1/4, r, 1/8.
-1/4, 1/8, r
Let o(l) = -l**2 - 5*l. Let f be o(-5). Let x be (-3)/(-12)*-249 + f. Let j = 63 + x. Put 0.5, j, -3 in ascending order.
-3, 0.5, j
Suppose 5*y + 12 + 3 = -5*u, -2*u = y + 8. Let s be (2/6)/(9/27). Let h be (-12)/(-9)*3*1. Sort y, s, h.
s, y, h
Let w = -2 + 2. Let g be ((-6)/9)/(-1)*-6. Let j = g - 1. Put j, w, -4 in descending order.
w, -4, j
Let x be -2 + (-4 - -4 - -4). Suppose 0*l = -5*y + 5*l, 0 = -3*l + 9. Sort -1, y, x in ascending order.
-1, x, y
Let t be (-50)/(-20)*18/(-5). Put 4, t, -2 in increasing order.
t, -2, 4
Let j = 0.029 + 0.011. Put j, -0.1, -5 in increasing order.
-5, -0.1, j
Let z = -20/7 - -33/14. Sort z, -4, 0.1 in decreasing order.
0.1, z, -4
Let c be 62/(-28) - 5*8/140. Put c, 5, -3, 7 in decreasing order.
7, 5, c, -3
Let d be ((-12)/25)/(48/(-160)) - 1. Let o = 0.3 - 0.1. Let u = o - 0.4. Sort -2, d, u in descending order.
d, u, -2
Let r = -5 - -3. Suppose -2*t - 56 = -g, -2*g + 7*t + 111 = 2*t. Let k be 4/(-10) - g/(-70). Put k, r, 3 in descending order.
3, k, r
Let t be 30/36 + 0/(-1). Let c be (-7)/(-30) - 10/25. Sort t, c, -1/8 in descending order.
t, -1/8, c
Let u = -4 - -6. Suppose 4*n + 15 = n. Sort n, 4, u.
n, u, 4
Let m = -2.5 - -3. Let j = m - -0.5. Let x = j - 0. Put 3, x, -2 in descending order.
3, x, -2
Let q = -1 - -0.6. Let c = 0.6 - 10.6. Let r = 9.7 + c. Put -0.5, r, q in decreasing order.
r, q, -0.5
Let i be (-2)/6 - 147/315. Sort i, -0.1, 16.
i, -0.1, 16
Let j = -54 + 55. Sort -4, -2, 4, j in increasing order.
-4, -2, j, 4
Let x = 18 + -11. Let a be 2/(-12)*(x + -11). Sort a, 0.4, -1 in decreasing order.
a, 0.4, -1
Let p = 12 - 14. Sort 1, -4, p.
-4, p, 1
Let l be 877/(-5) + (-2)/(-5). Let u = 41125/6 + -7030. Let f = l - u. Sort 0.1, -0.3, f.
-0.3, 0.1, f
Let c be ((-6)/(-4))/((-39)/(-26)). Let a = -1 + 6. Put c, a, 0 in ascending order.
0, c, a
Let b(t) = -t**3 - 7*t**2 - t + 4. Let s be b(-7). Suppose -z - 2*x = 1 - s, -2*z = -3*x + 15. Sort 1, z, 4.
z, 1, 4
Let w = 217 + -2389/11. Let a = 9 + -16. Let o = a - -7. Put 2/7, o, w in decreasing order.
2/7, o, w
Let r be (18/15)/((-6)/20). Let q be (-63)/27 + r/6. Sort 2, 0, q.
q, 0, 2
Suppose -4 = 5*u - 3*x - 1, -4 = -4*x. Let p be 4/(-20) - 69/5. Let v = p - -9. Put v, u, 4 in descending order.
4, u, v
Let r = 1240/9 + -138. Put -0.2, r, 2/11 in increasing order.
r, -0.2, 2/11
Let m be 55/(2 + 0/(-2)). Let h = m + -27. Sort h, 2/11, 5.
2/11, h, 5
Suppose -3*f - h + 65 = 0, -6*h = -h + 5. Let j be (-1)/(-5) + f/(-10). Sort j, 3, 0.
j, 0, 3
Let s = -18 + 15. Let p = -2.5 - s. Sort p, 2/9, 0.1 in decreasing order.
p, 2/9, 0.1
Let u be (24/18)/((-4)/(-6)). Suppose 0 = -u*j - 2*j - 16. Put j, 2, 0.4 in decreasing order.
2, 0.4, j
Let k be ((-2)/(-18))/((-5)/10). Let p be (1/3 - 1)*-6. Sort k, p, -3 in descending order.
p, k, -3
Let d be (-9)/(-42)*8/6. Let t = 11 + -6. Put t, d, 4/3 in decreasing order.
t, 4/3, d
Let v be 3/2*(-4)/(-15). Suppose 2*q = -3*q - 2*t + 25, 4*q + 13 = 5*t. Let w be q/(-5)*(-12)/(-9). Put v, w, 1/6 in descending order.
v, 1/6, w
Let j = 19 - 21. Suppose w = -w + 8. Sort 2, w, j.
j, 2, w
Suppose 2*v - f + 3*f + 2 = 0, 3*v - 2*f = 7. Let s = -136 - -133. Put v, s, -1 in increasing order.
s, -1, v
Let z be (((-36)/(-3))/1)/1. Suppose 5*o + z = -r, o = 5*o - 2*r + 4. Sort o, -5, 5 in increasing order.
-5, o, 5
Let r be (1 + 9)*(-6)/(-15). Put -5, r, 1, -1 in decreasing order.
r, 1, -1, -5
Let t be 0 - -7 - (-1)/(-1). Let w be (3/t)/(3/6). Sort 3, 5, w.
w, 3, 5
Let u(q) = -q**2 + 2*q + 1. Let b be u(2). Put -24, -1, b in decreasing order.
b, -1, -24
Suppose 5*g + 2 = r - 2, -5 = g + 4*r. Let d be ((-1)/2)/(g/(-6)). Sort d, -5, -2.
-5, d, -2
Let v be 1*(3 + 0)*1. Suppose h + 4 = 3*t, 0*h = -v*h - 3*t + 12. Sort -3, 4, h in descending order.
4, h, -3
Suppose 5*w - 2*n - 9 = -6*n, 2*w - 2*n = 0. Put w, 5, -2 in ascending order.
-2, w, 5
Let y = 52 - 51.7. Sort y, 6, -3 in descending order.
6, y, -3
Let j(t) = -t**3 + t**2 + t - 4. Let x be j(0). Suppose 13 = -3*o + 5*w, -2*w = -4*w + 10. Sort x, o, -0.8 in increasing order.
x, -0.8, o
Suppose -2*f = 2*f + x - 1, 1 = 2*f + x. Suppose 0 = -y + 4*s - 15, -2*y - s - 3*s = -18. Put -2, f, y in decreasing order.
y, f, -2
Suppose w = -3*w + 56. Put w, -4, -5 in increasing order.
-5, -4, w
Let a be 2 + (-8)/6 - (-7)/21. Sort -16, a, -1 in increasing order.
-16, -1, a
Let y = -4 + 5. Let u be (-1)/(6/(-4) + y). Let d = -3 + u. Sort d, -5, 1 in decreasing order.
1, d, -5
Let n = 0 + -0.1. Let c = -0.9 + n. Let f be 3/2 + (-1)/(-2). Put -1/4, f, c in decreasing order.
f, -1/4, c
Let p = 242/39 + -72/13. Put 3, -6, p in ascending order.
-6, p, 3
Let t(p) = -3*p**3 - p**2 - 3*p - 1. Let x be t(-2). Suppose 5 = 5*h + x. Suppose 0*l + 5*l = 5*g + 5, 5*l = -2*g + 5. Sort l, h, -3 in ascending order.
h, -3, l
Let i = 15095/2856 - 94/17. Let m = 1/24 - i. Sort -0.4, m, -2/7.
-0.4, -2/7, m
Let x = -5 + 7. Let n = -3 - -3.06. Put x, -2/5, n in decreasing order.
x, n, -2/5
Let k = -0.04 + 0.34. Let y = -0.4 - 0.6. Let u = 1.4 + y. Sort 3, k, u in decreasing order.
3, u, k
Let q = 6 + -5. Let a = 99/7 + -103/7. Sort a, q, 5 in descending order.
5, q, a
Suppose -5*m - 6 = 5*v - 2*m, 0 = 4*v + 4*m + 8. Put 21, 1, v in increasing order.
v, 1, 21
Let l = 0.9 + 2.1. Let w be 2 + -1 + 1/1. Put -3, l, w in ascending order.
-3, w, l
Suppose -6 + 0 = 3*o. Suppose 0 = 4*j + 7 - 27. Let q be j/(-2)*18/(-15). Sort o, q, 4 in increasing order.
o, q, 4
Suppose 2*p = 4*y + 2, -5*y - p + 5 = -2*p. Put 3, -13, y in decreasing order.
3, y, -13
Let a be 4 - (-2 + 2)/(-2). Let z = -4 + a. Put -5, z, 3 in descending order.
3, z, -5
Let m be (-15)/(-2)*8/12. Let c = 8 - m. Put c, -1, 4 in descending order.
4, c, -1
Let k be (-2 + 2)/(4/(-2)). Suppose 2*h = -5*x + 1, 3*h - x + k*x - 10 = 0. Put 1, 4/9, h in decreasing order.
h, 1, 4/9
Suppose 393 = -0*x + 3*x. Let q = x - 1443/11. Let r = -2.5 + -0.5. Sort r, q, 2.
r, q, 2
Let f(q) = 511243*q**2 - 4*q + 1. Let p be f(-3). Let m = -4398747925/956 + p. Let x = m + 2/239. Put x, -3, 0.3 in increasing order.
-3, x, 0.3
Suppose 0 = -b + 5*l - 20, -b = b + 2*l - 20. Let t(x) = 3*x - 2. Let y be t(-2). Let j = -11 - y. Put -2, b, j in ascending order.
j, -2, b
Let w = 17 - 14. Sort w, -0.5, 0.09 in increasing order.
-0.5, 0.09, w
Let w = -31/3 + 10. Let o = -0.4 - 0.1. Sort w, -5/6, o in decreasing order.
w, o, -5/6
Let q be (3 - 5)*(-9)/(-6)*-1. Let j(k) = -k + 8. Let v be j(4). Sort v, -4, q.
-4, q, v
Suppose 10 = 4*i - 2. Suppose 0*s + 3 = i*s + 4*t, 6 = -2*t. Put s, 1, -1 in decreasing order.
s, 1, -1
Let o = 0.7 - -3.3. Let n = 0.45 + -0.95. Sort n, o, 2/13 in increasing order.
n, 2/13, o
Let u = -18.5 - -27. Let d = 9 - u. Let l = 7 - 11. Put l, 3, d in descending order.
3, d, l
Suppose 7*n = 3*n. Suppose 0 = r + r - 8, 2*r + 4 = 4*a. Put a, -2, n in ascending order.
-2, n, a
Suppose 3 = 4*w + 15. Let m(u) = -u**2 - u + 2. Let z(y) = y**2 + y - 1. Let k(a) = w*z(a) - m(a). Let q be k(1). Put -4, 5, q in decreasing order.
5, q, -4
Let v(l) = -l**2 - 18*l - 30. Let t be v(-16). Sort 5, -2, -8, t.
-8, -2, t, 5
Let i be (1 + 15/(-12))*-8. Let f be 10/2 + 3 + -3. Suppose f*x - i*x = 12. Put 2, x, 0 in increasing order.
0, 2, x
Suppose -s = 3 - 2. Suppose -2*l + 12 = 2*l. Put -2, s, l in descending order.
l, s, -2
Let l be ((-3)/(-30))/((-6)/45). Put 2/3, l, -0.5 in descending order.
2/3, -0.5, l
Let x(g) = g - 9. Let o be x(7). Put 3, o, -8 in ascending order.
-8, o, 3
Let y = 0.14 + -7.14. Let f = y + 8. Sort 2, 0.1, f in ascending order.
0.1, f, 2
Let n = 0.4 - -0.1. Sort -0.1, -0.02, n in ascending order.
-0.1, -0.02, n
Let p(f) = f - 1. Let o be p(1). Suppose o - 1 = -r. Let y be 1*(r + -2) + 2. Sort 0.4, y, 3/8 in descending order.
y, 0.4, 3/8
Let l(p) = p**3 + 15*p**2 + 21*p - 62. Let b be l(-13). Suppose 5*o + 19 = 3*r, -3*r = 4*o + 2*r + 30. Sort 5, o, b in descending order.
5, b, o
Let n(v) = -65*v + 189. Let u be n(3). Suppose d - 2*i = -13, -d + i = 2*i + 1. Sort 1, u, d in descending order.
1, d, u
Let u be (-1)/5 - (-28)/(-10). Sort -1, u, -5, 4 in descending order.
4, -1, u, -5
Let i be 