-20. Suppose i - 4*i = 0. Suppose -k + i = -1. Sort -2, m, k.
-2, k, m
Let s be (2 - 2) + (0 - -1). Put 2, -4, s in descending order.
2, s, -4
Let u be -1 + 4/2 - -1. Suppose 0 = -5*l - 4*j - 16, -3*j + u*j - 4 = 4*l. Suppose -o = -l*o - 5. Put o, -5, -0.1 in descending order.
o, -0.1, -5
Let p be (7/(28/(-8)))/11. Sort 6, p, -0.2, 4 in descending order.
6, 4, p, -0.2
Let s(u) = -4*u. Let k be s(4). Let z = -18 - k. Sort 5, z, 4.
z, 4, 5
Suppose 0 = -o, -h - 1 = 2*o + o. Sort h, -4, 0, -5.
-5, -4, h, 0
Let d(p) = p + 9. Let f be d(-7). Suppose -f*r - 2 + 10 = 0. Sort 3, r, 6 in decreasing order.
6, r, 3
Let m = -16 - -26. Let g = 7 - m. Sort 1, g, 3 in increasing order.
g, 1, 3
Suppose 0*a = -5*a + 5. Let l be 1 + 2/(-2*a). Sort -5, l, -1 in increasing order.
-5, -1, l
Let g(o) = -2*o + 1. Let c be g(0). Sort -1, c, -5.
-5, -1, c
Suppose z = -c - 3, 4*z + 0*z + c = -3. Put 1, z, -64, -1 in descending order.
1, z, -1, -64
Suppose 18 + 7 = 5*l. Sort 3, 1, l in ascending order.
1, 3, l
Suppose 0 = -4*t + 3*t - 4. Let n = t + 6. Suppose -13 - n = 3*s. Sort 4, s, 5 in descending order.
5, 4, s
Let a be (0 + 2)/(6/(-24)). Put 0.4, a, 0, 2/11 in descending order.
0.4, 2/11, 0, a
Let l = -6 - -8. Let v = 6 - 5.7. Let p = 2.7 + v. Sort 2/9, p, l in decreasing order.
p, l, 2/9
Suppose q = -0*q. Let m(v) = 5*v - 3. Let h be m(-5). Let i be h/6 + 2/3. Put -1, i, q in descending order.
q, -1, i
Suppose 3*y - 1 = 2. Let s be 2*-1 + (3 - 6). Let b be ((0 - 0)*1)/(-2). Put s, b, y in increasing order.
s, b, y
Let h = 2.91 + 0.09. Let g = 7 + -10. Sort 0.1, h, g in ascending order.
g, 0.1, h
Suppose 10 = 6*d - d. Suppose 4*t - 6 = t. Let y(s) = 2*s**2 - 2*s + 1. Let q be y(t). Put d, q, 3 in descending order.
q, 3, d
Let m(v) = -v + 11. Let y be m(10). Sort -2, -5, y in descending order.
y, -2, -5
Let t = 66.95 - 67. Put t, -0.5, 0.3 in decreasing order.
0.3, t, -0.5
Let d = 1 - -3. Suppose -2*i = 3*l - l - 4, -d*l = 12. Let x = 0.3 + 0.1. Put i, x, -3/4 in descending order.
i, x, -3/4
Let z = 1.5 - 3.54. Let x = 0 - -0.04. Let u = x + z. Put -3/2, 3, u in increasing order.
u, -3/2, 3
Let j = 6 - 6.06. Let r = j + -0.44. Sort 0.2, 0, r in descending order.
0.2, 0, r
Let f = -2.6 + -0.4. Let g = 25 - 21. Sort f, 0.4, g in descending order.
g, 0.4, f
Let w be -1 + 0 + -6 + (2 - 0). Sort 4, 4/5, w in descending order.
4, 4/5, w
Let c = -80 + 92.65. Let s = c + -13. Let x = -0.05 - s. Sort -0.3, x, 0.4 in decreasing order.
0.4, x, -0.3
Let a be (-2)/(-7) + 24/14. Suppose 10*n = 5*n. Sort n, a, 4 in descending order.
4, a, n
Suppose -12 = 6*o - 8*o. Let n be (-2)/2 - o/(-30). Suppose 0 = -0*j + 3*j - 3. Put n, 4/9, j in descending order.
j, 4/9, n
Let l(i) = i**3 + 16*i**2 + 16*i + 19. Let t be l(-15). Put -5, t, -3 in decreasing order.
t, -3, -5
Let u be ((-4)/12)/(5/(-75)). Sort 3, -1, 2, u.
-1, 2, 3, u
Let g = 5.5 - 5. Sort 4, g, -3 in increasing order.
-3, g, 4
Suppose 3*h + 10 = 4*a, -a + 3*a - 8 = 0. Let f be (-6)/(-10) - (-16)/(-10). Let p = -2/21 - 11/105. Put f, h, p in ascending order.
f, p, h
Let r be (-2)/1 - (-15 - -9). Sort 1, 3, r in decreasing order.
r, 3, 1
Let b = 14 + -16. Let j = 2/303 + 901/1212. Sort b, j, 5/4.
b, j, 5/4
Let g(s) = -s**2 + 8*s - 2. Let a = -11 + 18. Let p be g(a). Let i(k) = k**2 + k - 2. Let c be i(-3). Put 1/5, p, c in decreasing order.
p, c, 1/5
Let m = 3/2 - 5/4. Sort -3, -5, -0.4, m in descending order.
m, -0.4, -3, -5
Suppose 3*t + 2*x - 8 = -2*x, -2*t + 5*x + 13 = 0. Put t, -3, 2 in decreasing order.
t, 2, -3
Suppose -4*p - 3 = -99. Sort 1, -3, p in ascending order.
-3, 1, p
Let q = -0.05 - -0.55. Let l = -2/509 + 23420/1527. Let p = 17 - l. Sort 0.3, p, q in ascending order.
0.3, q, p
Let t be 4/14 - (-308)/(-49). Let d = t + 3. Sort 3, -5, d in decreasing order.
3, d, -5
Let i = -12 - -7. Let o(k) = k**3 + 3*k**2 - 4*k + 4. Let u be o(-4). Suppose t + 4*f - 24 = -3*t, 5*f = -u*t + 25. Sort 0, t, i in decreasing order.
t, 0, i
Let f = -8 - 1.8. Let l = -10 - f. Let p = 0 + l. Sort p, 2/19, 4 in ascending order.
p, 2/19, 4
Let a be (96/20 + -4)/((-26)/(-5)). Put -3, a, -2 in descending order.
a, -2, -3
Let i = -31 - -34. Sort i, -3, 2, 1.
-3, 1, 2, i
Let i(k) = k**2 + 13*k + 1. Let d be i(-13). Let n be d/((-1 - 3)/8). Sort 8, n, 5 in increasing order.
n, 5, 8
Let d = -3 + 6. Let r(b) = -b. Suppose -4*c + 2 = -2*q, -3*q + 5*q = 5*c. Let v be r(c). Put 5, v, d in increasing order.
v, d, 5
Let w = -0.83 - -0.33. Put 0.4, w, 1 in increasing order.
w, 0.4, 1
Suppose -25 = 3*u + 2*u. Let a = -0.02 - -0.52. Put u, 3, a in descending order.
3, a, u
Suppose 8 = 4*v - l, v - 8*l = -4*l - 13. Let f = 6 - v. Suppose -12 = -3*i + 7*i. Sort f, i, -5.
-5, i, f
Let f be (-6)/10 - 6/15. Let s be 14/(-9) + (-8)/(-36). Put -2, f, s in decreasing order.
f, s, -2
Suppose 3*w = -12, -3*j + 3*w - 6 = -21. Put -3, 2, -4, j in decreasing order.
2, j, -3, -4
Let l = 25 - 26. Sort -4, 1, -2, l in decreasing order.
1, l, -2, -4
Let h be ((-4)/6)/(2 + 0). Let s = -0.211 - 0.289. Sort h, s, -3/5.
-3/5, s, h
Let l = 486 - 489. Suppose 8*s = 3*s + 20. Suppose -3*t + 2 = -7. Sort t, s, l in increasing order.
l, t, s
Let r = 4.3 - 3.3. Sort r, -0.5, 4, -1/12 in descending order.
4, r, -1/12, -0.5
Let f be (10/(-52))/((-8)/(-4208)). Let p = f + 101. Put -0.2, -5, p in descending order.
p, -0.2, -5
Suppose 30*k - 33*k + 177 = 0. Sort 0.5, k, 4 in increasing order.
0.5, 4, k
Suppose -3*w + 17 = 2. Suppose -v = 4*l - 5, 0 = -w*l + 2*v + 3 - 13. Let m be 9/15 + 14/10. Sort l, -2, m.
-2, l, m
Let m = -1 + 0.5. Let c = -0.369 - -0.269. Sort 1, c, m in decreasing order.
1, c, m
Suppose 2*v + 10 = -3*b - 5, -v + 20 = -4*b. Sort -3, 4, -0.1, v in ascending order.
-3, -0.1, v, 4
Let f = -1 + 3. Suppose 0 = c + f*q - 7, q - 23 = 3*c - 4*q. Let o be 0*1*c/2. Put -1, -2, o in decreasing order.
o, -1, -2
Suppose j + 4*j = 25. Put -3, -1, j in descending order.
j, -1, -3
Suppose f + 11 = -4*o, 2*f - 2 = -5*o + 3*o. Sort 0, o, -2 in descending order.
0, -2, o
Let u be (-2 - 0) + (-28)/(-21). Sort -2, -4, u, -6/11.
-4, -2, u, -6/11
Let c = 5 + -2. Let l be (-3)/(-1) - 10/c. Put l, -5, 5 in increasing order.
-5, l, 5
Let a = -0.3 - -0.1. Let g = 2 + -3. Sort g, -1/3, a in descending order.
a, -1/3, g
Let n = 17 - 17. Sort n, 0.4, -1.
-1, n, 0.4
Suppose 39 - 3 = -6*r. Put -2, r, 3 in descending order.
3, -2, r
Let s be 0 + 8/2 - 5. Put -5, s, -3 in decreasing order.
s, -3, -5
Let x(y) = 5*y**3 + y**2 + 3*y - 1. Let o be x(-3). Let n = -541/4 - o. Let d = 3 + -2. Sort n, -2, d in decreasing order.
d, n, -2
Let z = 0 - 32. Let g be (-1)/(-4) + 8/z. Sort g, 1, -5 in descending order.
1, g, -5
Let p = -58 - -58. Sort 6, p, 3, -3 in increasing order.
-3, p, 3, 6
Let z = 5 - 3. Let t = -21 + 15. Let r = t - -5.7. Put r, -1/10, z in descending order.
z, -1/10, r
Let c = 0.36 + -0.06. Sort 2, -4, c.
-4, c, 2
Let q = 2.7 - 1.5. Let b = -1.3 + q. Sort -0.4, b, 3/7 in descending order.
3/7, b, -0.4
Suppose 42*x - 15 = 37*x. Put -2, -3, x in descending order.
x, -2, -3
Let i be (-2)/6 - 8/3. Put i, -8, 3 in ascending order.
-8, i, 3
Let j = 8 + -2. Let u be 100/j + (-1)/(-3). Suppose 3*s - q - u = 0, 3*s = -q - 2*q + 9. Sort 3, s, -3.
-3, 3, s
Let r = 64 + -65. Sort r, -2, -2/13 in increasing order.
-2, r, -2/13
Let w be (-1)/2 + 2/36*3. Put -1, -2.8, -4, w in descending order.
w, -1, -2.8, -4
Let d = 0.66 - 0.06. Let o = d + -0.3. Let i = o - 0.4. Sort i, 3, -5 in decreasing order.
3, i, -5
Let a = 25 - 13. Let j = 0.05 + 4.95. Sort j, -5/3, a in ascending order.
-5/3, j, a
Let h = -2 - -1.5. Let i = 7 + -6. Let l be (2/40)/((-2)/15). Put i, l, h in ascending order.
h, l, i
Suppose 2*h + 2 = 2*l, 3*h + 17 = -4*l - 0*h. Put 2, l, 1 in ascending order.
l, 1, 2
Let u = 1193/2751 - 2/393. Sort 0, u, -5 in descending order.
u, 0, -5
Let k = -47 - -52. Put k, 1/3, 2.3, -5 in ascending order.
-5, 1/3, 2.3, k
Let b be 1*5 + (16 - 18). Suppose u - 5 = -6. Put u, 2, b in descending order.
b, 2, u
Let t be (5/(-2))/((-22)/(-44)). Sort 12, -2/3, t in decreasing order.
12, -2/3, t
Let h = 21.3 + -21. Put 4/9, h, -0.1 in ascending order.
-0.1, h, 4/9
Let g = 513 + -512. Let a(u) = u + 2*u**2 - 2*u**2 + 1 + 3*u**2. Let q be a(-1). Sort q, -5, g in increasing order.
-5, g, q
Let y = 13 + -4. L