ort n, 0, s.
s, 0, n
Suppose 0 = 3*p + c - 18, 2*p - 4 = 6*c - 4*c. Let s be 3 + p + (0 - 0). Let y be ((-2)/20)/(s/(-20)). Sort y, 1, -1 in increasing order.
-1, y, 1
Suppose 43 + 11 = -3*f. Let z be f/(-4)*(-2)/(-12). Let h = 0.3 - -0.1. Sort 3, h, z in descending order.
3, z, h
Let z = -3 + 0. Put 11, z, 1 in descending order.
11, 1, z
Suppose 2*p = 7*p - 1065. Let q = 2016269/153 - 120520/9. Let r = p + q. Sort 0.3, r, -2/19 in ascending order.
-2/19, r, 0.3
Suppose -2*q = -q - 5. Suppose 0*x - x - 2*s + 7 = 0, -22 = -4*x - q*s. Suppose -x*a - 2 = -5. Put 3/5, a, 5 in decreasing order.
5, a, 3/5
Let u = 88 + -260/3. Sort -4, 1, u in increasing order.
-4, 1, u
Let w = -0.02 - 3.98. Let z = -1 + -2. Let u = z - w. Sort u, 5, -4 in decreasing order.
5, u, -4
Let m(s) be the second derivative of -s**3/3 - 5*s**2 - s. Let t be m(-8). Suppose 3*r + t = 5*r. Put -5, r, 5 in decreasing order.
5, r, -5
Let f(p) = -p + 6. Let s be f(5). Let j be -6*(-2)/(-12)*3. Sort j, -2, s in decreasing order.
s, -2, j
Let t(g) = -g**3 - 2*g**2 + 3*g + 4. Let y be t(-2). Sort -1, y, -5 in increasing order.
-5, y, -1
Let p = 8 + -9. Let r be 0 + 2 - (-4 - -6). Sort r, p, 1.
p, r, 1
Let u = -2 + 1.7. Let p = 6 - 6.1. Sort u, p, -3 in decreasing order.
p, u, -3
Suppose -2*m - 3*q = -q + 2, -5 = 5*m + q. Sort 2, m, 5 in increasing order.
m, 2, 5
Suppose 6*c - 13*c = -168. Sort 4, c, 1.
1, 4, c
Let v be (-6)/8*1*-1. Let j = -0.8 + 5.8. Put j, v, -2/9 in descending order.
j, v, -2/9
Let r = -40 - -27. Let m = -8 - r. Sort m, 0, -3 in descending order.
m, 0, -3
Suppose 0*v - 5*v + 9 = -4*z, -3*v + 3 = -3*z. Suppose -6 = v*o - 3*o. Let j = o + 0. Put 2, j, -4 in ascending order.
-4, j, 2
Let y(v) = -v**2 + 3*v + 6. Let c be y(5). Sort 0, -5, c in ascending order.
-5, c, 0
Let z(f) = f**2 - 2*f - 2. Let w be z(-2). Let a = 5 - w. Put -1/5, a, -3 in decreasing order.
-1/5, a, -3
Let s be (0 - 0) + (-20)/(-4). Suppose 4 = 2*j + 4*u, -u - 15 = -s*j - 6*u. Let a = 1.06 + -0.06. Sort 2/17, j, a in descending order.
j, a, 2/17
Let w = 1.63 - 1.13. Sort -3/2, 11, w in increasing order.
-3/2, w, 11
Let q = 6 + -6.06. Put -0.2, -2/3, q in decreasing order.
q, -0.2, -2/3
Suppose -3*b = 19 - 10. Put b, -5, 4, -1 in decreasing order.
4, -1, b, -5
Suppose -3*i + 3 + 0 = 0. Put i, -3, -8 in ascending order.
-8, -3, i
Suppose g + 3*g + 16 = 0. Suppose 5*d + 45 = -5*a + 15, -3*d + 5*a + 14 = 0. Sort g, 2, d in ascending order.
g, d, 2
Suppose 3*m = -2*h - 11, -4*m - 7 + 0 = -5*h. Put 5, 2/15, h in descending order.
5, 2/15, h
Let t = 70 - 493/7. Let c be (-44)/208*-4 - 1. Sort t, c, 1 in descending order.
1, c, t
Let q be -5 + (392/52 - 3). Sort q, 5, -0.5.
-0.5, q, 5
Let u = -452 - -453. Let q = -0.02 + 0.32. Sort u, 4, q in descending order.
4, u, q
Let q be 2 - (4 - (-1 - -1)). Let g(d) = -2*d. Let m be g(2). Sort m, q, 5.
m, q, 5
Suppose -3*w + 8 = -16. Suppose -5*m + 3 = -d, 3 = 5*m + 3*d - w. Let i be -3 - (m + (-1)/(-1)). Sort 5, i, -1 in decreasing order.
5, -1, i
Let a be 3 - 2 - (-1 + 400/204). Put 1/8, a, 2 in increasing order.
a, 1/8, 2
Suppose 4*d = 4*q + 4, 0 = -2*d + 7*d - 15. Let a = -4 + q. Let n be (-3)/(a - 10/(-8)). Sort 2, n, 1 in descending order.
n, 2, 1
Suppose -u - 10 = 4*m, -u - 5*m - 13 = -0*u. Suppose 0 = u*l + 3*l + 15. Suppose -3*i + 5*q - 37 = 0, i - 3*q = 9 - 28. Sort l, 0, i in decreasing order.
0, l, i
Let t = -15 + 15. Put -4, t, -0.2 in descending order.
t, -0.2, -4
Suppose 4*i + 6 = i. Sort i, -4, -3.
-4, -3, i
Let n be (-1)/(-1) + 5/(-1). Let z(p) = 6*p - 29. Let y be z(5). Put 2, n, y in increasing order.
n, y, 2
Let y = 7/30 + 4/15. Let q be ((-10)/4)/(18/(-12)). Sort q, -1/2, y in descending order.
q, y, -1/2
Let k be (-105)/12 + 30/40. Sort -0.4, -1/3, k, -3/7 in decreasing order.
-1/3, -0.4, -3/7, k
Suppose 0 = -0*t - 2*t - 8, -w - 4 = 2*t. Put 2, 1, -3, w in descending order.
w, 2, 1, -3
Let d = -27 - -12. Let r = d - -15. Sort 4, -2, r in decreasing order.
4, r, -2
Let i = 2/235 + -719/1645. Let w = i + 4/7. Sort w, -0.1, -4/3 in descending order.
w, -0.1, -4/3
Let h(c) = -c - 1. Let s be h(0). Put -2/9, s, -12 in increasing order.
-12, s, -2/9
Let k = 285 + -3133/11. Let x = 0.2 - -3.8. Let b = 6 - 1. Sort x, b, k in decreasing order.
b, x, k
Let w(u) = -u**2 + 14. Let a be w(4). Sort -17, 3, a in ascending order.
-17, a, 3
Let w = -25 - -24. Sort 1, 4, w in descending order.
4, 1, w
Let g = 4/3 + -23/15. Let z = -9 + 4. Let j(m) = m**2 + 9*m - 3. Let a be j(-9). Sort z, a, g in ascending order.
z, a, g
Let b(l) = -l**3 + 4*l**2 + 7*l - 8. Let y be b(5). Sort 6, y, -2, 3 in descending order.
6, 3, y, -2
Suppose 2*w - 12 = 2*y, 13 = -5*y + 4*w - 13. Sort 5, -4, y in descending order.
5, y, -4
Let z be (-1 - -1) + -5 + 354. Let t = -2439/7 + z. Sort -1/3, -3, t.
-3, -1/3, t
Let l(i) = 5*i - 15. Let r be l(2). Put 1, 13, r in descending order.
13, 1, r
Let m = 0.18 + -0.29. Let o = -0.1 - m. Let a = o + 2.99. Sort a, -2, -4/5 in decreasing order.
a, -4/5, -2
Suppose -26*x = -34*x - 120. Sort x, 1, 4.
x, 1, 4
Let s = -58 + 463/8. Sort s, -3/7, 0, 1/2.
-3/7, s, 0, 1/2
Let i(o) = -2 + 2*o - 1 + 0. Let l be i(4). Suppose p + l = x, p - 3*p - x = -5. Sort 1, 5, p.
p, 1, 5
Let s = -37 - -42. Suppose 0*g + 10 = 5*g. Let a = 1 - g. Put s, a, 3 in descending order.
s, 3, a
Suppose 3*s - 8 = -s. Let c be 1*(2 - 0)/2. Let g be (-8)/2*(c - 2). Sort s, -5, g.
-5, s, g
Let z be 10/6 - (-2)/(-3). Let m = 3 - z. Suppose -p + 3*p - m = 0. Sort p, 5, -2/9 in descending order.
5, p, -2/9
Suppose 0 = 4*t + 2*v - 14, -2*t + 3 = 3*v - 2. Let n be 2/1 + (1 - 2). Let q = -5 + n. Sort q, t, 2 in increasing order.
q, 2, t
Let c = 14 - 13. Sort c, -4, 0 in increasing order.
-4, 0, c
Let j = -4 - -3.8. Sort -5, -2, j in descending order.
j, -2, -5
Suppose -n = 2 - 5. Put -0.04, 4, n in decreasing order.
4, n, -0.04
Suppose -3*w + 15 = 0, -5*w = -3*r - 0*w + 261509. Let v = r - 13338487/153. Let s = v + -2/153. Sort s, 0.5, -1 in increasing order.
s, -1, 0.5
Suppose -7*r + 3*r = -8. Suppose g + 3 + r = 0. Sort 2/5, 3, g in descending order.
3, 2/5, g
Suppose -5*m = -3*m + 28. Let g = -10 - m. Put 1, -2, g in decreasing order.
g, 1, -2
Let i(u) = -2*u - 5. Let j be i(-4). Suppose -8 + 2 = -j*d. Let y(v) = -v + 3. Let h be y(5). Put h, d, 0 in increasing order.
h, 0, d
Let t = 20 - 22. Sort -0.5, -1, t in descending order.
-0.5, -1, t
Let m(u) = -2*u + 6. Let b be m(2). Sort 4, 3, b in increasing order.
b, 3, 4
Let s be (1*-2)/(2/2). Let l be (s - -3) + (-3)/(-6). Let f = -0.2 - -0.4. Put 0, l, f in descending order.
l, f, 0
Let x = -0.028 + 0.528. Sort 1/7, x, 4, -0.5 in descending order.
4, x, 1/7, -0.5
Let r = -41 - -42. Let p be (1*-3)/(3/2). Sort r, p, 3.
p, r, 3
Let u = -14.24 - -0.24. Let c = u + 14.5. Put c, -4/3, 0.2 in decreasing order.
c, 0.2, -4/3
Suppose -7*n + 6 = -29. Sort -5, n, -4, 3 in increasing order.
-5, -4, 3, n
Let w be (-4)/(-10) - 46/(-10). Put -2, 1, w in increasing order.
-2, 1, w
Let u(f) = -f**3 - 12*f**2. Let b be u(-12). Suppose 0 = 3*s - 5*h - 27, 4*s = -b*h - 5*h + 1. Let p = 3.4 - 3. Put s, p, -2/9 in increasing order.
-2/9, p, s
Suppose 10 = -2*b, t - 2*b - 21 + 6 = 0. Put t, 0, -21 in increasing order.
-21, 0, t
Suppose -9 - 7 = -4*c. Sort c, -1, 5 in increasing order.
-1, c, 5
Let a = -15 + 13. Put 2, -3, a in decreasing order.
2, a, -3
Let m = 2 + 2. Suppose -3*v + 12 = 0, -4*w = w - m*v + 31. Suppose -s + 1 = -2*s. Sort -4, s, w.
-4, w, s
Let f = -7 - -11. Suppose 6 = 2*w - 0. Suppose -w*m + 4*s = 0, 3*s = 2*m - s. Sort -2, f, m in ascending order.
-2, m, f
Let z be 0*(1/2)/1. Let v(i) = -i**3 - i**2 - 1. Let c be v(z). Put c, 1, 5 in ascending order.
c, 1, 5
Suppose f + 4 = -4*d, d + 4 = -f + 3*d. Let i be (6/f)/(3/4). Let x be (-7)/((-364)/(-221)) - (-10)/8. Sort i, 2, x.
x, i, 2
Let o(w) = 12 + 1 + 12*w - 2*w + w**2 + 0. Suppose -4*u = -3*d + 4*d + 34, -49 = 5*u - 2*d. Let j be o(u). Sort 1, -2, j in descending order.
j, 1, -2
Let l = -0.21 + -0.29. Sort -8, 4/5, l, 4 in ascending order.
-8, l, 4/5, 4
Suppose 5*m + 6*s + 15 = s, -3*m - 2*s = 6. Sort -5, -0.3, m.
-5, -0.3, m
Let c = 37 - 33. Put -3, 0, c in descending order.
c, 0, -3
Suppose 0 = -0*d + 4*d - 36. Sort 2, 1, d.
1, 2, d
Let b = 12 + -17. Let q = -0.23 - -0.13. Sort q