derivative of p**6/120 + 2*p**5/15 - p**4/3 + 2*p**3 + 12*p**2. Let h be o(-9). Put h, 0, 2, -2 in decreasing order.
h, 2, 0, -2
Let i = -77.9 + 82.9. Put i, 6/7, -1 in increasing order.
-1, 6/7, i
Suppose -106*r + 105*r + 5 = 0. Let s(l) = l**3 + 2*l**2 - l - 1. Let h be s(-1). Put 3, h, r in increasing order.
h, 3, r
Suppose 5*u = t - 2*t + 21, 5*u - 25 = -5*t. Sort u, 2, 24, 5 in ascending order.
2, u, 5, 24
Let z be -3*(72/(-8) + 8). Let o be 1/(-2)*4*1. Sort z, o, -4 in decreasing order.
z, o, -4
Suppose 179 = 17*d + 128. Sort -0.4, 3/7, d, 18 in ascending order.
-0.4, 3/7, d, 18
Let o = -9.1 - -9.3. Let u = 1.7 + -1.4. Put u, o, -13 in ascending order.
-13, o, u
Let p(t) = t**2 - 10*t - 10. Let n be p(11). Suppose -k + 4 = n. Suppose -3*w = 4*g + 24, 2*w - k + 2 = 3*g. Sort 6, w, 2.
w, 2, 6
Let a(z) = 4 + z + z - 2. Let i be a(-2). Let b be (-36)/28 - 4/(-14). Sort 1, b, i in decreasing order.
1, b, i
Let c = -6.04 - -8.04. Put c, -1, 1/12 in increasing order.
-1, 1/12, c
Suppose 14*m + 16 = 10*m. Let y(o) be the first derivative of o**4/4 + 2*o**3 - o**2/2 - 3*o + 1. Let k be y(-6). Sort 1, k, m.
m, 1, k
Let w = 39.5 - 40. Suppose -8*o - 862 = -838. Put o, w, 1, -2 in ascending order.
o, -2, w, 1
Let z = 2 - 2. Let k = 0.9 - 6.9. Sort -0.3, k, 2, z in decreasing order.
2, z, -0.3, k
Suppose -6*b + 39 = -27. Let n(z) = -z + 11. Let w be n(b). Put w, -1, -5, 2 in ascending order.
-5, -1, w, 2
Let w = -13.09 + 13. Let t = 0.468 - 0.058. Let i = t - w. Sort -0.4, -2/3, i in descending order.
i, -0.4, -2/3
Suppose -243*d + 246*d = 0. Sort 33, d, -1 in ascending order.
-1, d, 33
Let z = 208 + -210. Put -8, 3, 8, z in increasing order.
-8, z, 3, 8
Suppose 0 = -5*l - g - 8, 0*l = -l + 5*g + 14. Sort 1, 5, l in increasing order.
l, 1, 5
Let g(y) = y**3 - y**2 - 3*y + 5. Let c be g(2). Suppose -2*m + 10 - 35 = -c*q, m = -q. Sort -15, -1, -5, q.
-15, -5, -1, q
Let l = 1.003 - 0.933. Sort l, 5, -22 in increasing order.
-22, l, 5
Let l be 3/(-9) - (-10)/3. Suppose -l = -3*d - 9. Let q = 21 + -20.1. Put d, 1/7, q in descending order.
q, 1/7, d
Let c be (-9)/(-12) - 7/20. Let n = -23 - -21. Let q be 26/24 + n/8. Sort c, -1/2, q in ascending order.
-1/2, c, q
Let y = 5.91 - 6. Let l = -2.09 - y. Let i be (-8)/14*(-1)/(-4). Put i, l, 1 in increasing order.
l, i, 1
Let z = 620 - 848. Sort z, -1, -5 in descending order.
-1, -5, z
Suppose -3*p + 5*b + 28 = p, 12 = -2*p - 4*b. Suppose p*w - 2 = -o, -2*o - w = -6*w - 13. Suppose -32 = -4*g + o. Sort g, -3, -2 in increasing order.
-3, -2, g
Let v be (11 - 9)/((-2)/(-4)). Let m = -134 + 131. Put 2, v, m in ascending order.
m, 2, v
Let c = -4 - -4. Let r be ((-38)/(-4) - 5)*2. Suppose 6*y + r = 3. Sort y, -3, c.
-3, y, c
Suppose -7*r = -2*r - 20. Let w = -499 + 500. Suppose -6 + 0 = -2*b. Put b, w, r in ascending order.
w, b, r
Let q = 2 - 6. Let p be (-6)/8*16/(-66). Let n = 27.13 + -27.03. Put q, n, p in increasing order.
q, n, p
Suppose k + 9 = -2*k. Let s = k + 3. Suppose -5*p + 2*h - 57 + 38 = 0, 2 = 2*p - 4*h. Put s, p, -2 in decreasing order.
s, -2, p
Let a = 26 + -30. Let k(x) = x**3 - 8*x**2 + x + 7. Let h be k(6). Let n = -533/9 - h. Sort -1/3, a, n in decreasing order.
n, -1/3, a
Suppose -u - 2 = -8. Suppose -8*b = -u*b. Let c(p) = p**2 - 5*p + 4. Let i be c(5). Put 5, i, b in decreasing order.
5, i, b
Let h = 33.22 - 0.22. Let d = h + -33.3. Let w = -4.08 + 0.08. Put w, d, -1/7 in decreasing order.
-1/7, d, w
Let c be 4 + (3 - 4)*4. Suppose c = -5*y + 29 - 9. Suppose 0 = -5*l + 5*d + 15, -5*d - 6 = 2*l + 2*l. Put l, 0, y in increasing order.
0, l, y
Let s = 6 + -25/4. Put 3, -4, 2/65, s in decreasing order.
3, 2/65, s, -4
Let m = -6 + 9. Let c be 4/(-15)*(-15)/(-6). Sort 1, m, c, 1/5 in increasing order.
c, 1/5, 1, m
Let i = 128 + -125. Put 8, 1, i, -1 in descending order.
8, i, 1, -1
Let l = 108 - 108. Let c(w) = w**3 - 9*w**2 + 6*w + 8. Let s be c(8). Sort l, -3, s.
s, -3, l
Let b = -0.03 + 5.03. Let w = b - 10. Let g = -0.44 - 0.06. Sort -2/7, w, g in increasing order.
w, g, -2/7
Let m(o) = 2*o**2 - 3*o + o - 4 + 3*o - o**3 + 2*o. Let r be m(2). Suppose -5*h = 2*n - 36, 5*h = 4*n + 8 + 10. Sort 1, r, h in ascending order.
1, r, h
Let p be -1*(0 + 1) + -1. Let i(d) = d**3 - 2*d**2 - 8*d + 2. Let g be i(4). Let t be 5/g - (-77)/(-22). Sort t, 5, p.
p, t, 5
Suppose 39 = -3*j + 3. Let m be -3 - j/63*-18. Let q = m - -571/91. Put -2, 1, q in ascending order.
-2, q, 1
Suppose 0 = q + 4*z + 2, 4*q - 3*z - 11 = -0*z. Let d be 1/(-2) + 17/q. Let b be (d/10)/(22/55). Sort 5, b, 1 in increasing order.
1, b, 5
Let v(h) = 3*h**2 + 32*h - 32. Let o be v(1). Put -1, o, -0.073 in ascending order.
-1, -0.073, o
Let v = -0.07 + -0.23. Let q = 18875 - 18876. Sort q, 4, v in decreasing order.
4, v, q
Let f be (5/5)/(1/4). Suppose -f*m - 2 = -2*z, -3*m - 4*z + 17 = 2*m. Let d = 77 + -78. Put d, m, 1/3 in ascending order.
d, 1/3, m
Let o = -1.89 - 2.11. Put o, 5, 214 in decreasing order.
214, 5, o
Suppose -7*r - 20 = -12*r. Let b be 4/2 - (-2 - -6). Suppose -3*t + 3*i = -0*i - 12, 5*t - i = 16. Sort b, r, t in descending order.
r, t, b
Let u = -12/23 + 371/667. Let j = u + 53/145. Sort 1, -0.1, 0.3, j in decreasing order.
1, j, 0.3, -0.1
Let b = 5 + -3. Let d = -1145 + 1144.99. Sort b, -0.5, d.
-0.5, d, b
Suppose 0 = -7*i + 2*i + 20. Suppose 6*l = 5*l + 5. Suppose b + l = m - 2*m, -b = -5*m - 1. Put 2, i, m in ascending order.
m, 2, i
Let f = 253 - 252. Sort -2, -31, f in descending order.
f, -2, -31
Let m = -5.95 - -6. Let j = m - -0.45. Suppose -g - 15 = -16. Sort j, g, 4 in decreasing order.
4, g, j
Suppose -a - q - 31 = -6*a, 3*q + 16 = 4*a. Let h(f) = 14 + 3*f - 3*f - 8*f + a*f. Let x be h(10). Sort x, 1, 0 in decreasing order.
x, 1, 0
Suppose -5*s + 10 = -0*s. Let k(y) = 4*y**s - 2*y - 5*y**2 + 6*y + 3*y - 2. Let c be k(7). Put c, 4, 3 in increasing order.
c, 3, 4
Suppose -153*n = -95*n + 2494. Sort -3, n, 4, -2 in increasing order.
n, -3, -2, 4
Suppose w + 4 = 2*w. Let z be 1 - -2*(-18)/w. Let b = z + 10. Sort b, 5, 1 in decreasing order.
5, b, 1
Let q be 5/(-4) + (4 - 3). Let b = -152.2 - -152. Put q, b, -0.3, -2/9 in decreasing order.
b, -2/9, q, -0.3
Let b(m) = 0*m + 5*m**3 + 2*m**2 + m - 10*m**3 - 3*m**2. Suppose s + 4*h - 2*h = 7, -4*s + 19 = 5*h. Let o be b(s). Sort 3, o, -3 in increasing order.
o, -3, 3
Let c(o) = o**3 + 7*o**2 + 5. Let p be c(-7). Suppose 0*s - 2*s + p*f = 21, 3*f - 12 = s. Put s, 4, 1 in decreasing order.
4, 1, s
Suppose -2*k + 1 = -k. Let i = -63 - -67. Sort -2, k, i.
-2, k, i
Let n = 195 - 583/3. Sort 2, -0.5, -14, n in ascending order.
-14, -0.5, n, 2
Let j be (50/(-35))/(6/(-63)). Put j, 4, -3 in ascending order.
-3, 4, j
Suppose -2*f - 10 = -3*k - 9, 4 = -2*f + 2*k. Put 1, 3, f, 4 in descending order.
4, 3, 1, f
Suppose -90*t + 67*t = 69. Sort t, -1, 0 in descending order.
0, -1, t
Let h be (6/(-2))/(154/(-32) + 5). Let t = -12 - h. Sort -2, 12, t, 1 in decreasing order.
12, t, 1, -2
Let h be ((-28)/(-8))/((-153)/(-30)). Let d = 6/17 - h. Let u = 13 - 15. Sort 1/3, u, d in increasing order.
u, d, 1/3
Let b be (32/(-20) + 0)*90/(-36). Put 339, -2, b in descending order.
339, b, -2
Let g be (-129)/85 - 46/(-391). Put 4, 3/7, 0.1, g in decreasing order.
4, 3/7, 0.1, g
Let s = -4.8 + 3.03. Let v = -0.17 - s. Let g = v - 1.4. Sort 3/4, g, -2.
-2, g, 3/4
Let g be (-3)/((3/(-8))/1). Let i be -5 - 0 - (5 + (-150)/10). Put -4, i, g in decreasing order.
g, i, -4
Suppose 22 - 13 = -3*z. Put 25, z, -1 in descending order.
25, -1, z
Let s be (-49)/(-5) + (-8)/10. Let u be -3 + s/((-81)/(-30)). Let d = 0.46 - 0.06. Sort d, 3/2, u.
u, d, 3/2
Let x = 591/2 + -297. Let n = 0.3 + -0.2. Let b = -0.1 + n. Sort b, 4, x in descending order.
4, b, x
Let h = 32.15 + -32.1. Sort h, -21, -3/2 in decreasing order.
h, -3/2, -21
Suppose 0 = -35*v + 39*v - 12. Sort 4, -1, 10, v in descending order.
10, 4, v, -1
Suppose 5*a + 18*a - 138 = 0. Put 24, a, 2 in descending order.
24, a, 2
Let q be (-3)/15 - 972/(-60). Suppose 3*m + 3*r - q = -4, -3*m + 16 = -r. Let d(g) = -3*g**2 + 2*g - 1. Let p be d(1). Sort -4, p, m in descending order.
m, p, -4
Suppose -4*u + 4 = 4*j - 0*j, -j + 2*u - 5 = 0. Let d be 10/55 - 53/(-11). Suppose -8 = -4*k - 3*m, 0*k - 2*k + 4 = d*m. Put 4, j, k in increasing order.
j, k, 4
Let