16. Let v(d) = d**3 - 5*d**2 - 7*d + 5. Let p be v(6). Sort 2, p, z in increasing order.
p, z, 2
Suppose -5*c = -2*j + 18, -4*c - c = -3*j + 17. Suppose -2*r - 4 = 4*u + 8, -6 = 5*u - 2*r. Let q be (-2)/(-3)*(u - 1). Sort q, j, -5 in increasing order.
-5, q, j
Let d = 0 + 1. Suppose -2*u = -3*w + 18, 4*u + 8 = -w - 0*u. Let t(q) = -q**3 + 14*q**2 - 9*q - 50. Let m be t(13). Sort m, d, w.
d, m, w
Suppose 3*w = 2*s - 0 - 3, 0 = 2*s. Let y = w - -1. Suppose -3 - 7 = 2*x. Put x, -1, y in ascending order.
x, -1, y
Let v = 0.338 - 0.138. Sort -6, v, -4 in descending order.
v, -4, -6
Let l be (1/(-2))/(4/(-16)). Let f be 15/(-6)*l/(-5). Put f, -2, -3 in descending order.
f, -2, -3
Let x = 3 - -4. Suppose x*f + 16 = 3*f. Let v = -4.79 + -0.21. Sort v, 2/9, f.
v, f, 2/9
Let w be ((-24)/48 - 5/(-18)) + 0. Put w, -0.5, -5, 0 in descending order.
0, w, -0.5, -5
Let o = 0.2 - -4.8. Let q = 20.1 - 20. Sort q, 1, o.
q, 1, o
Let t be ((-1)/(-8))/(((-35)/28)/(-5)). Sort t, -2, -0.03.
-2, -0.03, t
Suppose -5*b = -4*m - 37, -5*m - 3*b + 4*b - 20 = 0. Put m, 8, -5 in decreasing order.
8, m, -5
Let f = 16 - 15.6. Sort f, 1/3, -3/4 in decreasing order.
f, 1/3, -3/4
Let y be 6/12 + 0 + 0. Put 0, -5/6, y in decreasing order.
y, 0, -5/6
Let i = 13 + -8. Let m = 4 + -1. Sort 0, m, i.
0, m, i
Let q = -58/35 + 13/7. Let r = 1 - 1.5. Let f = r + 2.5. Put f, -1, q in decreasing order.
f, q, -1
Let x be 49/(-28) - 3/(-12). Put x, 4, 0.2, 1/9 in decreasing order.
4, 0.2, 1/9, x
Let x = -3.8 - -2.8. Put 2, 0.3, x in increasing order.
x, 0.3, 2
Let c = 9 - 6. Sort -1, c, -2/7 in increasing order.
-1, -2/7, c
Let o = 184/3 + -60. Let s be (1/1)/((-2)/3). Let n = 7/4 + s. Put -1, o, n in descending order.
o, n, -1
Let x be 2/(-5) - 28/(-45). Suppose -3 = -t + 1. Suppose -o - t*o = 20. Sort 0, o, x in decreasing order.
x, 0, o
Suppose -2*y + x - 6*x = 7, 3*y - 4*x = 24. Put -2, 2, y, -5 in descending order.
y, 2, -2, -5
Let d = -4.1 + 0.1. Sort -6/11, 0.5, d.
d, -6/11, 0.5
Suppose -2*y = -b - 1, 0 = 4*b - 2*y - 0*y + 16. Suppose 5*a - 31 = 7*s - 3*s, -5*s + 3*a - 29 = 0. Sort 3, b, s.
b, s, 3
Let g = -7.2 + 6.9. Put -3, 4, g, -0.2 in decreasing order.
4, -0.2, g, -3
Let j(i) = -i**2 - 9*i - 12. Let f be j(-7). Sort 3, 0, f in decreasing order.
3, f, 0
Let o = 9 - 9. Sort o, -2, 2 in decreasing order.
2, o, -2
Let s = 395 + -419.44. Let t = s - -24. Let q = -0.04 - t. Put 0, -0.3, q in decreasing order.
q, 0, -0.3
Let c be 4/5 - 600/125. Sort 1.8, c, 0.1 in descending order.
1.8, 0.1, c
Let y = -2.3 + -69.7. Let q = 68.08 + y. Let n = q + -0.08. Sort 2/5, 1/8, n.
n, 1/8, 2/5
Let l = 4 + 0. Let f(o) = o + 1. Let n be f(-2). Sort 1, l, n.
n, 1, l
Suppose 209*w = 210*w. Put w, -4, -11 in descending order.
w, -4, -11
Suppose z - 5*z = k + 4, 3*k = 4*z + 4. Let g = z + -3. Let w(q) = -q**2 + 4*q - 2. Let p be w(4). Sort g, 3, p in decreasing order.
3, p, g
Let m = -10 - -7. Suppose 4*a = -0*a + 24. Let w be 2/a*(-18)/(-2). Sort m, -5, w in descending order.
w, m, -5
Let m(a) = -a**2 - a + 5. Let q be m(-4). Let c = q - -3. Put c, -0.1, -5 in increasing order.
-5, c, -0.1
Let k = -30.7 - -32. Let i = k - 1.8. Put 2, -2/11, i in ascending order.
i, -2/11, 2
Suppose 2*o + 4*w - w + 18 = 0, -2*o + 2*w = -2. Let m be (2/(-4))/(1/6). Let i be 1 + 6*(-2)/m. Put i, o, 1 in descending order.
i, 1, o
Suppose 2 = 4*m - 2*m. Let c(t) = -4*t**3 - t**2 + t + 1. Let l be c(-1). Sort m, l, -4 in ascending order.
-4, m, l
Suppose -i + 4*i - 6 = 0. Sort 1, 4, i.
1, i, 4
Let n = 760 + -757. Let w be 27/(-33) + 2 + -1. Sort w, 5, n.
w, n, 5
Let v = 18 - 18. Put -3, v, 4, -19 in descending order.
4, v, -3, -19
Suppose -h - 9 = 2*h. Suppose -5*v + 14 + 11 = 0. Let w be (4/v)/((-2)/10). Put w, 1, h in descending order.
1, h, w
Let i be (14/(-2) - -1)/(-2). Let o = i + -5. Let d = -1 + -3. Sort o, 1, d.
d, o, 1
Suppose -l - z - 3*z - 14 = 0, -4*z - 6 = 5*l. Put 0, 3, -3, l in decreasing order.
3, l, 0, -3
Suppose 3*w + c = -3, -3*w - 5*c - 3 = -2*c. Sort 4, w, -3 in ascending order.
-3, w, 4
Let s = -804/5 - -160. Sort s, -1/4, -6 in descending order.
-1/4, s, -6
Suppose 0 = 4*k + k - 4*o - 10, -2*k + o = -4. Let g be 1/(-2) + 5/2. Suppose 0*f + 8 = -g*f. Put -5, k, f in descending order.
k, f, -5
Let d be -4 + -5 + 4 + 17. Sort 0, 4, -5, d in decreasing order.
d, 4, 0, -5
Suppose -6 = -3*v + 2*t, 0 = 5*v - 2*t - 2 - 8. Suppose 4*k - 5 = 5*b + 1, -4*k + 3*b = -v. Sort 1, 4, k in increasing order.
k, 1, 4
Let d = 194/5 + -39. Let x = 0.03 - 2.03. Let n = x + 2.4. Sort n, d, -1.
-1, d, n
Let d be 3/(-1)*(-4)/(-6). Put d, -4, 2 in decreasing order.
2, d, -4
Let q(z) = -z - 5. Let k be q(-6). Suppose 10*t - 20 = -0*t. Sort -3, t, k in increasing order.
-3, k, t
Let x = 14 + -19. Put x, 4, 0.4 in ascending order.
x, 0.4, 4
Let q = 7 - 16. Let i be (-1)/(1 - q/(-6)). Suppose -3*m = i*m + 15. Put -1, m, 4 in ascending order.
m, -1, 4
Let h = -0.24 + -0.06. Suppose 4*r - 5*r - 4 = 0. Put -5, h, r in descending order.
h, r, -5
Let c be 6/(-15) + 22/5. Suppose -q = -5*q - c. Let p = 7 - 11. Put p, q, 2 in decreasing order.
2, q, p
Let b = -7 + 4. Let y = -144 - -143.98. Put 3/4, b, y in descending order.
3/4, y, b
Suppose -1 = -2*f - r, -3*f + 2 = r - 2. Let c = 5 - f. Let z be c + (1 - (2 - 4)). Put z, -0.1, 4 in descending order.
z, 4, -0.1
Suppose -2*i - 5 = 3. Let c = -30 + 29. Sort i, c, -2 in increasing order.
i, -2, c
Let a(f) = -2*f - 4. Let s be a(-4). Suppose -3 = -3*t + s*t. Sort -6, t, -5.
-6, -5, t
Suppose 4*t - 4*v = 16, -t - 5*v = 4*t + 30. Sort -3, t, 0.
-3, t, 0
Let y = -0.55 - -0.95. Sort 17, y, 3.
y, 3, 17
Suppose 0 = -2*b + 4*q + 8, 0*b = 4*b + q - 7. Let p be (5/(-10))/(b/8). Put -2/3, p, -0.3 in descending order.
-0.3, -2/3, p
Let b(h) = h**3 - 11*h**2 - 12*h - 2. Let v be b(12). Let a = 6 + -4. Suppose -5*j + 16 = -9. Put v, a, j in ascending order.
v, a, j
Let f(g) = g + 2. Let i = -10 + 7. Let z be f(i). Suppose -4*h + 5*p = -19 - 6, 2*p = 4*h - 10. Sort h, -4, z in descending order.
h, z, -4
Suppose w - 5*j = -19, 5*w = -2*j - 0*j + 13. Suppose -3*u - 3*g - 15 = 6, 5*g = 4*u - 17. Let k = w + u. Sort 0, k, -3 in descending order.
0, k, -3
Let a = -0.2 - -4.2. Let y = a + -3.9. Suppose 0 = -5*q + 10 + 5. Put q, y, -5 in ascending order.
-5, y, q
Let h = 162 - 651/4. Let q = 2.68 + -2.38. Put q, h, -4 in increasing order.
-4, h, q
Let g = -2.1 + 2. Let d = g - 1.9. Let u = -5524/77 - -786/11. Sort u, -5, d in decreasing order.
u, d, -5
Let r = -35 + -3. Let l = 54 + r. Suppose 3*y = -y + l. Sort y, -1, 5 in descending order.
5, y, -1
Suppose -10 = 5*j - 5. Put -4, 4, j in descending order.
4, j, -4
Let g = 0.8 - 5.8. Put -0.4, g, 4 in descending order.
4, -0.4, g
Suppose c - 5 = -5*m - 0, 4*m - 4 = 5*c. Put -6, c, 2 in descending order.
2, c, -6
Let d(m) = -m**2 - 4*m + 3. Let f be d(-4). Put -4, f, -7 in decreasing order.
f, -4, -7
Suppose 0 = y + 2*y + 6. Let k(v) = 3*v - 44. Let g be k(15). Put -1, g, y in decreasing order.
g, -1, y
Let c = -57 + 24. Sort c, -5, 1.
c, -5, 1
Suppose 0 = -3*d + 9. Suppose 0*t - d = t. Let k = t + 7. Sort 5, k, 1 in descending order.
5, k, 1
Let w be 2/(-6)*(-25 - -13). Put w, 6, 0, 5 in descending order.
6, 5, w, 0
Let x = -168 + 838/5. Put x, -2, -16/11, -1/3 in descending order.
-1/3, x, -16/11, -2
Let r(s) = -s**2 + 5*s + 8. Let y be r(6). Suppose -u = 4*v + y + 12, 0 = -2*u + 2*v + 12. Put 3, u, -5 in decreasing order.
3, u, -5
Suppose 0 = 8*s + 6*s - 56. Sort 2, s, 1, 7 in decreasing order.
7, s, 2, 1
Let s = 1.59 + -12.49. Let k = s + 11. Let q be (-1*(-4 - -2))/(-13). Sort k, -1, q in increasing order.
-1, q, k
Let q = -37.6 + 31. Let y = 7 + q. Let m = 0.55 + -0.05. Sort m, -2/11, y in descending order.
m, y, -2/11
Let o = -0.7 - -0.8. Suppose -1 = -2*u + 3. Let r be (4/u)/(5 + -6). Sort r, 2/5, o.
r, o, 2/5
Let m = -25 + 23.1. Let c = m + 2.9. Sort c, -0.3, 0.5.
-0.3, 0.5, c
Let w = 0.01 - 0.21. Let o = 1.8 - w. Sort 0.5, -2/5, o.
-2/5, 0.5, o
Let l be (26/8)/((-4)/16). Sort l, -1, 4 in descending order.
4, -1, l
Let f(w) = -4*w + 17. Let b be f(4). Sort b, 5, -15 in descending order.
5, b, -15
Let a be (6 - 4)*(-1 - -7). Let u = 10 - a. Sort u, 0, 4 in descending order.
4, 0, u
Let g = 2 - 1.8. Let t = g + -0.3. Suppose 0*c = -3*c + 12. Put c, t,