-5*m = -2*k + 6*k - 24. Suppose -4*b - m*l = -2*b - 10, 20 = -5*b - l. Sort 2, b, c in decreasing order.
2, c, b
Let o(y) = -y**3 + 29*y**2 - 29*y + 33. Let f be o(28). Sort 4, -9, f in increasing order.
-9, 4, f
Let f be (-3)/(-1)*(-2)/(-3). Sort 8, 4, f.
f, 4, 8
Let p = -37/99 + 5/9. Let r = 64 + -69.8. Let w = r + 0.8. Put w, p, -2 in decreasing order.
p, -2, w
Let y be (-7 - 0) + -2 + 5. Sort -2, y, -1/6 in descending order.
-1/6, -2, y
Let x(i) = 2*i + 1. Suppose 0 = 5*h - 0*h - 15. Suppose 3*q = -3*j + 18, 0*j - j = h*q - 16. Let a be x(j). Sort 0, -1, a.
-1, 0, a
Let c = -2.8 + 3. Put 5/6, 2, c in descending order.
2, 5/6, c
Suppose -4*a = a. Let d = 4 + 0. Sort d, -5, a in increasing order.
-5, a, d
Let q = -0.3 + 0.1. Let b = -5.4 + 5. Let p = -0.9 - b. Put -0.4, q, p in descending order.
q, -0.4, p
Let l be (-14 + -3 - -1)/1. Let n be (-1)/((-12)/l - 1). Let y = -159 + 2383/15. Sort -3, y, n in ascending order.
-3, y, n
Let g be 2*-1*(-4 + -2). Let f be (-2)/g + 2/(-6). Let q = -11 + 8. Sort -1/4, f, q.
q, f, -1/4
Let k = 46 + -27. Put 0.2, -0.1, k in descending order.
k, 0.2, -0.1
Suppose -2*v + 7 = 1, o + 4*v = 9. Let f = 22/3 + -119/15. Sort 0.1, o, f in descending order.
0.1, f, o
Let o be 2/(-6) + 28/(-6). Let y(w) = 2*w**2 - 104*w + 196. Let g be y(50). Let h be (-1)/1*(4 - 1). Sort h, o, g in descending order.
h, g, o
Suppose -2*r - 3 = 5. Put -2/3, 2/9, r in decreasing order.
2/9, -2/3, r
Let d = -51/65 - -18/13. Let g = -0.05 - 6.95. Let c = -3 - g. Put d, -2/3, c in decreasing order.
c, d, -2/3
Suppose -v = 2*v + 12. Suppose 0 = 2*a - 3*a - t - 7, a - 5*t = 5. Let z(w) = w + 6. Let j be z(-8). Sort v, a, j in descending order.
j, v, a
Let l be (2/(0 + -8))/(26/(-104)). Sort 0, 5, -4, l in increasing order.
-4, 0, l, 5
Let p(a) = -3*a + 4. Let t be p(-7). Let v be (-15)/t*10/8. Let r = -2 - -1.9. Put r, v, 2/13 in increasing order.
v, r, 2/13
Let p(s) = s**3 + 5*s**2 - 7*s + 1. Let w be p(-6). Put 0, w, 5 in ascending order.
0, 5, w
Let u = -11/2 - -75/14. Let f = 0.9 - 0.5. Let t = f + 0. Sort -5, t, u in ascending order.
-5, u, t
Let s = 4 - 4.6. Sort s, -0.4, 0 in increasing order.
s, -0.4, 0
Suppose 8*h - 4 = 36. Put -8, 2, -2, h in decreasing order.
h, 2, -2, -8
Let b = -4.6 - -5. Let d = -2 + 2.9. Let v = b - d. Sort -1/3, 3/7, v in decreasing order.
3/7, -1/3, v
Suppose 42 = 4*j - 2*k, -2*k + 14 = 3*j - 0*k. Let n be j/20 - (-36)/10. Let u = -6 + n. Sort -3, u, 4 in decreasing order.
4, u, -3
Suppose -3*j - 10 = -r, 2*r - 8 = 3*j + 3*r. Let a be (1/4 - 1)*-4. Let y = 1 + a. Sort -2, j, y.
j, -2, y
Suppose 0*f - f - 4*l = 16, -41 = -4*f + 5*l. Suppose -3*v + 6 = -0. Suppose -3 = -4*t - 3*w, -5*t - 3*w + 5*w - 25 = 0. Sort t, v, f in decreasing order.
f, v, t
Let o = 2.39 - 2.3. Let r = -4.91 - o. Sort 3/5, -8, r in descending order.
3/5, r, -8
Suppose -g - 645 = o, 0*g - 3*o - 649 = g. Let r = -54656/85 - g. Let m = 77/680 - r. Sort 0.3, m, -0.3 in descending order.
0.3, m, -0.3
Suppose -3*k = -2*k - 4. Let m be 23/(-2) + (-2)/(-4). Let a = 7 + m. Put -5, a, k in decreasing order.
k, a, -5
Let z(p) = p + 10. Let d be z(-6). Sort 5, d, -4 in descending order.
5, d, -4
Suppose 3*z + 5*p = -z - 11, -z + 5*p = 9. Let i = 1 - 4. Sort i, z, 3.
z, i, 3
Let m = -5 + 4.93. Let z = m - -1.07. Let o be 7/(-10) + (-1)/(-2). Sort z, 5, o in descending order.
5, z, o
Let f = 0.63 + -0.13. Sort 2/9, f, 0.
0, 2/9, f
Let c = -12 + 9. Let n(h) = 1 + h**3 + 3 - 3*h**2 - 2*h**3 + 3*h. Let i be n(c). Put -4, 3, i in ascending order.
i, -4, 3
Suppose -5*h - 7*m = -4*m - 30, h + 2*m - 13 = 0. Put 0.4, 0.2, h, -1/2 in descending order.
h, 0.4, 0.2, -1/2
Let x = -34.4 + 34. Sort 4/3, 1/2, 0.05, x in increasing order.
x, 0.05, 1/2, 4/3
Suppose -4*l = 2*j - 18, -5*j + 11 = -4. Let z be (l/(-8)*3)/3. Sort 1, z, 0 in increasing order.
z, 0, 1
Let z be (-12)/(-7) - 4/(-14). Let d be ((-1)/5*z)/2. Put 1, -5, d in decreasing order.
1, d, -5
Let g be (-2)/9 + 33/27. Let b(a) = a**2 + 7*a + 4. Let t be b(-6). Put t, 0, g in decreasing order.
g, 0, t
Let y = -97 + 97. Put 0.2, y, 2/13, 5 in descending order.
5, 0.2, 2/13, y
Let k = -334 + 336. Let i = 0 - 0. Sort k, i, 5.
i, k, 5
Suppose -3*u - 16 = -u + 4*i, 0 = -4*u - 4*i - 12. Let g be (-56)/90 - u/(-9). Let w = -2.2 - -2.3. Sort w, g, 1 in descending order.
1, w, g
Let i(o) = -2*o - 2. Let n be i(-2). Let p = 213 - 208. Let m = 0 - 0. Sort n, m, p.
m, n, p
Suppose 0 = -2*k - 3*k - 5*j + 10, j - 1 = 0. Let i = 0.1 - -0.4. Sort i, k, 4 in decreasing order.
4, k, i
Let t = -6 + 7. Put 4, 0, t in descending order.
4, t, 0
Let n = -32 + 33. Sort n, 3, 5 in decreasing order.
5, 3, n
Let z = 0.3 + -0.5. Let g = -2.7 - 0.3. Put 0.5, g, z in decreasing order.
0.5, z, g
Let k = 5.36 + -0.36. Sort -7, -0.4, k in ascending order.
-7, -0.4, k
Let o be 9/3*10/(-15). Let k(h) = 2*h**2 + 3*h + 1. Let s be k(-2). Let x be (s/(6/20))/2. Sort 2, o, x in ascending order.
o, 2, x
Suppose 3*u - 36 = -6*u. Put -13, -0.3, u in decreasing order.
u, -0.3, -13
Let o(q) = -q**2 - 6*q - 4. Let h be o(-4). Let i be 2/h*(1 - 11). Put 2, 0, i in decreasing order.
2, 0, i
Let h = 1 + -5. Suppose 10*g + 30 = 16*g. Put -0.1, g, h in increasing order.
h, -0.1, g
Let i = 5 - 5. Suppose -47 = -5*d - 3*a, 6*d - 4*a = 3*d + 5. Put i, -2, d in decreasing order.
d, i, -2
Let l = 22 - 22.4. Sort -4, l, 1/9, -1/3 in decreasing order.
1/9, -1/3, l, -4
Let r = -28 + 23. Sort r, -2/17, 0.1 in descending order.
0.1, -2/17, r
Suppose 0 = 4*v - 9*v - 10. Sort -1, 2, 8, v in decreasing order.
8, 2, -1, v
Let x(u) = -u**2 - 7*u - 8. Let j be x(-6). Sort -3, 5, j.
-3, j, 5
Let f be 13/39 - 2/(-6). Put f, -3/4, 3/7, 0.3 in ascending order.
-3/4, 0.3, 3/7, f
Let v = 9 - 10. Let s be (2 - 1) + 2 + v. Sort 0, 5, s.
0, s, 5
Let s = -21 + 23. Sort s, -4, -3 in decreasing order.
s, -3, -4
Let a = -2.04 - -0.04. Let y = 3 - 8. Sort a, y, -2/9 in descending order.
-2/9, a, y
Suppose r + 2 = 5. Sort -8, r, -5, -0.3 in ascending order.
-8, -5, -0.3, r
Suppose 4*h + 5 = -7. Let c = -3 + 2. Let b be 1/(c + (-1 - h)). Put -4, b, -0.3 in ascending order.
-4, -0.3, b
Let i = 136 + -143.7. Let j = 11 - 3. Let h = j + i. Put -4, h, 3/2 in descending order.
3/2, h, -4
Suppose -3*j = -8*j - 95. Let t = j - -21. Sort 1, -1, t in decreasing order.
t, 1, -1
Suppose 4*o = -q - 47, -2*q + 0 = -o - 5. Let s = o - -9. Let m be (s + 3)/(1/(-5)). Sort 5, 2, m in descending order.
5, 2, m
Let l be (2/1)/((-26)/2). Sort l, -4, -1.
-4, -1, l
Let q(g) = g**3 - 2*g**2 - 2*g. Let m be q(2). Let w(s) = 3*s**2 - 3*s. Let y be w(3). Suppose 3*x - 2*p = p, 3*p + y = -3*x. Sort x, 4, m in ascending order.
m, x, 4
Suppose 3*t = 4*j - 72, 4*j + 3*t - 72 = 4*t. Let s be (-94)/j - (-10)/45. Put s, 3, -1 in decreasing order.
3, -1, s
Suppose -2*a + 6 - 16 = 0. Let o = 11 - 13. Let w = o - 2. Sort 2, a, w in descending order.
2, w, a
Suppose -13 = 4*i + 3. Let v be (i/(-8))/((-1)/2). Put 4, v, -4 in decreasing order.
4, v, -4
Let l be (-2)/8 + 168226/(-504). Let o = l - -2537/9. Let v = o - -52. Sort v, -1/5, -2/7 in descending order.
v, -1/5, -2/7
Let h = -29 + 21. Let j = h + 12. Sort 5, j, -1 in increasing order.
-1, j, 5
Let n = -0.06 + 0.46. Sort -4/5, -0.2, n in descending order.
n, -0.2, -4/5
Let u be ((-6)/18)/((-14)/(-4)). Put 1/2, u, -7 in descending order.
1/2, u, -7
Suppose 2*x = -0*x - o + 5, -5*x - 5*o = -20. Let g be (-131)/(-4) - 1/(-4). Suppose -13 = -4*z - g. Sort -2, z, x in descending order.
x, -2, z
Let d(t) = t**2 + 5*t - 4. Let q be d(-5). Put 1, -2, q in decreasing order.
1, -2, q
Let o be 9 + (2 - (1 + 2)). Put o, 2, -4 in decreasing order.
o, 2, -4
Suppose -5*n = -30 - 5. Suppose 3*q = 5*l + 5, -q + 4*q - 20 = 2*l. Let t = q - n. Sort t, 0, -1 in increasing order.
-1, 0, t
Let t be (-2)/9*6/(-4). Suppose -3*i = 3*u - 18, 2*i = u + u - 12. Let a be (u/75)/((-2)/(-10)). Sort a, t, -2 in increasing order.
-2, t, a
Let l = 7 - 10. Let c = 3 + -5. Let z = -1.5 - c. Put z, 5, l in increasing order.
l, z, 5
Suppose -x = -5*x - 4. Suppose -3*s + 4 = -2. Put x, -3, s in descending order.
s, x, -3
Let u be 34/(-8) + (-6)/8. Let z be -1 - (3 - (1 - -2)). Sort u, z, -3.
u, -3, z
Let y = 23 - 23.4. Let v = -3.99 + -0.01. Put v, 0.4, y in decreasing order.
0.4, y, v
Suppose 0*f -