 a, -0.4 in decreasing order.
a, -0.4, -5
Let z = 134 + -1205/9. Sort -0.3, z, 1/5, 0.1.
-0.3, 0.1, z, 1/5
Let z = -4.7 - -5.7. Sort -0.1, -2, 0.1, z in descending order.
z, 0.1, -0.1, -2
Suppose 4*n - 10 = -4*b + 2, -5*n + 25 = 0. Suppose 5 = i + 4*i. Suppose 2*f = 5*o - 0*f + 3, -f - i = 0. Put 3, o, b in descending order.
3, o, b
Let m(r) = r**2 - 7*r + 3. Let d be m(5). Let j = d + 6. Let l(g) = -4*g**2 - 1. Let q be l(j). Sort -4, q, -1 in decreasing order.
-1, -4, q
Suppose -2*r + 86 = 5*v, -6*v + 5*r = -3*v - 64. Suppose -v = 4*m - m. Sort 4, -5, m in increasing order.
m, -5, 4
Suppose -3*u + 6*u - 2*b - 34 = 0, -u + 5*b = -20. Put u, 2/11, -0.4 in increasing order.
-0.4, 2/11, u
Let u be 48/45 + 2/(-3). Let w = 6 - 6.3. Let n(a) = -a**2 - 17*a + 16. Let j be n(-18). Sort j, u, w in descending order.
u, w, j
Suppose -3*t - 2*z + 4 = 14, -3 = -3*z. Sort 5, t, -1 in ascending order.
t, -1, 5
Let f(p) = 11*p - 7. Let t(b) = -5*b + 4. Let u(s) = -6*f(s) - 13*t(s). Let z be u(-7). Put 0, -1, z in descending order.
0, -1, z
Let n = -129/91 - -11/7. Let c = 0.7 - 0.2. Let p = c - 0.3. Sort -5, n, p in descending order.
p, n, -5
Suppose -6 = -2*r - 0. Sort -3, -5, r.
-5, -3, r
Let o = -0.299 - 2.701. Let m = 15 + -14.3. Put -0.1, m, o in increasing order.
o, -0.1, m
Let k(a) = -a**2 + 11*a - 6. Let g be k(8). Suppose g = 4*f - f. Let l = f + -10. Sort l, 0, 3 in descending order.
3, 0, l
Let d = -65 + 68. Sort -5, 0, d.
-5, 0, d
Suppose 25 + 14 = 3*a. Suppose -a = -4*j - 5. Suppose -3*q - 6*m + 22 = -4*m, 3*q - 17 = -m. Sort j, -4, q.
-4, j, q
Let a = 7 - 4. Let y(h) = h - 4. Let r be y(4). Sort r, a, -0.3 in descending order.
a, r, -0.3
Let o = -17 - -20. Suppose 0*z = -3*x - o*z + 9, -4*z = 4. Put x, -1, 3 in descending order.
x, 3, -1
Let h(b) = -b**3 - 11*b**2 + 14*b + 24. Let u be h(-12). Sort 3, 1, -3, u in descending order.
3, 1, u, -3
Let m(z) = z**3 + 6*z**2 - 2*z - 9. Let h be m(-6). Let j be (3 - (-3 + 3)) + -1. Suppose j*i - 3*i = h. Put 4, i, 1 in ascending order.
i, 1, 4
Let x = -3 + 0. Let k = -0.06 + -1.94. Let n = k - 0. Put n, -1/4, x in increasing order.
x, n, -1/4
Let b be 2/6*(-22 - -7). Put b, 3, 0 in ascending order.
b, 0, 3
Let k = -0.7 - -1. Let v be 3 - 2*(-4)/8. Put 0.4, k, v in increasing order.
k, 0.4, v
Suppose 2*i + 12 = -6. Let k = i + 13. Suppose -7*w + 1 - 15 = 0. Sort w, k, 2 in increasing order.
w, 2, k
Let v(a) = 76*a + 457. Let m be v(-6). Suppose 4*k - 3*l = 14, 2*l + 0*l = -4. Sort m, -4, k in increasing order.
-4, m, k
Let i(m) = -4*m - 4. Let f be i(-2). Let t(j) = -j**2 + 8*j - 1. Let d be t(7). Sort d, -1, f.
-1, f, d
Suppose 12 = r - 4*v + 2, 38 = -3*r - 5*v. Let d be 33/(-9) + 2/r. Let i = d + 1. Sort i, -2, 5 in descending order.
5, -2, i
Let m(h) = h**3 + h**2 - h + 24. Let b be m(0). Suppose 0*s - 3*s - 3*x - b = 0, -4*s = 2*x + 40. Let w be (-3)/(9/s) - 2. Put w, 0, -4 in decreasing order.
w, 0, -4
Let h = 4 + -5.3. Let i = -3 - h. Let g = -2 - i. Sort 1/7, g, 4/7 in decreasing order.
4/7, 1/7, g
Let o = 10 + -3. Let j = 7.4 - o. Sort -2/9, 1, j.
-2/9, j, 1
Let d(s) = -5*s**3 + 2*s**2 - 1. Let g be d(1). Sort 15, 1, g.
g, 1, 15
Suppose 0*y + 12 = -3*y. Let n be (-3)/(-12) + 11/(-12). Sort 1/2, n, y in ascending order.
y, n, 1/2
Let m(r) = r + 12. Let n be m(-7). Let g be 13 - (6 - (-2 + n)). Suppose -g*h = -6*h + 8. Sort h, 5, 3 in descending order.
5, 3, h
Let m = -107 + 748/7. Let s = 1325/21 - 63. Let v = -8/21 + s. Sort 1, m, v in decreasing order.
1, m, v
Suppose 4*z + 0*z = s - 12, 0 = z + s + 3. Let u be (-1 - z)/((-1)/(-2)). Sort -5, u, 0 in decreasing order.
u, 0, -5
Let y be 0/(1/(-1) - 0). Suppose y = m + 2, -2*m = 5*a - 5*m - 6. Put 3, a, -2 in increasing order.
-2, a, 3
Let f = 3 + -6. Sort 1, f, -8 in ascending order.
-8, f, 1
Suppose -1 = -4*m - w - 16, -5*m + 2*w = 22. Sort -0.1, 2/7, m in decreasing order.
2/7, -0.1, m
Let k = 0 + -0.2. Let q = 4/73 + 118/511. Put q, k, -4 in descending order.
q, k, -4
Let c = 2 - 0.5. Let m = c - 1. Let p = -3.5 + m. Put -0.5, 5, p in increasing order.
p, -0.5, 5
Let b = 15 - 14. Sort b, 4, -4.
-4, b, 4
Let w be 18/(-36)*4/(-10). Let a(f) = -f**2 - 6*f + 6. Let j be a(-7). Sort j, w, -4 in ascending order.
-4, j, w
Suppose 0 = t + 2*t - 5*a - 5, 3*t + 5 = -5*a. Suppose g + 5*m + 6 - 19 = 0, -4*g = -m + 11. Let c be g/(-1)*(-3 + 1). Sort 1, c, t in decreasing order.
1, t, c
Let p be 2 - (0 + (-13)/(-6)). Let u = 109/781 - -3/71. Sort p, -0.5, u.
-0.5, p, u
Let o = 29/2 - 15. Let z(r) = -4*r + 10. Let g be z(3). Put g, o, 5 in decreasing order.
5, o, g
Let j = 6 + -5.9. Let l = -16.87 - -17. Let p = l - 2.13. Sort 3, j, p in ascending order.
p, j, 3
Let k = -5.6 + 6. Let a be (-10)/36*(-2)/(-5). Suppose n = 5*f + 2, 3*f = -8*n + 3*n - 18. Sort n, k, a in increasing order.
n, a, k
Let n = 3 - 2. Let s = -0.7 + 1. Put 1/4, s, n in increasing order.
1/4, s, n
Let i = 311/20 + -63/4. Sort 4, -2/15, i, -0.1 in increasing order.
i, -2/15, -0.1, 4
Let a(c) = 4*c**3 - 1. Let o be a(1). Suppose -o*m + 4 = -8. Put m, 0, -2 in increasing order.
-2, 0, m
Let w = 13.4 - 13. Sort w, -3/4, -0.02 in increasing order.
-3/4, -0.02, w
Suppose -2*d - 3*b + 915 = d, -4*d + 3*b + 1234 = 0. Let t = -2153/7 + d. Sort -0.2, t, 4 in ascending order.
t, -0.2, 4
Let i be (4 - 2)*(-35)/14. Sort i, 2, 5, 4 in decreasing order.
5, 4, 2, i
Let h = 2 - 3. Let l = 0.5 + h. Let w be (-3)/(-6) + 24/(-32). Sort w, l, 0.2.
l, w, 0.2
Let z = -14.5 + 27.8. Let f = z + -13. Sort -2/5, 0, f in ascending order.
-2/5, 0, f
Let b be (10 - 11)*(2 + -2) - 2. Let d = -1 + 1. Suppose -2*k + 4 = -0*k. Put k, d, b in decreasing order.
k, d, b
Suppose 4*g = -2*z - 3*z + 10, g = 2*z + 9. Put -8, z, -5 in increasing order.
-8, -5, z
Let i = 5 - 1. Sort i, 3, 15 in decreasing order.
15, i, 3
Let f be (-36)/(-7) - (172/28 - 6). Suppose 3*r + 8 = r. Let q = r - -3. Sort f, 4, q in increasing order.
q, 4, f
Let p be (12/9)/(1/(-3)). Suppose -5*k = 20, -4*l + 3*l = 4*k + 22. Let h(s) = -s**3 - 5*s**2 + 5*s - 8. Let y be h(l). Put 5, p, y in ascending order.
p, y, 5
Let j be 2/10*(-10)/4. Let u = 0.64 + -0.14. Put u, -0.3, j in descending order.
u, -0.3, j
Let g(b) = 3*b + 16. Let l be g(-6). Let r be ((-3)/(-2)*4)/l. Sort -4, r, -1 in increasing order.
-4, r, -1
Let g = 46 - 46. Let v(d) = -4*d**3 - d**2 - d + 1. Let l be v(1). Sort g, l, 3/2.
l, g, 3/2
Let z(l) = l - 4. Let h be z(4). Suppose 0 = w + 1 + 4. Put w, -4, h in descending order.
h, -4, w
Let n be 2/((2/(-5))/(8/10)). Put n, 3, 0.3, 0.2 in descending order.
3, 0.3, 0.2, n
Let v(w) = -w**3 + 8*w**2 + 4. Let f be v(8). Let o = -0.2 + 0.5. Let c = o - -0.2. Sort f, c, -4 in decreasing order.
f, c, -4
Suppose 3*y = -2*v - 10, -4*y - 14 = 2*v - 0*y. Suppose 24 = 2*r + r. Let c(k) = k**2 - 7*k - 8. Let w be c(r). Sort v, w, -4 in decreasing order.
v, w, -4
Let l = -5/7 + 39/35. Put 2, l, -0.2 in increasing order.
-0.2, l, 2
Let i = -3.05 - -3. Let k = i + -0.15. Let z be 1/((-5)/(-2) - 0). Sort 2, k, z in ascending order.
k, z, 2
Let n = -43/164 + 1/82. Sort -2/15, 5, n.
n, -2/15, 5
Let b(l) = l**2 - l - 1. Let y be b(2). Let u be 58/20 + 0 - 2. Let j = u - y. Put -0.5, j, 1 in decreasing order.
1, j, -0.5
Suppose 0 = i - 4*n + 7, -2*i - 2*n = 11 + 3. Let b = -6 - i. Sort -1, 0, b in decreasing order.
b, 0, -1
Let g = -7 + 10. Suppose -2*h + 0*y + 5*y + g = 0, -6 = -2*y. Let i be 1/2 + h/6. Put 3, i, 1 in ascending order.
1, i, 3
Suppose 2*x - 22 - 8 = 0. Suppose 4*o - 7*o = x. Sort o, -4, -1 in decreasing order.
-1, -4, o
Suppose 3*t = 2*t + 4. Suppose -b + 5 = t. Suppose f - 3 = -b. Sort 5, 3, f in ascending order.
f, 3, 5
Let n = -4 + 6. Let b = 18.23 + -0.23. Let u = b - 17. Put -5, n, u in increasing order.
-5, u, n
Let j = 0.87 + -0.37. Sort j, -3, 1 in ascending order.
-3, j, 1
Let v be -5*(-3)/(12/(-1)). Let p be (4/3)/(-4) - -1. Sort p, 2, v in decreasing order.
2, p, v
Let a(w) be the third derivative of -w**5/60 - w**4/3 - 5*w**3/6 + 4*w**2. Let t be a(-7). Sort t, 0, 3 in decreasing order.
3, t, 0
Let s = 1.3 - 1.2. Let x = 3 + -3.4. Let w = x + 4.4. Sort w, 2/9, s.
s, 2/9, w
Suppose 0 = -5*t - 4*v - 40, 5*t - 6*v + 10 = -4*v. Put -1, -11, t in increasing order.
-11, t, -1
Let o be (1 - 13)*5/(-10). Suppose 4*l - 2*l - o = 0. Put -