 20. Let a be (1 + 0)*(15 + -109). Sort -3, w, a.
a, -3, w
Let i be 6/8*(47 - 35). Suppose 3*t + 5*v - 12 = 0, -t - 2*v - 6 = -i. Suppose -c - 5*j - 25 = 0, 5*c + 4*j + t = 8*j. Sort 9, c, 3 in ascending order.
c, 3, 9
Suppose 4*l + d - 29 = -22, 3*d + 18 = l. Suppose 5*n - 22 = 3*n - l*i, 5*i = 20. Sort -2, 75, n.
-2, n, 75
Suppose 0 = 5*d - 3*u + 194 - 214, d = 2*u + 4. Put d, 17, -5, -2 in descending order.
17, d, -2, -5
Let x = 26 + -21. Suppose -p + 2*u = u + 1, -x*p - 5*u + 5 = 0. Let c = -602/9 + 67. Sort 3, p, c.
p, c, 3
Let w(y) = y**2 - 30*y - 27. Let a be w(31). Suppose a*l + z = 20, 6*l = 5*l + 4*z - 12. Put -1, l, -105 in descending order.
l, -1, -105
Let b = -0.3624 + -4.9376. Let v = -8 + 8.3. Let u = v + b. Sort -2, 0, -0.3, u in decreasing order.
0, -0.3, -2, u
Let u = 8619 - 8624. Let y = 335/8 + -42. Put y, u, 2, 4 in ascending order.
u, y, 2, 4
Let y = 33.2 - 33. Let t = 75.6 + -69. Let a = -9.6 + t. Put a, -1/3, y, 0.3 in ascending order.
a, -1/3, y, 0.3
Suppose -707*h + 711*h - 3*y = -32, 0 = 5*h - 2*y + 33. Sort h, 2, 30, 5 in decreasing order.
30, 5, 2, h
Let o = 96 - 100.4. Let t = 34 + -29.55. Let j = t + o. Put -2/9, 1, j in decreasing order.
1, j, -2/9
Let a = -4.05 - -0.05. Let z = -454 - -14073/31. Let k = 159/124 + z. Put -2/5, a, 4, k in descending order.
4, k, -2/5, a
Let u(y) = -9*y**2 - 13*y - 9. Let f be u(-1). Suppose 3*c + 10*k - 28 = 5*k, 3*k = 15. Put f, -1, c in ascending order.
f, -1, c
Let j(o) = 2*o**3 + 7*o**2 + 108*o + 451. Let y be j(-4). Put y, 64, 16, 0 in decreasing order.
64, 16, y, 0
Let l = -1.376 + 0.976. Let r(x) = 2*x + 12. Let k be r(-9). Put k, 1/2, l in decreasing order.
1/2, l, k
Let j(t) = -t**3 - 3*t**2 + t + 3. Let n be j(-3). Suppose 5*s - 17 = -i - 56, 3*s - 117 = 3*i. Let l be (4/21)/(26/i). Sort -4, n, l, -2 in ascending order.
-4, -2, l, n
Let g(r) = 2*r**3 - 12*r**2 + 2. Let w be g(6). Suppose 2*o - w*k + 7*k + 18 = 0, 2*k = o. Let u be (o/(-9) + 0)/(2/(-3)). Sort -0.4, -2, u in decreasing order.
-0.4, u, -2
Suppose 2*m = 3*m - 4. Suppose 0*a = -20*a - 17*a - 7*a. Put m, a, 48 in decreasing order.
48, m, a
Let c be (6/8)/(4*4/64). Suppose 0 = -c*q + 6 - 6. Sort q, 3, -3.
-3, q, 3
Suppose -4*d = -5*c - 127, -3*c = -d - 0*d + 30. Let f = d - 17. Suppose 2*k - 2 = k. Sort 1, k, f.
1, k, f
Let h be 147/(-84)*-4 + (-4 - -1). Sort 3, h, 8, -8, -3 in descending order.
8, h, 3, -3, -8
Let y = -85 - -86. Let p = 9.0789 + -0.0789. Let r(t) = t - 1. Let g be r(-4). Put -4/3, p, g, y in decreasing order.
p, y, -4/3, g
Let h(x) = 5*x**2 + 174*x - 578. Let k be h(-38). Sort -4, -53, -5, k in descending order.
k, -4, -5, -53
Let t = -6.12 + 0.12. Let f = 11 + t. Suppose -1216733*b = -1216610*b - 246. Put b, f, -1 in descending order.
f, b, -1
Suppose 5*a + 0 = 11*a + 6. Sort 0, 41, -1/2, a, -2 in decreasing order.
41, 0, -1/2, a, -2
Suppose 16*b = 11 + 21. Suppose 5*o - 23 - b = 0. Sort -2, -5, 1, o.
-5, -2, 1, o
Let a be (16548/210)/((-172)/(-34)). Let s = 78/5 - a. Put 4, s, 2/5 in decreasing order.
4, 2/5, s
Let u = -5 + 5.07. Let o = 1016 - 1015.8975. Let c = -3.1025 + o. Put c, -5, 4, u in ascending order.
-5, c, u, 4
Let t = -4.93 + -0.07. Let v be ((-112)/9)/7 - -2. Let a = -1401.9 + 1401.6. Sort 0, a, t, v in ascending order.
t, a, 0, v
Suppose -4 = -3*h + v, -v - 7 = -5*h + v. Suppose -m = 0, m - 2 = 15*k - 14*k. Sort k, -6, h, 4 in increasing order.
-6, k, h, 4
Let q be (((-1080)/(-105))/18)/((-69)/21 + 3). Sort q, -73/3, -1/9 in decreasing order.
-1/9, q, -73/3
Let d = 89 + -533/6. Let g = 364.3 - 391. Let v = -26.5 - g. Sort d, -3, v, 0.3 in ascending order.
-3, d, v, 0.3
Suppose -3*w + 35 = -4*q, -141 = -4*q + 4*w - 181. Let d = 2237/7 - 319. Let y be ((-2)/20)/(2/(-8)). Put d, y, q, 1 in descending order.
1, d, y, q
Let y = -2762 + 2761. Put y, 6, 0, -4, 52 in descending order.
52, 6, 0, y, -4
Let d = -2495 + 2499.556. Let i = d + 0.044. Let j = i + -4.3. Sort 2/11, 3/13, j.
2/11, 3/13, j
Suppose -95*i = -37*i - 290. Suppose 5 = -5*w - 5. Suppose -2 + 10 = -2*n - 3*f, -4*f - 8 = 0. Sort w, i, n.
w, n, i
Let u be ((-8)/42)/(15/(-210)). Put 0.1, 68, u in decreasing order.
68, u, 0.1
Suppose 0 = -0*d + 3*d. Suppose -29*x = -333 - 15. Put -3, x, d, 1 in increasing order.
-3, d, 1, x
Suppose 18 + 4 = 11*d. Let a be (d/(-10))/((-9)/36). Put 0.18, 0.1, a, -3 in increasing order.
-3, 0.1, 0.18, a
Let r = -6758 + 6759. Put -5, r, -112, -3 in decreasing order.
r, -3, -5, -112
Let x be -1 + 2 - (253/17 + -14). Sort 0.06, x, 4, 0.3, -0.044.
-0.044, 0.06, x, 0.3, 4
Suppose 12*k - 13*k = -129. Let n = k + -132. Let s be 4 - 0/(-2 - -5). Put n, -5, s in ascending order.
-5, n, s
Suppose -3*p = 5*w - 4 - 167, -4*p + 254 = -2*w. Suppose -p*j - 159 = 89. Suppose 0 = -2*u + 4*u - 10. Sort -7, u, j in decreasing order.
u, j, -7
Let m = 34.2 + -33. Let p = 1.33 - 1.93. Sort -1, p, m.
-1, p, m
Let p = -108.25 + 54.25. Sort -5, p, -0.2, -5/2, 1.4.
p, -5, -5/2, -0.2, 1.4
Suppose 46*s - 36*s - 28 = -8. Sort -777, s, -4, -5, 4.
-777, -5, -4, s, 4
Let v = -35 - -21. Let l be (-104)/v - (128/(-28) + 5). Suppose 5*j = -3*t - 8 + 30, -4*t + 21 = 5*j. Put 2, t, l in ascending order.
t, 2, l
Let p = 4.4 - -0.6. Let x = -1755 - -1751. Let a(z) = z**3 + 7*z**2 - 7*z + 11. Let r be a(-8). Sort r, x, p in decreasing order.
p, r, x
Suppose 0 = 14*z - 294 + 462. Put -3, -14, z in descending order.
-3, z, -14
Let d = -1598 - -1808. Sort 3, d, 2 in decreasing order.
d, 3, 2
Suppose 2*i = 5*h + 22, 2*i + 36 = 4*h + 56. Let t = -4 - 0. Let u be (2/5)/(2/10). Sort t, u, i, -0.2.
t, -0.2, u, i
Let m = -1566 - -1607. Sort m, 4, -3, 3, -2.
-3, -2, 3, 4, m
Let h = 2593.03 - 2589.3. Put 4, 2/35, h in descending order.
4, h, 2/35
Let f = -1522 + 1520. Sort 613, f, -3, -5.
-5, -3, f, 613
Let l(c) = 8*c**2 + 18*c - 5. Let x be l(5). Sort -10, 1, -4, x in ascending order.
-10, -4, 1, x
Let b = -5806/45 - -614/5. Sort 1/36, b, -2.
b, -2, 1/36
Let i = 2/15 - 1/120. Let v = -0.088 - -0.358. Let d = v + -2.27. Put i, d, -5, -3 in descending order.
i, d, -3, -5
Suppose -10*l = -4*l + 30. Let d(h) = h**3 + 3*h**2 - 3*h + 9. Let v be d(-4). Suppose -v*n - 3*f = -8*n - 9, 4*n - f = 0. Put n, 10, 3, l in descending order.
10, 3, n, l
Let d(x) = 228*x + 3191. Let q be d(-14). Put 88, q, -0.2, -2/5, 0.2 in descending order.
88, 0.2, -0.2, -2/5, q
Let s = -17 + 16. Let t = 781 - 786. Put 1/3, t, s in increasing order.
t, s, 1/3
Let c = -0.505 + 0.251. Let h = -0.23 - c. Let j = h + -0.724. Sort 0.3, -2/9, j in increasing order.
j, -2/9, 0.3
Let o be 62742/(-112) + 1*21/(-49). Let j = o + 561. Put -80, 1/2, j in descending order.
1/2, j, -80
Let f = 92.55 + -22.55. Sort 0.4, 0.2, 13, f in ascending order.
0.2, 0.4, 13, f
Let b = 69 + 484. Let i = b + -553.3. Sort 12/5, 1, i, -1 in increasing order.
-1, i, 1, 12/5
Let x be 12*(-12)/(0 + -48). Put -2/3, x, 0.5, 299 in ascending order.
-2/3, 0.5, x, 299
Let r(b) = 145*b - 437. Let c be r(3). Sort -0.6, 0.4, -21, -2/5, c in descending order.
0.4, -2/5, -0.6, c, -21
Let n = 1259/74 - 500/37. Put -1/4, -235, n, 2/5 in descending order.
n, 2/5, -1/4, -235
Let u be 4/(-14) + 5/(-7). Let w = -0.0301498 + -13.9698502. Sort -0.2, w, u in decreasing order.
-0.2, u, w
Let o = 138 - 138. Suppose -10*b = -o*b + 20. Sort 6, -4, -3, b in descending order.
6, b, -3, -4
Let z(d) = 14*d - 913. Let y be z(65). Sort 5, y, 3, -11.
-11, y, 3, 5
Let z(f) = 5*f - 6. Let w be z(7). Let k be (1056/(-18))/(-11)*(-30)/40. Sort 0, k, w, -5 in decreasing order.
w, 0, k, -5
Suppose -15*w + 11*w = -1368. Suppose 346 - w = -4*i. Sort -3, i, -20.
-20, -3, i
Let x(z) = 11*z - 214. Let s be x(19). Suppose 2*i + 136 = -3*c, 4*c + 186 = 16*i - 21*i. Put -4, c, 0, s in ascending order.
c, s, -4, 0
Suppose -25*j - 5*x - 20 = -27*j, 2*x = 3*j - 19. Let h = -15 + 13. Sort -32, j, h in ascending order.
-32, h, j
Let p = -0.16 + 4.56. Let j = p + 12.6. Let x = j + -13. Put 2/3, -0.1, x in decreasing order.
x, 2/3, -0.1
Suppose -4*m = -5*f + 1, -3*m = -0*m - 3. Let q be (f - 27)*12/(-24). Let x(a) = -a**2 + 11*a + 28. Let u be x(q). Put 10, 3, u in decreasing order.
10, 3, u
Let w(o) = 90*o + 15033. Let b be w(-167). Let a be (-6)/(-9) - 1/(-3). Sort a, b, -31, 0.
-31, 0, a, b
Let f = -3.85 + -9.05. Let n = 38.9 + f. Sort -4, n, 0.