 9. Sort -1, 4, k in descending order.
k, 4, -1
Let m = -3/355130 - 76350619/275936010. Let r = m - 1/111. Sort 1, r, 5.
r, 1, 5
Suppose 0 = -5*z - 26 + 26. Put 5, z, 7, 4 in decreasing order.
7, 5, 4, z
Let u = -8.4 + -1.6. Let r = u + 9.7. Sort r, 1/5, -0.2.
r, -0.2, 1/5
Let q = -2 - -4. Suppose 2*a = -4*r - 2, -2*a - 4 = 2*r - q. Put 5, a, 5/4 in decreasing order.
5, 5/4, a
Let v = 110 + -225/2. Let s = 0.01 - -0.03. Let i = -0.46 - s. Sort i, v, 1/4 in descending order.
1/4, i, v
Suppose 4*t + 9 = -3. Let i = t + -1. Suppose -5*g + f + 0*f - 20 = 0, 15 = -2*g - f. Sort i, 3, g in ascending order.
g, i, 3
Suppose z - 4*x = -5*x - 6, 3*z + 2*x = -21. Let m = 7 + z. Let r be 0*(-2)/(m - 0). Put r, 5, 3 in ascending order.
r, 3, 5
Suppose 2*h = -0*h + 12. Let o = -45 - -49. Put 2, o, h in decreasing order.
h, o, 2
Let v(w) = -3*w - 6. Let g be v(-3). Let n(i) = -i + 2. Let f be n(4). Put f, g, -1 in decreasing order.
g, -1, f
Suppose 0 = 5*d - 6 - 14. Let x be (-5)/((-3 + 2)*1). Sort d, x, 1 in descending order.
x, d, 1
Suppose 4*g + 3*h = -g + 25, -15 = -3*g + h. Let k = 11 + -7. Let o be ((-4)/6)/((-2)/(-6)). Put g, k, o in decreasing order.
g, k, o
Let a = 18443/5 - 3549. Let m = a + -140. Let t = -57/2 + 29. Sort t, m, -2/17 in ascending order.
m, -2/17, t
Let n = -32 - -37. Put -1/5, 4, 0.3, n in increasing order.
-1/5, 0.3, 4, n
Let x = -2.7 + 0.7. Put x, -0.3, 0.3 in descending order.
0.3, -0.3, x
Let s = 29/35 + -9/35. Sort 2, s, -0.4, 0.5 in descending order.
2, s, 0.5, -0.4
Let n be (-3 - -2)/((-2)/(-10)). Suppose -5*u + 5*d - 4*d = 13, -5*d = -15. Let m = 0 - 0. Put m, n, u in descending order.
m, u, n
Let r = 1 + -0.9. Let a be (1/4)/((-4)/(-80)). Sort -4, r, a.
-4, r, a
Suppose -3*a + 0*o - 17 = 2*o, 16 = -4*a + 4*o. Let m be 38/8 - 2/(-8). Sort m, -4, a in ascending order.
a, -4, m
Suppose -4*w - 1 = -5. Let a be 0/(12/(-4) + w). Suppose -4*j = 5*s, s - 29 = 3*j + 2*j. Put a, s, -4 in descending order.
s, a, -4
Let v = 25.4 - 25. Suppose -k + 4*j + 35 = 2*k, 5*j + 5 = -4*k. Sort k, v, 3 in decreasing order.
k, 3, v
Let p(g) = g**2 - 8*g + 10. Let o be p(7). Suppose -o*n + 3 + 12 = 0. Suppose 5*d = 2*h - 4 + 12, n*d = -5*h + 15. Sort 0, h, -1 in decreasing order.
h, 0, -1
Suppose -9 = -3*a + 2*o + 16, 0 = 3*a + 4*o - 13. Put -1, 4, a in decreasing order.
a, 4, -1
Let k = 0.5 - 1.2. Let u = -0.37 - -0.07. Let a = k - u. Sort 0.2, a, 2 in decreasing order.
2, 0.2, a
Let a be (-4*(0 - 1))/26. Sort a, -2, 2.
-2, a, 2
Let h be 1 + 0/(0 + 5). Sort h, 0.09, 2/3.
0.09, 2/3, h
Suppose -5*y + 3*a - 4 = 0, -3*a + 4 = -2*y - 3. Sort -5, 3, y, 5.
-5, y, 3, 5
Let s = -1.2 + 1.7. Sort 1, s, 5, -12 in descending order.
5, 1, s, -12
Suppose 8*n - 3*n = 5*q - 30, -5*q + 27 = -4*n. Suppose 5*g + 5*v + 20 = 0, -q*g - v = -4*v - 18. Let u = 0.6 - 0.4. Put -1, g, u in ascending order.
-1, u, g
Let h = 0.59 + -0.39. Sort -0.1, h, 15, -0.3 in ascending order.
-0.3, -0.1, h, 15
Let h = -1/10 + 3/5. Let d(a) = -a**2 - 7*a - 9. Let z be d(-6). Let j = 0.2 + -0.9. Put z, h, j in decreasing order.
h, j, z
Suppose -c + 0 + 1 = 0. Suppose 4*a + 18 = -2. Sort 4, c, a in ascending order.
a, c, 4
Let r = 0.1 + 1.9. Let n = -10 - -15. Put 3, r, n in ascending order.
r, 3, n
Let y(z) = 5*z**3 - z**2. Let j be y(1). Let q be 2 + 6/((-4)/2). Let v be (-36)/8*4/(-6). Put q, v, j in increasing order.
q, v, j
Let c = 2.8 - 3. Let l = c + -0.2. Put -1/4, l, 0.5 in ascending order.
l, -1/4, 0.5
Let x = -4 + 9. Let u = 4 - 1.5. Let f = -2 + u. Sort -0.5, f, x in descending order.
x, f, -0.5
Let l = -14 + 17. Suppose 0 = -l*j + z - 12, -22 = 2*j + 4*z. Put 2, 0, j in descending order.
2, 0, j
Let x be 19 + (1 - 0/(-2)). Suppose -3*k - k + x = 0. Sort k, 3, -3 in decreasing order.
k, 3, -3
Let i = -13 + 17. Sort -1/25, i, 0.5 in decreasing order.
i, 0.5, -1/25
Suppose -3*d - 5*q = -5, 25 = 3*d + 2*q - 7*q. Sort 10, 1, d, -2 in descending order.
10, d, 1, -2
Suppose -20 = 4*f - 0*f, -3*o = 3*f + 9. Suppose -q + 5*q - o = 2*s, 0 = 5*q + 4*s - 9. Suppose 3*g - 6 = 5*b, 3*g + 2*g + 5*b + 30 = 0. Sort -2, q, g.
g, -2, q
Let y = -1.4 - -1. Let w = y + -0.1. Let r be 1/4 + (-13)/36. Sort -1, w, r.
-1, w, r
Let y be (1 - 5)*(-12)/48. Put y, 7, 5 in ascending order.
y, 5, 7
Suppose -m - 7*b = -4*b + 10, -4*b + 12 = -5*m. Let t = -6 - m. Sort 4, t, 2 in descending order.
4, 2, t
Suppose 13*d - 2*d = -0*d. Suppose 4*i + 2 - 1 = -w, 0 = i + 5*w - 14. Put d, -4, i in increasing order.
-4, i, d
Let b = 3 + -6. Let w = 7 - 12. Sort -0.1, w, b in descending order.
-0.1, b, w
Suppose -3*g = 2*h - 20, 2*h - 4*h + 4*g = -6. Let b = -5 + h. Sort b, -4, 4 in descending order.
4, b, -4
Let d = -9 + 4. Let a(l) = l**2 - 5*l - 7. Let y be a(6). Sort -2, d, y in descending order.
y, -2, d
Suppose -1 = -2*z + 1. Let h be (-2)/(-8) - 42/8. Sort 2, z, h in decreasing order.
2, z, h
Let m = 8 - 4. Sort m, -5, 2 in ascending order.
-5, 2, m
Let z be 1 + 1 + 1*3. Suppose -h - 2 = -a - 0*h, 0 = 4*h. Sort z, -3, a in increasing order.
-3, a, z
Let j be (16/(-12))/(2/(-3)). Put j, -1, -4 in decreasing order.
j, -1, -4
Let y = -50 - -52. Sort y, 0.3, -2, 5 in ascending order.
-2, 0.3, y, 5
Suppose -4*u - 2 = 6. Let h(b) = b**2 - 6*b + 3. Let f be h(6). Put f, 0, u in decreasing order.
f, 0, u
Let v(l) = 2 - 4*l + 2 + 2*l + 11. Let d be v(7). Sort -1, d, -5 in increasing order.
-5, -1, d
Suppose -10*u + 7*u = 0. Sort u, 1, -1, 2.
-1, u, 1, 2
Let s = -18 + 17. Let a(t) = t + 8. Let w be a(-7). Let r be w*3/(-6)*6. Sort s, r, 4 in ascending order.
r, s, 4
Let v = -2/1713 - -4574/5139. Let o = -25/18 + v. Let p(y) = -y - 1. Let i be p(3). Sort o, -1, i in increasing order.
i, -1, o
Let j = 10 - 10.44. Let n = -0.04 - j. Let v = -0.5 - -1. Sort v, -5, n.
-5, n, v
Let g be 32/(-42) - 20/(-30). Put -0.2, g, 5 in decreasing order.
5, g, -0.2
Let y = 3.1 + -0.1. Let v = 3.1 - y. Sort 0.5, -0.5, v in ascending order.
-0.5, v, 0.5
Let n be (-4)/8 - (-63)/6. Let z = 14 - n. Put 1, -3, z in decreasing order.
z, 1, -3
Suppose 70*d - 73*d = -15. Put -11, d, 4, -4 in increasing order.
-11, -4, 4, d
Let h = 81.98 + -87. Let f = 0.02 + h. Let z = f + 4. Sort z, -1/2, 1/7.
z, -1/2, 1/7
Suppose 0*p + 20 = -4*p. Suppose -2*a = -3*a - 1. Put -2, a, p in decreasing order.
a, -2, p
Let m = -129/5 + 26. Let o be ((-9)/(-6) - 1)*0. Sort 5, m, o.
o, m, 5
Suppose 0*n - 6 = -3*n. Suppose -5*g = 7 - n. Suppose -3*k - 2 = -y + 5, 0 = -2*k - 4. Sort y, 2, g.
g, y, 2
Suppose 2*w = 2*u + 12, -u = 3*w - 5*w + 10. Let q be (-6)/(-3) + u*1. Let z be 7/(-2) + 5/10. Sort z, q, 4 in increasing order.
z, q, 4
Let h be 10/14 + 6/21. Put 5, h, -5 in descending order.
5, h, -5
Let n = -16 - -27. Let u = 7 - n. Sort -1, 0, u in descending order.
0, -1, u
Let z be 1 - 4/(2 + -4). Let r(h) = h**3 - 3*h**2 + h + 1. Let u be r(z). Sort 5, -0.1, u.
-0.1, u, 5
Suppose 4*d = 5*b + 8, 0 = -5*b - 0*b. Sort -4, -5, d.
-5, -4, d
Let b be (-1 - -2089870) + (-3 - 0). Let q = 3197495311/1530 - b. Let j = q - -1/170. Put -2/11, -0.2, j in descending order.
j, -2/11, -0.2
Let l(t) = -1. Let n(h) = -h + 1. Let o(f) = -5*l(f) - 5*n(f). Let r be o(-1). Let w be ((-5)/(-20))/((-1)/(-4)). Sort r, 2, w.
r, w, 2
Suppose -2*j - 5 - 3 = 0. Let b = 2 + -1. Suppose 4*t - b = 7. Sort t, j, -1 in increasing order.
j, -1, t
Let c(v) = -v + 11. Let t be c(7). Sort 3, 7, t in decreasing order.
7, t, 3
Let z = 12 + -8. Let u = -5 - -5. Suppose -5*n - 12 - 3 = u. Sort n, 1, z in increasing order.
n, 1, z
Suppose -5*r = 2*d + 20, -3*r - r - 16 = -d. Suppose p + d = -3. Put p, -2, 1 in decreasing order.
1, -2, p
Let w = -103 - -103.02. Put w, 0.1, -2/3 in ascending order.
-2/3, w, 0.1
Let i = -121 - -128.7. Let n = 0.3 + i. Let c = -8.3 + n. Put 3, 0.2, c in decreasing order.
3, 0.2, c
Let p be -4 - -6 - (1 - 0). Let s be 33/27 + p - 2. Let y = -0.03 + 4.03. Sort 0, s, y in descending order.
y, s, 0
Let o(g) = -g**2 - 6*g + 9. Let m be o(-7). Suppose -m*q + 4 = p, -2*q = -3*p - 7 + 3. Put p, -5, 5 in increasing order.
-5, p, 5
Let r = -28 - -10. Let i be ((-2)/12)/(3/r). Sort i, 4, -1 in increasing order.
-1, i, 4
Let c be 2/(-4)*(1 + -3). Sort c, 3, -5 in decreasing order.
3, c, -5
Let t = 0.14 + 13.86. Let j = 13.9 - t. Sort 0.3, j, -2/5.
-2/5, j, 0.3
Suppose 2 = -k + y + 3*y, 0 = -