et x(h) = -h**3 - 4*h**2 - h + 1. Suppose 0 = -b - 4 + 1. Let v be x(b). Sort v, -4, r in increasing order.
v, -4, r
Let g be 155/30 - 3/18. Suppose -4*x + 1 = -g*l - 16, 2*l = 3*x - 4. Sort 1, 2, x, 4.
x, 1, 2, 4
Suppose 10*a - 15 = 25. Suppose 0 - 12 = x - 5*c, -a*c = -x - 9. Sort 1, -1, x, -9 in ascending order.
-9, -1, 1, x
Let v(y) = y**3 - 6*y**2 + 4*y + 6. Let f be v(5). Let a = 4 + -5. Suppose -3*p = p - 12. Sort a, f, p in decreasing order.
p, f, a
Let c = 227.3 + -224. Put c, 0.5, 3/5, 0 in descending order.
c, 3/5, 0.5, 0
Let z be 147/84 - (0 - (-1 + -1)). Put z, 3, -9 in decreasing order.
3, z, -9
Let v(b) = b**3 + 6*b**2 + 6*b + 3. Let d be v(-5). Let h be (d/(-4))/(9/108). Let f be (3/h)/((-1)/6). Put 1, 0.4, f in decreasing order.
1, 0.4, f
Let h = 5.807 - -1.193. Sort 1, h, -0.3.
-0.3, 1, h
Suppose 0 = -2*z - 1 + 5. Sort 4, z, 5, -2 in ascending order.
-2, z, 4, 5
Let m(v) = -3*v**3 + 4*v**2 - v - 1. Let j be m(5). Let c = 197 + j. Let o be c/(-8)*(-8)/12. Sort 0, o, 5.
o, 0, 5
Let n be 2 + -1 + -3 + 7. Suppose -2*a + 12 = 2*f - n*f, 4*a - 24 = 4*f. Sort a, -3, -5 in ascending order.
-5, -3, a
Let x(b) = -b - 31. Let j be x(-26). Let k = -10 + 6. Suppose -4*n + 2*s + 15 = -s, 3*s = -3. Put j, k, n in decreasing order.
n, k, j
Let b be (-19)/(399/147)*(1 + 0). Sort 2/13, -40, b, 5 in increasing order.
-40, b, 2/13, 5
Let i = -0.2 - -1.9. Let v = i - 1.57. Let x = 0.87 + v. Put 2/5, x, 3/5 in descending order.
x, 3/5, 2/5
Let x(b) = b**3 - b**2 - b - 32. Let k be x(0). Let c = k - -29. Let q(o) = -o**3 + 3*o**2 + 2*o - 2. Let s be q(3). Sort s, -4, c in decreasing order.
s, c, -4
Suppose 34*g = 31*g + 15. Let f be 3*(-4)/(20/g). Sort f, 2, 5 in increasing order.
f, 2, 5
Suppose 3*u + 16 = r, -u - 2 = 5*r - 2*r. Suppose 3*y = 5*y. Sort -5, y, r.
-5, y, r
Let z(n) = n - 1. Let w be z(6). Sort -0.4, w, -0.8.
-0.8, -0.4, w
Let p = -189 + 189.5. Let w = -11.3 - -1.3. Sort -5, w, p in increasing order.
w, -5, p
Suppose 5*f - 12 = 3*k, -155*f - k = -152*f + 4. Sort -0.5, f, -164 in decreasing order.
f, -0.5, -164
Let i = 0 - 1. Suppose -5*r - 96 = -4*w, 2*r - 3*w + 42 + 2 = 0. Let f be 72/r - 5/(-10). Sort f, 2, i in decreasing order.
2, i, f
Let t be 8/(-48) + 2/12. Let g = t + 3. Let q = 25 - 25. Put 1, q, g in decreasing order.
g, 1, q
Let d be (-1 - -2)/(1 - 0). Suppose 0*l + 10 = l + 4*x, -5*l + 4*x + 26 = 0. Put d, l, 3 in descending order.
l, 3, d
Suppose 0 = 40*i - 183*i + 715. Suppose -5*v + 21 = 2*u, 0 = -5*v + 4*u + 2 + 1. Put v, -1, i in decreasing order.
i, v, -1
Let x = -0.2 + 0.2. Let j = -27 - 39. Let a = 728/11 + j. Sort x, 1/2, a in ascending order.
x, a, 1/2
Suppose 3*b + 43 = -4*m, 0 = m + 5*b - 3*b + 12. Suppose -5*r - 37 = 8. Let y = r - m. Sort y, 6, 0 in increasing order.
0, y, 6
Suppose 0 = -9*p + 9 + 27. Suppose 5*w = -3*k + 15, -5*w + 19 - 4 = 0. Put p, -11, k in descending order.
p, k, -11
Let s(x) = 5 - 15 + 7 - 7*x. Let u be s(-1). Let z = -1/2 - -1. Put u, z, -5 in ascending order.
-5, z, u
Let x = 0 - -0.2. Let j(i) = i**3 + 22*i**2 - 41*i + 164. Let k be j(-24). Sort -0.4, 0, x, k in decreasing order.
x, 0, -0.4, k
Let p = -1982 + 1980. Sort p, 227, 5 in decreasing order.
227, 5, p
Let q = 87 + -72. Let o be (-5 - -5) + 4/(-1). Sort q, o, 4 in ascending order.
o, 4, q
Let s = 2.31 - 1.91. Put 5, -6/35, s in descending order.
5, s, -6/35
Let u = -1.1 + -6.9. Let v = u + 12. Let o = 0.314 + -0.214. Put 0, v, o in ascending order.
0, o, v
Let l = 527/1295 - -4/185. Put 4, 1/2, l, -5 in descending order.
4, 1/2, l, -5
Let h(g) be the first derivative of -g**3/3 + 3*g**2/2 + 13*g + 1. Let a be h(6). Sort 4, 32, a.
a, 4, 32
Let p = 404 + -395. Sort 3, 5, p.
3, 5, p
Let d = 26/47 - 5/94. Put 0, 2, d, 17 in descending order.
17, 2, d, 0
Let m = 58/85 + 104/17. Let a = -5.01 + 0.01. Sort 0.2, a, m in ascending order.
a, 0.2, m
Let s = 9 - 8.5. Let i = s - 0.7. Let m = -3.8 + i. Sort 2/13, m, -5 in decreasing order.
2/13, m, -5
Suppose -17 = j - 5*i, -3*i + 15 = -4*j + j. Sort 3, j, -119 in descending order.
3, j, -119
Let k = 917/143 + -81/13. Suppose -2*i + 4*a - 4 = 0, -4*a - 17 = -5*i - 3*a. Put k, i, 0.1, -1 in decreasing order.
i, k, 0.1, -1
Let p = -2 + 9. Let q = 6 - p. Let y be (3*(-3)/(-36))/q. Sort -2, 2/7, y in descending order.
2/7, y, -2
Let s = 0.532 - 5.532. Sort s, 4, -4, -0.28 in descending order.
4, -0.28, -4, s
Let z be 4/(-10) - 7/(-5). Let d be 3 - z*(-2)/(-1). Let o be ((-1)/3)/((-10)/(-20))*-6. Put d, -5, o in ascending order.
-5, d, o
Let i = -7848 - -7851. Let j = -1 - -2. Sort -3, j, i, -4 in increasing order.
-4, -3, j, i
Suppose 0 = -0*i - 5*i + 125. Suppose -a = -5*d - i, -5*a + 40 = -a - 5*d. Put -1, 4, a in ascending order.
-1, 4, a
Let t = -692 + 703. Sort 32, t, 2 in increasing order.
2, t, 32
Let o = 1 + -1. Let v = -17.8 + 2.8. Sort o, -1, v in descending order.
o, -1, v
Let o = -29887 - -51136655/1711. Let j = o - -6878/29087. Let l = j + -88/85. Sort l, 0.01, -4 in decreasing order.
0.01, l, -4
Let n be (-26)/11*(-418)/76. Sort 3, -2, n, 1.
-2, 1, 3, n
Let o = 0.13 + 1.87. Let g = -89 - -88. Sort g, -6, o in descending order.
o, g, -6
Let l(f) = f**3 + 5*f**2 - 2*f + 4. Let n be l(-5). Suppose 2*i = -n - 8. Sort i, -5, 0.5 in decreasing order.
0.5, -5, i
Let y = -20 + 58. Let x = y + -40. Suppose 3*r + 44 = 4*n - r, 0 = -2*r - 8. Sort n, -5, x in ascending order.
-5, x, n
Let m = -7/249 + -5/5727. Let n = 97988083/345 + -284023. Let g = n + m. Sort g, -0.3, 4.
-0.3, g, 4
Let y be 135/15 + -31 + 20. Suppose -3*c = -0 - 3. Put y, 2, 0, c in decreasing order.
2, c, 0, y
Let l be (32 + -14)*-3*(-2)/36. Let f = 2 + -1. Put -3, l, 0, f in decreasing order.
l, f, 0, -3
Let x be ((-3)/(-5))/((-5)/25 + 0). Sort x, 2, 7, 0 in ascending order.
x, 0, 2, 7
Let c be 2442/(-2727) + 14/63. Let p = c + 2/303. Let f = -0.01 - -0.31. Put 5, p, f in ascending order.
p, f, 5
Let x be (44/(-33))/(2/(-6) + 1). Sort 8, x, 25 in decreasing order.
25, 8, x
Let t = 0.2 + -1.2. Let j = 3 + t. Let h = 0.4 - 0.4. Sort 3, j, h in ascending order.
h, j, 3
Suppose 3*o - 4*o + 2*h = -12, -4*o - 3*h - 7 = 0. Let m = 2 + 0.4. Let g = -2.2 + m. Sort g, o, -2/11 in descending order.
o, g, -2/11
Let k = 8 - 5. Suppose -3*l + 3*w - k = 0, -4*w + 4 = 2*l - 18. Let g be (28/(-16) + l)*4. Sort 2, -2, g in descending order.
g, 2, -2
Let h = 0.637 - 0.137. Sort h, -5, 6, -31 in decreasing order.
6, h, -5, -31
Let q = 32.5 - 61.4. Let p = -29 - q. Sort -3, 0.2, p in ascending order.
-3, p, 0.2
Let i be 126/(-27) + 7 + -3. Put i, -2/41, 1/2 in increasing order.
i, -2/41, 1/2
Let o = 1147 + -1155. Put 1, 0.09, -3, o in ascending order.
o, -3, 0.09, 1
Let m be (-2624)/80*(-1)/(-2). Let u = 1056/65 + m. Put -4, -2, u, -1/13 in ascending order.
-4, -2, u, -1/13
Let n(m) be the second derivative of -m**5/20 + m**4/3 - m**3/6 - m**2 - 2*m. Let d be n(3). Let y = 1 - d. Sort y, 0, -5.
-5, y, 0
Let c = -249 - -251. Put 0.04, 3, -2, c in decreasing order.
3, c, 0.04, -2
Let y = -0.78 - -0.18. Let o = 1.1 + y. Sort -5, o, 4.
-5, o, 4
Let o = 5 + -3. Let n = o - 2.8. Let k = 0.6 + n. Sort k, 1/4, 5 in descending order.
5, 1/4, k
Let z = 4.87 + 0.13. Let n = -62.3 - -58. Let c = n + 4. Put z, c, 3 in descending order.
z, 3, c
Let s = 4 + 1. Let x = 0.11 - -0.01. Let j = x - 0.02. Put 0, s, j in decreasing order.
s, j, 0
Let u(a) = a**3 + 4*a**2 - 2. Let y be u(-3). Suppose -y*h + 8 = -3*h. Let s = 1304 + -1308. Put h, -3, s in descending order.
h, -3, s
Let c = -4 - -18. Let u = -13.02 - -18.02. Sort c, u, -0.4 in decreasing order.
c, u, -0.4
Let c be (-819)/(-315) + (-2)/((-10)/(-3)). Put c, -48, 5 in descending order.
5, c, -48
Let h be 2/4*0/2. Let l = -2 - h. Let o = 2189 - 2187. Sort 1, l, o in ascending order.
l, 1, o
Suppose 0 = 3*u - 6*u - 6. Let i be -8 - -4 - (u - 1). Let w be 9/3 + -5 + i. Sort -5, 3, w in decreasing order.
3, w, -5
Let j be 128/(-48) - (-51)/18. Sort j, -1/6, -28 in descending order.
j, -1/6, -28
Let g = -89 - -85.1. Let a = -4 - g. Let q = -0.25 + 11.25. Sort q, 2/5, a in descending order.
q, 2/5, a
Let s = 12 + -23. Let l = s + 7. Let z = 2.1885 - 0.1885. Sort z, l, 0.3 in ascending order.
l, 0.3, z
Suppose 0*i + i + 6 = 0. Let m = i - -1. Let r = m + 4. Sort 0, 3, r in ascending order.
r, 0, 3
Let 