08. Let b = w + s. Sort b, 1, -1/2.
-1/2, b, 1
Let q be 3 - 0/((-3 - -1)*-1). Suppose q*j + 0*j + 9 = 0. Let p = -9 - -10. Put j, p, 2 in decreasing order.
2, p, j
Suppose 38*i - 83*i = 0. Sort 89, -4, i in ascending order.
-4, i, 89
Let x(c) = c**3 + 2*c**2 - 5*c - 4. Let g(u) = 4*u - 2*u**2 + 0*u**2 + 3 - 6 - 2*u. Let w be g(1). Let y be x(w). Put -13, -5, y in descending order.
y, -5, -13
Let f be (-24)/42 + 78/14. Let t be (2/4)/(20/(-40)). Sort 6, t, f in decreasing order.
6, f, t
Suppose 2*u = -17 + 7. Suppose -4*q - 18 = -3*i - 2*q, q + 15 = 3*i. Suppose 3*j = 3*t + 9, 2*t = -3*j - i + 3. Sort t, u, -3 in descending order.
t, -3, u
Suppose 0 = -m + p - 8 - 16, -2*m + 4*p - 44 = 0. Sort m, 0, -5, 2 in ascending order.
m, -5, 0, 2
Suppose -3*j = -2*t - 14, 5*t = -5*j - 0*j + 40. Let n(f) = 13*f - 5 - 9*f - 3*f. Let d be n(j). Put 3, d, -4 in increasing order.
-4, d, 3
Let c = 1154 - 1154.3. Sort 8, 5, -0.2, c.
c, -0.2, 5, 8
Let h = 449 - 467. Sort -5, h, -4.
h, -5, -4
Suppose -4 = -20*m + 24*m, -5*q + 20 = 5*m. Put -3, q, 1, 20 in ascending order.
-3, 1, q, 20
Let r(g) = -g**3 + 4*g + 4. Let f be r(-2). Suppose 0 = -f*k + k - 15. Put -1, k, -3 in ascending order.
k, -3, -1
Let a(l) = 155*l - 624. Let k be a(4). Sort -2, k, 2, -3 in descending order.
2, -2, -3, k
Suppose 0*i = -10*i + 10. Let k(t) = -t**3 - t - 1. Let c be k(i). Let n be (3/(-7))/(2/(-2)). Sort n, c, 5 in ascending order.
c, n, 5
Let h be (-2)/9 - (-16)/72. Let w(g) = -g**2 - 6*g - 7. Suppose 4*q = -16, 3*m + 6*q + 31 = 2*q. Let p be w(m). Sort -5, h, p.
-5, p, h
Let j be (-22)/(-3) + 3/(-9). Let h be 1*3/(14/(-4) + 2). Let q be 4/3 - 1*h/3. Sort j, -5, q in decreasing order.
j, q, -5
Suppose -4 = 3*b - 19. Suppose -3*p = -3*z + 15, 2*z - 7*z = -b. Suppose 5*q = -2*s + 7, 0*q + 4*q - 5*s + 1 = 0. Put 5, p, q in ascending order.
p, q, 5
Suppose -3*j + 0*f + 3*f = -39, -3*j - 3*f + 45 = 0. Sort -5, j, 1.
-5, 1, j
Let y = -10/33 + -4/11. Let z = 17/2 - 121/14. Sort -4, z, y in ascending order.
-4, y, z
Let t = -81 + 83. Suppose 0 = -5*h + 4*o - o + 167, 3*o - 71 = -t*h. Sort h, 4, -3 in decreasing order.
h, 4, -3
Let q(c) = c**2 - 10*c - 9. Let j = -62 + 73. Let a be q(j). Put 26, a, -1 in descending order.
26, a, -1
Suppose -7 = -5*g - 2. Let r = 0 - 31. Let k = r + 31. Put g, k, -4 in decreasing order.
g, k, -4
Let r be ((-7)/7)/1*-5 - 4. Put r, -3, 177 in ascending order.
-3, r, 177
Suppose -33 = 14*r - 5. Put 1, 5, r, -6 in descending order.
5, 1, r, -6
Let m be (-69)/(-18) + (1 - 5). Sort 5/4, m, -3, 0.1 in increasing order.
-3, m, 0.1, 5/4
Let s(o) = -13*o + 414. Let z be s(32). Sort -1, 7, z, 4 in decreasing order.
7, 4, -1, z
Let n(i) = i**3 - 2*i**2 + 2*i - 14. Let w be n(0). Let a(m) = m**2 - 22*m + 38. Let x be a(20). Put x, -4, w, 3 in descending order.
3, x, -4, w
Suppose 2*u - 5*p = -1, -5*p - 4 = 1. Suppose -2*t + 10 = 3*h, 3*t - t + h - 6 = 0. Let r be (-5 + -1)/(t + (-2)/4). Sort u, r, -5 in increasing order.
-5, r, u
Let f = 13 + -8. Suppose q + 2*h - 5 = 0, -3*q + h - 22 = -2. Let i = 6 + -4. Sort q, i, f in descending order.
f, i, q
Let z be -1 + 1/(-2)*1. Let l = 26.7 + -26.5. Let n = -0.05 - -0.55. Sort l, z, n in decreasing order.
n, l, z
Let p = -2.5 + -1.5. Let g = 4.2 + p. Let q = 8.6 - 9. Sort q, 0.4, g.
q, g, 0.4
Suppose 4*z = -2*d + 5 + 13, 4*z - 27 = -5*d. Suppose -3*w = -4*w. Put w, 2, 5, z in increasing order.
w, 2, z, 5
Suppose 2*z - h - 9 = 6*z, -2*z + 2*h - 2 = 0. Suppose 237 = 5*s + k, s - 159 = -2*s + 5*k. Sort s, z, 0.
z, 0, s
Let a = 941 + -985. Put 1/7, 0.4, a in increasing order.
a, 1/7, 0.4
Let i(k) = -3 + 0*k - 2 - k - 3. Let o be ((-63)/(-14))/(2/(-4)). Let g be i(o). Put g, -0.2, -1/4 in decreasing order.
g, -0.2, -1/4
Suppose 25*n - 13 = 26*n. Put 4, 2, n, -1 in descending order.
4, 2, -1, n
Suppose -2*l + 3*l = -2*t - 4, 3*t + 4 = -l. Sort -8, l, 0 in descending order.
0, l, -8
Let f be (19 + -5 - 10)/((-4)/(-5)). Sort 19, f, 2, -5 in decreasing order.
19, f, 2, -5
Let g = -236 + 239. Suppose -t + 0 = 2*d - 5, -5*t + 25 = -d. Suppose 12 = g*n - d. Sort 5, n, 6.
n, 5, 6
Let t = 13 - 19. Let u be (3/2)/(t/(-12)). Let p = -298/9 - -33. Put -3/5, p, u in decreasing order.
u, p, -3/5
Let o = 12 - 7. Let r = o - 5.5. Let m = -2272 - -2266. Sort 4/3, m, r in descending order.
4/3, r, m
Let j = 10 + -9.56. Let l = j - 0.43. Sort -1, l, 0.3 in ascending order.
-1, l, 0.3
Let m(y) = 5*y - 31. Let l be m(7). Let p = 34 + -36. Sort p, l, 0.
p, 0, l
Let s = 178 - 178. Put -2/3, s, -153 in decreasing order.
s, -2/3, -153
Let x be 2*(-2)/14*(1 - -1). Put -2/21, x, 1 in increasing order.
x, -2/21, 1
Let p = -5 - -5. Let y = 2 + 10. Let s = y + -3. Put p, s, -0.1 in increasing order.
-0.1, p, s
Let d = -17 + 47. Let v be 8/20 - (-18)/d. Let j be ((-4)/((-12)/(-9)))/v. Put 1, 0.9, j in descending order.
1, 0.9, j
Let u be (4/((-4)/3))/1. Let h = 1.01 - 0.902. Let t = 3.108 - h. Put u, t, 3/4 in ascending order.
u, 3/4, t
Let g = -13.6 + 14.1. Let l = -8 + 12. Put g, -7, l in descending order.
l, g, -7
Let j = 14 + -11. Put j, -6, -5 in descending order.
j, -5, -6
Let j be (-6)/9*(-4953)/(-26). Sort -5, j, -3 in increasing order.
j, -5, -3
Let f(c) = c**3 + c**2 + c + 1. Let b be f(0). Let a = 2 - -3. Suppose -3*h = 4*v + 8 + 7, a*v = -15. Put h, b, -3 in decreasing order.
b, h, -3
Let g = 48.385 - 2.385. Sort 5, 3/5, g, -3/2 in descending order.
g, 5, 3/5, -3/2
Let p = -0.03 + 0.13. Let k be 240/864 + 1/(-2). Put p, -59/5, k in decreasing order.
p, k, -59/5
Suppose -5*h - 9 = -2*h + 3*z, 4*z = h - 2. Let a be (1 - (h - -4)) + 4. Sort -5, a, 35 in increasing order.
-5, a, 35
Suppose 0 = 81*i - 2642 - 193. Sort -12, 0, i in increasing order.
-12, 0, i
Let j(w) = -6*w - 30. Let z be j(-5). Put -6, z, -4, 3 in decreasing order.
3, z, -4, -6
Suppose 2*t + 2*t - 27 = 5*m, 12 = 5*t + m. Let n be (-1)/6 - 1/t. Let l(a) = 197*a + 200. Let r be l(-1). Put n, r, 2 in decreasing order.
r, 2, n
Let a = -13 + -9. Let c = -25 - a. Let g(y) = y**3 - 6*y**2 - 8*y + 10. Let f be g(7). Sort c, f, -5 in descending order.
f, c, -5
Let m = -353 - -353. Sort 2, -2, -3, m.
-3, -2, m, 2
Suppose 0 = -4*n - 137 - 7. Let k be (n/(-18))/(4/(-5)). Sort -1, -3, -2, k.
-3, k, -2, -1
Let c = -109/174 + -6/29. Let a = -118.6532 + 0.0532. Let w = -119 - a. Put w, -21, c in ascending order.
-21, c, w
Suppose 0 = 6*v - v - 60. Suppose -v*z = -6*z + 24. Sort 5, -0.06, z, 0.5 in descending order.
5, 0.5, -0.06, z
Let x = -806 + 806. Let b = 3.2 + -3. Sort x, b, 2 in ascending order.
x, b, 2
Let n = 7353.8 + -7354. Let a be ((-2)/6)/((-2)/(-3)). Sort n, 3/34, a in increasing order.
a, n, 3/34
Let q = 4 - 10. Let g = q - -6. Let f = 5.7 - 14.7. Put -5, g, f in ascending order.
f, -5, g
Let i(h) = 15*h + 35. Let a be i(-2). Put a, 1, -22 in descending order.
a, 1, -22
Let o = 1361.93 - 1362. Put 2/89, -4, o in increasing order.
-4, o, 2/89
Let d = -15 - -18. Suppose -2*a = 3*x - 2*x - d, -3*x + a - 5 = 0. Put -3, x, 0 in increasing order.
-3, x, 0
Suppose 27*g = 17*g - 30. Sort 1, 37, g, 4 in descending order.
37, 4, 1, g
Let v = 0.0073 - 0.1073. Put 10/9, v, -5 in increasing order.
-5, v, 10/9
Let p be -2*(135/120)/(3/4). Sort -9, -2, -5, p.
-9, -5, p, -2
Let l = -8 + -53. Let w = l + 54. Sort 1, 0, w, -2/9.
w, -2/9, 0, 1
Let a = -143/5 + 154/5. Put -2/3, a, 4, -6 in ascending order.
-6, -2/3, a, 4
Let q be (-22)/(-2) + -6*(-1)/(-6). Sort -4, 5, q, -1 in descending order.
q, 5, -1, -4
Let b(g) = 2*g**3 + g**2 - 2*g + 8. Let x be b(2). Suppose -4*m + 9 = h, 4*h + 6*m - 2*m = x. Sort -1, -5, h, -2.
-5, -2, -1, h
Let j = 302 + -302.7. Sort j, 0, -24 in ascending order.
-24, j, 0
Suppose 347 - 127 = 44*c. Suppose 0*b = -3*b + 30. Sort c, b, 1 in ascending order.
1, c, b
Suppose -q + 2 = -2*t, q + t - 11 = -0*t. Suppose 0*g - q = -4*g. Suppose -2*k - a = 0, -5*k + g*a = 15 + 3. Sort k, 0, -3 in decreasing order.
0, k, -3
Let v = 179 - 153.4. Let p = v - 27. Let x = p + 2.4. Sort x, 2, -2.
-2, x, 2
Let o = 13.09 - 13.69. Put 3/5, o, 2/59 in descending order.
3/5, 2/59, o
Suppose -4 = -2*x + 4*x, 2*x = -b - 5. Let r = 6 + -9. Sort b, r, -2 in decreasing order.
b, -2, r
Suppose 3*n - 1 - 2 = 0. Let x = -8 - -38. Let a = x + -31. Put n, 0, a in increasing order.
a, 0, n
Let i(u) = -13*u - 21