 2*w + 6. Put 0, w, d, -0.2 in decreasing order.
d, 0, -0.2, w
Suppose 0 = -4*v - 4*f + 20, 5*v - 3228 = 4*f - 3230. Sort 1417, 0, v in ascending order.
0, v, 1417
Let a(w) = -w**2 - w - 1. Let t be a(0). Let g be -20 + -2 + 32 - 8. Sort g, -5, 3, t in descending order.
3, g, t, -5
Let i = -2 + -2. Suppose -6 = -s - 4*v, -55*s - 3*v = -66*s - 28. Sort s, 5, 0, i in increasing order.
i, s, 0, 5
Let n = 14.4 - 14. Let b = 5928 + -5930. Sort 0, -6, n, b in descending order.
n, 0, b, -6
Let q = 230 + -114. Let w = 114 - q. Sort 5, w, 0.04, 2/5 in decreasing order.
5, 2/5, 0.04, w
Suppose 0 = -c + 7. Suppose 4 = c*u - 6*u. Suppose -2 = -q - 2*j - 0, 0 = q + u*j. Sort q, -3, 32, 1 in ascending order.
-3, 1, q, 32
Let p be ((-20)/(-40))/((-2)/60*-5). Sort -823, p, -5 in increasing order.
-823, -5, p
Let b(m) = 404*m + 4. Let h be b(0). Sort h, -3, -682 in descending order.
h, -3, -682
Let g(t) = 30*t + 178. Let a be g(-6). Suppose 0 = 2*l - 3*h + 10, 4*h - 6*h + 9 = l. Sort l, 0, -3, a in ascending order.
-3, a, 0, l
Let r be ((-288)/(-252))/(5 + (-33)/7). Put -723, 5, r in increasing order.
-723, r, 5
Let f = -790.8871 + -0.1129. Let z = f - -790.7. Suppose 16 - 5 = -v. Put z, 0, v in descending order.
0, z, v
Suppose -2*x + 23 = -3*m, -4*m + 152 = 124. Put x, -5, -1, -2, 5 in ascending order.
-5, -2, -1, 5, x
Suppose -12425*n + 12458*n = 165. Sort n, 916, 1.
1, n, 916
Let a = -215 - -5377/25. Let u = -718463 - -718472. Put a, u, -2, 2 in increasing order.
-2, a, 2, u
Let q = -414.1 - -411.1. Put q, -4, 0.1, -323 in decreasing order.
0.1, q, -4, -323
Let y(h) = -h**2 - 3*h + 4. Let z be y(-4). Let q = 118.969 - -2.331. Let t = q - 121. Put 0.07, t, z, 4/7 in decreasing order.
4/7, t, 0.07, z
Let a be (-51)/(-12) - 2/8. Let c(t) = 289*t + 287. Let h be c(-1). Let i = 1 - 1. Put h, 2, a, i in increasing order.
h, i, 2, a
Suppose 59 = -7*j + 332. Suppose j = -0*p - 13*p. Sort 6, p, 4, -4 in increasing order.
-4, p, 4, 6
Let i(l) = -22*l - 86. Let d = -140 + 136. Let f be i(d). Put f, -10, 5, 3 in decreasing order.
5, 3, f, -10
Let p(b) = -b**2 - 13*b + 10. Let y be p(-14). Suppose -s = -4*s. Let u = 1061 - 1058. Put u, y, s in increasing order.
y, s, u
Let k be (3360/98)/(-10) - -2. Sort 9, 3, k in descending order.
9, 3, k
Let v be (1/2 - 0)*6 - 1. Let n be 216/22 - v/(-11). Suppose 3*i + 16 - n = 0. Sort 3, -5, i in descending order.
3, i, -5
Let x(g) = -3*g + 24. Let f be x(-13). Let s = -45 + f. Put -5, s, -2, -4 in decreasing order.
s, -2, -4, -5
Let b be (-2)/7 + 99/(-21). Suppose 222*g + 14 = 229*g. Suppose 0 = t, 0*y + g*t = y + 5*t. Sort b, 4, y.
b, y, 4
Let a = -10.853 + 10.653. Sort -1/3, -4, a, -0.16, 0.4 in descending order.
0.4, -0.16, a, -1/3, -4
Suppose 4*b = 8*t + 3*b + 1790, 4*b + 1128 = -5*t. Put 3, t, 5 in ascending order.
t, 3, 5
Let u = 5 - 1. Let b be ((-50)/(-125))/(2*8/(-10)). Put b, u, -0.2 in decreasing order.
u, -0.2, b
Let v(c) = 2*c**3 + 165*c**2 + 80*c - 164. Let t be v(-82). Put t, 6, 4, -2, -3 in descending order.
6, 4, t, -2, -3
Let y(w) = 3*w + 65. Suppose c + 29 = 3*p, 2*p - 102 = 4*c - 3*p. Let j be y(c). Put -0.3, j, 3/5 in increasing order.
j, -0.3, 3/5
Let s = -2.7868 - -2.7868. Sort s, 18, -2.93.
-2.93, s, 18
Let w be (-2)/7 - 468/28. Let d(n) = -17*n + 11*n**3 - 18*n**2 - 2*n**3 + 12 - 10*n**3. Let l be d(w). Sort -1, -3, l in descending order.
l, -1, -3
Let c = 0.19 - 0.09. Let d = -213.9 - -213.9. Put d, c, -2/13 in ascending order.
-2/13, d, c
Suppose 0 = -17*f + 29*f - 22*f. Let u be (8/5)/((-9)/((-180)/8)). Sort -4, f, u, 1 in descending order.
u, 1, f, -4
Let b(r) = -r + 8. Let l be b(4). Let g(h) be the third derivative of -h**5/12 - h**4/6 - h**3/2 - 3*h**2 + 3. Let x be g(-1). Sort x, -3, l.
x, -3, l
Suppose 10*d - 6*d - 76 = 0. Suppose -168 = -2*j - d*j. Sort j, -4, -1, 2 in decreasing order.
j, 2, -1, -4
Let j = -8932 - -8936. Suppose d = -q + 1, -3*d - 10 = -q - 25. Put q, 5, j, -4 in decreasing order.
5, j, q, -4
Let v be (4/20)/(4/(-5)). Let c(j) = -22*j + 266. Let h be c(12). Sort v, h, -5, -15 in ascending order.
-15, -5, v, h
Let j = -15024 + 15067. Put -1, 5, -4, 2, j in descending order.
j, 5, 2, -1, -4
Suppose 0 = -3*k - k. Suppose 5*a + 14*g - 18*g = -242, -5*g = a + 2. Put k, a, 5 in descending order.
5, k, a
Let a be 6/(195/(-10) + 18). Sort 0, 3, a, -45 in decreasing order.
3, 0, a, -45
Suppose 0 = -4*n - 2*q + 30 - 10, 2*n + 5*q - 10 = 0. Let d(a) = a**2 - 5*a - 6. Let p be d(6). Suppose p*b - 4*b = -16. Put n, b, 0, -3 in descending order.
n, b, 0, -3
Let z = 29.698 - 26.698. Let o = -1.3 - -1.6. Put -1, 0.12, o, z in descending order.
z, o, 0.12, -1
Let d = 33.3 - 33. Let z = -0.2319 + -0.0681. Let k = 4 + -13. Sort k, d, z.
k, z, d
Let q = -83838 + 83835. Let p = 56 - 53.1. Put p, q, -4 in descending order.
p, q, -4
Let m = -0.249 + 0.959. Let t = m + -0.81. Let x = -15 + 32. Sort t, 0.3, x in ascending order.
t, 0.3, x
Let c = -7625 + 7622. Suppose 0 = -2*l + 11 - 1. Sort -2, l, c in decreasing order.
l, -2, c
Suppose 3*n + 13*c = 9*c - 22, 2*c + 26 = -4*n. Sort 26, -2, -1, n.
n, -2, -1, 26
Let t = 154.5254 - 0.0254. Let k = t + -154. Put 3, -13, 0.3, k in ascending order.
-13, 0.3, k, 3
Suppose 21 - 52 = -x. Suppose 20*m - 111 = -x. Sort 1.7, -5, m in descending order.
m, 1.7, -5
Let m = -20271 - -20278. Let b be 2/((-2)/5 + 0). Sort 2, b, m, 1 in descending order.
m, 2, 1, b
Suppose 4*r = 4*u + 2*r - 125972, -62970 = -2*u + 5*r. Let i = 6425251/204 - u. Let l = -24/17 + i. Sort l, -3, 3 in ascending order.
-3, l, 3
Let o be (-3 - -3) + 459/(-162)*-24. Sort 9, o, -4, 4, 0 in decreasing order.
o, 9, 4, 0, -4
Let i = 7 - 11. Let k = 3.066 - 3. Let q = k + 0.034. Put i, q, 0 in decreasing order.
q, 0, i
Let m = 166.0657 + -0.0657. Let z = -160 + m. Sort 4, z, 5.
4, 5, z
Suppose 6*s + 474 = 3*s - 3*h, 0 = 4*h + 8. Let k be (-40)/95*3/s. Let d = -982/741 - k. Sort 2, -1/2, d.
d, -1/2, 2
Suppose -3*r - 4*c = -41, 4*r + 0*c - 56 = -5*c. Suppose r - 46 = -9*a. Suppose -a*s - 3*w + 3 = 0, 4*s - 3*s - 5 = 3*w. Put 1, s, 0.2, -3 in ascending order.
-3, 0.2, 1, s
Let l = -0.911 + 1.041. Sort 7/8, 1/3, l in descending order.
7/8, 1/3, l
Let z be (-5 - 22)/81*-1. Let h = -0.3 + 0.4. Put 0, h, z, -0.1 in increasing order.
-0.1, 0, h, z
Let d be ((-66)/55)/(5/25). Let y(x) = 7*x + 192. Let f be y(-28). Sort -22, d, f.
-22, d, f
Let w = 0.13437 + -5.13437. Let d = 1.5 - 7.5. Let u = 4 + d. Put w, -2/17, u in decreasing order.
-2/17, u, w
Let u be -6*((-8 - 0) + 5 + (-8)/(-3)). Put -17, -4, u, 4 in decreasing order.
4, u, -4, -17
Let b be 15*(58/8 + 4). Let n = -168 + b. Sort 2/15, -2, -1, n in ascending order.
-2, -1, 2/15, n
Let v be 30/((-9)/(63/(-14))). Suppose 0 = -6*m - v*m + 15*m. Suppose -2*p + 104 = -3*w, 3*w - 5*p + 42 = -47. Sort w, m, -4 in decreasing order.
m, -4, w
Let m = -1833 - -1802. Put -0.2, m, -16 in ascending order.
m, -16, -0.2
Let l(u) = -u**3 + 6*u**2 - 3*u - 8. Let j be l(5). Suppose 4*t + 2 = -2*i - 2, -i = -4*t + j. Sort t, -1, 1 in ascending order.
-1, t, 1
Let l = -3400 + 3401. Sort l, 0, -0.2, -10 in descending order.
l, 0, -0.2, -10
Suppose 155*j = -2*x + 156*j - 6, 0 = -3*x + 3*j - 9. Sort 2, x, 29, 6 in descending order.
29, 6, 2, x
Let o = -5 + 4.9. Let k(h) = 26*h - 2*h - 12*h - 11*h - 8. Let q be k(3). Sort q, o, 2, 10 in decreasing order.
10, 2, o, q
Suppose 5*i - 36*i - 48 = 76. Put 12, -2, i, 0, -41 in decreasing order.
12, 0, -2, i, -41
Let x be -4 + (-10)/5 + 3. Let t be 0 + 0 + (-1 - x). Suppose 2*f + 0*a = t*a + 16, 16 = 5*f + 3*a. Put f, 0.5, 0 in ascending order.
0, 0.5, f
Let m = -5 + 4.8. Let a = -42.7 - -43. Suppose 4*w + 8 = -8. Put w, m, a in descending order.
a, m, w
Suppose -72 + 318 = 2*x. Suppose 5*h + x + 577 = 0. Let g be (3/12)/((-7)/h). Put g, -1, -0.1, 0.16 in decreasing order.
g, 0.16, -0.1, -1
Let h(i) = i**3 - 2*i**2 + i - 2. Suppose -8*t + 3*t = 220. Let x be (-2)/10 + t/(-20). Let k be h(x). Put 2, -4, k, 5 in descending order.
5, 2, k, -4
Let d = -363.81 + 337.41. Put d, 0, 3/4 in increasing order.
d, 0, 3/4
Let x be (-77)/22 - 217/(-62). Put -29, -4, x in ascending order.
-29, -4, x
Let d = -0.17 + -1.13. Let n = -556445 - -1112889/2. Put -4, d, 1, n in decreasing order.
1, n, d, -4
Suppose m - 3 = 3*h, 0 = -6*m + m - 3*h + 15. 