 6 = -5*s, -l = 4*s - 21. Suppose -8 = -s*c, -2*c - 7 - 4 = -3*i. Sort 2, i, 1 in descending order.
i, 2, 1
Suppose 2*m - 36 = -m. Let y be ((-18)/15)/(m/(-40)). Suppose -h + 2*h = 2*g + 8, -3*g - 7 = -4*h. Put 0, g, y in increasing order.
g, 0, y
Let l(x) = -x**2 + 4*x - 5. Let m be l(4). Suppose 9*r = 12*r + 9. Sort 2, m, r in ascending order.
m, r, 2
Suppose 7 - 31 = -4*t. Let y(f) = f - 2. Let n be y(t). Sort n, 2, 5 in increasing order.
2, n, 5
Let t = -9 - -9. Let h be 1*-2 + (0 - -1). Let c = 14 - 13.9. Sort c, t, h in decreasing order.
c, t, h
Let l = -0.13 + 0.11. Put 3, -5, l in increasing order.
-5, l, 3
Let w be (-10)/(-3) + (-2)/(-3). Suppose 5*p + 4*m = -2, -p + 4*m + 6 = -w*p. Suppose -s - p*q = -7*q + 16, -2*s - 4*q + 24 = 0. Sort 0, -1, s.
-1, 0, s
Let w = -0.38 - -0.78. Sort 1, w, 3 in descending order.
3, 1, w
Let u(t) = t**2 - 8*t + 9. Let w be u(6). Suppose 0 = d + 3, 10 = j + d - 4*d. Suppose 0 = 2*s - 5 - 1. Put w, j, s in increasing order.
w, j, s
Suppose -5*q + 2 = -33. Let f = q - 5. Sort -4, -3, f in decreasing order.
f, -3, -4
Let r = -11658229/30 + 388558. Let k = 99/2 + r. Put k, -4, -2 in descending order.
k, -2, -4
Let m(z) = 2*z**3 - z**2 + z - 1. Let q be m(1). Suppose -d + 2*i + 11 = 0, 3*i + 12 = 2*d - 7. Sort q, 0, d in decreasing order.
d, q, 0
Let d = 11/9 - 8/9. Sort -1, 0.3, d, 7 in descending order.
7, d, 0.3, -1
Suppose 0 = 2*m + 2. Put 4, -16, m, -5 in ascending order.
-16, -5, m, 4
Let k = -10 - -11. Let g be k*2*(7 - 9). Let t(w) = -w + 7. Let d be t(7). Put g, d, 3 in descending order.
3, d, g
Suppose 5*m = m. Let l be (-4)/((-1 - -4)/3). Put m, 2, l in decreasing order.
2, m, l
Let q = -20 + 20.4. Let v = q - -0.1. Let r be (16/36)/((-20)/6). Sort -3, r, v in ascending order.
-3, r, v
Let j = -0.16 + 0.16. Put 1, j, -1/3 in ascending order.
-1/3, j, 1
Suppose 2*x = -x + 24. Sort -3, -2, x in decreasing order.
x, -2, -3
Let c = -67 - -66.9. Put 5, c, -5 in descending order.
5, c, -5
Let h = -139 + 138. Sort -3, -5, h, 4 in decreasing order.
4, h, -3, -5
Let c = 0.04 - -12.96. Let n = -12.8 + c. Sort 0, 2/19, n in increasing order.
0, 2/19, n
Suppose -y - 1 = l + 1, -4*y + 2*l = -16. Let t = 0 + y. Suppose d - 3 = -t*d. Sort d, -2, -3 in decreasing order.
d, -2, -3
Let k(g) = -g - 2. Let u be k(-8). Let w be 6/(-9) - (-13)/u. Suppose 2*b = 4*b. Put w, b, -2 in descending order.
w, b, -2
Let m = -37 - -41. Put -2, m, 0 in decreasing order.
m, 0, -2
Let m(w) = 2*w - 3*w**3 + w**3 + w**3 - 7*w + 6*w**2 + 1. Let f be m(5). Put -2, f, -0.1 in increasing order.
-2, -0.1, f
Let o = 1 + -0.5. Let a = -2847/11 - -259. Sort -0.1, o, a in descending order.
o, a, -0.1
Let p(q) = q**2 - 11*q. Let s be p(11). Sort -5, s, -3 in decreasing order.
s, -3, -5
Let b = -7 - -10. Suppose -5 = b*i - 4*i. Put i, -2, 0 in decreasing order.
i, 0, -2
Let s(x) be the first derivative of -x**4/12 - x**3/2 - 3*x**2/2 - 4. Let g(w) be the second derivative of s(w). Let r be g(-3). Sort 0, r, -3.
-3, 0, r
Let m = 11 + -11.4. Sort 4, m, 5, -0.3.
m, -0.3, 4, 5
Let t(w) = 0*w - 3*w + 2*w - 2. Let b be t(2). Let i = -17/4 - b. Sort 0.3, i, -1/8 in decreasing order.
0.3, -1/8, i
Let s be (-2 + (-3)/(-1))*1. Sort -3, 0, s in descending order.
s, 0, -3
Let w(t) = -t**3 - 11*t**2 + t + 8. Let g be w(-11). Suppose v + 0*v = 1. Put 5, g, v in increasing order.
g, v, 5
Let h be (-2)/(-2) - 40/(-4). Put h, -3, 0 in increasing order.
-3, 0, h
Let o = 0 - 0.3. Let d = o - -0.3. Let k = d - 0.2. Sort 1, -0.5, k in increasing order.
-0.5, k, 1
Let w = 4 + 8. Let p = 14 - w. Sort p, -2/7, 2/7 in descending order.
p, 2/7, -2/7
Let p(q) = q**3 - 5*q**2 + 5*q - 2. Let t be p(4). Suppose 0 = -g - 5*f - 15, 0 = -2*g + 2*f - 3 - 3. Put t, 0, g in increasing order.
g, 0, t
Let z = -146 - -147. Put -1, 0.4, z, 5 in increasing order.
-1, 0.4, z, 5
Let j(s) = 5*s + 30. Let z be j(-7). Put -1, z, -2, 3 in decreasing order.
3, -1, -2, z
Let r(l) = l. Let k be 22/10 + (-5)/25. Let m be r(k). Sort 0, m, 1 in decreasing order.
m, 1, 0
Let n(s) = -s + 6. Let c be n(8). Sort 2, 0, c in decreasing order.
2, 0, c
Suppose 5*l = 3*q - 177, 0 = -q + 2*l - 4*l + 59. Let x = q - 293/5. Suppose 4*i = c - 0 + 6, -4*i = -4*c. Put x, i, -0.4 in decreasing order.
i, x, -0.4
Let y = -55 - -56. Sort y, 0.5, 3 in descending order.
3, y, 0.5
Let x(v) = -2*v**2 + 1. Let t be x(1). Sort 5, 2/9, t.
t, 2/9, 5
Let j be (10/(-6))/(6/(-9)). Let d = 1 + 2. Sort d, 2/5, j in descending order.
d, j, 2/5
Let o = 0.159 - 8.219. Let q = o - -8. Let c = 0.36 + q. Sort c, 2, 3 in decreasing order.
3, 2, c
Suppose -5*g = -10, -g - 2*g = -3*y. Let a(b) = b**3 + 11*b**2 + 10*b + 4. Let c be a(-10). Put y, 5, c in decreasing order.
5, c, y
Let q = 17 - 20. Let f(w) = w - 3*w - 4 + 0. Let n be f(q). Sort 4, n, -2 in descending order.
4, n, -2
Let y(k) be the second derivative of -k**6/360 - 3*k**5/40 - k**4/2 + k**3/6 + 3*k. Let m(p) be the second derivative of y(p). Let u be m(-8). Sort u, -2, -1.
u, -2, -1
Suppose 0 = 5*d - 11 - 4. Suppose 0 = -5*a - 0*a - 15. Sort a, d, 2 in descending order.
d, 2, a
Let v = -0.08 - 0.32. Put v, 1/3, 0 in ascending order.
v, 0, 1/3
Suppose -2*z + 105 = 17. Suppose -11 = 5*y + z. Let s = y + 16. Sort 3, 2, s in descending order.
s, 3, 2
Let w = -32 + 31.8. Put w, -0.5, -0.1 in decreasing order.
-0.1, w, -0.5
Let k be (-6)/(-9) - (-22)/(-6). Let w(y) = -y**3 - y**2 + 2*y. Let c be w(-2). Let m = c - 2. Sort k, -1, m in decreasing order.
-1, m, k
Let h = 8 + -5. Suppose -8*y + 10*y = 0. Suppose -d + y = -2. Sort h, -2, d in ascending order.
-2, d, h
Let v = 50.5 - 51. Let x = -7 + 5. Sort v, 4, x in decreasing order.
4, v, x
Let t(h) = -h**2 + 6*h - 7. Let w be t(3). Suppose -3 = 2*s - 11. Sort 0, s, w in decreasing order.
s, w, 0
Let g = -0.1 + -0.2. Suppose 0 = -4*a - 5*b + 15, a + 3*b - 12 = -b. Sort g, a, -3/4.
-3/4, g, a
Let k = 629.4 - 624.639. Let l = 0.039 + k. Let s = 0.8 - l. Sort 2, 0.4, s in descending order.
2, 0.4, s
Let r = -1 - -3. Suppose -4*k - f + 9 = 0, -7*f + r*f + 11 = 3*k. Let l be ((-2)/28)/((-190)/(-40) + -4). Sort l, 5, k in decreasing order.
5, k, l
Let z = -62 + 65.3. Let k = -59 + 56. Let v = k + z. Put 2/13, -2/3, v in descending order.
v, 2/13, -2/3
Let i = 0.5 + -1. Let q be 1 - (-2)/(46/(-21)). Put i, q, 3 in descending order.
3, q, i
Let s = 19 + -56/3. Let l = 0.03 + 0.01. Let k = l - 0.24. Sort k, 1/2, s.
k, s, 1/2
Let s = -5.9 + 0.9. Let z = 0.1 + -3.1. Let h = -4 - z. Put s, h, -4 in descending order.
h, -4, s
Let u(w) = 4*w + 21. Let q be u(-6). Put -6, -1, q in increasing order.
-6, q, -1
Let i = -2 + 1.9. Sort -4, 21/4, i, -2 in descending order.
21/4, i, -2, -4
Let k = 2 - 3. Let t be 2 + k - (-2 + 2). Let p = -5 + 2. Put t, p, 0 in descending order.
t, 0, p
Let p be 0 + 1 - (-10)/(-4). Let s = 14 - 19.02. Let d = s - -0.02. Put -0.5, d, p in decreasing order.
-0.5, p, d
Suppose 8 = 2*v, 0*d + 4*v = 4*d + 24. Let c be d - (-1 + 2)*-3. Sort c, 4, 6.
c, 4, 6
Let y = -6 + 6. Suppose -4*t - t + 25 = -l, 0 = -2*t + l + 10. Suppose -12 = -t*n - 3*h, n + 4 = -4*h + 3. Put n, y, -2 in descending order.
n, y, -2
Suppose -12 = -3*k + 3. Suppose -4*u - 17 = 5*q - 5*u, 2 = u. Let p be -3 + 7 - 3 - q. Sort k, p, -2 in descending order.
k, p, -2
Let v = -52 + 12. Sort v, -1, -4 in ascending order.
v, -4, -1
Let j = -101 + 109. Let h(l) = -2*l - 3. Let o be h(-3). Put j, -5, o in decreasing order.
j, o, -5
Let y(q) = -3*q**3 - q**2 + 2*q - 1. Let h be y(1). Suppose -j = -0 - 3. Put -0.4, j, h in decreasing order.
j, -0.4, h
Let b be 2*((-3)/6 + 3). Suppose -b*y - 4 = 6. Put 3, y, 0 in decreasing order.
3, 0, y
Suppose 0 = 4*g - 2*a + 2, -2*a + 12 = 5*g + 1. Let w be (3/2 - 2)*10. Put w, g, -3 in descending order.
g, -3, w
Let i = 27.6 + -3.6. Let k = 8 - i. Let c = k - -11. Sort 6, c, 0 in descending order.
6, 0, c
Let k = -19 + 12. Let p = 3 + k. Sort -2, 4, p.
p, -2, 4
Suppose 0 = -4*p - 29 - 3. Put p, 3, -2 in increasing order.
p, -2, 3
Let t(w) = -w**3 + 4*w**2 + 6*w. Let k be t(5). Let j = 0.54 + -0.04. Sort k, -2, j in descending order.
k, j, -2
Suppose 2*w - 2 = 26. Let a be -5*(6 + -2)/(-4). Put a, w, -5 in decreasing order.
w, a, -5
Suppose r + u - 4 = 0, 0 = 3*r + 2*r + u - 24. Suppose -1 = r*f - 11. Suppose f*k - 1 = 5. Pu