pose 2*s = -5*f - 13 - 0, 0 = -4*s - 16. Let a = -12 - -6. Let w = a - -5.6. Sort 0.1, w, f in increasing order.
f, w, 0.1
Let r = 5 + -4.97. Put r, -0.3, 2 in decreasing order.
2, r, -0.3
Let q(b) = -b - 10. Let k be q(-7). Let m be (-1)/(-3)*324/27. Sort 0, k, m in decreasing order.
m, 0, k
Let c be 35/(-11) - (-10)/55. Let r be ((-2)/(-4))/(c/18). Let o be (2/(-8))/((-12)/96). Sort o, 3, r in ascending order.
r, o, 3
Let b be (-14)/(-10) + (-6 - -9) + -5. Put -1/3, 1, 5, b in descending order.
5, 1, -1/3, b
Let m = 8 + -6. Suppose -3*u - 5 = m*c, 4*c - c = -3*u - 9. Suppose -5*i - 14 + 4 = 0. Sort 3, i, u in ascending order.
i, u, 3
Suppose 11*c + 7 = -15. Let h = 4 + -1. Put h, 2/7, c in descending order.
h, 2/7, c
Let s = -2.7 - -0.7. Put s, -0.4, -3 in increasing order.
-3, s, -0.4
Suppose 0 = -g - 5*t + 6*t - 2, -5*t + 28 = g. Let p(a) = -a**3 + 8*a**2 - 9*a + 6. Let s be p(7). Let i = s + g. Put -3, -4, i in descending order.
-3, -4, i
Suppose -8*r = -10*r + 12. Suppose 4*o + 2 = -r. Let a(i) = i**2 + 3*i - 7. Let j be a(-5). Put 4, j, o in descending order.
4, j, o
Let n = 6 + 11. Suppose 4*k - n = 3. Suppose 0*f + 5*t + 13 = -2*f, -2*f + k*t - 3 = 0. Sort -1, -2, f in decreasing order.
-1, -2, f
Let s = 0.14 + -0.04. Sort -2, s, -1/2.
-2, -1/2, s
Let c be 5*(-1 + (-6)/(-5)) + -2. Sort -4, c, -3, 5 in descending order.
5, c, -3, -4
Let h be 1 + -5 + 5 - -2. Sort -1, 0, 2, h in decreasing order.
h, 2, 0, -1
Suppose 3*b + 4 = 5*b. Let r = -11 - -14. Put r, b, -2 in decreasing order.
r, b, -2
Let m(n) = -n**2 + 7*n - 11. Let r be m(4). Put 5, 3, r in descending order.
5, 3, r
Let f be 4/(-6) + 0/2. Let z(n) = -n + 2. Let b be z(0). Sort f, b, 0.
f, 0, b
Suppose 4*o + 3 = -29. Let p = o - -9. Put -4, 5, p in descending order.
5, p, -4
Let y be 4 - (3 + -1 + -2). Put -4, 2/5, y in increasing order.
-4, 2/5, y
Let p = -7 + 3. Put -0.4, -3, p in ascending order.
p, -3, -0.4
Let h = 15 + -18. Let q(a) = a**3 + 4*a**2 - 6*a + 2. Let x be q(-5). Let s(y) = y**3 - 7*y**2 + y - 7. Let z be s(x). Sort z, 2, h.
h, z, 2
Let b = -0.03 + -0.03. Let k = b + -0.24. Suppose m = -3*z + 4, 3 = 2*m - m + 2*z. Sort k, m, 0.3 in increasing order.
k, 0.3, m
Let v = -12 + 12.03. Let f = v + 0.97. Put -4, f, -2/13 in descending order.
f, -2/13, -4
Let s(u) = u**2 - 19*u + 16. Let a be s(18). Put 5, 2, -5, a in decreasing order.
5, 2, a, -5
Suppose 18 = 3*i + m, 5*m - 4 = 2*i + 1. Put i, 3, -6, -4 in ascending order.
-6, -4, 3, i
Suppose 9 + 11 = -5*y. Let u = y - -3. Put 2, u, -2 in ascending order.
-2, u, 2
Let i be ((-1)/3)/((-3)/54). Let j be (-2)/((-10)/(1*-2)). Put i, j, -3 in increasing order.
-3, j, i
Let m = -3.01 - -0.01. Let h = -2 - -1. Let a = -0.7 - h. Sort m, a, 0.2 in decreasing order.
a, 0.2, m
Let r(m) = m. Let p be r(5). Suppose -13 = 4*k - 1. Put k, -4, p in increasing order.
-4, k, p
Let g(h) = -h**2 + 18*h - 18. Let c be g(17). Sort -4, -5, c, 1 in increasing order.
-5, -4, c, 1
Let u(k) = -k + 5. Let z be u(3). Suppose 4*q - c - 11 = 0, -q + 7 = -3*q + 3*c. Sort q, z, -4 in ascending order.
-4, z, q
Suppose z - 2 = 2*z. Let u(g) = -4*g**3 + g**2. Let x be u(1). Sort 0, z, x in descending order.
0, z, x
Let s = 9 + -11. Let g be ((-1)/s)/(-5 + 6). Sort g, 1/3, 4 in decreasing order.
4, g, 1/3
Suppose 0 = 3*d - 9*d - 144. Put 4, 0, d, -1 in descending order.
4, 0, -1, d
Suppose -4*z = 2*f + 10 - 2, -3*f + 3*z + 33 = 0. Let k = f - 5. Let g be (-4)/8 - (-9)/(-2). Sort k, g, -2.
g, -2, k
Let j = 19 - 8. Let k = j - 15. Sort -2, -3/2, k.
k, -2, -3/2
Let y(n) = n**3 + 10*n**2 + 10*n + 1. Let w be y(-1). Put 1, -1, -3, w in increasing order.
-3, -1, w, 1
Let v be (-2 + (-1 - 1))/(-2). Suppose 3*b - 10 = n, -v*b + 6*b = 20. Let p = 0.3 - 0. Sort n, -3, p in descending order.
n, p, -3
Suppose 5*u - 26 = -2*l, -4*l = l + 3*u - 27. Let v = l - -1. Let i = -1 + 2. Put v, i, 3 in decreasing order.
v, 3, i
Suppose -4*z = 2*z. Suppose 4*h = w - 5*w, -5*h = 2*w - 12. Let l be 17/4 + (-1)/h. Sort l, z, -6.
-6, z, l
Let n = -80 - -80. Put 3, n, -13 in ascending order.
-13, n, 3
Suppose 2*n + 7 + 9 = 3*x, 5*x - 5*n - 30 = 0. Let i = 1 - -1. Put x, i, -5 in increasing order.
-5, i, x
Let a = -0.9 - -1.4. Sort 5, 0, a.
0, a, 5
Let p be 0 - -2 - 3/(-3). Put 5, p, -4 in descending order.
5, p, -4
Let s = 0.14 - 7.14. Let h = -7.3 - s. Put -4/7, 1, h in increasing order.
-4/7, h, 1
Suppose h - 2 = -3. Let f be (((-1)/(-1))/1)/h. Suppose 0 = -3*q + 34 - 25. Put 4, q, f in descending order.
4, q, f
Let p be 26/(-4) - (-1)/2. Suppose 10 = -2*h + 2*r, -h - h - 4*r - 16 = 0. Let u be (-3)/p - (-33)/h. Sort -2/9, -2, u in descending order.
-2/9, -2, u
Let z(s) = -4*s + 1. Let j be z(-1). Sort -4, 0, j in decreasing order.
j, 0, -4
Let z = -4 + 2. Let y = z + 2. Sort y, -1, 5 in ascending order.
-1, y, 5
Let v = 33 + -30.9. Let a = v + -0.1. Let s = -2.5 + a. Sort s, 1, 5 in descending order.
5, 1, s
Let m(v) = -6*v + 3. Let w be m(1). Put 1/3, w, -3/7 in ascending order.
w, -3/7, 1/3
Let u(x) = -x**3 + 3*x**2 - 2*x + 2. Let a be u(2). Suppose 0 = 5*s - 7 + 2. Let i be (-4)/(-10) - 14/10. Put s, i, a in increasing order.
i, s, a
Let m be 2/(-1*2/4). Sort -2, -0.2, m in ascending order.
m, -2, -0.2
Let q = -116 - -1046/9. Sort -3, q, -1/7 in ascending order.
-3, -1/7, q
Let t = 153 + -1379/9. Let a = 9 - 3. Let z = -2 + a. Put -0.1, t, z in descending order.
z, -0.1, t
Suppose -j + 3*j = 0. Let k = 337/6 - 56. Sort j, 2/3, k.
j, k, 2/3
Suppose -6*v + 3*v + 75 = 0. Suppose v = -5*l - 5*k, 2*l = -0*l + k - 1. Put -5, l, 3 in decreasing order.
3, l, -5
Let v = 10 + -10. Sort v, 3, -3 in descending order.
3, v, -3
Let x = 0.5 + -0.3. Suppose -6*l + 1 = -11. Sort l, x, -3 in descending order.
l, x, -3
Let z = -19 + 4. Let q be (0 - 2)/((-6)/z). Put 1, -1, q in decreasing order.
1, -1, q
Let u(c) = -2*c**2 - 49*c - 28. Let f be u(-24). Put f, -36, 4, 3 in decreasing order.
4, 3, f, -36
Let s = 4 - 2. Suppose 3*k - c = 2*c - 9, 5*k = -s*c - 36. Let w = -2 - k. Sort 2, w, 1 in descending order.
w, 2, 1
Let v = 17 - 17. Suppose 4*l + 5 - 1 = 0. Put v, l, 4 in ascending order.
l, v, 4
Let b = 19 - 23. Let y(m) = m**2 - 6*m - 3. Let c be y(6). Let u = c - -6. Put u, b, -3 in descending order.
u, -3, b
Let h = -1 + 1. Let q = -137.9 + 138. Put 1, h, q in ascending order.
h, q, 1
Suppose -z + 2 + 0 = 0. Suppose -7*a = -z*a + 20. Sort 2, a, -3.
a, -3, 2
Let s be ((-10)/6)/(3/(-9)). Suppose s*x + 18 = -7. Let c(d) = d**2 + d - 3. Let p be c(0). Sort x, 5, p in descending order.
5, p, x
Suppose -3*t - 5*k - 13 + 1 = 0, 2*t + 8 = 3*k. Sort 16, 0, t in decreasing order.
16, 0, t
Suppose 5*a + 51 = 11. Put 5, a, -2 in descending order.
5, -2, a
Let c = -0.12 - -0.22. Suppose 0*t - 3*t = 3. Sort c, t, -0.5 in increasing order.
t, -0.5, c
Let u(g) = -5*g**3 - 2*g**2 - g. Let w be u(-1). Suppose l + 1 = 2*l. Let p(s) = 4*s**3 - s. Let r be p(l). Sort w, -5, r.
-5, r, w
Let q(r) = 16*r**2 + 21*r - 20. Let f(w) = -3*w**2 - 4*w + 4. Let c(b) = 11*f(b) + 2*q(b). Let x be c(-2). Sort 2, 0, x in descending order.
x, 2, 0
Let i(r) = r**3 - 6*r**2 - r + 9. Let l be i(6). Put 0, 5, l, -1 in increasing order.
-1, 0, l, 5
Suppose 29 = 6*l + 5. Sort l, -1, -6 in descending order.
l, -1, -6
Let b be (-8)/(-4) + (-1 - 1 - -1). Sort -4, -5, b, -3 in increasing order.
-5, -4, -3, b
Let i be (-114)/15 - (-4)/(-10). Let v = -7 - i. Sort -3, -5, v.
-5, -3, v
Suppose i + 3*r = 12, i = 3*r - 7 - 11. Put -2, 1, i in descending order.
1, -2, i
Let i = -3 - -5. Let z = 17.2 - 0.2. Let n = z + -17. Sort 5, n, i.
n, i, 5
Let x be -5*1*(1 + -2). Suppose -j + x - 3 = 0. Let t = 0.02 - 0.42. Sort 0, j, t.
t, 0, j
Suppose -f + 2 = -2. Suppose f*o = 8*o. Let d = 312 - 2499/8. Put o, -0.4, d in increasing order.
-0.4, d, o
Suppose -8 = -k - u, -3*k + 5*u - u = 11. Suppose f - 2 = 5*w + 28, -w - 4 = 0. Let s be 46/f - 10/(-25). Put -3, k, s in descending order.
s, k, -3
Let r be (1 - (-1 + -2)) + -1. Let n(j) = j**2 - 5*j + 2. Let u be n(5). Sort r, u, -4 in increasing order.
-4, u, r
Let s = -153 + 157. Put 3/5, -2, -2.1, s in descending order.
s, 3/5, -2, -2.1
Let w(z) = 5*z - 9. Let u be w(3). Sort 3, -3, u, -2.
-3, -2, 3, u
Let k = -1.1 + 0.9. Sort k, 3/2, 1 in ascending order.
k, 1, 3/2
Let j = 17 + -14. Sort -5, j,