= 9. Sort h, -5, f in descending order.
f, h, -5
Let b(y) = -y**2 - 4*y + 3. Let j be b(-5). Let f be ((-7)/1)/(2 - 1). Let d = 10 + f. Put -1, j, d in descending order.
d, -1, j
Let w = 156 - 156.5. Sort w, -2/21, -3 in decreasing order.
-2/21, w, -3
Let z = -41 - -46. Suppose 5*m - 4 = 3*m. Put 3, m, z in decreasing order.
z, 3, m
Let z(a) = -a**2 + 5*a + 7. Let g be z(6). Suppose -g = 3*r + 5*i, 5*r - 3*r + 5*i - 1 = 0. Let s = -12 - -17. Sort s, 1, r in descending order.
s, 1, r
Suppose 3*u - 5*o - 27 = 0, -5*o + o = 5*u - 8. Suppose 15 = 5*a + h, 5*h + 11 = -u*a + 2. Suppose 3*s + 15 = -2*s. Sort 5, s, a.
s, a, 5
Let o be (2 - 7/4) + 0. Let g(a) = -2*a - 6. Let s be g(-4). Let p be s/12 + 21/(-18). Put o, p, -4 in decreasing order.
o, p, -4
Let t = -19 + 21. Put -1, 17, t in decreasing order.
17, t, -1
Let g be 1*-1*(9 + -8). Sort g, -8, 0 in decreasing order.
0, g, -8
Let d be (-4)/6 - (-64)/24. Let s(y) = 3*y**2 - 2*y. Let l be s(d). Suppose 3*p - w - 5 = l*p, 4*w - 28 = 4*p. Sort 5, p, -1 in descending order.
5, -1, p
Let k(h) = -2*h + 5 + h + 2*h. Let r be k(-8). Let q = -47/91 + 3/13. Sort r, -5/3, q.
r, -5/3, q
Let a be -5 + -3 + 1 + 3. Let b(r) = -r + 6. Let v be b(8). Sort 4, v, a in descending order.
4, v, a
Suppose 0 = -v - 2 - 0, -5*h - 4 = -3*v. Let s be 1*(h + 3/3). Sort 1, s, 4 in increasing order.
s, 1, 4
Let q = -1.4 + 0.4. Let w = -2 - q. Put 0.2, 3, w in descending order.
3, 0.2, w
Let x be (-102)/(-24) + 1/(-4). Suppose 3*m - 11 = -y, 5*y + 5*m + 1 - 6 = 0. Sort -5, y, x in ascending order.
-5, y, x
Let v = 103.6 + -124. Let k = v + 20. Sort -0.2, 0.4, k in ascending order.
k, -0.2, 0.4
Let y(x) = x**3 - 4*x**2 + 2*x + 1. Let j be y(3). Put 1, 2, j in ascending order.
j, 1, 2
Suppose 3*h + 5*k + 2 = -1, 0 = 2*k. Let y be -2 - (h + 0/1). Let c be (((-4)/5)/(-4))/y. Put -0.3, 1, c in descending order.
1, c, -0.3
Let y = 6.3 + -6. Let o = -3.5 - -4. Let u = -4.89 - 0.11. Put o, y, u in descending order.
o, y, u
Suppose 4*q - 4 = 16. Suppose q*d + 25 = 5*j, -3*d - 4*j = 2*d + 7. Let r be 5 + 0 - (-36)/(-6). Put r, -5, d in descending order.
r, d, -5
Let w be 2/8 + 45/12. Suppose -p = 3*f + 7, 0*p + w*p = -5*f. Suppose 3*m + 16 = 7*m. Sort m, 0, f.
f, 0, m
Suppose 3*z - 2*z = 4*x - 13, -x + 6 = -3*z. Sort 2, 2/3, x in decreasing order.
x, 2, 2/3
Let f(b) = -b**3 - 6*b**2 - 5*b - 3. Let a be f(-5). Suppose -40 = 3*s + s. Let v be s/(-4)*1 + -2. Put a, v, -0.3 in descending order.
v, -0.3, a
Let v = -21.4 + 21. Sort -1, v, -3/4 in ascending order.
-1, -3/4, v
Let i(l) = l**2 + 9*l + 21. Let g be i(-6). Sort g, 0, -3.
-3, 0, g
Let b = 4.02 - 0.02. Let h = -0.08 - -0.05. Let r = -0.43 - h. Sort 0.5, b, r in decreasing order.
b, 0.5, r
Let y(t) = t**3 + 11*t**2. Let j be y(-11). Put -3, j, -5 in descending order.
j, -3, -5
Let x = -3.66 - 1.24. Let s = -0.3 - -0.2. Let z = x + s. Sort z, 4, 2/7 in increasing order.
z, 2/7, 4
Let u = 21 + -107/5. Suppose -l = 2*h + 32, -3*l + 5*l + 63 = -3*h. Let i be (-4)/10 + (-7)/l. Put i, u, 4 in descending order.
4, i, u
Suppose -2*a + o = 6*o - 39, -3*a = -o - 33. Let p = -10 + a. Sort 0.5, p, -4 in decreasing order.
p, 0.5, -4
Let d = -8/7 - -47/35. Let z = -2 - -1. Let t = 2 - z. Put d, 2, t in descending order.
t, 2, d
Let a = 0.19 + -3.19. Put -1/4, a, 3 in descending order.
3, -1/4, a
Let n = 7 + -2. Suppose 2*i = -i + 30. Let m = 9 - i. Put 3, m, n in decreasing order.
n, 3, m
Suppose 0 = -0*a + a + 3. Let y be (58/(-135))/((-25)/(-12)). Let f = y + -2/125. Sort 1/6, a, f in decreasing order.
1/6, f, a
Let d = -18 + 20. Put d, 4, -4 in decreasing order.
4, d, -4
Let s = 9 - 2. Let i(m) = -m**3 + 12*m**2 + 2*m - 3. Let t(w) = w**2 - w. Let v(b) = i(b) - 6*t(b). Let x be v(s). Sort 1, -4, x.
-4, 1, x
Let b(x) = x**3 - 9*x**2 + 2*x - 12. Let g be b(9). Suppose o + 1 - g = 0. Sort -4, 0.2, o in increasing order.
-4, 0.2, o
Let r be (104/(-6))/(-13)*6/(-4). Sort -22, r, -1 in ascending order.
-22, r, -1
Let n = -6.3 + 6. Let z = n + 0.7. Suppose -4*k = -k - 15, 2*d + 3*k = 15. Sort -5, z, d in increasing order.
-5, d, z
Let m = -2 + 1. Let d = -6.3 - -6. Let x = 0.7 + d. Sort m, -4, x.
-4, m, x
Suppose 0 = -12*n + 2*n + 20. Sort n, -2, 3, 4 in descending order.
4, 3, n, -2
Let m be 1 + 3/18 + -1. Let o = -21.4 - -21. Put o, 1/4, m in decreasing order.
1/4, m, o
Suppose 0 = 3*d - d + 18. Let h = 5 + d. Put h, 4, 5 in descending order.
5, 4, h
Suppose -1 = 2*a + 3. Sort a, 1, -4 in ascending order.
-4, a, 1
Let j = 6 - 7. Let v be (-3 + 1 + 2)*j. Sort -3, -1, v in decreasing order.
v, -1, -3
Let u = -0.5 - 3.5. Let q = -8 - u. Sort 1/5, q, 3 in descending order.
3, 1/5, q
Suppose -13 = -f - 5*d + 11, 3*f - 17 = -4*d. Let z be 0 + (4*6)/(-2). Let o = 8 + z. Sort 2, o, f in descending order.
2, f, o
Let b = 2 + 0. Let k be 4*b/16*2. Put -2, -5, k in increasing order.
-5, -2, k
Let y = -0.5 + 0.2. Let n = 0.4 + y. Let m = -2.2 - -1.7. Sort m, n, 1/2 in descending order.
1/2, n, m
Suppose -3*z + 4*t - 31 = 0, 0 = z - 3*t + 8*t - 15. Put -4, -3, z, 4 in ascending order.
z, -4, -3, 4
Suppose j + 4*z + 0*z = -11, 0 = -j - z - 5. Sort -2, j, -1.
j, -2, -1
Let v = -0.05 - -0.04. Let f = v - 4.99. Let h = f - -4.9. Put h, -1, 0.5 in decreasing order.
0.5, h, -1
Let x = -51 + 51. Put -4, x, -1, 5 in descending order.
5, x, -1, -4
Let s be (4 - 34/4) + 6/4. Let h(x) = x - 7. Let a be h(5). Let y be (-3)/(-6) - (-3)/a. Sort y, 3, s in increasing order.
s, y, 3
Let m = -7.7 - -8. Let p = -0.7 + m. Put p, -0.2, -1 in descending order.
-0.2, p, -1
Let z = -1407/4 + 350. Sort -0.1, z, -5 in increasing order.
-5, z, -0.1
Let m(l) = l**3 - 4*l**2 + 6*l - 7. Let o be m(3). Put o, -1, -13 in decreasing order.
o, -1, -13
Let j = -124.1 + 160. Let w = j + -38.96. Let z = w - -0.06. Sort 1, 5, z.
z, 1, 5
Let q = -1 + 0.5. Let i = -770 + 770. Sort i, -1, q in decreasing order.
i, q, -1
Suppose u = 4*u + 15. Sort 0.3, u, -0.12 in ascending order.
u, -0.12, 0.3
Let h = 230 + -2528/11. Let g = 143/3 - 48. Put h, -5, g in descending order.
h, g, -5
Let h = 4.04 + -0.04. Let c = -749/3 + 989/6. Let x = c + 85. Sort -1, h, x in decreasing order.
h, x, -1
Let k be 1 - ((-2 - -1) + -3). Suppose -k*f = 3*w - 4 - 19, 0 = 4*w - f. Sort -1, w, -3/2.
-3/2, -1, w
Let m be (-2)/(-4)*32/4. Let s be 220/(-35) + m/14. Put -4, s, 4 in decreasing order.
4, -4, s
Let l(q) = 3*q + 21. Let y be l(-6). Sort y, 34, -1.
-1, y, 34
Let d be -7 + 1*(-6 + 15). Let o(l) = l + 3. Let v be o(0). Put d, v, 5 in descending order.
5, v, d
Let h be (12/3)/((-55)/(-11)). Put h, 0, -9 in descending order.
h, 0, -9
Suppose 0 = s - 3*n + 3, 4*n + 5 = 5*s - n. Let h = -6 + s. Let c be 0 + 4/(8/10). Sort -2, c, h in increasing order.
h, -2, c
Let p = 8.2 - 8.06. Let l be ((-2)/1)/(-10 - 4). Put p, l, 2 in decreasing order.
2, l, p
Let t = 10523/21 + -501. Put t, 0, -5 in decreasing order.
t, 0, -5
Suppose -6*v = -4*v + 16. Sort 4, -2, v.
v, -2, 4
Let s be 8/(-78)*(-3)/2. Sort -15, s, -1/2, 1/5 in ascending order.
-15, -1/2, s, 1/5
Let h = -54 + 52. Sort 2, h, -1, 4 in descending order.
4, 2, -1, h
Let d(y) = -2*y**2 + 4*y + 1. Let v be d(3). Sort 0, v, 3, 11 in decreasing order.
11, 3, 0, v
Let j = -7 - -9. Let t be j/8 - 9/4. Put t, -1, 5 in decreasing order.
5, -1, t
Let z(n) be the third derivative of n**5/60 + n**4/24 + n**3/3 + 4*n**2. Let s(h) be the first derivative of z(h). Let f be s(-1). Sort -5, 2, f.
-5, f, 2
Let z(j) = j**3 + 4*j**2 + j - 1. Let t be z(-2). Suppose -3*n + t*n = 2. Let i = n - -1. Sort 3, 1, i in ascending order.
1, i, 3
Let b = 0.1 + -0.1. Let z = -0.3 + b. Let l(q) = q - 8. Let r be l(7). Sort 1/3, z, r in decreasing order.
1/3, z, r
Suppose 3*r - 6 = 3. Suppose -5*z - 5 = 5*u - 4*u, -4*z - u - r = 0. Suppose -5*k - 4*x - 17 = 7, -5*k - 18 = -2*x. Put k, -3, z in decreasing order.
z, -3, k
Let q = -9 - -6. Suppose 0 = 6*p - p - 5. Put p, q, 2 in ascending order.
q, p, 2
Suppose -3*y + 17 = w, 5*y - 2*w + 4 = 14. Sort 3, y, -1 in decreasing order.
y, 3, -1
Let h(u) = u**2 - 7*u - 3. Let l be h(8). Suppose f + 1 = 0, -2 = 3*b + l*f + 3. Let k(w) = -2*w + 3. Let x be k(4). Sort 4, b, x.
x, b, 4
Let h be 6 + -1 + -23 + 20. Sort -1, -3, h.
-3, -1, h
Let y(z) = z**3 + 10*z**2 + 7*z - 20. Let w be y(-9). Sort -6/7, -5, w in descen