m + 15 = 6*m. Let s(y) be the third derivative of -y**6/120 - y**5/60 - y**4/24 - y**3/3 + 2*y**2. Let i be s(0). Sort m, i, -4.
-4, i, m
Suppose 0 = -2*t + 6, 8*t - 5*t + 31 = 5*l. Let g = l - 12. Put g, -1, 0 in ascending order.
g, -1, 0
Suppose -4*c - 14 = d, -4*d - 9 - 8 = 3*c. Let l = 6 - -6. Let h be (l/10)/((-4)/(-10)). Sort 0, c, h in decreasing order.
h, 0, c
Let p(i) = i**2 + 19*i - 15. Let z be p(-20). Sort -1, -0.2, -0.3, z in decreasing order.
z, -0.2, -0.3, -1
Let v = 92 - 96. Put v, -4/7, -3/7 in decreasing order.
-3/7, -4/7, v
Suppose f = 5*x + 5*f - 1086, -2*f = 5*x - 1088. Let m be (-3060)/14 + 2/2. Let v = m + x. Sort -4, v, -0.5 in descending order.
v, -0.5, -4
Suppose 2 = a + 1. Let s be -3 + 9/5 + a. Let v = 0.01 - 0. Put s, -2, v in ascending order.
-2, s, v
Suppose -6 = -7*z + 4*z. Suppose -4*q - 5*r = -q + 9, -2*q = -z*r - 10. Let j be 2 + -1 + 0 + -1. Sort 1, j, q in increasing order.
j, 1, q
Let v = 13 - 6. Suppose 0 = 5*h - 5*f + 3 - 28, -h - 3*f = v. Suppose 0 = -h*g - 1 - 1, -3*u + 2*g = 1. Put 5, u, 1 in decreasing order.
5, 1, u
Suppose 0 = -5*l + 27 - 2. Sort 4, l, 3 in ascending order.
3, 4, l
Let r be 6/(-9)*-3 - (3 + -4). Let n = -4.6 + 9.9. Let q = n + -5. Sort -1/3, r, q in descending order.
r, q, -1/3
Suppose -2*c - 10 = -5*m, -4*m - 5*c + 1 = 26. Let a = 2.1 - 0.1. Sort a, -0.2, m in increasing order.
-0.2, m, a
Let b(c) = 4 + 2*c - 3*c + 0. Let g be b(8). Let j(t) = -t**2 - 4*t - 4. Let m be j(g). Put 5, 2, m in decreasing order.
5, 2, m
Let k = -0.2 + 0.2. Let x = -24 + 23.8. Sort 0.3, k, x in increasing order.
x, k, 0.3
Suppose -5*i - 4*l + 4 = 39, -i + 22 = -5*l. Let f be (i - -1)*(-5)/10. Put -0.5, 4, f in decreasing order.
4, f, -0.5
Suppose -3*p + 7 = 4*s + 30, -3*s - 12 = -3*p. Suppose h = -t - 11 - 0, -3*t + 51 = -4*h. Let o be -1 + (-3*1)/h. Put o, p, 2/5 in decreasing order.
2/5, o, p
Let o = -27 - -18. Let z = -8.7 - o. Let c = 0.2 + z. Put c, 0.1, 4 in descending order.
4, c, 0.1
Let u = -0.3 + -0.1. Let i = -39 - -17. Let w be (3 - (-62)/i)*-1. Put w, -3/8, u in descending order.
w, -3/8, u
Let r = 0.18 + -0.25. Let q = r + -0.13. Let v = 2.2 + q. Sort v, -1/2, 5/6 in ascending order.
-1/2, 5/6, v
Let i be (1 - 6/4)*-6. Suppose n + 20 = 5*n - 2*r, 5*n - i*r - 26 = 0. Let s be 5 - 9*2/4. Sort n, -4, s in ascending order.
-4, s, n
Suppose 5*h - 21 = i, 11 + 11 = 3*i + 2*h. Let y(b) = 8*b + 5. Let n(c) = 3*c + 2. Let k(p) = 11*n(p) - 4*y(p). Let s be k(3). Sort i, -4, s.
-4, i, s
Let c = 77/9 + -25/3. Let t = -0.3 + 0.4. Put -4, t, c in descending order.
c, t, -4
Suppose 9 = f + 2*f. Put 13, f, -0.1, 5 in ascending order.
-0.1, f, 5, 13
Suppose -1 = -3*j + 5. Suppose x + j*x - 3 = 0. Let w be (x - 3)/((-1)/2). Put -3, -2/19, w in increasing order.
-3, -2/19, w
Suppose o + 0*o - 20 = -4*d, 5*d = -o + 24. Let q(u) = u**2 + 2*u. Let t be q(0). Put 2, t, d in decreasing order.
d, 2, t
Let m = -20 - -36. Sort m, 3, 0, 4 in decreasing order.
m, 4, 3, 0
Let q(y) = -y**2 + 3*y + 3. Let m be q(3). Sort -5, 4, m in descending order.
4, m, -5
Let f be (-5)/7 - 2/7. Suppose 3*c = c. Suppose 0 = -c*u + u - 1. Sort u, f, 4.
f, u, 4
Let d(p) = -p - 1. Let q(r) = r**3 + 3*r**2 - 2*r + 5. Let l be q(-4). Let w be d(l). Let a be ((-2)/(-3))/(2/(-3)). Sort a, w, 0 in decreasing order.
w, 0, a
Let h be (-34)/(-10) + (-14)/35. Suppose -4*a + h*a = -x - 2, 2*x + 3*a = 21. Put -3, 5, x in ascending order.
-3, x, 5
Let d be (-3)/(-3 - -6)*-4. Put -16, 2, d in ascending order.
-16, 2, d
Let n = -1 + 1. Suppose -3*l + n = 3. Put l, -5, -4 in decreasing order.
l, -4, -5
Suppose -7 = 6*g - 3*g - 4*v, -8 = -2*v. Suppose -2*y = -g + 1. Let k be (-9)/(-2) - y/(-2). Sort -2, k, -1 in increasing order.
-2, -1, k
Let d(p) = -p**2 + 3*p - 2. Let l be d(3). Let o(g) = 7*g**2 - 3*g - 6. Let z(y) = -y**2 + 1. Let n(j) = -o(j) - 6*z(j). Let a be n(4). Sort a, 3, l.
a, l, 3
Let q = 68229/74 - 922. Let x = 137/814 + q. Let o = -10 - -10. Put x, o, -5 in descending order.
x, o, -5
Suppose -3*n - 118 = 203. Let c = -965/9 - n. Put c, -0.4, 1 in descending order.
1, c, -0.4
Let q = 2 + 0. Let w be -1*q*(-1 + 3). Let k = 6 - 4. Put k, w, -3 in decreasing order.
k, -3, w
Let n(s) = -s**3 + 6*s**2 - 4*s - 4. Let o be n(5). Let b = 8 + -4. Let z = b + -6. Sort z, o, -4 in decreasing order.
o, z, -4
Let d = 4 - 5. Let w be (-8)/2*(d + 0). Suppose 2*s = -w, -5 = -2*f + 2*s + 3. Put 5, f, 4 in decreasing order.
5, 4, f
Suppose -3*j + 4*l - 15 - 4 = 0, 3*j + 5*l = 17. Put 3/5, 1, j in decreasing order.
1, 3/5, j
Let q = -6 + 11. Let h = 0 + q. Let w(u) = -u**2 - 6*u. Let y be w(-6). Sort h, 2, y in ascending order.
y, 2, h
Let g = -1.8 + 2.2. Put -2/7, -1, g in descending order.
g, -2/7, -1
Let w be (8/(-6))/(1 - 22/18). Put 4, -5, w, 1 in increasing order.
-5, 1, 4, w
Suppose 0*n + n - 8 = 0. Let b(k) = 1 - 4 - 6*k + n*k. Let z be b(4). Put -4, z, 3 in descending order.
z, 3, -4
Suppose 5*z + 5 = 4*z. Suppose 0 = 2*h + 2*h + 5*w + 7, 0 = 2*w - 2. Suppose -3*g = -6*g - 12. Put z, h, g in increasing order.
z, g, h
Let v = 0.717 - 0.007. Let m = -0.01 + v. Let q = m + -1. Sort -3, q, -0.2 in increasing order.
-3, q, -0.2
Let u = 0.2 + -0.7. Let v be 4/(-70)*-5*(-8 + 7). Put u, v, -1 in ascending order.
-1, u, v
Let u = 0.015 - -4.585. Let l = u - 5. Let s = l + 1.4. Sort s, -0.3, 0.
-0.3, 0, s
Let d(g) = -g + 10. Let x(w) = 5*w - 3. Let o be x(2). Let v be d(o). Suppose 3*p - 3*y = -12 + v, 3*p + 2*y = 6. Sort 0.2, -1/2, p in decreasing order.
0.2, p, -1/2
Suppose -5 = -4*i - 3*d - 1, 5*i + 6 = -d. Let t be 6*i/4*-2. Suppose -v - 5*m + 25 = -t*v, -3*v + 4*m = 20. Put 1, -3, v in ascending order.
-3, v, 1
Let y = -21 + 11. Let u = -6 - y. Let t = 7 + -5. Sort u, 1/5, t in increasing order.
1/5, t, u
Let o = 347/51 - 8/17. Let s = -7 + o. Put 0.4, s, 4 in descending order.
4, 0.4, s
Suppose 9 = 4*l - 7. Put l, 5, -4 in descending order.
5, l, -4
Suppose -4*m = 8, f + 4*m + m = -11. Sort 0, f, -6 in increasing order.
-6, f, 0
Let v = 14 - 6. Let s = 10 - v. Sort -1, -5, s in ascending order.
-5, -1, s
Let o(w) = 6*w**2 - 2. Let k be o(2). Suppose 0 = 4*z - k + 2. Let a(y) = y - 7. Let i be a(6). Put i, -3, z in increasing order.
-3, i, z
Let d be 7/(-49) - 74/(-322). Put d, -1, 2, 0 in ascending order.
-1, 0, d, 2
Let m(f) = -f**2 - 5*f + 4. Let j be m(-6). Sort 4, 5, j.
j, 4, 5
Let t = 3.59 - 0.59. Put 48, t, -5 in decreasing order.
48, t, -5
Let f(h) = -h**3 + 4 - h + 2*h - 6*h**2 + 0*h**2. Let g be f(-6). Suppose 0*i - 15 = -3*i. Sort i, -1, g in decreasing order.
i, -1, g
Suppose 0 = -i + 4*m - 20, -m = -2*i - 3*i - 24. Let x = -15 + 7. Let y = x + 13. Put y, i, -1 in ascending order.
i, -1, y
Let i(h) = -2*h + 2. Let x be i(-4). Suppose 0 = l + 5*k - 14, -2*l + k = l - x. Put l, 0, -2 in ascending order.
-2, 0, l
Suppose -3*k + 5 = j, -6*k = -k - 3*j + 15. Let f(h) = -h**3 - 6*h**2 - 4*h + 7. Let m be f(-5). Suppose 2*q + q - 9 = 0. Sort q, m, k.
k, m, q
Let k be 24/5 - (-1)/5. Let l = -1.1 + 1. Let t = l - 0.1. Sort -2/13, k, t in descending order.
k, -2/13, t
Let s = 4.5 + 1.5. Let m = -5.8 + s. Put m, 0.5, 5 in increasing order.
m, 0.5, 5
Suppose 4*g = 2*c - 3*c + 13, -31 = 5*c - 4*g. Suppose -j + 3*y + 11 = 0, 5*j - y = 8*j - 3. Sort c, 3, j.
c, j, 3
Let m = -70 + 70.5. Put -2/19, 5, m in descending order.
5, m, -2/19
Let i = -211/144 - -23/18. Let o = -7/48 + i. Sort 0.3, -1, o in decreasing order.
0.3, o, -1
Let u = 1/124 + -133/1116. Suppose -2*p = -2*t - 8, -4*t - 16 = p - 0*p. Let w = p + 2. Put u, w, 0.3 in descending order.
w, 0.3, u
Suppose 0 = -w - 2*w - 12. Let a(s) = s**2 + 8*s + 14. Let f be a(w). Sort f, 4, -1/2 in descending order.
4, -1/2, f
Let z be 6/(-27) - (-38)/9. Let q = -10 - -13. Suppose 5*o - u = -30, -q*o - 36 + 1 = -4*u. Sort -2, z, o.
o, -2, z
Suppose -5*q + 5*f = -15, -3*f + 15 = 5*q - 2*f. Sort q, -1/6, -1/9 in descending order.
q, -1/9, -1/6
Let j be (72/(-45))/(6/(-15)). Let p be (-2)/(-7) + (-32)/14. Put j, p, 2 in decreasing order.
j, 2, p
Suppose n + 17 = 4*q, -3*n - 15 = -3*q - 0*n. Let b(m) = m**3 + m**2 - 3. Let a be b(0). Let f be 2/(-3) - (-2)/3. Put a, q, f in descending order.
q, f, a
Let m be ((-6)/(-4))/((-486)/24). Put -0.3, 0.3, m in increasing order.
-0.3, m, 0.3
Let z = 25 + -40. Let r = 1