Let g be s(0). Suppose l + 0*l + 1 = 0. Put g, l, -4 in decreasing order.
l, -4, g
Let s(k) be the first derivative of k**2/2 + 8*k - 1. Let b be s(-6). Let x = -7 + b. Put 2, x, 3 in descending order.
3, 2, x
Suppose -x = 2*x + 15. Put 4, 0, x, 14 in increasing order.
x, 0, 4, 14
Let o = -135 + 135.5. Let q = 0.6 - 0.3. Put -5, q, o in decreasing order.
o, q, -5
Let w = -0.8 + 4.8. Let y = -45.4 - -66. Let p = -21 + y. Sort 2/23, p, w in ascending order.
p, 2/23, w
Let p = 5.09 + -1.09. Put p, 4/9, -2/7 in decreasing order.
p, 4/9, -2/7
Let o = -861 - -861.7. Suppose 5 = 6*j - 3*j + 2*v, 3*j = v + 2. Put -2, j, o in decreasing order.
j, o, -2
Let h(j) = j**2 - 3*j + 3. Let f be h(2). Let c = 6 + -11. Sort f, -1, c in descending order.
f, -1, c
Let z(d) = -d**2 + 5*d. Let h be z(4). Let x be 0/1 + h/(-1). Put x, 4, 3 in descending order.
4, 3, x
Suppose 3*w = 2*w + 2. Let x be (-21)/12 + w/(-8). Suppose -12 = -2*d + 6*d. Sort x, d, 3 in descending order.
3, x, d
Suppose 2*w + 2*s = -4, -3*w = w - s + 23. Put -4, 7, w in decreasing order.
7, -4, w
Let q = -0.04 + -0.15. Let n = q + 0.49. Put 0.2, n, -0.6 in descending order.
n, 0.2, -0.6
Let m = -9 + 23. Let s = 9 - m. Sort 5, 0, s in descending order.
5, 0, s
Let v be (-6)/21 + 93/7. Suppose 0 = 6*j - 2*j - 12. Suppose -j*l + 18 = 5*u, 2*l - 6*l = 3*u - v. Put u, -4, 2 in decreasing order.
u, 2, -4
Suppose 7*m - 9 = 4*m. Let t = 6 - m. Sort t, 0, 4 in ascending order.
0, t, 4
Let k = -163 + 163. Sort k, 2, -2, 8.
-2, k, 2, 8
Suppose 0 = 3*m - 3*f + 6, m + 0*f - 5*f = -18. Suppose 2*z + z + 12 = 0. Let k be z/10 - 14/(-10). Put k, 3, m in decreasing order.
3, m, k
Let n be 6/(-9)*9/(-39). Put 5, 2/5, n in descending order.
5, 2/5, n
Suppose -3*y - 2*v = 2*v + 20, 2*y + 18 = -5*v. Let k be (-80)/(-84) - (-4)/(-6). Sort y, k, -1 in decreasing order.
k, -1, y
Let y(p) = p**3 + 6*p**2 + 3. Let a be y(-6). Put a, -2, 5 in descending order.
5, a, -2
Let p = -8 - -8. Put p, -2, -5 in descending order.
p, -2, -5
Let y be 12/66 + 9/11. Sort y, -4, -0.3 in decreasing order.
y, -0.3, -4
Let m = -82972/37 + 2242. Let y = -196/555 - m. Put -4, y, -5/6 in ascending order.
-4, -5/6, y
Let q(h) = h**2 - 6*h + 5. Let v be q(4). Let o = v - -5. Suppose o*z + 5 = -1. Sort -5, -2, z in ascending order.
-5, z, -2
Let i = -225 - -223. Suppose 0 - 9 = 3*l. Let z = l + 2. Sort z, -4, i.
-4, i, z
Let n be 1 + -1 + -2 + 6. Suppose 0 = v - n*v - 3. Sort v, -4, 4 in descending order.
4, v, -4
Let k = -7.18 - 0.12. Let n = 18 - 25. Let r = n - k. Sort r, -2/17, 0 in decreasing order.
r, 0, -2/17
Suppose -6 - 2 = -2*v. Suppose 0 = 2*o + 5*b + 20, v*o + 2*b = -2*b - 28. Sort o, -4, -3 in descending order.
-3, -4, o
Let m = -0.02 + 0.27. Let k = m - -0.05. Put 2/3, k, -0.5 in decreasing order.
2/3, k, -0.5
Suppose 0 = -2*l + 8, -w + 5*l = w + 26. Sort 4, w, -14 in ascending order.
-14, w, 4
Let j(l) = -l + 1. Let o(f) = -1. Let x(r) = -2*j(r) - 18*o(r). Let c be x(-7). Sort c, 3, 4 in decreasing order.
4, 3, c
Let p = -28 + 39. Let v = -7 + p. Let w = v - 0. Put 1/2, w, 5 in ascending order.
1/2, w, 5
Let i = 0.9 + 0.1. Let f = -0.1 - 0.9. Let g = 2/283 - 859/1415. Sort i, g, f in ascending order.
f, g, i
Let d = -8/3 - -3. Let s = 4 - 4.3. Sort d, 5, s in decreasing order.
5, d, s
Let x(i) = i**2 - 10*i + 16. Let n be x(7). Let j be (-4)/3*(-6)/(-4). Let c be 1*(-2 - j) - -3. Sort c, 2, n.
n, 2, c
Suppose 4 = 4*v - 2*v. Let t = 3 - -1. Sort v, t, 1 in descending order.
t, v, 1
Suppose -g = 2*q - 5, 0 = g - 4*q + q. Sort g, 4, 2.
2, g, 4
Suppose 2*s = -s. Let q be (-2)/2 + 3 + -3. Put q, 1, s in descending order.
1, s, q
Let g = 11 - 11.8. Let h = -0.5 - g. Sort -1, 5, h in decreasing order.
5, h, -1
Let k = -451/6 - -75. Put -0.5, k, 1.2 in decreasing order.
1.2, k, -0.5
Let l = -0.02 + 0.02. Let v = -2 + l. Put v, 3, 1 in descending order.
3, 1, v
Suppose k - 4 = -2. Suppose -k - 2 = m. Suppose 0 = 4*t + t - 5. Sort 5, t, m.
m, t, 5
Let h = -4.24 + -0.16. Let q = h - -5. Let x = q - -0.4. Sort 0, x, 3.
0, x, 3
Let g be ((-2)/3)/((-2)/(-9)). Sort 2/7, 0.4, g in descending order.
0.4, 2/7, g
Let j = -1.9 - 7.1. Sort 2/11, -0.4, j in increasing order.
j, -0.4, 2/11
Let k = -0.2 + 0.4. Let r = -0.4 + k. Let y = -2 + 2.4. Sort -5, y, r.
-5, r, y
Let t(s) = 2*s - 18. Let c be t(3). Sort c, 5, 0.2, 0.1 in ascending order.
c, 0.1, 0.2, 5
Let t = 0.8 + -1. Let p = 0.4 + t. Let b = -0.2 + p. Sort 4, b, 0.4 in increasing order.
b, 0.4, 4
Suppose 0 = 9*w - 5*w. Put w, 2, 4 in decreasing order.
4, 2, w
Suppose 2*v - 4*v + 10 = 0. Suppose -4*o + 16 = v*y, -5*y + 3*o - 8 = o. Let b = 5 - 7. Put 5, b, y in decreasing order.
5, y, b
Suppose -4*c - c + 4*x - 3 = 0, x + 18 = -5*c. Suppose 0 = -r - 3*r + f - 5, -4*f = 2*r - 20. Sort r, -4, c in decreasing order.
r, c, -4
Let y = -8 - -11. Let a = 2 - -3. Suppose 3 = 2*f - 5*f. Put y, f, a in decreasing order.
a, y, f
Suppose -9 = -5*j + 11. Put 0, j, -2 in descending order.
j, 0, -2
Let f = 0.2 - 0.4. Let x = 22/57 + -1/19. Sort x, f, 2/9.
f, 2/9, x
Let h = -5 + 7. Suppose 0 = -h*t - 2*t. Sort -2, 2, t.
-2, t, 2
Let a(f) = -2*f**3 - 7*f**2 - 4*f - 1. Let x(v) = 4*v**3 + 15*v**2 + 9*v + 2. Let z(h) = 13*a(h) + 6*x(h). Let p be z(1). Sort -4, -3, p in decreasing order.
p, -3, -4
Let l = -10.1 + 10.1. Let q(a) = 5*a - 1. Let h be q(1). Put h, 0.4, l in increasing order.
l, 0.4, h
Suppose o = 6*o - 25. Sort 2, 0, o in decreasing order.
o, 2, 0
Suppose 4*l - 25 = -z, -2*l - 4*z + 40 = 2*l. Let d be (-40)/(-18) + (-8)/36. Suppose -4 = 3*u + d. Sort l, 4, u in decreasing order.
l, 4, u
Let d = 9 - 15. Let v = 6.5 + d. Sort -4, -1/12, v in descending order.
v, -1/12, -4
Suppose 4*w = 2*l + 9 - 3, -w + 9 = -3*l. Put -3, w, 3, -1 in increasing order.
-3, -1, w, 3
Let w = 7 - 7.1. Suppose -3*b - 582 = -3*n, -3*b + b + 384 = 2*n. Let k = 2125/11 - n. Sort -2, w, k.
-2, w, k
Let q = 33 + -19. Let t be (-60)/q - (-12)/42. Put -0.4, -6/11, t in decreasing order.
-0.4, -6/11, t
Suppose 0 = -4*a + a. Suppose -2*y - g = a, 5*y - g - 9 = g. Put y, 2, 4 in decreasing order.
4, 2, y
Let b(l) = l + 8. Let n be b(-8). Let q(c) = 3*c**3 + c**2 + 2*c + 1. Let g be q(-1). Let s be (-4)/g - 4/(-6). Put 1, n, s in descending order.
s, 1, n
Let w = -0.12 + 0.2. Let j = 0.12 - w. Put -3, 1/2, j in descending order.
1/2, j, -3
Let j(d) = -d**3 + 3*d**2 - 4*d + 1. Let a be j(2). Sort a, -13, 4 in increasing order.
-13, a, 4
Let m = 5.09 + -0.09. Let k = 6 - m. Let g = k + 0. Put 0.4, g, -0.5 in ascending order.
-0.5, 0.4, g
Let c = 113/14 + -17/2. Sort -7, 2, c in descending order.
2, c, -7
Let j = 10 + -12. Suppose -l - 4*l - 5*c = -30, -3*c - 10 = -4*l. Suppose g - 2*g + 8 = u, -l*g + 5 = -5*u. Sort j, 4, u in ascending order.
j, u, 4
Let r(l) = -4*l - 6. Let y be r(-1). Suppose -10 - 10 = 4*i - 4*w, -5*w + 10 = 0. Put 0, i, y in decreasing order.
0, y, i
Let i = -3 + 1. Suppose 9 - 1 = -2*u. Let f be (u/(-5))/(6/15). Put i, 1, f in descending order.
f, 1, i
Suppose 5*h + 0*h = o - 10, -4 = 2*o - 2*h. Sort o, 0, 3 in decreasing order.
3, 0, o
Let t be (-4)/(-1) + (1 - 2). Suppose -18 = -4*u - 5*z, 3*u + 2*z + 5 = 15. Suppose -2*m = 4*r + 1 - 11, 0 = -4*m + 2*r - 10. Put t, m, u in descending order.
t, u, m
Let f = 3.7 + -5.7. Put 4, 5, f in decreasing order.
5, 4, f
Let k = 4243/15 + -283. Sort 4/3, k, 2.
k, 4/3, 2
Suppose 3*s - 5*s = d - 9, -3*s = -2*d - 17. Sort -3, d, 1 in increasing order.
-3, d, 1
Let l be ((-12)/8)/(3/8). Put -5, -3, l in decreasing order.
-3, l, -5
Let o(n) = 7*n**2 + n**3 - 10 + n - 2*n - n. Let k = -4 - 3. Let y be o(k). Sort -0.2, y, 1/5 in decreasing order.
y, 1/5, -0.2
Let s be 108/184 + 2/(-4). Let i = -476/171 - -26/9. Let a = 8 - 9. Sort a, i, s in decreasing order.
i, s, a
Let i = -205 - -210. Let n = -569/105 - -37/7. Sort 4, i, n.
n, 4, i
Let o(u) = u**2 + 9. Let v be o(0). Let m(q) = -q**3 - 4*q**2 + q - 16. Let l be m(-5). Let i = l - v. Put i, 5, 1 in decreasing order.
5, 1, i
Suppose d - 4 = -0*d. Suppose -g + d = -0*g. Suppose 5*w + 5*j - 2*j - 20 = 0, -2*w + 22 = 4*j. Sort -2, w, g.
-2, w, g
Let i = 9 + -16. Let o = i - -8. Sort o, 0, 2 in ascending order.
0, o, 2
Let d(n) = 2*n**3 + 20*n**2 - n - 14. Let c be d(-10). Put c, -8, -2, -3 in decreasing order.
-2, -3, c, -8
Let h =