5. Let p be l(-9). Sort r, p, 4.
r, p, 4
Let m(u) = u + 2. Let n be m(0). Let p be -1 - (0 - (-2 - 0)). Put p, n, -4 in descending order.
n, p, -4
Let i = -0.5 + -0.05. Let j = -0.15 - i. Put 0.1, 3, j in ascending order.
0.1, j, 3
Let o be 2 + -4 - (-362)/10. Let b be (51/(-2))/((-30)/(-40)). Let l = b + o. Sort l, 3, -1/2.
-1/2, l, 3
Let a = -0.3 + 5.3. Sort 1, -8, a in decreasing order.
a, 1, -8
Suppose -d + 24 = 4*b + 4*d, 4*b - 24 = 4*d. Suppose 4*m = -4*w + 4, 5*m - b = -1. Let x be 0 - (6/15 + w). Sort x, 1/7, 3.
x, 1/7, 3
Suppose 3*v + 0*v - 3 = 0. Suppose 3*o - 9 = 0, 3*o - 6*o = 3*z - 21. Suppose 5*y + 15 = 5*q, -5*y = -z*q - 1 + 17. Sort y, 2, v in ascending order.
y, v, 2
Let w = 21 + -21. Sort w, 13, 5.
w, 5, 13
Let t = -6 - -4. Let y be (3 + t)*(-10)/(-6). Let l = -0.2 - 0.8. Sort 0, y, l.
l, 0, y
Let d be 6/8 + 1365/(-60). Put -2, 1, d in decreasing order.
1, -2, d
Let d be 1 - 9/(-618)*-68. Let c = d - -199/721. Put c, 3/4, -2 in ascending order.
-2, c, 3/4
Let g = -6.9 - 0.1. Let u = 7 + g. Let f(k) = k + 5. Let i be f(0). Put i, u, 4 in decreasing order.
i, 4, u
Let i(k) = -k - 2. Let d be i(-3). Let r = d + -1. Suppose m - 4*t + t + 20 = r, 2*m + 4*t = 10. Put 2, m, 4 in decreasing order.
4, 2, m
Suppose -15 = 4*f + 5. Suppose 4*g = -2*w, 2*g + 2*g - 8 = 0. Let y(k) = k**3 - 8*k**2 - 10*k + 6. Let t be y(9). Sort t, f, w in descending order.
t, w, f
Let v(i) = -3*i - 54. Let c be v(-19). Sort -2, 27, c, 2.
-2, 2, c, 27
Let m(w) = -w**2 - 8*w - 8. Let x be m(-7). Let i(k) = k + 15. Let f be i(-15). Sort -4, f, x in ascending order.
-4, x, f
Let l = -15 + 17. Let r be (1 - 3)/(0 - -1). Sort l, r, -4.
-4, r, l
Let w be 2/2 + 2/1. Let y = 5 + -17. Let q = y + 10. Sort 4, w, q in descending order.
4, w, q
Let l = -2 + 3. Let r = l - 1. Let q be (-2)/6*(0 + -3). Sort 3, q, r in descending order.
3, q, r
Let p be (-39)/(-26)*4/(-10) - 0. Sort p, 3, -0.13 in ascending order.
p, -0.13, 3
Suppose 4*b - b - 5*k - 37 = 0, 0 = -4*b - 2*k + 32. Suppose 2*g + 4 = 0, 5*j - b = -g + 14. Sort j, -5, -3 in increasing order.
-5, -3, j
Let f = -101 + 1315/13. Let y be (-1)/3 - (-13)/12. Put y, f, -4 in ascending order.
-4, f, y
Let l be 1/(-4)*-2*2. Let q = -229/4 - -57. Put q, 0.1, l in descending order.
l, 0.1, q
Let m = -8 + 3. Let i = m - -9. Sort 5, i, -4 in ascending order.
-4, i, 5
Suppose 4*b - 35 = 3*x, 5*b - 40 = -x + 4*x. Suppose -d + 3*d + 4 = 0. Put b, -4, d in increasing order.
-4, d, b
Suppose 4*k - 4*y + 20 = 0, -y = -2*k - 6*y + 18. Sort k, 1, -11 in decreasing order.
1, k, -11
Let u(s) = -s**3 - 5*s**2 + 6*s + 4. Let z be u(-6). Suppose -3 = z*g + 4*l - 27, 2 = 2*g - 3*l. Suppose -g + 24 = -4*i. Sort 2, i, -4 in increasing order.
i, -4, 2
Let n = 9 - 2. Let m = n - 11. Let r = m - -8. Sort r, -0.2, 1/3 in increasing order.
-0.2, 1/3, r
Suppose -10*m + 2*m - 48 = 0. Suppose -f = -3*r + 11, -2*f + f - 3 = r. Sort m, r, 1 in ascending order.
m, 1, r
Let j be -3 - (-1)/3*4. Sort j, -2/19, -1 in ascending order.
j, -1, -2/19
Let u(r) = -2*r - 6. Let c be u(-5). Let z = 18 + -13. Put z, 0, c in increasing order.
0, c, z
Let o = 68 + -71. Sort o, -5, -4.
-5, -4, o
Let a = -0.03 + -1.97. Let r = -2.4 - a. Put r, 0.1, -4 in increasing order.
-4, r, 0.1
Let r(o) = -o**2 - 9*o - 3. Let u be r(-8). Suppose -5*h - 4*i - 6 = -3*i, -3*h = i + 4. Put 4, u, h in descending order.
u, 4, h
Suppose 3 = 2*n + 9, 9 = -a + n. Let u be a/30 - 11/(-15). Put 2/11, 0, u in descending order.
u, 2/11, 0
Suppose -4*t + 5 = -9*t - 5*f, 0 = 4*f + 20. Sort t, -6, 5.
-6, t, 5
Let a = -142.42 - -202.5. Let s = -57 + a. Let f = s - 0.08. Put 2/5, f, -4 in ascending order.
-4, 2/5, f
Let b = 0 + -4. Let c = -6 - b. Sort 4, 0.3, c.
c, 0.3, 4
Let w = -5.7 - -0.7. Let y be (-66)/(-4)*5/(-30). Let p = y - -5/4. Sort p, w, -0.4 in descending order.
-0.4, p, w
Let g = -8 + 3. Put 1, 3, g in decreasing order.
3, 1, g
Let w = -1 + -1. Let n = -1 + w. Suppose -5*d = -3*k - 14, 0 = 3*d - d - 5*k - 17. Sort n, d, -4 in decreasing order.
d, n, -4
Let k = -1.9 + 2. Let p = -3 - -6. Let u = 304 - 4562/15. Put p, u, k in increasing order.
u, k, p
Let y = -1 + 0.9. Let i = 0.58 + -0.6. Let c = i - 0.98. Sort c, y, 1.
c, y, 1
Let b = 35 - 40. Put -6, b, -3 in descending order.
-3, b, -6
Suppose m = -4*r + 2, -2*m - m + 4*r = 10. Let c = -1.4 + 1.1. Sort c, -4/3, m.
m, -4/3, c
Suppose 101 - 25 = 3*k - 5*q, -2*k + 76 = 3*q. Put -5, k, 1 in decreasing order.
k, 1, -5
Let z be (-3)/(3/12*4). Let j = z - 2. Put j, 0, -2 in descending order.
0, -2, j
Let f be (2/2)/(1/2). Suppose -v = 3*j - 8*j - 19, -2*v - 10 = f*j. Put j, 4, -3 in decreasing order.
4, -3, j
Let h(f) = 2*f + 1. Let m be h(-2). Suppose 0*z = z. Suppose -2*o + 0 + 4 = z. Put -1, o, m in increasing order.
m, -1, o
Let x be 1 - -2 - (-6 + 8). Put x, 5, 4, 3 in ascending order.
x, 3, 4, 5
Let k be (-12)/(-6) - 1*-2. Put 1, k, 5, -5 in decreasing order.
5, k, 1, -5
Let p be (-6)/(-5)*(-60)/18. Sort 1, p, -2.
p, -2, 1
Let a = -15 + 15.4. Let d be 1 - ((-7)/(-2) - 1). Put a, d, -2/5 in descending order.
a, -2/5, d
Let j be (-1)/(-3 + 4) + 1. Let y = 0.4 + -0.3. Put y, 1, j in ascending order.
j, y, 1
Let n = 13 + -13.3. Let b(s) = -s**3 - 2*s**2 + 5*s + 4. Let y be b(-3). Put y, -4, n in ascending order.
-4, y, n
Suppose -4*v - 4*z - 4 = 0, v + 4*z = -3 - 4. Let p = 4 - 4. Put -7, p, v in increasing order.
-7, p, v
Let c = -1.42 + 3.45. Let l = c + -0.03. Let k be 56/105 - 1/5. Sort k, l, -2.
-2, k, l
Let b = -7 - -11. Put b, 1, -3 in descending order.
b, 1, -3
Let w = -3.7 - -4.1. Put -0.1, 5, w in decreasing order.
5, w, -0.1
Let z be (-12)/27 - (-2)/9. Sort z, -5, -1/2 in ascending order.
-5, -1/2, z
Suppose 2*d = -0*d + 10. Suppose 0 = -5*b - 0*b + 25. Suppose 3*r = -2*h + b, 0*r + 5*r = 4*h + 23. Put d, r, 1 in decreasing order.
d, r, 1
Let r = 16/3 + -5. Put -2/17, -2, 3, r in descending order.
3, r, -2/17, -2
Suppose 0 = -4*v + 20, 5*j + 3 = -v - 2. Let h(b) = -3*b**3 - b**2 + 3*b - 2. Let z be h(1). Put 0, j, z in decreasing order.
0, j, z
Let z = -2 - -2.4. Suppose -14 = -5*n + 1. Suppose 4 + 2 = -n*v. Put v, 3, z in increasing order.
v, z, 3
Let b = 15 - 14.6. Sort 0.2, b, 0.01 in descending order.
b, 0.2, 0.01
Suppose 0 = 3*k + 15, -3*h + 20 = 2*h + 5*k. Let i be 15/h*2/(-10). Put 0.3, 3/5, i in ascending order.
i, 0.3, 3/5
Let r be (-5)/(-15) + 7/(-3). Let n = 2 - r. Suppose 2*i - 3*i = -n. Sort -5, -3, i in increasing order.
-5, -3, i
Suppose 0 = -2*v + 6*v - 16. Suppose -l + 4*l + 9 = 0. Let u = l + v. Put u, 2, -4 in increasing order.
-4, u, 2
Let i be (1 - 1)*(-1)/(-2). Suppose 0 = 3*s + 54 - 66. Sort -3, i, s in descending order.
s, i, -3
Let x = -391 + 396. Suppose -4*d = -2*d - 2. Sort -2, d, x in descending order.
x, d, -2
Suppose 0*i = i - 36. Suppose 4*f = f + i. Let c be (-6)/(-10) + f/30. Put -2, 0, c in increasing order.
-2, 0, c
Suppose 0 = -4*v + 2*w, -3*v + 3*w + 14 = -2*w. Let g(z) = 5*z - 1. Let r be g(1). Suppose r = -4*y + 12. Put 4, v, y in decreasing order.
4, y, v
Let h(l) = -2*l**3 - 3*l**2 + 36*l**3 + 4*l**2 - 1. Let o be h(1). Let f be -3 - -5 - o/14. Put -1, -2, f in descending order.
f, -1, -2
Let d be -9 + (6 - 3) - 0. Let w be d/4*(-4)/39. Put w, 0, -4 in increasing order.
-4, 0, w
Let n = -52 - -57. Put 1, 4, n in decreasing order.
n, 4, 1
Let q(r) = -2*r**2 + r - 3. Let i be q(0). Sort i, 20, 2.
i, 2, 20
Let y be (-1)/12*(-6)/4. Put 0.4, 4/3, y in decreasing order.
4/3, 0.4, y
Let x = 2205 - 8875/4. Let z = 14 + x. Let j be -3 - (2 - 2) - 2. Put j, 1, z in descending order.
1, z, j
Suppose -5*r + 18 = -2*r. Let s be (1*-6)/(r - 8). Suppose 4*m = -5*y - 2, 0*y - 2*y = 4*m - 4. Put m, s, -3 in increasing order.
-3, m, s
Let p be -8 - -8 - (-1)/(-3). Put 5, 0.3, p in descending order.
5, 0.3, p
Let d = -8 - -4. Let n(q) = -q**2 - 5*q - 3. Let f be n(d). Let a(g) = g**3 + 7*g**2 + 5*g - 1. Let s be a(-6). Sort 2, s, f.
f, 2, s
Let i = 75.99 - 76. Sort 3, i, -4.
-4, i, 3
Let d = 43 - 42. Put d, -5, 4, -1 in decreasing order.
4, d, -1, -5
Let x be 5 + (4/(-4))/1. Put -5, -1, x in ascending order.
-5, -1, x
Suppose -9 = -3*i + 2*d, 5 = 2*d - 1. Suppose -3*t + 3*o - 6 = o, -t + 4*o - 2 = 0. Sort -3, t, i in decreasing order.
i, t, -3
Suppose 40 = -5*w + 5*l, 4*l = -2*w - l + 19. Suppose