= -0*z. Put -133, 2, z in ascending order.
-133, z, 2
Let t = 0.87 - 0.87. Let b = -0.01 - 4.99. Let d = t + b. Sort 4, d, -8 in increasing order.
-8, d, 4
Suppose -5*q + 3*f = -q + 27, q + 3*f - 12 = 0. Suppose 38*o - 43*o = -2*w + 20, w + 8 = -2*o. Put q, -2, o in descending order.
-2, q, o
Let r be (-130)/25 - -5 - 116/(-80). Sort 5, 61, r in decreasing order.
61, 5, r
Let s = 6 + -6.01. Sort s, 2/9, -2/3.
-2/3, s, 2/9
Let k be 9*(3 + 3 + -5). Let b be 2/k + (-20)/9. Let h be 1/b*(-1 + -1). Put h, 5, 4 in decreasing order.
5, 4, h
Let m = 1018.3 + -1012.3. Suppose 5*w - 4*z = -20, 2*w - 5*z = -24 - 1. Put w, m, -5 in ascending order.
-5, w, m
Let b(n) be the third derivative of -n**4/24 + 17*n**3/6 - 4*n**2. Let l be b(0). Let a = l - 16. Sort -4, -3, a.
-4, -3, a
Let v = -16.88 - 0.12. Let c = v + 21. Put 11, -4, c in decreasing order.
11, c, -4
Suppose 0 = 3*u - 102 + 33. Sort 2, 3, u.
2, 3, u
Suppose 2*l + 139 = 2*q - 23, 0 = -4*l + q - 315. Sort 2, 4, -4, l in decreasing order.
4, 2, -4, l
Let m = -28 + 26. Let z be (6/(-45) - 0)/(m/(-20)). Put -4, 3, z in decreasing order.
3, z, -4
Let f be -85 + (4/4 + 2 - -1). Let j = f - -84. Sort 1, 16, j, -3.
-3, 1, j, 16
Suppose 3*i = -11 + 5. Let c be (-1)/1 + i*(-1)/(-2). Suppose -4*m + 14 = 2*p + m, 0 = p - m. Sort c, p, -4 in ascending order.
-4, c, p
Suppose 2*j - 1 = 5. Let q = -1174 + 1175. Let n(y) = -y - 9. Let u be n(-7). Sort q, u, j.
u, q, j
Suppose 128*z + 9 = 125*z. Put -5, z, 12, 4 in decreasing order.
12, 4, z, -5
Let c = -5.1297 + 1.1297. Let l = -5/84 - -27/140. Sort 2, c, l in descending order.
2, l, c
Let w = 3 - -2. Let s be (1 + 1)*(54/11 + -5). Sort s, w, 2 in descending order.
w, 2, s
Let g = 101 - 308/3. Let v = 315 + -315. Sort g, -1/6, v in increasing order.
g, -1/6, v
Let m = 24 + -14. Let s(n) = -n**3 - 9*n**2 - 4*n + 27. Let a be s(-8). Sort 5, m, a in decreasing order.
m, 5, a
Suppose 26*l - 9*l = 442. Put -2/13, l, -0.2 in ascending order.
-0.2, -2/13, l
Suppose -5*w = -12*w + 119. Let n be 81/(w/(-20) - -1). Let i = n - 19439/36. Sort -3, i, -1/2 in increasing order.
-3, -1/2, i
Let o(d) = -d**2 + 13*d + 53. Let f be o(16). Let r be 2/f + 12/(-30). Put -5, 1, r, -2 in ascending order.
-5, -2, r, 1
Let d(x) = 30*x - 485. Let z be d(16). Sort z, 2.1, 6 in decreasing order.
6, 2.1, z
Let j = 189 - 187. Sort j, -12, 0.09 in descending order.
j, 0.09, -12
Let q = 4/279 - -3/31. Suppose 17 = 5*j - 8. Let o be (-3 + 2 + 0)/j. Put o, q, -3 in ascending order.
-3, o, q
Let n = -31.588 - 2.412. Sort -4, -0.3, n, -1/5 in descending order.
-1/5, -0.3, -4, n
Let s be 10 + -15 - (-1 - 4). Sort 166, -1, s in decreasing order.
166, s, -1
Let w = -770 + 771. Put 0, 5, w, 11 in descending order.
11, 5, w, 0
Let u = -59/2 + 299/10. Sort u, 1/4, -3, 52 in descending order.
52, u, 1/4, -3
Suppose 11*j + 31 = 9. Sort 2, -3, -5, j.
-5, -3, j, 2
Let p be (-1)/(-1 + 21/24). Let w be 1/4 - p/(-32). Put w, -4, -3 in ascending order.
-4, -3, w
Let z be (-14)/35 - 513/(-45). Put 5, -1, z in descending order.
z, 5, -1
Let f = 333 + -333. Sort f, -22, -7, 1 in decreasing order.
1, f, -7, -22
Let q = 175 + -175. Put 4, q, -5, -4 in ascending order.
-5, -4, q, 4
Let s(b) = b - 2. Let a be s(2). Suppose -5*h + 7*d - 3 - 3 = 0, -3*d + 12 = h. Sort h, -2, a in decreasing order.
h, a, -2
Let l be ((-16)/(-10))/((-7)/((-315)/18)). Suppose 3*v = -2*q - 0*q - 4, 5*q + v + 10 = 0. Sort l, 1, q in descending order.
l, 1, q
Let z = -31.544 - -32. Let a = -0.044 - z. Let x = -3 + 3.2. Sort a, -1, x in descending order.
x, a, -1
Let d = -0.2083 + 2.2083. Let g = 1.3 + -0.3. Let p = 0 - g. Put p, 1, d in ascending order.
p, 1, d
Let m = -58 - -54. Put m, -3, -3/7 in increasing order.
m, -3, -3/7
Let p be 10/(-5) + 0 - -6. Suppose 0 = -4*a + 5 - 25, 2*a + 6 = -p*n. Sort -2, n, 0, -5.
-5, -2, 0, n
Let s = -1794.4 - -1795.4. Let r = -1/196 - 779/980. Put r, 3, s in increasing order.
r, s, 3
Let t(x) = 5*x**2 - x - 1. Let y be t(1). Let q = 4 - 8. Put y, q, 1, -2 in decreasing order.
y, 1, -2, q
Suppose 3*l + 4*i = -2*l - 8, -4*l - 5*i = 10. Let g(t) = 7*t**2 - t. Let p be g(1). Let n(h) = -h**3 + 5*h**2 + 5*h + 1. Let u be n(p). Sort u, l, 4.
u, l, 4
Let g(b) = b**2 + b + 6. Let m be g(0). Let u be (1/(-3))/(m/(-36)). Put u, 8, -1 in descending order.
8, u, -1
Let q = -12/25 - -106/325. Let h = -8.63 - -6.63. Sort h, -2/3, 1, q.
h, -2/3, q, 1
Let j = 124 + -622/5. Sort -0.5, -4, -3/4, j in descending order.
j, -0.5, -3/4, -4
Let j be 13/(-5) + (-2)/5. Let w = -1230.5 + 1231. Sort j, w, -4, 0.3.
-4, j, 0.3, w
Suppose -3*c = -5 - 1. Let f(d) = -d**3 - d + 2. Let u be f(0). Suppose 7 - u = -h. Sort 0, h, c.
h, 0, c
Let x be (8/6)/(2/15*-5). Let a(v) = -7*v - 14. Let b be a(x). Let o = 151/10 + -15. Sort b, o, -0.1.
-0.1, b, o
Suppose n - 10 + 12 = 0. Let k(w) = -w**3 - 3*w**2 + 9*w - 1. Let t be k(-5). Put n, t, -1 in decreasing order.
t, -1, n
Suppose -32 - 143 = 5*i. Let u = i + 106/3. Sort u, -0.4, 4, 0.4 in descending order.
4, 0.4, u, -0.4
Let x = 8 - 12. Suppose -5*n + 3*k = -63, 3*k - k + 67 = 5*n. Suppose 3*q = -5*r - 28 + 9, n = -5*q. Sort r, x, 4 in increasing order.
x, r, 4
Let z = 109.083 - 0.083. Let p = z - 110. Put p, 0, 0.4, -0.5 in ascending order.
p, -0.5, 0, 0.4
Suppose -4*s - 18 = 3*l, -14 = l + 5*s + 3. Let o(t) = -t + 4. Let f be o(4). Suppose -2 = -4*g + 2. Sort g, f, l in ascending order.
l, f, g
Let k = -2.74 + 2.54. Sort k, -0.4, -1/10 in ascending order.
-0.4, k, -1/10
Let i(d) = -d**3 - 13*d**2 - 12*d + 3. Let x be i(-12). Suppose 3*v + 5*n + 36 = 0, x*n = 5*n. Let o be (3/(-9))/(1/v). Put 2/9, 3, o in decreasing order.
o, 3, 2/9
Suppose 15*u + 60 = 27*u. Suppose -o + 5*o = 48. Sort o, 4, u in decreasing order.
o, u, 4
Let v = -17.4 + 1.4. Let r = 17 + v. Sort 0.1, -4/5, r in ascending order.
-4/5, 0.1, r
Let h = -42.8 + 38. Let u = h + 0.8. Let b = u - -2. Sort -5, 2, b in increasing order.
-5, b, 2
Let i = -38 + 37.91. Let k = -0.31 + i. Sort 0.4, -2, k.
-2, k, 0.4
Let y = 0.006 + 0.224. Sort 3, -2, y in descending order.
3, y, -2
Let v(m) = -m**3 - 198*m - 4 + 193*m + 3*m**2 - 4*m**2 - 4*m**2. Let t = 6 - 10. Let w be v(t). Sort w, 5, 1 in descending order.
5, 1, w
Let d be (2/(-52))/(16/(-64)). Put 4/5, -0.4, d, -0.5 in descending order.
4/5, d, -0.4, -0.5
Let y = 28 - 29. Let a be ((-3)/(-2))/((-24)/(-80)). Let c = -2 + a. Put y, c, 2 in decreasing order.
c, 2, y
Let v(n) = n**2 + 6*n + 6. Let c be v(-4). Let i = -10 - -14. Suppose 6*j + k - 20 = j, i*j = 4*k - 8. Sort 0, c, j in decreasing order.
j, 0, c
Let n = 13 - 11. Let t(c) = c**2 + 4*c - 5. Let p be t(-5). Let i be p + -1 + (3 - 6). Sort n, -3, i in decreasing order.
n, -3, i
Let z = 89 - 85. Suppose -v - z = -2*v. Put 2, 0, v in ascending order.
0, 2, v
Let b be 13/(-1) + 2/(-1). Let k be (12/b)/((-5)/25). Sort k, 3, 5, 8 in ascending order.
3, k, 5, 8
Let v = 53 + -49.57. Let j = 0.43 - v. Sort -5/3, j, -3/5.
j, -5/3, -3/5
Suppose -2*m = 6*j - j - 18, 30 = 5*j + 5*m. Let d be 203/(-70) + 5/j. Put -5, 2, d, 2/3 in decreasing order.
2, 2/3, d, -5
Let p = 0 + -7. Let k = p - -7. Let b = -0.05 - 0.35. Put 3/2, k, b in increasing order.
b, k, 3/2
Let y(i) = -7*i - 6. Let x be y(-4). Suppose -4*b - 4*n - 9 + 1 = 0, -3*b + x = -4*n. Suppose 6 = b*r - 2. Sort r, 5, -3.
-3, r, 5
Let g = 4.93508 + 0.06492. Suppose 0*q = -2*q - 5*k - 11, -13 = q - 5*k. Sort g, q, 0 in descending order.
g, 0, q
Let w = 262.1 + -251. Let b = 2.9 + w. Put 2, b, -1 in ascending order.
-1, 2, b
Let d(s) = 4*s - 11. Let b be d(3). Sort -2, b, 0, 2 in descending order.
2, b, 0, -2
Let k be 2/7 + 185/(-35). Suppose -3*j = 3 - 0. Suppose 0*g = -3*g. Sort j, k, g in ascending order.
k, j, g
Suppose r - 17 = -3*s, -4*r - 125 = -9*r + 5*s. Sort -3/5, 1/5, 1, r.
-3/5, 1/5, 1, r
Let p = -9 + 13. Let j(w) = 2*w - 6. Let r be j(p). Put r, 1, -3, -2 in decreasing order.
r, 1, -2, -3
Let j be (992 - -10)*((-25)/30)/(-5). Put j, -5, 4 in descending order.
j, 4, -5
Let g be 0 - (2 + (-15)/3). Let q be (g + -6)*(-4)/(-6). Let v be q*(-3 + (-7)/(-2)). Put -4, -2, v in descending order.
v, -2, -4
Let p = 24 - 20. Suppose t + p*w = 13, -5*w + 10 = -3*w. Sort 0.3, 0.5, 3, t in decreasing order.
3, 0.5, 0.3, t
Let w(x) = -x**3 - 13*x**2 + 15*x + 21. Let p be w(-14). Sort