**2/2 + 8*b - 4. Let u be x(-8). Put u, -1, -4 in decreasing order.
u, -1, -4
Let r be 0 + 0 - (1 - -3). Suppose 3*c = 7*c - 20. Sort r, c, -3 in decreasing order.
c, -3, r
Suppose 0*s + 3*s - 5*j = 40, -2*j = 2*s. Sort 0, s, 4 in descending order.
s, 4, 0
Let u = 82 - 79. Sort 7, u, -1 in increasing order.
-1, u, 7
Suppose -3*m = 2*d - 5, 0*m - 3*d - 10 = m. Sort -1, 2/5, -3, m.
-3, -1, 2/5, m
Let b = -0.028 - -0.328. Put b, 1, 9, 4 in decreasing order.
9, 4, 1, b
Let t be (-27)/(-9)*(-4)/6. Let d = 167/6 - 28. Put d, t, 7 in ascending order.
t, d, 7
Let y = 17 - 18. Sort -4, -3/7, y in decreasing order.
-3/7, y, -4
Suppose j - 3 + 1 = 0. Suppose -k + 1 = -3*v, v - 3 + j = -k. Suppose v*u + 2*u = -4*w - 10, w - 5 = u. Put -0.5, u, 6/11 in decreasing order.
6/11, -0.5, u
Let t(o) = 2*o**2 + 51*o + 21. Let l be t(-25). Put -7, l, -2 in descending order.
-2, l, -7
Let i = -17 - -21. Sort i, -11, -2.
-11, -2, i
Let k be (-1)/((12/(-9))/(-4)). Let u(c) = c**3 + c. Let w(y) = -2*y**3 + y**2 + 1. Let x(t) = 3*u(t) + 2*w(t). Let g be x(3). Sort g, 0, k in ascending order.
k, 0, g
Let r = -11 - -12. Let v(u) = -2*u**2 + 5*u - 2. Let c be v(3). Let i be 2/(-4)*(0 + 0). Sort c, r, i in decreasing order.
r, i, c
Let o(r) = -r**2 + 9*r - 9. Let a be o(7). Let y be 21/(-7)*1/(-5). Sort a, 0.2, y in descending order.
a, y, 0.2
Suppose -4*m = 4*s + m + 25, -5*s = 4*m + 29. Suppose -2*r = 3*w, 6*w = r + w. Sort r, 10, s in decreasing order.
10, r, s
Let k = -20 - -35. Let b = -15.9 + k. Let t = b - -0.4. Sort t, -0.4, 0.2 in ascending order.
t, -0.4, 0.2
Let t be 2*(1 - 3/(-3)). Let q(h) = -h**2 - 9*h + 12. Let d be q(-10). Suppose -d*p - 3*w + 8 = -0*w, -p = w - t. Sort 0, 3, p in descending order.
p, 3, 0
Let v = 0.06 + -8.06. Let y = v + 7.9. Put 1, 0.2, y in decreasing order.
1, 0.2, y
Suppose -3*c + 55 + 37 = 4*r, 0 = -4*c + 3*r + 156. Let a = c - 107/3. Let o = 14 + -10. Sort a, o, -0.1 in descending order.
o, a, -0.1
Let s = 50 + -51. Let n = 0.4 - 0.5. Let f(d) = d**3 + 6*d**2 + 5*d + 3. Let o be f(-5). Sort n, s, o in decreasing order.
o, n, s
Let j = 1.1 + 1.3. Let r = -0.4 + j. Let h be (-8)/(-20) - 0/2. Put -5, h, r in increasing order.
-5, h, r
Suppose 7*q = 4*q + 6. Put q, 0, 3 in decreasing order.
3, q, 0
Let g(p) = -p - 1. Let r be g(-5). Suppose 2 = -r*u - 18. Sort u, 1, 5.
u, 1, 5
Let t = 15 - 12. Let o = t - 7. Sort -1, o, -2 in descending order.
-1, -2, o
Let u be -28*5/(-60) + (-2)/6. Suppose -2*g - 2*n - 4 = 0, 0 = 3*g - n + 6. Let i be g/15 + 2/(-10). Sort 2/11, u, i in decreasing order.
u, 2/11, i
Suppose 0 = 11*v - 12*v. Put -2, -4, -3, v in decreasing order.
v, -2, -3, -4
Let s = 5 - 4. Sort 2, s, 4.
s, 2, 4
Let i = -5 - -2. Sort 22, -1/2, i.
i, -1/2, 22
Let l(o) = -2*o**3 - 5*o**2 + 2*o + 2. Let q be l(3). Let y be 14/q - 2/(-13). Let t be 1 + (0 - -4) + 0. Sort 4, t, y.
y, 4, t
Let h(b) = b**3 + 17*b**2 + 17*b + 17. Let o be h(-16). Suppose -4*q + 14 = 3*m + q, 5*m = -5*q + 20. Put -2, o, m in ascending order.
-2, o, m
Suppose 2 + 1 = -5*i + 4*s, 5*s - 5 = 5*i. Put 3, -5, i in descending order.
3, i, -5
Suppose -y - y + 5*l = 15, 0 = 5*y - 4*l - 5. Put y, 0, -2, 7 in descending order.
7, y, 0, -2
Suppose 5*h - 4*h = 5. Sort 4, h, 1.
1, 4, h
Suppose 8*k - 8 = -16. Put k, 16, 4 in descending order.
16, 4, k
Suppose 3*w = 12, 0 = 4*y - 4*w + 2*w. Suppose -i - 3 = -y*i. Put -2, i, 4 in decreasing order.
4, i, -2
Suppose -v + 0 = -4*n - 18, -5*n = 15. Sort v, -2, -5.
-5, -2, v
Suppose 4*m = -3*k + 21, 0*k = -4*k + 12. Suppose -5*h + 20 = 0, 0 = -z + h - 1 - 1. Let y be (-2)/(-3) - (-1)/3. Sort z, y, m in decreasing order.
m, z, y
Suppose 2*k - 2 = 2*a, -3*k + 20 = -k + 4*a. Let l be -1 - ((-164)/(-14) + -2). Let q = 11 + l. Put k, -4, q in decreasing order.
k, q, -4
Let q = 7.93 + 0.07. Let x = q + -7.7. Sort 2/13, x, 4 in ascending order.
2/13, x, 4
Let o be ((-15)/6)/(2/(-4)). Suppose -1 = o*z - 6. Let n(c) = c**2 - 10*c - 28. Let g be n(12). Sort z, g, -0.3.
g, -0.3, z
Let o be (-28)/30 - 5/(-15). Let r = -2 + -4. Let i = r + 4. Sort o, i, 0.2 in increasing order.
i, o, 0.2
Let n = -34 - -37. Put -4, -2/9, n in decreasing order.
n, -2/9, -4
Let f = 0.01 - 0.31. Let v be ((-8)/14)/((-21)/(-98)). Let n = 3 + v. Sort n, f, 1/6 in descending order.
n, 1/6, f
Let n = 4 - 4. Let o be (-3 - 0)*(-2)/(-3). Put n, o, 1 in descending order.
1, n, o
Let l(s) = s**2. Let p(k) = 6*k**2 + 6*k - 10. Let o(u) = -5*l(u) + p(u). Let g be o(-7). Let h = -6 - g. Put 5, h, -4 in ascending order.
-4, h, 5
Let l = -8.2 + 8.2. Put 2/19, l, 3, 1/4 in increasing order.
l, 2/19, 1/4, 3
Let o(t) = -t. Let f be o(4). Suppose 4*g - 2*g - 2 = -w, 3*w = -3*g. Suppose -j = -g*h - 0*h - 6, -5*j = -h - 3. Sort f, 3, h in ascending order.
f, h, 3
Suppose 0 = 12*b - 7*b + 25. Put b, -3, 1 in increasing order.
b, -3, 1
Let h = -109 - -109.5. Sort 2/7, 0.08, -1, h in decreasing order.
h, 2/7, 0.08, -1
Let n be (-3 - (-27)/6)*-2. Sort 4, -1, n in descending order.
4, -1, n
Let p = 3 - 8. Let z = 503/6 + -84. Put z, p, -0.3 in ascending order.
p, -0.3, z
Let q be (-3)/(-6) - (-1)/(-2). Let n be (-38)/(-57)*(-6)/4. Put 2, q, n in decreasing order.
2, q, n
Suppose 17 - 1 = -4*j. Put -2, j, 3 in decreasing order.
3, -2, j
Let u = -8 - -12. Let z = 52 + -207/4. Put u, -4, z in descending order.
u, z, -4
Let y = -0.33 + -0.17. Sort -0.4, y, 0 in increasing order.
y, -0.4, 0
Let v = -0.07 - -0.2. Let q = -2.37 - v. Let l = q + 2. Sort 2/17, 2/3, l in descending order.
2/3, 2/17, l
Let j(i) be the third derivative of -i**6/120 - i**5/60 + i**4/24 - i**3/6 + i**2. Let m be j(-2). Let k = -42 - -38. Sort 0, m, k in ascending order.
k, 0, m
Suppose 66 = 3*h + 51. Sort h, 2, 4, -4.
-4, 2, 4, h
Suppose -2*f + 5*m - 1 = -2, -4*f = -2*m - 26. Let k(u) = -u + 4. Let g be k(f). Suppose 4 = w + 3*w. Sort w, 3, g in ascending order.
g, w, 3
Let g = 8 - 11. Let q be (4/20)/(5/(-20)). Sort g, q, 1/7.
g, q, 1/7
Let w = -19 - -18.7. Sort 5, w, 26, -2 in descending order.
26, 5, w, -2
Let g be 1 - 0 - (-8)/(-9). Let v = -0.182 - 0.018. Put v, 1, g in descending order.
1, g, v
Let o be (85/(-4))/1 - (-4)/16. Put 3, o, 4, 2 in ascending order.
o, 2, 3, 4
Let v(w) = -w**3 - 5*w**2 - 2. Let j be v(-5). Suppose 0*s = 3*s - 12. Sort j, 1, s in increasing order.
j, 1, s
Let u(t) = t**3 - 5*t**2 + 3*t + 3. Let f be u(2). Sort 4, 14, f in increasing order.
f, 4, 14
Suppose -2*l = -4*l + 8, -2*q + 28 = -3*l. Suppose -g = 3*f + q, -19 + 4 = 5*g - 2*f. Let z = -7 - g. Sort 1, -5, z in decreasing order.
1, z, -5
Suppose 14 = 4*c + 2*n, 2*c + 3*n = -2*c + 15. Let o = 1 - 2. Sort -2, o, c.
-2, o, c
Let t be (383 - -2) + 0/(-1). Let n be (-15)/t*(0 - 249). Let o = -102/11 + n. Sort o, -5/4, 2/5.
-5/4, 2/5, o
Suppose -3*p + 27 + 21 = 0. Suppose 2*s + p = -4*t - 0*t, 5*t - 6 = 4*s. Let w = -11 + 6. Sort w, t, 0 in increasing order.
w, t, 0
Suppose -3*w = -8 - 4. Suppose s + 10 = -w*s. Put 0.2, s, -0.3 in increasing order.
s, -0.3, 0.2
Let b = 0.49 + -0.29. Sort 4, b, -0.22 in decreasing order.
4, b, -0.22
Let u = -188 + 344. Suppose 0*o = -4*x - 4*o + u, x - 2*o = 27. Let j be (68/x + -2)*-5. Put 1/3, 4/5, j in decreasing order.
4/5, 1/3, j
Let u = -6 + 11. Suppose -3*n + 7*n = -8. Suppose -4*i + 12 = -0*i. Sort u, i, n.
n, i, u
Let q be (-2 - (-4)/4) + 2 + 2. Let c be (-21)/4 - 1/(-4). Put 2, q, c in decreasing order.
q, 2, c
Let g = -13 + 14. Let b be ((g - 1) + 2)/(-1). Put 2, b, -1 in ascending order.
b, -1, 2
Suppose -3 = -4*z - 2*p + 21, 5*p - 8 = 3*z. Let c(w) be the third derivative of -w**5/60 + w**4/6 + w**3/6 + 2*w**2. Let j be c(z). Sort j, 2, 4.
j, 2, 4
Let g = -405.7 - -389. Let r = -17 - g. Put r, 4, 0.2 in ascending order.
r, 0.2, 4
Suppose -4*i - 1 = 19. Put i, -4, 1 in descending order.
1, -4, i
Let w = 122/203 + -34/29. Suppose h + 1 - 8 = -5*a, a = h + 5. Put w, h, -6 in descending order.
w, h, -6
Suppose -2 = t - 10. Let i be 12/t*(3 + -1). Sort 2, i, 1 in decreasing order.
i, 2, 1
Let x be -3*(55/45 + -1). Let q be (-3)/10 + (-4)/(-10). Let z = 0.8 + -5.8. Sort q, x, z in increasing order.
z, x, q
Let d = 0.71 - -3.29. Let i = -1 + 0. Sort 4/5, i, d in decreasing order.
d, 4/5, i
Let z = 4 - -6. Let j = -15 + z. Put 0.4, -4, j in ascending order.
j, -4, 0.4
Suppose 8*q = q + 14. Put -4, q