+ 18. Let o be s(6). Put o, -2, f in decreasing order.
o, f, -2
Let t be 1*(-16)/(-3)*-3. Let m = t - -10. Let q be ((-4)/m)/(8/(-12)). Put -2, q, -3 in ascending order.
-3, -2, q
Suppose -d - 2*d = 0. Put -2, -1, d in descending order.
d, -1, -2
Let z be 15/(-30)*(-2)/5. Sort z, -7, -1/5, -1/9 in descending order.
z, -1/9, -1/5, -7
Let x = 64 + -578/9. Put 3, x, 1, -3 in decreasing order.
3, 1, x, -3
Let k = 11 + -7. Let m = 6 + -1. Let y = 3 + -5. Sort y, k, m in decreasing order.
m, k, y
Suppose 0 = -5*z + 14 - 9. Sort z, -2, 4, -4 in descending order.
4, z, -2, -4
Let z be 3 + -4*12/8. Sort 5, z, 10.
z, 5, 10
Let u = 12/7 + -29/21. Let r be -2 + -4 + 140/25. Sort r, 5, u.
r, u, 5
Let u = -0.35 + -2.65. Sort -1, u, -4 in increasing order.
-4, u, -1
Let z(r) = r**2 + r - 1. Let c be z(2). Suppose 0 = c*l - 15 + 5. Sort 1/3, 3/7, l.
1/3, 3/7, l
Suppose 3*k - 2*u = -5, -u = -k - 3 + 1. Let d = 1 - 3. Sort 3, k, d.
d, k, 3
Let k(i) = -i**3 - 6*i**2 + i. Let m be k(-6). Sort 3, m, 1 in ascending order.
m, 1, 3
Let t = 16 + -16.1. Let c = -0.9 + 4.9. Sort -1, c, t in ascending order.
-1, t, c
Let t = 8 - 10. Let q = t + 2. Sort 0.1, q, 1/3 in descending order.
1/3, 0.1, q
Let l = -18 + 35/2. Let r be (1 - -1777)*(-5)/50. Let h = r - -177. Put -2/5, h, l in decreasing order.
-2/5, l, h
Let d(s) = -s**3 - 11*s**2 - s - 11. Let k be d(-11). Let b be 2 - (-1 + k)*1. Put b, 1, 2 in ascending order.
1, 2, b
Let v be 6/(-8)*(1 - -3). Let w = 22.9 + -9.7. Let g = 13 - w. Sort 3, v, g.
v, g, 3
Let f = 37.1 - 34. Let l = f + -3. Let o = 0.5 - 3.5. Sort 5, o, l.
o, l, 5
Let w be (1 + -3)*(8 - 3). Sort -4, w, 2 in descending order.
2, -4, w
Let t = 8 + -4. Suppose 0 = 3*n - n + 6. Let a be (n/t)/(3 - 2). Put a, 0, 1 in descending order.
1, 0, a
Let i(n) = -n**2 + 5*n - 5. Let a be i(5). Let b = 8 - 3. Suppose 0 = -z - 4*z. Sort b, z, a in decreasing order.
b, z, a
Let n be 1*3/(-6)*4. Sort n, -5, 2, -4 in increasing order.
-5, -4, n, 2
Suppose -8 - 4 = 3*g. Sort 4, -6, g in descending order.
4, g, -6
Suppose -7*o + 4*o + 12 = 0. Let i(g) = 2 + 0 - 1 - 2*g. Let b be i(-1). Sort 1, b, o in decreasing order.
o, b, 1
Let r = 101 + -96. Put r, 6, -4 in decreasing order.
6, r, -4
Let n = -0.01 + 0. Let d = 577 - 581.01. Let z = n - d. Put -2, 2, z in descending order.
z, 2, -2
Suppose -4*g = -4*v - 4, v - 2*g - 33 = 6*v. Let m = -11 + 14. Put 0, v, m in decreasing order.
m, 0, v
Suppose -a + 1 - 6 = 0. Let g = -4 - -8. Sort g, 5, a in ascending order.
a, g, 5
Suppose -14 = -4*s + 62. Suppose -3*u - l - 3 = 0, -2*u - s = 3*u - 3*l. Let i be (-3)/((0 + u)/2). Sort i, 0, 4.
0, i, 4
Suppose -4*f - f = 4*r - 1, -2*f - 5*r - 3 = 0. Sort -5, -2, f in increasing order.
-5, -2, f
Let r be 6 - (-5 - 3)/(-2). Let l be (2 - r)/(-5 + 4). Put -6, l, 1 in decreasing order.
1, l, -6
Let z = -27 - -28. Suppose 0 = -7*d + 2*d + 15. Put z, d, -1 in decreasing order.
d, z, -1
Let k = -11 - -6. Suppose 2*j - 1 = l, 3*j = -3*l + 2*j - 3. Let g be -5*((-2)/(-5) + l). Sort 0.3, g, k in descending order.
g, 0.3, k
Suppose 0 = -6*h - 22 - 8. Put 1, h, -2 in increasing order.
h, -2, 1
Suppose -5 + 0 = -f. Let g = f + -5. Let w(a) = -a**3 - a**2 - 5. Let l be w(g). Sort l, 4, -3 in ascending order.
l, -3, 4
Let p be 1 + (2 - 4) - -8. Let d(o) = 2*o - 10. Let h be d(p). Suppose -5 + 21 = 2*m + h*l, 2*m - 6 = l. Put -2, -5, m in descending order.
m, -2, -5
Let s(v) = -2*v**2 - 3*v. Let i be s(-2). Let y = i + 4. Suppose -u - y*u = -6. Sort u, 1, -5.
-5, 1, u
Let c = 0.87 - 0.47. Let q = 1/116 - 123/812. Sort q, c, 1/3 in descending order.
c, 1/3, q
Let w = -11 + 7. Let p = 6 - 10. Let t = p - -2. Sort w, 3/2, t.
w, t, 3/2
Let j(a) = 2*a + 5. Let h be j(-8). Sort 0, h, 1 in ascending order.
h, 0, 1
Let f = -5/3 + 41/21. Let l = 7 - 3. Let y = 4 - 1. Sort l, f, y in descending order.
l, y, f
Let d = 7.9 - 25.9. Put d, -0.3, 1 in decreasing order.
1, -0.3, d
Let j = -0.73 + 2.03. Sort j, 3/5, -0.5 in increasing order.
-0.5, 3/5, j
Let w(d) = -d**3 + 5*d**2 + 6*d + 3. Let r be w(6). Let a = -7 + r. Let c be 10/a + (-4)/8. Sort -4, c, -5.
-5, -4, c
Let p = -1/65 + 71/390. Put p, 3, -14 in descending order.
3, p, -14
Let y = -95 + 90. Put -17, y, 4, -3 in descending order.
4, -3, y, -17
Let l = 3 + -1. Sort 5, l, 3 in ascending order.
l, 3, 5
Suppose 0*q - 2*q = 4*j + 14, -3*q = -5*j - 23. Put q, -4, 11 in decreasing order.
11, q, -4
Let v = 0.012 + -3.012. Sort v, -4, -2/7, 0 in descending order.
0, -2/7, v, -4
Let f = -2.95 + 0.15. Let s = f + -0.2. Let a = -13 - -8. Put s, a, 0.4 in descending order.
0.4, s, a
Let z = -5 - 0. Suppose -g - 8 = 3*g. Let f = -5 - -9. Sort f, g, z in ascending order.
z, g, f
Let k be (5 - -1)/(-2) + 7. Let p be k + (-2)/2 + 2. Put 2, 3, p in increasing order.
2, 3, p
Let h = -1.3 + 1. Let t = h - -0.5. Suppose 4*k + 5*i = 45, 0 = -4*k + 4*i - 8*i + 40. Sort -4, t, k in ascending order.
-4, t, k
Suppose t + 3*f - 4 = 0, -4*f - f = 0. Let c(v) = -v**3 + 7*v**2 - 5*v - 4. Let b be c(6). Put -1, b, t in descending order.
t, b, -1
Let u = -0.1 + -0.1. Suppose 7*g + 5 = 2*g. Let q = 3 + g. Put 5, u, q in increasing order.
u, q, 5
Suppose -k = -12 + 5. Suppose -5*a = -4*b, 2*b + b + k = 2*a. Let w be (-4)/2 - (-1 - (3 + -1)). Sort b, -1, w in increasing order.
b, -1, w
Let k = -4.1 + 0.1. Let g = -13.4 + 13. Put g, -1/5, k in ascending order.
k, g, -1/5
Suppose 0 = 2*t + 2*t - 12. Let i(c) = -c**2 + 3*c + 6. Let r be 4/(-10) + (-54)/(-10). Let n be i(r). Put 2, n, t in descending order.
t, 2, n
Let a(c) = -c + 5. Let r be a(0). Sort r, -2, -1.
-2, -1, r
Let v(r) = -r**2 + 8*r - 9. Let q be v(6). Let d = 0 - q. Sort d, -4, -2 in decreasing order.
-2, d, -4
Let i = -0.5 - -1. Suppose -4*x = -9*x + 15. Sort -0.5, x, i in decreasing order.
x, i, -0.5
Suppose 7*c = 5*c - 20. Put c, 0, 5 in increasing order.
c, 0, 5
Let o = 5 + 0. Let m be 18/1*1/3. Let l be -3*(-2)/18*m. Sort -4, o, l in decreasing order.
o, l, -4
Let o = -4.99 - -5. Let b = o + 0.29. Let v = 4.05 + -0.05. Sort -1/6, b, v.
-1/6, b, v
Let t = -0.4 + -0.1. Let n = t + -0.5. Let z be 2 + ((-11)/(-8) - 3). Sort z, -4, n in decreasing order.
z, n, -4
Suppose -g = -0*g. Suppose -5*d - 2*l = -23, 3*l - 8 = 4*d - 31. Sort -4, g, d in ascending order.
-4, g, d
Let d(i) = 2*i**2 - i**2 + 0*i**2 + 5*i - 7. Let x be d(-6). Let g(r) = 4*r**3 - r**2 + 1. Let l be g(x). Sort 3, l, 4 in ascending order.
l, 3, 4
Let j be -6*(0 - 3/18). Let o = -2 + 2. Suppose -2*k = -o*k. Sort -4, j, k in decreasing order.
j, k, -4
Let k(f) = 61*f**2 + 2*f + 2. Let c be k(-2). Let o be (-238)/c - -1*1. Let s = o - 135/847. Put -1/5, 3, s in increasing order.
-1/5, s, 3
Let x = 29/65 - -2/13. Sort -1/4, x, -4.
-4, -1/4, x
Let c = -1 - -1.2. Let r be 0 - 1/(-2)*-10. Let x be (r/(-2))/(2/(-4)). Put x, c, 3 in descending order.
3, c, x
Let l = -5 - -3. Suppose -3*q - 1 = w, 6*q + 4 = 2*q - 2*w. Suppose -2*m - q = -5. Sort -5, m, l in descending order.
m, l, -5
Let y = 13.3 - 14. Let v = 2.3 - y. Sort -2/11, -2/7, v in decreasing order.
v, -2/11, -2/7
Suppose -20 = -12*i + 8*i. Suppose 3*n - 98 = -4*a, 10*a - 5*a - 140 = 5*n. Suppose -4*k - 11 = -2*k + g, -5*k - g = a. Sort i, 0, k in increasing order.
k, 0, i
Suppose 5*h = -0*h + 4*b - 4, -2*h - 4 = -4*b. Sort h, 3, 1 in descending order.
3, 1, h
Let u = -6.5 + 7. Let c = u + -0.7. Put -4, c, -0.1 in descending order.
-0.1, c, -4
Let a be (2 - 0)*(-4 + 3). Let v = a - -1. Let c be 2/6 - 9/27. Sort c, -4, v.
-4, v, c
Suppose -28*s + 30 = -23*s. Sort 0, s, -3 in increasing order.
-3, 0, s
Suppose 2*i = 2*d + 48, i + d - 4 - 12 = 0. Suppose -i = 3*f - 5. Put 1, 0, f in decreasing order.
1, 0, f
Let a = -15/14 - 3/7. Let l be (-10)/(-35) + 26/(-42). Sort a, 1/8, l in descending order.
1/8, l, a
Let k = 6 - 4.4. Let g = k + 3.4. Sort 2/11, -2, g in descending order.
g, 2/11, -2
Suppose 2 - 5 = 3*n. Let p = -13 + 9. Let f be (2 + (-2)/p)*-2. Put f, 3, n in increasing order.
f, n, 3
Suppose -2*w = -n - 5*w, -5*n + 11 = 4*w. Let o = 354/5 + -71. Sort 0.1, o, n in increasing order.
o, 0.1, n
Suppose 0 = 4*q - q + 2*s, 3*q + s = 0. Sort 1, 2, q in decreasing order.
2, 1, q
Let i be 10/(-4)*(-2 + 6). Let j be (15/i)/(1/(-2)). Suppose -4*g = -6 - 10. Sort 0, j, g.
0, j, g
Let w be 0/(-4) + (-3)/(-15). Sort