 = -l - 3. Let k be i(-5). Suppose -k*r + 5 = -r. Put -1, r, -0.4 in descending order.
r, -0.4, -1
Let j = -10 + 6. Let x(a) = -a**3 - 12*a**2 - 10*a + 7. Let g be x(-11). Let t = g - -2. Sort -3, j, t in decreasing order.
t, -3, j
Let w = -992/7 + 142. Let r = 0.2 - 0.2. Sort -1/4, r, w in decreasing order.
w, r, -1/4
Let j(g) = -4*g - 1. Let w be j(1). Suppose 0 = 2*i - 2*o - 4 - 4, 0 = -2*i - o - 1. Sort w, 3, i.
w, i, 3
Let v = 4.58 - -1.42. Let x = -1.2 + 1. Put v, x, 2/7 in descending order.
v, 2/7, x
Let t = -0.01 - -0.03. Let x = -0.32 + t. Let u = -3.8 - -4. Sort 5, u, x in descending order.
5, u, x
Let a = 0.04 - -2.46. Let z = 8.5 + a. Let y = z + -10.8. Sort 2, y, -4.
-4, y, 2
Let k = -0.23 - -5.23. Let q = -1 - k. Sort -1/3, q, -0.1 in decreasing order.
-0.1, -1/3, q
Suppose 6 = -0*g - 2*g. Let n = -9.6 + 10. Sort n, 0, g.
g, 0, n
Suppose -3*i + i = 0. Suppose -2 = 2*k - i. Sort 5, 4, k in decreasing order.
5, 4, k
Let v = -76 - -87. Sort 2, v, 0.3 in descending order.
v, 2, 0.3
Let o = -0.18 + 14.18. Let b = o - 11. Sort 0, b, 0.3 in decreasing order.
b, 0.3, 0
Let i(g) = -g**3 + 4*g. Let o be i(2). Sort o, -2/7, 2, -0.1 in decreasing order.
2, o, -0.1, -2/7
Suppose 0 = -0*d - 2*d - 4*z + 6, 2*d - 6 = -5*z. Let b = 13 + -9. Sort d, b, -2.
-2, d, b
Suppose -5*r = 7 - 27. Let b be 2 + (-1 - (2 - 1)). Sort r, 1, b in increasing order.
b, 1, r
Let d be 3/12 - 57/(-12). Let a = 2 - 3. Let m be 1 + (0 - a) + 2. Put d, m, 2 in descending order.
d, m, 2
Suppose -7*y + 2*y + 25 = 0. Sort 2, y, -5 in ascending order.
-5, 2, y
Let i(g) = 0*g**2 + 2*g**3 + 0*g**2 + 4*g**2 + 1 + 2*g - 2*g**2. Let x be i(-1). Sort x, 11, -5 in decreasing order.
11, x, -5
Suppose -8 = -2*v - 2. Suppose -x + 0*x + 4 = 0. Put -5, v, x in increasing order.
-5, v, x
Let a be 14/8 + -4 - 3/4. Put a, -4, 4 in ascending order.
-4, a, 4
Let u = -0.8 + 1.8. Let a = -2.3 - -2.5. Sort a, -5, u.
-5, a, u
Let q(f) = -3*f - 1. Let i be q(-2). Suppose 10*z = 5*z + 10. Put i, z, 1 in decreasing order.
i, z, 1
Let a be (-1 - (0 - 2))/((-5)/35). Put -1, a, 3, -6 in ascending order.
a, -6, -1, 3
Let z = -1/132 - -281/2244. Put 1, -0.16, z in increasing order.
-0.16, z, 1
Suppose -51*v = -55*v + 4. Sort v, -6, 5, -1.
-6, -1, v, 5
Let q(b) = -b**2 + 4*b + 4. Let l be q(4). Suppose -l*r = -0*r - 8. Sort 1, -4, r.
-4, 1, r
Let a = 13.8 - 13.9. Put -5, 9, a in ascending order.
-5, a, 9
Suppose 4*p = -2*t + 2, 2*t = 4*p - 5*p - 4. Let v = 1 - -1. Put 1, v, t in descending order.
v, 1, t
Suppose 2*w + 12 = -10. Let m be (w/22)/(1/2). Sort m, -0.1, -2/23.
m, -0.1, -2/23
Let g = -23 + 24. Put 0.04, g, 0.5 in increasing order.
0.04, 0.5, g
Let k = 35/3 + -12. Sort 1/7, 2/5, 0, k in ascending order.
k, 0, 1/7, 2/5
Let x = 0 - -3. Let g be 2/3 + 10/3. Let a = 31 - 30. Sort g, a, x in decreasing order.
g, x, a
Let j(h) = -4*h**2 - h - 1. Let u be j(-1). Sort -5, u, 2.
-5, u, 2
Let a be (1 + 2/(-6))*-3. Let l = 3 - -4. Let x(v) = v - 2. Let k be x(l). Sort k, -5, a in ascending order.
-5, a, k
Let s be 4/(-6)*6/(-4)*3. Let q(i) = i + 1. Let m be q(-4). Put s, m, -1 in ascending order.
m, -1, s
Let r(y) = -y**2 - 12*y + 5. Let m be r(-13). Let z = -10 - m. Sort z, 2/19, -0.5.
z, -0.5, 2/19
Let j = -61/87 + 1/29. Let f be (-6)/2 - (-1 + 2)*-1. Let q = 3.09 - 0.09. Put q, f, j in increasing order.
f, j, q
Let y(g) = -g**3 - 2*g**2 + g + 1. Suppose 4 = b + z + 2, 5*z - 14 = -3*b. Let w be y(b). Put 3, w, 4 in increasing order.
w, 3, 4
Let c(s) = s**2 + 8*s + 3. Let j be c(-7). Let m = j - -7. Sort 0, -1, m in decreasing order.
m, 0, -1
Let a be 3 - 1 - (-12 + -6). Suppose -5*j - 4*z + 35 = -85, -j + 38 = -2*z. Suppose 2*n + 3*s - a = s, 4*n = -s + j. Sort -1, n, 2.
-1, 2, n
Let q = -116 - -115. Sort 0, 1, -10, q.
-10, q, 0, 1
Let x(b) = b + 6. Let m be x(-10). Put -8, 3, m in decreasing order.
3, m, -8
Let t = 59 - 63. Put 0.4, t, -2, 4 in decreasing order.
4, 0.4, -2, t
Let q be -2 + 6*(-2)/(-9). Let a = 9 + -4. Sort a, -5, q in increasing order.
-5, q, a
Let g be -4 + 2 + 4 - 1. Sort -1, 0, g.
-1, 0, g
Let f(n) = -n**2 + 2. Let t be f(0). Suppose 4*y = m + 3*m + 20, 5*m + 4 = -t*y. Let d be (0 - 0/(-1))/2. Put d, -4, m in descending order.
d, m, -4
Suppose 0 = -5*z + 20, 2*b + 2*z - 15 = -1. Suppose -7 + 35 = -4*i - 4*j, 5*j + 19 = b*i. Put 3, 5, i in descending order.
5, 3, i
Let i(c) = 3*c + 3 - 1 - 3. Let d be i(-1). Let p be (-36)/(-10) - d/10. Sort 5, 0, p in descending order.
5, p, 0
Let o = 4 + 0. Sort o, 5, 15 in increasing order.
o, 5, 15
Suppose -t - 2*g - g = 12, 5*t + 4 = -g. Let m = -0.5 - 8.5. Let s = 12 + m. Sort t, -1/2, s in ascending order.
-1/2, t, s
Let z(o) = -o - 3. Let g be z(-4). Let f be 12/42 + 58/(-7). Let p be -10 - f - 3*-2. Sort p, g, -2 in ascending order.
-2, g, p
Suppose m - 3 + 0 = 0. Suppose 20 = -3*y + 4*j - 3*j, 3*j = -m*y. Put -4, y, 3 in descending order.
3, -4, y
Let r = -65 + 65.3. Suppose -2*y + 5 = 3*y. Sort r, y, -2/9 in decreasing order.
y, r, -2/9
Let l be (-6)/(0 - -1) - -1. Let j be (-3)/2*-6 + -4. Put -4, l, j in ascending order.
l, -4, j
Let o(r) = -r**2 + 6*r + 14. Let z be o(8). Let b be (-44)/72*4 - z. Put 3/5, b, -0.3 in decreasing order.
3/5, -0.3, b
Suppose b + 3*b = -4*d - 4, 0 = -d - 3. Put -17, 5, -4, b in ascending order.
-17, -4, b, 5
Let w = -58.94 + 58. Let v = w - 0.06. Let g(t) = 5*t**2 + t - 1. Let z be g(1). Sort v, -0.2, z in decreasing order.
z, -0.2, v
Let p be (6/5)/((-4)/(-10)). Suppose -p*k + 10 = -2. Suppose 2*f - 2*r = 14, k*r = -2*f + f - 13. Sort 1/2, 2, f in ascending order.
1/2, 2, f
Let a(f) be the second derivative of f**5/20 - f**4/12 + f**2/2 - f. Let z be a(2). Suppose -2*p = -p - z. Put 2, 4, p in ascending order.
2, 4, p
Let k = -2.6 + 3.6. Suppose 5*x - 1 - 9 = 0. Put k, -2, x in increasing order.
-2, k, x
Let u = 26.8 + -23. Let r = u + -4. Suppose d - 1 = a + 1, 5*d - a + 6 = 0. Sort d, r, 5/3 in ascending order.
d, r, 5/3
Let u = 8.4 - 8.8. Put u, 33, 0, -4/3 in decreasing order.
33, 0, u, -4/3
Let q(t) = -t**2 + 5*t. Let r be q(5). Let v = r - -5. Suppose -54 = -31*l + 13*l. Put v, -4, l in descending order.
v, l, -4
Let v = -8 + 13. Suppose o - 5*o = -8. Put o, v, -3 in decreasing order.
v, o, -3
Let p = 0.25 + 0.05. Let c = -8 - -6. Sort p, 5, c in decreasing order.
5, p, c
Let s = -2 + 5. Suppose 0 = -b - 4, -m - 5*b + 6 = 33. Let h = -2 - m. Sort s, h, 4 in ascending order.
s, 4, h
Let n = 4 - 8. Let r = 5 + n. Suppose 2*k = 3*k + 5. Put r, -0.3, k in increasing order.
k, -0.3, r
Let w = -5.192 - -0.192. Sort 4, w, -0.1, 3.
w, -0.1, 3, 4
Let l = 8 + -5. Suppose 0 = 3*q + 3*m + l, -4*m = -0*q + 3*q + 4. Suppose q*w - 12 = 4*w. Sort -5, 4, w in increasing order.
-5, w, 4
Let k be (-6)/4*(-20)/15. Put 4, k, 5 in increasing order.
k, 4, 5
Suppose -5*y = 2*z - 7, 4*y + 5 = -2*z + 11. Sort -0.3, y, -2/3 in ascending order.
-2/3, -0.3, y
Let a = 109 - 109. Let q = 3 - 2. Let b(x) = -x**3 - 6*x**2 + 2*x + 7. Let m be b(-6). Sort q, a, m in increasing order.
m, a, q
Let p(w) = -2*w**2 - 9*w - 5. Let a be p(-6). Let y be -4 + 7 - a/1. Suppose 2*j + 5*u = y, -5*j - 5*u = -5 - 30. Put j, -5, 2 in decreasing order.
j, 2, -5
Suppose 3*g + 2*x - 7 = 0, 5*g - 5*x - 29 = 16. Put -3, 4, 1, g in descending order.
g, 4, 1, -3
Let f = 5.5 - 2.5. Let j = 4 + -3. Let v = 6 - j. Sort v, f, -3 in ascending order.
-3, f, v
Let h = 19 + -22. Sort h, 0, -4.
-4, h, 0
Let p(b) = b**2 - 3*b - 2. Let c be p(4). Sort c, 4, -3 in decreasing order.
4, c, -3
Suppose 0 = -9*z + 10*z. Suppose z = -2*d - 5*g - 11, -5*d - 2 = -g + 5*g. Let x(t) = -3*t**2 + 2*t - 1. Let f be x(1). Sort f, 1, d.
f, 1, d
Let k = 1.53 - 2.53. Let g = 192 - 966/5. Sort g, k, -5 in increasing order.
-5, g, k
Let k be (-2)/3 - 3/(-9). Put 0.4, k, -0.2 in descending order.
0.4, -0.2, k
Suppose 4*s + 8 = -12. Sort s, 6, 3 in decreasing order.
6, 3, s
Let b = 9.8 - 11.8. Sort 2, b, -14.
-14, b, 2
Suppose 6*i + 69 = 63. Put i, -2/9, -3/4, 4/5 in decreasing order.
4/5, -2/9, -3/4, i
Let y = 1 + -2. Let a = 0.6 + -1.7. Let s = a - -0.7. Put s, 3, y in descending order.
3, s, y
Let t(p) = p**3 - 5*p**2 - 7*p + 8. Let m be t(6). Suppose 0 = 2*a + 4*d + 28, 0 = 5*a + 3*d + 35. Sort -3, m, a in decreasing order.
m, -3, a
Let n = -36/5 + 232/35. Put 1/5, -3, n, 1/4 in as