5. Sort f, -2/7, -3/16, 2.
f, -2/7, -3/16, 2
Let g(d) = -10*d + 1. Let a be g(-1). Suppose 6*j - 16 = 20. Suppose j = -w + a. Sort -0.5, -5, w in ascending order.
-5, -0.5, w
Let n = 477 - 534. Put n, 5, -3 in increasing order.
n, -3, 5
Let u = 11 - 6. Let n = -683 + 684. Sort u, -3, n in ascending order.
-3, n, u
Suppose 5*o = -3*b + 46, 3*b - 31*o = -35*o + 50. Put 5, -5, b in decreasing order.
b, 5, -5
Let z = -4.6 - -5.7. Let w = z + -9.1. Sort 2, w, 4/3 in ascending order.
w, 4/3, 2
Let t(o) = 5*o + 12. Let p be t(-2). Suppose -p = l - 5. Put l, 6, -2 in increasing order.
-2, l, 6
Let g be 1/((-2 + -5)/(-14)). Sort g, 0, -2, -3 in decreasing order.
g, 0, -2, -3
Suppose 2*k + 69 = 3*v, -4*k - k + 23 = v. Suppose 0*i = 3*i - 4*t + v, -2*i + 3 = t. Let g be 0*(i - (-2 - -2)). Sort g, 2, -3 in descending order.
2, g, -3
Suppose 4*r - 18 = -3*j, j + 0*j - 4*r + 10 = 0. Let u(p) = 4 - 6*p - j*p + 7*p. Let h be u(3). Sort -1, 4, h.
-1, h, 4
Let v be -5 - ((-3)/3)/1. Suppose o + 3 = 2*a - 4*o, -5*a = -2*o - 18. Put -5, -6, v, a in decreasing order.
a, v, -5, -6
Let a = -389.3 + 385. Sort -0.2, 2/3, a in ascending order.
a, -0.2, 2/3
Let c = 36 - 36.031. Let f = c - 1.969. Sort 3, 0.1, f, -9 in increasing order.
-9, f, 0.1, 3
Let q(i) = 22*i**2 + i - 1. Let p be q(-1). Suppose 0 = 2*j - 10*r + 8*r + 12, -5*j = 5*r + p. Sort 2, j, -7.
-7, j, 2
Let d be 3*(-2 - -1)*1. Suppose -5*w - 8 - 2 = 0. Let z = d - w. Put z, 2, 5 in descending order.
5, 2, z
Let c(u) = -u**3 - 50*u**2 - 59*u - 486. Let a be c(-49). Put 3, 1, a in ascending order.
1, 3, a
Let y(n) = n**3 + 8*n**2 + n + 11. Let r be y(-8). Suppose d - r*g + 18 = 6*d, g = d - 2. Suppose 6 = -d*q - 3. Sort q, 1, -6 in increasing order.
-6, q, 1
Suppose -5*u + 29 = 3*d, 3*d + 2*d = 3*u + 3. Suppose -12 = m - 3*m. Suppose -m*k = -10*k - 8. Sort u, k, 10 in decreasing order.
10, u, k
Let t = 0 + 2. Let o = 0.26 - 5.86. Let r = o - 0.4. Put -0.2, t, r in descending order.
t, -0.2, r
Let w = -175 - -172. Sort -2, w, 0.8 in descending order.
0.8, -2, w
Let u = -3 - -6. Suppose -4*a + 2*f = 6*f - 4, -a - u = -f. Let g = -185 + 180. Put a, -4, g in descending order.
a, -4, g
Let y = 315 + -187. Let x = 1662/13 - y. Sort 3, x, -3 in ascending order.
-3, x, 3
Suppose -3*q + 6 + 3 = 0. Suppose 4*x - 2*c + 8 = 5*x, -4*c = 3*x - 16. Sort -5, 5, x, q in descending order.
5, q, x, -5
Let f = 427.5 - 428. Let t = 4.1 + -0.1. Put t, f, -2/41 in descending order.
t, -2/41, f
Let j = -5 - -5.06. Let r = -4.94 - j. Let u = 3 - 5. Sort r, 0.3, u.
r, u, 0.3
Let o = -1172 - -1170.5. Sort -2/25, 5, o in descending order.
5, -2/25, o
Let z = 303 + -1811/6. Sort -4, z, -3 in decreasing order.
z, -3, -4
Let s = -176/15 + 34/3. Let u = -296 - -296.07. Put u, s, 1 in increasing order.
s, u, 1
Suppose 2*j + 12 = 3*z, 3*j + 2 = 4*z - 15. Let a be (1/(-3))/((-8)/(-24)). Let y = 0 + 0. Put y, a, z in ascending order.
a, y, z
Let p(g) = -g**3 - 6*g**2 - g + 6. Let v be p(-3). Sort v, 4, -20.
-20, v, 4
Suppose 0 = -3*v + 5*r + 12, 0 = 4*v - 2*r - 0*r - 16. Let u be (-57)/(-247) - (-165)/(-39). Put 10, u, 3, v in decreasing order.
10, v, 3, u
Let l = 674 + -671. Let t = 29 + -42. Sort l, t, 2/5.
t, 2/5, l
Let p be (-1 + 9 + -4)*(-10)/8. Put 4, 1, p in ascending order.
p, 1, 4
Let x be 235/25 + 3/5. Let m be 1 - 1*x/2. Put 3, m, -3 in descending order.
3, -3, m
Let k be -11 - -1 - (-2 + 1 - (-21 + 26)). Let f(p) be the third derivative of p**5/60 + p**2. Let j be f(-1). Sort j, k, 4 in descending order.
4, j, k
Let x = -4/15 + 1/15. Let a be (1 - 3)/(1 - 0). Put a, x, -1 in ascending order.
a, -1, x
Suppose -72 = -59*v + 63*v. Let z be ((-8)/(-42))/(12/v). Put 0, z, 1/16, -4/3 in ascending order.
-4/3, z, 0, 1/16
Let k = 947 + -1033. Sort 4, -4, -2, k in descending order.
4, -2, -4, k
Suppose -2*s = -3*s - 2. Let v(f) = 2*f**2 + 2*f - 1. Let k be v(-2). Suppose -k*i + 4*i = 1. Put i, s, 5 in descending order.
5, i, s
Let p = -18.5 + 18. Let a be (-30)/(-56) + -5*2/35. Let f be (-4)/(-6) + 1 + -2. Put a, f, p in descending order.
a, f, p
Let t = -14/27 - -137/108. Sort 5, t, -0.5, -3 in decreasing order.
5, t, -0.5, -3
Suppose -4*f = -0*f. Suppose 0 = -2*y + 4*m + 14, f = y + 2*m - 2 + 3. Let i = -838/5 - -167. Sort i, 2, y in descending order.
y, 2, i
Suppose 2*z = 5*d + 25, 5*z + 6*d - 3*d - 16 = 0. Sort 3, -5, z in descending order.
z, 3, -5
Let z = -51 + 57. Let o be 28/z + 12/9. Put -3, 5, -4, o in decreasing order.
o, 5, -3, -4
Let x(p) = p**3 + 12*p**2 - 24*p + 16. Let j be x(-14). Let k be j/(-36) - 2/18. Let h = 0.04 + 0.26. Sort k, h, 2/3 in decreasing order.
k, 2/3, h
Let v be -1 - (0 + -1)*3. Suppose -v - 14 = p. Put 4, p, -2 in decreasing order.
4, -2, p
Let p = 10 + -17. Let j = p + 7. Let y(k) = k - 2. Let q be y(j). Put q, 5, -0.3 in increasing order.
q, -0.3, 5
Suppose w + 4*m = 14, -4*w + 8*w + 3*m = 17. Let y be (2 - (w + 4)) + 26/13. Put -24, 4, y in decreasing order.
4, y, -24
Let w(a) = 17*a + 5. Let c be w(-5). Let g be 4 + 0 - (-260)/c. Put 2/11, g, -0.2 in increasing order.
-0.2, 2/11, g
Let t be 1/((-2 - -1)/(-4 + 1)). Suppose -l + 6 = -3*s + l, t*l = 5*s + 9. Sort 2, -5, s.
-5, s, 2
Suppose 4*r + 5*l - 53 = 0, 4*r - 5*l - 14 = 29. Suppose -q - r = -2*m, -2*q + 4*m = 3*m + 12. Put q, 9, 0 in increasing order.
q, 0, 9
Let u = 5 - 2. Suppose 2*r + 2*l = 0, -2*l - 9 = 4*r - 1. Put 16, r, u in decreasing order.
16, u, r
Suppose 2*a - 2*k - 11 - 3 = 0, -2 = 2*a + 2*k. Let l = 78 + -58. Sort a, -2, l.
-2, a, l
Let y(d) = 39*d**2 - 1. Let l be y(1). Put l, -5, -0.1, 4 in increasing order.
-5, -0.1, 4, l
Suppose 0*p + 4 = 5*p + 4*n, 0 = 2*p + 5*n - 5. Let m = -0.61 + 0.11. Sort p, m, -4/3 in increasing order.
-4/3, m, p
Let j = 4.1 - 0.1. Let y be -7*(7 + -3 - 0). Let a be ((-4)/(-14))/((-4)/y). Put j, 1, a in decreasing order.
j, a, 1
Suppose -5*d - 4*d + 5 = -8*d. Let z(i) = 5*i**2 + 2*i + 1. Let f be z(-1). Sort 3, f, d, 1 in decreasing order.
d, f, 3, 1
Let k = 0.7 + -3.7. Let y = -81 + 49. Let b be (-8)/y*8/7. Sort 11, k, b.
k, b, 11
Let f(n) = -n + 25. Let o(w) = 3*w**2 - 3*w + 2. Let k be o(-2). Let j be f(k). Put -3, 4, j in ascending order.
-3, 4, j
Let d be ((-15)/6)/((-2)/4). Let b(q) = -q - 14. Let i be b(-15). Let h be -1 + 0 + -3 - 0. Sort i, d, h in decreasing order.
d, i, h
Suppose 0*w + 12 = -3*w - 3*u, 5*u + 25 = 0. Suppose -5*f + 118 = -k, -4*f + 28 = 4*k - 52. Let n = 20 - f. Sort w, n, 4 in ascending order.
n, w, 4
Let l = 231 - 235. Let t be 4/((-8)/(-6)) - 2. Suppose -2 = 4*k - u - t, 3*u + 7 = 2*k. Put k, 2, l in descending order.
2, k, l
Let c = 9 - 18. Let i be (c/(-6))/(1/4). Let u = -0.59 - -0.39. Put u, i, 0.2 in increasing order.
u, 0.2, i
Let f(b) = -b**3 + 2*b**2 + 4*b - 4. Let j be f(3). Let c be (j*2/6)/3. Put 1/2, c, 0.3 in decreasing order.
1/2, 0.3, c
Suppose 0 = 5*y + 5*c - 50, 2*c + 1 + 3 = 2*y. Suppose 20*t + 5 = 21*t. Put t, y, 1 in descending order.
y, t, 1
Suppose -198 = -5*o - 4*o. Put -2, 5, o, -4 in descending order.
o, 5, -2, -4
Let v be 17 + (-2 - (2 + -4)). Suppose -g + 2 = 3*t + 2*t, -2*t = -5*g - v. Put -3, t, 6 in ascending order.
-3, t, 6
Let a be (-30)/25*(-5)/(-2). Let h be 1/((-2)/(-5) + 12/(-20)). Sort 0, h, a in increasing order.
h, a, 0
Let w = 3/1003 + 131387/2006. Sort w, -1, 4 in decreasing order.
w, 4, -1
Let v(b) = 9 + 6*b**2 - 11*b + 7*b**2 - 12*b**2. Let c be v(9). Suppose -5*y + 4*s = 13, -2*s + 1 + 3 = -2*y. Put c, y, 2 in increasing order.
c, y, 2
Let r = -2358 + 2358. Sort 1/5, 7, r in decreasing order.
7, 1/5, r
Suppose 11*h = 6*h + 5. Let f = 11 - h. Suppose 0 = 3*u - u + f. Sort u, -2, -3 in descending order.
-2, -3, u
Let k = -0.9 + -0.1. Let a = 41 + -59. Let s = 19 + a. Sort -3, k, s in increasing order.
-3, k, s
Let f be (-49)/3*(-3 + 0). Suppose 0 = -14*m + 30*m - 14*m + 2. Sort -2, 5, f, m in decreasing order.
f, 5, m, -2
Let b = 5 - 2. Suppose 0*s + 4*y = 3*s - b, 4*y + 1 = s. Sort s, -3, 24 in increasing order.
-3, s, 24
Let c = 311.9 - 307.9. Suppose 3*o + 875 - 298 = k, 0 = 2*k - 2. Let u = 1347/7 + o. Sort 0.05, u, c.
0.05, u, c
Suppose 7 = 5*l + u, 2*l - 3 - 3 = -2*u. Sort -5, l, -35.
-35, -5, l
Let q = 94 - 97. Let a = 31 - 26. Sort -4, a, q in descending order.
a, q, -4
Let j be 60/154 - (-32)/(-56). Sort -17, 0.3, j in incre