25. Let x be f(5). Let b = x - 74. Sort b, r, -2, -1 in descending order.
r, b, -1, -2
Let p = 151 + -142. Let y be 3 + (-6)/(-2) - p. Put y, -1, 4, 0.01 in increasing order.
y, -1, 0.01, 4
Let c = 46.2 - 46. Let m = 11 - 9. Suppose -m = -n + 2*n. Sort 3/5, -0.4, n, c in descending order.
3/5, c, -0.4, n
Let k be (-6 - 42)/6 + (-7 - -10). Sort 53, 10, k in descending order.
53, 10, k
Suppose 0 = 3*b + 2*z + 8, -9 = -4*b + 6*b + 5*z. Let o = -0.304 - 0.026. Let a = o + 0.03. Sort b, -1/4, a, -3 in decreasing order.
-1/4, a, b, -3
Suppose -12*w = 8*w - 23*w + 6. Put -2, w, -54, -3 in decreasing order.
w, -2, -3, -54
Suppose 27 + 25 = -60*p - 8. Sort -3, 2, -16, 0, p in ascending order.
-16, -3, p, 0, 2
Let g be (-14 + 20332/1449)*-9. Sort 1, 2/41, 4/61, g, -2/3 in increasing order.
-2/3, g, 2/41, 4/61, 1
Let q = 0 - -3. Suppose -b - 17 = q*c + 2*c, 5*c = 2*b - 26. Let p(h) = h**2 - 29*h + 21. Let t be p(28). Sort -5, t, c in decreasing order.
c, -5, t
Let q = 61 - 12. Suppose -q*d = -44*d. Suppose 0 = l + 3*l - d*l. Sort l, -5, -2/5 in descending order.
l, -2/5, -5
Let h = 42080 + -42076. Sort h, 73, 0.3.
0.3, h, 73
Let z be 10 - (-195)/(-13) - 0/(-2). Sort 147, -2, -1, z, 2 in increasing order.
z, -2, -1, 2, 147
Let b(y) = y**3 + 12*y**2 - 13*y + 5. Let a be b(-13). Suppose -30 = f - 4*q, f + a*q - 45 = 3*f. Sort 0, f, -3, 1 in descending order.
1, 0, -3, f
Suppose -5*q - 29 = 14*i - 10*i, 3*i + q = 3. Suppose -2*b - 5*s = b - 12, -b - 5*s = -14. Sort b, i, 56 in descending order.
56, i, b
Let y = 32.353 + -27.353. Sort y, -2/9, 0.12.
-2/9, 0.12, y
Let w(p) = p**2 + 29*p + 210. Let a be w(-13). Sort -13, -11, a, 4 in decreasing order.
4, a, -11, -13
Let i = -5864.9 - -5865. Let g = 2 + -3. Let a be g + (-24)/(-11) + -1. Sort 5, i, a in descending order.
5, a, i
Let b = 7.85 + 7.89. Let h = b + -15. Let u = h + -0.71. Sort -3, -1, u in increasing order.
-3, -1, u
Let y = 2.4 + -2.6. Let k = -2383 - -2332. Sort k, 1/3, y in ascending order.
k, y, 1/3
Let a = 2 - -3. Let i(y) = -y**3 - 21*y**2 + 22*y + 1. Let l be i(-22). Suppose 0 = 4*z - 5*p + 1 + 2, -5*z + 5*p = 0. Put a, -11, l, z in increasing order.
-11, l, z, a
Let h = 310 + -332. Let s(z) = -z**2 - 19*z + 67. Let j be s(h). Let u = 5 - 3. Sort j, 0, u, 5.
0, j, u, 5
Let s = -3563 + 3550. Sort 2, 1, s, 3, -5.
s, -5, 1, 2, 3
Let l(f) = 4*f**3 + 115*f**2 - 29*f - 1. Let j be l(-29). Put 0.3, j, 0.039 in descending order.
0.3, 0.039, j
Let d = 7.497 - 3.497. Sort 0.4, -65, 1, d in ascending order.
-65, 0.4, 1, d
Suppose 2*w + 8 = 0, -10 + 26 = -4*u - 2*w. Sort -99, u, -4.
-99, -4, u
Suppose -4*b - 4*o + 28 = 0, b = -b + o + 2. Let l(d) = -5*d - 30. Let y be l(-7). Let i(h) = 9*h + 50. Let g be i(-6). Sort y, b, g, -1.
g, -1, b, y
Suppose -3*v = -4*v - 101. Let w = 105 + v. Suppose 0 = -q, 6*l + 3*q = 4*l - 8. Sort -3, l, -6, w in descending order.
w, -3, l, -6
Let m be ((-10)/40)/((-9)/(-4) + -2). Sort 2, m, -5227 in decreasing order.
2, m, -5227
Let f = 16.9 - 16. Let d = -1 + f. Let w = -1.15457 + 0.85457. Put w, d, -4 in decreasing order.
d, w, -4
Let z = -5198 - -20791/4. Sort -6/5, 0.2, 1, z, 59 in ascending order.
-6/5, z, 0.2, 1, 59
Suppose 3*w + 62 = w. Let p = -30 - w. Let n(l) = 7*l - 4. Let k be n(p). Sort -2, 0.1, 1.3, k in descending order.
k, 1.3, 0.1, -2
Let p be 1 + -2 + (78 - -3 - -4). Let y(c) = c**3 - 14*c**2 + 11*c + 22. Let u be y(13). Let x be u/(-22) + p/22. Sort -3, 5, 0, x in decreasing order.
5, x, 0, -3
Let i be (-10)/(18/(-12) - 11). Sort 2/23, -1/3, -0.5, -0.4, i in descending order.
i, 2/23, -1/3, -0.4, -0.5
Let d be -7*2/(-12)*(-4148)/21777. Let f be (-4)/10 + 81/15. Sort d, -5, f, -21 in increasing order.
-21, -5, d, f
Let l = 3.33 + 0.67. Let o = -0.1 - -0.09. Let r be 0 + 11/(-7) - 54/(-27). Put o, r, l in decreasing order.
l, r, o
Suppose 2891 = -154*r - 259*r. Sort 0, -8, 1, r, 6.
-8, r, 0, 1, 6
Suppose -2*k = -0*k + 10. Let a be 48/1800 + (-1208)/300. Let g(d) = 2*d - 2. Let r be g(7). Sort r, a, k, -2.
k, a, -2, r
Let j = -314.1 - -336. Let q = j + -19.9. Put -5, 1, 1/2, q in decreasing order.
q, 1, 1/2, -5
Let q = -4.58 + 0.38. Let m = q + 4. Let t = 6929 + -6929. Sort m, t, -2.
-2, m, t
Suppose 0 = s + 10*u + 37, 3*s + u = 1 + 4. Let v = -3 - 0. Put 4, v, s, 1 in increasing order.
v, 1, s, 4
Suppose -t + 2*t = -5*x - 16, 4*t = -3*x - 13. Sort x, -64, 4, -1 in decreasing order.
4, -1, x, -64
Let u(o) = -267*o + 5078. Let z be u(19). Put 166, 6, z in descending order.
166, 6, z
Suppose 5*a - 13 = -x, 25 = -2*x + 31. Put -4, 1146, a in descending order.
1146, a, -4
Suppose 0 = 4*h + 5*k - 166, 5*k + 3 = 13. Suppose -l + 43 = h. Sort 1, l, -12 in decreasing order.
l, 1, -12
Let y(n) = 2*n - 2. Suppose -3*m + 6*m + 3 = 3*h, -5*h = -5. Let c be y(m). Let k(s) = -s**2 + 33*s - 93. Let j be k(30). Sort c, 3, j, 10 in decreasing order.
10, 3, c, j
Let f be (-2 - (3 - 4)) + 46. Let v = -21 + f. Let p be v/(-2)*24/(-32). Sort 5, p, -3 in increasing order.
-3, 5, p
Suppose 2 = -4*p - 2*l, -2*p - 2*l + 4*l = -14. Let z(o) = -19*o + 338. Let d be z(18). Put 6, p, 5, d in descending order.
6, 5, p, d
Let l = 18.7444 + 0.2556. Sort -4, -5, -0.01, l in descending order.
l, -0.01, -4, -5
Let i = 0.136 + -0.086. Let k = i - -0.45. Let c = -0.02 + -0.08. Put k, 5, c in ascending order.
c, k, 5
Suppose -16 = h + 3*z, 10 = -3*h - 2*z - 59. Suppose 0 = 3*c + 4*v - 9273 + 9265, -c + 4*v = 8. Put c, -5, h in ascending order.
h, -5, c
Suppose -1378*y + 30 = -1383*y, 3578 = 5*j + 2*y. Sort 1, -5, j, 0.
-5, 0, 1, j
Let w = 0.252 + 2.628. Let b = -0.12 - w. Sort b, 3, -69 in ascending order.
-69, b, 3
Let y(n) = 72*n**2 - 2*n + 1. Let w be y(1). Let q = 133 - w. Let m be (-4)/(-30) + q/(-15). Put 3, m, -2 in decreasing order.
3, -2, m
Let h = 265 + -790/3. Put h, 2, -2/165 in decreasing order.
2, h, -2/165
Let h(z) = -z**2 + 5*z - 2. Let n be h(3). Let o(l) = -4*l - 20. Let s be o(-7). Let g(i) = 30*i - 237. Let j be g(s). Put j, -2, n, 0 in decreasing order.
n, j, 0, -2
Suppose 0 = -5*m + 2*o - 5, 3*m + 2*o + 5 = -2*m. Let i be m/(0/(-8) + 1). Sort -3, 3, i, -29 in descending order.
3, i, -3, -29
Let u(n) = -n**3 - 10*n**2 - 9*n + 4. Let w be u(-9). Let b(i) = i**3 + i**2 - i. Let p be b(-1). Put -12, p, w, 3 in ascending order.
-12, p, 3, w
Let a = -461 + 456. Let t(o) = o**2 + 10*o + 3. Let k be t(-10). Suppose -k*u + 5 + 10 = 0. Put -3, a, u in ascending order.
a, -3, u
Let x = -1942 - -1950. Sort 1, 68, x in descending order.
68, x, 1
Let b be ((-14)/5)/(1/(-5)). Let c(d) = d**2 - 70*d - 12700. Let s be c(-83). Put 2, 7, b, s in increasing order.
s, 2, 7, b
Let c = -11.2 - 35.8. Let d = -43 - c. Let z be 19/(-95) + 2/60. Sort 2/3, d, z, -2/5.
-2/5, z, 2/3, d
Let w = 25 + -25.5. Let j = 21.367 - 21.8. Let o = j + 0.133. Sort 2/15, w, o in descending order.
2/15, o, w
Suppose 16*j - 38 = -48 - 54. Sort j, 4, 408.
j, 4, 408
Let u = 3045 + -3026. Sort u, 0.5, 0.02, 0 in decreasing order.
u, 0.5, 0.02, 0
Let w(y) = 385*y - 773. Let r be w(2). Sort -2, -34, r, 0.
-34, r, -2, 0
Let b = 137 + 172. Let w = b - 1233/4. Let c(i) = i**3 + 6*i**2 + i + 5. Let d be c(-6). Sort w, -4, d, -0.4.
-4, d, -0.4, w
Let q = 179 - 39. Let i = q + -145. Let n = -0.031 - 2.969. Put n, i, 7 in descending order.
7, n, i
Suppose -w + 12 = 2*g, -3 - 9 = -5*w - 4*g. Sort 3, w, -36, -3, -27.
-36, -27, w, -3, 3
Let i = 0.01 + -0.01. Let d be -2 + 4 + 3 + -2. Let z = 1104 - 9938/9. Sort d, z, i in decreasing order.
d, i, z
Suppose 3*w + 3*g - 34 = 8*g, -2*g = -w + 13. Suppose 0 = -2*x + 5 + 23. Sort 1, 4, x, w in descending order.
x, 4, w, 1
Let f(c) = 2*c + 1 + 10*c + 2*c**2 + 11 + 19 + 5*c. Let u be f(-3). Put -1/4, -95, u in descending order.
-1/4, u, -95
Let c = -2323 + 2318. Put 57, 3, -2, c, -1 in increasing order.
c, -2, -1, 3, 57
Let c = -0.0853 - 0.0147. Let t = -6 - -10. Let y = 0.266 - 0.166. Put y, c, -0.02, t in ascending order.
c, -0.02, y, t
Suppose -5*u + 2*w + 3 = -w, -4*u = -2*w - 2. Suppose -11*i + 131 = 120*i. Sort u, i, 0.5.
u, 0.5, i
Let u be -1 + 120/(-16) - -8. Put u, -4, 0.5, 25 in increasing order.
-4, u, 0.5, 25
Let a be (-66)/(-8 + -3)*(-2)/4. Let d = -1.02 - -1. Let g = -0.131 + 4.131. Put d, 0.4, g, a in increasing order.
a, d, 0.4, g
Let x = 27375 + -27375.1. Put 1/6, 4, x, 0