ppose 0 = -8*z - 11 + 3. Sort z, 4, 5, 13 in descending order.
13, 5, 4, z
Let c = -2 + -1. Suppose 4*d - 15 = 1. Put d, c, 3 in ascending order.
c, 3, d
Let v(y) = -2*y + 12. Let c be v(10). Sort c, 3, 0.
c, 0, 3
Let v = -0.3 + 0.4. Let o be 2/(-14)*-2 + 0. Let h = -63 + 68. Put h, o, v in ascending order.
v, o, h
Let u(b) be the second derivative of 0 + 1/20*b**5 + 1/6*b**3 + 4*b + 1/4*b**4 - 1/2*b**2. Let x be u(-3). Sort -5, x, 1/2.
-5, x, 1/2
Suppose -105*j = -100*j + 20. Put 0, 4, -2, j in increasing order.
j, -2, 0, 4
Let v = -60/7 + 487/56. Let d = -0.03 + 0.33. Put -2, v, d in decreasing order.
d, v, -2
Let n be (-26)/6 + 3/9. Suppose -2*t = -3*k - 8, -4*k = 2*t + 3*t + 26. Put 2, t, n in ascending order.
n, t, 2
Let a = -43/90 + 5/18. Put -0.5, a, 2, -1 in decreasing order.
2, a, -0.5, -1
Let j be (2 + 0)/(0 - 1). Let d(n) = -n**2 - n - 1. Let s be d(0). Let b be -1 + 4/2 + 0. Put s, b, j in descending order.
b, s, j
Let l(p) = -p**2 - 12*p + 13. Let u be l(-11). Let i be 16/6*(-4)/u. Sort i, 1/3, 0.3.
i, 0.3, 1/3
Let m = -0.15 - 3.85. Put m, 2/7, -3/5 in decreasing order.
2/7, -3/5, m
Suppose -5*u + 0*u - 9 = 2*r, r - 3 = 0. Suppose -2*q - 3*s - 6 = -s, 3*s + 23 = 4*q. Sort u, q, -2.
u, -2, q
Let l = -0.8 - -3.8. Suppose -3*v = 2*i - 25, -2*i = -6*i + v + 15. Let u = 28/3 + -9. Put u, l, i in increasing order.
u, l, i
Let n be (-669)/(-2)*2/3. Let u be (-4)/(-6) - n/(-3). Let j be 4/(-6) - (-65)/u. Sort 0.5, j, -0.1.
-0.1, j, 0.5
Let y be (30/(-9) - -3)*0. Sort 2, 5, -10, y in increasing order.
-10, y, 2, 5
Let u(r) = -5*r**3 - r + 1. Let k be u(1). Let m be 16/(-10) + 2/k. Let y be (m - -5)/((-6)/8). Put 2, y, 5 in descending order.
5, 2, y
Let b be (-20)/((-20)/4) + -7. Let f = -0.22 - 0.08. Let c = 0.2 - f. Put 0.3, b, c in decreasing order.
c, 0.3, b
Let n(m) = m**2 + m - 5. Let c be n(0). Let x(t) = t**2 + 9*t - 11. Let i(w) = w**2 + 8*w - 10. Let f(r) = 3*i(r) - 2*x(r). Let s be f(-7). Sort c, 3, s.
c, s, 3
Let m(g) = g**2 + g - 1. Let x be m(1). Suppose -4*f - 3 = -11. Sort 3, x, f in increasing order.
x, f, 3
Let u = -4 - -5. Let i(j) = -j**2 - 1. Let o be i(0). Put o, u, 2/5 in increasing order.
o, 2/5, u
Suppose -3*h - 16 + 1 = 0. Sort h, 5, 0 in ascending order.
h, 0, 5
Suppose 0 = 2*d - 3*q + 10 + 8, 4*q = 16. Let v = 4 - 5. Sort d, 2, v in decreasing order.
2, v, d
Suppose 3*b - 12 = -6. Put -0.5, b, 2/7, 2/5 in descending order.
b, 2/5, 2/7, -0.5
Let i = -28 - -28. Sort -20, 1, i.
-20, i, 1
Let m be 3 - (2/4)/((-1)/2). Sort 2, m, -17 in ascending order.
-17, 2, m
Suppose -3*a = -4*t + 17 + 2, -2*t + 8 = 0. Suppose -3*k = 5*b - 28, -b + 8 = 3*k - 0*b. Sort a, -2, k in increasing order.
-2, a, k
Let w = -0.039 + -4.961. Sort 4, w, -0.4 in descending order.
4, -0.4, w
Let j = 22/5 + -83/20. Let v = -3/20 + j. Let a = 1.2 + -0.2. Put 4, v, a in decreasing order.
4, a, v
Let x = -16 - -11. Let b(h) = 3*h**3 + 2*h**2 - 1. Let k be b(1). Sort -3, x, k in ascending order.
x, -3, k
Let h = 7 - 7.5. Let z be 0 + 2 + 65/3. Let n = 25 - z. Sort h, n, 0.1 in increasing order.
h, 0.1, n
Suppose 4*d + 15 = -25. Let f = d + 9. Sort -3, 1/4, f.
-3, f, 1/4
Suppose 0 = -2*j - 6, 5*z = 2*j + 16 - 0. Suppose -z = -4*p + 2. Suppose 0 = -3*o + 2*q + p, -3*o - q + 4 = -6*o. Sort 5, 3, o in decreasing order.
5, 3, o
Let l be (4/14)/(72/42). Sort 4, l, -4 in ascending order.
-4, l, 4
Suppose -3*c + 25 = -4*j, -2*c - 11 = 5*j + c. Sort j, -2, -10 in increasing order.
-10, j, -2
Let w = 15 + -8. Let p = -9 + w. Let n = 5 + -4.7. Sort -1, p, n.
p, -1, n
Let o = -13 + 11. Put 5, o, 7 in ascending order.
o, 5, 7
Suppose 1 = 3*a - 4*q, 5*a - 3*q + 1 = -1. Let t be ((-818)/(-30))/(a/3). Let d = 6943/85 + t. Sort d, 3/7, -0.4 in increasing order.
-0.4, d, 3/7
Suppose -16 = 3*a + x - 3*x, -3*a = 5*x - 19. Suppose -126 + 111 = -5*q. Sort -5, q, a.
-5, a, q
Let j = 109/3 + -37. Sort j, 2/7, 2/5 in descending order.
2/5, 2/7, j
Let k = -11 + 9. Let i = 7 + -5. Let g = k + i. Sort -1/4, g, 1.
-1/4, g, 1
Let o be ((-24)/27)/(4/6). Let p = -4.7 + -1.3. Let g = p - -3. Sort -0.3, g, o.
g, o, -0.3
Let w(n) = -n - 1. Let f be w(4). Let q be f/(-7) - 6/(-21). Suppose -7 = -i - 2. Put 3, q, i in ascending order.
q, 3, i
Let d = -8 + 5. Let l be (-1)/((6/(-8))/d). Suppose 13 = 9*g - 14. Sort g, l, -2 in descending order.
g, -2, l
Suppose 75 = 4*m + 3*k, -3*m - 5 = -4*m + 2*k. Let s be ((-4)/(-30))/((-10)/m). Sort -1/12, s, 1 in increasing order.
s, -1/12, 1
Let y be 0 - 1/(-2)*(10 - 4). Sort 6, 5, 1, y in increasing order.
1, y, 5, 6
Let b be (-24)/(-11) + 0 + -2. Let t = -4 + 4.03. Put t, 4, b in increasing order.
t, b, 4
Let x = 6/7 + -2/7. Sort 0.4, x, 13 in decreasing order.
13, x, 0.4
Suppose 0 = -2*d - 5*u - 28, -u + 24 = -d - 6*u. Sort 0, 3, d, 4 in decreasing order.
4, 3, 0, d
Let i(a) = a**2 - 13*a - 11. Let l be i(14). Suppose 2*c - 8 = l*h, 2*c + 5 + 1 = -4*h. Let q be (1 - -1)/2*-5. Sort 3, h, q in increasing order.
q, h, 3
Let q = 7.1 - 0.1. Let s = q + -12. Put -1/6, -4, s in increasing order.
s, -4, -1/6
Let j = 8 - 7.9. Let y = 39.1 - 44. Let w = y - j. Sort 2, -0.1, w in increasing order.
w, -0.1, 2
Let g be 5*-4*3/15. Put g, -3, -18 in ascending order.
-18, g, -3
Let l = -1.2 + 2. Let p = 0.2 + l. Let w = p + -5. Sort -2/3, w, -5.
-5, w, -2/3
Suppose -8*u + 189 = 149. Let h = 0.43 - 17.43. Let t = h - -12. Sort -0.02, t, u.
t, -0.02, u
Let n = -8 - -5. Let w = -3 + 3. Let g be 0/(1 + w/(-1)). Sort 4, g, n.
n, g, 4
Suppose -3*d = -0*d + 2*h - 10, 23 = 5*d - 3*h. Suppose 0 = -m + 5*m + v + 8, 2*m + 3*v = 6. Let b = m - -1. Put b, d, 0 in increasing order.
b, 0, d
Let x(l) = -l**3 + 4*l + 3. Let a be x(-3). Suppose -3*g - a = -3. Sort 4, -4, g in descending order.
4, -4, g
Suppose -8 = -2*m + 4*m. Let l = m + 9. Let i = l - 9. Put i, -0.5, -1 in increasing order.
i, -1, -0.5
Let n(l) = l + 2. Let x be n(0). Let a = 2 + -1. Sort a, x, 5.
a, x, 5
Let s(u) = u. Let z be s(1). Let j(t) = 5*t - 1. Let i be j(z). Let g(n) = -n**2 + 6*n - 6. Let v be g(i). Put v, 5, 1 in decreasing order.
5, v, 1
Let p = 0.117 + -3.117. Sort -0.1, -2/13, p, 2/3 in descending order.
2/3, -0.1, -2/13, p
Let f = 14 + -13. Sort -2/17, -4, f in decreasing order.
f, -2/17, -4
Let b(k) = -k**3 + 5*k**2 + 5*k + 5. Let m be b(6). Let l be (-1 + -1)*(18 - 1). Let c be (-3)/(-12) + l/72. Put c, m, 5 in ascending order.
m, c, 5
Suppose z - 1 + 2 = -5*n, n = 2*z + 57. Let i be (-2)/z*(0 + 2). Sort i, -4, 2/5 in descending order.
2/5, i, -4
Suppose -5*b - 35 + 40 = 0. Put b, 20, -4 in increasing order.
-4, b, 20
Let j(d) = 3*d + 3. Let l be j(5). Let y = l + -20. Put -3, 1, y in decreasing order.
1, y, -3
Let o = -1.64 + 2.14. Sort o, 8, -1/4 in increasing order.
-1/4, o, 8
Let a(c) = -c**2 - 6*c - 1. Let o be a(-5). Suppose -o*n + 10 = n. Put 0, 1, n in decreasing order.
n, 1, 0
Let s = -2.8 - -3. Let h = -5 - -10. Let m = 8 - h. Put s, 2/11, m in ascending order.
2/11, s, m
Let u be (-2)/(-7) + 5/7. Let i be -1 + (-8)/(-6) - u. Let l = -3.9 + -1.1. Put -3, l, i in ascending order.
l, -3, i
Let u = -0.29 + 0.04. Let f = 0.05 + u. Let m = -2 + 2.2. Sort m, f, 3/4 in decreasing order.
3/4, m, f
Let w = 172 + -171. Put 0, 6, -2, w in decreasing order.
6, w, 0, -2
Let y = -20 - -14. Let m = -7 - y. Sort m, -5, -0.2.
-5, m, -0.2
Let v(b) be the first derivative of 13*b**2/2 - b + 1. Let o be v(1). Suppose 3*x - o = -x. Sort x, -5, 4 in increasing order.
-5, x, 4
Let s = -2.3 - -2. Let d = s + 0.1. Let m = 28 - 28.5. Sort m, d, 1/4 in decreasing order.
1/4, d, m
Let b = -34 - -32. Put 12/5, 4, b in ascending order.
b, 12/5, 4
Let z be 1 + 6/(-1276)*130. Let o = z + -6/29. Let r = -1/12 - -7/36. Sort -1/6, r, o in descending order.
o, r, -1/6
Let m(h) = 7*h**3 + 2*h**2 + h. Let x be m(-1). Let d = -6 - x. Let j = -1 + 3. Sort j, 4, d in descending order.
4, j, d
Let y(n) = -1. Let w(h) = -3*h**2 - h + 7. Let r(a) = -w(a) - 6*y(a). Let f = 3 + -2. Let z be r(f). Put -4, z, -2/7 in descending order.
z, -2/7, -4
Let n be (-1)/4 + 26/8. Let q = n - 3. Sort q, 4, 1 in decreasing order.
4, 1, q
Let h = 0.2 + -0.1. Let f(u) = -u**3 - 5*u**2 - u - 5. Let l be f(-5). Suppose l = -a + 5*a - 8. Sort 1/3, a, h in descending order.
a, 1/3, h
Let k = 2.5 + -2.2. Let c be 32/(-8)*(-1)/2. Sort c, k, 2/3 