be the first derivative of -x**3/3 + 7*x**2/2 + 2*x - 2. Let o be c(7). Sort 0.3, o, t in descending order.
o, 0.3, t
Let p = -2 - -2. Let u be (-6 - p) + -3 + 4. Let w = u + 4. Sort -5, w, 2 in decreasing order.
2, w, -5
Let p = -55 + 493/9. Sort 5, -15, p, -2 in descending order.
5, p, -2, -15
Let l = -117 - -113. Sort -3/5, l, 2/3 in descending order.
2/3, -3/5, l
Let h = -1 + 4. Let x = 18.6 - 19. Sort 0.1, x, h.
x, 0.1, h
Let o = 205 - 143. Let y = o - 311/5. Let s = 51 + -53. Put y, s, -3/5 in decreasing order.
y, -3/5, s
Let w be 5 + -2 - (4 + -3). Suppose 0 = -w*s + v + 8, -2 = -2*s - 2*v + 6. Sort -1, s, 5 in decreasing order.
5, s, -1
Suppose -4*r + 28 = 4*t, -2*t + 0*r + 5 = -r. Suppose -2*f - 3*f = -65. Suppose 2*q = 5*k - f, k + 7 = 4*q + 24. Put t, 2, k in decreasing order.
t, 2, k
Let y(u) = -u - 11. Let p be y(-7). Let l be (p/(-5))/((-132)/(-30)). Let d = 0.3 + -0.3. Put d, l, 5 in increasing order.
d, l, 5
Let m be 9/12*736/(-252). Let p = 94/21 - m. Let v = p - 19/3. Put -1/9, -5, v in descending order.
v, -1/9, -5
Let j = 8.7 + 2.3. Let g = -213 - -212.7. Sort j, g, 1.
g, 1, j
Suppose 2*w = -3*w + 40. Suppose -f - 2 = 4*a - 7, -5*f - 3*a = -w. Let s be 4/14 + (-38)/(-14). Put -4, s, f in descending order.
s, f, -4
Let c = 28 - 27.9. Sort -5, 2/17, c, 2/11 in descending order.
2/11, 2/17, c, -5
Let k = 11 + -8. Let z(w) = w**2 + 53*w + 4. Let i be z(-53). Put i, k, -2 in decreasing order.
i, k, -2
Let m = -2 + -2. Put 9, 0, m, 3 in decreasing order.
9, 3, 0, m
Let k = 4.826 - -0.174. Sort 0, k, -1/5.
-1/5, 0, k
Suppose -3*c = 0, 3*m + 3*c = -2*m + 5. Suppose -20 = -4*y - 2*v, 0 = v - 6*v. Suppose y*u = 2*x - 4*x + 4, -5*x = 15. Sort u, m, 0 in ascending order.
0, m, u
Let w = -17 - -15. Put 3, 1/4, w in descending order.
3, 1/4, w
Suppose -13*i + 62 = 23. Let l be 3*(3 - 2) + -1. Let p = 1 - 3. Sort p, i, l in descending order.
i, l, p
Suppose 0 = -4*r + 3*r + 5. Sort -3, r, 2.
-3, 2, r
Let h be -1 + -1*(-3)/(-3). Suppose g = 2*g + 4*b - 4, g = 5*b - 14. Sort 3, h, g in ascending order.
g, h, 3
Let x = 1 - 1. Suppose -5*g + 5 = -5*t, x*t = 5*t - 3*g - 5. Suppose 0 = -v + 4*p + 7, 0 = 3*v - 6*v + 2*p - 9. Sort -1, v, t in decreasing order.
t, -1, v
Let z = -0.019 + -8.981. Put 2, z, -0.1 in descending order.
2, -0.1, z
Suppose v = -3*v - 5*s + 14, 4*v = -2*s + 8. Let l be 6/5*20/8. Put l, 0, v in decreasing order.
l, v, 0
Let a = -2.47 + 2.3. Let j = a - -5.17. Sort 0.1, 0.2, j in descending order.
j, 0.2, 0.1
Let b be 3/(-3) + 10/6. Put b, -0.4, -0.1 in increasing order.
-0.4, -0.1, b
Let l be (2 + 6)*3/(-6). Let d(x) = -x**3 + 5*x**2 - 3*x + 1. Let h be d(4). Sort 3, h, l.
l, 3, h
Suppose 7 = -5*t + 42. Suppose -10 = 2*c - t*c. Sort 1, 0, c in decreasing order.
c, 1, 0
Let a = -1 + 3. Suppose 2*x + 2 = x. Let z be x/(-6)*12/(-1). Put a, z, 0 in increasing order.
z, 0, a
Let c = 29 + -29. Sort 1, c, -3.
-3, c, 1
Let m be (-5)/10*(0 + -6). Let a = 3 - m. Suppose 0*d + 3*d = 12. Sort d, a, 3 in decreasing order.
d, 3, a
Suppose 6*n - 1 = -7. Let f(x) = x**2 + 3*x + 2. Let k be f(n). Put 4, 5, k in ascending order.
k, 4, 5
Let g = -6 - -10. Suppose 2*f = 4 + g. Suppose -5 = -l - 0*l, -2*l + 9 = j. Put f, j, -5 in decreasing order.
f, j, -5
Let w(m) = -7*m - 1. Let l be w(-3). Suppose 3*p = -p - l. Let q = -7 - -6. Sort 4, p, q.
p, q, 4
Let g = -1564/11 - -142. Let q be (-20)/8*(-16)/10. Sort -2/13, q, g in ascending order.
g, -2/13, q
Suppose 0*w = -5*i - 2*w + 22, -4*w - 28 = -2*i. Let c = -3/187 - -389/935. Put 2/11, i, c in ascending order.
2/11, c, i
Let l = 16.1 + -16. Sort 2, l, -4/3 in decreasing order.
2, l, -4/3
Let j(n) = -n. Let f be j(5). Suppose -28 = -2*x + 5*w, 0*w - 20 = -3*x + 2*w. Suppose c = x*c - 3. Sort -1, c, f in descending order.
c, -1, f
Let n(j) = 2*j**2 - 4*j + 3. Let v be n(2). Let t = v - 1. Suppose 4*q - 1 = -5. Sort 3, q, t.
q, t, 3
Let q = 49/5 + -10. Sort q, 1/8, 4.
q, 1/8, 4
Let o = 0.4 - 0.6. Let d = o + -3.8. Let j = 6 + -5.6. Sort 1/2, d, j.
d, j, 1/2
Let y = 41.8 + -48. Let b = 6 + y. Put b, -1/2, -5 in decreasing order.
b, -1/2, -5
Let k(w) = w - 16. Let a be k(15). Sort a, -1/9, 1, -3 in ascending order.
-3, a, -1/9, 1
Let n be (24/108 - 50/(-18)) + -7. Let a = -15/7 - -149/63. Sort -3/8, n, a in decreasing order.
a, -3/8, n
Let n be (1/(-5))/((-20)/(-25)). Sort 1, -2/5, n, -4.
-4, -2/5, n, 1
Let s = -4.03 - -0.03. Let p = -4.2 - s. Let j = p + -0.1. Put 0.3, 3, j in descending order.
3, 0.3, j
Let d(i) = -i**3 - 2*i**2 + 5. Let o be d(0). Put -1, o, -3 in descending order.
o, -1, -3
Suppose -2*m = 2*q + 4, -m - m = -2*q + 16. Sort m, 5, 1 in decreasing order.
5, 1, m
Let f(x) = -x + 7. Let z be f(12). Sort 1, 19, z.
z, 1, 19
Let m = -5 + 6. Let w = -5 - 0. Let g = w + 5.3. Sort m, 2/3, g in decreasing order.
m, 2/3, g
Let w = -3.75 + -0.25. Sort -2/11, 5, w in decreasing order.
5, -2/11, w
Let t = -35/2 - -18. Let w = 4 - 5.2. Let b = 1 + w. Sort t, -0.4, b in descending order.
t, b, -0.4
Suppose 5*z + 5*q - 35 = 0, -2*z + 2 = 3*q - 4*q. Suppose -z*y = -9 - 6. Let s = -6 + y. Sort -2, 0.3, s in decreasing order.
0.3, s, -2
Let i(q) = -3*q**2 - 10*q + 1. Let p(w) = w**2 + 5*w. Let r(o) = 2*i(o) + 5*p(o). Let d be r(6). Suppose j - 5 = -6. Put 3, j, d in descending order.
3, j, d
Let v = -4.2 + -0.8. Put 2, v, 5, 1/3 in ascending order.
v, 1/3, 2, 5
Let i = 0.02 - -1.98. Let b = -1.7 + i. Put 1/2, 5, b in increasing order.
b, 1/2, 5
Let x = -13 + 21. Suppose 2*u - 6 = -r, u - 5*r + 0 = -x. Put -1, 3, u in descending order.
3, u, -1
Let f = -16 - -14. Put f, -5, -0.3 in ascending order.
-5, f, -0.3
Let m be -1 + 13/4 - (-22)/(-88). Sort m, 9, 1 in ascending order.
1, m, 9
Let b = 136 + -149. Sort 2, b, -0.3 in descending order.
2, -0.3, b
Let c = 1.05 + -0.05. Let k = 29/40 + -3/5. Sort c, k, 4/3.
k, c, 4/3
Let f = 57/1414 - 289469/165438. Let z = 14/9 + f. Sort -0.5, -4, z.
-4, -0.5, z
Suppose -7*p = -5*p - 14. Sort -3, p, -0.2 in descending order.
p, -0.2, -3
Let j = 8 - 11. Put j, 0.2, -0.4 in decreasing order.
0.2, -0.4, j
Let v be -1 + (-2 + 4 - 2). Let f = 0.08 - -0.22. Sort v, f, -2/5.
v, -2/5, f
Let l = -6 + 4. Let g = -7.6 - -8. Put -5, g, l in descending order.
g, l, -5
Let m be (4/6)/(1/(-3)). Let b be 6/(-5) + 1 - 0. Let v(t) = 2*t**3 + 32*t**2 - 2*t - 29. Let z be v(-16). Sort z, m, b in ascending order.
m, b, z
Suppose -6*z + 2*z = 5*k + 7, 0 = -z + k + 5. Sort 5, -2, 4, z in ascending order.
-2, z, 4, 5
Let m be (-3)/(-24) + (-21)/(-24). Put 2, 4, m in decreasing order.
4, 2, m
Suppose -2*j + 12 = 2*j. Suppose 0 = 2*w - 3*w + 3. Suppose -w + 6 = -x. Put j, x, 2 in descending order.
j, 2, x
Let s(v) be the third derivative of v**4/12 + v**3/6 + v**2. Let j be s(-3). Suppose 11 - 36 = -5*i. Put j, i, -2 in increasing order.
j, -2, i
Let m(l) = l**2 + l - 1. Let a be m(2). Suppose -a*c + 2*c = -12. Suppose -2*g + 1 + 9 = -2*u, -3*g - 1 = 5*u. Put g, c, 5 in decreasing order.
5, c, g
Let a = -22 + 33. Put a, 0.1, 5 in ascending order.
0.1, 5, a
Let p(d) = 2*d + 26. Let n be p(-11). Put -2, -1/11, n in decreasing order.
n, -1/11, -2
Let g = 3 - 2. Let b be ((-32)/48)/((-2)/9). Sort b, g, 4 in decreasing order.
4, b, g
Let d = -66 - -62. Sort d, 2, 5, -5 in decreasing order.
5, 2, d, -5
Let p be 2 - 0*4/(-8). Suppose -11 = 5*t - x, p*x + 0*x = -5*t - 23. Put t, 1, -2 in ascending order.
t, -2, 1
Suppose -4*v - 4*l + 40 = 0, -v + 2*l - 13 = -2*v. Sort 5, 3, v in decreasing order.
v, 5, 3
Let w(k) = k**3 - 4*k**2 + 2. Let v be w(4). Let s be 2 + 5/(10/(-4)). Suppose s = -2*o - v*o - 4. Put -4, o, -5 in decreasing order.
o, -4, -5
Suppose -4*j - 12 = 4*d, -5*d = j - 2*j + 3. Suppose 5*l + 4*i = -9, 0 = 5*i + 9 - 4. Suppose -5*m + 7*m = 8. Sort j, m, l.
j, l, m
Suppose 0 = -3*f - 5*c + 16, 2*f - c = -2*f + 6. Let o be ((-2)/2)/(f/(-4)). Let x = -5 + 1. Put 1, x, o in decreasing order.
o, 1, x
Let q be 2/(-1*(-4)/(-12)). Let u be -1 + 3/q*2. Sort 1, 2, u in increasing order.
u, 1, 2
Let h = -28 - -30.4. Let a = h - 2.4. Sort 2, a, 5 in descending order.
5, 2, a
Let h(c) = c**2 - 2*c + 2. Let f be h(2). Suppose f*u + 17 = -0*u - 5*j, -u - 5*j = 21. Sort -3, u, 5.
-3, u, 5
Let n = -0.24 - -7.54. Let g = -7 + n. Sort g, -4, -1/2 in decreasing order.
g, -1/2, -4
Let m = 10 - 10.4. Put 