 a(s) = s**2 - 1. Let b be a(x). Let h be (-1 - -1)*(-1)/b. Sort -2/9, 3, h in decreasing order.
3, h, -2/9
Let m = -14 - -23. Sort 3, -4, m.
-4, 3, m
Suppose 0*x - 14 = -2*x. Let s = x - 19/2. Sort -2/5, s, 0 in decreasing order.
0, -2/5, s
Let t be ((-4)/(-6))/((-2)/1356). Let v = -3170/7 - t. Put -0.01, -5, v in descending order.
-0.01, v, -5
Let x = 16 - 19. Put 3, 1, x in increasing order.
x, 1, 3
Suppose 0 = h - 6*h - 20. Let n = -1 + 4. Suppose -n*f + 12 = -0*f. Sort h, 1, f in decreasing order.
f, 1, h
Let q = -0.044 + 5.444. Let f = -5 + q. Put -2, 1, f in decreasing order.
1, f, -2
Suppose 2*x - 2 = o - 0, 3*x - 8 = -o. Sort 3, x, -3 in descending order.
3, x, -3
Suppose -4 = -5*b - 4*u - 21, 4*u + 7 = 5*b. Let n be 2 - b/(8/(-14)). Sort 3, 1, n in increasing order.
n, 1, 3
Let g(a) be the first derivative of -3/2*a**2 + 2 - 1/3*a**3 - a. Let p be g(-4). Sort -2, p, 5 in increasing order.
p, -2, 5
Let z = -0.08 - 4.92. Let g = 9 - 3. Let l = 5.7 - g. Sort 1, l, z.
z, l, 1
Suppose -16 = -2*q - 3*v, 0 = -q - q + v + 8. Let h be (12/15)/(1/q). Suppose 4 = -t, h*u - t = -0*t + 24. Sort 1, u, -0.1.
-0.1, 1, u
Let h be ((-9)/(-6))/((-2)/(-2)). Let m be 32/(-150)*10/(-4). Let k = m - 11/30. Sort k, -0.4, h.
-0.4, k, h
Suppose -4*g + 16 = -5*d, -g + 16 = 3*g - 4*d. Suppose -7*n - g = -6*n. Sort -2, 0, n in descending order.
0, -2, n
Suppose -3*y - x = -0*x, -4*y + 2 = 2*x. Let r(m) = 3*m + 1. Let n be r(5). Let h be (12/n)/((-15)/(-40)). Sort y, h, -5 in increasing order.
-5, y, h
Let b be (0 - 6)/(6/4). Let q = b - -4. Let n be 9*(-2 + 14/6). Sort q, -1, n.
-1, q, n
Let f = 0.03 + -4.03. Let a = -3.01 + 0.01. Put f, a, 1/3 in ascending order.
f, a, 1/3
Let y be 18/45 - (-13)/5. Let b = -5 + 5. Sort y, -3, b in decreasing order.
y, b, -3
Suppose 2 = 4*g + 18, 0 = 3*p + 4*g + 28. Sort -18, p, -5, -1.
-18, -5, p, -1
Let g(b) = b**2 - 21*b + 15. Let i be g(20). Put 2, -3, 0.2, i in descending order.
2, 0.2, -3, i
Let q = 17543/29 - 605. Let n = q + -21/116. Sort 0.4, n, 5.
n, 0.4, 5
Let k be (-6)/16 - 258/(-48). Let h = 19 - k. Sort 0, h, 1 in descending order.
h, 1, 0
Suppose 4 + 56 = -5*q. Let u be ((-1)/(-6))/((-8)/q). Let t = 3 - 2.5. Sort t, u, -4 in descending order.
t, u, -4
Let s = 99 + -89. Put s, -4, -3, 3 in descending order.
s, 3, -3, -4
Let m = -0.3 - 0.7. Let t be ((-51)/(-9))/(2/6). Let p be (-2)/9 + t/(-45). Sort 1, p, m in decreasing order.
1, p, m
Let p(o) = 6*o - 6. Let a be p(1). Let v be (-1)/(-36) - 2/8. Put v, 0.4, a in increasing order.
v, a, 0.4
Suppose -2*g = 4*f, -5*g - 2*f + 6*f - 14 = 0. Put g, 3, 0 in increasing order.
g, 0, 3
Let w(i) = 5*i**3 - 2*i**2 + 2*i - 1. Let o be w(1). Let a(x) = -2*x**2 + 0 - 3*x + 3 + 1. Let d be a(-3). Sort o, 0, d in descending order.
o, 0, d
Let z = -0.04 - 1.96. Let l = -0.6 - 2.4. Let y = z - l. Put -0.5, 0.1, y in decreasing order.
y, 0.1, -0.5
Suppose 0 = -5*c - 4*f - 2, -2*c - 5 = -6*c - f. Put c, -14, 4 in descending order.
4, c, -14
Let w = -0.1 + 0.3. Sort -4, -5/4, w.
-4, -5/4, w
Let b = 4 - 11/2. Let z = -2.1 - -7.6. Let r = z - 6. Put -2, r, b in decreasing order.
r, b, -2
Let o be 9/6*1*-2. Let a(s) = s**2 - 5*s - 7. Let k be a(6). Sort k, o, 2.
o, k, 2
Let r be (-1 - (0 - 5))/2. Suppose -4*l + j - 7 = 6*j, -r*j + 14 = -4*l. Let n = -13 + 9. Sort 0, l, n in ascending order.
n, l, 0
Let x = 84.5 - 85. Put -5, 3/5, x, 0.3 in increasing order.
-5, x, 0.3, 3/5
Let b be (-12)/(-16) + 6/(-8). Suppose -3*v = w + 7, -3*v + b*w = 3*w + 15. Let r = 11 - 6. Put v, 4, r in descending order.
r, 4, v
Let y = 8.1 - 8. Let h = 2 - 2.4. Sort y, -0.2, h in decreasing order.
y, -0.2, h
Let z(i) = -i**3 - 20*i**2 + i + 20. Let j be z(-20). Sort j, 1, 5.
j, 1, 5
Let c = -4 + 8. Let p = 0.06 + -6.06. Let m = p + 5. Sort 5, c, m in descending order.
5, c, m
Suppose 5*k = 3*k + 4. Sort 22, 3, k, -2.
-2, k, 3, 22
Let d(l) = l**2 + 5*l. Let g be d(-4). Let x = 21 - 22. Sort 0, g, x.
g, x, 0
Suppose 0 = -2*k + 5*k - 5*s - 19, 20 = 4*k - 4*s. Let r = k + 1. Sort r, -2/9, 2/13 in decreasing order.
r, 2/13, -2/9
Let d(a) = a - 2*a**2 + 2*a**2 + 2*a**2 + 1. Let s be d(-1). Let h be (-9)/(-8)*s/(-3). Put h, 0.5, -2 in descending order.
0.5, h, -2
Let f = -2.96 + -0.04. Let l = -3.4 - f. Put 3/4, 3, l in increasing order.
l, 3/4, 3
Let j = -0.99 + 0.89. Put 0.1, -7/4, 1, j in increasing order.
-7/4, j, 0.1, 1
Let p be (-1)/(-2 + (-37)/(-19)). Let m = -16 + p. Sort m, 1, 2 in ascending order.
1, 2, m
Let w = -11 - -14. Let u(k) = -k**2 - 4*k - 1. Let y be u(-3). Suppose y*v + 1 = 2*l - 1, 8 = -4*l. Put w, 5, v in increasing order.
v, w, 5
Let m = -50 - -52. Suppose 4*b - z + 6 + 7 = 0, 8 = b - 4*z. Put m, b, -2/17 in descending order.
m, -2/17, b
Let b = -115.3 - -109. Let i = b + 6. Put -2, i, 5 in increasing order.
-2, i, 5
Let n = -15.7 - -16. Put -4/5, -0.1, n in decreasing order.
n, -0.1, -4/5
Let h = -2 - -3. Let b be (-20)/50 + (-3)/5. Sort b, -4, h.
-4, b, h
Let k(o) = 6*o - 41. Let i be k(6). Sort i, 4, -9 in increasing order.
-9, i, 4
Let c be 14/35 + 9/15. Let r be 1/(2 + 7/(-4)). Put c, -5, r in increasing order.
-5, c, r
Let f(b) be the first derivative of b**2/2 - 9*b + 1. Let h be f(7). Let n = -5 - -1. Sort n, -1, h in descending order.
-1, h, n
Let j be 12/7 + 2/7. Let d(n) = -8 - 4*n - 2*n - n**2 + 2. Let s be d(-5). Put j, -4, s in descending order.
j, s, -4
Let d = 9 - 5. Let s(k) = k**2 - 8*k. Let g be s(8). Suppose -4*o = -o + 9. Put d, o, g in decreasing order.
d, g, o
Let c = -27 - -32. Let q be ((-1 - 0)/1)/1. Sort 2, q, c in descending order.
c, 2, q
Let j(k) = -2*k - 1. Let i be j(2). Let o = 6.3 + -6. Sort i, o, -0.1 in ascending order.
i, -0.1, o
Let t(y) = y**2 - 8*y - 1. Let p be t(9). Let d be ((-10)/p)/((-2)/8). Suppose -3*c = -5*c - q - 8, d*c = -2*q - 21. Put 4, 1, c in increasing order.
c, 1, 4
Let s = 0.43 + -0.73. Put -3, -0.2, 2, s in decreasing order.
2, -0.2, s, -3
Let u = 0.08 - 4.08. Sort u, -4/5, -0.2 in decreasing order.
-0.2, -4/5, u
Let h be (7 - 4) + -9 + -1. Let y = h - -2. Put -2, y, 1 in descending order.
1, -2, y
Let k = -0.04 + 0.04. Sort k, 0.1, 3 in ascending order.
k, 0.1, 3
Suppose -15*y + 4 = -13*y. Suppose -21 = 4*w - 5*x, -2*w - 5*x = -2*x - 17. Suppose 2*k = w + 5. Sort y, k, 0 in ascending order.
0, y, k
Let s be 3 - (-4)/(-720)*674. Let h = 1/18 - s. Put h, 1/8, 2 in decreasing order.
2, h, 1/8
Let o(f) = -5*f**2 - 20*f + 3. Let j be o(-4). Let p(b) = -b**2 + 4*b - 4. Let t be p(3). Let d = 0 - t. Sort d, -3, j.
-3, d, j
Let f(k) = -k. Let b(l) = l**2 + 6*l + 1. Let j be b(-6). Let i be f(j). Sort -5, i, 5 in descending order.
5, i, -5
Suppose 4*f - 3 = -15. Let q = 0 - 4. Let j = q + 2. Put j, f, 0 in increasing order.
f, j, 0
Let j = -5.3 + 21.8. Let t = 17 - j. Sort -0.3, t, -2 in decreasing order.
t, -0.3, -2
Suppose -38 = 5*l - 123. Suppose 5 = -5*s - 2*f + l, 5*f = -4*s - 4. Suppose -3*m + 2 = -m. Sort -3, m, s in decreasing order.
s, m, -3
Suppose -g = -4*k - 27, k + 2*g + 1 = -17. Let i(j) be the second derivative of -j**3/6 - 2*j**2 + 2*j. Let x be i(k). Put 1, x, 5 in decreasing order.
5, x, 1
Let q = 0 + -1.5. Let l = 1 + q. Let p = 4.3 - 4. Put p, l, 5/4 in increasing order.
l, p, 5/4
Let a = 0.01 + -2.93. Let s = a + -0.08. Let h be 15/10*(-2)/(-6). Sort 2/3, h, s in increasing order.
s, h, 2/3
Let n = -0.16 + -1.74. Let s = n - -3.9. Sort s, 2/11, 5 in descending order.
5, s, 2/11
Suppose -6*i + 8 = -10*i. Put 3, 1, i in decreasing order.
3, 1, i
Let s(j) = j**3 - 8*j**2 - 8*j - 5. Let t be s(9). Let a be 0/(-1 + 1 + -1). Sort t, a, -2 in decreasing order.
t, a, -2
Suppose 2*v - 5*f = -34, -v = 3*v + 2*f + 20. Suppose -13*h - 15 = 24. Put v, h, 0 in ascending order.
v, h, 0
Let x = -3.5 - -3. Let i = 1.1 - 0.8. Put x, -3, i in descending order.
i, x, -3
Let h(a) = a**3 - 9*a**2 - 10*a + 6. Suppose -5*x - 5*z = -3*x + 5, 5*x - 2*z - 60 = 0. Let c be h(x). Suppose -c*r + r + 20 = 0. Sort 2, r, 0.4.
0.4, 2, r
Let m be 5/45 - 141/54. Sort -1, m, 0.5, -4 in increasing order.
-4, m, -1, 0.5
Let x be (-12)/42 + 74/14. Sort x, -2, -1 in descending order.
x, -1, -2
Let i(z) = 9*z**3 - 2*z**2 + 4*z - 3. Let y(r) = -r**3 - r + 1. Let h(t) = i(t) + 4*y(t). Let f be h(-1). Let b = f - -4. Sort b, -5, -4 in ascending order.
-5, -4, b
Let 