16). Sort p, 11, 3, s.
s, p, 3, 11
Let q = 192668 + -192667.93. Suppose -h - 2*h + 21 = 0. Let w be h/(-4) + 1 + 0. Sort q, 4, 1/6, w in decreasing order.
4, 1/6, q, w
Let t = -3063 - -523775/171. Put 0.3, t, 1/2, -5 in decreasing order.
1/2, 0.3, t, -5
Let l be (-30)/(-2) + -4 + 1. Suppose -l = 2*k - 26. Suppose 8*j + k = 7. Put -1, j, -4 in descending order.
j, -1, -4
Suppose 3*m = 3*y - 78, 0 = 15*y - 18*y - 2*m + 98. Let g = y + -58. Put -5, g, 2 in descending order.
2, -5, g
Let a = -30887/5 + 6177. Suppose 205 = -4*l + 3*h, 203 = -4*l + 4*h + h. Let f = l - -472/9. Put f, 0.3, 0.19, a in increasing order.
a, 0.19, 0.3, f
Let v = 15 - 14. Let c = -1 - -0.956. Let b = c - -0.144. Sort b, -0.3, v in ascending order.
-0.3, b, v
Suppose f - 3*c + 4 = 22, -5*c - 34 = -3*f. Let l = -0.06 + 0.06. Sort f, 6, l in ascending order.
l, f, 6
Let m = -9.1 - -9.2411. Let u = 0.0111 - m. Sort -0.6, u, -1/5.
-0.6, -1/5, u
Let a = 99 + -81. Suppose 5*j = -m - a, -16*j + 14*j = 4*m + 18. Sort j, 8, 3, 0.
j, 0, 3, 8
Let f = -5670 - -5673. Sort 1729, 4, f, -3, -1 in decreasing order.
1729, 4, f, -1, -3
Let g be ((10/(-5))/(-2))/((-1)/(-2)). Let i be 20/((-7)/((-21)/6)). Put g, -3, i, 4 in increasing order.
-3, g, 4, i
Let q = -28 + 59. Let d = -31 + q. Let f(u) = 66*u + 393. Let r be f(-6). Sort r, 17, d in ascending order.
r, d, 17
Let c be (0/(-11))/(0 - -3). Suppose -5*f + 9*f - 8 = c. Let u = 512 + -511. Put u, -3, 0, f in decreasing order.
f, u, 0, -3
Let z = 3513 + -3185. Sort z, 3/2, 0 in descending order.
z, 3/2, 0
Suppose -160*a + 146 = 30*a - 804. Suppose 35 = -5*g + 5*h, -h - 8 = 3*g - g. Let u = g - -4. Put u, a, -3 in increasing order.
-3, u, a
Let i = 20 - 17. Let u = -1579 - -1578.19. Put i, 1, u in decreasing order.
i, 1, u
Let q = 304.9 + -305. Let n(k) = k**3 + 9*k**2 + 17*k - 3. Let b be n(-4). Sort q, -2/7, b, -0.5 in decreasing order.
b, q, -2/7, -0.5
Let r = 154.4 - 154.6. Put -0.4, -60, r, 1/22 in descending order.
1/22, r, -0.4, -60
Suppose -35*l = -119*l + 89 + 163. Let w be 2/7 + (-27)/21. Let h be (l/3 - 2)/(w/2). Sort h, -1, -5, -3 in descending order.
h, -1, -3, -5
Let u(w) = -3*w + 8. Let s be u(1). Let q be ((-18)/s + 4)*(-6)/4. Put q, 1, 0.01, -4/3 in descending order.
1, 0.01, q, -4/3
Let w be (-5)/((-25)/12)*(-55)/(-22). Sort -5, 4, 2, w in increasing order.
-5, 2, 4, w
Let b = -19 + 12. Let t = -225 - -228. Let o be (1 - t/4) + 777/(-148). Sort o, b, -4, -1 in increasing order.
b, o, -4, -1
Suppose -28 = 5*o + q, -3*q + 6 = -4*o + o. Let y(z) = -28*z + 87. Let s be y(3). Sort -2, -1, o, s.
o, -2, -1, s
Let u = -145 + 144. Let t be (6 - 3)*u*(-8 - -7). Sort -5, t, -10 in increasing order.
-10, -5, t
Suppose -a - 2*a + 5 = -2*r, 7 = -4*r + 3*a. Let d = -32 - -24. Let m = -10 - d. Put 7, r, m in descending order.
7, r, m
Suppose 3*m = 2*m + 4. Suppose 682*n - 678*n + 2*r - 52 = 0, -26 = 3*n - 5*r. Sort 0, m, n in descending order.
n, m, 0
Let s = 1993 - 946. Let z = s - 1047.1. Let n = -58 - -291/5. Sort -0.18, n, z in descending order.
n, z, -0.18
Let j = 5611 + -5609. Sort 1, j, 0, -5, -4 in descending order.
j, 1, 0, -4, -5
Suppose 10 = 5*f + 3*a - 16, 2*a + 8 = 3*f. Sort 1/7, 0.4, -3, 1/14, f in descending order.
f, 0.4, 1/7, 1/14, -3
Let i = -14.8 + 15. Let p = -58.4 - -74. Let r = 19.6 - p. Sort r, -2, i in ascending order.
-2, i, r
Suppose -3*m = 5*r + 88 - 5, -r = 4*m + 20. Let a be ((-42)/(-56))/(20/r). Sort a, 1/28, 0, -0.4 in decreasing order.
1/28, 0, -0.4, a
Let d = -230 - -225. Let u(b) = b**3 + 4*b**2 - 6*b - 8. Let l be u(d). Put -1/4, 2/7, l, 1 in increasing order.
l, -1/4, 2/7, 1
Suppose 2*r + 3 = n, 29 = -r - n - 4*n. Let s = 6 + -8. Let t be (-2)/4 - 3381/322. Put s, r, t in decreasing order.
s, r, t
Suppose 0 = -2*g - 7 + 1, -3*z + 3*g = -21. Suppose -2*s - p = 0, 0 = -2*p + z - 12. Suppose -3*l + l - 4 = f, -9 = 5*f - l. Sort s, 3, f in increasing order.
f, s, 3
Suppose o + 7 = -3*g, 0 = -4*g - 5*o + 2*o - 6. Let i be 5/15 - 14/g. Let r(n) = n**2 - 5*n - 66. Let k be r(11). Put -2, 21, i, k in decreasing order.
21, i, k, -2
Let k = 4825 + -4824. Put -1, -3, -22, k in descending order.
k, -1, -3, -22
Suppose -3*w + 2*t + 8 = -0, 0 = -5*w - 4*t + 28. Suppose 0 = w*h + 139 + 53. Let q be -3 + -4*39/h. Sort q, 0.4, -0.2 in increasing order.
-0.2, q, 0.4
Suppose 2*o + 6*o - 528 = 0. Let j = -67 + o. Sort 71, j, 2 in increasing order.
j, 2, 71
Let q = 27 + -27. Let b = -8 + q. Let a be (-7)/28 - 2/8. Put b, 2/15, a, -1/6 in increasing order.
b, a, -1/6, 2/15
Let u = 26960 + -26917. Put u, -21, 1 in increasing order.
-21, 1, u
Let k(w) = 4*w**3 - w**2 - 4*w + 3. Let c be k(2). Suppose 17*z + 6 = c. Sort -5, -10, z in increasing order.
-10, -5, z
Suppose 8 = -4*f + 4. Let k(i) = -262*i**2 - 4*i - 2. Let c be k(-1). Let m = c + 254. Put f, 3, m in decreasing order.
3, f, m
Let p = 16858 + -16863. Put p, -64, -0.8 in descending order.
-0.8, p, -64
Let u(a) = -2*a + 29. Let t be u(7). Suppose 3*v + 2*g = t, 4*v = -g + 4*g + 3. Suppose 0 = v*p + 13 - 28. Put -8, p, -2, -3 in descending order.
p, -2, -3, -8
Let v(n) = 71*n - 1922. Let j be v(27). Put 21, j, 0 in ascending order.
j, 0, 21
Let s = 7272 + -7283. Put -1/5, -2/3, s, -2/75 in decreasing order.
-2/75, -1/5, -2/3, s
Suppose 103 - 31 = 116*t - 44. Suppose 3*o - 2*n + 32 = 0, -5*o - 61 = -3*n - 6. Sort o, -1, t in ascending order.
o, -1, t
Let g be (-192)/(-5) + (-6)/15. Suppose 0 = 17*s + 4 - g. Sort 12, s, -5, -1 in decreasing order.
12, s, -1, -5
Suppose 4*p + 4*s + 43 - 47 = 0, 5*s = 5. Sort 29, p, -1, 9 in increasing order.
-1, p, 9, 29
Let l = 1777.02 - 1777. Sort -2/5, 55, l in descending order.
55, l, -2/5
Let c = 50.6 + -50.2. Sort 8, c, 13, 0.7 in descending order.
13, 8, 0.7, c
Let c = 7/1549 + -3133/7745. Sort 1/2, c, -104, 2/9, 1.
-104, c, 2/9, 1/2, 1
Let l = -45.43 - -43.43. Let f = 12.93 + -13. Let c = f + -6.93. Put l, c, -0.4 in increasing order.
c, l, -0.4
Let p be 1/(-3) + (-2)/3. Let x = -3.9213 + 7.9655. Let m = 0.0442 - x. Sort p, m, -2 in decreasing order.
p, -2, m
Let t(m) = 487*m - 5358. Let v be t(11). Sort -9, -0.1, 11, v.
-9, v, -0.1, 11
Let a = -3.448 - -0.048. Let g = a + 2.7. Sort -9, 0.3, g in increasing order.
-9, g, 0.3
Suppose 0 = -19*l + 22485 + 20455. Suppose 6*d + l = 2266. Put 8, d, 4, 2/9 in increasing order.
2/9, d, 4, 8
Let r = -1959/20 - -957/10. Put -0.235, r, -3 in descending order.
-0.235, r, -3
Let y = -473.588 + 513.5797. Let g = -0.0083 - y. Put -2/7, 0.1, 3/2, g in ascending order.
g, -2/7, 0.1, 3/2
Let d be (-1678)/3042*12*(-4)/(-80). Let a = 2/845 - d. Put -2, -4, a, 5 in decreasing order.
5, a, -2, -4
Suppose 0 = -4*y + 6*y - 350. Let f = y + -871/5. Let o = 41.5 - 45.5. Sort f, -0.3, o, 2/9.
o, -0.3, 2/9, f
Let w be ((312/(-260))/((-2)/(-5)))/(-2 + 1). Sort 4, -10, -8, -2, w in decreasing order.
4, w, -2, -8, -10
Let j = -3.227 - -5.627. Sort j, 0.04, -3 in descending order.
j, 0.04, -3
Suppose g = 6*g - 10. Let t = 315 - 182. Suppose -6*q = -13*q + t. Sort q, -3, -1, g in increasing order.
-3, -1, g, q
Let p = 0.8 - 1. Let s = -0.4 - p. Let c = -14273 + 14275. Sort s, 0, c in descending order.
c, 0, s
Let f(p) = 475*p + 2375. Let w be f(-5). Sort 1, 47, w.
w, 1, 47
Suppose -226*y + 224*y = -10. Suppose n + 16 = -y*t, 5*t - 2*n + 20 = -8. Sort t, 0, 1, -15 in descending order.
1, 0, t, -15
Suppose -39*x - 1977 - 207 = 0. Sort 4, x, -3, 5 in increasing order.
x, -3, 4, 5
Let j(p) = 2*p**2 + 10*p + 7. Let m be j(-4). Sort 24, 4, -5, m in increasing order.
-5, m, 4, 24
Let r(l) = -l**2 + 4. Let f be r(-3). Suppose 2*p + 119*p + 968 = 0. Put p, 4, f in ascending order.
p, f, 4
Let r = -137 + 133. Let x be 9/10 + 2/(-4). Let b(j) = 85*j - 2. Let i be b(0). Sort x, i, r in decreasing order.
x, i, r
Suppose -3*o = -5*a - 36 - 12, 36 = 3*o - 4*a. Let m = 12 + -8. Put 1, o, 2, m in increasing order.
o, 1, 2, m
Let f = 0.25 + -0.65. Let m = -13 + -0.5. Let q = 13 + m. Sort q, f, 0.1, -4 in increasing order.
-4, q, f, 0.1
Let d = 4.128 - 7.128. Put d, 2, -16, -5, 0.2 in decreasing order.
2, 0.2, d, -5, -16
Let k = -214 - -307. Let n = k - 42. Let v = n + -50.93. Sort -0.1, v, 0 in ascending order.
-0.1, 0, v
Suppose 77*l + 234 = -74*l + 34*l. Put 4, -233, l, -5 in descending order.
4, l, -5, -233
Let z(u) = 2*u**2