s = -7 + k. Put -2, 2, s in decreasing order.
2, -2, s
Let r = -14 - -14.03. Let x = -5.03 + r. Sort -0.3, x, 0.
x, -0.3, 0
Suppose 3 = 5*x - 2*v + 1, 2*v + 2 = 0. Sort 1, -2, 5, x in descending order.
5, 1, x, -2
Suppose -t + 3*t = -22. Sort 4, t, 5 in decreasing order.
5, 4, t
Let u = 23 + -45/2. Sort -5, u, 0.
-5, 0, u
Let w(a) = 4 - 4 + 4 - a. Let l be w(5). Sort 1, -3, l.
-3, l, 1
Let z = -0.6 + -7.4. Sort 1/5, z, -4/7 in ascending order.
z, -4/7, 1/5
Suppose -m - 4 = -0*m. Sort -13, m, -3 in increasing order.
-13, m, -3
Let a be (-1 - -3)/(2/(-5)). Sort a, 3, 6 in descending order.
6, 3, a
Let x be (-2)/5 - (-51)/15. Let g = 0 + x. Sort g, 4, -6 in ascending order.
-6, g, 4
Let m = 12 - 10.8. Let n = m + -8.2. Suppose -s + 4*s = 4*v - 10, v + 1 = -s. Sort -2, v, n.
n, -2, v
Let x = -1.95 - 0.05. Let v = 1.6 + x. Let p = 0.1 + -0.1. Put v, p, -1 in descending order.
p, v, -1
Let n be (-1)/4 - (-23)/(-4). Let h be (-4)/n - 4/6. Let k = -2/153 - -55/306. Sort h, -0.5, k.
-0.5, h, k
Let g(i) = -i - 4*i**2 + 3*i**2 - i. Let a = -54 - -52. Let x be g(a). Sort 0.1, -2, x in decreasing order.
0.1, x, -2
Let j = -11.5 + 6.8. Let l = 5 + j. Let t = -0.45 + 1.45. Sort 0, t, l in decreasing order.
t, l, 0
Let h = -3.4 + 0.4. Let c(s) = -5*s - 3. Let m be c(-3). Let i be (-3)/m + 28/48. Sort -2/5, h, i.
h, -2/5, i
Let g = 36.1 + -40. Let h = 4.8 - g. Let x = h - 9. Put x, -4, 2/11 in ascending order.
-4, x, 2/11
Let f = 3.5 - -9. Let u = -13 + f. Sort u, 1, 2.
u, 1, 2
Let w = -26 + 18. Let z = -12 - w. Put z, 5, -2 in ascending order.
z, -2, 5
Let f = 6 + -4. Suppose -m = -0*m + f. Let i be -3 + -1 + (-6)/m. Sort 3, 0, i.
i, 0, 3
Let z be (-1)/(0 - 2/(-10)). Let w be (-23)/(-5) - 2/z. Let c(k) = k**3 - 2*k**2 + k + 2. Let d be c(2). Put d, w, 1 in decreasing order.
w, d, 1
Suppose -3*m = 2*m - 120. Suppose -2*i - 5*u = 28, 2*i + 0*i = -4*u - m. Sort 3, i, 0.3 in increasing order.
i, 0.3, 3
Suppose 5*s - 18 - 2 = 0. Put -2, s, 2/11 in descending order.
s, 2/11, -2
Let m be (2/1 + -2)/1. Let x(l) = -4*l + 1. Let q be x(-1). Sort q, m, -4 in increasing order.
-4, m, q
Let k(h) = h - 7. Let i be k(3). Let v = -22 - -34. Let w = -7 + v. Sort i, -0.1, w.
i, -0.1, w
Let h(u) = u**2 - u. Let a be h(1). Let m = 0 - 0. Let z = a + m. Sort z, 2, 5 in increasing order.
z, 2, 5
Let a = -0.8 + 0.5. Sort 0.1, -5, a in ascending order.
-5, a, 0.1
Suppose 2*m + 3 = 1, -4*m + 38 = k. Sort 3, k, 0 in increasing order.
0, 3, k
Let w(q) = q**2 - 20*q + 22. Let k be w(19). Put 4, -4, k in ascending order.
-4, k, 4
Let o = 2 + -9. Let m = 20 - 13. Let j = o + m. Sort -4, 3/2, j in increasing order.
-4, j, 3/2
Let b(f) = -f**3 - f**2 + 4*f + 3. Let u be b(-2). Let m = -12 - -4. Let j = m - -4. Sort j, -5, u.
-5, j, u
Let h = -0.01 + 0.31. Let a(q) = -58*q**2 - q + 57*q**2 - 6 + 5*q. Let l be a(3). Sort l, h, 4 in increasing order.
l, h, 4
Let a = 0 + 2. Suppose -5*r + a*r = 6. Put 1, r, -1 in increasing order.
r, -1, 1
Let h = -6 + 5.96. Sort h, 4, 0 in increasing order.
h, 0, 4
Let c = -24 + 24.4. Sort 2/7, c, 8/7 in increasing order.
2/7, c, 8/7
Let u(m) = m**3 + 11*m**2 + 2*m + 19. Let v be u(-11). Sort -1, v, 4.
v, -1, 4
Let j = -9 - -10. Sort 4, -5, j, 0.4.
-5, 0.4, j, 4
Let n be 4/80*5 - (-21)/(-4). Sort -2, n, -12, -3.
-12, n, -3, -2
Let p = -0.82 + -4.18. Sort 2/7, -0.2, p, 0.5 in descending order.
0.5, 2/7, -0.2, p
Let t = -284/33 + 58/11. Let j = t + 136/39. Put 4, j, 0.1 in ascending order.
0.1, j, 4
Let v = -27 + 26.5. Let w = -22 + 14. Let z = -5 - w. Sort v, -3, z.
-3, v, z
Let y be (18/16)/(24/16). Let w = 2 + -1. Let j = -0.5 + w. Sort y, j, -2/13 in decreasing order.
y, j, -2/13
Suppose 3*c - 22 = -13. Sort -3, c, -2, 25.
-3, -2, c, 25
Let r be 6/8 - (-57)/(-12). Put 0.3, -3, -1, r in decreasing order.
0.3, -1, -3, r
Let z be 4 + 0 - -2 - -3. Suppose 6*p - 5*r + 15 = 4*p, -3*r = p - z. Sort p, -4, 5 in descending order.
5, p, -4
Suppose c + z + 5 = -0*c, 4*z = -c - 11. Put -1, 0, c in ascending order.
c, -1, 0
Let g(i) = -i**2 - 4*i - 1. Let p be g(-3). Let a be (-4)/(-6)*3/(-2). Let v(o) = -o**2 + 4*o + 6. Let j be v(5). Sort a, j, p in increasing order.
a, j, p
Let r be (6/4)/((-9)/12). Sort r, 0.4, -3 in descending order.
0.4, r, -3
Let z be ((-2)/(-8)*3)/(1092/416). Put z, 0.3, 1.4, 0.5 in descending order.
1.4, 0.5, 0.3, z
Let i = -528/5 + 106. Let d = -0.2 - -0.25. Let s = -1.05 + d. Sort i, s, -4 in ascending order.
-4, s, i
Let c = 11/6 + -3/2. Sort -3, 1/6, c, -1/4.
-3, -1/4, 1/6, c
Let v(c) be the first derivative of -c**4/4 + c**3 + 3*c**2/2 - c + 2. Let g be v(4). Put -2, 2, g in descending order.
2, -2, g
Let j = 11 + -15. Let u = -58 + 231/4. Let t = -0.1 + -0.1. Sort u, j, t in increasing order.
j, u, t
Let f(y) = -y**3 - 5*y**2 + 7*y - 7. Let p be f(-6). Let z = p + 11. Put -4, 1, z in decreasing order.
1, z, -4
Let c = 33 + -30. Let b = 3 + -5. Put -3, b, c in increasing order.
-3, b, c
Let g = 0.937 + 0.063. Sort 4, g, -3 in ascending order.
-3, g, 4
Let t(p) = -p**3 + 4*p**2 + 4*p - 3. Let b be t(4). Suppose 5*n - 15 + 37 = -v, 0 = -5*n - 4*v - b. Suppose 2*c = 4*c. Put -4, n, c in descending order.
c, -4, n
Suppose -2*y = -4*k + 2*y + 16, -1 = y. Let b(g) = 3*g + 23. Let j be b(-8). Put k, j, -5 in increasing order.
-5, j, k
Let y be (-9)/(27/(-12)) - 1. Put 0, -3, y in decreasing order.
y, 0, -3
Suppose 9 + 2 = h - 3*s, -10 = h + 4*s. Suppose 3*r + 0*r - y - h = 0, y = -4*r + 12. Sort -4, -1, r in increasing order.
-4, -1, r
Suppose 63 - 195 = -3*w. Let d be w/(-56) - (-6)/21. Put -5, 1, d in decreasing order.
1, d, -5
Let y(f) = -f - 1. Let m be y(-1). Suppose 5*n - x - 5 - 6 = 0, 0 = -3*n - x + 13. Sort m, n, -3.
-3, m, n
Let j = -9 - -14. Sort -1, 7, j in decreasing order.
7, j, -1
Let o(v) = -v + 2. Let r be o(5). Let m = 2 - 2.5. Put r, m, -4 in ascending order.
-4, r, m
Let g be (0/2 + 1)*8/(-28). Put -3/4, -22, g in decreasing order.
g, -3/4, -22
Let p = -0.44 - -0.5. Sort 1, -3, p in increasing order.
-3, p, 1
Let d(c) = c**2 + 9*c - 7. Let w be d(-10). Suppose 5*h + w = -17, 0 = -2*r + 5*h + 28. Put -4, r, -1 in descending order.
r, -1, -4
Suppose 4*q - 2*q = 2. Let f(c) = -c + 1. Let g be f(q). Let t(o) = -o**3 + 4*o**2 + 5*o - 1. Let b be t(5). Sort -2, g, b in increasing order.
-2, b, g
Let y = 0.1 + 0.1. Let k = 1166/7 + -167. Sort y, 2/11, k in descending order.
y, 2/11, k
Let a be (18/(-12))/((-6)/(-8)). Sort a, 2/19, 0.5 in ascending order.
a, 2/19, 0.5
Let m be 2/(-4) - 38/(-28). Let q = -0.35 - -0.3. Put q, -1/5, m in descending order.
m, q, -1/5
Let y = 10 - 8. Sort 1, y, 6.
1, y, 6
Let p = -19 + 9. Let a(s) = 0*s - 22 - 8 + 38 + s. Let o be a(p). Sort 2, -4, o in descending order.
2, o, -4
Let g = -4 + 1. Let u = 37 + -37. Sort u, -4, g.
-4, g, u
Let k = 24 + -24. Sort k, -3, -5, 1/8.
-5, -3, k, 1/8
Let d = -4 - -13/4. Let r = 5.6 + -7. Let u = -0.6 + r. Put d, u, 2 in descending order.
2, d, u
Let z be ((-4)/2)/(-4 - -2). Suppose c - 4 = z. Let j = -1 - -2. Sort -4/7, j, c in descending order.
c, j, -4/7
Let t = -0.22 + -8.78. Let i = -4 - t. Let y = i - 10. Put y, 0.3, 4/5 in descending order.
4/5, 0.3, y
Let y(b) = -3*b + 3. Suppose -5*z = -3*z - 4. Let i be y(z). Let a = 0 - 5. Sort 1, a, i.
a, i, 1
Let c be (-9121)/52 - 3/4. Let u = c + 176. Sort u, -2/9, -5 in decreasing order.
u, -2/9, -5
Let n = -10 + 12. Suppose -3*a = 4*x + 16, 5*x - 1 = -n*a - 14. Put -5, a, 0 in descending order.
0, a, -5
Let z = -4197/208259 + -1/2147. Put 4/5, 0.1, z in ascending order.
z, 0.1, 4/5
Let v = 13 + -12. Put 2, -2, v in descending order.
2, v, -2
Let s be 38/33 - (-4)/(-3). Let z = 0.3 + -2.3. Sort s, z, -0.4 in descending order.
s, -0.4, z
Let m(l) = -l**2 + 11*l - 2. Let z be m(11). Sort -3, z, -5, 0.
-5, -3, z, 0
Let a(z) = -z - 8. Let c be a(-10). Suppose 2*q = -c*q + 8. Sort 0.5, q, -5 in increasing order.
-5, 0.5, q
Let i(m) = -2*m - 9. Let w be i(-6). Let x = 11 + -16. Put x, w, 2 in decreasing order.
w, 2, x
Let n = 81/5 + -16. Sort n, 2/3, 1/24 in descending order.
2/3, n, 1/24
Let t = 16 + -17. Sort t, 5, 1 in descending order.
5, 1, t
Let t = 0.05 - -0.95. Let v = t + 0. Let z = v + -2. Put z, 0, 4 in ascending order.
z, 0, 4
Let y = -692/15 - -46. Put -0.5, y, -5 in increasing order.
-5, -0.5, y
Let l = -127