18. Let i be u/28 + (-4)/j. Sort -3, i, -1 in descending order.
i, -1, -3
Let v(y) = -2*y - 2. Let h be v(-2). Suppose q + q = -h. Put 0, -3, q in increasing order.
-3, q, 0
Let n = -1.02 - -0.38. Let h = n + 0.14. Sort h, 1, 0.3 in decreasing order.
1, 0.3, h
Suppose 0*m - m + 1 = 0. Let l be 10/(-3) + (-1)/(-3). Put m, 0, l in decreasing order.
m, 0, l
Let w(v) = -3*v + 1. Let f = -1 + 2. Let n be w(f). Sort n, 0.3, -1 in ascending order.
n, -1, 0.3
Let b = -13.4 + 13. Suppose 5*k + 8 = 23. Put -0.3, k, b in decreasing order.
k, -0.3, b
Let l be (1 + 2)/((-6)/(-8)). Suppose -3*g - 2*v - l = -v, 0 = 5*g + v + 10. Let i(x) = -x**2 + 6*x + 9. Let s be i(7). Put s, -4, g in descending order.
s, g, -4
Let h = -15 - -27. Sort -3, h, -2 in decreasing order.
h, -2, -3
Let m = -0.2 - 0. Let d = 59 + -237/4. Sort d, -1/2, m.
-1/2, d, m
Suppose -3*m + 0*a + 3*a = 18, 2*m = -3*a + 3. Let r(y) = -y**3 - 2*y**2 + 2*y - 1. Let o be r(-2). Put m, o, -1 in descending order.
-1, m, o
Suppose -5*a - 1 + 26 = 0. Suppose 3*u - a*u - 16 = -b, 3*b - 13 = -u. Sort b, 3, 5.
3, 5, b
Let a = -9.7 + 5.7. Put 2/5, 4/7, a in increasing order.
a, 2/5, 4/7
Let z = 4.406 + -0.006. Let y = -5 + z. Let v = 3.6 + y. Sort 0.4, v, -5 in descending order.
v, 0.4, -5
Let b(m) = m**2 + 24*m - 57. Let q be b(-26). Let c(x) = 2*x + 3. Let p be c(-3). Sort p, -4, q in decreasing order.
p, -4, q
Let q = -140 + 139.5. Suppose t + 2*g = -g, 4*t - 65 = g. Suppose -3*v + t = -5*s, 4*s - v = -4*v + 15. Sort q, 2, s.
q, s, 2
Let v be 1 - 5/(5/(-2)). Suppose -v*g + 9 = -0*g, 5*q + 12 = -g. Let m = 0 + 2. Sort 5, q, m in decreasing order.
5, m, q
Let m = -19 + 22. Sort m, -1/4, -4/3 in decreasing order.
m, -1/4, -4/3
Let i = -0.59 - -0.39. Let z(k) = k**2 - 4*k + 1. Let l be z(2). Sort l, i, -1/7.
l, i, -1/7
Let v(z) = -z**3 - 7*z**2 - 7*z - 2. Let d(h) = h**3 + h**2 - 6. Let l be d(0). Let x be v(l). Put -4/5, x, 0.3 in increasing order.
-4/5, 0.3, x
Let d = 519/5 - 104. Let b = -6.84 + -0.16. Let a = -12 - b. Put d, a, 0 in descending order.
0, d, a
Let x = 0.91 - -0.05. Let r = -0.04 - x. Put r, 1/6, 0.5 in descending order.
0.5, 1/6, r
Let k be -3 + 2 - -1*5. Let w be 6/(-4) + (-2)/k. Let s = -1301/4 + 325. Sort 0, s, w.
w, s, 0
Let o(x) = -x**2 + 5*x - 3. Let a be o(3). Suppose -2 = 5*r - 2*y + 4, -a*r - 5*y - 16 = 0. Sort r, 2, 1 in ascending order.
r, 1, 2
Let b = 132 + -395/3. Put -2, 3/8, b, 4 in ascending order.
-2, b, 3/8, 4
Let v = -15/7 - -37/14. Let q = -2 + 1.88. Let j = q + 0.02. Sort 2/3, v, j in ascending order.
j, v, 2/3
Suppose -5*f - t = -0*t, -3*f = -5*t. Sort f, -5, -3.
-5, -3, f
Let r = -41 - -39. Sort 4, -3/7, 3, r in descending order.
4, 3, -3/7, r
Let n = 61 - 60.9. Let w = -0.2 + 0.4. Sort w, n, -0.3 in increasing order.
-0.3, n, w
Suppose 0 = -5*n + 8 + 2. Suppose y + n = -1. Let r = 1 + -5. Sort -5, r, y in increasing order.
-5, r, y
Let s = 12 - 16. Sort s, 4, -0.4 in decreasing order.
4, -0.4, s
Let a(s) = -s**3 - 7*s**2 - 5*s + 4. Let p be a(-6). Put -5, 2, p in ascending order.
-5, p, 2
Let s(y) = y - 17. Let i be s(12). Put i, 3, -3, -1 in increasing order.
i, -3, -1, 3
Suppose 2*d = -2*r + 8, 1 + 24 = -5*d. Let c be (-6)/(-4)*12/r. Let p be 10/(-3)*12/8. Put c, p, -3 in decreasing order.
c, -3, p
Suppose 3*s + 4 = 4*s, -4*l - 4*s - 104 = 0. Let i be (l/16)/3 + 1. Put 0.3, 2, i in increasing order.
0.3, i, 2
Suppose -a + 260 = -171. Suppose 0 = 2*d + a + 21. Let u = d + 1811/8. Put -5, 0.2, u in decreasing order.
u, 0.2, -5
Let o = 17 - 12. Let z = 4 - o. Sort z, 1/5, 1 in ascending order.
z, 1/5, 1
Let a = 50 + -46. Let w(y) = y**2 + 2*y + 2. Let f be w(-3). Suppose -f*d + 2*d - r + 7 = 0, 4*d - 3*r = 5. Put d, a, -5 in increasing order.
-5, d, a
Let b(x) = 4*x**2 - 5*x - 5. Let o be b(-6). Let q = o - 2875/17. Let f = 246 + -247. Sort f, q, -2 in ascending order.
-2, f, q
Suppose -5*g - 13 = -23. Sort g, -5, -12 in increasing order.
-12, -5, g
Let k be 80/(-84) + (-2)/(-3). Put 2/9, k, -1.2 in descending order.
2/9, k, -1.2
Suppose f = b - 5, -f = b + 3*f - 5. Suppose b*d - 6 = -1. Sort -3, d, 5 in descending order.
5, d, -3
Let g = 1 + 1. Let p be (3/g)/(3/(-8)). Let y be -2*((-6)/p + 0). Sort 3, 2, y.
y, 2, 3
Let x = 102.43 + -103. Let y = 0.07 + x. Let z = 0.8 - 1. Sort y, 0.2, z.
y, z, 0.2
Let s be (-2)/11 - 40/(-825). Let i = -10 + 8. Put 0.1, s, i in descending order.
0.1, s, i
Let v = -103/36 - -28/9. Suppose -50*u = -51*u - 3. Sort v, -0.1, u in descending order.
v, -0.1, u
Let a = 1 - 0. Let c(u) = -u**2 - 11*u + 22. Let l be c(-13). Let v be (-2 - 2)/1 + -1. Sort v, a, l in decreasing order.
a, l, v
Let k(o) = o - 5. Let w be k(-10). Let c be 21/w + (-1 - -3). Sort c, 0.1, -0.1 in increasing order.
-0.1, 0.1, c
Suppose 3*v = 15, -2*k + 4*v - 23 = -k. Suppose -3*g = -7*g + 16, -3*w + g - 19 = 0. Sort w, k, -2 in decreasing order.
-2, k, w
Let n = 0.1 - 4.1. Let o = n + 4.2. Let z be (-3)/(-12) + 1/8. Put -1/3, z, o in increasing order.
-1/3, o, z
Let b = -83 - -248/3. Sort 2/11, 0.01, b in decreasing order.
2/11, 0.01, b
Let j = 18 - 14. Let y(v) be the second derivative of -v**3/2 - v. Let b be y(1). Sort j, b, -4 in ascending order.
-4, b, j
Let k = -24 - -23.8. Put -0.01, 2/13, k in decreasing order.
2/13, -0.01, k
Suppose -7540 = -0*k + 5*k. Let n be (-2)/(-4) - k/8. Let i = n - 1321/7. Put 4/3, i, 0.3 in decreasing order.
4/3, 0.3, i
Suppose -101*h + 96*h + 25 = 0. Let b be (-4)/10*2*-5. Let n = b - 7. Put -4, h, n in descending order.
h, n, -4
Let s be (-7)/14*(2 + -2). Let q be (0 - 1) + 1 + 1. Put s, -3, q in increasing order.
-3, s, q
Let a(h) = -h**3 - 8*h**2 + 7*h - 13. Let z be a(-9). Suppose 0 = -2*i - 1 - z. Sort i, 5, 1 in decreasing order.
5, 1, i
Let o = 6 - 3. Suppose 3*j + o*a - 6*a = -15, 4*j = -a + 5. Put 3, -2, j in increasing order.
-2, j, 3
Let n = 25 - 24.7. Sort 4, n, 0.2.
0.2, n, 4
Let g be 2 + (-1 - (2 + -3)). Suppose s + 18 = 5*u, -8 + 26 = 5*s + g*u. Sort s, -5, 4 in increasing order.
-5, s, 4
Let z be 39/12 - 3/(-4). Let i(q) = q - 10. Let p be i(5). Sort 0.1, p, z in increasing order.
p, 0.1, z
Suppose 8 = -6*d + 8. Sort -2, -6/11, -0.1, d in ascending order.
-2, -6/11, -0.1, d
Let m(b) = 2*b**2 + 3*b + 2. Let q be m(-2). Suppose -2*y = 6*r - 5*r + 2, -q*r = y + 1. Sort y, -4, 3.
-4, y, 3
Let a(t) = -t**2 + 6*t + 2. Let i be a(6). Let u = 5 - 2. Suppose 5*r = -f + 2 - 6, 3*r = u*f + 12. Sort f, -5, i.
-5, f, i
Let c be (3/6 - 1)*-2. Let t be 0/(-3)*1/c. Suppose t = -4*d + 5*d - 2. Sort -3, d, -4 in descending order.
d, -3, -4
Let f(j) = j**3 - 9*j**2 - 9*j - 1. Let m be f(10). Let i be (-2)/m + (-85)/(-180). Let t = 5 + -2. Sort 0.1, t, i in decreasing order.
t, i, 0.1
Let j = -3.378 - -0.078. Let i = j + -0.7. Let l = 3.7 + i. Put l, 5, 2/7 in decreasing order.
5, 2/7, l
Suppose f - 2*z - 2 = 0, 3*f + 5 = -2*f + 5*z. Put -1, f, 1 in decreasing order.
1, -1, f
Suppose -2*i - 2 = 2*a, 5*i = -4*a + 3*a + 7. Let w be 1/(-3)*(-3)/i. Let d = 2 - 2. Sort 2, d, w.
d, w, 2
Let d = 4 - 5. Let u(r) = -r**3 - 9*r**2 - 8*r + 4. Let p be u(-8). Put -2, p, d in decreasing order.
p, d, -2
Suppose 3*v - 17 = 4*o, 2 = 2*v + 4*o + 24. Let r be 3 + (1 - 1/v). Put 0.4, r, -2/9 in ascending order.
-2/9, 0.4, r
Let q = -155 - -158. Put q, -4, -2/9 in ascending order.
-4, -2/9, q
Let q = -205 - -207. Let g = -4 + 3. Put q, 0, g in descending order.
q, 0, g
Let q = -32 + 34. Suppose 0*r - 2*r + 6 = 0. Sort -5, q, r in increasing order.
-5, q, r
Let c = 5.047 + -0.047. Sort -1/4, -0.2, -0.7, c in increasing order.
-0.7, -1/4, -0.2, c
Let c = 53 - 46. Sort 5, -2, c, -1.
-2, -1, 5, c
Suppose 0 = 4*k - 59 + 51. Sort -0.7, -4/7, k in ascending order.
-0.7, -4/7, k
Let m = 0.044 + 0.456. Let j = -4 - -3.7. Let w = 0.2 + j. Put -1, w, m in descending order.
m, w, -1
Suppose -5*j + 3 = -2*j. Suppose -3 = w - 6. Put w, -2, j in decreasing order.
w, j, -2
Let x be (-33)/(-30) + (1 - (-2)/(-1)). Put -2/9, -4, x, 2 in descending order.
2, x, -2/9, -4
Let p = 340/5319 + 2/197. Put p, 2, -1/4, -4 in ascending order.
-4, -1/4, p, 2
Let t = -0.1 - 0. Let n = -0.25 + -4.75. Put n, t, 0.1 in decreasing order.
0.1, t, n
Let s = -0.47 - -0.4. Let f = -0.37 - s. Sort f, 0, 5.
f, 0, 5
Suppose 0 = 5*y + 2 - 2. Sort 4, -4, y, 1 in descending order.
4, 1, y, -