-9) - (-11 + m). Sort s, 2/13, 1.
s, 2/13, 1
Let h = -2/1373 + -1345/19222. Let s = 4/35 - -11/35. Let d = s - h. Sort d, -2, -11.
-11, -2, d
Let i = 23/4 - 57/10. Let y be 2 - (-9)/(-5) - 0. Let n = y + i. Sort -2/7, 2, n in increasing order.
-2/7, n, 2
Let c = 5.058 - 0.058. Sort c, -51, -0.5 in ascending order.
-51, -0.5, c
Let g = 284.8 + -285.2. Sort 5, -5, g, -0.0585 in increasing order.
-5, g, -0.0585, 5
Let j = -22 + 41. Let k = j + -16. Sort k, 0, -4.
-4, 0, k
Let m(a) = 2*a**2 - 12*a + 3. Let b be m(8). Suppose 3*w + w - 3*x = b, 2*w + 5 = -3*x. Put 4, w, -4 in decreasing order.
w, 4, -4
Let p(q) = 3*q**3 - 27*q**2 - 11*q + 36. Let f(x) = -x**3 + 9*x**2 + 4*x - 12. Let c(i) = 8*f(i) + 3*p(i). Let t be c(9). Suppose t*m = 2*m. Sort 8, 5, m.
m, 5, 8
Let o be (-2 + 0 - -1)*-3. Let q(y) = -2*y**3 - 12*y**2 - y - 2. Suppose 0 = 8*x - 17 + 65. Let r be q(x). Sort r, o, -2 in ascending order.
-2, o, r
Let h be 16/(-12)*3/(-10). Sort h, -0.3, -2, -4 in ascending order.
-4, -2, -0.3, h
Let l = 102 + -70. Let w = -18 + l. Let c = w + -15. Sort c, -4, 0.4 in descending order.
0.4, c, -4
Let v be ((-3)/6)/((-12)/8). Let o = 13/21 - v. Put 2/9, -1/27, 1/7, o in descending order.
o, 2/9, 1/7, -1/27
Let s = 8.0332 - 0.0332. Put 0.4, s, 0.3, -3 in increasing order.
-3, 0.3, 0.4, s
Let i(w) = 9*w**2 - 94*w + 35. Let s be i(10). Put -3/8, 2, -10/9, s in descending order.
2, -3/8, -10/9, s
Let x = 0.089 + 106.911. Let v = -106.8 + x. Put 0.03, v, -4 in decreasing order.
v, 0.03, -4
Let w = 401 - 400.6. Sort -30, -4, w in decreasing order.
w, -4, -30
Let o = -1230 + 1233. Let u be (-1 - -1)/(-3 - -1). Put o, u, 5, 1 in increasing order.
u, 1, o, 5
Suppose -t + 5 = -m - 4, -4*m = 12. Put t, 1, 2/7 in decreasing order.
t, 1, 2/7
Suppose -2*u = -6, -24*w = -19*w - 3*u + 34. Sort w, 5, 3 in ascending order.
w, 3, 5
Let o = 27.16 - 27.11. Put o, 0, 12, -4 in decreasing order.
12, o, 0, -4
Let f be ((-16)/32)/(-6 + (-354)/(-60)). Let y = -1.17 - -0.07. Sort f, y, -4.
-4, y, f
Let z = 181 - 183. Let u be 1/(2/1 - (5 + z)). Suppose 2*c - 13 = -3. Sort c, 0, u in descending order.
c, 0, u
Let u = 33 + -133/4. Let o = -1.16 + 0.16. Put o, u, -2 in ascending order.
-2, o, u
Let t be (-198)/(-77)*(-7)/(-1). Let i be (3/(-4))/((t/(-16))/3). Suppose -2*u + 4*u = -6. Sort i, u, 1 in ascending order.
u, 1, i
Suppose -2*d = -5*y - 3, -3*d - 15 + 51 = 3*y. Let h(z) = 5*z + 61. Let t be h(-19). Let m = -37 - t. Sort 3, m, d in ascending order.
m, 3, d
Let k = -954 - -953.971. Sort 0.04, k, 2 in descending order.
2, 0.04, k
Let y = 2/137 + -554/411. Let h = -2.9 + 1.9. Sort -2/7, -5, y, h in increasing order.
-5, y, h, -2/7
Let l = -2.29 + 2.17. Let f = 2.75 + 2.37. Let d = f + l. Sort d, 2/3, 0.5 in descending order.
d, 2/3, 0.5
Let z = -2 - -2. Let u = 1.9381 - -0.0619. Put z, u, -2/5 in descending order.
u, z, -2/5
Let p be (-1)/(12/234)*8/(-3). Put -5, p, 5 in increasing order.
-5, 5, p
Let b = -97 - -99. Suppose 0*z - 5*y = -b*z - 7, -z = -5*y + 6. Put 6, -3, z, 1 in decreasing order.
6, 1, z, -3
Let g be 0/(-2) + (1 - -1). Suppose -g*v - 3*i = -15, 0 = i - 5 - 0. Suppose 4*h - h - 15 = v. Sort 0.5, 0.1, h in increasing order.
0.1, 0.5, h
Suppose 3*l - 97 = -4*k - 1, -96 = -3*l - k. Suppose 16 = -3*f - l. Let q be 15/84 + (-4)/f. Sort -2, 0.1, q in ascending order.
-2, 0.1, q
Let p = -467 - -466.99. Sort 0.5, 0, 0.05, p.
p, 0, 0.05, 0.5
Suppose -5*w + 67 = -108. Let d = -103/3 + w. Let u = 170.8 - 167.8. Put u, -2/3, d in descending order.
u, d, -2/3
Let x be ((-3)/(-6))/(1/(-6)). Let k be ((-6)/(-4))/((-1)/(-2)). Sort k, 2, x.
x, 2, k
Suppose 0 = 4*q - 0*q - 24. Suppose -3*v - j - q = 2*j, -3*j = 5*v + 4. Suppose -4*d = 4*g, -4*d + 6 = 5*g + v. Sort 14, 4, g.
4, g, 14
Let x(a) = -3 + 6*a - 4*a - 2*a + 4*a. Let j be x(1). Sort 4, -4, j in increasing order.
-4, j, 4
Let o be 72 - (2 - 16/4). Let f = -77 + o. Sort 2, -15, f in decreasing order.
2, f, -15
Suppose -15*p - 6 = -12*p, -3*r = p - 1. Put -1, r, -147 in descending order.
r, -1, -147
Let r = -0.02 + -0.07. Let f = r + -1.81. Let s = 2.1 + f. Sort s, -1, 1/11 in decreasing order.
s, 1/11, -1
Let b = 2409 + -2407. Sort 29, 1, -1, b in increasing order.
-1, 1, b, 29
Let v = 102 - 102.04. Sort -0.4, v, -5/3 in decreasing order.
v, -0.4, -5/3
Let d = -234 - -234.01. Let k = -1.01 - -3. Let t = d + k. Sort 0, 3/5, t.
0, 3/5, t
Let q(d) = d**2 - 3*d - 4. Let g be q(5). Let t = 87 + -88. Put 5, t, g in increasing order.
t, 5, g
Suppose -5*y - 33 = -r, 5*r = -5*y - 0*y + 75. Put r, 4, 3, -5 in increasing order.
-5, 3, 4, r
Let d = 34 + -30. Let y(b) = b + 5. Let w be y(-9). Let o = w - -7. Put -1, o, d in ascending order.
-1, o, d
Let h = -0.7 - 2.3. Let v = 22/57 - 94/1425. Let l = 2/25 + v. Put h, l, -5 in increasing order.
-5, h, l
Suppose r - 5 = -0, -5*f = 2*r - 45. Let x be 3 + 1*-1 + (-18)/f. Sort x, 4, 1/6 in descending order.
4, 1/6, x
Suppose -3*f - 3*z - 9 - 6 = 0, f + 7 = z. Let w be (f/(-49))/((-18)/(-56)). Let d = -1/21 + w. Put -0.6, d, 2 in decreasing order.
2, d, -0.6
Let x be (6 + -2 + -2)/1. Suppose -5*j = p + 8, -14 = 2*p - p - j. Let d = -17 - p. Sort 0, d, x.
d, 0, x
Let d = 66.848 - -0.152. Let b = -72 + d. Let v = -0.5 - -2.5. Sort b, 0.3, v.
b, 0.3, v
Suppose 2*h = -3*m + 20 - 4, 3*m + 40 = 5*h. Let w = -3 + h. Let t = w + -9. Put t, -2, -2/15 in descending order.
-2/15, -2, t
Let z = 10.35 + -12.35. Sort -0.8, 4, z, -0.02 in increasing order.
z, -0.8, -0.02, 4
Suppose -2*q = 10, 3*c + 3*q = 6*c - 165. Let g = 451/9 - c. Let f = 12 + -14. Put g, -1/3, f in descending order.
g, -1/3, f
Let z be 6/8 + (-174)/8. Let b = 23 + z. Put b, 1, 5 in descending order.
5, b, 1
Suppose 0*g + 27 = -3*v + 2*g, -5*g = 5*v + 70. Let d = v - -8. Let i = -0.12 - -3.12. Sort 1/5, i, d in ascending order.
d, 1/5, i
Let v = 43/6 + -22/3. Sort -0.1, -11, 4, v in decreasing order.
4, -0.1, v, -11
Let t = -1 + 5. Let q be -7 - (1 - 3) - 0. Put t, 2, q in decreasing order.
t, 2, q
Let f(o) = -o**2 + o - 3. Let j(v) = -v**2 + v - 1. Let z be 2/(-3)*(3 + -6). Let w(x) = z*j(x) - f(x). Let h be w(3). Sort 3, h, -2.
h, -2, 3
Suppose -3*x - 2*x - 5*u - 55 = 0, -4*u = 5*x + 54. Let p = -11 - x. Let l = 15 + -10. Put p, l, -3 in decreasing order.
l, p, -3
Let y(t) = t**2 - 8*t + 5. Let m be y(6). Let s be 6/27 - m/(252/(-16)). Sort s, 1/9, -0.1 in increasing order.
s, -0.1, 1/9
Suppose -3*u - 5*l - 60 = 0, -2*u - 2*u - 72 = 4*l. Let w(x) = 3*x + 43. Let g be w(-16). Put -4, g, u in decreasing order.
-4, g, u
Let r be (-6)/(-15) + (-3)/20. Let n be (1164/108 + -11)*6/(-4). Sort n, r, -0.04, 5 in descending order.
5, n, r, -0.04
Let r be (2/17 - (-74)/(-629))/(-5). Put r, -1, 1, 25 in ascending order.
-1, r, 1, 25
Let g = 84 + -94. Let s = -17 - -31. Let u = s + g. Put u, 8, -4 in decreasing order.
8, u, -4
Let q = 872 + -834. Sort 3, q, 2 in increasing order.
2, 3, q
Let v = 2772 - 2779. Let t(q) = -q - 1. Let r be (0/(-1))/(1/(-1)). Let p be t(r). Put -3, v, p in increasing order.
v, -3, p
Let x be 3/(-5) + 1 + (-2688)/(-1120). Put -3/5, 4, x in increasing order.
-3/5, x, 4
Let g = 86 + -85.9. Let z be (-9)/(-27) - (-14)/3. Suppose 0 = -z*q + 4*q + 3*r - 3, 2*q + 6 = 3*r. Sort q, g, 5 in decreasing order.
5, g, q
Let m = -358 - -359. Sort -0.04, m, -13/3 in descending order.
m, -0.04, -13/3
Suppose 0 = -3*y - 2*h - 8, 4 = -y - 3*h + 2*h. Suppose y*d - 3*d = d. Put -3, d, -1 in increasing order.
-3, -1, d
Let l(g) = -g**2 - 6*g - 9. Let k be l(-4). Put k, -12, 1, 0.3 in decreasing order.
1, 0.3, k, -12
Let k(q) = -5*q**2 - 9. Let h(r) = 6*r**2 - r + 10. Let d(i) = -4*h(i) - 5*k(i). Let z be d(-4). Sort 2, -4, -3, z.
-4, -3, 2, z
Let g = -269/123 - -76/41. Sort g, -1, -1/5, -0.02 in descending order.
-0.02, -1/5, g, -1
Suppose -2*v + 4*d - 52 = 0, -2*v + 3*d + 28 - 81 = 0. Put -1, v, 2 in increasing order.
v, -1, 2
Let c = -0.01 - 0.09. Let m = 0.5 + c. Sort m, -3/8, -5, -3 in decreasing order.
m, -3/8, -3, -5
Let q = 0.427 + -4.427. Put -5, q, -1.1, 0.2 in ascending order.
-5, q, -1.1, 0.2
Let o = -322/9 + 671/18. Sort -0.023, o, -4 in decreasing order.
o, -0.023, -4
Let y be ((-8)/(-60))/((-20)/(-30)). Sort -3/5, 1/3, y, 0.4 in ascending order.
-3/5, y, 1/3, 0.4
Let z = 368 + -368. Sort z, -86, 0.5.
-86, z, 0.5
Let m(x) = 