9. Sort 1, r, 51 in descending order.
51, 1, r
Let b = -10 - -8. Sort -0.1, 4, b, 1/2.
b, -0.1, 1/2, 4
Suppose 0*h = -3*h - 6. Suppose -4*y + 2 = -6*y. Let v be (-4 - (y + -1))/2. Sort h, -5, v.
-5, h, v
Let t = 1.8 - 3.1. Put t, 3, 0 in descending order.
3, 0, t
Let p = -4 + 4. Let x = p - 0. Let q be (-4)/4 + (1 - x). Put -4, 4, q in ascending order.
-4, q, 4
Let h be 1 + -1 - 1 - 2. Let l = h + 4. Let t(g) = -g**3 + 6*g**2 - 4*g - 14. Let v be t(4). Put l, -2, v in ascending order.
-2, l, v
Suppose 0 = 7*b - 12*b - 20. Put 0.3, b, -1, -3/8 in decreasing order.
0.3, -3/8, -1, b
Suppose -5*w + 24 - 4 = 0. Suppose -4 - w = -2*i. Sort -2, i, -3.
-3, -2, i
Let t = 59 - 175/3. Sort 0.1, t, 2/9.
0.1, 2/9, t
Let a = 11 + -5. Let m = a + -4. Let l be (1 - (2 + -1))/(-2). Put l, m, 5/2 in decreasing order.
5/2, m, l
Let w(m) = -m**2 - 2*m - 4. Let o be w(0). Sort o, -7, -5 in descending order.
o, -5, -7
Let u = 40 + -21. Sort 2, u, 0.5 in descending order.
u, 2, 0.5
Suppose -2*h = 3*h - 5. Let a be (-10)/(-45) - 758/(-18). Let c = 43 - a. Put 0.1, h, c in ascending order.
0.1, c, h
Let n(i) = i + 7. Suppose -5*v + 3*u - 33 = u, -3*u + 12 = 0. Let w be n(v). Sort w, 5, -4 in decreasing order.
5, w, -4
Let k = 24 - 13. Suppose -3*x = -k + 2. Suppose -2 = 3*s - 17. Put s, x, -3 in increasing order.
-3, x, s
Suppose 0 = -10*t - 56 + 6. Let g be 1*(-1 - (-1)/1). Put t, 3, g in descending order.
3, g, t
Suppose -11 - 3 = 2*f. Let i be 38/(-14) + 2/f. Put -1, 5, i in increasing order.
i, -1, 5
Let h = -0.8 - -0.74. Let v = h - -5.06. Sort -2, 0.1, v in decreasing order.
v, 0.1, -2
Let y(t) = t - 3. Let m be y(7). Put 2, m, 5 in descending order.
5, m, 2
Let h be (-8)/(-6)*63/(-6). Let k = -15 - h. Put k, 2, 8 in increasing order.
k, 2, 8
Let v be 4/6 + 2/(-3). Suppose 12*z - 14 - 46 = 0. Put z, 2, v in decreasing order.
z, 2, v
Let c(a) = a**2 - a. Let x be c(1). Let o = x + 0. Let j(p) = -p**2 + 14*p + 4. Let d be j(14). Put o, 5, d in decreasing order.
5, d, o
Suppose 0 = -o + 4*o - 9. Let a(z) = 4*z**3 + z**2. Let s be a(-1). Put 5, o, s in increasing order.
s, o, 5
Let k = 0.7 + 10.3. Let j be (6/(-12))/((-2)/3). Sort j, k, 4/7 in decreasing order.
k, j, 4/7
Let b = -10 - -13. Let x be (32/(-10))/4*-5. Suppose -h = 3*h + x. Sort b, h, 3/5 in ascending order.
h, 3/5, b
Suppose 6*b - 9 = -3*b. Put b, 2, 4 in descending order.
4, 2, b
Let l(d) = d**2 - 4*d + 5. Let t be l(3). Let z(m) = m + 1. Let w(n) = -n**3 - 4*n**2 + n - 2. Let a be w(-4). Let p be z(a). Put t, p, -3 in ascending order.
p, -3, t
Let w be (-3 + (-9)/(-2))*-2. Put 8, 4, w in descending order.
8, 4, w
Let i(f) = f**2 - 17*f + 17. Let o be i(16). Put 10, 5, o in ascending order.
o, 5, 10
Let b(r) = -r**3 + 4*r**2 + 6*r - 10. Let i be b(5). Sort i, -0.05, 3, 5 in decreasing order.
5, 3, -0.05, i
Suppose 4*q = q + 36. Let x = q + -7. Sort 0, -5, x in decreasing order.
x, 0, -5
Suppose 2*g - 2 = -2*f, 0*f + 3*g = 3*f + 9. Sort -5, -8, f in descending order.
f, -5, -8
Let f be (-4)/3 - 27/(-18). Sort 0.3, 2/7, f, -0.3.
-0.3, f, 2/7, 0.3
Let n(b) = 14*b**2 + 53*b + 30. Let i(j) = -5*j**2 - 18*j - 10. Let x(p) = 17*i(p) + 6*n(p). Let k be x(13). Put -4, 2, k in descending order.
2, k, -4
Let u = -1.3 + -0.7. Let t = 0.4 + -0.29. Let h = -3.89 - t. Put 0, u, h in descending order.
0, u, h
Suppose 7*t = t + 6. Sort 11, -2, t.
-2, t, 11
Let u = 7.6 - -46.6. Let g = 59.13 - u. Let x = 0.07 + g. Sort x, 4, 1/3 in increasing order.
1/3, 4, x
Let y be 2/((-1)/4*-2). Let f = 6 + -12. Sort f, y, 1 in decreasing order.
y, 1, f
Suppose 0*o - o - 3 = 0. Let n = o + 2. Sort n, -5, 0.
-5, n, 0
Let p = 27.3 + -27. Let i(u) be the first derivative of -u**4/4 + 4*u**3/3 + 3*u**2 - 4*u + 2. Let x be i(5). Sort x, 2/3, p in descending order.
x, 2/3, p
Let t = -66 + 66.4. Let w = -602/3 + 199. Put t, 4, w in decreasing order.
4, t, w
Let n be (-6)/(-27) + 16/9. Suppose -2*f - 2*b = -4, -f + 3*b + n = -2*b. Put 5, 0, f in decreasing order.
5, f, 0
Suppose t = -0 - 3. Let k be (-12)/72 - (-1)/6. Put k, 4, t in decreasing order.
4, k, t
Let h = 40 + -198/5. Suppose -16*c + 9*c + 7 = 0. Put c, 2, h in descending order.
2, c, h
Let k = 0.25 - 1.25. Sort k, -5, -2 in descending order.
k, -2, -5
Suppose 3*h - 31 = -13. Suppose -3*j = h - 0. Put -1, -5, j in decreasing order.
-1, j, -5
Let j = 3 - 1.6. Let l = -3.6 - j. Sort 4, 5, l in increasing order.
l, 4, 5
Suppose 0 = 5*b - 21 + 11. Sort b, 8, 4.
b, 4, 8
Suppose 17*y - 35 = 33. Sort y, 2, 5, -4 in increasing order.
-4, 2, y, 5
Let a = -8 + 17. Let v = 13 - a. Let j = 0.02 - 0.32. Sort j, 0.5, v in decreasing order.
v, 0.5, j
Let d = 2.4 - 2.6. Put -2/9, d, -0.8 in increasing order.
-0.8, -2/9, d
Let s = -8 + 13. Let g = -0.4 - 2.6. Let u = g + s. Sort 0.07, u, 2/9 in increasing order.
0.07, 2/9, u
Let v be (-4)/(-16)*-2*0. Let n be (-30)/(-5) + v/(-3). Sort -5, n, 1 in ascending order.
-5, 1, n
Suppose -7 + 22 = -5*f. Suppose 2 = 5*p - 4*p. Put p, 5, f in descending order.
5, p, f
Let r be 1/4 - (-31)/4. Suppose -5*b = -r - 17. Let d = -9 + 11. Put -1/9, d, b in decreasing order.
b, d, -1/9
Let j = 353/895 + 1/179. Suppose 4*k + 0*z = -z - 13, -3*k - 2*z = 6. Put -0.5, k, j in descending order.
j, -0.5, k
Let j(w) = -w**2 + 21*w + 26. Let l be j(22). Put 2, 1, l in increasing order.
1, 2, l
Let r = -9 + 13. Put -2, -6, r in ascending order.
-6, -2, r
Suppose 5*x + 0*s + 5 = s, x - 2*s + 1 = 0. Sort 29, -3, x in ascending order.
-3, x, 29
Let h(v) = -2*v - 7. Let q be h(-5). Sort -3, -1, q in descending order.
q, -1, -3
Suppose -5*i + 2*i + f + 8 = 0, 3*i = -5*f + 32. Suppose 0*w - 12 = i*w. Put w, 3, 1 in ascending order.
w, 1, 3
Suppose m - 2 + 7 = 2*u, -15 = -3*u. Sort m, 4, 7 in increasing order.
4, m, 7
Let a(d) = -3*d - 12. Let p be a(-4). Let z be ((-8)/(p - 4))/2. Sort -2, -1, z.
-2, -1, z
Suppose 0 = 3*k - 2*k - 5. Let t = 7 - k. Suppose -a + 2*x = -12, -a + 16 = -t*a - 5*x. Sort 0, 3, a in decreasing order.
a, 3, 0
Let j = -2.5 - -2. Let t = -0.4 + 0.3. Suppose 6 = -4*b + 2. Put b, j, t in ascending order.
b, j, t
Let h = 53 + -57. Put -3, 2, h in decreasing order.
2, -3, h
Let f = 284/5 - 57. Put f, -3/2, 0 in increasing order.
-3/2, f, 0
Let m be (12/5)/(5/50). Let p be (m/(-20))/(6/(-20)). Let k be 7/(-2) - (-1)/2. Sort k, -1, p.
k, -1, p
Let m = 12 - 12.1. Sort 0.2, m, 5 in descending order.
5, 0.2, m
Let s(i) = -i**3 + 9*i**2 + 2*i - 13. Let q be s(9). Put -1, 3, q, 1 in ascending order.
-1, 1, 3, q
Let i(j) = -j**3 - 5*j**2 - 2*j - 6. Let o be i(-5). Let k be -1 - -3 - (2 - 1). Sort k, o, -4.
-4, k, o
Let s = 11 - 7. Let m(o) = 4*o**3 - o**2. Let d be m(1). Suppose w + 6 = d*w. Sort s, 5, w in increasing order.
w, s, 5
Let f = 3 - 2. Let l = 106 - 105.9. Put -13, l, f in decreasing order.
f, l, -13
Let p = 0.14 + -14.14. Put -5, 1/6, p in decreasing order.
1/6, -5, p
Suppose -3 = 2*z + 1. Sort 4, z, 5.
z, 4, 5
Let l be 15/3 - (-3 + 6). Sort 0.3, l, -0.3 in ascending order.
-0.3, 0.3, l
Let o be ((-4)/(-8))/((-1)/((-4)/(-9))). Put o, 1/4, -0.4, -3 in ascending order.
-3, -0.4, o, 1/4
Let a = 353/3 + -119. Sort 5, a, -2.
-2, a, 5
Let f(n) = n**3 - 10*n**2 + 2*n - 9. Let a be f(10). Let d = a + -8. Let t be (-8)/d - (-2)/(-6). Put t, -1, 5 in descending order.
5, -1, t
Let b = 0.2 - 1.2. Let l = 0.2 + -0.2. Let q = 0 - l. Sort b, 0.1, q in increasing order.
b, q, 0.1
Let v = -4 + 8. Let s be (-12)/(-8) + (-2)/v. Put s, 0.4, -0.2 in increasing order.
-0.2, 0.4, s
Let q = 1.2 - -2.5. Let d = 0.7 - q. Put d, 5, 3 in decreasing order.
5, 3, d
Let l(p) = -p**2 + p + 9. Let o be l(-3). Sort 2, 4, o.
o, 2, 4
Let a = 0.13 + 8.87. Sort -4, -5, a.
-5, -4, a
Let r = 34 - 35. Sort r, 1, 4.
r, 1, 4
Let i = 28 + -26.9. Let n = i + -0.1. Let z be 104/40 - (6/10 + -1). Put -5, z, n in decreasing order.
z, n, -5
Let r = -10 - -14. Suppose -3*a = -5*x - 2, 0 = -a - r*a - 4*x - 9. Let p be 3*2/(0 - 2). Sort a, 0, p in increasing order.
p, a, 0
Suppose -3*x + 154 = i, 0 = -2*x - 4*i + i + 91. Suppose 5*y - x = -j - 15, -3*j = 4*y - 26. Let m = -13 + y. Sort m, 4, 1.
m, 1, 4
Let s(t) = t**3 - 6*t**2 + 4. Let i be s(6). Put 1, i, -5, -20 in ascending order.
-20, -5, 1, i
Let s = 39 + -22. Let f = s - 14. Put 1, f, -0.2 in descending order.
f, 1, -0.2
Let w = 6.02 + -6. Let