 a/15. Put 8, -1, h in descending order.
8, h, -1
Let j = -0.21 - -0.07. Let o = j + -6.86. Let u = 6.8 + o. Put u, 2, -5 in increasing order.
-5, u, 2
Suppose -p - 4 + 5 = 0. Let y be p/(-2) - (-76)/120. Sort y, -4, 2.
-4, y, 2
Suppose -3*v - 6 = 3*u - 0*u, -3*u - 16 = -2*v. Suppose -v*k = -7*k + 10. Sort k, 0, -1 in descending order.
k, 0, -1
Suppose 0*h = -5*h + 10. Let t be -1*h/(-1) + -7. Let x = 0 + -4. Put t, x, 4 in ascending order.
t, x, 4
Let o = -4 + 6. Let k be ((-2)/4)/(5/(-20)). Suppose k*w + 2*w = -12. Put o, w, -4 in descending order.
o, w, -4
Suppose 0*d + 8 = -4*d. Put -3, d, -32 in increasing order.
-32, -3, d
Suppose 0 = 2*a - 8, a - 4 = s - a. Let q be (1 - s)/(0 - 1). Suppose q*l + i = -0*i + 14, -3*l + 10 = -i. Sort l, -1, 1 in decreasing order.
l, 1, -1
Let w(z) = -z + 6. Let a be w(5). Suppose -4*r + r = 12, -5*f = 2*r - 2. Put -2, f, a in ascending order.
-2, a, f
Let r be (-1846)/12 - 1/2. Let j = 153 + r. Suppose -4*s + 0*s + 4 = 0. Sort j, 2, s in decreasing order.
2, s, j
Suppose 5*k = -11 + 1. Let h(a) = a**2 - 7*a - 7. Let b be h(8). Let u be 0 + b + (-2 - 0). Sort u, -5, k in descending order.
u, k, -5
Let j = -13 - -13.7. Let u = j - 0.2. Let g(s) = 5*s + 1. Let p be g(-1). Sort p, -0.2, u in decreasing order.
u, -0.2, p
Let u = 32 + -28. Let t(b) = 2*b**2 - 16*b + 7. Let y be t(8). Sort -1, y, u in ascending order.
-1, u, y
Let n = -2 + 9. Let t = 38 + -32. Let f = t - n. Sort 4/9, f, 5 in descending order.
5, 4/9, f
Suppose 2*i - 7 = q, 7 = -4*i - 3*q - 2*q. Suppose -c + 3*c = i*v - 4, 0 = 5*v - c - 22. Sort 1, 0, v in ascending order.
0, 1, v
Suppose y = 5*g - 6, -2*g - 3*y + 0 - 1 = 0. Put g, 5, -1 in ascending order.
-1, g, 5
Let a(r) = r**3 - 6*r**2 + 2. Let w be a(6). Suppose -5*n - 12 = -n. Suppose 72*b = 77*b + 10. Sort w, n, b.
n, b, w
Suppose 8 = 2*j, 3*x - x = j - 14. Let d(h) = 2 + 1 - 3*h**2 - 2. Let w be d(-1). Sort 0, w, x in increasing order.
x, w, 0
Suppose 16*p = 6*p - 30. Sort p, 6, 5, 4 in decreasing order.
6, 5, 4, p
Let g = 0.07 - 0.02. Sort -5, g, -2 in decreasing order.
g, -2, -5
Let k(d) = -d - 3. Let w be k(-4). Let p be 12/18 - 16/6. Put p, 2, w in increasing order.
p, w, 2
Suppose -4*r + 17 = -3*r. Suppose -2*g + 13 = 3*d, 4*g - 5*d + r = -12. Let j be g - -6 - (-3 - -5). Sort -2, j, -4 in increasing order.
-4, -2, j
Let k be (-4)/4*1*4. Let s = -4 + 1. Sort k, 3/5, s in descending order.
3/5, s, k
Let o(q) = -q**2 - 5*q - 4. Let d be o(-6). Let j(c) = -c**3 - 9*c**2 + 9*c - 8. Let b be j(d). Put b, -2, 3 in ascending order.
-2, b, 3
Let n(o) = o**2 + 5. Let p be n(0). Sort 6, p, -2, 1 in decreasing order.
6, p, 1, -2
Let j be ((-1)/(28/(-10) - -3))/(-2). Put -1, 9, j, -1/4 in descending order.
9, j, -1/4, -1
Let i = 78 - 78.4. Put 5, i, 44 in increasing order.
i, 5, 44
Suppose 4*b + 3 - 8 = -f, -f = 5*b - 7. Put f, 6, -4, 2 in ascending order.
-4, f, 2, 6
Let q = -147 + 63. Suppose -3*t - 8 = t + 2*s, 5*s = 0. Let m be t/7 + (-87)/q. Put m, -4, 0 in decreasing order.
m, 0, -4
Let i be 3/6 + 0 - 52/(-8). Sort 2, i, 3.
2, 3, i
Let m(d) = -d**2 + 4*d. Let j be m(3). Suppose 0 = -4*y + j + 5. Put y, 0, -1 in descending order.
y, 0, -1
Let l = 843.87 - 838. Let f = -0.77 + l. Let d = 0.1 - f. Put 0.4, -4, d in increasing order.
d, -4, 0.4
Let k = 0.9 + -0.1. Let v = k + -1. Let g = -2 - -3. Put 2/11, v, g in descending order.
g, 2/11, v
Let k(m) = m**2 + 17*m - 22. Let d be k(-18). Suppose 5*n - 14 - 1 = 0. Sort n, d, 4 in increasing order.
d, n, 4
Let f = 4.7 - 0.7. Let d(t) = t**3 - t**2 - t + 88. Let l be d(0). Let b = -1142/13 + l. Sort -0.2, f, b in descending order.
f, b, -0.2
Let q(r) = -r**3 - 21*r**2 + 24*r + 39. Let z be q(-22). Put 0.06, z, 0.4 in ascending order.
z, 0.06, 0.4
Let h = 4 + -9. Let m = 333 + -1333/4. Sort 3, m, h in increasing order.
h, m, 3
Suppose -2 = -f + 1. Let n = f + 2. Let p be 2/4*(0 + -2). Sort -4, n, p.
-4, p, n
Let w = 0.03 + -0.73. Let b = w - 2.3. Put b, -2/17, 0.3 in ascending order.
b, -2/17, 0.3
Let m be (-8)/28 - 26/7. Let j be m/18 + 20/9. Let n be 0/(1 - (5 + -2)). Put n, 3, j in decreasing order.
3, j, n
Let t = 91 + -87.3. Let o = t + -4. Sort 1/4, o, 0 in descending order.
1/4, 0, o
Let a = 2.2 - 3.2. Sort a, 3/4, 1 in ascending order.
a, 3/4, 1
Let p be (-10)/25*(-5)/(-6)*-6. Sort p, 5, -5, 1 in descending order.
5, p, 1, -5
Let a(p) = -p**3 + 4*p**2 + 6*p - 7. Let z be a(5). Suppose -28 = 5*s + 3*g, 0 = 4*s - s - 2*g + 13. Put s, 3, z in ascending order.
s, z, 3
Suppose 8 = d - 4*p, 4*d + p = 5*d - 8. Let s(n) = -n + 8. Let q be s(d). Let k = 6.5 - 7. Put k, 3/4, q in descending order.
3/4, q, k
Suppose 4*k = 2*k. Suppose -3*s + 0 - 6 = k. Put s, -1, 2 in ascending order.
s, -1, 2
Suppose -9 = -12*a + 15. Suppose 6*l = l. Sort -4, a, l in ascending order.
-4, l, a
Let u = 6 + -6.1. Put 2/7, 0.4, u in ascending order.
u, 2/7, 0.4
Let j = 0.039 - 0.039. Put 0.06, j, 0.5 in increasing order.
j, 0.06, 0.5
Let p = 2 - 1.93. Let n = 3.93 + p. Sort n, 0.1, -2/11 in decreasing order.
n, 0.1, -2/11
Let v = -11 - -18. Let u = -7.5 + v. Suppose 4*o + 24 = 2*b + 8, 12 = -3*o. Sort b, u, -4 in ascending order.
-4, u, b
Let s = 8.01 + -8. Let h = s + 0.19. Put h, -5, -2/9 in descending order.
h, -2/9, -5
Suppose 0*o + 10 = -2*o. Let k(w) = w + 9. Let n be k(-5). Sort 1, n, o in descending order.
n, 1, o
Let u = 8 - 6. Suppose -5*a - 3*g = 0, -a + 22 = 3*g + u*g. Sort 0, a, -1.
a, -1, 0
Let s(y) = -4*y**3 + y**2 + y. Let k(f) = f**2 - 2*f - 1. Let c be k(2). Let g be s(c). Let l(b) = b - 7. Let p be l(7). Put p, g, 3 in decreasing order.
g, 3, p
Let r = 19.5 - 20. Put 0.4, r, 0.05 in decreasing order.
0.4, 0.05, r
Suppose -i - 25 = 12. Let m = -149/4 - i. Put m, 1, -0.1 in decreasing order.
1, -0.1, m
Let l = 22 - 22. Suppose l = -5*v + 2*v - 15. Sort 0, v, -1.
v, -1, 0
Let k = -2.8 + 3. Let s = 0.07 + 0.23. Let o = s + -0.5. Sort k, -1/3, o in decreasing order.
k, o, -1/3
Let h = -1.2 - -0.7. Sort h, 0.1, 3/8 in increasing order.
h, 0.1, 3/8
Suppose 5*i - 2 + 7 = 0. Suppose -f + 4 = -0*f. Sort f, 0, i in ascending order.
i, 0, f
Let o be 1/(3 - (-20)/(-7)). Suppose -5*b = -o*b. Suppose s = -3 + 6. Put -3, s, b in decreasing order.
s, b, -3
Let g = -0.3 - -0.7. Sort 5, -2/11, g in decreasing order.
5, g, -2/11
Let f be ((-9)/(-14))/(3/(-4)). Let q = -8 + 6. Sort 3, f, q in ascending order.
q, f, 3
Let j be -2 + -6 + (2 + -1 - -2). Suppose -4*i + 5 = 1. Sort -2, i, j in descending order.
i, -2, j
Let l = -0.8 + -2.2. Suppose 4 = -3*p - 2. Let t = 1 - 1. Put t, p, l in increasing order.
l, p, t
Suppose -p - 8 = u + p, -p + 1 = 3*u. Suppose 3*m - 2 = 10. Suppose 5*s - m*x = -19, -u*s - 2*x + x - 5 = 0. Put s, -1, -5 in ascending order.
-5, s, -1
Suppose -r = -5*k + 9, 0*k = -k - 5*r + 7. Let j(h) = -h**2 - 7*h + 6. Let u be j(-7). Let a be (-2)/3 - (-5)/u. Sort a, -0.1, k in descending order.
k, a, -0.1
Let w(u) = 2*u - 19. Let x be w(12). Let r = -3 + 5. Put x, -2, r in ascending order.
-2, r, x
Let a be 6*(-2)/(-4) - 0. Suppose -2 = -v - a. Put -4, 4, v in decreasing order.
4, v, -4
Let q = -4 - -7. Sort 4, -1, q, 2 in decreasing order.
4, q, 2, -1
Let g be (-462)/(-147) - (-2)/(-14). Let f be (1*2)/((-1)/2). Put f, 2, g in ascending order.
f, 2, g
Let j(o) = -4*o - 3. Let y(n) = n + 1. Let f(c) = -j(c) - 3*y(c). Let w be f(3). Sort 2, w, 0.
0, 2, w
Let d(u) be the third derivative of u**6/120 - u**5/10 + 7*u**4/24 - 5*u**3/6 - 4*u**2. Let l be d(5). Let g be 10/(-8) - (-4)/16. Sort l, 3, g.
g, 3, l
Suppose 0 - 5 = -w. Let y = -3.95 - -4. Let z = -0.25 - y. Sort 0, z, w in ascending order.
z, 0, w
Let k(z) = -4*z - 1. Let y be k(-2). Let m(g) = -g**2 + 7*g - 1. Let j be m(y). Sort 5, j, 3 in decreasing order.
5, 3, j
Let j = -4/23 + 17/230. Sort 3, j, -2/11 in decreasing order.
3, j, -2/11
Suppose 3*y + 10 + 5 = 0. Let s = y - -6. Suppose -2*i - 5 = -3*i. Put 0, s, i in descending order.
i, s, 0
Suppose 2*c = 2*d + 326, -166 = d - 2*c - 1. Let h be 1/4 - d/28. Put 1, h, 4 in decreasing order.
h, 4, 1
Suppose -2*x = 1 - 3. Let k(n) = -n - 9. Let a be k(-4). Suppose -5*h - 4*c + 15 = 0, 0*h + 3*c = h - 3. Sort a, h, x.
a, x, h
Let p(h) = -h**2 - 5*h - 2. Let b be p(-5). Let r = 5 + b. Let a(s) = s**2. Let v be a(1). Put r, v, -3 in ascending order.