20. Let z = -124 - i. Sort -4, 5, 1, z in decreasing order.
5, 1, z, -4
Let d be 12/(-15) + 2 + (-3)/15. Let s be (-2)/(-2 - 5/(-2)). Put -2, d, s, 0.1 in ascending order.
s, -2, 0.1, d
Let g = 113 + -113. Sort -4, 40, g, 2 in decreasing order.
40, 2, g, -4
Let x = -48 - -58. Suppose 0*v - 2*v = 0. Let c be (v - -2 - 5) + x. Sort 0, 3, c in decreasing order.
c, 3, 0
Let w = -248 - -253. Put 21, w, 4 in decreasing order.
21, w, 4
Let u(l) = 2*l**2 + 7*l - 2. Let f be u(-4). Suppose -f*y + y + 4*m + 7 = 0, 5*m + 15 = 0. Sort -4, 2, y, 11.
y, -4, 2, 11
Suppose 117 = 5*j + 127. Sort -4, j, -16, 3 in decreasing order.
3, j, -4, -16
Suppose 0 = 3*y + w - 9, -4*y + w + 19 = -0. Suppose -5*q + 4 = -m, m - 5*q = -m - 8. Sort 3, 8, y, m in decreasing order.
8, y, 3, m
Let k = 92.037 + -92. Let b = 0.063 + k. Sort 4, -4/3, 1, b.
-4/3, b, 1, 4
Suppose 11*s - 49 = 14*s + 5*n, -2*n + 123 = -5*s. Sort -2, 4, 2, s in ascending order.
s, -2, 2, 4
Let p = -0.734 - -0.334. Put 4, p, 1/4, -0.8 in descending order.
4, 1/4, p, -0.8
Let c be (1 + (-2)/8)/(63/420). Put -4, -2, c in ascending order.
-4, -2, c
Let d = -31 + 32. Let h be d + 0 + (-1)/(-1). Let q be (-8)/(-2) + -5 + h. Put q, -6, -3 in increasing order.
-6, -3, q
Let b be ((-3)/9)/(2/(-72)). Sort b, -5, -1, -4.
-5, -4, -1, b
Let l = 47 - 29. Sort -15, l, -1 in increasing order.
-15, -1, l
Suppose 3*q - 7 = b - 3, 0 = -2*q + b + 4. Suppose -4*l + 0*l = -q*l. Sort 4, -2, 6, l in decreasing order.
6, 4, l, -2
Let w = -322 + 318. Sort w, 2, -0.07 in decreasing order.
2, -0.07, w
Let v = -25/8 + 11/4. Let j = 2.2 + -1.1. Let t = -3.9 - j. Put t, 0.3, v in descending order.
0.3, v, t
Let n be (-1280)/530 - (-4)/2. Let s = 3388/265 - n. Let v = s - 13. Put 2, 5, v in decreasing order.
5, 2, v
Let c be -10*4/(-8) - 11. Let w be 1 - 1388/(-60) - c/(-45). Put -2, 0, w in decreasing order.
w, 0, -2
Suppose -2*a + 5*t + 26 = 0, 14 = -3*a + a - 5*t. Sort 7, a, 4 in decreasing order.
7, 4, a
Let v = 0 + 0.3. Let c = -407 + 411. Put v, c, 1/4 in descending order.
c, v, 1/4
Let i be (4/6)/((-10)/(-30)). Let o = 8 + -13. Sort i, -2, o in descending order.
i, -2, o
Let k = 40 - 39. Let r(p) = -4*p**3 - 2*p**2 + 1. Let g be r(k). Put g, -2.2, -2/3, 2/19 in increasing order.
g, -2.2, -2/3, 2/19
Let h(j) = -j**3 - 3*j**2 + j. Let u be h(-3). Let q(s) = s**3 - 3*s**2 + s + 2. Let p = 31 + -29. Let z be q(p). Put u, z, 4 in decreasing order.
4, z, u
Let z = -171/8 + 4259/200. Sort -2/23, 4, z, -1 in ascending order.
-1, -2/23, z, 4
Let z be (-85)/102*27/150. Sort 0.4, -4, 0.3, z in ascending order.
-4, z, 0.3, 0.4
Let i = -5 + 14. Suppose 0 = -19*x + 3*x + 32. Let u be (-12)/(-28)*x/i. Sort u, 1/6, -5 in descending order.
1/6, u, -5
Let s = -10 - -34. Let u be 4*(-3)/s - 1/(-6). Put u, -4/3, -4 in increasing order.
-4, -4/3, u
Let w = -323.96 + 324. Put 3, -0.1, 0.2, w in ascending order.
-0.1, w, 0.2, 3
Let g = 39 + -11. Let z be 232/g - 6/21. Sort z, 0, -1, -2 in descending order.
z, 0, -1, -2
Suppose 14 + 28 = -3*m. Let n be ((-36)/(-21) - 2)/((-6)/m). Sort -0.4, n, 1 in descending order.
1, -0.4, n
Let f = -61/114 - -2/57. Let q = 95 - 86.2. Let o = q + -9. Sort 2/5, f, o in descending order.
2/5, o, f
Suppose -15 = 5*q + 10. Let o = -585/7 - -1769/21. Sort o, 1/4, q.
q, 1/4, o
Let o = -409.94817 + -0.08183. Let k = -406 - o. Let r = 0.03 - k. Sort r, 8, -3/2 in increasing order.
r, -3/2, 8
Let s = -0.2 - 0. Let t = 192.1 - 192. Let j = -3.3 - -0.3. Put j, s, t in decreasing order.
t, s, j
Let f = 2.46 + -1.46. Put 4, 2/53, f in decreasing order.
4, f, 2/53
Let a = -86 + 82. Let p = -22 - -32. Let l = 14 - p. Sort -9, l, a in increasing order.
-9, a, l
Let l = 929 - 867. Sort 2, l, -4 in ascending order.
-4, 2, l
Suppose -4*l - 12 = -3*v + 61, -2*l = 3*v + 23. Let n = l - -9. Let o be 1/2*(-2)/n. Sort o, 0.2, -5 in ascending order.
-5, o, 0.2
Let y = 423 + -402. Put -4, y, 15 in descending order.
y, 15, -4
Let o(g) = 2*g**2 - g. Let t be o(1). Suppose 0 = -22*i + 16*i. Sort i, -3, t in increasing order.
-3, i, t
Let h be (0/(-4) - -3) + 0. Suppose h - 2 = -y. Let r = -8 + 3. Sort y, r, 3 in decreasing order.
3, y, r
Suppose -2*l - 3*l + 15 = 0. Let u be 114*(-3 - (-7)/2). Let k = u + -59. Put l, k, 5 in decreasing order.
5, l, k
Let p = 22 + -16. Put p, 4/7, -7 in decreasing order.
p, 4/7, -7
Let x be 6/(0 - -2)*-1. Let b = -4 - x. Suppose m - 2 = -5*u + 23, 5*u - 20 = 0. Put 3, m, b in ascending order.
b, 3, m
Suppose 2*s = 9*s + 28. Put s, 9, 1 in ascending order.
s, 1, 9
Suppose 11*l = 12*l + 17. Let h = -14 - l. Let j = 4 - 0. Sort h, j, 1/9 in ascending order.
1/9, h, j
Let f(s) = 2*s + 36. Suppose -4*y - 34 = -2*y. Let v be f(y). Let t = 4 + -6. Put v, 4, t in decreasing order.
4, v, t
Let t be (2 + -1)*(0 + 0). Let y be -6 + t + 3 + 1. Sort y, 2, 6.
y, 2, 6
Let o = 2 + 1. Let k be 407/(-37) + 1 + 2. Sort k, -4, o, 0.
k, -4, 0, o
Let m = -330994/388341199 - 20661450035601646297/1228711553636. Let x = m + 16815541. Let u = -1/452 - x. Sort -0.4, 1, u.
-0.4, u, 1
Let q = -1/4 - -15/28. Let u be 11/2 - -2 - 3 - 5. Sort -0.3, q, u, 0.3.
u, -0.3, q, 0.3
Suppose 0 = 4*m - 4*z - 24 + 4, -16 = -5*m - 4*z. Put -2, m, -4, -94 in descending order.
m, -2, -4, -94
Let z be ((-3)/(-4))/((-6)/(-240)). Suppose -z = -2*r - 10. Let m be 4/(-10) - 46/r. Put m, 5, 4 in ascending order.
m, 4, 5
Suppose 22*s - 554 + 12236 = 0. Sort 3, -3, s in descending order.
3, -3, s
Let b be 3/(-6)*1/2. Let w = -0.0692 - -0.0092. Put b, w, -0.5 in increasing order.
-0.5, b, w
Let b = -229.536 - -1.536. Sort 0, b, 2/13.
b, 0, 2/13
Let u be 7*(-3 - -11 - 9). Put 7, 0, u in decreasing order.
7, 0, u
Suppose -9 = a - 13. Let l be (-7)/28 - (-13)/a. Let v(i) = -3*i**3 - i**2 + i - 1. Let w be v(1). Put -6/11, l, w in decreasing order.
l, -6/11, w
Let v = -26.35 - -25.35. Sort 0.2, v, -6/5 in increasing order.
-6/5, v, 0.2
Suppose 0 = 4*a - a - 6. Suppose a*p + 2*p = -3*z + 29, -z - 12 = -3*p. Suppose -18 = -p*i + 2*i. Put 2, 0, i in descending order.
i, 2, 0
Let r = 315 + -316. Suppose -1 = -3*f + 14. Put f, 2/9, r in descending order.
f, 2/9, r
Suppose -6*d + 7 = 1. Let z be (d/(-2))/((-9)/54). Suppose 7*m = 5*m + 8. Put z, m, -6 in ascending order.
-6, z, m
Suppose -2*h - 5*x = -56, 0 = -3*h - 5*x + 107 - 18. Let v = h - 35. Put v, 1, 2 in descending order.
2, 1, v
Let o be (-12)/(-21) - (-1205)/35. Let k be 10/(-3)*42/o. Let z(d) = d**2 + 9*d + 3. Let n be z(-9). Sort 0, k, n in increasing order.
k, 0, n
Suppose 3*s = 6*s. Suppose 2*n - 6*n - 8 = s. Sort 0, n, -5 in ascending order.
-5, n, 0
Let x = 1 + -3. Let f be (1*(-12)/16)/(15/(-40)). Put x, -1, f in descending order.
f, -1, x
Let d = 29 + -8. Let t = 26 - d. Let v be ((-3)/3)/((-2)/(-8)). Sort v, t, -1.
v, -1, t
Let b be 3/(-14)*12 - (-5 - -2). Sort 14, b, 1, -5 in decreasing order.
14, 1, b, -5
Let a = -17 - -4. Let y = a + 15. Put -4, -1/2, y in descending order.
y, -1/2, -4
Suppose -9*i = 266 - 32. Let u = -17 - i. Sort 2, u, 3 in descending order.
u, 3, 2
Suppose -3*o - 3 = -3*g, -3*o = 1 + 2. Let i be (-38)/(-9) + (-4)/18. Let q be (-3)/3 + 0 + 0. Put q, i, g in decreasing order.
i, g, q
Suppose -2*y = -8*y - 30. Let s = 6 + y. Suppose 2*v + 21 = 3*z, -5*v - 1 = 2*z + 4. Put s, -5, v in descending order.
s, v, -5
Let b be 3*((-11)/(-5) - 2). Let z = 17.4 - -4.1. Let j = -22 + z. Sort b, j, -5 in descending order.
b, j, -5
Suppose 84 + 1132 = 64*g. Put 13, g, -1 in descending order.
g, 13, -1
Suppose r - 25 = -4*r. Suppose c = 5*w - 2*w - 27, 36 = 4*w + 2*c. Suppose w = -r*m + 2*m. Put m, 1, 4 in increasing order.
m, 1, 4
Let m be 37*5/(-95) - -2. Put 12, m, -4 in increasing order.
-4, m, 12
Suppose 18*k = -97 - 29. Sort -2, k, 18 in increasing order.
k, -2, 18
Suppose -3*p = 5*p - 512. Sort p, 4, 2 in decreasing order.
p, 4, 2
Suppose 2*o = 188 - 178. Put 0.1, -28, o in decreasing order.
o, 0.1, -28
Suppose -9 = -3*f - 3*s, 0*f + 3*s + 6 = 2*f. Suppose 0 = -2*d + 4*o + 10, -f*d - 2*o = 2 - 1. Sort 2/9, -17, d in decreasing order.
d, 2/9, -17
Let x = 10 + -24. Let h = -14 - x. Let b = h + 2. Put 3, -1/8, b in ascending order.
-1/8, b, 3
Let n(j) = -j**2 + 8*j - 5. Let y be n(5). Let w = 39/4 - y. Suppose -2*u + 4*u + 10 = 0. Put w, u, -0.4 in decreasing order.
w, -0.4, u
Let f(r) = r + 9