 13 = -4*i - n*a, 6*i - 2*i + 5 = 3*a. Sort 1, d, i in decreasing order.
1, i, d
Let w = 0 - -0.5. Let g = 67.9 - 62. Let o = g + -6. Put o, -0.2, w in descending order.
w, o, -0.2
Let a(q) = -q**3 + 5*q**2 - q + 3. Let m be a(5). Suppose 70 = d - 6*d. Let f be (-10)/d + 18/63. Sort 3, f, m in ascending order.
m, f, 3
Let b = -10 + 6. Let n = 1 + b. Sort 0, 3, n.
n, 0, 3
Let n be (-2437)/(-24) - (-8)/(-12). Let b be (-608)/(-6) + (-1)/3. Let r = n - b. Put -3, r, -4 in descending order.
r, -3, -4
Let t be (-2)/(-5) - (-4)/(-10). Suppose -3*z = 5*n - 8, 2*z - 20 = 7*z. Sort 3, n, t.
t, 3, n
Suppose -2*b - 1 = -17. Let m = b + -11. Sort 2, m, 3.
m, 2, 3
Let g = -2.01 - -0.01. Let a = -588/85 + 34/5. Put a, g, -3 in ascending order.
-3, g, a
Let i = 8 + -14. Let b be 162/39 - i/(-39). Sort b, -1, 3 in ascending order.
-1, 3, b
Let x(h) = -h**3 + 11*h**2 + 11*h + 17. Let r be x(12). Sort -5, 2, r in decreasing order.
r, 2, -5
Suppose 0 = -4*k - k + 2*s + 18, 0 = 3*s + 12. Suppose -k*m = -4 + 14. Sort m, 2, 0 in descending order.
2, 0, m
Let u = 167.1 - 167. Let w = -1 - -2. Let g be w/(-3) + 20/6. Sort u, g, 5.
u, g, 5
Suppose 0 = -4*c - 0*c + 8. Suppose -m + c*m = -5. Let a = -2 - -7. Put m, 1/3, a in descending order.
a, 1/3, m
Let r = 0 - 0.2. Let v = 0.5 + r. Let k = v + -0.2. Sort -4, k, 1/4.
-4, k, 1/4
Let q = -0.42 + 0.22. Put q, 4, 3/7, -0.1 in descending order.
4, 3/7, -0.1, q
Suppose 5 = -5*n - 2*u, 0 = n - 2*u - 11 - 0. Let l = 17 - 21. Sort l, n, -1/8 in ascending order.
l, -1/8, n
Let z = -24 - -23.5. Sort -1/3, -2/9, 1, z in ascending order.
z, -1/3, -2/9, 1
Suppose 20 = -4*w, 4*w = y - 0*y - 24. Let u be 2/y + (-18)/(-4). Sort u, -5, -3.
-5, -3, u
Let y = 0.55 - 0.15. Let d = 0.8 - y. Sort -2, d, 0.3 in increasing order.
-2, 0.3, d
Let x be 1/((-10)/2 + 4). Suppose -2*c + c = 0. Let p be (c/1)/(-1) - -2. Sort 0, x, p.
x, 0, p
Let v = -36 - -35.81. Let c = v + 1.09. Let y = c + -0.6. Sort 1/5, 1/2, y in ascending order.
1/5, y, 1/2
Let s = 0.04 - 0.41. Put 2/5, -5, 0, s in decreasing order.
2/5, 0, s, -5
Let r = 0.88 - -0.12. Let q(u) = -u**3 + 4*u**2 + 6*u - 1. Let p be q(5). Put r, p, -7 in decreasing order.
p, r, -7
Suppose -8 = y + 3*y. Suppose -2*g - 8 = 0, -w = -2*g + 3*g + 3. Put 2, w, y in ascending order.
y, w, 2
Let m(j) = -4*j - 43. Let u be m(-10). Let a = 25 - 14. Let i = a + -6. Sort u, i, 2 in increasing order.
u, 2, i
Let h = 59 + -55. Put h, 1, 0, 5 in descending order.
5, h, 1, 0
Suppose 0 = 2*b - 0 + 10. Let z = -8 - -7. Sort -2, b, z in decreasing order.
z, -2, b
Let v be 176/5*20/12. Let r = -60 + v. Let l = 5.5 + -5. Put r, l, -3 in decreasing order.
l, r, -3
Let l = 0.041 - -3.959. Sort 0.3, 1, 0.09, l in descending order.
l, 1, 0.3, 0.09
Let f = -2.02 + 0.02. Let j(r) = -r**2 + 8*r + 6. Let y = -12 + 21. Let t be j(y). Sort f, -5, t.
-5, t, f
Let s be (44/154)/((-4)/(-7) - 1). Sort s, 3, -2.
-2, s, 3
Let w = -0.8 + -0.2. Sort 1/4, 1/8, w in decreasing order.
1/4, 1/8, w
Let w(v) = -v**3 + 5*v**2 + 9*v - 9. Let h be w(6). Put h, 5, 4, -5 in descending order.
h, 5, 4, -5
Let p be -2 - 1*-11 - 1. Let s be (-2 + 5)*p/(-6). Let f = 1 - -2. Sort -2, f, s.
s, -2, f
Suppose 3*i - 2*i = 3. Let n = i - 4. Sort 4, 2, n in decreasing order.
4, 2, n
Suppose -3 = 4*a - 3*c + 1, -5 = 5*a + c. Suppose -4*t - 6 = -7*t. Suppose 5*m = 3 + t. Put 0, m, a in decreasing order.
m, 0, a
Suppose -4*v = -4*u + 17 + 7, 24 = -3*v + 5*u. Sort 5, -1, 2, v.
v, -1, 2, 5
Let x = -0.006 - -0.406. Suppose -5*v - 20 = 2*t - 3*t, -23 = v - 4*t. Put x, v, 2 in decreasing order.
2, x, v
Let w(q) = q**3 - 2*q - 2. Let f be w(-2). Let x be -2 - ((3 - 1) + f). Sort -6, 1, x.
-6, 1, x
Let g = 23 + -27. Sort 4, g, 1 in descending order.
4, 1, g
Let t = 9 + -10. Sort 0.1, 1, t in decreasing order.
1, 0.1, t
Let x = -19 + 75/4. Let z(t) = t**2 - t + 1. Let a(m) = 3*m**3 - 7*m**2 + 6*m - 5. Let o(l) = a(l) + 6*z(l). Let p be o(1). Put x, -3/7, p in ascending order.
-3/7, x, p
Let d = 3 + -1. Suppose 12 = 4*l + d*n, 0 = 4*l - 3*n - 2*n - 40. Sort l, -3, -1.
-3, -1, l
Suppose 5*j + 15 = 5. Sort -4, j, 4 in decreasing order.
4, j, -4
Let t(j) = j**3 + 7*j**2 + 8*j + 13. Let m be t(-6). Sort 0, 2, m, 4.
0, m, 2, 4
Let k = 9 + -6. Let i be (0 - 0/(-5))/(4 + -3). Put 5, i, k in descending order.
5, k, i
Suppose 3*z + 1 = 4*z, a = -2*z + 5. Sort 0.5, -2, a in descending order.
a, 0.5, -2
Let c(a) = -a**3 + 11*a**2 + 13*a - 12. Let b be c(12). Let n(d) = -d. Let j be n(4). Sort b, 5, j in descending order.
5, b, j
Let z be (-7)/(-6) + 16/(-24). Sort z, 5, 0 in descending order.
5, z, 0
Suppose -11 - 17 = 7*b. Suppose -3 = -5*h + 2*h. Put b, 4, h in descending order.
4, h, b
Suppose -7 = -x - 3. Let u be (-465)/(-165) - x/(-22). Put 0.5, -2, u in ascending order.
-2, 0.5, u
Suppose -2*v = -6*v + 20. Suppose v*u - 14 = 6. Let h be 2 - (-1 - 0) - 0. Sort 0, h, u.
0, h, u
Let z = 145/3 - 49. Let j = 127 - 379/3. Sort z, j, 3 in descending order.
3, j, z
Suppose 2 = -b + 3*h - 0*h, 4*h = b + 4. Put b, 1, 2 in descending order.
b, 2, 1
Let p(i) = -2*i**2 - i - 1. Let z be p(-2). Let y = 11 + z. Put 0, 1, y in descending order.
y, 1, 0
Let w be ((-6)/4)/(2/4*-1). Put -10, w, 5 in descending order.
5, w, -10
Suppose 6 = 4*i + 2*d, 0*i + 2*i - 5*d = 9. Sort 0, -8, i in decreasing order.
i, 0, -8
Let h be (-2 + 5)/(-3)*-7. Put h, 4, 3 in decreasing order.
h, 4, 3
Suppose -4*u - 7 = s, 2 - 12 = -4*s + 3*u. Let b be -2*(0 + 3)/(-3). Let l = b + 3. Sort -1, s, l in descending order.
l, s, -1
Let i = -21 - -13. Sort -0.2, 3, i.
i, -0.2, 3
Let s = -50 + 47. Sort 1.5, 1, s in descending order.
1.5, 1, s
Let t be 2*3/(-60)*-5. Sort 0.1, 5/6, t, -3 in descending order.
5/6, t, 0.1, -3
Let h be (-44)/(-12) + 1/3. Suppose t = -h*t - 10. Sort 2, t, 0 in decreasing order.
2, 0, t
Let w = 163/35 + -34/7. Put -5, 5, w, -0.5 in increasing order.
-5, -0.5, w, 5
Let b = -9 + 8.7. Put 1, b, 2/15 in increasing order.
b, 2/15, 1
Let u = 1 + -2. Put 4, 0, u, 7 in ascending order.
u, 0, 4, 7
Let y = 8 - 5. Let b be -1 - (-2 + 4/(-1)). Suppose 0 = -2*h - 1 + b. Sort y, h, -2.
-2, h, y
Let h be 4 - 12 - 4/(-2). Let o(c) = -c - 5. Let r be o(h). Let q be (-2)/(r + -3) + 0. Put 4, q, -2 in increasing order.
-2, q, 4
Let b(c) = -c**2 + 7*c - 3. Let j be b(0). Put -0.2, 5, j, 0.3 in descending order.
5, 0.3, -0.2, j
Let v be (-5 - -11)*(-1)/3. Let h = 1 + -1. Put h, v, -5 in decreasing order.
h, v, -5
Let y(q) = q**2 - 3*q - 1. Let t be y(4). Put -1, t, 2 in increasing order.
-1, 2, t
Let r(y) = y**2 - 4*y + 1. Let x be r(3). Sort x, -4, -3, 1 in ascending order.
-4, -3, x, 1
Let g be ((-12)/(-10))/(1/5). Let n be ((-4)/g)/((-10)/(-75)). Put n, -1, 5 in increasing order.
n, -1, 5
Let f be (-3)/9 + 35/(-3). Let c be 66/f - 1/(-2). Put 5, 0, c in decreasing order.
5, 0, c
Suppose 0 = -5*r - c - 8, 4*r + 9 + 1 = -2*c. Let x be 2/(-4)*(1 - 3). Let a = x + r. Sort 3, a, 2 in ascending order.
a, 2, 3
Let u be 24/18 + (-33)/(-9). Put u, -14, -2 in decreasing order.
u, -2, -14
Let t = 1 - 3. Put -5, 3, t in decreasing order.
3, t, -5
Suppose v - 2 = 0, 3*s - 5*v + 0 = -4. Sort s, -3/2, 2/9 in ascending order.
-3/2, 2/9, s
Let v(f) = f + 219 - 219. Let c be v(1). Sort 5, -5, c in increasing order.
-5, c, 5
Let t(v) = -3*v**3 + v**2. Let h be t(1). Let p be -2 + (-4 - -2 - h). Let l be (6/(-4))/(1/2). Put l, 3, p in descending order.
3, p, l
Let i = 15.6 - 16. Sort 2/9, 0.5, i in descending order.
0.5, 2/9, i
Let w = -5 + 4.7. Sort 5, w, 7/3.
w, 7/3, 5
Suppose 5*a - 3*x - 17 = -2*x, 6 = 3*a - 2*x. Put 2, a, -3, 3 in descending order.
a, 3, 2, -3
Let q be 1/(-4) - ((-581)/(-364) - 2). Let i be -2*-3*(-3)/45. Sort i, 4, q in descending order.
4, q, i
Let n = -9.7 - -9.4. Put 5, -1/10, 0.4, n in increasing order.
n, -1/10, 0.4, 5
Let g = -0.2 - 0. Suppose 0 = -k - 2*k - 6. Let b be k/5 + (-9)/15. Sort 2/7, g, b.
b, g, 2/7
Let u(h) = -2*h**2 + 3*h - 2. Let v be u(2). Sort -3, 2, v, -1.
v, -3, -1, 2
Suppose 36*l - 35*l - 4 = 0. Sort -4, -2/9, l.
-4, -2/9, l
Suppose -2*b + 4*s + 18 = 0, b + 2*b - 2*s = 19. Suppose -g + 13 = -3*j, 4*j - 2*j = b*g. Put -2, 2, j in decreasing order.
2, -2, j
Let q = -4 - -4. Sort 3, q, -4 in decreasing order.
3, q, -4
Let v(y) = -y**3 - 6*y**2 - 8*y - 9. Let n be v(-5). Put n, 3, 4