. Let c = -0.1 - w. Sort c, -3, -2 in decreasing order.
c, -2, -3
Suppose 5*y = -2*m + 15, -4 - 11 = 2*m - 5*y. Sort 2, m, -1/4 in decreasing order.
2, m, -1/4
Let t(v) = -31*v**3 + 2*v + 1. Let m be t(-1). Suppose -6*y + m = -4*y. Let q be y/(-4) + 3/(-12). Sort 1, q, -1/6 in decreasing order.
1, -1/6, q
Let n(d) = -8*d**3 + d**2 + d + 1. Let w be n(-1). Suppose -4*u + 3 = l, 0 = -3*l + 3*u - 0 + w. Let m be l/7 - (-2)/(-2). Sort 0, 3, m in decreasing order.
3, 0, m
Let p be ((-24)/(-36))/(2/3). Sort p, 2, -3 in descending order.
2, p, -3
Let u = -124 - -222. Let f = u - 155. Let k be f/24 + (1 - -1). Put -4, 2, k in descending order.
2, k, -4
Let h = -49 - -46. Suppose 0 = 2*z - 4*z. Suppose -2*k + 2 = 4*x - x, 0 = -k + x - 9. Sort h, z, k.
k, h, z
Let a be 6/(-9)*(-5 + 2). Suppose -b = -a*b + 2. Put b, -4, -2 in descending order.
b, -2, -4
Suppose 3*u + 4 = b, 3*u + 19 = -b + 5. Let m = 0 + 3. Sort m, 2, u.
u, 2, m
Let b be (-3)/(-3) - 1*2. Let r = -16 - -16. Put b, 1, r in decreasing order.
1, r, b
Let x be (-1 + 2/40 + 1)*2. Sort 2/15, 3, x, -19.
-19, x, 2/15, 3
Let p = -4 - -8. Put 0, p, -2 in decreasing order.
p, 0, -2
Let r = -2.84 - 0.16. Sort 0.06, r, -0.3, 0.1 in decreasing order.
0.1, 0.06, -0.3, r
Suppose -69 = -u - 64. Sort u, -2, 11.
-2, u, 11
Let z be (-2 + 0)/2 + 3. Sort 5, 18, z in increasing order.
z, 5, 18
Let j be 24/30*(3 - -2). Let v(c) = c**2 + c - 1. Let t be v(2). Suppose 0 = z + 2*r + 15, 5*r + 23 + 17 = -3*z. Sort j, t, z.
z, j, t
Suppose 3*a = -2*n + n + 11, 0 = 3*n + a - 1. Sort -3, n, -4, 1 in decreasing order.
1, n, -3, -4
Suppose 2*o = 0, 4*b + o + 12 = 5*o. Suppose 2 + 22 = -6*k. Sort k, -1, b in descending order.
-1, b, k
Let t = 4.862 + -9.216. Let l = t + -0.046. Let g = l - -0.4. Put 0.3, 0.5, g in increasing order.
g, 0.3, 0.5
Suppose 0 = 3*o + 2*o - 60. Suppose -o = n - 4*n. Let b be 0/((-2 - 4)/3). Put b, n, -4 in increasing order.
-4, b, n
Let w = -2 - 1. Let s(a) = -a**3 + 8*a**2 + 18*a + 22. Let r be s(10). Sort r, w, 4 in increasing order.
w, r, 4
Suppose -4*n - 4*s = 8, -5*n - 5*s - 13 = -n. Sort -4, -2, 0, n.
-4, -2, 0, n
Let l(n) = -n**3 + 3*n**2 + 4*n + 4. Let x be l(4). Sort -3, 1, x in descending order.
x, 1, -3
Let f = -17 - -32. Let m = -14 + f. Sort 2, m, -1/3 in decreasing order.
2, m, -1/3
Suppose -4*c = -4*j + 12 + 20, -2*c = 2*j. Sort 0, c, -2 in descending order.
0, -2, c
Let k = 1.3 + 1.7. Let r = k - 1. Sort 3/2, -0.2, r.
-0.2, 3/2, r
Suppose 2*h = 4*d + 6, -4 = 5*d + 6. Put 0, h, -3 in ascending order.
-3, h, 0
Suppose -5*g - 6 = -2*g. Put -5, g, -3, 0 in increasing order.
-5, -3, g, 0
Let n = -4 - -3.5. Let o = -44 + 177/4. Let y = 1 - 1.3. Put y, o, n in decreasing order.
o, y, n
Let t(l) be the third derivative of l**4/24 - l**3 - 5*l**2. Let d be t(10). Sort d, -2, 1.
-2, 1, d
Let f = -7 - -3. Let b(p) = -4*p**3 - 2*p**2 + 1. Let a be b(-1). Suppose 0 = -0*j - a*j - 9. Put 3, f, j in increasing order.
f, j, 3
Let y be 1/(-2) - ((-8)/(-6))/(-4). Sort 4, 0.4, y in decreasing order.
4, 0.4, y
Suppose 4*i - 10 = 2. Suppose -4*n + 5 = 5*t, -5*n + 4 = 3*t + t. Sort -4, t, i in ascending order.
-4, t, i
Let o = -0.06 + 4.06. Let c = o + -3. Let r be 1 + (-1)/(14/6). Sort 1/6, c, r.
1/6, r, c
Suppose 13 = -2*s + 3*c, -s + 4*c = 3*c + 5. Let p = 0.9 + -5.9. Sort s, -0.4, p in ascending order.
p, s, -0.4
Let f = 0.4 - 0.6. Let y be (-1 - -2) + 6/(-12). Put -2/23, y, f in decreasing order.
y, -2/23, f
Let o = 1 + 5. Sort 2, o, -2/15, -1 in decreasing order.
o, 2, -2/15, -1
Suppose 0*n = 2*n - 2. Let u(h) = 2*h - 1. Let q be u(n). Let k be (3 - q) + (-36)/21. Put 2/3, k, -3/2 in descending order.
2/3, k, -3/2
Let n be -1*1*(-2 + 0). Let q be (2 + -410)*2/(-9). Let l = q - 92. Put -2/11, l, n in decreasing order.
n, -2/11, l
Let j(w) = 5*w - 2. Let f be j(2). Let v = 7 - f. Sort 1, -2, v in decreasing order.
1, v, -2
Let p(b) = -b + 16. Let c be p(12). Put 5, c, -1, -3 in decreasing order.
5, c, -1, -3
Let z = -11 - -19. Let f = z - 13. Sort 1, f, -0.1 in decreasing order.
1, -0.1, f
Let t = 1.4 - 1.22. Let r = t - 0.18. Let u be ((-4)/25)/((-1)/5). Put r, u, -0.4 in decreasing order.
u, r, -0.4
Let g = 9.85 + -10. Let k = g + -0.35. Put -5, k, -0.4 in descending order.
-0.4, k, -5
Let v(g) = g**3 + 3*g**2 - 2. Let l be v(-3). Suppose 5 + 0 = -t. Let x(k) = -k**2 + 50. Let u be x(7). Sort l, t, u in ascending order.
t, l, u
Let t = -788/7 + 113. Sort 0.1, 1, t, -1/3 in increasing order.
-1/3, 0.1, t, 1
Suppose 16 = 3*t - 3*m - 8, 20 = -5*m. Put 1, t, 2 in decreasing order.
t, 2, 1
Let w = -437/4 + 110. Put w, -3, -5 in decreasing order.
w, -3, -5
Let m = 1/3 + 4/15. Let t = -0.04 + 3.04. Let s = t - 3.1. Put s, m, 0 in decreasing order.
m, 0, s
Suppose 0*s - 3*s = -21. Suppose 3*g - 5 = s. Put -2, g, 1 in decreasing order.
g, 1, -2
Let l = -5 + 5. Let r = -2 + -2. Sort r, 5, l in decreasing order.
5, l, r
Suppose 0*m + 5*u = m - 14, m + 18 = -3*u. Let f be (-2)/(-2) + 7 + m. Sort 1, -4, f in increasing order.
-4, 1, f
Let s = -3/40 + 119/520. Sort -0.3, s, 0.09.
-0.3, 0.09, s
Let j(n) = -8*n - 1. Let c be j(-2). Suppose z + 4*q + 10 = 5*q, -2*z = 5*q - c. Let d be 15/(-8)*(-2)/(-5). Put 3, d, z in ascending order.
z, d, 3
Let n = 9 - 5. Let p = -1.9 + -12.1. Let z = p - -13.6. Sort z, 0.2, n.
z, 0.2, n
Let t = 3.03 - 0.03. Sort t, 1, -0.8, -2.
-2, -0.8, 1, t
Let p be 0/(-1 + 0 + -1). Sort p, 8, -5 in ascending order.
-5, p, 8
Suppose 0 = -3*a - 3*s + 12, -2*a + 8 = -5*s + 3*s. Suppose -2*q = -q + a. Sort q, -5, -2 in increasing order.
-5, q, -2
Let x = 0 + 4. Let m = x - 2. Suppose m*p + 3*p = 0. Put -5, p, 1/3 in increasing order.
-5, p, 1/3
Let a = 6 + -4. Let u = -1 + a. Suppose 9*m + 9 = 6*m. Sort m, u, -1 in decreasing order.
u, -1, m
Let m be (-9)/6 + (-2)/(-4). Suppose 0*a - 7*a = 0. Suppose 2*h + 0*h - 10 = 0. Sort h, m, a in descending order.
h, a, m
Let p be 0 + -2 + 0 + 2. Let i = 0.27 - -0.03. Suppose -14*j + 18*j = 8. Put i, p, j in descending order.
j, i, p
Let u = 32 - 35. Put u, -1/10, 4 in descending order.
4, -1/10, u
Suppose -3*b - 7 = 4*o - 34, 0 = -4*b + 20. Suppose -2*y - 2 = -o*y. Put y, -2, 0 in decreasing order.
y, 0, -2
Let h be (1/(-5))/(6/(-10)). Sort 2, -1, h, -3/7.
-1, -3/7, h, 2
Let h = 60 - 64. Put h, -1, 0, -5 in increasing order.
-5, h, -1, 0
Let d(q) be the third derivative of q**4/24 + 11*q**3/6 - 3*q**2. Let y be d(-9). Suppose -7*i - 20 = -y*i. Put i, 5, -2 in ascending order.
i, -2, 5
Let v(s) = -s**3 - 11*s**2 + 14*s + 21. Let u be v(-12). Sort -5, 1, u.
-5, u, 1
Let b = -3/7 - -27/14. Sort 4, -1/3, b, -2/9 in decreasing order.
4, b, -2/9, -1/3
Let h = -4 - -4. Suppose 0 = -4*y - h*y - 16. Put y, -2, 5 in decreasing order.
5, -2, y
Let b = 0.16 - -9.84. Let f = 6 - b. Sort -1, f, 0 in increasing order.
f, -1, 0
Suppose r - 7 = -3. Let u(d) = d + 4 - r - 4. Let t be u(6). Sort 5, t, -2 in descending order.
5, t, -2
Let j(d) = -d**2 - 4*d + 7. Let i be j(-5). Let b = 5 - 10. Sort i, -3, b in ascending order.
b, -3, i
Suppose 11 = 3*n - 4. Suppose n*h = -0*h - 5. Let y be (h/2)/(6/9). Put 1, y, 0.3 in increasing order.
y, 0.3, 1
Let z(n) = -6*n + 2. Let p be z(1). Put p, -1, -2 in descending order.
-1, -2, p
Let a be (-6)/36*2/4*6. Sort 0.1, -0.1, -2/3, a in increasing order.
-2/3, a, -0.1, 0.1
Suppose -s + 9 = -4*b + 2*b, 0 = -5*b - 3*s - 6. Let x = -4 - b. Put -3, x, -4 in increasing order.
-4, -3, x
Let n(u) = u**3 - u**2 + u + 2. Let x be n(0). Suppose 0 = 30*p - 25*p + 25. Let s = 6 + -3. Sort s, p, x in ascending order.
p, x, s
Let c = -314 - -2509/8. Let p = c - 1/8. Put -3, p, -1 in ascending order.
-3, -1, p
Let z be (-8 + (-42)/(-12))*(-4)/(-14). Let o = -93 - -557/6. Sort -5/2, o, z in descending order.
o, z, -5/2
Let n(j) = 2*j**3 - j. Let f be n(2). Suppose 3*h + 0*h + f = -w, 12 = -3*h. Let a be (w - 3)*(-1 - 0). Put 2, a, 1 in descending order.
a, 2, 1
Let q be 26/(-56) - 4/14. Let s be ((9 + 1)/10)/((-2)/4). Sort q, s, -1 in descending order.
q, -1, s
Suppose 5*k - 11 = -6. Sort -3, 2/19, k, 3 in ascending order.
-3, 2/19, k, 3
Let k(o) = -1 - o - 4 - 4. Let g be k(-6). Sort 2, 3, g in decreasing order.
3, 2, g
Let r = -5 - -3. Let g = -6 - -7. Sort -1, r, g in decreasing order.
g, -1, r
Let r = -5.6 + 6. Put r, 2, 1 in decreasing ord