9. Let q be x(7). Let j be (-64)/(-80) + (-62)/(-10). Suppose -6*b + 19 - j = 0. Sort 1, q, b.
q, 1, b
Let t = -743 + 300. Let q = -459 - t. Sort 3, q, -2, 0 in decreasing order.
3, 0, -2, q
Let j be (0 + 7/2)*(7 - (-627)/(-77)). Sort 17, j, -6 in descending order.
17, j, -6
Let j(y) = -60*y + 137. Let g be j(2). Put -27, 0, g in increasing order.
-27, 0, g
Suppose -5 = -u - 3*g, -4*u + 24 - 4 = -3*g. Suppose -c + 5*c - 36 = 0. Suppose -6*r = -3*r + c. Put 0, r, u in ascending order.
r, 0, u
Let u(m) = -m**3 + 6*m**2 - 7*m + 5. Let y be u(5). Let i = -131 - -135. Let j be (-8*(-10)/(-40))/(-3 + 5). Sort j, 3, y, i.
y, j, 3, i
Let m be ((-2)/6)/(2/(-12)). Suppose 5*j - m = -17. Let z = -134 + 137. Sort z, j, 1 in descending order.
z, 1, j
Let i = -37.4889 + -0.0111. Let g = i - -36.5. Put 0.037, 0.4, g in decreasing order.
0.4, 0.037, g
Let b(u) = u + 11. Let a be b(-7). Suppose 4 = n + a. Suppose 3*p + n = 2*y - 4, -2*y + 4 = 4*p. Put 1/2, p, -0.4 in ascending order.
-0.4, p, 1/2
Let b(o) = -o**3 - 2*o**2 + 28*o + 29. Let u be b(-6). Put 2, -9, -14, -5, u in decreasing order.
u, 2, -5, -9, -14
Let u = 23264 + -23261. Sort -6, 9, -5, 5, u in descending order.
9, 5, u, -5, -6
Let j = -56.6443 + 0.4643. Let a = -56 - j. Let p = -4.18 + a. Sort -2, p, 3/4, 0.4 in ascending order.
p, -2, 0.4, 3/4
Let o = -9 + 13. Suppose 6*p - 7*p = -13. Suppose -11 = f - p. Sort f, -14, o in decreasing order.
o, f, -14
Suppose 5*s + 40 = -5*l, -l - 669 = -5*s - 685. Sort -1, 3/5, 24, l.
l, -1, 3/5, 24
Let v = 3647.4 + -3647. Put -0.3, -1/6, v, 2 in descending order.
2, v, -1/6, -0.3
Let a = 167 - 1167/7. Let h = -162 + 21. Let k = h - -138. Put k, a, -5 in decreasing order.
a, k, -5
Suppose -47*y = 2 + 21 + 24. Put -5, 623, 5, y in ascending order.
-5, y, 5, 623
Let r = 139.666 + -139. Let b = -0.366 + r. Put -0.079, b, -3/5 in decreasing order.
b, -0.079, -3/5
Let w = -674.109 - 16.891. Sort -0.3, -1, -4/9, w in increasing order.
w, -1, -4/9, -0.3
Let s = 2318 - 2313. Sort 4, s, 6, -3, -1 in decreasing order.
6, s, 4, -1, -3
Let c = 2086.3 - 2086. Sort -2, c, -0.3, 88 in increasing order.
-2, -0.3, c, 88
Let j = -24967 - -24964. Sort -6, j, -4, 11, 2 in ascending order.
-6, -4, j, 2, 11
Let y(h) = -8*h - 50. Suppose 3*o + 2*r = o - 32, r + 76 = -4*o. Let i be (126/70)/(6/o). Let b be y(i). Sort 1/2, 5, b in ascending order.
b, 1/2, 5
Suppose -3*b - 5*c = -65 - 49, 0 = -2*b + 3*c + 57. Suppose -4*t + 4*y - 148 = 0, -2*t - t + 5*y - 121 = 0. Let p = b + t. Put p, 3, 4, -4 in descending order.
4, 3, p, -4
Suppose -4589*z - 105 = -4484*z. Put -3, -5, -3.8, 4, z in decreasing order.
4, z, -3, -3.8, -5
Let j be 2/5 - 7/5. Let g(p) = 4*p**2 + 54*p - 25. Suppose 9*n + 85 = -41. Let r be g(n). Sort j, r, 1, -16 in decreasing order.
r, 1, j, -16
Let d be (4/(-7))/((-4024)/7042)*-14. Suppose -2*w - 9 + 1 = 0. Put -5, d, w in ascending order.
d, -5, w
Let v be 9 - (108/11 + (-34)/(-187)). Put -4, 2, -9, -11, v in increasing order.
-11, -9, -4, v, 2
Let r = 10 + -5. Let u(n) = -2*n - 4. Let o be u(-4). Let d be 0/5*(3 + -2). Sort r, d, 1, o in descending order.
r, o, 1, d
Let l = -3273 + 3262. Let n = 2.98 + 0.02. Put n, 2/3, l in ascending order.
l, 2/3, n
Let k(j) = 11*j + 217. Let p be k(-20). Sort p, -1, -102.
-102, p, -1
Suppose -92*l + 94*l = 0. Let u be (-2)/3*81/6. Let m be 4 - (-3)/u*21. Sort -5, -1, m, l.
-5, m, -1, l
Let m = -12.7 + 12.5. Let u(f) = 2*f + 11. Let d be u(-7). Sort d, m, 2/3 in descending order.
2/3, m, d
Let p = -1233 + 1232.437. Let l = 4.563 + p. Sort -3, -2/111, l.
-3, -2/111, l
Let o = -617 + 618. Let f be -6*28/(-42) + (o - 10). Sort 24, 4, f.
f, 4, 24
Suppose 0 = -5*c + 7*u - 912, 2*u - 386 = 2*c - 18. Sort c, 15, 4, 0.
c, 0, 4, 15
Let f(v) = v**3 + 20*v**2 - v + 13. Let a be f(-20). Let w = 36 - a. Sort 20, w, -1 in ascending order.
-1, w, 20
Suppose 282 + 306 = 4*r. Put r, 3, 1 in ascending order.
1, 3, r
Let m be ((-5)/(-2))/(1/6). Suppose 199*q - 44*q + 150*q - 50*q = 0. Suppose 2*d - m + 5 = q. Put -3, -1, d in decreasing order.
d, -1, -3
Let f(l) = 92*l + 1743. Let v be f(-19). Sort -4, -43, 0, 5, v in descending order.
5, 0, -4, v, -43
Let f be ((-2)/4)/(((-3)/(-300))/(-1)). Let z be 60/f*(-10)/(-6). Suppose -3*m - 18 = -4*w - m, 0 = 3*w - z*m - 16. Sort 4, 1, w in ascending order.
1, w, 4
Let d(h) = -h**3 + 3*h**2 + 6*h - 5. Let z be d(4). Put -0.1, -0.2, 0.65, 4/7, z in descending order.
z, 0.65, 4/7, -0.1, -0.2
Let f = 218.2 + -218. Sort -0.2, f, 4, 6/7, -17 in decreasing order.
4, 6/7, f, -0.2, -17
Suppose -2*l - 136 = -q - 2*q, 0 = -5*q - 5*l + 260. Suppose 7 = 3*f + 2*t, 8*f - 9*f + 4*t = 7. Sort -1, f, q.
-1, f, q
Let n = 234183/4 + -58545. Let w = 14/17 - 101/102. Put -1/3, n, w, 4 in decreasing order.
4, n, w, -1/3
Let u = -136 + 86. Let n = 124 + u. Let y = 77 - n. Sort -2, y, 2, 1 in increasing order.
-2, 1, 2, y
Let j = 14 - 13. Let m be 2/5*5/6. Let o = -1577 - -1581. Sort j, o, m.
m, j, o
Let k = 53.6 + -54. Let i = -2.92 + -0.08. Suppose 84*p + 6 = 81*p. Sort k, p, i, 0.5 in descending order.
0.5, k, p, i
Let y = 327 + -283.4. Let v = y + -44. Let j(f) = -f - 13. Let n be j(-11). Sort -1, v, n in ascending order.
n, -1, v
Suppose 5*x - 17 = 13, 0 = 3*s + 5*x - 42. Sort -16, 0, -5, s, 7.
-16, -5, 0, s, 7
Let u = -104.546 - -111.546. Let c = -0.7 + -0.3. Put -0.5, c, u in increasing order.
c, -0.5, u
Let d be 2/4 + (-195)/(-130). Let l be d*-1*8/((-112)/(-7)). Let r(t) = -t + 11. Let u be r(6). Put u, -3, 3, l in descending order.
u, 3, l, -3
Let z be 6/(-111) - (-359359)/(-407). Sort z, 5, -4.
z, -4, 5
Let z = -1211/18 - -135/2. Suppose -3*u - r + 15 = 0, -4*u = -0*r - 2*r - 20. Suppose -k - 2*k = t + 3, -2*k = u*t + 2. Sort t, z, -4/15 in descending order.
z, t, -4/15
Let v be (91/273)/(27/36*2/27). Put 31, v, 1/3, 0.2, 1 in ascending order.
0.2, 1/3, 1, v, 31
Let s = 4238 + -4237. Sort -9/19, -3/5, -1, s in decreasing order.
s, -9/19, -3/5, -1
Let g be 1/(-120) + 12/(-96). Let t = -21/20 - g. Put -0.1, -3, t in decreasing order.
-0.1, t, -3
Let o(c) = c**3 + 3*c**2 - 9*c - 15. Let w be o(-4). Suppose 54*b - 27*b = -54. Put w, b, 37 in descending order.
37, w, b
Let y = 1763 - 1762.87. Sort 2, y, -0.3 in increasing order.
-0.3, y, 2
Suppose 25*h + 838 = -487. Sort -1, -8, h, 3, -3.
h, -8, -3, -1, 3
Let w = 22675 + -22671. Let r = 23 - 9. Let a = r + -9. Sort -1, a, w in decreasing order.
a, w, -1
Let q(f) = f**3 + 13*f**2 + 22*f + 21. Let r be q(-11). Suppose x = -2*j + r + 6, 2*x - 70 = 4*j. Suppose x + 29 = -12*z. Sort 8, 2, 1/4, z in decreasing order.
8, 2, 1/4, z
Let t = -6 + 4. Let q(u) = -u**3 + 6*u**2 + 8*u - 7. Let d be q(7). Suppose -l - 4 = 0, d = -x + 4*l + 31 - 20. Put t, 1, x in descending order.
1, t, x
Let g(q) = q**3 + 34*q**2 + 55*q + 719. Let k be g(-33). Put 0.2, k, 0, 2/3 in decreasing order.
2/3, 0.2, 0, k
Let v = -73 + 70. Let x = -119 - -72. Let y = x - -47.4. Sort 0.2, v, y.
v, 0.2, y
Let o(y) = 13 - 262*y**2 + 11*y - 3*y**3 + 257*y**2 + 2*y**3. Let v be o(-7). Suppose 0 = -m - 35 + v. Sort 1, 3, -2, m in decreasing order.
3, 1, m, -2
Let r(d) = 2*d**2 + 6*d - 5. Let t be r(-4). Suppose 0 = 5*a + 20, -4*a = -t*l + 13 - 6. Let p be 0/((-3 - -4) + 0). Sort l, p, -2 in decreasing order.
p, -2, l
Let r = -75.531 - -5.531. Put 2, -11, r in increasing order.
r, -11, 2
Let b = -404 - -453. Suppose -10*i + 179 = b. Let t = 5 + -6. Put i, -3, 0, t in descending order.
i, 0, t, -3
Let c be (1/2)/(14/(-504)). Let a be (-122)/c + 6/27. Suppose -3*b - 4*j - 17 = 0, -4*j = -2*b + a*b + 15. Put b, 2, 3 in descending order.
3, 2, b
Let l = -998 - -998. Put -1, l, 95 in decreasing order.
95, l, -1
Let m = 8413.9 + -8414. Put m, 73, 0 in descending order.
73, 0, m
Let o be (-9 + -5)*(-602)/(-42140). Let i = 0.07 + 0.14. Sort 4, o, i.
o, i, 4
Suppose -5*f = 4*d + 20, -3*d - 131*f + 135*f = -16. Let v(p) = -p**2 + 6. Let q be v(5). Put d, -5, -3, q in ascending order.
q, -5, -3, d
Let h = 114 - 113. Let b = -7.5 + -2.5. Let g = 15 + b. Sort h, g, -2/27.
-2/27, h, g
Let b = 326 + -152. Suppose 5*t + b = r, t - 6*t = -4*r + 186. Let u = t + 32. Sort -12, -5, u in descending order.
u, -5, -12
Suppose 36*j - 749 = 6163. Put 2, -0.01, j in increasing order.
-0.01, 2, j
Let k = -248 - -249. Let p be 14/(-27)*36/(-24) -