 = 2*m - 16, -2*l - 1 = -u*m + 3. Put l, 3, 0 in descending order.
3, 0, l
Let n be (-3 + 123/42)*2. Let m = 0.19 + 8.81. Let k = m - 5. Put k, 2, n in decreasing order.
k, 2, n
Suppose 4*q + 4*m = -4, -3*m + 1 = 4*q + 2. Suppose 0 = 2*k - 5*l + 10, 0 = 3*l - q*l. Let w be 0 - 4/2 - -3. Put w, k, 3 in decreasing order.
3, w, k
Suppose -5*v + p + 7 = 0, -4*p = v + v - 16. Put 6, -1, v in descending order.
6, v, -1
Let o(l) = -l**2 - 5*l. Let d be o(-4). Suppose -d*x + 12 = -0*x. Suppose 2*y = 3*y - 5. Put y, x, -4 in decreasing order.
y, x, -4
Suppose -3*u - 3 = 2*j - 4*j, 2*u + 2*j + 2 = 0. Suppose 0 = -2*k, 3*h - 3*k = -7*k - 24. Let x = -10 - h. Put u, x, 0 in ascending order.
x, u, 0
Let v be 14/36 - 20/120. Put 23, -1/3, v, -0.2 in increasing order.
-1/3, -0.2, v, 23
Suppose 4*j = j + 12. Let p = -2 + j. Suppose -3*i + p*n + 3 = -2*n, 2*i = -2*n + 2. Sort -4, i, 4.
-4, i, 4
Let f = -5/28 + 3/7. Put -3, f, 3 in ascending order.
-3, f, 3
Let s = 2 - 1.87. Let z = s + -0.03. Sort 3, z, -4 in ascending order.
-4, z, 3
Let j = -0.183 - -0.083. Let m = -45 + 134/3. Sort m, -2/9, j.
m, -2/9, j
Let x = 30 + -27. Sort -2, -3, x, -5 in decreasing order.
x, -2, -3, -5
Let x = 0.08 - 0.38. Suppose -3*v - 2*v = -25. Suppose 4*l - 5*u = 1, u + 26 = v*l + 3*u. Sort l, x, 0.4 in descending order.
l, 0.4, x
Let b(o) = o**3 - o**2 - 5*o + 2. Let d be b(0). Suppose 2*r - 2 - 1 = a, -5*r + 10 = -5*a. Sort -3, d, a in increasing order.
-3, a, d
Suppose 2*s = -0*s + 4. Sort s, -0.049, 1 in descending order.
s, 1, -0.049
Let a = 3 + -8. Let j = a + 4. Sort j, -3, -4 in decreasing order.
j, -3, -4
Let c = 2.6 - 3. Let k = 52 - 54. Sort c, -4, k.
-4, k, c
Let j = 64 + -51. Put -1, -2, j in ascending order.
-2, -1, j
Let t = -17 + 18. Put -2/7, -0.1, t in ascending order.
-2/7, -0.1, t
Let x = -17.9 + 18. Put x, -0.1, -3 in ascending order.
-3, -0.1, x
Let s(x) = x + 6. Let a be s(-6). Let g(j) = 4 - 11 + 3 + j. Let c be g(8). Sort a, c, 0.1 in ascending order.
a, 0.1, c
Let r = 68 - 56.2. Let u = r + -12. Sort 0, u, -1 in descending order.
0, u, -1
Let s be 2/(-8) + 2/8. Let x be (-11)/(1 + (-3 - -3)). Let c = -10 - x. Sort c, 3, s.
s, c, 3
Suppose -2*w = -w - 3. Suppose 4*o - 1 = w*o. Let b be (1 + -6)*(-1)/(-1). Sort b, 4, o in descending order.
4, o, b
Let h(p) = p. Let s be h(2). Suppose 21 = -d + 5*u, d + 5*u - 21 + 2 = 0. Sort -5, d, s.
-5, d, s
Let s = -8 - -12. Let v = -4 + s. Let m = 24 + -29. Put v, m, -1/3 in descending order.
v, -1/3, m
Suppose 4*l - 22 = 5*c, 0*l - 5*l - 3*c + 46 = 0. Sort l, -4, -1, 5.
-4, -1, 5, l
Let l = -2 - 1. Let w = 6 + l. Let s be (-7)/(-3) + 2/(-6). Sort w, s, -3 in decreasing order.
w, s, -3
Suppose 0 = 4*u + u. Sort -5, -8, u in descending order.
u, -5, -8
Suppose 8 = -4*z, -3*d = d + 5*z + 22. Suppose 4 = -2*k + 4*x, 7*k - 4*k - 5*x + 5 = 0. Sort 3, k, d in increasing order.
d, k, 3
Let p(f) = 6*f**3 - f - 1. Let r be p(-1). Let y(a) = a + 5. Let d be y(r). Sort -3, -4, d.
-4, -3, d
Let d(f) = -f**3 + 6*f**2 + 7*f + 5. Let j be d(7). Sort 1, -0.25, j.
-0.25, 1, j
Let h(s) = s**3 + 9*s**2 + 15*s + 6. Let i be h(-7). Put -4, 7, i in descending order.
7, i, -4
Let g(o) = o**2 - 13*o + 14. Let c be g(12). Let d = -10 - -14. Suppose -4*m + 6*m = -d*q + 2, 6 = -3*q + m. Sort c, -5, q in decreasing order.
c, q, -5
Suppose 30 = -9*c + 11*c. Let y = 15 - c. Sort y, -3, 0.05.
-3, y, 0.05
Let g = 43 - 25. Let c be (1/3)/(2/g). Let i be 5/(15/(-3)*-2 + -5). Sort c, i, 5.
i, c, 5
Suppose 51*c = 50*c + 1. Let p = -2.9 - -3. Put p, 0.3, c in descending order.
c, 0.3, p
Let w(x) = -x**3 + 7*x**2 + 5*x - 13. Let p be w(7). Sort -2, 5, p in descending order.
p, 5, -2
Suppose 4*g + 12 = -0. Let i(o) = -o + 20. Let t be i(17). Suppose -t*n - 7 = 5. Put 0.5, n, g in increasing order.
n, g, 0.5
Let f = 68 + -72. Sort f, -78, 3 in decreasing order.
3, f, -78
Suppose t = 4*k - 12, 5*t = -0*t - 5*k + 15. Let l(f) = f - 8. Let m be l(6). Suppose p + o = -7, -4*p = -0*p - 3*o + 7. Put t, m, p in descending order.
t, m, p
Suppose 4*m - 8*m = -16. Put m, 6, -3, -1 in ascending order.
-3, -1, m, 6
Suppose -5 = -g - 4*g. Let p(r) = 4*r**2 + 2*r - 1. Let c be p(g). Let v = 1 - c. Sort v, 0, -5.
-5, v, 0
Let r = 3 + -2. Let q = -0.26 - -0.76. Sort q, -1/7, r in descending order.
r, q, -1/7
Let b be 3/5 - 42/(-30). Suppose 0 = 4*o - 0*j - b*j + 2, -4*j - 14 = -2*o. Let k = -4 - -5. Sort k, 3, o in descending order.
3, k, o
Let s be 18/(-28)*(-124)/(-6). Let p = s - -13. Let b = -4 + 0. Sort b, p, 0.1 in ascending order.
b, p, 0.1
Let m be ((-3)/6)/(1/(-2)). Suppose -2*s = 3 - m. Let p = -1 + 1. Sort -4, p, s in increasing order.
-4, s, p
Suppose -31 = 9*i + 14. Put 3, 4, 5, i in decreasing order.
5, 4, 3, i
Let b = 8 - 6. Suppose 4*l = -4*v + 8, 0*l = -2*l - 5*v - b. Sort -5, -4, l in decreasing order.
l, -4, -5
Let b = -0.03 - 0.07. Let i = -5 - -2. Let h = i + 6. Put h, 0, b in increasing order.
b, 0, h
Let t(j) = j - 5. Let p be t(8). Let u = 8 - 12. Sort p, -3, u in increasing order.
u, -3, p
Let m be 6/(-4) + 63/18. Sort m, -5, -4.
-5, -4, m
Let v = 22165 + -3657169/165. Let u = -2/33 - v. Put 0, u, 4 in descending order.
4, 0, u
Let q = 1.1 - -13.9. Let o = -13 + q. Sort o, -1/3, -0.1 in increasing order.
-1/3, -0.1, o
Suppose -2*r = r. Put r, 4, -3 in decreasing order.
4, r, -3
Suppose -5*y - 17 = 4*w, -3*w = -3*y - 0*y - 21. Sort -4, 0, y, -1 in increasing order.
y, -4, -1, 0
Let j be 4 + -2 + (-1 - 0) + 2. Put j, 4, -5 in descending order.
4, j, -5
Let m = -0.7 + 3.7. Let u = 0.9 - 0.94. Put m, u, -1 in descending order.
m, u, -1
Suppose 9*t = 14*t + 10. Put -3/4, 0.3, t in increasing order.
t, -3/4, 0.3
Suppose 6*f + 18 = -0. Let s = 17 - 23. Put s, f, 0 in decreasing order.
0, f, s
Let d = -2/161 - 801/322. Suppose -5*h = -c + 4*c + 30, -5*h - 2*c = 25. Let a be (-2)/(-6) - h/(-6). Put d, a, -1/5 in increasing order.
d, -1/5, a
Let v = -7.7 + 9.7. Put v, 2/5, 0.1, 0.5 in ascending order.
0.1, 2/5, 0.5, v
Let k = -1 + 2. Let l be 6/(-8)*(-6)/(-9). Sort k, -2/15, l.
l, -2/15, k
Let v = 2.5 - 3. Sort v, 4, -0.2 in descending order.
4, -0.2, v
Suppose -9 = -p - 4. Sort -5, p, 3, 4 in decreasing order.
p, 4, 3, -5
Let i = -9 + 10. Let s = 8 + -5. Put i, s, 0 in increasing order.
0, i, s
Let l(m) = -5*m**3 - 10*m**2 - 21*m + 23. Let o(y) = -2*y**3 - 3*y**2 - 7*y + 8. Let z(w) = 3*l(w) - 8*o(w). Let c be z(7). Put -0.1, 0.5, c in ascending order.
-0.1, 0.5, c
Let x = 5.26 + -0.26. Let u = 5/9 - 1/18. Put x, 1, u in descending order.
x, 1, u
Let h(m) = m**3 + 15*m**2 - 17*m - 21. Let o be h(-16). Put -4, 0, -1, o in descending order.
0, -1, -4, o
Suppose 9*k - 4*k = -i - 33, 4*k = 2*i - 4. Let j be (i/10)/(6/30). Let n be (-33)/6 - 6/j. Put n, 4, 0 in descending order.
4, 0, n
Let r = 5 + -8. Let t = 2 - -6. Let f be t/2 + -1 - 1. Sort f, r, 5 in increasing order.
r, f, 5
Let q be ((-2)/(-6))/((-2)/(-30)). Suppose a = 5*a - 8. Suppose 8 = -o - a*l, -o + q*l = -5*o - 26. Put 1, o, 2 in decreasing order.
2, 1, o
Let y be (-406)/56 + (-1)/(-4). Let p = 10 + y. Suppose -4*n - 1 = 3*i + 3, 2*i - n = 12. Sort 0, i, p.
0, p, i
Let a(u) = 10*u**2 + 9*u - 9. Let b(v) = 5*v**2 + 5*v - 5. Let j(s) = -4*a(s) + 7*b(s). Let n be j(1). Put -4, 4, n in decreasing order.
4, -4, n
Suppose 0 = 4*o - 11 - 5. Suppose 2*z + 4 = -2*p, 4*z - 2*z = 2*p. Let w be z + 1*(-2 - -1). Put w, -4, o in descending order.
o, w, -4
Let a be ((-2)/(-2))/((-1)/(-3)). Suppose 0 = -11*g + g - 30. Put 5, a, g in descending order.
5, a, g
Let b be 10/(350/21)*10/9. Sort -2/5, b, -7.
-7, -2/5, b
Let f = 1 - -2. Suppose -2*q + 10 = -2*w, -3*w = w - f*q + 20. Sort -1, 3, w.
w, -1, 3
Let m(j) = j**2 + j - 3. Let n be m(0). Put 0.1, -2/7, n, 0 in descending order.
0.1, 0, -2/7, n
Suppose 4*p + 4*l = p - 7, -4*p - 4*l = 8. Let t = p - -1. Let f be 2/1*(1 + t). Sort f, 5, -2.
-2, f, 5
Let i(a) = a + 5. Let x be i(-5). Let z be (1 + (-14)/6)*3. Let p = z - -8. Put x, p, 5 in increasing order.
x, p, 5
Let s(u) = -u - 3. Let y be s(-4). Let g = 119 + -120. Sort g, y, 2 in increasing order.
g, y, 2
Let d be (1/(-2))/(3/(-12)). Let b be 4/18 - (-33)/(-27). Let c be 3*(-2)/(-2) - b. Sort -3, d, c in ascending order.
-3, d, c
Let o be 8/6*21/154. Let w = 0.7 - 4.7. Sort -1, o, w in decreasing order.
o, 