-16. Put -1, 6, n in descending order.
6, n, -1
Let i be (-1)/2 - 22/(-4). Let m = -104 - -99. Let l = i + m. Sort -1, 2, l in descending order.
2, l, -1
Suppose -3*n + z + 10 = 0, -n + 2*z + 1 + 4 = 0. Put 5, n, 2 in descending order.
5, n, 2
Let u = -13 - -23. Let r be (-2)/u + 9/(-5). Let t be r/2 - (-4 + -2). Sort 3, -1, t in decreasing order.
t, 3, -1
Let z = -23.5 + 12. Let b = z + 11. Sort 2, 4, b.
b, 2, 4
Let a(f) = -f**3 + 8*f**2 - f + 11. Let w be a(8). Suppose 2*v + w*l + 21 = 0, -5*v - 10 = -l - 0*l. Let n be 2*1/(-57)*v. Sort -4, 2/9, n.
-4, n, 2/9
Let p = -0.077 - -0.477. Sort -2, -2/5, p, 3.
-2, -2/5, p, 3
Let i be 6/4 + 6/4. Suppose -2*u = u + 6, -i*n + 8 = 2*u. Let m = -6 + 6.3. Sort n, m, -3/2 in descending order.
n, m, -3/2
Let y = 2.02 - 0.02. Sort -0.1, 4, y in decreasing order.
4, y, -0.1
Let l(q) = q**3 + 11*q**2 - 1. Let f be l(-11). Let g be 0/f + (4 - -1). Put g, 1, -1 in decreasing order.
g, 1, -1
Let a = 17 - 21. Sort a, -5, 1/5.
-5, a, 1/5
Let c = -1 + 8. Suppose -26 = -3*s + 4*s - 5*u, -2*u + 7 = 3*s. Sort s, -5, c.
-5, s, c
Let y = 2.02 + -0.02. Let o = 1.7 - 2.7. Sort -2/5, o, y in ascending order.
o, -2/5, y
Let f be -2 + 1 + 180/177. Let z = f - 63/236. Let g = -1.1 - -1. Sort 4, z, g in decreasing order.
4, g, z
Let v = -35/344 - 1/43. Let b = -1.3 - -0.3. Suppose -10 = -z - 5. Put z, v, b in decreasing order.
z, v, b
Let f = -3.964 - 0.036. Let s = -7 + 12. Put f, s, 0.3 in descending order.
s, 0.3, f
Let q be (3*-1)/(4 + (-28)/16). Sort q, 10, -2, -5.
-5, -2, q, 10
Let i(d) = d**2 - 8*d + 10. Let h be i(7). Let y be (-3)/(-12)*(1 + h). Put -4, y, -1 in increasing order.
-4, -1, y
Let x = -513 - -514. Suppose -2*y + 4*v = -14, -v + 0*v + 1 = y. Put -1, y, x in decreasing order.
y, x, -1
Let d = 138 + -138.1. Let h be (4 - 0)/((-22)/357). Let k = h - -65. Put k, 3, d in increasing order.
d, k, 3
Suppose 2 = f - 4*m + 5, 3*f = 3*m. Let g(b) = b + 1. Let v be g(3). Sort 5, f, v in increasing order.
f, v, 5
Let l = -85 - -86. Put l, -0.5, 0.4, -3 in decreasing order.
l, 0.4, -0.5, -3
Let d = 0.0295 - -2.9605. Let r = d + 0.01. Put 4, r, -4 in descending order.
4, r, -4
Suppose -3*p - 16 = -z, -2*z - 12 = -5*z. Put 14, 1, p, 3 in descending order.
14, 3, 1, p
Let u = -1.3 + 1. Let i = -0.3 - 0.2. Put 2/19, u, i in ascending order.
i, u, 2/19
Let s = 0.3 + -0.2. Let c = s + -0.2. Let k = 43 + -46. Sort c, 0.3, k.
k, c, 0.3
Let h = 6/11 + 26/33. Sort 0.1, 1/5, h in decreasing order.
h, 1/5, 0.1
Suppose -4*m + 3 = 7. Let s be (m - 7 - -3)*-1. Let h = s + -9. Sort 5, h, 0 in descending order.
5, 0, h
Let x = 69.6 - 70. Put -2/33, x, -5 in increasing order.
-5, x, -2/33
Suppose 0 = x - 0 - 3. Let o be ((-16)/(-288))/((-2)/8). Sort o, 0.1, x in ascending order.
o, 0.1, x
Let f be (-110)/(-11) + -5 + 1/(-1). Let u = -1 - 0. Sort 3, u, f in decreasing order.
f, 3, u
Let b = 40 + -44. Put 5, 3, b in ascending order.
b, 3, 5
Let k(v) = -v**3 - 5*v**2 + 6*v. Let a = -6 - 0. Let f be k(a). Sort -5, -2, f in ascending order.
-5, -2, f
Let h = -44 + 48. Sort 0.1, h, -1, 0.11 in increasing order.
-1, 0.1, 0.11, h
Let u be (3/(-6))/((-2)/2). Let z = -5.17 - -0.47. Let m = 0.7 + z. Sort m, -2, u in ascending order.
m, -2, u
Let t be -1 + 3/((-6)/8). Let n be (-22)/(-33)*(-7 - -1). Sort t, n, 2 in increasing order.
t, n, 2
Suppose -3*b = -0*j + j + 7, -4*b + 16 = -5*j. Let r(v) = v**3 + 6*v**2 + 4*v - 7. Let p be (-4)/14 + 66/(-14). Let a be r(p). Put -5, j, a in decreasing order.
a, j, -5
Let z = -54 - -52. Sort -3, z, -5 in decreasing order.
z, -3, -5
Let j = -13.4 - -2.4. Put j, -4, 0 in descending order.
0, -4, j
Suppose 0 = s + 3*d + 26, -s + 4*d = 2*d + 51. Sort 3, s, -3 in descending order.
3, -3, s
Suppose -13 = 5*x + 2, 12 = -3*j - 3*x. Let q = -11 + 8. Sort q, j, 1.
q, j, 1
Let d be (-6 + (-133)/(-21))/((-1)/(-6)). Sort -13, -3, d in descending order.
d, -3, -13
Let c(d) = -5*d**2 - 2*d + 1. Let y be c(1). Put y, 2, -3 in ascending order.
y, -3, 2
Let j = 162 - 162.4. Sort j, 1/4, 4 in ascending order.
j, 1/4, 4
Let w = -0.23 - -0.53. Put 1, w, -0.5, -0.3 in ascending order.
-0.5, -0.3, w, 1
Let m = -51 + 58. Let j(u) = -u**2 + 6*u - 2. Let s be j(5). Put -3, s, m in ascending order.
-3, s, m
Let s be (-114)/(-27) - (-6)/(-27). Suppose -2 = -2*m + w, -2*m - s = -5*m + w. Suppose -m*f = -f. Put f, 0.4, 0.3 in increasing order.
f, 0.3, 0.4
Let b = -0.04 - -0.4. Let x = b - -0.04. Put -5/2, -0.1, x in descending order.
x, -0.1, -5/2
Suppose 12 = 14*z + 40. Sort 3, z, 5 in decreasing order.
5, 3, z
Let v be -7*2/(-7)*(-10)/(-4). Let d = -2 + 0. Sort v, -3, d in descending order.
v, d, -3
Suppose -w + 51 = 2*w. Suppose -4 = -m, 0*m - w = t - 4*m. Let y(n) = 2*n - 1. Let q be y(t). Sort q, 4, 3 in descending order.
4, 3, q
Suppose -4 = -4*w + 2*o, 3*w + o + 2*o - 12 = 0. Sort -0.1, -1, w.
-1, -0.1, w
Let h = 16 + -18. Sort 3, 1, h in increasing order.
h, 1, 3
Let q = 0 + 0.6. Let f = -1 + q. Sort f, 0.4, 0.2.
f, 0.2, 0.4
Let q = 58 - 55. Put -7, -1, q, 2 in decreasing order.
q, 2, -1, -7
Let r = -1.7 - 1.3. Sort r, 1, 0.4 in descending order.
1, 0.4, r
Let z be (-8)/(-18)*5/(-10). Sort 2/7, z, 1/3, 0.1 in descending order.
1/3, 2/7, 0.1, z
Let m(v) = v + 7. Let g be m(-7). Let j be -1*(5 - (g - -1)). Let p be (-4)/18 + (-43)/9. Sort j, p, 5.
p, j, 5
Suppose 0 = -4*j + 3*b + 43, -13 - 14 = -3*j - 3*b. Let p = j + -11. Let z = 2 - 1. Sort z, -2, p.
-2, p, z
Suppose -19 - 1 = -4*a. Suppose -4*n + a = -9*n - 5*u, -4*u + 16 = 0. Sort 1, n, -2 in descending order.
1, -2, n
Suppose 0 = 3*t + 25*t - 112. Let v(o) = o**2 + 7*o + 8. Let q be v(-6). Put t, 1, q in decreasing order.
t, q, 1
Let u be (0/(-2))/(-6 - -4). Suppose u*r = -r - m - 5, 25 = -5*m. Let f be 6/(-9)*(-6)/(-4). Sort 4, r, f.
f, r, 4
Let k = 68 - 407/6. Let r be (-8)/(-30) - 2/(-6). Sort -0.1, r, k in increasing order.
-0.1, k, r
Suppose 0 = 4*f - 2*m + 10, 23 = 2*f - 7*f - m. Put 3, f, -5 in decreasing order.
3, f, -5
Let h be 3 + (-3 - 0) + -1. Let b = 3 + h. Sort 1, b, -3 in descending order.
b, 1, -3
Suppose -3*d + 6 = -3*z, -3*d + 7*d - 10 = 3*z. Put -4, d, -1 in decreasing order.
d, -1, -4
Suppose 3*j - 5*n + 4 = 0, -5*n + 12 = j - 0*n. Sort 33, 4, j.
j, 4, 33
Suppose -2*c - 18 = -c - 5*w, -3*w = -c - 10. Suppose -4*m - l - 31 = 0, -4*m = 4*l + 33 + 7. Sort c, -1, m in increasing order.
m, -1, c
Let m = -3 - -3. Let u = m + -2. Sort -4, -6, u in decreasing order.
u, -4, -6
Let m = -0.07 - -3.07. Suppose 0 = 4*q + q + 10. Put m, 0.5, q in increasing order.
q, 0.5, m
Suppose 0 = 7*k - 3*k + 20. Let x = 15/4 + -83/20. Sort x, k, 1/5.
k, x, 1/5
Let y = -19 - -19. Suppose -o - 3*o - 4 = y. Let g(t) = -t**3 + 3*t**2 + t - 1. Let d be g(2). Put 4, d, o in ascending order.
o, 4, d
Let p = -12 - -17. Let d = -34 + 29. Sort p, d, -4 in ascending order.
d, -4, p
Let p = -20.33 - -0.53. Let f = p - -23. Let k = -3 + f. Sort k, -5, -0.5.
-5, -0.5, k
Let r be 8/36*9/(-6). Let z(s) = s**3 - 3*s + 2. Let o be z(2). Put -3, r, o in ascending order.
-3, r, o
Suppose -1 = 5*y - 11. Suppose -3*i + y*k + 2*k = 11, 5*i + 30 = -5*k. Sort i, 3, -3 in ascending order.
i, -3, 3
Suppose 2*l + 33 = 4*l - 3*j, l + 3*j + 6 = 0. Sort -2, l, -5, 2 in decreasing order.
l, 2, -2, -5
Let u be (6 + -8)/((-4)/(-10)). Let q = 13 - 15. Put 2, q, u in descending order.
2, q, u
Let p be -2 - 2*10/(-8). Sort 3/4, 6, p.
p, 3/4, 6
Let g = 14 - 13.9. Sort -0.1, 1/3, g.
-0.1, g, 1/3
Let z = 2 + -3. Let d = 1 + z. Let r be (-12)/(-6) - 1*-3. Sort r, d, -3 in increasing order.
-3, d, r
Let c = 0.16 + -0.06. Put c, 4/7, 0.2 in ascending order.
c, 0.2, 4/7
Let k(s) = -s**3 - 9*s**2 + 2*s + 13. Suppose -3*m + 3*o - 28 = 2*o, 5 = -m - 4*o. Let a be k(m). Suppose -5*b + 18 = -7. Put a, 4, b in descending order.
b, 4, a
Let l = 20/7 - 274/91. Let r = 6 + 11. Let s = 17.05 - r. Sort s, -4, l.
-4, l, s
Suppose 4*v - 3*v - 1 = 0. Let d = 12 + -12. Sort d, -2, v in decreasing order.
v, d, -2
Let m = 160 + -160. Put 3, m, 2 in descending order.
3, 2, m
Let t be (18/(-15))/(6/20). Put -3, t, 12 in increasing order.
t, -3, 12
Let v = -0.171 - 7.929. Let b = v + 1.1. Let i = b + 2. Sort -0.5, 2, i in descending order.
2, -0.5, i
Let y = -1 + -4. Suppose r = -l + 6*l, 4*l = 4*r + 16. Let h = 0 - l. Sort y, h, 5 in decre