*4 + 1/2*u**2 - 1/20*u**5 + 0 + 0*u**3. Let h be n(-8). Sort -2, h, -3 in decreasing order.
h, -2, -3
Let h be ((-2)/8*-1)/((-3)/4). Sort 1, -4, h, 2 in decreasing order.
2, 1, h, -4
Let d be 0 - ((-1)/(-2) - 0). Let r = -1 - -3. Let u be -2 + (r/17 - -2). Sort 1, d, u.
d, u, 1
Let z be 574/21 - (-2)/(-6). Sort 4, 0, z in ascending order.
0, 4, z
Let t(b) = b**2 + b + 3. Let u be t(0). Put u, 5/3, -0.1 in ascending order.
-0.1, 5/3, u
Suppose -q + 4 = 0, 0 = 4*d + 2*q - 0 + 4. Let j = d - -6. Put -4, -2, j in decreasing order.
j, -2, -4
Suppose -7*i - 6 = -8*i. Put -4, -1, i in increasing order.
-4, -1, i
Suppose w - 2 = -3. Let k = 56 + -54. Sort k, 5, w in descending order.
5, k, w
Let q = -0.06 - -1.56. Let i = q + -0.5. Put 0.4, i, -1 in increasing order.
-1, 0.4, i
Let g = 168 - 169. Put -19, g, -5 in decreasing order.
g, -5, -19
Let y = -30 + 30.3. Sort -0.3, -16, y, -3.
-16, -3, -0.3, y
Suppose m - 5 = -13. Let i = 11 + m. Suppose i*s = 4 + 2. Sort -1, -4, s in descending order.
s, -1, -4
Suppose -3*i + 15 = 2*i. Let r be 2/(-6)*4*i. Sort 1, r, 3 in ascending order.
r, 1, 3
Let k(b) = b**2 - 14*b + 17. Let n be k(13). Suppose 5*x - 4*h + 34 = -5*h, -3*x - 38 = 5*h. Let a = -10 - x. Sort a, n, 1 in ascending order.
a, 1, n
Let f(l) = l**2 - 4*l - 6. Let d be f(5). Suppose 3*w + 18 = -3*y, 0 = 2*w + 7*y - 6*y + 11. Sort 2, d, w.
w, d, 2
Let i(c) = -c - 2. Let f be i(-5). Let u = -1 + f. Let l be (3/u)/((-9)/12). Put 0, -5, l in ascending order.
-5, l, 0
Suppose -6*n = -11*n - 2*l - 9, -3 = 4*n + 3*l. Let h be ((-8)/18*6)/((-4)/6). Sort h, n, -5 in decreasing order.
h, n, -5
Let l be 0/(-2) + -5 + 4. Sort -4, -3, l in descending order.
l, -3, -4
Let k be 592/(-7) - (-52)/91. Let c be (-1)/(-4) + k/16. Put -3, c, 1 in descending order.
1, -3, c
Let i(p) = 3*p - 13. Let a be i(6). Put 0, a, -5 in ascending order.
-5, 0, a
Let q(t) = t + 1. Suppose 0*z = -3*z. Let c be q(z). Suppose 0 = 3*i - 4*x + 20, -7*i + 4*x = -2*i + 20. Sort 3, c, i in descending order.
3, c, i
Let y be (1/2)/(33/(-246)) - -4. Sort 0, 5, -1/2, y.
-1/2, 0, y, 5
Let b be (136/20)/2 + -3. Put -2, b, 3 in descending order.
3, b, -2
Suppose -2*t + 11 = -3. Let x be (-2)/t - 54/(-42). Suppose -2*c + 4*q + 6 = 0, q + 3*q = -3*c - 11. Sort x, 2, c in ascending order.
c, x, 2
Let l = 0.3 + -0.4. Put 7/4, 3/7, -2, l in decreasing order.
7/4, 3/7, l, -2
Let z(l) = -l - 12. Let x be ((-7)/(-2))/7*-14. Let h be z(x). Sort 1, -2, h in increasing order.
h, -2, 1
Let l be 0/((-3)/6*2). Suppose -3*s = -2*v - l*v + 7, -15 = 5*s. Sort -4, -3, v in ascending order.
-4, -3, v
Let y = -6 + 8. Suppose 0 = -y*i + 4*i + 4*c + 4, i = 3*c - 7. Suppose 2*w + 2*w = -8. Put i, 0, w in decreasing order.
0, w, i
Let l = 7 - 3. Let j be 2 + (l - 2)*-1. Let o(h) = h + 10. Let k be o(-12). Sort k, 5, j in descending order.
5, j, k
Let h(m) = -2*m + 7. Let c be h(6). Let w = -97 - -97.3. Put 5, c, w in ascending order.
c, w, 5
Let a(t) = -t**2 + t + 3. Let m be a(0). Suppose 0 = -3*c + 3*f + 6, 3*f = m*c - f - 3. Sort c, -7, 0.
-7, 0, c
Let r = -10 + 9.8. Sort 2/9, r, -2 in ascending order.
-2, r, 2/9
Let w = -58 - -62. Put w, -1, -55 in increasing order.
-55, -1, w
Suppose -6*l + l = -20. Suppose 4*g = -x - 16, 0*x + 9 = -5*g - l*x. Let j = 207 - 207. Sort g, 3, j in decreasing order.
3, j, g
Let g be (-1)/4 + 66/248. Let t = -136563 + 25400783/186. Let h = t - g. Put 1, 0.3, h in increasing order.
0.3, h, 1
Suppose 0 = -5*j - p, -2*j + 2*p = -5*j. Sort 5, j, 1 in decreasing order.
5, 1, j
Let z(w) = 2*w - 5. Let v be z(5). Sort -2, v, -1 in descending order.
v, -1, -2
Suppose -42*x - 9 = -45*x. Put -2, x, -3, -5 in descending order.
x, -2, -3, -5
Let p(j) be the first derivative of j**3/3 - j**2/2 - j + 1. Let f be p(2). Sort f, -2, 3 in increasing order.
-2, f, 3
Suppose -2*c - 4 - 5 = 5*y, -5*y - 3 = 4*c. Sort -10, -2, c in descending order.
c, -2, -10
Suppose -4*z - 2 = 5*b + 23, 5*z - 25 = 5*b. Suppose s = j + 6, z = -j - 6 + 2. Suppose -5*k - 3 = -3*w, -w - 4*w = k - 5. Sort s, w, -2.
-2, w, s
Suppose 0*s + 6*s = 0. Sort -2, s, -9.
-9, -2, s
Suppose 2*i - 16 = -i + 2*f, 3*i + 4*f = 40. Suppose -3*n = -i*n - 10. Let p be (0*2/4)/(-1). Put n, p, -1 in decreasing order.
p, -1, n
Suppose 25 = -0*g - 5*g. Let x = 29 + -25. Put g, -2, x in decreasing order.
x, -2, g
Let t = -72 + 51. Let v = 14 + t. Put v, -2, -4 in ascending order.
v, -4, -2
Let m be (-2)/9 - 1081/(-207). Suppose 3*v + 1 = v + 5*q, -5*q = -5*v - 10. Put 3, v, m in decreasing order.
m, 3, v
Let v = 69 + -62. Put v, -3, -1 in ascending order.
-3, -1, v
Let i(r) = r**3 - 9*r**2 + 9*r - 7. Let q be i(8). Suppose -5*d + 3 - 13 = 0. Put 4, d, q in descending order.
4, q, d
Let s = 9 + -10. Let a = -7 + 5. Sort s, -5, a.
-5, a, s
Let b = 0 - 0. Let g be 40/(-32) - (-2)/(-8). Let j = g + 2. Put j, 4/7, b in decreasing order.
4/7, j, b
Let p be ((-3)/(-6))/(1/4). Let c(y) = y**2 + 2*y - 5. Let r be c(-4). Sort 1, p, r.
1, p, r
Let m = 10 + -9. Let n = 79 + -1025/13. Put -3, n, m in decreasing order.
m, n, -3
Let q = -1427/312 + 60/13. Let m = 1/8 + q. Sort 5, m, -0.03 in descending order.
5, m, -0.03
Let k = 0.4 - -0.1. Let w = 3.2 + -3.5. Put w, k, -1 in decreasing order.
k, w, -1
Let i = -0.4 + 0.4. Suppose -n - 4*d + 3 = 11, 5*n - 2*d = 26. Suppose 5*h = 3*q - 25, -n*q + 11 + 3 = 3*h. Sort i, -1/4, q.
-1/4, i, q
Suppose -2*l + 0*l = -z + 5, -3*z = 3*l - 15. Suppose l = -3*s + 10 + 2. Sort s, -1, -5 in increasing order.
-5, -1, s
Let r = -47.08 - -43.3. Let u = r - -4. Let i = u - -0.08. Sort 2, i, 4 in decreasing order.
4, 2, i
Let n = 0.16 - 0.66. Suppose 2 - 6 = o. Sort n, 4, o.
o, n, 4
Let z = 7 + -12. Let h = z - -4.7. Sort -2, h, 0.1 in descending order.
0.1, h, -2
Let b = -13/6 - -11/6. Put -0.2, b, -1 in increasing order.
-1, b, -0.2
Suppose -x - 1 = -3. Let a be 14/21 - (-1)/3. Sort a, x, 5 in ascending order.
a, x, 5
Let r(z) = -5*z**3 + 0*z**3 - 4 - 5*z**2 + 2*z**3 + 4*z**3 + 4*z. Let o be r(4). Let j be ((-2)/(-3))/((-1)/(-6)). Sort -2, j, o in ascending order.
o, -2, j
Suppose 0 = -4*w - q + 17, -4*w = -q - 23. Suppose -2*i = -s - w, -i + 0 = -1. Sort 5, 2, s in increasing order.
s, 2, 5
Suppose -a = -2*s - 2, 3*a + a + 5*s = 8. Sort 1, -9, a in ascending order.
-9, 1, a
Suppose -4 = -2*l - 0*l. Let t(u) = -u**3 + 3*u**2 - 4. Let i be 6*(-1)/(-2)*1. Let h be t(i). Sort l, h, -1 in descending order.
l, -1, h
Let z = -5.2 + 0.2. Let h(g) = -g - 2. Let k be h(-6). Let r = -5.8 + 6. Put k, z, r in descending order.
k, r, z
Suppose -4*i + 5*d + 12 = -0*i, 0 = i - d - 3. Let q = 295/504 - 1/72. Let k(y) = y + 8. Let w be k(-3). Sort i, w, q in descending order.
w, i, q
Let y = -18 - -23. Sort 0, 3, y in increasing order.
0, 3, y
Suppose 0*b - 5*b = 0. Let z be (1 - b) + 1 + 6. Sort -3, 5, z in increasing order.
-3, 5, z
Let l = 7 - 3. Sort l, 0, 1 in ascending order.
0, 1, l
Let c = 0.78 - 0.28. Sort c, 3, 1/5 in decreasing order.
3, c, 1/5
Let j = -54016/35 + 7088/5. Let w = -126 - j. Sort 0.4, -0.02, w in ascending order.
w, -0.02, 0.4
Let f(u) = -u**3 + 5*u**2 - 4*u + 7. Let j be f(5). Let q = 10 + j. Put -6, q, 2 in increasing order.
-6, q, 2
Suppose 6*o = 4*o + 6. Put o, -1, 1 in ascending order.
-1, 1, o
Let v = 3.87 + -4. Let p = v + 0.05. Let c = p - -1.08. Put -0.4, -4, c in increasing order.
-4, -0.4, c
Let k = -41 - -41. Sort -4, -7, k in ascending order.
-7, -4, k
Suppose -5*c + 2 = 4*r, -2*r - 5*c - 1 = r. Put -3, -4, r in decreasing order.
r, -3, -4
Let y = 0.9 - 0.4. Let b = -831/2 - -393. Let r = 313/14 + b. Sort y, r, 0.3 in descending order.
y, 0.3, r
Let f be (-96)/15 - (-2)/5. Let p be (-2)/f - (-2)/(-6). Let q = -9 - -4. Sort p, q, 5 in decreasing order.
5, p, q
Let f = 117 + -122. Sort 4, 3, f in ascending order.
f, 3, 4
Let d = 34 + -40. Put -4/3, d, 1/8 in ascending order.
d, -4/3, 1/8
Let u(h) = h**3 + 5*h**2 - 2*h - 7. Let l be u(-5). Put -3, 5, l in increasing order.
-3, l, 5
Let k be 1/(-3) + -21*(-5)/45. Put 1, -0.2, -2/5, k in increasing order.
-2/5, -0.2, 1, k
Let o = -0.7 - -0.9. Let b = -11 - -10.3. Let y = b + o. Put -4, 1/4, y in descending order.
1/4, y, -4
Suppose -3*u = 0, 0 = -2*h - 0*h - 5*u + 6. Put 9, 1, h in descending order.
9, h, 1
Suppose -5*s = 4*h + 10 + 14, s + 4 = 0. Let q(d) = 15*d