9. Let v = -383 + 374. Let s be w(v). Sort 5, -1, s in descending order.
5, -1, s
Let t(s) = s**3 + 19*s**2 + s + 18. Let a be t(-19). Put a, -33, -4, -9 in descending order.
a, -4, -9, -33
Suppose -o + 5*x = 37, 0 = 4*o + 33*x - 29*x - 20. Put -1, o, 99 in descending order.
99, -1, o
Let s(d) = -28*d + 13. Let f be s(0). Suppose 16*l = 19 + f. Sort l, 1/3, 0.34 in decreasing order.
l, 0.34, 1/3
Suppose 173*y + 4*q = 170*y + 8, -4*q - 4 = 0. Sort y, -12, -23 in descending order.
y, -12, -23
Let m = -35 + 35.2. Let f be 2/(-6) + (-3383)/51. Let h = f + 66. Sort m, h, -0.1 in ascending order.
h, -0.1, m
Let m = -454 - -458. Put 0, -6, 3, -0.2, m in descending order.
m, 3, 0, -0.2, -6
Suppose 0 = b - 3*b. Let a be (164/(-328))/(2/16). Sort a, -12, b, 3 in ascending order.
-12, a, b, 3
Let r = -63.33 - -63.13. Sort 0.06, 1/133, r in decreasing order.
0.06, 1/133, r
Let c = -0.0718 - 5.2282. Let u = c - -2.3. Put -0.4, 3, u, -0.03 in decreasing order.
3, -0.03, -0.4, u
Let n = -21.16 - -22.5. Let s = -1.44 + n. Sort -3, 1/3, 2/5, s in increasing order.
-3, s, 1/3, 2/5
Let x be 15 - ((-6)/(-33) + 31/11). Let y be 1/(3/x) - 6. Let t be -3 + (17/5 - y). Put -3, -0.2, t in ascending order.
-3, -0.2, t
Let s = -0.2251 - 0.0749. Let d = 70 - 66. Put -2/5, s, 1, d in descending order.
d, 1, s, -2/5
Let j = 2387 + -2392. Sort 399, j, -2 in ascending order.
j, -2, 399
Suppose 4*f + 5*s - 142 = -300, 3*f = -3*s - 120. Suppose -4*k + 3*u + 4 = 9, -5 = -3*k + 4*u. Sort f, -2, k, 0 in descending order.
0, -2, k, f
Suppose -2*j - 290 = 3*n, -5*j = -3*n - 184 - 78. Let m = -94 - n. Suppose 4*s - 7 - 8 = -q, 2*q - 2*s + 20 = m. Put -1, -6, q, 0 in descending order.
0, -1, q, -6
Let h be ((-223)/2007)/((-2)/90). Sort -5, h, -4, -2, 7 in descending order.
7, h, -2, -4, -5
Let y be (10/(-4) - (-1705)/770)*-2. Put 5.41, -1/4, y in decreasing order.
5.41, y, -1/4
Suppose -72 = -6*z + 48. Suppose -7*l + 3*l - 3*r - z = 0, -3*l = -3*r - 6. Put -10, l, -1, -8 in increasing order.
-10, -8, l, -1
Let i = -2801 + 2804. Sort 1, 11/5, i, 5 in decreasing order.
5, i, 11/5, 1
Let k(v) = 2*v - 1. Let q(r) = -17*r + 65. Let m(a) = 4*k(a) + q(a). Let h be m(7). Sort -1, h, -18, 2 in descending order.
2, -1, h, -18
Let z = -4 - -3. Let v be (-10)/35 + (-825)/(-2520). Let x = v + 91/120. Put 0, x, z in increasing order.
z, 0, x
Let a = 0 - 3. Let p = -3.1 - a. Let x be (80/14)/((-367250)/(-51415)). Put p, -4, x in ascending order.
-4, p, x
Let i(t) = 17*t + 62. Let b be i(-4). Let y = -0.287 - -0.417. Put y, -0.2, b in ascending order.
b, -0.2, y
Let q be (-48 + 89 - 42)*2. Suppose 0*u - 98 = -4*u + 2*x, u = 2*x + 26. Put -0.5, u, q in descending order.
u, -0.5, q
Suppose 7*h + 6 = 6. Let g(w) = -w**2 + 5. Let z be (-2)/(-1) + (-1 - -2). Let i be g(z). Sort -3, h, i, -5 in increasing order.
-5, i, -3, h
Let r = -7827 - -31311/4. Sort -1/2, -21, -4, r, -0.21.
-21, -4, -1/2, -0.21, r
Suppose 6*z - 25 = 5*a + z, 0 = -4*z - 20. Let k be (a/20)/((-10)/(-13)). Let w = -1/4 - k. Sort w, 4, -44 in descending order.
4, w, -44
Let m = -9.6 - -9.6. Let i = -578 + 576. Put i, 12, m in decreasing order.
12, m, i
Let c(v) = v**2 + 7*v - 3. Suppose -2*t + 5*q = 24, q + 2 = t + 11. Let k be c(t). Put 2, 3, 4, k in ascending order.
k, 2, 3, 4
Suppose 12*h + 44 = -4*b, -117*b + 2*h = -116*b - 9. Sort 5, -3, b, 16.
-3, b, 5, 16
Suppose 2*y + w + 2 = 3*w, 3*w - 15 = -3*y. Suppose 0 = 5*n + 10, 3*i - y*n - 7 = 12. Let a(o) = -2*o + 6. Let d be a(3). Put d, 2, i in ascending order.
d, 2, i
Let v = 8 - 13. Suppose 0 = 3*l + 3*c - 8 - 13, 0 = 2*l + 3*c - 19. Suppose -l*s = 7 - 1. Put s, 0, v in increasing order.
v, s, 0
Let k be (7 - 3)*2/2. Let n be (-6)/(-5)*60/(-18). Let i = 601 - 601. Sort 5, i, n, k in ascending order.
n, i, k, 5
Let d = 1 + -0.7. Let y = 2.0788 + 5.9212. Sort y, -0.3, d in descending order.
y, d, -0.3
Suppose 2*f - 7 = 3. Suppose 29 + 283 = -3*z + 4*d, 3*z + 285 = -5*d. Let i = 397/4 + z. Sort 0.5, i, 4, f in ascending order.
i, 0.5, 4, f
Suppose -363 = -19*c + 131. Let i be 65/c*16/10. Put -0.04, i, 0.4, -1/8 in descending order.
i, 0.4, -0.04, -1/8
Let s = 642803 + -642803. Suppose 8 = 4*t - 0*t. Suppose -2*k = -4*o + 8, 0*o - k + 12 = t*o. Sort o, 5, s, -5 in descending order.
5, o, s, -5
Let a = -6550 - -6552. Sort a, -0.1, 1, 31.
-0.1, 1, a, 31
Suppose 1644*a = 1599*a + 270. Put -7, -2, a, 1, 10 in increasing order.
-7, -2, 1, a, 10
Suppose -m = 5*a - 10, -3 = -2*m + 3*a + 4. Suppose 481*n - 478*n = 3. Sort m, 1/4, n in increasing order.
1/4, n, m
Let d = -40 + 54. Suppose 4*k = 30 - d. Let z(y) = y**3 + 17*y**2 + 17*y + 14. Let b be z(-16). Put b, 3, k, 0 in ascending order.
b, 0, 3, k
Let o = -6465 + 6465. Sort o, 37, 5, 15 in decreasing order.
37, 15, 5, o
Let s = -254.7 - -255. Sort s, -0.4, -0.22.
-0.4, -0.22, s
Let w(d) = 284*d - 7392. Let a be w(26). Suppose 2 = 5*l - 3. Sort a, -17, l in descending order.
l, a, -17
Let v = 5/16 - -3/16. Let s = -39 - -13. Let t = 26.4 + s. Sort 20, t, v.
t, v, 20
Let o be (-1 - 0)*(41 - 43). Put 1, o, -4, 3, 5 in increasing order.
-4, 1, o, 3, 5
Let p = -211.686 - -212. Let c = -0.114 + p. Sort c, 0, 2/9, 1 in descending order.
1, 2/9, c, 0
Let u = 9079 + -9079.4. Sort -3/2, 23.7, u, 0.4 in increasing order.
-3/2, u, 0.4, 23.7
Suppose -3*z + 96*o - 18 = 93*o, -4*o = z - 19. Sort 144, z, 2, -5/7 in decreasing order.
144, 2, -5/7, z
Let w = 17978 + -17977.96. Put -2, w, 2/5, 2, 5 in ascending order.
-2, w, 2/5, 2, 5
Let h be (-216)/176 + (-45)/165. Let z = -2.6 + 18.6. Let v = z + -13. Put h, 3/2, -4, v in descending order.
v, 3/2, h, -4
Let m = 31 - 26. Let s(u) = 4*u**2 + 12*u + 12. Let g be s(-4). Sort m, g, -3 in ascending order.
-3, m, g
Let l = -256 - -429. Let a = -183 + l. Let f = 0.7 - 0.9. Sort f, 1/8, a in decreasing order.
1/8, f, a
Let n(p) = -29*p + 27. Let d be n(1). Suppose 2302*l - 15 = 2307*l. Let s(c) = c + 5. Let y be s(0). Sort y, -4, l, d in decreasing order.
y, d, l, -4
Let r be (-11)/4 + -25 + (-2266)/(-88). Put r, 2/9, -10, 0 in increasing order.
-10, r, 0, 2/9
Let h = -40 + 121/3. Let k be 16/152 - (-1334)/(-4370). Put k, 17, 4/3, h in decreasing order.
17, 4/3, h, k
Let s(i) = -28*i**2 + 146*i - 188. Let v be s(3). Let w be (0 - 3)*(-2)/3. Sort w, -3, v in ascending order.
-3, v, w
Suppose -461 - 334 = -59*q - 206*q. Let s = 29 + -52. Sort q, 0, s in ascending order.
s, 0, q
Let q(v) = 4*v**3 - 2*v**2 - v. Let l be q(2). Let g = 22 - l. Let j be 2/2 + g/10. Sort -4, j, -5 in increasing order.
-5, -4, j
Let g = -423 + 421.5. Let f = -1/43 + 46/129. Let h = 0.13 + -0.43. Put f, h, g, 5 in ascending order.
g, h, f, 5
Suppose -1154*v + 1131*v - 6417 = 0. Put -0.3, -4, v in increasing order.
v, -4, -0.3
Suppose -12 = 2*a + 2*a. Let l = -8172 + 8168. Sort 0, a, l, 5.
l, a, 0, 5
Suppose -3*f + 4*f - 76 = 0. Let h = f - 108. Let m = h - -22. Put 1, m, -5 in ascending order.
m, -5, 1
Let l be (-2)/(4/(-8) - (2 - (-29)/(-10))). Sort l, 3, -0.045, 0.4 in decreasing order.
3, 0.4, -0.045, l
Let b be 1/3 - (-10)/(-3). Let a = 8.731 + -0.131. Let t = -8.2 + a. Put b, 0.3, 1/4, t in decreasing order.
t, 0.3, 1/4, b
Let s = 2.95 + 0.05. Suppose -22 = -3*j + 7*o - 9*o, 16 = -j + 4*o. Suppose 0 = -f, -2*q - 8*f = -4*q - j*f. Sort q, 0.03, s in descending order.
s, 0.03, q
Let s = -18193 + 18134. Sort s, -1/7, -3 in increasing order.
s, -3, -1/7
Let i = -40 + 591. Let p = 550 - i. Put 32, 3, p in decreasing order.
32, 3, p
Let j be (-68)/(-136)*(11 + -3). Let d be (-1 - 0) + 6/(-2). Sort -3, 13, j, d in increasing order.
d, -3, j, 13
Suppose 742*z + 1 = 725*z + 69. Sort -2, z, -1, -4, -145.
-145, -4, -2, -1, z
Let g(w) = -26*w**2 + 15 + 18*w - 30*w**2 + 57*w**2. Let y be g(-17). Let j be (-45)/(-10)*8/(-3). Put 0, j, y in ascending order.
j, y, 0
Let q = -6357 + 6355. Put 1, q, 6, 3, 2 in descending order.
6, 3, 2, 1, q
Let p = -264 + 266. Let w = 9 - 7. Suppose r + 14 = -3*o, w*r - 4*o = -p*o - 4. Sort -58, r, -2 in increasing order.
-58, r, -2
Let o be 1*(-4)/2*(41 - 996/24). Sort 4, -3, o, -5 in decreasing order.
4, o, -3, -5
Suppose 0 = -4*h - 4*p + 8, -2280*p = -5*h - 2283*p + 16. Put h, 4/3, -2/19, 0.3, 3 in decreasing order.
h, 3, 4/3, 0.3, -2/19
Suppose 11581*s = 11596*s - 240. Put s, -4, -428 in increasing order.
-428,