8. Sort x, -5, 8, 0 in descending order.
8, x, 0, -5
Suppose 6*q - 3*q - 2*l + 14 = 0, 5*q + 2*l = -2. Let o be 4 - (33 + -37 + 5 + -1). Put -5, q, o, 5 in increasing order.
-5, q, o, 5
Let w = -1.621 + 1.121. Put 3, -1067, w in decreasing order.
3, w, -1067
Let f be (26 + 204/(-8))/((-2)/20). Sort f, -28, 7, 3 in descending order.
7, 3, f, -28
Suppose 5*u = -10, -3*y - 3 = 2*u - 5. Suppose -y*d + 6 + 6 = 0. Let w be (2 - 2)/(4/(-1) + d). Put -1, -4, w, -8 in descending order.
w, -1, -4, -8
Let x(d) = d**3 - 4*d**2 + 39*d - 160. Let t be x(4). Sort t, -2, 3, -49.
-49, t, -2, 3
Let p = -165 - -277. Suppose q = -p + 107. Suppose 0 = 5*s - 2*c - 12, -3*s - c + 4*c = -9. Sort s, q, 3 in decreasing order.
3, s, q
Let d be (-1)/((-5)/(-2) - 2). Let n be -29 - 1410/(-50) - 372/10. Put 0, d, n in increasing order.
n, d, 0
Let w be 8/2 + (21 - 19). Let b be -4*5/30*w. Let a be b/34 + (-26)/(-221). Sort -2/13, -2/3, a, -5 in decreasing order.
a, -2/13, -2/3, -5
Let t = -247/6 - -41. Let o = -1/3 + t. Let g = 1/119 + 115/476. Sort 2/13, g, o in descending order.
g, 2/13, o
Let g = 180 + -190.3. Put 8, -2/5, g in increasing order.
g, -2/5, 8
Let j = 318 - 514. Let r = j - -193. Put r, 5, 1 in decreasing order.
5, 1, r
Let o be (-2 - -10) + (0 - -2) + -8. Put o, -4, 1, 5 in ascending order.
-4, 1, o, 5
Let n = 3.6804 + 0.0296. Let l = n + 0.29. Suppose 3*a = 5 + 19. Put l, a, 0 in decreasing order.
a, l, 0
Suppose 4*y + 118 - 81 = -3*o, -4*o - 5*y = 47. Suppose 0 = 5*u - 38 - 32. Sort u, -1, o, 2 in increasing order.
o, -1, 2, u
Let w = 108341/6 + -18057. Sort w, 4, 3/8, -1, 0.5 in decreasing order.
4, 0.5, 3/8, w, -1
Let n = 6049/24228 + 2/6057. Sort 1/14, n, -1/3, 0.1, 5 in increasing order.
-1/3, 1/14, 0.1, n, 5
Let r be 1/4*(-2)/(-7). Let k be -2 - 298*(-4)/560. Let p = k + r. Put -0.1, 0, p in descending order.
p, 0, -0.1
Let c = 6.554 + -4.554. Sort 0.09, -2/11, -3, c, -2/3 in decreasing order.
c, 0.09, -2/11, -2/3, -3
Let v = 0 - 0. Suppose 5*n = 3*w - 8, 5*w - 2*n + 3 = 10*w. Let c(u) = u**3 - 11*u**2 + 11*u - 5. Let x be c(10). Sort x, w, v in decreasing order.
x, w, v
Let y = 3.24 + -3.44. Suppose 0 = m - 4*t - 14, 0*m = m + 4*t - 30. Sort 1, m, -5, y in decreasing order.
m, 1, y, -5
Let p = 20.6 - 1.6. Suppose 1126 = -3*d + 5*q + 1098, 3*q - 28 = -d. Sort 2/15, p, d, -0.1 in increasing order.
-0.1, 2/15, d, p
Let t = -2235 + 3738. Put t, 5, -1/7 in descending order.
t, 5, -1/7
Suppose 14*t + 9635 - 9677 = 0. Sort t, -479, -1.
-479, -1, t
Suppose -163*b = -789 + 309 - 987. Put -4, b, 2/3, -3/7 in ascending order.
-4, -3/7, 2/3, b
Let i = -605 + 650. Suppose -2*b - 1 = 7. Put 3, b, i in increasing order.
b, 3, i
Let m = -65941 + 65935. Suppose 1 + 19 = 5*c. Let o be (-36)/(-15) + (-2)/5. Put m, 3, o, c in descending order.
c, 3, o, m
Let i(x) = -5 + 3*x - x**3 + 6*x + x**2 + 4*x**2 + 0*x**2. Let k be i(6). Suppose 4*c + k = -4*n + 1, -3*c + 15 = -3*n. Put 0, c, 4, -2 in increasing order.
-2, 0, c, 4
Let s be 0/1 + (-4)/(-10). Let a be 4/(-22) + (-24165)/495. Let o be (-14)/a - (-2)/(-7). Sort o, s, 5 in decreasing order.
5, s, o
Let h = 578 + -2333/4. Sort h, 5, 2/5 in ascending order.
h, 2/5, 5
Suppose -77*v - 229 + 383 = 0. Sort -17, 6, -2, v in increasing order.
-17, -2, v, 6
Let q = 190 - 116. Let x = q + -42. Let f = x - 27. Sort 4/9, 0.2, f.
0.2, 4/9, f
Let z be (-4)/(-6) - (66/11 - 98/(-21)). Put z, -6, 1, 9 in decreasing order.
9, 1, -6, z
Let x be (-280261)/1809 - 6/81. Put -2, -15, 2, x in ascending order.
x, -15, -2, 2
Let y be (24/20 + -1)/(123/(-410)). Sort -3, -3.2, y, 3/2 in increasing order.
-3.2, -3, y, 3/2
Let l = -5251/14 - -2636/7. Let n be -2 - (2 + (-110)/14). Put n, l, -0.1 in descending order.
n, l, -0.1
Let i = -476 + 479. Let j be -3 + (-27)/(-15)*(-20)/(-8). Sort i, -1/6, j.
-1/6, j, i
Let a be (-1 + 0)*2*-39. Let x(s) = -383*s + 4208. Let k be x(11). Put k, 0, a in decreasing order.
a, 0, k
Let j be (-14)/35 + 0/(-2). Let n = -2.3 + 9. Let w = n + -8.7. Sort j, w, -2/11, 2/7 in decreasing order.
2/7, -2/11, j, w
Suppose 34*n - 3 = 36*n - a, -45 = 5*n + 5*a. Let c = 15 - 14.8. Sort n, c, -19 in decreasing order.
c, n, -19
Let m be 1125/(-2610) - (3/2 - 2). Sort 4/5, 115, -1/4, m.
-1/4, m, 4/5, 115
Let m = -88/3 + 29. Let d be (-144)/(-192)*(-24)/(-9) - 24/(-2). Put d, -2/5, m in increasing order.
-2/5, m, d
Suppose -24138*o + 792 = -24135*o. Put 0, o, -4 in increasing order.
-4, 0, o
Let g = -14867 + 14866.8. Put -1/4, 3, g, -5 in descending order.
3, g, -1/4, -5
Let n(v) = 5*v**2 + 23*v + 4. Let o(f) = f**2 + f + 1. Let q(h) = -n(h) + 4*o(h). Let p be q(-19). Suppose p = -0*r + r. Put -1, 5, r in increasing order.
-1, r, 5
Let h = 339.9 - 326. Let j = 8.8 - h. Let v = j - -3.1. Put -1/4, v, 1 in increasing order.
v, -1/4, 1
Let a = -90 + 41. Let l = 48.7 + a. Let m = l - -1.3. Put m, 0.1, -9, -0.4 in descending order.
m, 0.1, -0.4, -9
Suppose -4*z + 22 = -3*k, 0*z = 5*z + 4*k + 19. Sort -2, z, -28 in descending order.
z, -2, -28
Suppose -9*t = 163*t - 172. Suppose 7 = y + 4*n - 4, -23 = 3*y - 2*n. Put t, y, -1 in descending order.
t, -1, y
Let h = 196.7 + -194.8. Let i be 2 + -1 - (1 + 0). Let y be i + (2 - 72/34). Sort y, 1, h in increasing order.
y, 1, h
Let t = 532.9 - 533. Let f = -0.09 + 2.49. Let g = f + 0.6. Put -4, t, 2, g in ascending order.
-4, t, 2, g
Let t = -22 + 21.935. Let h = t + 0.265. Let v(w) = w + 12. Let s be v(-7). Put 0.5, -0.4, h, s in decreasing order.
s, 0.5, h, -0.4
Suppose -2*m + 40 = 2*s + 22, -s - 4*m = -39. Let p be 4*3*1/(-14). Sort 0.3, p, s, 2/11.
s, p, 2/11, 0.3
Let g = -1530.7 - -1532.7. Sort -8/5, 0.2, -3, 4, g in descending order.
4, g, 0.2, -8/5, -3
Let p = 14.7 + -15.8. Let w(j) = -j**2 - 18*j - 54. Let x be w(-14). Put 1, x, 2/11, p in decreasing order.
x, 1, 2/11, p
Let n = -24 - -24. Suppose -4*a + 5*p + 63 = -14, -4*a + 133 = 3*p. Sort a, n, -5, -1.
-5, -1, n, a
Let d = 1.001 - -127.899. Let r = -103 + d. Let t = r + -26. Sort t, -0.12, 1.
-0.12, t, 1
Let v(f) = 4*f - 34. Let d be v(12). Let x(m) = -3*m - 4. Let i be x(-2). Suppose -2*u - i*u + s + d = 0, 0 = -5*u - 5*s + 30. Sort 2, u, -1.
-1, 2, u
Let m = -964 - -967. Suppose 103 - 28 = -3*a - 5*p, -a - p = 27. Sort -3, a, m.
a, -3, m
Suppose -106 = -57*c + 65. Put 32, 2, c, -4, -2 in descending order.
32, c, 2, -2, -4
Suppose -5*g + 15 = 0, 9 = r + 4*g - 3. Suppose 5*w - 78 = b, -3*w - b = -5*w + 30. Put w, 5, r, -2 in decreasing order.
w, 5, r, -2
Let k = -26195 - -340533/13. Let h = -2.2 - -2. Put 3/8, k, 2/5, h in increasing order.
h, k, 3/8, 2/5
Suppose 2*q = 3*r + 5 + 10, -4*r + 3*q - 21 = 0. Let v = -7 - r. Suppose 3*n = 5*o - 28, -5*n + 9 = -o + 19. Sort v, n, 5 in descending order.
5, n, v
Let x = -11408 + 11403. Put 4/3, -3, -15, x, -0.5 in descending order.
4/3, -0.5, -3, x, -15
Let a = 111 - 112. Let f be 3/((-5)/(-10) + -2). Let p = -0.08 - 2.42. Sort p, f, a.
p, f, a
Suppose 0 = -195*w + 317 - 5582. Put 22, w, -1/3 in increasing order.
w, -1/3, 22
Let k = -0.108 + -578.892. Let o = k - -584. Let a = -1.05 - -1. Put -0.4, a, o in decreasing order.
o, a, -0.4
Let a = 0.2 - 0. Let z = -0.3 - a. Let w(g) = 6*g**2 - 112*g - 3029. Let v be w(-15). Put z, -0.26, 4, v in descending order.
4, v, -0.26, z
Let d = -21.052 - -0.052. Let q = 4074 - 4073.6. Sort d, 0.3, -0.2, q in ascending order.
d, -0.2, 0.3, q
Let g = -343 - -5833/17. Let b = 8.9967 + -8.6967. Sort 5, -14, b, g.
-14, g, b, 5
Let x be 8 + (-1938)/216 - 1/(18/(-4)). Sort -6, 10, x.
-6, x, 10
Suppose -l - 16 = -4*t, 3*t = 5*l + 7*t + 8. Let r be (l/(-6))/(10/45). Suppose -4 = -i - r*h + 7*h, i - 4 = 2*h. Sort 5, -2, 2, i in increasing order.
-2, 2, i, 5
Let o be (-9)/3*((-52)/(-130) - 24/(-15)). Sort 8, 1, 2, o in decreasing order.
8, 2, 1, o
Let n = 1880 + -1823. Sort n, 3, 5 in increasing order.
3, 5, n
Suppose -4*g - 6 = -g. Suppose 2 = -10*l + 12*l + 6, -3*o = 3*l. Put -30, g, o in decreasing order.
o, g, -30
Let o = 14716 + -14708. Put o, 1, -89, -4 in descending order.
o, 1, -4, -89
Suppose -45*n = -14 + 59. Let b = -9 - -7. Put n, -1/4, b, 1/7 in decreasing order.
1/7, -1/4, n, b
Let k = 20998 + -21425. Put 4, k, -1/2, -0.1 in descending order.
4, -0.1, -1/2, k
Let y be ((-1430)/(-52) + -27)*(-1 - 1). Sort y, -7, -54, -5 in ascending order.
-54, 