7, d in descending order.
0.4, d, -3/7
Let x(k) = k**2 + 3*k - 5. Let t be x(-5). Suppose -4*h - j - 4 = 3*j, -t*j = -5*h - 45. Suppose 32 + 3 = 5*z + 3*c, 0 = -z + 4*c - 16. Sort -1, h, z.
h, -1, z
Let l be 1/(((-20)/(-8))/5). Sort 1, -3, l in descending order.
l, 1, -3
Suppose 0 = -2*u + 2*i - 6, 0 = i - 0 - 2. Let t = -9 - -13. Suppose -3*f = 3*x - 4*x + 13, 0 = 2*x + 4. Put t, f, u in ascending order.
f, u, t
Let n = -8.02 - -8. Let k = -0.52 - n. Sort -0.4, 2/5, k.
k, -0.4, 2/5
Let c(q) = 2*q - 14. Let h be c(7). Let n = 0.2 - 4.2. Put n, -8, h in increasing order.
-8, n, h
Let m = -0.3 + 0.8. Let o = -263 + 9733/37. Let j = o + 177/148. Sort m, j, 3 in decreasing order.
3, j, m
Let c = 0.9 + -1.3. Sort c, -3, -2.
-3, -2, c
Let i = -75 - -74.7. Put -1, 5, -0.1, i in decreasing order.
5, -0.1, i, -1
Let g = 55 + -58. Put 2, 0, 5, g in increasing order.
g, 0, 2, 5
Let q(u) = -2*u - 12. Let m be q(-6). Let v be 1 - (-3 - (-3 + 17)). Suppose 4*t + 5*c - v = -1, -t - 2*c + 5 = 0. Put -2, t, m in descending order.
t, m, -2
Let c(q) = -q**2 - 4*q + 9. Let n be c(-5). Suppose -3*u - 5 = 4. Sort n, u, -2 in descending order.
n, -2, u
Let d(p) be the first derivative of p**3/3 + 3*p**2/2 + 4*p + 1. Let z be d(-4). Suppose -9 = -0*y - 3*y. Sort y, -5, z in decreasing order.
z, y, -5
Let m = 4 + -9. Let g(d) = -d**2 + 9*d - 16. Let i be g(7). Put 1, m, i in ascending order.
m, i, 1
Suppose 15 = -5*a - 0. Let f be (-2)/4 + (-39)/(-6). Suppose -15 = -3*x + f*x. Sort a, x, 4 in descending order.
4, a, x
Let p be ((-12)/(-5))/(15/100). Let j = p + -15. Sort j, -4, 2 in increasing order.
-4, j, 2
Let j = 0.03 - -1.97. Let x = 3 - j. Let p = 1 + -2. Sort x, p, 1/5 in increasing order.
p, 1/5, x
Let a = 1.8 + -2.3. Sort -3/2, -4, a in decreasing order.
a, -3/2, -4
Suppose 0*t - 15 = -5*t. Put t, -2, -1 in descending order.
t, -1, -2
Let c = 137 + -143.1. Let v = 6 + c. Let a = 0.5 + -1. Sort a, 4, v.
a, v, 4
Let c = 1006/7 + -144. Let p(k) = k**2 + k + 1. Let w be p(-1). Sort w, c, -1/7 in decreasing order.
w, -1/7, c
Let j(w) = -w**2 + w + 20. Let c be j(6). Sort 1, 4, c.
c, 1, 4
Let s be (-5 - -2)/((-6)/4). Let p = -5 + 8. Suppose 5*d - p*u + 6 = 0, 3*d - 2*u + 5 = 1. Sort s, d, 1 in increasing order.
d, 1, s
Let v = -174 + 178. Suppose 5*j + 3*z - 10 = 0, -4*j + 4*z + 5 = -3. Sort j, -2, v in ascending order.
-2, j, v
Suppose 0 = b + 4*b. Suppose d + 0 + 4 = b. Sort d, -2/3, 1 in increasing order.
d, -2/3, 1
Let p be ((-4)/(-6))/((-18)/27). Sort p, 0, -5 in ascending order.
-5, p, 0
Let y(h) = 4*h + 68. Let m be y(-18). Sort m, 2, -3 in decreasing order.
2, -3, m
Suppose 0 = x - 3*x + 8. Suppose 4*f - f - 12 = 0. Suppose q = -f*q. Put q, 1, x in ascending order.
q, 1, x
Suppose 4*q + 20 = -5*j, -5 = q + 4*j + 11. Put q, 2, -1, -4 in descending order.
2, q, -1, -4
Let p = 0.51 + -0.91. Sort -0.5, -0.1, -5, p in ascending order.
-5, -0.5, p, -0.1
Let f = 21 - 17. Sort -2, f, 2/15.
-2, 2/15, f
Suppose 2*y + 26 = -4*c, -y = -3*y - c - 26. Sort 3, 1, 4, y in descending order.
4, 3, 1, y
Suppose -17*p - 21 = -20*p. Sort p, 2, 1 in decreasing order.
p, 2, 1
Let b(f) = -f**3 - 4*f**2 + f + 3. Let i be b(-4). Let l(r) = -r**3 + r**2. Let z be l(i). Let m be ((-2)/3)/z*2. Sort -0.1, m, 0.3 in increasing order.
m, -0.1, 0.3
Let r be (-3)/(-2)*(-5 - 95/(-15)). Let a = -4 - -3. Sort 5, r, a.
a, r, 5
Suppose -5*a - 9 - 22 = 2*z, 3*z + 15 = 3*a. Let n(c) = c**3 + 8*c**2 - c - 7. Let k be n(z). Sort 0.4, -2/7, k in decreasing order.
k, 0.4, -2/7
Let m = 613 - 1856/3. Let p = -5 - m. Let i = -0.2 + 0. Put -1, i, p in descending order.
p, i, -1
Let g be 2 - (-3 + 3) - 4. Sort 0, -5, g, 13.
-5, g, 0, 13
Let r(c) = -c + 12. Let k be r(5). Let t = -3 + k. Let i(z) = -z - 5. Let g be i(0). Sort 0, g, t in descending order.
t, 0, g
Suppose d = 5*o - 22, -8 = 3*d - 2. Suppose -g = -4, o*g + 2 = f + 15. Sort 4, f, 5 in decreasing order.
5, 4, f
Let f(y) = y - 21. Let a be f(25). Put a, 2, -20 in descending order.
a, 2, -20
Let l = 54 - 54.3. Let g = 10/19 - 61/152. Sort 1/3, l, g in ascending order.
l, g, 1/3
Let r = 2 - 3. Let w = -4 - r. Let f(l) = l**3 + 9*l**2 + 5. Let g be f(-9). Sort g, w, 3/2.
w, 3/2, g
Let v = 0.03 + 7.97. Put 0, 3, v in increasing order.
0, 3, v
Let n = -0.1 - -0.09. Let o = -4.99 + n. Sort o, -0.3, 0.5.
o, -0.3, 0.5
Let x(s) = -11*s**2 + 6 + s**3 - s**2 + 8 + 10*s. Let l be x(11). Sort l, -1, 5 in descending order.
5, l, -1
Let w be (-6)/(-8) - (-2)/8. Suppose 5*g = 2*y + 7, 6*g + 2*y = 2*g + 20. Suppose -l + g*l = -6. Sort w, l, 5 in ascending order.
l, w, 5
Let y = 136 + -135. Sort 2, y, 5 in increasing order.
y, 2, 5
Let f be ((-2)/6)/((-1)/6). Suppose f*a + 4 = -3*p, 3*p = -3*a + 1 - 4. Let z = 56/5 + -58/5. Put p, -0.1, z in ascending order.
p, z, -0.1
Let g = -0.1 + -0.2. Let f = 5.7 - 5.2. Sort g, -5, f in descending order.
f, g, -5
Let s be (-7)/(-9) + -1 - 4/(-18). Sort s, 1, 5 in decreasing order.
5, 1, s
Let q = -244 - -4634/19. Let i = 133/6 - 22. Sort i, q, -1/2 in increasing order.
-1/2, q, i
Suppose 3*i + 7 + 10 = -5*z, 4*i = -3*z - 8. Put 3, z, 2 in descending order.
3, 2, z
Let n be (1 - -1)/(-2) + 1. Let r = -365 - -362. Sort -1, n, r in ascending order.
r, -1, n
Let g = 59.4 - 59. Sort 1, g, -1 in decreasing order.
1, g, -1
Suppose 4*y - 4 = 2*v, -3*y + 18 = 2*v + 1. Sort -2, -1, -3, v in decreasing order.
v, -1, -2, -3
Suppose 3*h = 5*k - 26, 15 = 3*k + h - 3*h. Suppose -2*r = 2*w + w + 19, -w = r + k. Sort 0, w, 1 in decreasing order.
1, 0, w
Let q = 3 - 0. Let t be 210/10*6/(-7). Let v = t + 13. Sort q, v, -3 in descending order.
q, -3, v
Suppose -2*a - 3*h = -5 - 46, -4*a - 3*h = -99. Suppose -4*p = 8 - a. Sort p, -5, 3 in decreasing order.
p, 3, -5
Let a = 0 - 5. Let n = -9 - -6. Put n, a, 1 in descending order.
1, n, a
Let u(t) = 2*t + 1. Let n be u(-1). Let w be (1/1)/(-1)*n. Let f be -2 + 3/3 + w. Sort f, 0.6, 2 in descending order.
2, 0.6, f
Let o = 0.1 + -0.1. Let s(v) = -v**2 + 8*v - 7. Let r be s(6). Let x(h) = h**3 - 4*h**2 - 6*h + 2. Let p be x(r). Sort p, 4, o.
p, o, 4
Suppose d - 15 = 4*j, -3*j - 2*d = -d + 13. Suppose 4*n - 4 = 3*n. Sort -1, n, j in decreasing order.
n, -1, j
Let b(o) = o**2 + 4*o - 3. Let q be b(-3). Let l(x) = x**3 + 5*x**2 - 6*x - 5. Let d be l(q). Suppose 0 = -4*g + 5 - 17. Sort g, 0, d.
d, g, 0
Let j = 52/33 + -10/11. Sort 0.2, j, -0.1 in descending order.
j, 0.2, -0.1
Let z be 24/15*(-1625)/(-30). Suppose -2*s + 4*v = -s - 70, 3*v - 270 = -3*s. Let l = s - z. Put -3/2, -4, l in increasing order.
-4, -3/2, l
Let x be (-4)/(-6) + 20/6. Put -1, x, -2 in decreasing order.
x, -1, -2
Let o be 2/(-6) + 13/3. Let p be o/(-14) - 16/(-7). Sort p, 1, -4 in decreasing order.
p, 1, -4
Let m(p) = -p**3 + 9*p**2 - 9*p + 7. Let o be m(8). Let a be 0 - (-2 - (2 + -7)). Sort a, o, -2 in descending order.
o, -2, a
Suppose 9 = -2*u - b, 0 = -2*b - 1 - 1. Let d = 3 + u. Sort 3/5, -2, d.
-2, d, 3/5
Let y = -68/11 + 6. Let x = -0.11 - 0.39. Put 5, x, y in decreasing order.
5, y, x
Let y = -52 + 56.7. Let q = y + 0.3. Sort q, -0.1, 1 in descending order.
q, 1, -0.1
Let z = 1.4 + -0.4. Let o = 0 - z. Let k = 2 + o. Put -5, -3/5, k in descending order.
k, -3/5, -5
Let u(x) = x + 14. Let a(m) = m + 1. Let n(p) = 2*a(p) - u(p). Let o be n(8). Sort 3, 1, o in decreasing order.
3, 1, o
Let h(n) = -n**3 + 5*n**2 + 6*n + 6. Let x be h(6). Let g = -9 + x. Put -5, -4, g in increasing order.
-5, -4, g
Suppose -7 = -2*d - 1. Let m(h) = -2*h - 52. Let u be m(-26). Put 5, u, d in descending order.
5, d, u
Suppose 2*f + v = -5 + 22, -3*v = f - 21. Sort 3, f, 5 in descending order.
f, 5, 3
Let j = 52 + -55. Sort j, 4, 2/19, 3 in decreasing order.
4, 3, 2/19, j
Suppose -30 = u - 4*j, 2*j = u - 3*u - 30. Put -2, u, 0, 2 in descending order.
2, 0, -2, u
Suppose -5 = -3*n + 7. Let s(q) = 2*q - 2. Let t be s(5). Let u = 6 - t. Sort n, 0, u.
u, 0, n
Let v = -16 + 15. Put 1, -2, v in descending order.
1, v, -2
Let a = -23 + 47/2. Let f = 0.08 - 6.08. Let d = -3 - f. Sort d, 2/3, a.
a, 2/3, d
Suppose -3*w = -6*w + 9. Sort 1, -5, w, -2 in ascending order.
-5, -2, 1, w
Let u = -0.03 - 0.17. Let a = u + -1.8. Sort a, 5/3, 0.2 in decreasing order.
5/3, 0.2, a
Let x be 3*(-2)/(-48)*1. Sort x, -0.2, 4.
-0.2, x, 4
Let j = -0.0566 - 7.0334. Let