8. Suppose 3*k + 1 = -4*s, -3*s - 1 = 2*k + 1. Put k, b, 4 in increasing order.
b, 4, k
Let i = -211/30 - -36/5. Sort -2, i, -2/3 in decreasing order.
i, -2/3, -2
Suppose x + 15 = -2*x. Put 32, 4, x in descending order.
32, 4, x
Let l(i) = i**3 - 12*i**2 + 10*i + 15. Let b be l(11). Put -0.2, -2/11, 0.4, b in descending order.
b, 0.4, -2/11, -0.2
Let l = -3 - -7. Suppose 5*w = o - 5, l*w + w - 5*o + 25 = 0. Let a be 2/15 - 146/(-30). Sort w, -1, a in descending order.
a, w, -1
Let c(w) = w**3 + 7*w**2 - 7*w + 6. Suppose -3*k - k - 2*x - 26 = 0, k - 2*x + 14 = 0. Let d be c(k). Let t be (d/(-4))/(3/6). Put 0, t, -2 in decreasing order.
t, 0, -2
Let h = 0.05 - -0.15. Sort h, -0.4, -0.3.
-0.4, -0.3, h
Let h = -54 - -33. Let a = h - -21.3. Let q = -2 + -1. Sort 1, q, a in increasing order.
q, a, 1
Let q be (-90)/(-21) + (-4)/14. Let w = 8 - q. Let x = -9/2 + w. Put x, 1, 5 in decreasing order.
5, 1, x
Suppose 4*w - 35 = -3*f, 7 = -f + 4*w - 8. Let z(u) = -u + 1. Suppose 0 = 3*v + 3*x - 15, v + 0 - 2 = 2*x. Let g be z(v). Put g, f, -2 in ascending order.
g, -2, f
Let k = 0.7 + 4.3. Let j = 2.97 - -0.03. Suppose 7*n + 5*z = 2*n, 0 = 5*n + 2*z. Put k, j, n in decreasing order.
k, j, n
Suppose 17*w - 20*w = -9. Put -14, -2, w in descending order.
w, -2, -14
Suppose 3 = y + 1. Suppose y*r - 13 = l - 2*l, r - 11 = -2*l. Sort -2, -3, r.
-3, -2, r
Let i(c) = 2*c - 3. Let k be i(4). Suppose 7*l - 6*l = -k. Sort -3, l, -2 in ascending order.
l, -3, -2
Let s = -5.07 - -0.07. Let z = s + 2. Let v = 140/711 + 2/79. Sort v, z, -1 in decreasing order.
v, -1, z
Let b = -2 - -3. Let z be 6 + 2 + (b - 5). Let q be (z/35)/((-2)/5). Sort q, 5, -2 in decreasing order.
5, q, -2
Let p(j) = -5*j + 3. Let n(k) = k. Let i(o) = 4*n(o) + p(o). Let h be i(3). Suppose -f + 0 + 5 = h. Sort 2, 1, f in ascending order.
1, 2, f
Let l = 34 + -29. Sort l, -5, 6.
-5, l, 6
Let g = -0.05 - -0.07. Let a = 3.98 + g. Sort 5, 1/4, a in decreasing order.
5, a, 1/4
Let i(f) = f**3 + 0*f**2 + 16 + 14*f**2 - 4 + 11*f - 3*f**2. Let b be i(-10). Sort -1, -3, b in decreasing order.
b, -1, -3
Suppose w - 3 = 3*t - 4, 0 = -3*t + 6. Suppose l - 3*q - 11 = 5*l, -5*l = -2*q - 15. Suppose r + 15 = -2*r. Sort l, r, w in decreasing order.
w, l, r
Let s = -0.4 + 0.1. Let w = -4 + 0. Suppose 6*t - t = -5. Sort t, w, s in descending order.
s, t, w
Suppose -2*a - 2*a = 5*k + 6, 2*k + 1 = -3*a. Let b be -3 + 3 + 5 + -1. Let t(o) = o - 8. Let y be t(b). Sort a, y, 0 in descending order.
a, 0, y
Let p = 0 - -1. Sort 0, p, 2.
0, p, 2
Let u = 55 - 55.4. Put u, -4, 1/7 in ascending order.
-4, u, 1/7
Let u = 3.3 - 2.3. Let o = 5 - 10. Put -0.3, u, o in decreasing order.
u, -0.3, o
Let t = -3.6 - -3.2. Put t, 1, 5, 6 in increasing order.
t, 1, 5, 6
Let z(r) = r**3 - 4*r**2 - 7*r + 12. Let u be z(5). Sort 3, -3, u in decreasing order.
3, u, -3
Let r = 16 + -14. Suppose 3*m + 3 = -h - h, 2*m - r*h = 8. Put m, 2, 0 in descending order.
2, m, 0
Let w = -4 - -4.4. Let z = 7.1 + -0.1. Let q = -3 + z. Sort q, w, -2 in increasing order.
-2, w, q
Suppose -5*x = 2*a + 5, 2*a - 2 = x - 1. Suppose 3*p + 0*s = 5*s + 19, a = -p + 2*s + 8. Sort p, 5, 3.
p, 3, 5
Let g = -39/28 - -8/7. Sort 2, g, -4.
-4, g, 2
Let i(g) = -8*g - 1. Let b(t) = -t. Let m(a) = 5*b(a) - i(a). Let u be m(-1). Sort -3, u, 0 in descending order.
0, u, -3
Let m = -30 + 44. Sort -0.5, m, -5.
-5, -0.5, m
Let v(u) = u**2 - 8*u - 4. Let q be v(9). Suppose s = 4*g + 12 - q, 0 = 2*s - 4*g - 6. Sort s, 4, -5 in descending order.
4, s, -5
Let u be (2 - 3)*2 - -6. Suppose 14 = u*v - 2. Let y(d) = d + 1. Let q be y(2). Sort 0, q, v in ascending order.
0, q, v
Let d = 91 + -89. Sort d, 13, -4.
-4, d, 13
Let w be (-10 + 0)*7/147. Let b = 16/21 + w. Put b, -5, 4/3 in decreasing order.
4/3, b, -5
Let o be ((-90)/27)/(2/3). Sort -3, o, 3 in decreasing order.
3, -3, o
Let u = -0.859 - 0.141. Put -1/3, u, 4, -0.4 in descending order.
4, -1/3, -0.4, u
Suppose b - 5 = -4*b. Let z = -607/495 + 2/495. Let i = -91/45 - z. Sort -5, i, b in decreasing order.
b, i, -5
Let c(z) = -z**2 + 14*z + 30. Let p be c(-2). Put -1, 4, 0, p in decreasing order.
4, 0, -1, p
Let p(i) = -i + 3. Let g be p(-5). Let c = g + -9. Sort -2/3, -2/5, c in decreasing order.
-2/5, -2/3, c
Let l = 7.9 - -0.1. Let v = l - 8.3. Sort v, 0.4, -2/13.
v, -2/13, 0.4
Let k = -0.2 + 0. Sort 10, k, 0.1 in descending order.
10, 0.1, k
Let j be 8/(-52) + 3*62/26. Sort -10, j, 2 in increasing order.
-10, 2, j
Suppose 0 = q + 2*v - 15 + 6, -5*q = 3*v - 24. Suppose h + h = 6. Suppose h*o - 3*m - 12 = 0, -3*m = 2*o - 0*m + 12. Sort o, q, 4 in descending order.
4, q, o
Let n = 14 - 25. Sort n, 0, 5 in descending order.
5, 0, n
Let z = 0.9 + -0.9. Let v = 3 + z. Sort 4, 1, v in descending order.
4, v, 1
Let j(d) = -d**3 - 2*d**2 - 3*d - 2. Let c be j(-2). Sort c, -2, -10 in ascending order.
-10, -2, c
Suppose -a = -3*a + 10. Suppose 3 = 2*b + 1. Put a, b, 4 in decreasing order.
a, 4, b
Suppose 0 = 5*w - 1 - 39. Suppose -6 - 4 = 5*k + 5*g, -2*k - 4*g - w = 0. Suppose -4*m + 0*m + 4 = k. Sort m, 2/3, 1/10 in increasing order.
1/10, 2/3, m
Let h(x) = 2*x**3 - 2*x**2 + x + 1. Let o(q) = -q**3 + q**2 - 1. Let t(z) = -2*h(z) - 3*o(z). Let y be t(1). Put -2, y, 0 in descending order.
0, y, -2
Suppose 3*r + 4 = -2*p - 2, 3*p - 3*r = 21. Put 2/3, p, 4 in decreasing order.
4, p, 2/3
Let m(h) = h**3 + 5*h**2 + 4*h - 1. Let u be m(-4). Put 2, 4, u in increasing order.
u, 2, 4
Let m = 22 - 17. Sort m, -0.3, -5/3 in ascending order.
-5/3, -0.3, m
Suppose 0 = 5*h, -3*h = -0*b + 5*b. Suppose 0 = -b*w + 2*w + 6. Let a = -2427/4 + 606. Sort w, a, -0.1 in descending order.
-0.1, a, w
Let q = -2 + 3. Let l(n) = n**2 + 10*n + 6. Let a be l(-9). Let g be a + -1 + 1 + 0. Put g, q, 3 in ascending order.
g, q, 3
Let i = 0.18 - 3.78. Let a = -0.6 - i. Let f = -0.1 + -1.9. Sort f, a, 4 in ascending order.
f, a, 4
Let v = -80 - -82. Sort 11, -3/4, v, 4 in descending order.
11, 4, v, -3/4
Suppose 5*q - 10 = 20. Let g = q - 3. Let o(l) = -l**2 + 4*l - 2. Let p be o(g). Sort 5, p, -2 in decreasing order.
5, p, -2
Let k = 5 - 10. Let m = -1.04 - -0.74. Sort m, k, 0.3.
k, m, 0.3
Let l = 1/24 - -31/24. Let r = 6.2 - 6. Let q = r + 0.3. Sort l, -0.5, q in ascending order.
-0.5, q, l
Let v be (-1)/4 + 13/4. Let r be v + (1 - 4) + 4. Let n = r + -5. Sort n, 1, 4.
n, 1, 4
Let h(m) = m**3 - 4*m**2 - m + 3. Suppose 4*g + 2 = 3*g, 5*w + 2*g + 9 = 0. Let r be (3/w)/(15/(-20)). Let t be h(r). Put 0, -3, t in descending order.
0, t, -3
Let j = -5.7 + 6.2. Put j, -5/4, -4/7, 5 in increasing order.
-5/4, -4/7, j, 5
Let x be (-2)/(-7) - (-45)/63. Let t(d) be the second derivative of d**5/20 - 5*d**4/6 - d**2/2 - 3*d. Let k be t(10). Sort 4, k, x in increasing order.
k, x, 4
Let h = -9 - -14. Let f(a) = a**2 + 5*a + 6. Let z be f(-4). Let y = z - 3. Put -3, h, y in descending order.
h, y, -3
Let l = -5.03 + 0.03. Let i = -4 - -3.99. Let f = i - -1.01. Sort l, 0.2, f in increasing order.
l, 0.2, f
Let k(i) = -i. Let f be k(-2). Let x be (f/(-4))/((-3)/(-156)). Let r = x - -74/3. Put 5, r, -1/5 in descending order.
5, -1/5, r
Let l = 86.8 - 87. Sort l, 5, 39.
l, 5, 39
Let y = -2.67 - -0.71. Let p = 0.04 - y. Sort 2/5, -3, p in increasing order.
-3, 2/5, p
Let f = 103/2 - 52. Put 0.2, f, -3/7, 1/2 in descending order.
1/2, 0.2, -3/7, f
Let r = 9 - 5. Suppose -2*n - 1 = 4*i - 5, 5*n - r*i + 4 = 0. Let a be (n + -2)*(-18)/(-48). Put a, 4, 0.2 in decreasing order.
4, 0.2, a
Let y(b) = -b**2 + 4. Let a(o) = -o**2 + 3. Let i(j) = -3*a(j) + 2*y(j). Let w be i(-1). Put -3, w, 3 in descending order.
3, w, -3
Let o be (-11)/22 - 7/2. Let v be 0/(0 + 3 + o). Let k(p) = -3*p. Let i be k(-1). Sort i, 0.3, v in decreasing order.
i, 0.3, v
Let f(v) = -v**2 - 11*v - 12. Let t be f(-10). Sort 1, 4, -1, t in descending order.
4, 1, -1, t
Suppose 7*d = 8*d + 4. Put -2, 5, 0, d in descending order.
5, 0, -2, d
Let k = 32 + -31. Sort k, -3, 5.
-3, k, 5
Suppose 3*r + 2*n + 5 = -2*n, 4*r = n - 13. Let m = 1.1 - 0.9. Put r, m, -5 in ascending order.
-5, r, m
Let c be -1 + 0 - (3 + -8). Let a = -27 - -29. Sort c, -1, a.
-1, a, c
Let i = -26.8 + 27. Sort 5, i, -3 in increasing order.
-3, i, 5
Let g be (3/12)/((-3)/2). Let o(h) = -2*h + 6. Let w be o(4). Let r be (5/w)/(4/8). Put -0.1, g, r in inc