Let l = 3 - 1. Put l, -1, z in decreasing order.
l, z, -1
Let u = -15 - -17. Put u, -5, 6, 5 in ascending order.
-5, u, 5, 6
Let x be 1389/(-252) + (5 - 2). Let f = x + 25/12. Sort f, 3, -2/3.
-2/3, f, 3
Suppose 0 = -b - 5*j + 28, -74 = -0*b - 4*b - j. Suppose -2*n + 1 = 4*y - 5, -y = -5*n - b. Sort 2, 5, y in increasing order.
2, y, 5
Let b = -6 + 3. Suppose 3*z + 0*h + 5 = -5*h, 2*h = -5*z - 21. Put b, z, 5 in increasing order.
z, b, 5
Let i(j) = j**3 - 6*j**2 - 8*j + 10. Let s be i(7). Sort 4, s, -5, 5 in increasing order.
-5, s, 4, 5
Let k = -9 + 5. Let g = 1 + 7. Let z = k + g. Sort z, 0, 1.
0, 1, z
Let f(k) = -k + 2. Let c be f(6). Let q = c - -1. Suppose 0 = 3*t - 13 + 1. Put q, 1, t in decreasing order.
t, 1, q
Let z = 4 + -6. Let r be 2*10*z/(-8). Suppose 3*g = 4*h + 1, 4*g + 0*g + 40 = -5*h. Sort r, -2, h.
h, -2, r
Let l = 3 - 9. Sort 4, l, -1, -3.
l, -3, -1, 4
Let x(p) = p**2 - 6*p - 10. Let b be x(7). Sort -5, b, -1.
-5, b, -1
Let q(p) = p**3 - 5*p**2 + 6*p. Let v be q(3). Sort v, 8/5, -2.
-2, v, 8/5
Let t = 3 + -6. Let j be (3 - 2)*(3 - -2). Put j, t, -5 in decreasing order.
j, t, -5
Suppose -n - 12 = -5*n. Suppose 0 = -5*a + n*a. Sort -3, a, 4 in increasing order.
-3, a, 4
Let g = 0.1 + -0.3. Let f = -5 + 9. Put -0.5, f, g in decreasing order.
f, g, -0.5
Let z(r) = -19*r**3 - r**2 + 2*r + 2. Let f be z(-1). Let m = f - 17. Sort 0.5, -3/2, m.
-3/2, 0.5, m
Let k = -1/422 + 865/8862. Put -2/7, 4, k, 6 in descending order.
6, 4, k, -2/7
Suppose 0 = -n + 4*n. Let f be (-3)/9 - (-1)/3. Let h be (-6)/(2 - 0) - f. Sort h, n, -1.
h, -1, n
Let l be 1 - (-4)/(12/(-3)). Suppose -p - 1 = -l. Sort 4, p, 1 in increasing order.
p, 1, 4
Let u = 937 - 937.4. Let i = 0.3 - 0.5. Sort -7, i, u in increasing order.
-7, u, i
Let k be (-4)/(-30) + (-28)/(-15). Let l(u) be the first derivative of 3*u**2/2 - 2*u + 1. Let m be l(k). Sort 0, -1, m in decreasing order.
m, 0, -1
Let h(i) = -3*i**2 - 1. Let d be h(-1). Sort 7, d, -2 in decreasing order.
7, -2, d
Let p(m) = -m**2 - 6. Let u be p(0). Let y = u - -6. Sort 5, y, -5.
-5, y, 5
Let f = -0.08 - -5.08. Let k = f - 5.4. Let a = 2 - 4. Put -1/2, a, k in ascending order.
a, -1/2, k
Let r = 14 - 10. Sort -0.1, 2/7, r.
-0.1, 2/7, r
Let h(l) = -l + 22. Let v be h(20). Put -2, 6, v, 3 in ascending order.
-2, v, 3, 6
Let x(j) = -j**3 + 4*j**2 - 3*j + 1. Let y be x(2). Suppose -2*u - t = -y, 0 = 2*u - t - 0*t + 7. Put 5, -3, u in increasing order.
-3, u, 5
Suppose -11 = s + 5*a, -4*s - 4*a = -2 - 2. Suppose 0 = 3*y + 2*y - 15. Suppose 5*c - 6 - 3 = 3*z, -y*c - 15 = 5*z. Sort z, 0, s in descending order.
s, 0, z
Let b = 3 + 1. Let u = b - 8. Put u, -5, -1/3 in ascending order.
-5, u, -1/3
Let r(v) = v**2 + 9*v + 4. Let y be r(-8). Sort 2/7, y, -2/13 in ascending order.
y, -2/13, 2/7
Let w = 28.08 - 30. Let v = 0.08 - w. Sort 1/6, v, -2/11 in ascending order.
-2/11, 1/6, v
Let u be (-3)/12 + (-2)/(-8). Suppose -4*b - 61 + 25 = u. Put -5, -1, b in descending order.
-1, -5, b
Let q = -7.2 - -6.7. Put -0.3, 2, q, -1/3 in increasing order.
q, -1/3, -0.3, 2
Suppose 3*o - 14 + 32 = 0. Let b = 8 + o. Suppose 0 = -4*j + 4*u + 4 + 8, -4*j - 4*u - 28 = 0. Sort b, j, -5 in ascending order.
-5, j, b
Suppose 0 = -5*h + 8*h + 6. Sort h, 4, 2.
h, 2, 4
Let k(p) be the second derivative of 0 + 2*p**2 - 1/6*p**3 - p. Let s be k(0). Sort 2, s, -1 in descending order.
s, 2, -1
Let r(u) = 4*u**2 + u + 2. Let a be r(-1). Put -3, a, -4 in increasing order.
-4, -3, a
Suppose 5*y - 71 = s, 6*s - 5*s = 4*y - 56. Put -1/2, -5, -2, y in decreasing order.
y, -1/2, -2, -5
Let v = 0 + 0. Let m = 1/32 - -25/224. Let o = 105 + -107. Sort o, m, v.
o, v, m
Let o = 5 - 1.8. Let r = o - 0.2. Let q = 204/427 - 3/61. Sort -0.5, r, q in ascending order.
-0.5, q, r
Let x(q) = q**3 + 7*q**2 + 8*q + 7. Let z be x(-6). Let g = -3 - -7. Let t = g + -8. Put z, 3, t in descending order.
3, t, z
Suppose 3*r - 17 + 5 = 0, -j + 5*r - 17 = 0. Suppose d - 2*h = -0*h + j, 3*h + 12 = 0. Sort d, -3, -4.
d, -4, -3
Suppose -2*c - 4 + 2 = -2*g, -3*g + c = -3. Put 3, g, 8 in decreasing order.
8, 3, g
Suppose 3*a + 3*a = 12. Put 4, a, 3 in increasing order.
a, 3, 4
Let w = 0.5 - 0.8. Let l = -37 - -29.5. Let t = 8 + l. Sort 5, w, t in ascending order.
w, t, 5
Let f be 138/(-8) - 5/(-20). Let i = f - -253/15. Put -1/4, 1, i in descending order.
1, i, -1/4
Let p = 11 - 6. Sort p, -1, 4 in increasing order.
-1, 4, p
Let r = 1 + -1. Suppose -3 = -2*p - 1. Suppose 2*g - 3 = p. Sort -2, g, r in decreasing order.
g, r, -2
Let r be 17/(-68) + (-15)/4 + 2. Put 4, 1, r, 27 in ascending order.
r, 1, 4, 27
Let u(d) = 5*d**3 + 4*d**2 + 3*d - 1. Let o be u(-1). Sort -4, 5, o.
o, -4, 5
Let v be 1*(-2)/4*-26. Put v, 1, 0 in decreasing order.
v, 1, 0
Let x be (-1)/(15/(-18))*40/(-12). Let p be (1 - 0/1) + -1. Sort p, -1, x in increasing order.
x, -1, p
Let o = 1 + -1. Let x = 10.8 + -11. Sort -4, o, x in descending order.
o, x, -4
Let n = 151/212 + 2/53. Sort -12, n, 3 in descending order.
3, n, -12
Let i = 6 - -10. Let t be i/72 + (-76)/18. Sort 10, -1/2, t in decreasing order.
10, -1/2, t
Suppose k - 5*k + 16 = 0. Suppose -14 = 5*a + 1. Sort a, 2, k in descending order.
k, 2, a
Suppose -25 = -c - 4*c. Sort 3, c, 4 in ascending order.
3, 4, c
Let k = 9 - 8. Let m be (-4)/2*k/3. Suppose -4*b - 5*z + 15 = 0, -2*b + 4*b = -4*z + 12. Put b, 1/10, m in increasing order.
m, b, 1/10
Let n = -3 + 3. Let s = n + -3. Put 2, 5, s in descending order.
5, 2, s
Let d = 0.09 + -5.09. Let h be 3*(3 - (-16)/(-4)). Sort h, -0.2, d in descending order.
-0.2, h, d
Let j = -0.21 + -5.79. Sort j, 0.3, 2/3 in descending order.
2/3, 0.3, j
Let d = -66 - -61. Let o be 32/6 - 4/12. Suppose -7 = 3*k - 2*k - i, o = -5*k - i. Sort k, -3, d.
d, -3, k
Let f(z) = -z**2 + 3*z + 2. Let l be f(5). Put l, -1, -2 in ascending order.
l, -2, -1
Let p = 0.031 + -0.231. Put p, -2/5, 0.5 in ascending order.
-2/5, p, 0.5
Let s be ((-4)/(-14))/(6/(-14)). Let p be 4/5 - 0/(-1). Let m = 0.7 + -0.4. Sort s, p, m.
s, m, p
Let v = -16 + 18. Suppose -2*j = -3*j + v. Put j, 0.1, -1/4 in increasing order.
-1/4, 0.1, j
Let s(d) = d + 3. Let u be 0/1 - (5 - 0). Let t be s(u). Sort -1, t, 4.
t, -1, 4
Suppose -5*r + r - 20 = 0. Let h be ((-8)/(-6))/(2/6). Let j = -16 - -13. Sort h, r, j in increasing order.
r, j, h
Let k be 1113/(-18) - (1 + 0). Let h = -63 - k. Put -2, h, 0.1 in decreasing order.
0.1, h, -2
Let s be 3/2 + 15/12*-14. Sort -2, -5, s in ascending order.
s, -5, -2
Let i = -0.27 + -0.13. Put -0.1, -5/2, -3, i in ascending order.
-3, -5/2, i, -0.1
Let z be 6/(-39) - 55/65. Sort -5, z, 5 in ascending order.
-5, z, 5
Let r be ((-48)/(-224))/(6/8). Put r, -8, 5 in decreasing order.
5, r, -8
Let i = -32.6 + 21.9. Let g = -5 - -16. Let k = i + g. Put -2/5, -0.3, k in ascending order.
-2/5, -0.3, k
Let u be (1/3)/((-4)/(-12)). Sort 24, u, -3 in decreasing order.
24, u, -3
Let z = -2 + 2.4. Let j = z - 0.1. Let w = 0.2 - 0.1. Sort j, 4, w in ascending order.
w, j, 4
Suppose b = 2*f - 3, -f = 4*b - 15 - 0. Suppose -15 = 5*w - 5*a, -4*w - w + a = b. Suppose -z + 0 = -1. Put -1, w, z in decreasing order.
z, w, -1
Let s be (10 + 6/(-3))/2. Suppose 3*l = 2*o - s, -3*o + 4*l = -0*o - 4. Sort 3, o, 0 in decreasing order.
3, 0, o
Let g be 16/(-9) - (-2)/(-9). Let c(a) = -a**3 - 17*a**2 + 18*a + 1. Let b be c(-18). Sort g, b, 4 in ascending order.
g, b, 4
Suppose 4*x + 0*l + 16 = 3*l, 0 = -5*l. Sort -2, 3, x.
x, -2, 3
Let b be (-1 - 0)/(36/8). Put -5, 0, -2/19, b in decreasing order.
0, -2/19, b, -5
Let u(d) = 5*d + 25. Let x be u(-5). Put 1, -3, 4, x in ascending order.
-3, x, 1, 4
Let j(k) = -k**3 - k**2 + k - 2. Let m be j(-2). Put 1, m, 2 in ascending order.
m, 1, 2
Suppose -4*w = 4*h - 16, 2*w = -h - 2*w - 8. Let g be (-2)/h - (-23)/(-4). Let c be (2/(-3))/(4/g). Put c, -3, -5 in increasing order.
-5, -3, c
Suppose 0 = -4*n - 3*x - 10, 3*x + 2*x = -2*n + 2. Let p = 1 + 1. Suppose -14 = 4*u - p. Sort n, u, 1.
n, u, 1
Suppose -2*f + 22 = -18. Suppose 3*n = f + 10. Suppose -3*l = -5*h - 23, -5*h + n = -4*l + 34. Put -5, 4, l in decreasing order.
4, l, -5
Suppose 4*h - 20 = -4*l, 3*h = -4*l + 5*h + 14. Sort l, -2, 0, 7 in ascending order.
-2, 0, l, 7
Let b(t) = t**2 - 7*t + 15. Let w be b(5). Put -5, 3, w in decreasing order.
w, 3, -5
Let a