se u = 2*w - 1. Sort -4, 5, w.
-4, w, 5
Suppose -5*k - 19 = 1. Let o = 4 + 2. Suppose -2*c - 2 = -o. Sort k, c, 3 in ascending order.
k, c, 3
Suppose u = -4 + 3. Suppose -4*h - 16 - 19 = -5*x, 5*h = 2*x - 14. Let k(v) = -v**2 + 5*v + 10. Let r be k(x). Sort r, 3, u in decreasing order.
3, u, r
Let f = -11 + 7. Let p = -4.5 - f. Let q = 2 + 0. Put q, 5, p in decreasing order.
5, q, p
Let i(a) = 3*a - 18. Let d be i(12). Suppose -4*z = 4*w - 7*z + 23, -2*z - d = 4*w. Sort w, 2, -3 in increasing order.
w, -3, 2
Let h = -18.3 + 18. Put h, -0.4, -1, -1/4 in ascending order.
-1, -0.4, h, -1/4
Suppose -4*f + 23 - 7 = 0. Let a be 0 + (-4)/(-2) - -3. Suppose 3 = -a*l - 7. Sort l, -3, f in descending order.
f, l, -3
Suppose -2*u - 4 = -12. Let i be (3 - 1) + -4 + 5. Suppose i*o = -0*o. Put -1, o, u in ascending order.
-1, o, u
Let i = -15 - -18. Sort 1, -3, i in increasing order.
-3, 1, i
Let o be (34/6)/((-11)/33). Let r = 18 + o. Let k(w) = w + 9. Let n be k(-5). Put -5, r, n in increasing order.
-5, r, n
Let z = 5 - 2. Suppose -12 = -9*y + 24. Put y, -1, z in ascending order.
-1, z, y
Suppose 2*m + 4*b + 11 = 5*b, 0 = -2*m - 2*b - 8. Let y be (8/(-10))/(1/m). Suppose -2*u = 2 + y. Put 4, -0.1, u in ascending order.
u, -0.1, 4
Let x = -2/29 - -84/377. Let l = 0.3 + -0.4. Let s = 0.3 + l. Sort s, x, 0.1 in ascending order.
0.1, x, s
Let m = 2.2 - 5.9. Let q = -1.3 + m. Put 2, -4, q in decreasing order.
2, -4, q
Let k = -0.131 + 4.131. Let m be 4/(-10) + -135 + -2. Let g = -137 - m. Put k, 2/19, g in descending order.
k, g, 2/19
Let q = 11 - 10. Put 5, q, -0.6 in ascending order.
-0.6, q, 5
Let u = -3131/13 - -241. Let q = 9 - 2. Let s = q - 3. Sort u, s, -2 in descending order.
s, u, -2
Suppose -3*b + 10 = -v - 3, -3*b - 2*v + 19 = 0. Suppose 2*i - 5 = -3*z, 3*z - 2*i + 7 = -i. Let f be -1 - (1 + z) - -2. Put -5, b, f in descending order.
b, f, -5
Let o(j) = 8*j + 1. Let q be o(-1). Suppose 0 = -3*k - x - 2, -k - 24 = -4*x - 6. Let m = k - q. Sort -5, 2, m in increasing order.
-5, 2, m
Let q(y) be the second derivative of -y**5/20 - y**4/12 - y**3/6 - y**2 - 3*y. Let m be q(-2). Let c(j) = -j - 2. Let z be c(-5). Sort m, 5, z.
z, m, 5
Let g = -65 + 74.3. Let t = 0.04 + -9.04. Let w = g + t. Put 0, -3, w in descending order.
w, 0, -3
Let p = 20 + -17. Sort -12, 5, p in decreasing order.
5, p, -12
Suppose 2*x = -3*x + 5. Let o be -1 + (-6 - -2)*x. Sort -4, o, 3 in decreasing order.
3, -4, o
Let k be (-1 + (-3)/(-5))/(49/(-245)). Put -5, k, 0, -2 in increasing order.
-5, -2, 0, k
Let a be 108/(-20) - 4/(-10). Put 1/5, a, 0 in decreasing order.
1/5, 0, a
Let b = -15 + 15.05. Sort -5, 0.5, b in increasing order.
-5, b, 0.5
Let i(p) = p - 3. Let r be i(-2). Suppose 0 = u - 1, -3*x + 7 = -0*x + u. Sort r, x, 5.
r, x, 5
Let g be (-21)/7 + 1 + -1. Sort 40, 1, -4, g in decreasing order.
40, 1, g, -4
Suppose -5 = 3*i - 23. Put 5, -2, i in ascending order.
-2, 5, i
Let k(w) = -w**3 - 6*w**2 - w - 5. Let t be k(-6). Let h = -1.977 - 0.073. Let f = 0.05 + h. Sort -0.3, f, t in decreasing order.
t, -0.3, f
Let r = 919 - 5497/6. Let k = r - 7/3. Let p = -6 - -4. Put k, -4, p in descending order.
k, p, -4
Let n(v) = v - 4. Let h be n(7). Suppose 10 = 3*y - z - 4, -3*z = 6. Suppose 0*g = 2*p + g - y, -9 = -3*p - 3*g. Put 5, p, h in decreasing order.
5, h, p
Let o = -4.7 - -4.7. Put -0.1, -1/4, 2/19, o in decreasing order.
2/19, o, -0.1, -1/4
Let r(x) = x**3 + 11*x**2 + 9*x - 14. Let i be r(-10). Let h(d) = -d**3 + 10*d**2 + 11*d - 1. Let p be h(11). Sort p, i, -2.
i, -2, p
Let i = 0.15 - -3.85. Let a = i + -4.2. Sort -0.4, 1/2, a.
-0.4, a, 1/2
Let g = -5 - -12. Suppose 2 = -m, -4*r = -g*r + m + 11. Sort -1, r, 4 in decreasing order.
4, r, -1
Suppose -j + 1 = -54. Let c be (-11)/(-5) + (-11)/j. Sort -4/3, c, -0.2 in descending order.
c, -0.2, -4/3
Let n = 56 + -57. Sort 2, n, -7 in decreasing order.
2, n, -7
Let z(k) = k**2 - 2*k + 2. Let l be z(5). Let f = -7 + l. Suppose 5*b - f = 2*a, 5*a + 25 = b - 2*b. Sort -2, 0, a in decreasing order.
0, -2, a
Suppose 63 + 113 = 4*b. Let p = 1 + -5. Let j be b/(-120) + (-2)/p. Put j, -5, -0.5 in increasing order.
-5, -0.5, j
Let a = 2 + -3. Let y be (a*(1 - 0))/1. Suppose p + 16 = 5*p. Put p, -0.1, y in descending order.
p, -0.1, y
Suppose 4*w + p = -4, 11 = -w + 4*p - 7. Let a be 2 + -4 + (w - -2). Sort -4, -3, a in decreasing order.
a, -3, -4
Let m = 163 - 166. Sort 3.5, 3, m.
m, 3, 3.5
Let y be (8/5)/(2/5). Suppose y*o = o - 21. Let p = -3 - -6. Sort -1, o, p in increasing order.
o, -1, p
Let n(b) = b**2 + 3*b - 3. Let h be n(-4). Let y = -3 + 6. Suppose 5*g = y*g. Sort g, h, -4 in decreasing order.
h, g, -4
Suppose 0 = 4*k - 7 - 13. Let r = 15 + -11. Let m be (-2 + 5)/(-3 - -2). Sort r, k, m in increasing order.
m, r, k
Let t be (3 - -1)/20 + 4/(-20). Sort -5, 2, -18, t in increasing order.
-18, -5, t, 2
Suppose -4 = 5*q - 4*f - 0, 5*f = 5*q + 5. Put q, -5, 4 in increasing order.
-5, q, 4
Let q(g) = g**3 + 24*g**2 + g + 22. Let v be q(-24). Sort v, 1, 3 in decreasing order.
3, 1, v
Suppose 0 = -4*s - m + 2*m - 11, 5 = -3*s + 4*m. Sort -5, -2/15, s in increasing order.
-5, s, -2/15
Suppose -5*a = 16 - 1. Put 4, 0, a in descending order.
4, 0, a
Let n(f) = f**3 + 17*f**2 - 4*f - 11*f**2 - 5 - 2*f**3. Let v be n(5). Suppose 6*a - a = 20. Put a, v, -1 in decreasing order.
a, v, -1
Let v be (8/(-574))/((-54)/21). Let s be 3279/(-861)*(-2)/18. Let t = v + s. Sort 4/3, 2/5, t in decreasing order.
4/3, t, 2/5
Let y = -22 + 17. Let x = 3 + -2.6. Sort x, y, 2/11 in increasing order.
y, 2/11, x
Let w = 3 - 1. Let b = 4 - 4.4. Sort 3/10, w, b in ascending order.
b, 3/10, w
Suppose 0 = 55*k - 63*k + 24. Put k, 4, -3/5, -0.4 in decreasing order.
4, k, -0.4, -3/5
Let x be 14/(-8) + (-2)/8. Suppose 2*k - 2*r + 14 = 0, 3*r - 15 - 14 = 5*k. Put x, -3, k in decreasing order.
x, -3, k
Let a be ((-2)/(-4))/((-6)/(-12)). Sort a, -3, 12.
-3, a, 12
Let d = 0 - 1. Let m(h) = -2*h + 1. Let s be m(-1). Suppose 0 = s*z + z - 20. Sort -2, d, z in descending order.
z, d, -2
Suppose 0 = 3*m + 3 - 18. Let r = -1.2 + 1.7. Let c = -1 + r. Sort 2/11, m, c.
c, 2/11, m
Let n(m) = m**3 + 0*m**3 + 0*m - 2*m**2 + 1 - 2*m. Let t be n(3). Let w be (-3)/2*190/57. Put t, -1, w in descending order.
t, -1, w
Let s = -16 - -19. Put s, 0.3, -4 in increasing order.
-4, 0.3, s
Let y be 2/(1 + (-3)/2). Suppose 0 = -i - 3*i + 4*f, -i + 5*f = -20. Sort y, i, 5 in ascending order.
i, y, 5
Let x(k) = 2 + k + 3 - 2*k. Let c be x(7). Sort -3, c, -5.
-5, -3, c
Let j = 13 - 7. Let p(n) = -2*n**3 + 11*n**2 + 5*n + 5. Let s be p(j). Put s, 4, -4 in descending order.
4, s, -4
Suppose -4*s - 3 = -2*s + c, 0 = -5*s - 2*c - 9. Suppose -3 + 11 = 2*q. Put -5, s, q in decreasing order.
q, s, -5
Let m = -0.066 - -7.066. Put -1, 1/5, m in increasing order.
-1, 1/5, m
Let k = 0.62 + -0.42. Sort 0.06, k, -3/4.
-3/4, 0.06, k
Let y(j) = -4*j**3 - 2*j**2 - j. Let g be y(-1). Let w be (-3 + (g - 0))/(-2). Sort w, -2, 3.
-2, w, 3
Let f = 8 + -9. Let t = f + 0. Put t, -2, 2 in ascending order.
-2, t, 2
Let m = -0.18 + -0.32. Sort -0.3, m, 1.
m, -0.3, 1
Let o = -0.1 + -0.1. Let z = 0.2 + o. Let c = -485/2899 + 3/223. Put c, z, 2/13 in descending order.
2/13, z, c
Let g = 3 - -1. Suppose -3*q - w = -23, 4*q + 2*w - 28 = -2*w. Let r = q + -13. Put g, -3, r in descending order.
g, -3, r
Suppose 0 = -3*o + 3 - 12. Suppose 5*a + 40 = -4*g, -3*a + 2 = -g + 9. Let n be (1*-2 - 0) + 2. Put g, o, n in ascending order.
g, o, n
Suppose 0 = 5*s - 17 + 2. Put 1, 20, s in descending order.
20, s, 1
Let c = -5 - -16. Let y = -8 + c. Suppose d + 20 = -y*d. Put d, 3, 0 in descending order.
3, 0, d
Let j = -7 - -7. Suppose j = 3*k - 6*k. Sort 3, 4, k.
k, 3, 4
Let q = -2 + 1. Let v = q + 3. Suppose -5 = -2*x - 13. Sort x, 3, v in ascending order.
x, v, 3
Let t be -3 - (-40)/(-35) - 2/(-14). Put 21, -2, t in decreasing order.
21, -2, t
Suppose f - 2 = 3*a, -8 = -0*f - 4*f. Suppose 0 = -a*p - 4*p + 12, -2*b - 4*p = 4. Let q be b/(-6)*(-12)/(-8). Put -2, 1, q in decreasing order.
q, 1, -2
Suppose 0 = 2*u - 7*u + 15. Put 0, u, -0.1 in descending order.
u, 0, -0.1
Suppose 5*k + 9 = 2*k. Sort -7, k, 5 in increasing order.
-7, k, 5
Suppose -a + 28 = -5*r, 0*a - 3*a + 19 = -2*r. Let l be (-14)/6 + 1/3. Suppose -484*k + 477*k 