5.801. Let o = -89 + v. Put -1, -16, -0.1, o in decreasing order.
-0.1, -1, o, -16
Let p = 2138 - 2136. Let c = -133 + 667/5. Put c, p, -4 in descending order.
p, c, -4
Let n be (-3)/(2 - 15/12). Let k = 4 - 11. Let g(r) = -r**3 - 7*r**2 + 2*r + 9. Let v be g(k). Sort 3, n, v.
v, n, 3
Let b(i) = 2*i**2 - 31*i + 114. Let p be b(10). Let o be ((-7)/3)/(1/(-3)). Put o, -5, p in increasing order.
-5, p, o
Let w(n) = -n**2 + 7*n + 8. Let c be w(8). Let d be 0 + -1 + c + -1. Suppose 143*q = 133*q + 30. Sort d, -1, q.
d, -1, q
Let r be -3*(0 + 17/(-3)). Let z = 12 - r. Let k = 14 + -14.3. Put 0.2, k, z in decreasing order.
0.2, k, z
Let g = 1.4 - 0.4. Let n be (-36)/(-162) + 4/9. Sort n, -4/3, -3, g.
-3, -4/3, n, g
Suppose -s - 5*q + 39 = 0, 81 = 4*s + 18*q - 13*q. Put s, -1, -3 in ascending order.
-3, -1, s
Suppose -7*f - 20 = -12*f. Put -5, f, -4, -11 in ascending order.
-11, -5, -4, f
Let s = 14.4 - 14. Let t = -12 - 4. Let x = -63/4 - t. Sort x, s, 1 in descending order.
1, s, x
Let y(g) = -g**3 - 14*g**2 + 36*g + 50. Let l be y(-16). Put -0.7, 1/10, -0.1, l in increasing order.
l, -0.7, -0.1, 1/10
Let x = -65.6 - 5.4. Let r = -75 - x. Sort r, 2/17, 1/4 in increasing order.
r, 2/17, 1/4
Let r = 0.04 + 2.96. Let z = r + -3.03. Put -0.3, -1, z, -2/11 in descending order.
z, -2/11, -0.3, -1
Let s = -366 + 366.2. Put s, -5, 0.3 in increasing order.
-5, s, 0.3
Let f = 20 + -27. Let u be -1 + -3 + (f - -6). Suppose -8 = -5*a - 3. Put a, 2, u in descending order.
2, a, u
Let m(y) = -y - 1. Let t be m(0). Let k = -1/2 - t. Let l = -0.28 + 1.28. Put l, k, -1 in increasing order.
-1, k, l
Let o = -0.7 + -6.7. Let n = o - -6. Let b = n + 1.2. Sort -4/7, b, -1 in decreasing order.
b, -4/7, -1
Let b = 0.4 + 0.7. Let x = 7.9 + b. Let j = x - 13. Sort -5, 3, j in decreasing order.
3, j, -5
Let b = -3.3 + 6.7. Let r = -0.4 + b. Let n = -19.4 + 19.8. Put 0.2, r, n in descending order.
r, n, 0.2
Suppose -2*n + 4 = 2*n. Suppose -q + 5 = 4*q. Let y be q/2*0/2. Sort 4, n, y in ascending order.
y, n, 4
Let m be 60/(-25) + -1 + (-36)/(-90). Let a = 57 + -84. Sort a, m, 1 in ascending order.
a, m, 1
Let l = 110 - 112.55. Let q = -0.15 - l. Let b = 2.2 - q. Sort b, 4/3, 1/6 in increasing order.
b, 1/6, 4/3
Let a(d) = -d**2 + 10*d + 83. Let h be a(15). Sort -1/9, h, 1/6, 0.
-1/9, 0, 1/6, h
Let p be 20/11 - 2/2. Let a = -19776/391 + 1166/23. Sort 2/5, a, p, 3 in decreasing order.
3, p, 2/5, a
Let k = 0.22 - 0.24. Let r = 0.08 - k. Put -0.5, r, 1 in decreasing order.
1, r, -0.5
Let a = 7 + -8. Let b = 6 + a. Let d = -139.6 + 140. Put d, b, -0.2 in decreasing order.
b, d, -0.2
Let w = 47 - 42.25. Let s = 0.25 + w. Let n be 4/12 - 32/42. Put s, -5, n in ascending order.
-5, n, s
Let r = -97 - -96. Let p be 2*(((-21)/(-30))/7)/r. Sort -1, 2, p, -4 in decreasing order.
2, p, -1, -4
Suppose 0 = -4*h - 10 - 6. Suppose -36*f = -40*f + 40. Suppose -f*c = -5*c + 5. Put h, 5, c in decreasing order.
5, c, h
Let b = -9 + 9. Suppose 21*r - 22*r - 3 = 0. Sort b, r, -5 in descending order.
b, r, -5
Let u be (2 + 1)*(-2 + 3). Let i be 136/85 + (-9)/30*2. Sort -3, i, u, -4 in descending order.
u, i, -3, -4
Let i(u) = -u - 2. Let z be i(3). Suppose -9 = -78*l + 81*l. Put z, -1, l in decreasing order.
-1, l, z
Suppose -4*u = -2*i - 12, -2*u + 3*i = -u - 13. Suppose -2*x = -f + 13, f + 7 - 12 = 0. Put u, -6, x in ascending order.
-6, x, u
Let o = -54 + 50. Let m = -3 + 6. Suppose 5*i = 2*k - m + 17, -5*i - 4*k = -2. Put i, o, 1 in ascending order.
o, 1, i
Let z = -469 - -459. Sort z, 5, 3, -3 in ascending order.
z, -3, 3, 5
Let v(b) = b**2 + 3*b - 5. Suppose 3*n = -2*q, q = -4*n - q + 2. Let a be v(n). Put 1, 3, a, -1 in descending order.
a, 3, 1, -1
Suppose -j - 2341 + 2344 = 0. Let s(g) = g**2 + 10*g + 6. Let m = -17 - -8. Let w be s(m). Put w, 0, j in descending order.
j, 0, w
Suppose 0 = -d + 3*d + c - 12, 0 = 4*c - 16. Suppose -d*m - 2*x = -22, 3*m = -x - x + 17. Put 1, m, -6 in ascending order.
-6, 1, m
Let u = 470 + -465. Let n = -3536/19 - -186. Sort u, 0.3, n, 2/5 in increasing order.
n, 0.3, 2/5, u
Let i = 433 + -435. Put 1, -170, i in increasing order.
-170, i, 1
Let z be (-1)/(-4) + 26/(-40). Suppose -i - i = -30. Let c = i + -44/3. Sort c, z, 0.2 in ascending order.
z, 0.2, c
Suppose -9*m - 1078 = -23*m. Sort 4, m, -5 in descending order.
m, 4, -5
Let s = 242 + -309.6. Let r = -68 - s. Sort 0, -4, r, -3 in decreasing order.
0, r, -3, -4
Suppose 64 = -5*y - 3*l, -y + 5*l = -0*l - 4. Put 4, y, -5 in descending order.
4, -5, y
Let t be (-3)/2 - 132/(-24). Let l be (3 - -1)*2/t. Suppose 0 = l*v - 0*v. Sort 5/2, v, -1/4 in decreasing order.
5/2, v, -1/4
Let p be -1 + (4 - 2) + 23/46. Let o = -0.2 + 1.3. Sort -1, -0.1, o, p in descending order.
p, o, -0.1, -1
Let a = 4 + -3.5. Sort -0.4, a, -1/139.
-0.4, -1/139, a
Let m = 0.6 + -1.6. Let r = -8 + m. Let a = r - -9.5. Sort -1, 5, a.
-1, a, 5
Let b(a) = -72*a - 154. Let h be b(1). Sort h, -5, 1, 0.
h, -5, 0, 1
Let s(n) = -33 - 9*n + 64 + 56. Let c be s(10). Put 3, -2, -1, c in increasing order.
c, -2, -1, 3
Suppose 5*q + 31 = 6, -d + 4*q = -25. Let o(n) = n**3 + 8*n**2 - 12*n - 9. Let a be o(-9). Sort d, a, -3.
-3, d, a
Let v(u) = 2*u + 25. Let s be v(-10). Put -0.1, -2, 51, s in descending order.
51, s, -0.1, -2
Let b be 241/9 + (-2)/(-9). Let a = b - 27. Suppose -d = 5*f + 11, -2 = 4*d + 5*f - 3. Put d, a, -2 in ascending order.
-2, a, d
Let c be 10/(-2)*(1 - 2). Suppose -g = 3*g - 4, c*u - 8 = 2*g. Sort u, -5, -2 in ascending order.
-5, -2, u
Suppose 5*u + 4*d - 30 = -0*d, u - 2*d = -8. Suppose n - 3 = -74*c + 72*c, 2*n = 2*c - 18. Put u, 5, c, -0.1 in decreasing order.
5, c, u, -0.1
Suppose 3*y = -5*x + 19, -y - 4*y + 3*x = -9. Let i be (30/(-9))/((-1)/(-2 + 8)). Suppose 3*l - 11 = -i. Sort -5, y, l in decreasing order.
y, l, -5
Let h(i) = i**2 - 40*i - 230. Let z be h(45). Put 3, -29, z, 0 in decreasing order.
3, 0, z, -29
Suppose -z = z - 2. Suppose 24 = x + 20. Suppose -2*r - 8 = -2*l, 0 = x*r - l - 4 + 11. Put -5, z, r in descending order.
z, r, -5
Suppose 0 = 5*v - 9*v - 32. Let z be -7 - 68/v - (-6)/(-4). Put -5, -6, z in decreasing order.
z, -5, -6
Suppose -12 = 13*k + 1. Let u be 33/36 + (-3)/(13 + k). Put -5, u, 3 in descending order.
3, u, -5
Let j(l) = -12*l - 10. Let g be j(-1). Put -18, 3, 0, g in descending order.
3, g, 0, -18
Let x(p) = 2*p - 2. Let c be x(-2). Let r be (0 - 2) + (-14)/c. Let y = 9.9 - 10. Put r, -3/5, y in ascending order.
-3/5, y, r
Suppose 3*u - 3*k = -6, 2*u + 4*k = 3*k - 16. Suppose -11 = -3*a - f, f = -5*a - 0*a + 15. Let v = 4 - a. Put 0, u, v in increasing order.
u, 0, v
Suppose 0 = 2*m + 4 - 48. Let r = -22 + m. Suppose r = -7*g - 11 - 3. Sort 0, -1, g in descending order.
0, -1, g
Let p = 372 + -377. Sort 2, 57, 5, p.
p, 2, 5, 57
Let w = 119 + -195. Let r = w + 79. Sort r, 0.2, -0.23, 0.1 in ascending order.
-0.23, 0.1, 0.2, r
Suppose -5*w - 29 = -4*k, -w = -5*k - 10*w - 40. Sort -3, 49, k.
-3, k, 49
Let i(b) = 2*b**2 - 12*b + 5. Let y be i(6). Suppose -5*x = 8 - 28. Sort 3, x, y in increasing order.
3, x, y
Let u = -53 - -57. Suppose -y + l - 7 = -4, -15 = y - u*l. Sort -2, -17, y in descending order.
y, -2, -17
Let x be 5 - ((0 - -3) + 0). Suppose h = -0*p + x*p - 2, -h = -2. Sort 1, -4, p in increasing order.
-4, 1, p
Suppose -10 = 2*p, v - 2 = -p + 50. Let z = -61 + v. Put 4, -3, z in descending order.
4, -3, z
Let o = -27 + 18. Let i be 1/5*(-54 - -79). Put i, -4, 2, o in decreasing order.
i, 2, -4, o
Let g = -74.2 + 106. Let l = g + -32. Put -2/57, 2/5, l in decreasing order.
2/5, -2/57, l
Let o = -1532 + 1521. Put 0.2, 1/4, o in decreasing order.
1/4, 0.2, o
Let r = -1939/8 - -242. Sort -132, r, 2/5 in increasing order.
-132, r, 2/5
Let i = -0.024 - -1.024. Suppose 40 = -4*g - 4*l, -3*l + 5*l = -4*g - 36. Let f be ((g/(-12))/1)/2. Sort i, f, -0.4 in descending order.
i, f, -0.4
Suppose 3*o - 3 = 2*o. Let u = 28 - o. Sort -2, u, 4 in decreasing order.
u, 4, -2
Let p = 227 - 320. Let r = 91 + p. Let b = -2 - -10. Sort r, b, -3/5 in descending order.
b, -3/5, r
Let y = 114 - 118. Sort y, -15, -5 in increasing order.
-15, -5, y
Let m(c) = -c**3 + c + 1. Let g be m(-1). Let j = -251 + 255. Let f = 11 - 15. Sort j, g, f in descending order.
j, g, f
Let b = -3 - -9. Let x = -8 + b. Let w(