23. Put -1, 2, 1/3, u in decreasing order.
2, 1/3, u, -1
Let a(q) = -55*q - 166. Let f be a(-3). Let k be (3/2)/3*2. Put f, 2, k, -2 in decreasing order.
2, k, f, -2
Let t = -41 + 42. Suppose 0 = 2*m - 2, -3*g - g = -3*m + 19. Sort g, t, 5.
g, t, 5
Let l = 1 + -0.9. Let f = 0.0968 + -0.0368. Sort f, -4, l in increasing order.
-4, f, l
Let m = -0.61 - -0.91. Sort 1, -2/113, m in decreasing order.
1, m, -2/113
Let o be ((-28)/35)/((-14)/35). Suppose 3*u + 7 = 16. Suppose u*k - 3 + 9 = 0. Put o, k, -5 in descending order.
o, k, -5
Let u = 15 + -10. Suppose -2*n + 2*v + 2 = -4, u*v = n + 1. Let z(q) = -q + 15. Let f be z(12). Sort n, f, 1 in decreasing order.
n, f, 1
Let i = -0.6525 - 3.3475. Let f = 24.955 + 0.045. Sort i, f, 1 in increasing order.
i, 1, f
Let i = 35.75 - 36. Let a = 0.15 - i. Put -3, a, 5 in ascending order.
-3, a, 5
Let x be ((-1)/8)/(1/3). Let r = 4703 + -56435/12. Sort x, r, -4, 2/11 in decreasing order.
2/11, r, x, -4
Suppose 213 - 205 = 8*x. Let q(f) = -f**3 - 5*f**2 + 6*f + 2. Let z(o) = -o - 3. Let i be z(3). Let p be q(i). Sort p, x, -2 in increasing order.
-2, x, p
Let w be (-12)/(-16)*(-168)/(-63). Let v = 0 - 0. Suppose -4 = -v*x - x. Put x, w, -2 in descending order.
x, w, -2
Suppose -w + 37 = 36*w. Suppose 4 = -2*b + 12. Put w, -40, b, 2 in descending order.
b, 2, w, -40
Let g = 0.2 - 0.28. Let s = 120 + -120. Let l = g - s. Sort 0.4, 4, l in increasing order.
l, 0.4, 4
Let p(k) = k**3 + 8*k**2 - 9*k - 3. Let l be p(-9). Let j(g) = g**3 - 6*g**2 - 8*g + 10. Let y be j(7). Sort y, -7, l, 5 in descending order.
5, y, l, -7
Let k = -99 - -67. Let f be k/24*3/(-1). Suppose -5*v + 4*v - 1 = 0. Sort f, v, 6 in decreasing order.
6, f, v
Let t = 3826 - 3822. Suppose m + 0*p = -4*p + 13, -4*m + p = 16. Sort t, 0, m, -4.
-4, m, 0, t
Let i(j) = -j - 36. Let o be i(0). Let w be 1 + 0 - o/9. Suppose 3*v + 8 = -4. Put 0.02, w, v in descending order.
w, 0.02, v
Let l be -6*(-35)/126*-3. Sort l, 5, -8 in descending order.
5, l, -8
Let b = -24 - -25. Let x be (3 - b)*(-2)/8. Let q = -0.412 + 0.012. Sort 1, q, x in decreasing order.
1, q, x
Let u = -3 - -6. Let h be ((-2)/u)/((-42)/27). Let k = -4.07 + 0.07. Put 0, h, k in decreasing order.
h, 0, k
Let y = -2.3 + 2.7. Let t = -2 - -2.1. Sort t, 1/4, y.
t, 1/4, y
Let w be 4/(-4 + 5) - 1. Suppose -3 = 2*i - 3*k, 0 = -2*i - w*k - 1 - 8. Let j be ((-1)/(-2) + -2)*1. Sort j, i, 2/17.
i, j, 2/17
Let q(z) = 148*z - 588. Let o be q(4). Sort -4, o, 6, -19 in descending order.
6, o, -4, -19
Let q be 3*(-2)/((-2)/(-15)). Let n be (4/(-6))/((-1)/q). Let h be (-8)/12*n/(-4). Sort 2, 4/7, h in ascending order.
h, 4/7, 2
Let o = -629 + 628. Sort -2, -5, -34, o.
-34, -5, -2, o
Suppose -4*m - 7 = -31. Let j = 5 - 7. Sort m, j, -8.
-8, j, m
Let g = 0.3 - 0.76. Let r = 0.04 - g. Sort -5, 2, r in ascending order.
-5, r, 2
Let c = -2 + 6. Suppose -3*y = c*k + 8, -5*k = -4*y - 0*k + 10. Let x be 33/(-28)*-4 + (-4)/(-14). Sort -3, x, y in increasing order.
-3, y, x
Let y(r) = -r**3 - 10*r**2 - 9*r - 5. Let i be y(-9). Let k(p) = 61*p - 3. Let h be k(3). Let z be (-2)/9 + (-140)/h. Put i, 3, z in increasing order.
i, z, 3
Let d be 3/(-6) - 14/(-20). Let x = -0.095 - -4.095. Sort -2/9, d, x.
-2/9, d, x
Let k = 0.19 + 0.06. Let p = k + 0.05. Let c be (1/(-3)*4)/(-10). Put -2, c, p in increasing order.
-2, c, p
Suppose 12*u = 13*u - 3. Let d be ((-10)/15)/((-2)/(-9)) + u. Put 2, -3, d, 4 in decreasing order.
4, 2, d, -3
Let o(z) = z + 11. Let b be o(-7). Let u = -10 - -18. Let s = 6 - u. Put 1/2, b, s in ascending order.
s, 1/2, b
Let u = 1.3 + -2.1. Let c = -4 - u. Let i = c + 1.2. Put -0.5, -1/7, i in decreasing order.
-1/7, -0.5, i
Let c = 21 - 28. Let g = c + 5. Let i be 35/45 + g/6. Sort 5, i, -0.5 in decreasing order.
5, i, -0.5
Let f be 1*(2 + -7) - 1. Let v be 0/2*f/12. Suppose 5*l + 2*h + h + 8 = 0, v = -4*l - 2*h - 8. Sort 1, l, -1 in increasing order.
l, -1, 1
Let t(f) = -f**3 - 4*f**2 + 3*f - 1. Let d be t(-5). Let a = 4 + d. Suppose -2*v - 3 = -a. Sort -1, v, -3 in descending order.
v, -1, -3
Let j = -137 + 144. Let f = -2 + 6. Sort 3, f, j, -0.1.
-0.1, 3, f, j
Suppose 3*c + 3*w - 33 = 0, c - 183*w = -178*w - 13. Put 1, -0.5, 0, c in ascending order.
-0.5, 0, 1, c
Suppose t - 8 = -0*t. Let s be -6 + t + 2 + -3. Let p = s + 2. Sort 2, p, -2.
-2, 2, p
Let y = -0.1 + 0.2. Let r = 23 - -59/4. Let x = 38 - r. Sort -0.4, x, y in descending order.
x, y, -0.4
Let d(a) = -a**2 + 6*a + 9. Let z be d(7). Suppose -4*n - 14 - z = 0. Let c be -3*3*(-2)/6. Sort n, 0, c in ascending order.
n, 0, c
Let y be 13*((-12)/3 + 5 + -2). Sort y, -3, 1/6 in descending order.
1/6, -3, y
Let r(j) = -j**2 - 2*j + 4. Let l be (-14 - -4) + (1 - -3). Let i be -2 - -6*(-4)/l. Let b be r(i). Put 0, b, -2 in increasing order.
b, -2, 0
Let r(p) = p + 8. Suppose 0*n = 5*n + 30. Let z be r(n). Let y(u) = u**2 - 13. Let t be y(3). Sort z, 5, t in descending order.
5, z, t
Suppose -i + 0 - 4 = 0. Let v = 64 + -91. Let t = 31 + v. Put t, 4/5, i in increasing order.
i, 4/5, t
Suppose -y - 2*y = 9. Let v(k) = -k**3 - 4*k**2 - 2*k + 3. Let q be v(y). Let x = -74 - -75. Sort x, -4/7, q in increasing order.
-4/7, q, x
Suppose 0 = -2*w + 3*w - 4. Suppose -a = 2*a + w*p - 2, a - 6 = 4*p. Let j be (5 + -6)/(1/(-4)). Put j, 1, a in increasing order.
1, a, j
Let i(w) = -6*w - 40. Let q be i(-7). Suppose -2*g - 8*d + 3*d = -7, 3*g - 5*d = -q. Put g, 4, -51 in decreasing order.
4, g, -51
Suppose 3*v + 2*v = 10. Suppose -2*l + 3*u - 4 = -19, 0 = l - u - 6. Sort l, 5, 1, v in ascending order.
1, v, l, 5
Suppose -5*s - i + 30 = 0, -18*i = -4*s - 23*i + 45. Sort s, 1, 4/7.
4/7, 1, s
Let a be 4/18 + (-2 - 48/(-27)). Put 4, 1, a, -4 in increasing order.
-4, a, 1, 4
Let t = -195 + 196. Put 3/7, 1/2, 1/3, t in decreasing order.
t, 1/2, 3/7, 1/3
Suppose 2*h - 13 = -5*g, -2*g + 3*h + 9 = -0*h. Let r = -131 + 131.083. Sort r, g, -3/4 in ascending order.
-3/4, r, g
Let l(y) = -y**3 - 9*y**2 + 4. Let b be 28/(-8)*(3 + -1). Let m = b + -2. Let z be l(m). Sort 5, z, -3.
-3, z, 5
Let i be (7 + 351/(-45))/(4/(-20)). Sort -12, i, 35, -2 in ascending order.
-12, -2, i, 35
Let k = 0.02 - 27.02. Let p = k - -25. Sort 1, p, 15 in descending order.
15, 1, p
Let d = 59.6 + -59.8. Sort -7, d, -0.01 in decreasing order.
-0.01, d, -7
Let b = 14.1 + -14. Let o = 0.4 + b. Put 2/17, -0.3, o in ascending order.
-0.3, 2/17, o
Let b(y) = 3*y - 113. Let x be b(34). Put 4, 3, x, 5 in decreasing order.
5, 4, 3, x
Let u = 27.7 + -27.5. Let s be 2 + (9/(-21) - 1). Put u, 2, s in decreasing order.
2, s, u
Let r = 0.2 - 0.7. Let w = -1875 + 1874.6. Sort w, 0, r in descending order.
0, w, r
Let n(q) = q**2 + q + 4. Let d be n(4). Suppose 6*f - 3*f = -d. Let j = f - -3. Sort j, -3, 1.
j, -3, 1
Let s(n) = -n**3 - 2*n - 11. Let k be s(0). Sort -4, -5, 2, k in decreasing order.
2, -4, -5, k
Let n = -170 - -169. Let c = 3 - -2. Sort -4, c, n, 0.1 in ascending order.
-4, n, 0.1, c
Let u = -8 - -6. Suppose 0 = 4*w + a + 23, -2*a - 540 = -4*w - 554. Put u, -0.2, w, -4 in decreasing order.
-0.2, u, -4, w
Let g be (-1 + 1 - 1) + 5. Suppose -2*s - 2*t = 0, 0 = s + s + 5*t - 12. Suppose 2*d = 2, 4*i - 4*d = -2 - 2. Put g, i, s in descending order.
g, i, s
Let d = 6.206 - 1.216. Let k = -5.3 + d. Put -4, 3/2, k in descending order.
3/2, k, -4
Suppose 3*w + 3 = -0*w - 3*g, 2*w + 5*g = 1. Put w, 2, 22 in increasing order.
w, 2, 22
Let t(z) = -z**3 - 2*z**2. Let k be t(-2). Suppose 5*a = 43*b - 47*b + 1, 20 = -4*a + 2*b. Sort 1, a, k in descending order.
1, k, a
Let q = 2.0144 - -0.9856. Let c = 0.2 + -0.1. Sort -2, -3/4, c, q in increasing order.
-2, -3/4, c, q
Let r(s) = -2*s + 30. Let g be r(16). Let v = 35 + -34.6. Let q be (1 - 2) + 1/2. Put g, v, q in ascending order.
g, q, v
Suppose 4*z = -5*x - 4, 0 = -2*z + 4*z - x + 2. Let s be (-8)/(z + 5) + 2*-1. Let m be ((-34)/4)/(1/(-2)). Sort m, -3, s.
s, -3, m
Suppose -21*x = -13*x - 16. Sort -23, x, -5 in decreasing order.
x, -5, -23
Suppose -6 = 3*m - 5*y + 20, 0 = 2*m + 3*y - 8. Let o = 247.4 - 247.3. Put m, o, -1/6, -0.5 in descending order.
o, -1/6, -0.5, m
Let j(x) = x**2 + x - 3. Let n be j(-3). Let a(g) = g**2 + 11*g - 22. Let t(k) = -5*k - 3. Let q be t(2). Let o be a(q). Put n, o, 2 in descending order.
o, n, 2
Let s be (4/10)/((-2)/(-5)). 