 k = 17 + -23. Put -4, -7, -1/2, k in ascending order.
-7, k, -4, -1/2
Let j(r) = -r**2 - 8*r. Let o be j(-7). Suppose 2*w - 15 = -o. Sort 5, w, 2 in decreasing order.
5, w, 2
Let j = -13 - -13.5. Let g(m) = -m**3 - 7*m**2 - 7*m - 5. Let r be g(-6). Let q = 0 - r. Put -3, q, j in decreasing order.
j, q, -3
Suppose 2*x - 5*z + 5 = 0, z = 3*x + 4*z + 18. Suppose 0*b + 5 = 5*b. Let f be b + 0 + -2 + 3. Sort x, -4, f.
x, -4, f
Let w(m) = m**3 + m**2 - m + 4. Let l be w(0). Suppose 0*n + n = 0. Suppose -5*d = -4*h + 8 + 5, -h = -4*d - 17. Put n, l, d in decreasing order.
l, n, d
Let w = 0.34 - 0.04. Let m = -5.044 - -0.044. Put m, 3, w in increasing order.
m, w, 3
Suppose 2*o + 5*j = j + 26, -4*j - 9 = -5*o. Let x = 1 + 9. Let y be (2 + x/(-4))*2. Sort o, y, -3 in decreasing order.
o, y, -3
Let k = 0.25 - -0.05. Let z = 0.3 - k. Sort -5, 5, z in ascending order.
-5, z, 5
Let h = 5 + -4. Let l = h + -3. Put l, -1/5, 3/5 in increasing order.
l, -1/5, 3/5
Suppose x = 1 + 6. Let o be x + (-1 + 2)*-4. Put 2, 0, o in decreasing order.
o, 2, 0
Let c = -17 + 14. Let y = c - -4. Sort -3/8, -2, y in decreasing order.
y, -3/8, -2
Let o = 0.09 + -0.05. Put -1/10, 5, o in decreasing order.
5, o, -1/10
Suppose 6*d - 3*d + 6 = 0. Let w = -5 + 4.6. Put w, d, -5/6 in decreasing order.
w, -5/6, d
Let a be 0 - (-4)/48*3. Let h = -0.5 + -2.5. Let s = -1 + h. Put s, a, 5 in descending order.
5, a, s
Let z = 3 - 5. Let w = -1.95 - z. Let m = -0.05 - w. Sort -5, 4, m in ascending order.
-5, m, 4
Let q = 167.2 + -182. Let j = 15 + q. Sort 2.1, j, 2/11 in ascending order.
2/11, j, 2.1
Let q = 9 + -9.02. Let r = q - 1.98. Sort -1/2, r, -1/5 in ascending order.
r, -1/2, -1/5
Let r be ((-6)/(-2) + -5)/(-1). Let s be r*1 + 9/(-3). Put -3, 1, s in descending order.
1, s, -3
Let v = 124 + -123.8. Put -1/4, -3, v, -0.4 in decreasing order.
v, -1/4, -0.4, -3
Let g = 8 - 5. Suppose 2*r - 19 = -g*k + r, 0 = 5*k - r - 21. Sort -5, k, 1 in descending order.
k, 1, -5
Let s = -0.12 - 2.88. Let l = 1.3 + -1.21. Let q = l + -4.09. Put 5, s, q in increasing order.
q, s, 5
Suppose -5*n - 8 = -2*l - 1, 4*l - 3*n = 7. Suppose -5*o = -2*b - 1 - l, 0 = -3*b - 3*o + 18. Let v be ((-6)/b)/(6/(-8)). Put -4, v, 3 in descending order.
3, v, -4
Let p be (-32)/(-156)*7/(56/(-6)). Sort -2, p, -5, -6/7.
-5, -2, -6/7, p
Let v be (4/3)/((-6)/(-27)). Let s be (-2)/(-2) + 2*4. Let b be v/s + (-22)/6. Put -5, b, 2 in decreasing order.
2, b, -5
Let i(r) = -r**2 + 18*r + 19. Let t be i(19). Sort t, 3, 2, 1 in decreasing order.
3, 2, 1, t
Let a = 58.6 + -59. Put 0.2, -22, a in ascending order.
-22, a, 0.2
Let z = 1 + -1. Suppose 0 = -t - 2, -5*w + t + 20 = -17. Let f = w + -4. Put 5, f, z in ascending order.
z, f, 5
Let v(g) = -g**3 - 5*g**2 - 3*g + 1. Let l be v(-4). Let j be (2/3)/((-1)/l). Suppose -a - 2 + 0 = 0, -4*t = 4*a + 12. Put j, t, 3 in increasing order.
t, j, 3
Let s = 6 - 4. Suppose -3*o = -3*g - 9, 0 = -o - 5*g - 13 - s. Let k be (-1)/(-5 + o/2). Put -2/3, k, 4 in descending order.
4, k, -2/3
Suppose 3*k + 79 = -2*d + 15, 0 = 4*k + 3*d + 86. Let g be 5/k - (-30)/(-8). Let u = -3 - g. Put -5, u, -3 in ascending order.
-5, -3, u
Let x = -3 - -4. Suppose -2*l - o + x = -8, -4*o = -12. Put l, 4, 5 in ascending order.
l, 4, 5
Suppose 4*s - 7*s = -15. Sort 3, s, -0.3 in decreasing order.
s, 3, -0.3
Let u(v) = -v - 4. Let k be u(-7). Suppose 2*m = -k*m + 5. Sort 4, -2, m in increasing order.
-2, m, 4
Let j(l) = -l + 10. Let y be j(12). Sort 2, -4, y in decreasing order.
2, y, -4
Suppose 1 = -4*y - l - 4*l, -l + 3 = 0. Let r = 0 + 1. Suppose -12 = 2*m - 2*b, -4*m + r = b + 10. Sort 5, m, y in increasing order.
y, m, 5
Let y = 69 - 68. Sort y, -3, 38 in decreasing order.
38, y, -3
Let a(y) = -y - 6. Let v be a(-8). Let j be (-4)/(-32)*(3 - v). Sort j, 1/4, 5 in increasing order.
j, 1/4, 5
Let z be -7*3 - (-5 - -2). Let j = z - -13. Let o be 0 + 0 + (-1 - 1). Put j, o, 0 in increasing order.
j, o, 0
Let m = -4 + 31. Let j = m - 26.5. Sort -0.2, j, -2 in decreasing order.
j, -0.2, -2
Let c be (-8)/(-36) + (-75)/(-27). Suppose 2*x + j + 1 = 6*j, -2*x + 4*j = 2. Sort c, 0, x in increasing order.
x, 0, c
Suppose -w - 3 = -0*w. Suppose 0 = 6*r - 69 + 27. Sort r, w, 5.
w, 5, r
Suppose 5*a + 10 = -5*k + a, -1 = k + a. Sort -3, k, -4 in ascending order.
k, -4, -3
Let l = 7079 - 42359/6. Let c = 359/6 - l. Let d = 41 - c. Sort -0.5, -2, d in descending order.
d, -0.5, -2
Let u = 41/2 + -81/4. Let c be 2 + -1 + 6/(-3). Sort c, u, -2 in ascending order.
-2, c, u
Suppose 0*n + 12 = 2*n. Suppose -3*z = -n*z - 15. Put 2, 3, z in decreasing order.
3, 2, z
Let j be -1*24/(-4) - 8/2. Sort j, -25, 5, -4 in increasing order.
-25, -4, j, 5
Let s(b) = b**3 + 3*b**2 - b - 4. Let d be s(-3). Let c be 4 - (-14)/(-10) - 3. Sort c, d, 2/15 in increasing order.
d, c, 2/15
Let b = 84 + -83.8. Sort b, -6, -1/6, -1/9 in descending order.
b, -1/9, -1/6, -6
Let l(m) = m. Let s(t) = -t + 1. Let z(q) = 5*l(q) + 6*s(q). Let g be z(4). Sort -5, -1, g in decreasing order.
g, -1, -5
Let p = 1 + 0. Let y = 16 + -27. Let o be y/(-3) + -1 - p. Sort 0.4, o, -3/4 in ascending order.
-3/4, 0.4, o
Suppose 3*y + 4*l - 17 = 0, 3*y - 6*l + 2*l = 1. Suppose 0 = 3*g - 10 - 2. Sort -3, g, y.
-3, y, g
Suppose 7 = 4*m + 5*k, -2*m - 3*k = 3*m + 1. Let b be 16/(-28)*(-2)/(-8). Sort -0.3, b, m in ascending order.
m, -0.3, b
Suppose -3*s + 7 = -s - 5*l, 2*l - 2 = 2*s. Suppose 5*q = 5*c + 5, 15 = -q - 4*c - 4. Put 0, s, q in increasing order.
s, q, 0
Let r = 5.1 - 1.1. Let h = r - 3.5. Put h, 4, 5 in ascending order.
h, 4, 5
Suppose -10 = -4*p - 3*y, 5*p - 2*y - 1 = -0*y. Sort -8, 0, p in ascending order.
-8, 0, p
Let h be ((-5)/(-2))/(7/14). Suppose 6 = -2*x, h*x + 6 = -2*y - y. Put -1, y, 5 in increasing order.
-1, y, 5
Let a be ((-25)/(-5)*-1)/1. Let i = -6 + 2. Put i, a, -1/4 in ascending order.
a, i, -1/4
Let n = 24.08 + -24. Put n, -2/15, -1 in ascending order.
-1, -2/15, n
Let w = -0.5 + 0.2. Let o = 29 - 53/2. Let x = o - 17/6. Put 5, w, x in decreasing order.
5, w, x
Let k = 319/3 + -106. Sort -2/9, -0.2, k in decreasing order.
k, -0.2, -2/9
Let c be (-3)/(-6) + 2/(-3). Let d = -13 - -18.8. Let y = 6 - d. Sort c, y, -3 in descending order.
y, c, -3
Let n(d) = -d**2 + 6*d + 9. Let f be n(7). Let c = -11 + 8. Sort 0, f, c in ascending order.
c, 0, f
Let m be -4*(4 + (-164)/16). Suppose 0 = -2*z - 8, 5*v - 8 + m = -3*z. Sort 4, -2, v.
-2, v, 4
Let x be (-4)/6 - (-117)/(-27). Sort -1, x, -4 in decreasing order.
-1, -4, x
Let l be (-4 + 1)/(3/(-13)). Suppose 3*w + 9 = 2*d - 1, d + l = -3*w. Sort 0, d, -2.
-2, d, 0
Let n be (-2)/9*(2 + 4). Let d = -0.9 - -11.9. Let v = d - 10.5. Put v, n, -2/13 in decreasing order.
v, -2/13, n
Let w = 10 - 15. Let r = -421.99 - -424. Let x = r + -0.01. Sort x, w, -2/21 in descending order.
x, -2/21, w
Let i = 24 + -70/3. Let c = -3.4 + 4. Let o = -4.4 - c. Put i, -3, o in decreasing order.
i, -3, o
Suppose -1 = -o + 2*o. Let v be -2 - o - -2 - 4. Let k = -272 - -274. Sort 0, k, v in descending order.
k, 0, v
Let n = 0.177 + -3.177. Let f = -281/664 - -4/83. Sort f, 1, n.
n, f, 1
Suppose 2*v + 11 = 5*v + 2*m, -3*v - m + 10 = 0. Let y be (5 - 1)*3/v. Let u(q) = q**2 + 7*q + 1. Let l be u(-7). Sort l, y, -5 in decreasing order.
y, l, -5
Let q(u) = -3*u**3 - 7*u**2 + 3*u + 4. Let h(x) = -7*x**3 - 15*x**2 + 7*x + 8. Let k(a) = 2*h(a) - 5*q(a). Let z be k(-5). Sort 3, -2, z in increasing order.
-2, z, 3
Let q(m) = -m**3 + 5*m**2 + 3*m + 14. Let g be q(6). Sort 2, g, 4 in decreasing order.
4, 2, g
Let q be 0 + (-6)/8*-2. Let x = 17 + -16. Sort x, -3, q.
-3, x, q
Let k = 25 + -30. Let q(z) = -z - 12. Let g be q(-9). Sort k, g, 4 in ascending order.
k, g, 4
Let d be 2/(-4)*4/(-1). Let a be 3/(-2)*d/6. Let s = -2612/9 - -290. Sort s, a, 2/21 in decreasing order.
2/21, s, a
Suppose 0 = -b + 2*x + 3*x - 27, -28 = 4*b - 4*x. Sort -3, b, 3.
-3, b, 3
Suppose i + 8 = -d, -3*i - 4*d = 2*i + 37. Let t(k) = -2*k + 1. Let q be t(-1). Put -4, i, q in descending order.
q, -4, i
Let s = -4 + 3.6. Suppose 4 = -h - 0*h. Let n = -0.7 - -1.2. Put n, h, s in increasing order.
h, s, n
Let h = 7 + -6.6. Let j = h + -0.2. Put -2, 2, j in descending order.
2, j, -2
Let m = -0.07 - 0.03. Put -3, -2, m in descending order.
m, -2, -3
Let f = -0.1 + -1.9. Le