f s**4/12 + 5*s**3/6 - s**2/2 - 3*s. Let f be c(-5). Put f, 3, 5 in descending order.
5, 3, f
Let y = 23.1 - 23. Let u = -2 - 1. Put u, y, 0 in descending order.
y, 0, u
Let z = -250 - -1249/5. Let g = -2.8 + -0.2. Sort z, g, -0.1 in decreasing order.
-0.1, z, g
Let t = 27 - 12. Suppose 0 = a + 4*a + t. Sort -1/4, 3, a in decreasing order.
3, -1/4, a
Let z be (2*1)/((-2)/2). Let m(w) = -w + 1. Let n(f) = -6*f + 1. Let y(o) = -4*m(o) + n(o). Let r be y(z). Sort 3, 0, r in descending order.
3, r, 0
Suppose 2*a + 15 = 55. Let k = a - 20. Put -2, k, 1 in descending order.
1, k, -2
Let i = -6.2 + 9.2. Sort -47, i, -0.3, 0.5 in ascending order.
-47, -0.3, 0.5, i
Let f(n) be the first derivative of -n**3/3 + 2*n**2 + 2*n - 1. Let o be f(4). Let i be o/(-1) + (-42)/(-6). Put i, -3, 2 in decreasing order.
i, 2, -3
Let v be (-8 + (-12)/4)/(-1). Suppose -4*a + a = -4*c + 17, 0 = 2*c + a - v. Let s = 8/7 - 19/35. Put -3, c, s in descending order.
c, s, -3
Let m = 0 - -2. Suppose 5*r - 3 = j + m, -5*r = 4*j + 20. Sort r, -2, -1 in ascending order.
-2, -1, r
Let z = 15 + -14.93. Let x = -681 + 677.93. Let s = z + x. Sort 0, -0.4, s in descending order.
0, -0.4, s
Let t = 5/18 + 2/9. Let k = 7.1 - 7. Let m = 0 + k. Put t, m, -1/3 in decreasing order.
t, m, -1/3
Let b = -25 - -23. Put 1, 4, b in descending order.
4, 1, b
Let w(q) = q**2 + 9*q + 9. Let j be w(-9). Suppose u = 2*m + j, m + 6 - 3 = 0. Sort 5, 0, u in descending order.
5, u, 0
Let g be (-2)/(-4)*2*2. Put -4, g, 1 in increasing order.
-4, 1, g
Let j(h) = h**2 - 6*h - 2. Let y be j(7). Let l = -4 - -13. Suppose 3*t - 6*t = -l. Sort -1, y, t in decreasing order.
y, t, -1
Suppose 22*c - 19*c = 0. Put -1, -2, c, -3 in ascending order.
-3, -2, -1, c
Suppose 3*i = 2 + 4. Suppose -2*x = i*c - 0*c, -5*c + 20 = x. Let m(j) = -j + 6. Let n be m(6). Put c, n, 4 in ascending order.
n, 4, c
Let d = -3/44 + -2/11. Let i = 4.99 + 0.01. Sort i, d, 2/17 in ascending order.
d, 2/17, i
Suppose -10*z + 8*z = 10. Sort 2, z, -4 in increasing order.
z, -4, 2
Let b = 22 + -40. Put b, -2, 2 in descending order.
2, -2, b
Suppose 8 = -4*u + 20. Let n = u - -1. Let l = -0.8 - 0.2. Put -3/2, n, l in decreasing order.
n, l, -3/2
Let z be 25/3 + (-2)/6. Let j = 12 - z. Let n be 2/(-7) - (-18)/14. Sort n, 5, j in decreasing order.
5, j, n
Let s be (-4)/14 + 391/119. Sort 4, -5, s.
-5, s, 4
Let s(r) = r**2 + 7*r + 1. Let v = -13 - -7. Let a be s(v). Suppose -3*h - 5 = 1. Sort a, 4, h.
a, h, 4
Let q(n) = n**2 - 3*n + 3. Let y be q(3). Let w(d) = d - 1. Let b be w(-2). Let g = -7 - -9. Sort g, y, b in increasing order.
b, g, y
Let m = 9 - 4. Suppose -m*n + 17 = 2. Let k be (7/(-2) + 1)*-2. Sort k, n, -4 in decreasing order.
k, n, -4
Let a = -28 - -26. Let s = 11 + -9. Put 3, a, s in descending order.
3, s, a
Let n be (13/5 - 3)*-5. Suppose -3*t + 5 = n*i, -5*t + 2*t = 5*i + 10. Let x(w) = -w**2 - w - 3. Let j be x(0). Put j, i, 3 in decreasing order.
3, j, i
Let y = 15 - 20. Put y, -1/7, -0.2 in descending order.
-1/7, -0.2, y
Let o = 41 + -39. Let n(x) = -x**3 - 6*x**2 - 6*x - 8. Let s be n(-6). Let p be 0 + 0 - 12/s. Put p, 0.5, o in decreasing order.
o, 0.5, p
Let d = 3.1 + -2.6. Sort d, -2, -17 in decreasing order.
d, -2, -17
Let f = 12 - 7. Suppose f*n + 37 = 4*v, -4*n + v = 2*v + 17. Suppose 0 = -4*s + 5*d - 4, -3*d + 5*d - 2 = 2*s. Put s, 2, n in decreasing order.
2, s, n
Let s = -14.3 - -14. Suppose 1 + 5 = -3*h, 4*v + 3*h - 2 = 0. Let f be (-46)/40 - v/(-5). Sort s, f, 4 in increasing order.
f, s, 4
Let g = -32 + 8. Let o be (-21 - -1)*6/g. Sort o, -6, -2 in decreasing order.
o, -2, -6
Let f(g) = -g**2 - 7*g - 2. Let t be f(-6). Suppose -6 = 7*v - 5*v, t*y = -5*v - 151. Let m be y/(-72) + 1/(-4). Sort -4, -5, m in ascending order.
-5, -4, m
Let y = 7 - 12. Let i be (0 + y)*(-1)/(-1). Sort -4, -3, i in descending order.
-3, -4, i
Let k be (-2)/(-3) - 72/27. Put -3, 1, k in decreasing order.
1, k, -3
Suppose -4*h + 4 = -m - 3*m, h + 2*m + 14 = 0. Let d be (10/h)/((-1)/(-2)). Suppose 0 = -3*o - 5*q - 14, 2*o + 4*q + 8 = q. Put -4, d, o in decreasing order.
o, -4, d
Let u be 3/(-3)*-2 + -1. Let t be (-3)/(-6)*(u + -3). Put -3, t, 0 in ascending order.
-3, t, 0
Let l = -10 + 4. Let h be (l + 2)*(-6)/16. Sort h, -2, 8.
-2, h, 8
Suppose 3*c + 4*n - 8 = 0, 5*n - 17 = -2*c - 0*n. Sort 5, 3, c in increasing order.
c, 3, 5
Let c = -41635 - -121615839/2921. Let y = -546211/11684 - c. Let n = y + 46. Sort 0, 0.5, n in descending order.
0.5, 0, n
Let k(b) = b**2 - 3*b - 2. Let l be k(4). Put -1, -3, l in descending order.
l, -1, -3
Suppose -5*q + 280 = -q. Let i be 8/(-20) + 58/q. Let h be 144/(-416) - 2/13. Sort 1/4, i, h in ascending order.
h, 1/4, i
Suppose 0 = q + 5*f, -3*f - f = 4. Put q, -4, 1/2 in decreasing order.
q, 1/2, -4
Suppose -3*m = -4 - 5. Suppose 0 = 3*r - f - 11, r + f - 1 = 8. Let n = -3 + 0. Put n, m, r in decreasing order.
r, m, n
Let d(l) = -l**3 - 22*l**2 - 23*l - 41. Let k be d(-21). Put k, 4, -7 in descending order.
4, k, -7
Let v(s) = -s + 4. Let g be v(4). Put 5, g, -1 in decreasing order.
5, g, -1
Suppose 2*o = 22 - 28. Sort -13, 2, 5, o in descending order.
5, 2, o, -13
Let x = 0.66 + -0.16. Put 8, -3, x in ascending order.
-3, x, 8
Let j = -3.71 - 0.29. Sort j, 2/5, 0.3.
j, 0.3, 2/5
Let n = -88 - -86. Sort n, -3, 0.1, 2 in ascending order.
-3, n, 0.1, 2
Let s be 3/(-6)*0/2. Let x(b) = 4*b + 0*b + 2 - 1 + 2*b + b**2. Let k be x(-6). Put s, -4, k in decreasing order.
k, s, -4
Let u be 4/(-6) + 140/(-15). Let g = u + 8. Sort 3, -3, g in increasing order.
-3, g, 3
Let c(l) = l + 1. Suppose -6*x + 10 = -8*x. Let v be c(x). Sort v, -1, 5 in increasing order.
v, -1, 5
Let l be (-7)/2 + (-21)/(-14) + 2. Sort 3, l, -1 in decreasing order.
3, l, -1
Suppose -3 = 5*v - 18, 2*b - 13 = -3*v. Sort -7, b, 0 in decreasing order.
b, 0, -7
Let j = 11.5 - 11. Sort -2/3, j, 0 in decreasing order.
j, 0, -2/3
Suppose -3*c + 2*j + 18 = -5*c, -15 = 3*j. Sort 7, 5, c, -1.
c, -1, 5, 7
Suppose 8*w + 2 + 6 = 0. Sort w, 5, 4.
w, 4, 5
Let c = 0 - 0.1. Let o = -0.5 - 0. Sort o, 4/3, c in increasing order.
o, c, 4/3
Let h(i) = i**2 - 1. Let f be h(-1). Sort -0.3, -1/2, f in increasing order.
-1/2, -0.3, f
Let c = 7.85 + 0.15. Let p = c - 7.6. Suppose -o + 1 = 3. Sort -0.1, o, p in increasing order.
o, -0.1, p
Let w = 0.1 + 4.9. Let c = -0.04 - -0.05. Let p = c + 1.99. Put 4, w, p in increasing order.
p, 4, w
Let u = -0.43 - 2.57. Suppose 0 = m + 5*y - 25, -y + 1 = -3*m - 4. Sort -5, m, u in descending order.
m, u, -5
Suppose -4 = h - 3*h - i, i + 10 = 5*h. Put h, 6/5, -2/9 in increasing order.
-2/9, 6/5, h
Let q = 34.2 + -34. Sort -5, -4, q in ascending order.
-5, -4, q
Let n(s) = 2*s - 1. Let k be (0 + -1)*(1 - 0). Let g be n(k). Let v = -2 + 4. Sort -2, v, g in ascending order.
g, -2, v
Suppose 6 = 2*s - 5*z, 0 = 3*s - 5*z + 1 - 10. Put 0.2, -0.4, s, 0.1 in increasing order.
-0.4, 0.1, 0.2, s
Let u = -21 - -25. Sort -1, u, 5.
-1, u, 5
Let v = -0.8 + 0.5. Let a = 3/106 + -263/1802. Put a, v, -1 in descending order.
a, v, -1
Let k = -48.6 + 49. Sort k, -4/3, 7 in increasing order.
-4/3, k, 7
Let t(m) = m + 1. Suppose 4*u + 0*u + 4 = 0. Let o be t(u). Suppose 2*d - 3 - 1 = o. Put -3, 1, d in increasing order.
-3, 1, d
Let g(j) = j**2 + 5*j + 4. Let c be g(-3). Let i = 2 - c. Let t(p) = p**2 - 3*p + 1. Let f be t(2). Sort f, -5, i in ascending order.
-5, f, i
Suppose 2*n - 3*a - 1 = 0, -n = -3*a - 2*a + 3. Put n, 4, 3, 5 in increasing order.
n, 3, 4, 5
Let g be (-8 + 7)/(5 - 0). Let j = 1.8 + 0.2. Sort 4/7, g, j in descending order.
j, 4/7, g
Let x(z) = -z + 7. Let k be x(5). Let o be (-2)/(-11) - (-20)/11. Let r be 1/1 + o + -3. Sort r, k, 5.
r, k, 5
Let o be -1 - (3 - 2) - (-40)/22. Sort o, -3/4, -0.5 in increasing order.
-3/4, -0.5, o
Let a(v) = v**3 - 2*v + 1. Let p be a(1). Suppose 4*r = 3*z + 18, r - 9 = 3*z - p*r. Put 5, z, 2 in decreasing order.
5, 2, z
Let f(q) = -2*q**2 - 1. Let b be f(1). Let m = 2 - -1. Sort b, m, -2 in decreasing order.
m, -2, b
Suppose -8 = 4*g - 2*g. Sort g, -2, 0.
g, -2, 0
Let j = -15 + 12. Put -1, -4, j in decreasing order.
-1, j, -4
Suppose 0 = d - 0*d - 5, -4*d = -2*k - 44. Let l(j) = j**2 + 11*j - 12. Let t be l(k). Put t, 5, -2 in increasing order.
-2, t, 5
Let y = 0.1 - -0.1. Suppose 3 = 4*k + 15. 