. Put -4, 6, w in decreasing order.
6, w, -4
Let n be (-23)/(-7) + 26/(-91). Sort n, -3, 5 in descending order.
5, n, -3
Suppose -u - 14 = -4*y, 2*y - 15 = 5*u + 1. Let v = -4 + 4.4. Sort y, v, 4 in descending order.
4, y, v
Let p = -35 + 36. Put 0.2, p, 4, -0.4 in decreasing order.
4, p, 0.2, -0.4
Suppose 0 = 4*b - 5*w + 19, -3*b + 5*w = 2*b + 20. Sort 9, b, -2 in ascending order.
-2, b, 9
Let i(y) = 6*y - 7. Let j be i(6). Let a = j - 14. Suppose 3*s + a = -0*s. Put -1, 0, s in decreasing order.
0, -1, s
Let c be 2 + 3 - (4 - 2). Suppose h + 0*x = 5*x + 17, 4*h - c*x - 17 = 0. Let j be (h - 0)*(-1 + 0). Put 0, 1, j in decreasing order.
1, 0, j
Let y be -2 + 1 - 0/9. Sort y, -3, 2 in increasing order.
-3, y, 2
Let b(o) = o + 1. Suppose 4*x - 5*x + 1 = -3*v, 0 = -x - 3*v - 11. Let w be b(x). Let f be -1 - ((-7)/14 - 3/2). Put 2, w, f in decreasing order.
2, f, w
Let v = -10.741 - -0.041. Let n = -11 - v. Let z = -212/3 + 70. Put z, n, -3 in ascending order.
-3, z, n
Let t be (-4)/(-18) - 2 - -2. Put 5, t, -2 in increasing order.
-2, t, 5
Let z(b) = b**2 - 2*b - 3. Let u be z(3). Suppose -5*c - 5*m + 7 = -28, 4*m - 33 = -5*c. Put c, 4, u in descending order.
c, 4, u
Let b = -32 + 27. Sort 2, 0, -4, b.
b, -4, 0, 2
Let o = -113 + 107.9. Let c = 55 - 60. Let m = o - c. Sort 1/5, m, 4.
m, 1/5, 4
Let w be 18/(-27) - (-4)/(-3). Sort w, 0, 2 in decreasing order.
2, 0, w
Let f(n) = -8*n**2 + 2*n**3 - 2 - 4*n**3 + 6*n**2 + n + 3*n**3. Let l be f(2). Sort -2, 5, l.
-2, l, 5
Let j = 16 + -20. Sort -0.04, 3, j.
j, -0.04, 3
Suppose -u + 2 = -3*l + l, -2 = -2*l. Put 1, u, -5 in decreasing order.
u, 1, -5
Let h = -32 + 24. Sort 2/7, h, -5 in decreasing order.
2/7, -5, h
Let f(l) = l**3 - 5*l**2 - 6*l - 1. Let c be f(6). Put c, -4, 0 in ascending order.
-4, c, 0
Suppose -5*j + 2*j - 13 = 5*w, -4*j + 6 = -5*w. Let g(k) = k**3 + 12*k**2 - 2*k - 15. Let z be g(-12). Let r be -1 + -1 + -10 + z. Sort w, r, 5.
r, w, 5
Suppose 0 = -0*l + 4*l - 8. Suppose -5*c - 27 = -2*r, 3*r = -0*c - l*c - 7. Suppose 2*w + 0 = -6. Put r, w, 2 in ascending order.
w, r, 2
Let b = 22 - 13. Suppose 0 = 5*q - 4*y + 30, -q - 5*y + 8 = -15. Let t be 8/36 + q/b. Put t, -5, 2 in decreasing order.
2, t, -5
Suppose 3*n = -4*c + 8, n - 4*n = 12. Let b = -5 + c. Sort 5, 4, b in decreasing order.
5, 4, b
Let x(d) = 3*d + 5. Let y be x(-2). Let v = -6 + 7. Suppose 2*b + v + 7 = 0. Sort y, -2, b in ascending order.
b, -2, y
Let a = 128 + -128. Let d = 172/115 + -16/23. Sort a, 1/4, d in decreasing order.
d, 1/4, a
Let i = -59 + 64. Sort 4/5, i, 49.
4/5, i, 49
Let d(o) = -2*o + 9. Let s be d(7). Sort 5, 2, s, 1 in decreasing order.
5, 2, 1, s
Let q = 4 - 4. Let c = 0.2 + q. Let p = -0.3 + 0.8. Put c, -0.4, p in ascending order.
-0.4, c, p
Let k = -25 - -25.4. Let q = -0.78 - -0.7. Put k, q, -3 in descending order.
k, q, -3
Let r = 4 + -3. Suppose 0 = -5*t - 2*i + 22, 13 = 3*t + i - 1. Let g = -4 + t. Sort g, -2, r in descending order.
g, r, -2
Let o = 0.6 - 2.9. Let t = o + 0.3. Let y = 0.9 + 0.1. Put -0.3, y, t in increasing order.
t, -0.3, y
Let w(y) be the third derivative of y**5/60 - y**4/8 - 5*y**3/6 + 7*y**2. Let c be 5/2*(2 + 0). Let h be w(c). Put h, -2, -5 in decreasing order.
h, -2, -5
Let p = 72 + -71. Put -3/4, 5, p in increasing order.
-3/4, p, 5
Let s(k) = -k**2 + 4. Let t be s(-3). Let z = 49 + -49. Put -1, t, z in decreasing order.
z, -1, t
Suppose 4*k + 3*d = 17, 0 = -3*k - 2*k + 4*d - 2. Let s be -4 + (0 - -2) + 2. Let j be (s - 1 - -3)/(-2). Sort -1/3, j, k in decreasing order.
k, -1/3, j
Let i = 2 + -4. Let q be 24/(-110) - i/(-11). Put 0.3, 2/3, q in descending order.
2/3, 0.3, q
Let l = -19/100 + -1/100. Sort 2/5, l, -6 in ascending order.
-6, l, 2/5
Let y = -18 + 16. Sort -4, y, 8 in increasing order.
-4, y, 8
Suppose s + m + 15 = 0, 4*s + m = -0*m - 45. Let j(w) = -w**3 - 10*w**2 + w + 10. Let d be j(s). Sort -4, 5, d in descending order.
5, d, -4
Let u = -10 - -9. Let r(n) = -13*n + 1. Let l be r(1). Let h = l - -7. Sort h, 0.4, u in decreasing order.
0.4, u, h
Let k = -1 - -5. Sort -5, -4, k.
-5, -4, k
Let i(v) be the first derivative of v**2/2 - 8*v + 7. Let r be i(5). Sort -4, 0, r in ascending order.
-4, r, 0
Let l = 0.43 + -0.03. Let q = -42 + 45. Put l, q, -5 in increasing order.
-5, l, q
Suppose 4*w + 4 = w + 2*t, 2*t = 5*w. Suppose -w*m = -3*q - 14, 0*q - 20 = -4*m + 2*q. Suppose -3*v + v + m = 0. Put 4/9, 0.4, v in descending order.
v, 4/9, 0.4
Suppose d - 5*m = -0*d - 21, 2*d = -2*m + 18. Let x be (4/(-4))/((-1)/(-2)). Let q be ((-1)/3)/(x/6). Sort q, 0, d in increasing order.
0, q, d
Let u(s) = s**3 - 20*s**2 - 19*s - 45. Let y be u(21). Let k be 6/(1/(4/(-6))). Sort -1, y, k in decreasing order.
-1, y, k
Suppose -6 = 2*m - 0. Sort m, -4, 3 in descending order.
3, m, -4
Suppose -3 = 3*q - 2*q. Let j(v) = v + 4. Let m be j(q). Sort -2/9, -4/9, m in descending order.
m, -2/9, -4/9
Let a = -8.9 - 0.1. Let m = a - -11. Put m, 2/17, 1 in increasing order.
2/17, 1, m
Suppose 5 = 3*f - 4*f. Let r(b) = 4*b + 13. Let t be r(-4). Let s = -1 + 6. Sort f, s, t in descending order.
s, t, f
Let v = 3 + -6. Suppose -20 = 5*x, -4*n + x - 15 - 17 = 0. Let s = n - -12. Put v, 1, s in descending order.
s, 1, v
Let f = 12 - 15. Sort 2/3, f, 0.9 in increasing order.
f, 2/3, 0.9
Let b(f) = f + 1. Let d be b(-3). Let m = -1.9 - -3.9. Put -0.4, d, m in increasing order.
d, -0.4, m
Suppose -5 = 3*h + 7. Let y(c) = c**2 + 4*c. Let o be y(-4). Suppose -s = -4, o = -2*n + 4*s - s - 6. Sort n, 4, h in descending order.
4, n, h
Suppose -28 = -0*a - 2*a. Suppose f + f = a. Suppose 3 = 4*h - f*h. Sort 2, 1, h in decreasing order.
2, 1, h
Let f = 2.94 - -0.06. Let x = f + -5. Let t = x - -7. Put t, -4, -0.1 in descending order.
t, -0.1, -4
Let q be (-1)/3 + (-170)/(-15). Suppose 6*w - 15 = q*w. Sort w, -5, 5.
-5, w, 5
Suppose -2*m = 3*m - 25. Suppose -m*f - 45 = -5*p, -3*p - 2*p + 4*f + 43 = 0. Suppose 8 = i + p. Put 5, i, 3/4 in decreasing order.
5, i, 3/4
Let d = -235.77 + 237. Let s = -0.17 - d. Let r = s - -0.4. Sort -1/2, r, -3 in ascending order.
-3, r, -1/2
Suppose -y + 4*u - 6 = y, 0 = y + 5*u - 25. Put -3, y, -2 in increasing order.
-3, -2, y
Let k = 20 - 17. Put 4, 0, k in increasing order.
0, k, 4
Let h be (2/4)/(2/(-4)). Let r(v) = -v**3 + 2*v**2 + 10*v - 5. Let q be r(4). Sort q, -2, h in descending order.
q, h, -2
Let g = 3.3 - 3.21. Let b = 0.1 - 0.11. Let j = b - g. Put -0.4, j, 4 in descending order.
4, j, -0.4
Suppose -3*t - 2 = -8. Let q be (-1)/2*(-30)/(-3). Put -2, t, q in ascending order.
q, -2, t
Let p = 4 - 7/2. Sort 2/7, 1, p in decreasing order.
1, p, 2/7
Let k = 6.9 - 1.9. Sort k, 0.15, -1 in ascending order.
-1, 0.15, k
Let i = -3.96 + -0.04. Let d = i - -4. Let v = 0.2 + 0.3. Put d, v, 2/5 in descending order.
v, 2/5, d
Let h = -0.3 + 0.1. Let q = 0.2 + h. Put 2/9, q, -1/5 in decreasing order.
2/9, q, -1/5
Let x be (3/3)/(1/7). Suppose -1 = 3*g - x. Let c(m) = m**2 - 10*m + 11. Let n be c(8). Put n, 0, g in increasing order.
n, 0, g
Let h = 0.37 - 0.44. Sort -2/9, 2/11, h in ascending order.
-2/9, h, 2/11
Let a = 0.5 + -0.1. Let n = -27/1402 + 1559969/49070. Let l = n - 156/5. Put l, a, -3 in increasing order.
-3, a, l
Let c be 11/3 - (-3)/9. Let o = 0 - -2. Suppose o*q + 4 = -0. Put c, q, 2 in decreasing order.
c, 2, q
Let a = 4.7 + -2.7. Sort -7, a, 0, 4.
-7, 0, a, 4
Suppose d = -3*v + 2, -2*v + 5*v - 14 = 2*d. Let s(i) = 2*i + 6. Let q be s(d). Sort -1, q, 5 in decreasing order.
5, -1, q
Let u = 1 - 2. Let v = 3/104 + 163/1560. Sort v, u, 3 in ascending order.
u, v, 3
Let k be 19/7 - 10/(-35). Let n = 3 - k. Let x be (1 + n)/(-1) - 4. Put x, -4, 0 in ascending order.
x, -4, 0
Let z = -52 + 51. Put z, -24, 3 in decreasing order.
3, z, -24
Suppose 5*a - 5*g - 20 = 0, -a - 1 - 1 = 5*g. Suppose 0 = p - 5 + a. Put 3, p, -1 in descending order.
3, p, -1
Let r = 3.88 + -4. Let s = r - 1.28. Let v = s + 1. Sort 1, -1, v in increasing order.
-1, v, 1
Let g(k) = -k**2 + 4*k + 6. Let r(t) = 6*t**3 - 2*t + 1. Let m be r(1). Let c be g(m). Let d be -6 - (c - 0)*-1. Sort -3, d, -4 in decreasing order.
-3, -4, d
Let j = 39 + -57. Sort -1, 2/11, j in increasing order.
j, -1, 2/11
Let s = -0.22 - -0.1. Let d = s - -0.1. Let u = d + -2.98. Sort u, 0.4, 2.
u, 0.4, 2
Let u = 52 