n*k - 3*o + 23, o - x = -3*k. Sort -5, 3, k in increasing order.
-5, 3, k
Let i = -85.6 - -86. Sort 0.04, 1, i.
0.04, i, 1
Let y be (16/(-16))/((-7)/(-2)). Sort y, -1/7, 2.
y, -1/7, 2
Suppose 4*s + 19 = -z - 14, 0 = 2*s + z + 15. Let q be 69/(-54) - (-2)/s. Sort q, 3/2, -1/2 in increasing order.
q, -1/2, 3/2
Suppose -h = -2 - 12. Let n be (2*-1)/(h/(-7)). Let t be 3 - (n + (-3)/3). Put 2, 4, t in decreasing order.
4, t, 2
Let a = -8 - -17. Let u = a + -9. Let v be 0 - (1 + 12/(-10)). Put v, -0.1, u in descending order.
v, u, -0.1
Let o = 1.4 + -1.4. Put o, -2/15, -1 in increasing order.
-1, -2/15, o
Suppose -4*q + 35 = l - 2*l, 4*q = 3*l + 41. Let n(j) = -j + 6. Let u be n(q). Let v be 1*u*3/(-6). Sort -1, -3, v in decreasing order.
v, -1, -3
Let k be ((-2)/(-6))/((-12)/(-36)). Sort 3, k, -4 in decreasing order.
3, k, -4
Let t be (-38)/(-33) + (-8)/(-44). Let q = -0.2 + 0.2. Let o = 0.51 - 0.11. Sort o, t, q.
q, o, t
Let g = -145/3 - -49. Suppose 3*q + 3*i - 63 = 0, -102 = -2*q - 2*q + 5*i. Suppose 3*j - 2*o = 17, 5*o + 6 + q = 3*j. Sort j, g, -2/11 in increasing order.
-2/11, g, j
Suppose 3*g + 2*w - 3 = -1, 4*w - 24 = 4*g. Let l be (-1)/(-1) + (-4 - -6). Let n be (4 - -1)*8/(-8). Sort g, l, n in increasing order.
n, g, l
Suppose 4*p - 4*f = -12, -3*f - 21 = p + 2*p. Suppose 4*r - 36 = 8*r. Let z = r - -13. Put z, -3, p in ascending order.
p, -3, z
Let y be 144/28*(-14)/(-4). Suppose -y*s = -22*s. Put -3, 1, s in descending order.
1, s, -3
Let f be (-6)/(-7)*(-42)/(-45). Let i(b) = b**3 - 8*b**2 - b + 8. Let q be i(8). Let h be ((-9)/(-2))/(q - -3). Put h, -1/2, f in decreasing order.
h, f, -1/2
Suppose 3*y + 5*a = 20, 7*y - 18 = 3*y + 2*a. Suppose 0 = 3*t - 4 - y. Sort 0, -1/3, t in descending order.
t, 0, -1/3
Let a = 9 + -7. Put a, -2/11, 1 in ascending order.
-2/11, 1, a
Let g(a) = -2 + 3 + 5 + a + 2. Let r be g(-6). Let o be (1/r)/(4/8). Put o, -4, -1 in descending order.
o, -1, -4
Let r = -33 + 35. Sort 9, 3, r.
r, 3, 9
Let u = 2.4 - 2. Let g = 1 - 1. Put u, g, 0.5 in ascending order.
g, u, 0.5
Let c = -4.5 + -0.5. Let l = 4.9 + c. Sort -1/8, l, 3/4 in decreasing order.
3/4, l, -1/8
Let d = 0.31 - -0.09. Let x = 5 - 7. Put d, 3, x in descending order.
3, d, x
Let y(u) = u. Let z(g) = 4*g - 8. Let r(q) = 3*y(q) - z(q). Let j be r(6). Let w be (-66)/14 - (-2)/(-7). Sort w, -4, j in ascending order.
w, -4, j
Suppose -17*i = -30*i - 39. Sort -15, -1, 5, i.
-15, i, -1, 5
Let m be (6 - 4)/(1/2). Suppose -k + m*w + 8 = 0, -k = k + 2*w + 4. Let s(c) = c**3 - 3*c**2 - 2*c - 4. Let h be s(4). Sort h, 3, k in descending order.
h, 3, k
Let q = 0.94 + -0.44. Sort -2/5, 1/3, q.
-2/5, 1/3, q
Let j = -3 + 3.4. Let m = 0.7 + -0.82. Let v = 5.12 + m. Sort v, j, -3/2 in ascending order.
-3/2, j, v
Let s(k) = k. Let a be s(0). Suppose -23 = -4*o + l, -5*o - l - 3*l + 13 = 0. Sort 4, o, a.
a, 4, o
Let j = 4 + -5. Let b be (4 - 3)/(j + 0). Sort b, -3, 4.
-3, b, 4
Let q = -0.9 - -0.7. Let n = -137/3 - -46. Put -2/17, q, n in decreasing order.
n, -2/17, q
Suppose 0 = -p + 1 + 3. Suppose -5*f - y - 3 = -6, 0 = -f + 3*y - 9. Suppose -30 = 4*a - 5*r, -2*a + f*r - 8 = r. Sort 2, p, a in decreasing order.
p, 2, a
Suppose 0 = -4*y - 5*w - 1 - 0, 0 = 2*w + 2. Sort y, -5, 4.
-5, y, 4
Let t = -19 - -17. Put -4, 0.11, t in descending order.
0.11, t, -4
Suppose 0 = 5*s + k - 20, -s + k + 4 = -0*s. Suppose 4*i - 12 = i. Suppose -3*y = 2*y + 4*c + 1, i*y = -5*c + 1. Put 5, y, s in increasing order.
y, s, 5
Let u = 0.537 - 0.037. Sort 3, u, 0.2, -0.1.
-0.1, 0.2, u, 3
Let b = 73 + -75. Let f = 1/19 + 9/190. Sort b, f, -0.3 in increasing order.
b, -0.3, f
Suppose -62 = 5*y - 22. Let l be y + (-5)/(5/(-3)). Put 5, -3, l in descending order.
5, -3, l
Suppose 22*f - 8 = 24*f. Sort 32, f, 5, 4.
f, 4, 5, 32
Let i = 0.04 - 10.04. Let b = i + 7. Put 4, -1, b in ascending order.
b, -1, 4
Let k be (1 - -7)*23/46. Suppose -2*n - 2*u = 3*u + 8, 2*n = 5*u + 12. Sort n, -4, k in ascending order.
-4, n, k
Let r(d) be the second derivative of 1/6*d**4 - 1/3*d**3 - d + 1/2*d**2 - 1/20*d**5 + 0. Let f be r(1). Sort 2, f, 3 in descending order.
3, 2, f
Let m(a) = -a**3 + 14*a**2 - a + 18. Let l be m(14). Sort -14, l, 1, -3 in descending order.
l, 1, -3, -14
Let c be 1/2 - 6/(-4). Let h(j) = 5*j**2 + 8*j + 3. Let i(u) = 2*u**2 + 4*u + 1. Let p(y) = 3*h(y) - 7*i(y). Let o be p(2). Sort o, 1, c in decreasing order.
c, 1, o
Let a(b) = -b**3 + 2*b**2 + 4*b - 1. Suppose -h + 2*h - 3 = 0. Let n be a(h). Suppose 0 = -0*u + n*u. Put u, 3, 2 in descending order.
3, 2, u
Let l = -7 + 11. Suppose -4*m + 27 = -m. Let j = 5 - m. Put j, -2, l in increasing order.
j, -2, l
Suppose 2*w - s + 2*s + 3 = 0, 2*s = w + 4. Sort 1, 4, w, 6 in decreasing order.
6, 4, 1, w
Let q(r) = 3*r - 3 - r**2 - r + 0. Let t be q(2). Let c be (-2)/3 - (-2)/3. Put c, t, -1 in descending order.
c, -1, t
Let p be (-1)/(-1)*2/4. Let i = -0.24 - -0.04. Sort i, p, -4 in ascending order.
-4, i, p
Let d = 28 - 28.1. Put 1/3, 5, -3, d in increasing order.
-3, d, 1/3, 5
Let l be 3/(-2) - 629/(-442). Put -0.1, -1/5, l in ascending order.
-1/5, -0.1, l
Let l = -0.02 + 0.1. Let n = l + -0.02. Let b = n + -0.26. Sort -1, b, -2 in descending order.
b, -1, -2
Let x = 0 + -5. Suppose 4*s + 21 = 93. Let p be 4/(-18) - (-76)/s. Put p, x, 2 in ascending order.
x, 2, p
Let d = -22 + 18. Put 6, -5, d in descending order.
6, d, -5
Suppose 1 + 1 = -w. Let n(s) = s**2 + 3*s + 3. Let q be n(-4). Let i = 6 - q. Sort i, 1, w in descending order.
1, i, w
Let p be 2 + -3*2 + 4. Suppose p = 2*j + j. Sort 1, j, 2.
j, 1, 2
Let p = 4 - 4.3. Put p, 2/5, 5 in ascending order.
p, 2/5, 5
Let g = 2.7 + -3. Let x be -2 - -1*(3 + 1). Let p be (-2)/(x + -1) + 4. Put g, -0.2, p in decreasing order.
p, -0.2, g
Let x = -3.2 - 1.8. Sort 0.3, x, -4 in decreasing order.
0.3, -4, x
Let z = -87 - -349/4. Put -1, -0.3, z, -3/2 in increasing order.
-3/2, -1, -0.3, z
Let c be -2*(-1 + 0) - 1. Suppose c - 16 = 5*d. Let t be 2 + 1 + (-6 - -4). Put t, d, -2 in decreasing order.
t, -2, d
Let k = 2 - 0. Suppose 4*c - 2*d = -c + 5, 0 = -2*c - 5*d + k. Put c, 3, 5 in decreasing order.
5, 3, c
Let r = 2 - 3. Suppose 1 = 2*c - u - 14, 0 = 5*c + 4*u - 5. Sort r, -2, c.
-2, r, c
Let h = 2 + -1. Let f(r) = -3*r**3 + r - 1. Let s be f(h). Let y be 0 - s*(-4)/30. Sort -3/5, y, -1.
-1, -3/5, y
Let x(r) = r**2 + r + 1. Let p be x(-2). Let f = -102 - -102. Sort p, -4, f in ascending order.
-4, f, p
Let n = -46 + 45. Put 0.3, n, -4 in ascending order.
-4, n, 0.3
Let n be ((-4)/(-6))/((-8)/(-24)). Suppose 5 = -n*a - 5*t, 3*a + a - 4*t - 4 = 0. Sort -5, 3, a in ascending order.
-5, a, 3
Let y be ((-22)/5)/(2/10). Let q = y - -20. Sort q, 1, 0 in descending order.
1, 0, q
Suppose 0 = -2*u + 6*u - 12. Suppose 0*o = 5*o + 20. Suppose 0 = 4*l + l - 25. Sort o, u, l in descending order.
l, u, o
Suppose -2*o + 0*q + 14 = 2*q, -2*q + 8 = -o. Let g be (1 - (-4)/2) + -4. Put g, o, 1 in decreasing order.
o, 1, g
Suppose 0 = -4*p + 29 - 17. Sort p, -0.1, 0.5 in decreasing order.
p, 0.5, -0.1
Suppose -30 = c - 6*c. Sort -5, c, 1 in decreasing order.
c, 1, -5
Let x = 678/13 + -52. Put x, -3, 4 in decreasing order.
4, x, -3
Let z be -1*3/(-3) + -3. Put z, -3, 4 in ascending order.
-3, z, 4
Suppose n = -2*b - 2*n - 7, 0 = 4*b + 4*n + 16. Put 1, -4, b in descending order.
1, -4, b
Suppose 2*p - 7*p = -110. Suppose -3*g + p = 5*b, -4*g = -2*g + 2. Let k = 2 - 1. Sort b, 0, k in ascending order.
0, k, b
Let w = 0.14 + 0.06. Let m = w + 0. Sort m, -0.5, 2.
-0.5, m, 2
Let y = 5 - 6. Let b = -4 + 7. Sort -2, b, y.
-2, y, b
Let j be ((-11)/(-3) + (-3)/(-9))*2. Sort -2, -5, j.
-5, -2, j
Let l be (-15)/(-18)*8/(-30). Let a = 0.5 - -3.5. Sort a, -0.3, l in increasing order.
-0.3, l, a
Let u = -5 + 7. Let m(c) = -3*c**2 + 0*c**2 + 5*c + 2*c + 1 - 5*c. Let y be m(-1). Sort u, y, 1/8 in decreasing order.
u, 1/8, y
Let i = 1.91 + 0.09. Let w be 2 + -5*(-3)/(-6). Let v = w + 1/3. Sort v, 0.3, i in descending order.
i, 0.3, v
Suppose -o = 3*w + 2, o - 4*w = 6 + 6. Let z be 14/(0/o + -2). Sort z, -1, -2 in ascending order.
z, -2, -1
Suppose 10*m - 62 = 9*m. Put m, -2, -3 in ascending order.
-3, -2, m
Let f be ((-36)/30)/(-2 + (-22)/(-10)). Put 2, -5, 5, f in ascending order.
f, -5, 2, 5
Let u = 90 + -95. Sort -0.5, u, -0.4 in de