) + 5. Sort 1, 0, s.
0, 1, s
Let j(l) = -l**2 - 3*l. Let p be j(-4). Let h(u) = u**3 - 8*u**2 - 7*u - 13. Let o be h(9). Let y = 0 - 1. Put p, o, y in ascending order.
p, y, o
Suppose -2 = -7*x - 9. Put 2, 9, x in decreasing order.
9, 2, x
Let m = 651873/70 + -9315. Let z = 17/7 + m. Put -1, z, -6 in descending order.
z, -1, -6
Let j be ((-6)/(-4))/(1/(-4)). Let w be ((-2)/j)/(2/12). Suppose -w*b = 4*y + 14, 0 = -3*b - 0*b + 2*y - 5. Put -4, b, -5 in increasing order.
-5, -4, b
Suppose -3*o = -1118 + 1124. Sort o, -17, -5 in descending order.
o, -5, -17
Suppose 0 = 36*a - 35*a - 1. Suppose -2*c - 2 = -0*c. Let u(k) = -3*k**3 - 2*k**2 - 2*k - 1. Let d be u(c). Put d, 0, a in increasing order.
0, a, d
Suppose -3*x + 3 = 3*t, -x = 3*t - 2*x - 7. Put 150, -3, t, -5 in decreasing order.
150, t, -3, -5
Let u(h) = h**3 - 5*h**2 - h. Let o be u(5). Let w = 273 - 274. Sort o, w, 5 in decreasing order.
5, w, o
Let u be 0 - (-2 - 6*(-4)/8). Let c(n) = -n - 17. Let a be c(-15). Let i be 0 + 8/(6/3). Sort i, u, a.
a, u, i
Let f = -55.85 - -57. Let z = -0.85 + f. Sort z, 5, 7, -0.3 in increasing order.
-0.3, z, 5, 7
Let x = 80 + -82. Sort x, 3/10, -4.
-4, x, 3/10
Suppose 2*j - 42 = -34. Sort j, 3, -4, -5 in increasing order.
-5, -4, 3, j
Let i be (-1 + 0)/((-5)/(-5)) - 1. Sort 4, i, 0.08, 3 in ascending order.
i, 0.08, 3, 4
Let w = -7 + 7. Let d = w - -14. Suppose -3*t + d = 2*l, 4*l + t = 5*t - 12. Put l, -2, 2 in descending order.
2, l, -2
Suppose -765 - 875 = -41*o. Put 0, o, -4 in descending order.
o, 0, -4
Let q be ((-9)/(-6))/(3/8). Sort -2, q, -28 in increasing order.
-28, -2, q
Let r = 0.121 + -3.411. Let u = -0.29 - r. Sort -0.03, -3, u in descending order.
u, -0.03, -3
Suppose -80 = -12*z + 52. Sort -2, z, 0, -3 in increasing order.
-3, -2, 0, z
Let c = -71 - -36. Let h be 8/10*c/14. Let o(z) = -z**2 - 6*z - 5. Let k be o(h). Put -1, -6, k in descending order.
k, -1, -6
Let b be (45/6)/((-2)/4). Let z be (b/(-5))/((-3)/2). Let t = -39 + 40. Sort -1, z, t in descending order.
t, -1, z
Let o(d) = -12*d + 261. Let r be o(22). Sort 5, 181, r, -1 in increasing order.
r, -1, 5, 181
Let n(r) be the second derivative of -r**4/12 + r**3 + 5*r**2 - 9*r. Let q be n(7). Put q, 2, 0 in descending order.
q, 2, 0
Let x(u) = -u**3 + 14*u**2 - 11*u - 17. Let i be x(13). Suppose -i = 4*f + 7. Sort 4, f, -5 in descending order.
4, f, -5
Suppose 39*x + 9 = 9. Put x, 131, 1/3 in ascending order.
x, 1/3, 131
Let x(w) = -w**2 - 10*w + 12. Let z be x(-11). Let n be 18/12*(7/3 - z). Sort -2, 4, -1, n in descending order.
4, n, -1, -2
Suppose -6*r = -37*r - 31. Sort 0, r, 2, 5 in increasing order.
r, 0, 2, 5
Let i = -4 - -6. Let t be (-24)/210 + i/5. Put 0.3, -4, t in ascending order.
-4, t, 0.3
Let d(j) = 22*j - 86. Let b be d(4). Put 0, -22, b, -3 in descending order.
b, 0, -3, -22
Let g(p) = 4 + p**2 + 0*p + 0*p + 5*p + 2. Let f be g(-4). Suppose 4*i - 5*m = 15, -3*i + m + 3 = f*i. Put -1, i, 2 in increasing order.
-1, i, 2
Suppose 5*m - 6 + 11 = 0. Sort 26, 4, m, 5 in decreasing order.
26, 5, 4, m
Let s(m) = -m**3 - 6*m**2 - 3*m + 1. Let c be s(-5). Let q be ((-100)/(-125))/(c/(-5)). Let l be 2/8 + 170/(-40). Sort 0.2, l, q in ascending order.
l, 0.2, q
Suppose -3*n + 6045 = 62*n. Put n, 5, -4 in increasing order.
-4, 5, n
Let i(h) = -h**2 + 2*h + 8. Let y be i(-3). Sort 2, -1, 0, y in ascending order.
y, -1, 0, 2
Let m(n) = -n + 9. Let t be m(5). Let f be (-1)/(-1) - (-11 + -3). Suppose 97*i = 102*i + f. Put -5, i, t in increasing order.
-5, i, t
Let c = 8 - 4. Let h = -4.16 - -4.11. Sort h, c, -1 in ascending order.
-1, h, c
Let z be (-4)/7*49/210. Sort -1/8, 2/13, z, -5.
-5, z, -1/8, 2/13
Suppose 0 = 3*q + 3 - 24. Let i(o) = -o**2 + 6*o - 4. Let d be i(q). Let b = -6 - d. Sort 3, b, -1.
-1, 3, b
Let t be (-1400)/(-525) + 2/(-3). Let o be ((-2)/(-6))/((-3)/(-27)). Suppose -2*g = l + 9, 0 = -g + 4*l + 11 - 2. Put o, t, g in descending order.
o, t, g
Let s be 20 - ((-1)/(-2) + 15/(-10)). Sort 5, 3, 1, s in descending order.
s, 5, 3, 1
Let y be -1*(-1 + 58 + 0). Let c = y + 54. Put -12, 5, c in descending order.
5, c, -12
Let z = 63.008 + -0.008. Let u = -38 + z. Sort 1/6, u, -0.4.
-0.4, 1/6, u
Suppose v + y = 0, 0 = 52*v - 47*v - y + 24. Sort v, 5, -3 in descending order.
5, -3, v
Suppose 2*h + 4 = h. Let j = -1144 - -1142. Sort j, -5, 1, h in descending order.
1, j, h, -5
Let z = -145 + 138. Let y be 37/9 + (-7)/(z/(-4)). Sort -0.5, 0.4, y, -5.
-5, -0.5, y, 0.4
Suppose -5*a + 2*l = -28, 0 = -2*a + 4*a - 5*l - 28. Let d be (-200)/(-80) + 1/(-2). Sort a, 3, -9, d in descending order.
a, 3, d, -9
Let v = 27 + -23. Suppose 5*s + 4*y = -15, 3*y = -4*s - 1 - 11. Sort s, 0.5, v in decreasing order.
v, 0.5, s
Let m(l) = -l + 8. Let u be m(0). Let p(b) = 18*b + 1. Let v be p(-1). Let q = v - -17. Put q, u, -3 in decreasing order.
u, q, -3
Suppose -4*r - 4*i = 13 - 33, -2*i - 26 = -2*r. Sort -1, -5, r, -3 in decreasing order.
r, -1, -3, -5
Let d be 0*((-64)/20 + (-4 - -7)). Suppose -1 = -5*v - 6. Put -3, v, d, -4 in increasing order.
-4, -3, v, d
Suppose -4*r - 4 = -20. Suppose 328*b + 28 = 321*b. Put 2, r, b in ascending order.
b, 2, r
Let f = -273 - -270. Let a = -4 + 4. Put a, f, 2/15 in decreasing order.
2/15, a, f
Let n = -622 - -622. Put -0.3, n, -1/21, 5 in ascending order.
-0.3, -1/21, n, 5
Let j be (-2)/5 - 96/10. Let b be (-3)/(-5)*j/8. Let q = 8 + -7.5. Sort b, -2/7, q.
b, -2/7, q
Let p be ((-30)/20 - 0)/((-6)/(-16)). Sort p, 9, -3, 5 in decreasing order.
9, 5, -3, p
Suppose u + 3*t = -6, -3*t + 23 = -5*u + 65. Let p = -1 + u. Suppose 19*s + 63 = 82. Sort p, s, 0 in descending order.
p, s, 0
Let h = -2330.6 - -2331. Put h, 1, 3/7, -1.13 in descending order.
1, 3/7, h, -1.13
Let v(u) = u**2 + 7*u + 8. Let k be v(-6). Suppose -5*g + 16 + 54 = 0. Suppose 0*i - 17 = 3*i - j, 2*i - 2*j = -g. Sort 3, i, k in decreasing order.
3, k, i
Suppose -x = 4 - 11. Suppose -3*u + 12 = -x*u. Put -5, -8, u in ascending order.
-8, -5, u
Suppose -5*s = -3*s - 2. Suppose 9*m - 27 = -0*m. Put 5, s, m in increasing order.
s, m, 5
Suppose -b + 4 = -t, 5*b + 3*t + 12 = b. Put -13, 4, -1, b in ascending order.
-13, -1, b, 4
Let c be (-54)/(-63) + (-656)/700. Put 0.1, c, -2/3, -2/5 in increasing order.
-2/3, -2/5, c, 0.1
Let t = -72 - -77.6. Let f = -5.4 + t. Sort -1/6, f, 0.5 in increasing order.
-1/6, f, 0.5
Let b = -69 + 71. Let a(r) = r**2 + 5*r - 3. Let o be a(-6). Put 7, o, b in descending order.
7, o, b
Let g = 214 - 213. Let m = 891.03 + -887. Let s = 0.03 - m. Put 0.4, g, s in increasing order.
s, 0.4, g
Let i = -9.1 - -5.1. Let w = 1701/17 - 100. Sort w, i, 5 in ascending order.
i, w, 5
Let y = 3885 - 3887. Let x be 96/7 + 4/14. Let h be (-11)/(-14) - 4/x. Sort h, 2, y in descending order.
2, h, y
Suppose -3 = 3*f - 18. Suppose -2*y + 7 = f*y. Put -3, 4, 5, y in increasing order.
-3, y, 4, 5
Let w = -3.87 + -0.13. Let p = w - -7. Sort p, -0.4, -3 in increasing order.
-3, -0.4, p
Suppose -h = -4*f + 2*h - 9, -3*f - 5*h - 43 = 0. Let j = 5 + f. Suppose 0 = -4*n - 12, -2*i = -6*i + 4*n + 28. Put i, j, 3 in increasing order.
j, 3, i
Let p be 37/111*(0 + 9). Put 0, 2, p in increasing order.
0, 2, p
Let y = 4443/5 + -889. Sort -2, 5, y.
-2, y, 5
Let s = 59.5 + -61. Let q = s - -2. Sort q, 8, -4.
-4, q, 8
Let w = -0.39 + -0.02. Let s = -0.49 - w. Put 2/11, s, 4 in decreasing order.
4, 2/11, s
Suppose -x + 2*d - 93 = 0, 3*x + d - 5*d + 271 = 0. Let n = 84 + x. Sort -3, 0, 4, n.
-3, n, 0, 4
Suppose -4*g = 4*j + 11 + 17, -4*j - 10 = -2*g. Suppose 3*r = 6 - 10 - 2. Sort j, -1, r, 1 in descending order.
1, -1, r, j
Let g be (-6)/(-2)*(-9)/(-9) + -7. Let c = 3 + -2. Let t be (0 - -1)*c/2. Sort t, g, -1/8 in decreasing order.
t, -1/8, g
Let j(k) = -2*k**3 - 4*k**2 - 6*k. Let r(p) = p + 12. Let z be r(-14). Let d be j(z). Put -4, d, 4 in increasing order.
-4, 4, d
Let x = -10/3 + 32/15. Let w = 0.76 - -0.24. Let y = w + 0. Sort y, 5, x.
x, y, 5
Let w = 0.01 + 0.07. Let a = -8 - -7.68. Let b = w - a. Sort 2, 0.04, b.
0.04, b, 2
Let h be (2/(-8))/(0 - 1). Let c = -38 + 51. Let o = c - 15. Sort -2/5, o, h.
o, -2/5, h
Let l be -5 + 56/(-12)*(-27)/18. Let k = -3 - -2. Sort l, k, 7 in descending order.
7, l, k
Let m be -8 + (-1 - -9) + 0. Put -3, m, -40 in increasing order.
-40, -3, m
Let p = -41.5 +