.
a, -1, m
Let a be (-4)/(-2 - -6) - (-5 - -6). Let w(o) be the third derivative of o**6/120 + o**5/12 - o**3/6 - o**2. Let m be w(-5). Sort a, 0, m.
a, m, 0
Suppose -4*c - d - 13 = 0, 5*c - d = -4 - 1. Sort 3, c, -5 in increasing order.
-5, c, 3
Let i = 14.3 - 13.9. Sort -0.4, -1/5, i in increasing order.
-0.4, -1/5, i
Let q = 6 - 5.8. Let z = -0.1 - q. Let s be (1 - 1)/(0 - 2). Sort z, s, 0.5 in ascending order.
z, s, 0.5
Let s be (-3)/(-5) + (-21)/(-15). Suppose 10*v - 9 = 7*v. Put s, v, -3 in decreasing order.
v, s, -3
Let q = 35 - 35. Put 3, q, -16 in descending order.
3, q, -16
Let y be (-3)/15 - (-2)/5. Let r = -0.6 + -1.4. Put y, r, -4 in increasing order.
-4, r, y
Let r = 1.62 - 1.12. Put -3/5, 0.1, r, -2/19 in descending order.
r, 0.1, -2/19, -3/5
Let n = -536703/13 + 41589. Let w = -304 + n. Let h = 5 + -2. Sort 2, h, w in ascending order.
w, 2, h
Let s be ((-2)/(14/(-6) + 3))/(-1). Sort 0, 2, s, -3 in descending order.
s, 2, 0, -3
Let o(n) = -n**2 + 18*n - 32. Let m be o(16). Sort -61, m, -3.
-61, -3, m
Let k = -0.08 + 0.38. Let d = -0.26 + 5.76. Let i = -5 + d. Sort k, i, -5.
-5, k, i
Let v(u) = 4*u**3 - 2*u**2 - u + 1. Let s be v(1). Put -1, -5, s, 4 in descending order.
4, s, -1, -5
Let k = 4.97 - 5. Let d = k - -1.03. Put -0.4, d, 0.4 in ascending order.
-0.4, 0.4, d
Let r be (-1)/(4/6)*-2. Let d be (-1 + -5)/(-2) + -4. Suppose 5*t = 10 + 5, 2*k = 2*t - 6. Sort r, d, k in ascending order.
d, k, r
Let g be -1*(2 + -1) - (-1 + -2). Let q(a) = -a**3 + a**2 + 2*a + 1. Let x be q(-1). Let t be 2/3 - (-32)/(-12). Put t, g, x in ascending order.
t, x, g
Suppose 0 = -2*i - 3*i. Suppose i = -4*v - 2*a - 21 + 3, -4*v - 20 = 4*a. Put v, 2, 0 in increasing order.
v, 0, 2
Let x be (-3)/(-3)*(1 - 0). Let i = 13 - 13. Sort i, 3, x.
i, x, 3
Let r be 0 + (-9)/6*-2. Suppose -g + 8 - 3 = d, -3*d - 4*g = -20. Sort r, d, 4.
d, r, 4
Let t(s) = s + 6. Let k be t(-10). Let u(w) = w + 1. Let q be u(k). Put 2, q, -4 in descending order.
2, q, -4
Let h = 17 + -20. Put 4, h, 5, 3 in decreasing order.
5, 4, 3, h
Let j = -53.1 + 53. Put -4, -3, j, -2/7 in ascending order.
-4, -3, -2/7, j
Let w = 0.05 + -0.55. Let y = 3 + w. Let l = -0.5 + y. Sort -4, l, -0.2 in descending order.
l, -0.2, -4
Let m = -182 - -1457/8. Let d = -1.95 + -0.05. Sort d, 4, m in decreasing order.
4, m, d
Let z = 5 - 5. Suppose 4 - 1 = q. Suppose q*r - r = z. Sort r, -3, 4.
-3, r, 4
Let k be (-1)/(-3)*(-5 + 35)/5. Sort k, 5, -4, -18.
-18, -4, k, 5
Suppose 2*u = -4*l - 0*l + 6, -5*u + 3 = 4*l. Put u, -5, -2 in descending order.
u, -2, -5
Let g(y) = y**3 + 2*y**2 - 2*y. Let i be g(-2). Put -1/4, i, -1/5, -0.3 in increasing order.
-0.3, -1/4, -1/5, i
Let b = -10 - -5. Let z(x) = -x**2 - 7*x - 5. Let j be z(-5). Sort -2, j, b.
b, -2, j
Let r be 4/30*3/(-4). Suppose 5 - 29 = -3*i. Suppose -5*z + 3*z = -i. Sort -3, z, r in descending order.
z, r, -3
Let p = -35 + 30. Sort -1, -20, p in descending order.
-1, p, -20
Let k(q) = -q - 21. Let f be k(-10). Sort -4, -5, f in descending order.
-4, -5, f
Let w = -0.3 - 4.7. Let n = 3838 - 134319/35. Let k = 1/35 - n. Put k, w, -0.3 in ascending order.
w, -0.3, k
Suppose 0 = 2*b - b - 15. Let j be ((-2)/21)/((-5)/b). Put 0.1, 0, j in decreasing order.
j, 0.1, 0
Suppose 13*s - 133 = -6*s. Sort 6, -5, s in increasing order.
-5, 6, s
Let k = -13/14 + 3/7. Suppose 4*a - 4*j + 20 = 0, -2*a - 2*j + 11 = 3*j. Let f(m) = 3*m**2 - 3*m - 2. Let v be f(-1). Sort k, a, v in descending order.
v, k, a
Let m = -12 - -12. Sort -5, m, -7.
-7, -5, m
Let o(z) = -6*z. Let p be o(-1). Suppose -20 = a - p*a. Put a, 3, 0 in decreasing order.
a, 3, 0
Let q = 0 + -0.3. Let a = -536 - -541. Sort -1/3, a, q in increasing order.
-1/3, q, a
Let k be 15*(2/(-6))/1. Sort k, -2, -3 in decreasing order.
-2, -3, k
Let f be 15/(-9) + 4/6. Let z(d) = -d + 33. Let g be z(33). Put f, -3, g in descending order.
g, f, -3
Suppose 10 = -0*c + 5*c. Suppose -2*o + 6*o - 136 = 0. Let g be (-2)/(-9) + o/9. Sort c, -2, g in ascending order.
-2, c, g
Let s(n) = -1 + 0*n + 2 + n. Let v be s(3). Sort v, -1, 5.
-1, v, 5
Let i = 20 + -20.4. Let x = 0.7 + -0.2. Put 0, x, i in decreasing order.
x, 0, i
Suppose -q - 4*q = 4*r + 20, -52 = 4*q - 4*r. Put 3, 4, q in ascending order.
q, 3, 4
Suppose -4*o = 5*n - 3 - 32, -o + 40 = -5*n. Let i = -12 + o. Sort 1, -1, i in decreasing order.
i, 1, -1
Let n = 0.18 - -0.32. Sort n, 3, -1 in ascending order.
-1, n, 3
Let p = 68 - 65. Put 3/7, 0.2, p, -1/3 in descending order.
p, 3/7, 0.2, -1/3
Suppose -4*m - 2 = -2*q, 3*q + 3*m = -m + 3. Suppose 12 = -23*k + 19*k. Put k, q, 4 in increasing order.
k, q, 4
Suppose 0 = -5*s + 6*s. Put s, -5, 2 in ascending order.
-5, s, 2
Let n(d) = -d**2 - 14*d - 3. Let v(y) = y - 3. Let q be v(-11). Let u be n(q). Suppose 4*j = 2*b - 0*j, 0 = -2*b - 3*j. Put -5, b, u in decreasing order.
b, u, -5
Let b = 0.134 + -0.034. Sort -2, -9, b in decreasing order.
b, -2, -9
Let b be ((-7)/(28/16))/(-26). Sort -2/9, b, 0.3, 0.5 in decreasing order.
0.5, 0.3, b, -2/9
Suppose 0 = -2*f - 1 - 7. Let b be 0 + (-38)/14 + 18/(-63). Sort -2, f, b in ascending order.
f, b, -2
Let w = 5.9 + -6.2. Sort -1/6, -1, w, -3.
-3, -1, w, -1/6
Let n(j) = -j**3 - 4*j**2 - 2*j + 6. Let b be n(-3). Put -2, 1, 5, b in descending order.
5, b, 1, -2
Let v = 11 - 16. Put 0, 3, v in ascending order.
v, 0, 3
Suppose 0 = -o + i + 2, 4*i = i + 3. Suppose 2*q + 1 = -2*c + o, 0 = q - 3. Let p(x) = -x**3 + x. Let z be p(1). Sort c, z, -3 in ascending order.
-3, c, z
Let s be -6 + (-2)/(-1) + 0. Let a = 3.12 + -0.12. Sort -1/4, s, a.
s, -1/4, a
Suppose 0 = -10*v + 13*v - 81. Let f be (18/v)/((-10)/9). Let r be 6/15*(-9)/(-6). Sort 0.4, f, r.
f, 0.4, r
Let i(s) = 4*s + 1. Let u be i(-1). Let t = 0 + 1. Let h = 1 + t. Put u, h, 0 in decreasing order.
h, 0, u
Let u(k) = -k - 4. Let z be u(-7). Let d be 4*(2 + 6/(-4)). Suppose -z*f - 1 = 2*i, d*i - 13 = -5*f + 6*i. Put 0, 3, f in decreasing order.
3, f, 0
Let x = 58 - 51. Sort x, 3, 0, -1 in increasing order.
-1, 0, 3, x
Let o = 2.6 + -3. Suppose 0 = -3*q - 2*q. Suppose 2*y - 8 = -4*s - 0*y, 2 = 4*s + 5*y. Put o, s, q in descending order.
s, q, o
Suppose -3*i + 11 = -1. Suppose 3*v - i = -5*q, -4*q = v + 3*v - 8. Let j be (2/4)/((-9)/6). Put -2/7, j, v in ascending order.
j, -2/7, v
Suppose o - 1 = 4. Suppose 2*w = j + 8, 4*w - 1 - 1 = -o*j. Put j, 2, 1 in descending order.
2, 1, j
Suppose 0 = 2*s + 4 - 10. Let q be ((-1)/s)/((-3)/45). Suppose -2*n + 15 = -q*n. Sort -3, n, -4 in descending order.
-3, -4, n
Let u = -0.1 + 0. Let t = 0.3 - u. Let w(q) = -q**2 - 8*q - 5. Let r be w(-7). Put -2, r, t in decreasing order.
r, t, -2
Let y = 2.3 + -5.3. Put -4, y, 3 in descending order.
3, y, -4
Suppose c + c - 2*v = 8, c = -4*v - 1. Put c, -2, 4 in ascending order.
-2, c, 4
Let w be 2 - 1*(0 + 1). Let v be (-2 + w)*(-2)/4. Let p = -3 + 2.8. Put v, p, -1 in descending order.
v, p, -1
Let r = -25.98 - 0.02. Let n = r - -14. Let u = n + 7. Sort -4/7, 5, u.
u, -4/7, 5
Let a = -0.424 - -0.024. Let j = -2 - -2.5. Put a, -2/11, j in increasing order.
a, -2/11, j
Let t(m) = -m - 2. Let r be t(-5). Let i(v) = -3*v + 1. Let x be i(2). Sort r, 0, x in increasing order.
x, 0, r
Let g = -7 + 5. Let k = -1 - g. Put 0, 3, k in descending order.
3, k, 0
Let c = -116 - -237/2. Put 3/2, -1/4, c, -5 in decreasing order.
c, 3/2, -1/4, -5
Let a be 5/(-2)*6/5. Suppose -5*n = 4*r + 13, 6*r = r - 4*n - 5. Sort 4, r, a.
a, r, 4
Suppose 3*w + 2*v = 3*v - 6, -4*v + 10 = -5*w. Let a be (10/(-6))/(2/6). Let t be 1 + 4 + -1*2. Sort w, a, t in increasing order.
a, w, t
Let q be (-4)/(-2) - 20/9. Put -4, 2, 4, q in descending order.
4, 2, q, -4
Let u be ((-2)/3)/(-1) - 0. Let s(j) = -11*j + 22. Let n be s(2). Put 1, u, n in ascending order.
n, u, 1
Let n = -0.5 + -2.5. Let z = 1 - 0.7. Put z, 3, n in decreasing order.
3, z, n
Let g(t) = t**3 - 7*t**2 - 9*t + 9. Let x be g(8). Let b = 3.3 - 3.3. Sort x, 5, b.
b, x, 5
Let f(d) = 2*d - 19. Let v be f(9). Put -2, v, 11 in decreasing order.
11, v, -2
Let f = 115 + -111. Let t(j) = -5*j**2 - 6*j + j**3 + 0*j + 7 + 4*j. Let r be t(5). Sort r, f, -2.
r, -2, f
Let h be (-2*(1 + -3))/1. Suppose h*m + s - 1 = 3, s + 6 = m. Let j = m - 0. Sort j, 1, 3 in increasing order.
1, j, 3
Let d = -16 - -15. Put d, -2, 5 in increasing o