5. Sort o, 1, 0.
0, o, 1
Let n(c) = -c**3 + 6*c**2 - 3*c - 8. Let a be n(5). Suppose 0 = f - 5*v - 0 + 1, -2 = 2*f + a*v. Sort -3, f, -4 in decreasing order.
f, -3, -4
Let y be 3*(2 - (-20)/(-6)). Let j be (-2)/((-3)/(-2) + -2). Let v = j + y. Put 1, v, -2 in descending order.
1, v, -2
Let c = -9 - -14. Let l = -1 - -2. Let f = -18/7 + 3. Sort f, c, l in ascending order.
f, l, c
Let p = 1 - 2. Let l = -0.9 - p. Suppose -27*v + 18*v - 18 = 0. Sort v, 5, l.
v, l, 5
Suppose -2*h = 0, -4*k - h = -11 + 3. Sort k, -2, -29.
-29, -2, k
Let b = -23 + 20. Let q = 0 + -2. Let x = -4.07 + 0.07. Sort q, x, b in increasing order.
x, b, q
Let s = -50.1 - -50. Sort s, 1, 2/19, -3.
-3, s, 2/19, 1
Let m be -2 - (1 + -1 - -3). Sort -18, -2, m in descending order.
-2, m, -18
Let q(x) = x - 7. Let o be q(8). Let d be 3 - 0/o*1. Let n(z) = -z + 3. Let u be n(d). Put -3, u, 4 in decreasing order.
4, u, -3
Suppose c - 24 = -2*c. Suppose -a - a = -c. Suppose 6 = -a*l + 2*u - u, -1 = 5*l + 2*u. Sort 4, l, 1 in descending order.
4, 1, l
Suppose i + 8 = -0*i. Put 0, 5, 2, i in increasing order.
i, 0, 2, 5
Let v(y) = -y**2 - 3*y + 7. Let h be v(-5). Let k be 3 + 3 + (-1 - 2). Suppose 23 = 2*s + 5*c, -4*s - k*c + 21 = 2*c. Sort 1, s, h.
h, s, 1
Let l = -0.11 - -9.11. Let s = l + -5. Sort 0.3, s, 1 in ascending order.
0.3, 1, s
Suppose -28 = 5*s - 2*w, -s + 4*w = 24 - 4. Let d be ((-8)/s)/(2/(-2)). Let b = 31 + -31. Put b, d, -4 in descending order.
b, d, -4
Let w(p) = -p**3 - 6*p**2 + 2. Let t be w(-6). Sort -3, t, 4.
-3, t, 4
Let v = -7.3 - -7. Put -3, 0.3, v in decreasing order.
0.3, v, -3
Let k be ((-20)/(-3))/5 + 0 + -1. Sort -0.2, 10, -1/3, k.
-1/3, -0.2, k, 10
Let u = 0 + -2. Let x(b) = b**3 - 2*b**2 + 2*b + 2. Let l be x(2). Put u, 0.2, l in ascending order.
u, 0.2, l
Let z = -7 + 6. Let m = 22 - 14.3. Let w = m + -8. Sort z, w, 3 in ascending order.
z, w, 3
Let r = 3 + 0. Let j = r - -1. Sort 4/5, 0.4, j in decreasing order.
j, 4/5, 0.4
Let k = -1/6 + 5/6. Sort k, -0.4, 3, -1.
-1, -0.4, k, 3
Let h(d) = d**2 - 6*d + 4. Let p be h(5). Let o(f) = f**3 - 13*f**2 + 11*f + 9. Let b be o(12). Let w = b + p. Put 0, 3, w in increasing order.
w, 0, 3
Suppose 8 = 6*r - 16. Sort r, 2, -21 in descending order.
r, 2, -21
Let k(p) = p**2 + 7*p - 5. Let o be k(-7). Let g = 7 - 6. Suppose g = 3*r + 10. Sort o, -2, r in decreasing order.
-2, r, o
Let f = -18 + 13. Let g = f + 8. Let x(v) = v**2 - 6*v - 5. Let r be x(6). Sort 0, r, g in descending order.
g, 0, r
Suppose -3*w + w = -4. Sort -5, w, 1, 3.
-5, 1, w, 3
Let y = -4 + 9. Suppose 4*d + 3*w + 41 = -20, -4*d = 2*w + 58. Let x = -18 - d. Put 0, y, x in decreasing order.
y, 0, x
Let j be (-1 + (5 - 4))*1. Sort 4, j, -4, -5 in descending order.
4, j, -4, -5
Let q(t) = 3*t**2 + 2*t + 7. Let j(a) = 5*a**2 + 3*a + 11. Let k(w) = 5*j(w) - 8*q(w). Let c be k(0). Let n = -2 + c. Sort 4, n, 1/2.
n, 1/2, 4
Let y = 655784 + -11143468/17. Let m = 286 - y. Put 0.1, 2/13, m in ascending order.
0.1, m, 2/13
Let r be (-1)/(-6) - 38/12. Put -3/4, -1, r in decreasing order.
-3/4, -1, r
Let y = 0.3 + 0.2. Let j = 0.282 - 0.082. Sort 0.04, y, j.
0.04, j, y
Let s = 2 + -1. Suppose -5*k - 2 = -12. Suppose l + k + 2 = 0. Sort l, s, -3 in descending order.
s, -3, l
Suppose 0 = 3*j + 4*u - 24, 4*j + j + u - 23 = 0. Let w = 17 + -9. Suppose -2*c - c = -l + 11, -j*l = -3*c - w. Put -1, 3, c in decreasing order.
3, -1, c
Let a be (-9)/27 - (-16)/(-6). Put 0, 2, a in descending order.
2, 0, a
Suppose -p = -3*l - 0*l + 25, 0 = -5*p - 20. Let m = l + -4. Let n be (3/(-9))/(3/(-36)). Sort n, 1, m.
1, m, n
Suppose -4*r + 25 = -23. Suppose -5*b + r = -3*b. Suppose -4*f - f + 8 = -4*h, -3*h - b = f. Put 0, h, 4 in ascending order.
h, 0, 4
Let t(m) = m + 7. Let w be t(-6). Let k be (-1 - w)/(1/2). Sort k, 1, 2.
k, 1, 2
Let i = -22/15 + 5/3. Let n be (6/(-16))/((-88)/(-352)). Put 4, i, n in descending order.
4, i, n
Let m be 3/(-6) + (-14)/4. Let o = 100 + -99. Put o, m, 4 in descending order.
4, o, m
Let f be (-12)/42 - (-4)/14. Sort -2/5, 0.1, f.
-2/5, f, 0.1
Let u(f) = -2*f**3 + 5*f**2 + 5*f - 8. Let w be u(3). Put w, 5, 0, 2 in decreasing order.
5, 2, 0, w
Let k be 0 + -1 + (-57)/(-75). Let g = k - -49/100. Sort g, -5, -4 in descending order.
g, -4, -5
Let b = -14.5 + 15. Put b, -2, 0.1 in decreasing order.
b, 0.1, -2
Let z(v) = -v**2 + 11*v + 1. Let u be z(11). Sort -6, -4, 4, u in decreasing order.
4, u, -4, -6
Let s be 13/5 - (-16)/40. Sort 2, s, -1 in descending order.
s, 2, -1
Let y = -148.3 - -148. Sort 3, -4/5, y, 0 in descending order.
3, 0, y, -4/5
Let f be (-63)/(-12) + (-2)/8. Put -0.4, f, -0.1 in increasing order.
-0.4, -0.1, f
Let n = -4 + -3. Let g = n - -4. Put -0.1, g, -0.3 in descending order.
-0.1, -0.3, g
Let j(b) = 2*b + 2. Let g be j(-2). Put g, -4, -7 in increasing order.
-7, -4, g
Let s(q) = q**3 - 7*q**2 - 7*q - 4. Let y be s(8). Suppose -2 = 2*k - y. Let n be (k/(-9))/(2/(-6)). Put 0, n, 3 in descending order.
3, n, 0
Let g(t) = 4*t**3 - t**2 - t. Let f be g(-1). Let w(p) = -p**2 - 5*p - 2. Let v be w(f). Sort 5, -3, v in descending order.
5, v, -3
Let g = -0.01 - -0.41. Sort -3/5, 4, g, 2/9 in decreasing order.
4, g, 2/9, -3/5
Let d be 22/(-5) + 4/10. Let h be (-28)/80*4 + 2/5. Put d, h, 0 in descending order.
0, h, d
Let r = -5 + 7. Suppose -r*d + 3*h + 3 = 0, -h = -2*d - 2*h - 9. Put -2/7, d, 0.4 in decreasing order.
0.4, -2/7, d
Let z(g) = -g**2 - 15*g - 47. Let y be z(-11). Sort -4, y, -2, 1 in decreasing order.
1, -2, y, -4
Let h(o) = -3*o**2 - 3*o + 2. Let j be h(-2). Put 3, -1, j in increasing order.
j, -1, 3
Suppose 0*r - 2*r = 2. Let v be ((-1)/((-1)/(-9)))/r. Let f be (v/12)/3 + 0. Sort 6/11, -3, f in increasing order.
-3, f, 6/11
Suppose 5 = f, -2*o - 3*o - 45 = -5*f. Sort 12, 1, o in increasing order.
o, 1, 12
Let a = -23 - -15. Let y = -7.8 - a. Let v(h) = 5*h**3 + 2*h**2 - 1. Let k be v(-1). Sort y, k, 5 in increasing order.
k, y, 5
Suppose -19 = -4*y + 2*h - 5, -4*h = 20. Put -1, y, 0 in increasing order.
-1, 0, y
Suppose -n = 5*o - 24, -4*n - 2*o = -17 - 7. Put 3, 1, n in descending order.
n, 3, 1
Let m(l) = -l**3 + 6*l**2 - 5*l + 4. Let o be m(5). Let f = 0 + 2. Let t = -4324/7 + 618. Put f, o, t in decreasing order.
o, f, t
Let g = -24 + 18. Let n be 3/(-24)*(-12)/(-2). Put n, -2, g in ascending order.
g, -2, n
Let w = 0.76 + -0.96. Sort w, -3/5, 1, 12.
-3/5, w, 1, 12
Suppose -n + 10 = -2*n. Suppose -28 = 26*p - 19*p. Put n, p, 3 in increasing order.
n, p, 3
Let n = 2/89 + -103/623. Let k = 6 - 7. Sort n, -2, k in ascending order.
-2, k, n
Let c be 1/3 + 33/(-18). Let w be (((-9)/3)/(-3))/2. Sort w, 3, c.
c, w, 3
Let q = -140 - -1537/11. Sort -2, q, -5, 3.
-5, -2, q, 3
Let b be (0/2)/(0 + 1). Sort 4, -5, b.
-5, b, 4
Suppose 22 = 5*p - 4*d, 2*d + 20 = 5*p - p. Put p, -4, 5, 0 in descending order.
p, 5, 0, -4
Let a be 18/8*(-40)/(-15). Suppose 5*i + 19 = -a. Put i, 4, -2 in decreasing order.
4, -2, i
Suppose 0 = 10*u - 14*u - 8. Sort -3, 9, u in decreasing order.
9, u, -3
Let h be 5/1*4/10. Suppose -26 = 3*n + 5*j, -n = h*j - 4*j - 6. Let r be -2 + -2 + (-2 - n). Sort r, -0.4, 0.1 in decreasing order.
0.1, -0.4, r
Let k(c) = c**3 - 4*c**2 - 2*c - 4. Let z be k(4). Let n = -12 - z. Put n, 5, -4 in ascending order.
-4, n, 5
Let g = 1 + -2. Suppose d = -d. Suppose -s = -d*m + 2*m + 3, 3*m - 9 = 3*s. Sort 1, g, s.
s, g, 1
Let n = 0.03 + -2.03. Let y = n + 1. Let r = y + 0.9. Sort r, 1, -0.4.
-0.4, r, 1
Let o be ((-3)/(-4))/(2/8). Let m(n) = n - 2. Let d be m(3). Put o, d, 4/7 in ascending order.
4/7, d, o
Suppose -q + z = -8, -4*q + z + 12 = -5. Put q, -1, 2 in decreasing order.
q, 2, -1
Suppose 5*c = -3*y - 26, 0*y - 5*c - 16 = -2*y. Let g(t) = 6*t**3 + 2*t**2 + 2*t + 1. Let x be g(-1). Sort x, -1, y.
x, y, -1
Let t = 6 - 4. Let z = -121 - -125. Put t, 1, z in descending order.
z, t, 1
Let h = 0.6 + -0.55. Let j = h + 1.95. Put -3, j, 0.5 in ascending order.
-3, 0.5, j
Let o be 2/4 + 28/(-32). Let f = o + 17/24. Put f, 0.3, 1 in decreasing order.
1, f, 0.3
Let m be (-5 - -2) + 2 + 6 + -2. Suppose 0*g + 2*g = 0. Let l = 5.5 + -0.5. Put m, l, g in decreasing order.
l, m, g
Suppose -8 = 15*y + 7. Let w be (-39)/9 + (-2)/(-6). Put 6, w, y in decreasing order.
6, y, w
Let f = -3.9 - -3.7. Sort 0.5, -11, f.
-11, f, 0.5
Supp