 22.5. Sort r, 0, -2/7.
-2/7, 0, r
Let x be (174/(-3))/(2/(-4)). Let h = -2438/21 + x. Sort 1/7, -5, h in decreasing order.
1/7, h, -5
Let x = -31 - -31. Sort 1, x, 17, -3 in increasing order.
-3, x, 1, 17
Let i be ((-37)/333)/(1/3). Let g be 3/(21/(-2)) - 0. Put i, g, -2 in decreasing order.
g, i, -2
Suppose -d - 4*d = -10. Let z = 2 + -2.1. Let q = z + -0.4. Sort -1, d, q in increasing order.
-1, q, d
Let f = 145 - 145. Let c(i) = -i**2 - 3*i - 3. Let v be c(-2). Let o be v + (1 - (-1)/1). Put o, f, -1 in descending order.
o, f, -1
Suppose -10 - 10 = -3*u - 2*g, -8 = -u - g. Suppose 0 = 2*o - 2*l - 56, 4*o - 115 = -0*o + 3*l. Suppose 5*i - u*b + o = 0, 2*b = -i - 0*b + 5. Sort -4, -2, i.
-4, i, -2
Let p = 58 + -58. Put -7, p, 1 in decreasing order.
1, p, -7
Let s = 5 + -7. Let v = -7 - -10. Let w = s + v. Put 2/9, w, 2/13 in ascending order.
2/13, 2/9, w
Let l be 92/(-9) + (-16)/(-72). Let y be (-4)/l - (-69)/15. Sort -2, 3, y.
-2, 3, y
Let f(w) = w**3 - 4*w**2 - 5*w - 4. Let y be f(5). Let q(h) be the second derivative of h**4/12 + 5*h**3/6 - h**2/2 + h. Let x be q(y). Sort x, 2, 3.
x, 2, 3
Let h = -11 - -10.8. Sort -14, h, 2 in ascending order.
-14, h, 2
Suppose 4*v - 18 = 5*b - 4*b, -2*b + 19 = 3*v. Let w(p) = -p**2 + 2*p. Let o be w(2). Put o, v, 1 in decreasing order.
v, 1, o
Let h = -0.6 - -0.2. Let y be 34/(-3) + 2/(-3). Let j = -7 - y. Sort h, -0.2, j in increasing order.
h, -0.2, j
Let s = -25504/3 - -8421. Let y = 81 + s. Let u be -1*5/7 + 1. Sort -4, y, u in decreasing order.
y, u, -4
Let w(l) = l**3 - 2*l**2 + l - 2. Let j = -15 + 17. Let h be w(j). Sort 3, 4, h in descending order.
4, 3, h
Let d(x) = x**3 + 11*x**2 - 13*x - 8. Suppose 0 = -4*s - 0*s. Suppose -3*i + 33 = -4*j, s*i + 5*i + 49 = -2*j. Let u be d(j). Sort u, 1, -3.
-3, 1, u
Let j(n) = -8*n**2 + 28*n + 1. Let s be j(4). Sort s, -4, -2 in descending order.
-2, -4, s
Let l = -91 - -93. Put 7, -6, 0, l in ascending order.
-6, 0, l, 7
Let p be (-1)/(((-49)/14)/(1 - 0)). Sort p, -2, 6/5 in increasing order.
-2, p, 6/5
Let y = 21.44 + 0.56. Let u = y + -19. Put u, 5, -0.03 in decreasing order.
5, u, -0.03
Let m(v) = v**2 - 4*v + 2. Let z be m(4). Let s = -4 + 3.5. Let j = 2.5 - s. Sort z, j, 4 in ascending order.
z, j, 4
Let u be ((-4 - -1)*-1)/((-69)/46). Sort -1, 0, u.
u, -1, 0
Suppose 0*o + 2*o = -2*u - 20, 4*u = 4*o. Let g(t) = t**2 + 6*t + 6. Let z be g(o). Sort 0, -4, z in decreasing order.
z, 0, -4
Suppose 4*u - 15 = -u. Suppose 4*w = -2*d - 26, 3 + 4 = d - u*w. Let a = 3.9 - 4.2. Sort a, d, -3 in descending order.
a, -3, d
Let c = 5 - 0. Sort 7, -5, c.
-5, c, 7
Suppose 4*y = -3*m - 5, -5*y - 15 = m + m. Let v = 19 + -13. Let b be -6*((-8)/v)/1. Sort 2, b, m in decreasing order.
b, m, 2
Let k = 7 + -5. Let s(n) = -2*n**2 + 2*n. Let i be s(k). Let b be -3 - (-9)/(-6)*i. Sort b, -3, 0 in increasing order.
-3, 0, b
Let r = 7 - 6.7. Let l = -555 + 551. Sort r, l, 0.4 in decreasing order.
0.4, r, l
Let q = -13 - -40/3. Sort 2/15, 2, 0.4, q in ascending order.
2/15, q, 0.4, 2
Let h be (1 - 0) + (-33)/27. Let c = 31.5 - 32. Put c, h, -1 in increasing order.
-1, c, h
Suppose 0 = -5*j + 1 - 11. Suppose -3*t - 70 = -82. Sort j, t, -4 in increasing order.
-4, j, t
Let i(u) = -3*u - 3. Let n be i(-2). Sort -2, 2, n in descending order.
n, 2, -2
Let r(t) = -t**2 - 10*t + 14. Let s be r(-11). Let b = -2 + -2. Let o = 1 + b. Sort -4, s, o in ascending order.
-4, o, s
Let v = -0.02 - -2.02. Let m = 0.1 + -0.6. Put m, v, -0.4 in decreasing order.
v, -0.4, m
Let y = 16 - 16.4. Sort y, -0.3, -1/3 in ascending order.
y, -1/3, -0.3
Let b = -0.4 - 0.1. Sort b, -1, -3, 0.3 in increasing order.
-3, -1, b, 0.3
Let g = 0.3 - 0.9. Let f = g + -0.3. Let r = 0.1 - f. Put -4, 4/9, r in ascending order.
-4, 4/9, r
Let b = 4.53 - 4.8. Let z = b - 0.23. Let f = 13 - 92/7. Sort z, -1, f in decreasing order.
f, z, -1
Suppose -2*f + 4*f + 8 = 4*j, -2*j + 24 = 4*f. Let l = -3 + f. Put 4, l, -5 in decreasing order.
4, l, -5
Let w = 15.81 + -13.8. Let n = w - 0.01. Let y = -4 - -4.1. Put n, y, 0.4 in decreasing order.
n, 0.4, y
Let u = -55 + 56. Sort 3, u, 0 in decreasing order.
3, u, 0
Let b = -463/5 - -92. Sort -1, -0.5, b, 2/7 in decreasing order.
2/7, -0.5, b, -1
Let u(a) = a - 3. Let y be u(0). Let s(t) = -t + 9. Let r be s(13). Sort r, 1, y in decreasing order.
1, y, r
Let v be (-1)/(1/(-6)*2). Suppose 3*i - 21 = i - 5*p, v*p - 11 = -2*i. Sort -5, -0.5, i in descending order.
-0.5, i, -5
Let n = -60 - -239/4. Put 1.9, 2, 0, n in ascending order.
n, 0, 1.9, 2
Let z(x) = x**3 + 4*x**2 + 2*x + 2. Let b be z(-3). Put b, 3, -5 in decreasing order.
b, 3, -5
Let z = -2 - 1. Sort z, -20, 3 in ascending order.
-20, z, 3
Let f be 2 - 0/(1 - -1). Suppose -4*s = -8, -26 = 3*b + s - f*s. Let l be 3/(((-30)/b)/(-5)). Sort 1, l, -1.
l, -1, 1
Let h = -1 + 0.7. Put 0.3, -3/14, h in increasing order.
h, -3/14, 0.3
Let r be (24/36)/((-2)/3). Put 3, r, -6 in increasing order.
-6, r, 3
Suppose 62*c - 20 = 58*c. Sort c, 1, -1.
-1, 1, c
Let k = -4 - -2. Let l = 3.2 + -0.2. Sort l, -5, k in descending order.
l, k, -5
Let n(c) = c. Let p be n(2). Suppose -i = p*i - 12. Sort i, 5, 3 in increasing order.
3, i, 5
Let n = -69 + 60. Sort n, 0.1, 5 in increasing order.
n, 0.1, 5
Let m(d) = -d**2 - 7*d - 2. Let u be m(-7). Let l = 11 + -16. Sort l, 0, u in decreasing order.
0, u, l
Let p = -21 + 16. Put -2, p, -12 in decreasing order.
-2, p, -12
Let j = 0.2 - 2.2. Let i = j + 2.1. Let k(z) = z - 3. Let c be k(5). Sort c, i, -1/2 in increasing order.
-1/2, i, c
Suppose 4*g = 2*n - 0*n - 6, 4*g - 5*n = -9. Suppose 3*x = -4*v - 35, -2*x + 3*x - 14 = v. Let d = 7 + v. Sort -5, d, g in descending order.
g, d, -5
Let u = 27.1 - 27. Let r be 4/25*(-273)/(-24). Let h = -8/25 + r. Sort u, 5/2, h in decreasing order.
5/2, h, u
Suppose 3*y - 2*g = -21, -3*y - 9 = -g + 12. Let w = y - -12. Suppose -5*k = -5*n + 25, 0 = -2*k - 4*n - 3 - 1. Sort w, k, -2.
k, -2, w
Let p = 1 - -2. Suppose 0 = -3*s + 7*s - 20. Sort p, -5, s in descending order.
s, p, -5
Let b = 46 + -49. Sort b, 0, -5 in ascending order.
-5, b, 0
Let t = -8 - -3. Put 2/9, -1/9, t in descending order.
2/9, -1/9, t
Let n = -0.19 - 0.31. Sort 1, 0.3, n in ascending order.
n, 0.3, 1
Let x = -14 + 12. Let y(b) = -b + 7. Let u be y(4). Let j = -2 + 1. Put x, u, j in increasing order.
x, j, u
Let t be 2/(-8) - (-25)/20. Suppose -4*s + 17 = -4*z + t, 3*s = -3. Sort z, 2, 4.
z, 2, 4
Suppose c - 20 = -c. Let d be 4/c + (-52)/(-20). Sort -5, 1, d in ascending order.
-5, 1, d
Let c be ((-72)/30)/(1/(-5)). Put c, 1, 2 in descending order.
c, 2, 1
Let y = -0.3 - -0.15. Let o = y + -2.85. Sort o, 3, 2/5.
o, 2/5, 3
Suppose m = -4*t + 21, -2*m + 92 = -5*t + 3*t. Suppose -3*p + m = 8. Suppose -p = -u - 5*a + 6, u = -a + 5. Sort u, -5, -1 in descending order.
u, -1, -5
Let x = 10 - 7. Let m = 1 + x. Sort m, 0, 8.
0, m, 8
Suppose -4*s + 4 = 0, 0*s + 35 = 4*n + 3*s. Put -1, 4, n in decreasing order.
n, 4, -1
Let u be (-12)/12*2/6. Let b(i) = 5*i - 1. Suppose 4 = -2*v + 6*v. Let s be b(v). Put s, u, 0 in descending order.
s, 0, u
Let u(k) be the second derivative of k**3/6 - 3*k**2/2 + 18*k. Suppose -3*z + 13 + 8 = 4*b, 4*z = 4*b. Let h be u(b). Put h, -4, -5 in decreasing order.
h, -4, -5
Let s = -15 - -15.09. Let m = s - 5.09. Sort 2, m, -3 in increasing order.
m, -3, 2
Let q(x) = -x**3 + 4*x**2 - 3*x + 6. Let u be q(4). Let z(r) = r + 2. Let n be z(u). Sort n, 2, 6 in descending order.
6, 2, n
Let s be 39/(-26) + (-26)/(-4). Sort 1, 0.1, s in ascending order.
0.1, 1, s
Let l be (-54)/(-10) - (-2)/(-5). Let p = 46 + -46. Put l, p, -4 in ascending order.
-4, p, l
Let j = 257.9 + -247. Let i = j - 10. Put 1, i, 1/2 in increasing order.
1/2, i, 1
Suppose u = -3*o + 13, 4*o - 8 = 3*u - 2*u. Put 13, u, 5 in descending order.
13, 5, u
Let a be 3/2*(-16)/(-12). Let m(j) = j**3 - 5. Let l be m(0). Suppose -2*i + 5*i = 9. Sort a, l, i in decreasing order.
i, a, l
Suppose 2*d = -3*q - 11, -7 - 6 = q + 3*d. Suppose -f + g = -3, -g + 2 = 1. Let i(y) = y - 18. Let z be i(13). Put q, f, z in decreasing order.
f, q, z
Let i(w) = -2*w**2 + 20*w - 8. Let q be i(11). Put -2, -3, q in decreasing order.
-2, -3, q
Let i(z) = -z - 8. Let b be i(-12). Put b, 5, 0, -8 in descending order.
5, b, 0, -8
Let d be (-7)/28