 Sort -3, m, o.
-3, m, o
Let u(r) = -4 + 3*r + 0 - 17. Let i be u(6). Let h = 4 - 0. Sort i, 0, h in increasing order.
i, 0, h
Let m = -164 - -164. Sort 20, m, -3, -2/7 in ascending order.
-3, -2/7, m, 20
Suppose -10*x + 18*x + 288 = 104*x. Suppose -2*z = 4*m - 8, 0*m + 3*z = -3*m. Sort m, x, -21 in descending order.
m, x, -21
Suppose 0 = -3*c - 3 + 6. Let v be (-2 + c)*(7 - 8). Suppose 0 = -2*d + 7*d + 5*q + 10, d + 3*q = -4. Sort d, v, 0.
d, 0, v
Let q = -39 + 178. Sort 1, 4, 2, q in descending order.
q, 4, 2, 1
Let t = -0.0536 - -0.0736. Sort -2, -0.3, t in decreasing order.
t, -0.3, -2
Suppose 0 = -2*l - 5*f + 9, 3*l - f + 4*f = 9. Let t be 8/12 - 10/(-3). Let a be (-8)/(4 - 8) - t. Put l, -4, a in descending order.
l, a, -4
Let t = -208 + 207.9. Sort 3, t, -11 in ascending order.
-11, t, 3
Let l be ((-29)/203)/(2/(-6)). Put 3, 5, 1/2, l in increasing order.
l, 1/2, 3, 5
Let f = 0.62 + 12.38. Let z = -15 + f. Let k = -1 - -2. Sort 0.3, k, z in descending order.
k, 0.3, z
Let u = 81 - 2. Let j = -80 + u. Sort 5, -25, j in decreasing order.
5, j, -25
Let v = -1.807 + 0.007. Let d = v - -1.7. Put d, 5, 1/9 in ascending order.
d, 1/9, 5
Let l(f) = f - 22. Let a be l(-3). Put 1/5, 0.1, -0.5, a in decreasing order.
1/5, 0.1, -0.5, a
Let h = 1.9699 - -0.0301. Let c = -1165/7 - -166. Sort c, -1/5, h.
c, -1/5, h
Let t be ((-2)/(-3))/(24/108). Sort -4, -5, 0, t in decreasing order.
t, 0, -4, -5
Let s(l) = l**3 - 9*l**2 - 13*l + 145. Let d be s(6). Sort d, -2, 1 in descending order.
1, -2, d
Let x be (-81)/(-10) - (1560/(-13))/(-15). Suppose -s = 3*j + 3*s, 5*j + 3*s - 11 = 0. Sort j, 1/2, x, 0.3 in descending order.
j, 1/2, 0.3, x
Let f = -2327/15 - -155. Let j = -1/3179 + -212837/495924. Let v = j + 7/12. Put 0, v, f in descending order.
v, 0, f
Let l = -0.3 + 0.2. Let p = -2366.068 - -2362. Let q = 0.068 + p. Put 1/3, l, q in decreasing order.
1/3, l, q
Let b = -685 + 684.7. Sort 5/4, b, 11, -0.4 in ascending order.
-0.4, b, 5/4, 11
Suppose 0 = -m + 13 - 8. Suppose 0 = m*w + 41 - 1. Sort w, 0, -5.
w, -5, 0
Suppose -4*f = h - 7, 1 = 3*h + f + 2. Sort -8, h, 0 in decreasing order.
0, h, -8
Let j be -1*(-1 - 2/(-1)). Let p(n) = -2*n - 1. Let k be p(-3). Sort -8, k, j in ascending order.
-8, j, k
Let h = 4.9 + -2.9. Let o = 2 - 5. Let b = h + o. Sort 2, b, 3/2 in decreasing order.
2, 3/2, b
Let t(n) = -n**3 + 11*n**2 + 12*n. Let k be t(12). Let f be 1*(1 - k)*-4. Sort -5, -9, f in descending order.
f, -5, -9
Let u = 1 + -9.8. Let s = u + 3.8. Let i(q) = -q + 2. Let f be i(4). Sort f, 2/19, s in decreasing order.
2/19, f, s
Let w(y) = y**3 - 10*y**2 - 10*y - 13. Let m be w(11). Let x be 5/2 + m/(-4). Let q be (3 - x) + 2 + -3. Sort 5, q, -4 in ascending order.
-4, q, 5
Suppose 0 = 3*n - 4*g + 1, 409*n - 3*g + 32 = 413*n. Put n, -21, -2, 2 in increasing order.
-21, -2, 2, n
Suppose -9*z + 24*z = 60. Sort z, -18, -0.04 in descending order.
z, -0.04, -18
Suppose -4*q - 8 = -w + 5, 0 = 3*q - 2*w + 6. Put q, 16, -2 in increasing order.
q, -2, 16
Let o = 1567.932 - 1562. Let q = 0.068 + o. Sort -1/2, -0.4, q in increasing order.
-1/2, -0.4, q
Let o = -0.38 + -0.62. Sort o, 2, 2.7 in ascending order.
o, 2, 2.7
Let f = 1.3 + 3.7. Suppose 0 = 62*q - 51*q + 55. Put q, f, 2/7 in increasing order.
q, 2/7, f
Let j = -22.6 - -4.6. Let i = j - -18.1. Put i, 1/4, 2 in decreasing order.
2, 1/4, i
Let r be (6 - 0/3)*20/3. Sort 1, r, 5 in descending order.
r, 5, 1
Let d = 1 + 0. Let t(u) = u**3 + u**2. Let p be t(d). Suppose p*y = y. Sort 4, -0.2, y.
-0.2, y, 4
Let s = -7.3 + 7.48. Let v = -49.3 + 45.12. Let q = s + v. Sort -5, 0.5, q in decreasing order.
0.5, q, -5
Suppose 0 = -5*g - 2*h + 16, 5 - 1 = 3*g + 4*h. Put g, -6, -2 in ascending order.
-6, -2, g
Let m = 785 + -784.6. Put -3/7, m, -1/3, 0.028 in increasing order.
-3/7, -1/3, 0.028, m
Let r = -22 - -22. Suppose d - 2*a = 3 + 5, -4*d + 4*a + 36 = r. Let u = 6 - d. Put 0, 5, u in decreasing order.
5, 0, u
Let v = -95.71 - -97. Let h = 1.39 - v. Let m be (1 + 0)*2/(-10). Sort h, 0.06, m in descending order.
h, 0.06, m
Let q = 268 - 273. Put -4, 2, -2, q in decreasing order.
2, -2, -4, q
Let c be 13 - (-4)/((-8)/26). Sort -4, c, -21 in descending order.
c, -4, -21
Let y(r) = 9*r - 6. Let m be y(6). Let f = m + -35. Put f, 2, 4 in decreasing order.
f, 4, 2
Let a be 5/(-1 + 2)*15. Suppose 8*p + a = 3*p. Sort p, -4, 5 in increasing order.
p, -4, 5
Let t = -1.9 + 2. Let i = 0.3 + t. Sort 5, -5, i in decreasing order.
5, i, -5
Let k = -101.7 - -102. Put 47, k, -1/4 in increasing order.
-1/4, k, 47
Let x = 7606 + -7606.3. Let h = 24 - 13. Let t be (-2 + 0)*h/2. Sort 4, x, t in decreasing order.
4, x, t
Let r be -2 - -5 - ((-715)/(-20))/11. Sort r, 20, 4, -0.4 in descending order.
20, 4, r, -0.4
Let b = -2064 + 2076. Let c be ((-4)/6 + 0)*3. Sort -3, 0, b, c in decreasing order.
b, 0, c, -3
Let l be -3 - -1*(2 - 1). Let y(j) = -10*j + 12*j - 2*j + j**2 - 11*j - 12. Let v be y(12). Sort l, v, -3 in increasing order.
-3, l, v
Suppose 2*k - 4*h - 28 = -k, 4*k = 2*h + 24. Suppose k = -7*r + 3*r. Let u(i) = 5*i**3 + i**2 - 2*i + 1. Let o be u(1). Sort r, o, 1 in descending order.
o, 1, r
Let m = 5 + -5. Sort 0.06, m, -0.1, 0.4 in descending order.
0.4, 0.06, m, -0.1
Suppose 13*f = 17*f + 5*p + 28, 22 = -3*f - 4*p. Let n(h) = -h**3 - 6*h**2 + h + 2. Let c be n(-6). Put f, -9, c in descending order.
f, c, -9
Let q(c) = -3*c**2 - 10*c + 7. Let p = -18 - -17. Let l(a) = -a**2 - 1. Let n(u) = p*q(u) + 2*l(u). Let d be n(-11). Put 6, d, 4 in descending order.
6, 4, d
Let k = -637 + 645. Put 5, 2, 3, k in decreasing order.
k, 5, 3, 2
Let v = -6.87 - 0.13. Let o = -6.8 - v. Put 2/5, o, 0.05 in descending order.
2/5, o, 0.05
Let m = -0.4 + 0.4. Let w = 119.7 - 120. Suppose 5*u + 7 = 12. Put m, u, w in decreasing order.
u, m, w
Suppose 16*a - 12 = 36. Suppose -5 = -2*l + 7. Suppose -3*b - a = l. Sort 2, -0.5, b in descending order.
2, -0.5, b
Let b = -111 - -111.01. Let t = 0.39 + b. Sort -4, 5, 1, t in ascending order.
-4, t, 1, 5
Let k be (-10)/35 + 366/7. Let i = k + -366/7. Sort -0.5, 2/3, i in increasing order.
-0.5, i, 2/3
Let q = 379 + -376. Sort q, 18, 2.
2, q, 18
Let y be (4 - -82)/(1/(3/(-2))). Let s = y - -131. Put s, 18, -2, 5 in descending order.
18, 5, s, -2
Let w = 8 + -6. Let z(v) = -7*v + 3. Let k(m) = -m. Let q(u) = 5*k(u) - z(u). Let c be q(w). Put -3, -6, c in decreasing order.
c, -3, -6
Let a = -2637 - -2642. Suppose -6 = 5*h - 4*h - 2*p, -3*h = 5*p - 4. Sort 3, -3, a, h in descending order.
a, 3, h, -3
Let m = 1.3 + 4.7. Let g = -67 - -58. Let d = g + m. Put d, 1, 1/2 in increasing order.
d, 1/2, 1
Let y be 130/6 - 11/(-33). Suppose 20*d = y*d + 10. Let w be (-1 - 2) + (-15)/d. Put -3, w, 5 in descending order.
5, w, -3
Suppose -2*v = 2*s + 10, 4*s - 4*v + 1 + 11 = 0. Put -2/15, s, 0.02, -2/9 in decreasing order.
0.02, -2/15, -2/9, s
Let i(h) = -h**2 - 12*h + 2. Let v(c) = c - 1. Suppose 2*g + 5 + 7 = 0. Let t(l) = g*v(l) - i(l). Let q be t(-4). Put 4, 3, q in descending order.
4, 3, q
Let b = -206/585 + -6/65. Let j = -0.18 + 3.58. Let i = -1.6 - j. Put i, b, 4 in descending order.
4, b, i
Let a = 89 + -73. Suppose 5*k - 2*v - 5 - a = 0, -9 = -k - 2*v. Let q be 0/(-2) + 1/1. Put k, q, -5 in increasing order.
-5, q, k
Let v = 6 - 4. Let w(g) = -g**2 - 11*g + 19. Let a be w(-13). Let j be (0 - -6) + (-10 - a). Sort j, 0, v in descending order.
j, v, 0
Let k = 218 - 218. Suppose -3*d + 9 + 5 = -2*r, 0 = 2*d + r. Suppose -2 = -p + 2. Put k, d, p in descending order.
p, d, k
Let h be (-8)/77 + (-6)/33. Let s(l) = -l**3 + 2*l**2 - 5*l + 5. Let w be s(2). Let q(x) = x**2 + 9*x + 15. Let u be q(w). Put h, 5, u in descending order.
5, h, u
Let v = -404 + 403.7. Sort -5, -0.4, 6, v in descending order.
6, v, -0.4, -5
Let f(i) = 2*i**3 + 2*i**2 + 3*i + 9. Let a be f(-2). Sort 5, 0, 1, a.
a, 0, 1, 5
Let b = -321 + 1607/5. Put b, -1/4, 1/4, 0.2 in descending order.
b, 1/4, 0.2, -1/4
Let a = -1672 - -1672. Let h = 4 - 6. Let u = -3 - -5. Put a, h, u in increasing order.
h, a, u
Let u(m) = -13*m + 39. Let t be u(2). Sort t, -0.1, 5 in increasing order.
-0.1, 5, t
Let u(j) = j**3 - 26*j**2 + 3*j - 59. Let n be u(26). Suppose -11*q - n = 36. Sort q, -4, 24 in decreasing order.
24, -4, q
Let k = 3/38 + -103/342. Put 0, 2/11, k 