 + b + 3. Sort 1/4, x, -5, -1 in descending order.
1/4, x, -1, -5
Let h(x) = -387*x - 1153. Let c be h(-3). Sort 181, c, 2 in decreasing order.
181, c, 2
Let a = 0.416 + -292.416. Let l = 291 + a. Sort -1/2, l, 16 in ascending order.
l, -1/2, 16
Let l = -1667 - -1666.1. Sort -1, l, -1/14 in descending order.
-1/14, l, -1
Let c = 80 - 66. Suppose -4 = -5*u - c. Let s be (-3 - u/(4/6))/1. Sort -4, 5, s in decreasing order.
5, s, -4
Suppose 6*j = -6*j + 204. Let w = j + -16. Let n = -5 + 4. Put 6, w, 5, n in ascending order.
n, w, 5, 6
Let w = -0.2 + 0.3. Let i = w - 0.2. Let f be -1*(-66 - -66)*1/(-2). Sort -7, -0.5, i, f in increasing order.
-7, -0.5, i, f
Let r = -518 - -521. Let w be (-5 - (-1 + -3)) + -1. Put 0, w, r, -9 in increasing order.
-9, w, 0, r
Let o(l) = 36*l + 679. Let h be o(-19). Suppose -2*z + z = -7. Sort 5, h, z.
h, 5, z
Suppose c - 182 = x, -4*c - 30 = x + 152. Let a = -187 - x. Sort a, 0, -38 in ascending order.
-38, a, 0
Let m be (-292)/(-6 + (-200)/(-45)). Let f = 188 - m. Put 4, f, -9, -4 in decreasing order.
4, f, -4, -9
Let o = 729/8 - 91. Let p be -2*(3/(9*-2) - 624/(-2016)). Sort o, -24/5, p in ascending order.
-24/5, p, o
Suppose -4*w - 534 = -x, -4*x + x = 6. Let f = -129 - w. Sort 0, f, -7, -5 in increasing order.
-7, -5, 0, f
Let l = 5 + -11. Let x be (10520/(-16))/((-18)/(-63)). Let o = x - -2302. Sort -1, -0.2, o, l in decreasing order.
o, -0.2, -1, l
Let s(r) = -4*r - 8. Let q be s(-3). Suppose -11*f + 217 = -q*f. Let b = f - 154/5. Put b, -1, 3/7, 1/2 in increasing order.
-1, b, 3/7, 1/2
Suppose 162*h = 87*h + 92*h - 51. Sort -6, h, -1, -4.
-6, -4, -1, h
Let f be -12 + 3 - 0 - (-6 + 0). Let g be (10/(-25))/((-3)/(-30)*-1). Sort 6, g, f, 1.
f, 1, g, 6
Suppose -u - 9 = -3*s, -7*u = -3*u + s - 29. Put -2, 17, u, 5, -8 in ascending order.
-8, -2, 5, u, 17
Suppose -2*g = 3*j - 2*j - 13, 0 = 4*g - 16. Suppose 72 = -4*f + 5*x + 232, 0 = -3*f + 5*x + 115. Let p = 45 - f. Sort j, p, -5 in descending order.
j, p, -5
Let j = 8186 - 8182. Put -20, -189, j in decreasing order.
j, -20, -189
Let f = -3539 + 3544. Sort 0.4, -0.55, f, -0.5 in increasing order.
-0.55, -0.5, 0.4, f
Let j be (2/13 - (-833)/(-91)) + (-2226)/(-252). Let v be (6/(-8))/((-2)/(-32)). Sort v, -0.3, j, 5.
v, -0.3, j, 5
Suppose -5*p + 289 - 279 = 3*y, 5*p = 2*y - 15. Put 1/18, -1/4, 2/5, p, -3 in ascending order.
-3, p, -1/4, 1/18, 2/5
Let o = -0.3 - -0.4. Let v = -211 - -259. Let n = v + -48.2. Sort -1/6, o, n in descending order.
o, -1/6, n
Let t be (-10 - (-266)/35)*(60/(-8) - -5). Let h(s) = s - 8. Let q be h(7). Sort 2, t, q in descending order.
t, 2, q
Let w(g) be the first derivative of g**4/4 - 20*g**3/3 + 9*g**2 + 19*g - 69. Let v be w(19). Sort 0.2, v, 1/6 in decreasing order.
0.2, 1/6, v
Let z = 1 - 6. Let a = -146.9 - -147. Let x = 1.69 - -0.31. Put 2/3, a, z, x in decreasing order.
x, 2/3, a, z
Suppose 85 = 5*g + 16*u - 11*u, -72 = -3*g + 4*u. Let v be -2 + 2*(-4)/(-8)*0. Put v, 3, -4, g in decreasing order.
g, 3, v, -4
Let g = -4 - -8. Suppose 3*d + 16 + 38 = 0. Sort g, 0, d, 5 in ascending order.
d, 0, g, 5
Suppose -2*h = -7*h. Suppose h = 17*z - 21*z - 8. Put 6, z, 3, 2 in ascending order.
z, 2, 3, 6
Let h(f) = f + 1. Let j be h(-3). Suppose 4*n - 5*a = 6 + 10, 0 = -4*n + 4*a + 12. Let l = -3468 - -3463. Sort n, 1, j, l.
l, j, n, 1
Suppose 2320*a + 840 = 2285*a. Sort a, -13, -2.
a, -13, -2
Let c(o) = 2*o**2 + 13*o + 33. Let h be c(-3). Suppose -10*l - 2 = -h*l. Put l, 2, -2, -1 in ascending order.
-2, -1, l, 2
Let z be 0/((-16)/5*(-1635)/436). Suppose -4*m + 12 = 0, -3*v - 4*m + 67 = 2*v. Put 2, z, v in descending order.
v, 2, z
Let h be (-476)/204 - (-6)/(-9). Sort -7, -5, 1, 7, h in decreasing order.
7, 1, h, -5, -7
Let m(x) = x**3 + 11*x**2 + 9*x - 4. Let t be m(-10). Suppose t*z = 3*z - 15. Let v be z/(-12) + 4/(-6). Sort 0.3, v, -4 in increasing order.
-4, v, 0.3
Let o = 109 - 80. Let j = o - 33. Suppose -2*u - 1 = -c - 15, 2*c = 5*u - 33. Sort u, 0.33, j in ascending order.
j, 0.33, u
Let g = 164 - 136. Let q = 186 + -1491/8. Let o = -0.13 + -0.07. Sort o, q, g.
q, o, g
Let c(x) = 3*x**2 + 144*x + 759. Let j be c(-42). Let q = 0.2 + 0. Sort 0.32, j, q, -0.1.
-0.1, q, 0.32, j
Suppose 0 = -n + s - 36, -7*n + 2*n = -2*s + 180. Let j be (-45 - 3) + (-8)/n. Let m = 48 + j. Sort 5, -0.2, m in decreasing order.
5, m, -0.2
Let w be (-21 - 2912/(-140))/(2/(-40)). Sort w, -767, 0.
-767, 0, w
Let v = -14.03 - -14. Let x = 1953 - 1949.8. Sort 0, x, v.
v, 0, x
Suppose 3 = c, -2*a + 3*c = -a + 5. Let f(v) = -v + 2. Let l(q) = -3*q - 6. Let h be l(-3). Let z be f(h). Sort 2, a, z, 11 in descending order.
11, a, 2, z
Suppose -2*k - 4*y - 14 = 0, -k + 2*y + 7 - 2 = 0. Let u = -1184 - -1187. Put k, u, 2, -3 in decreasing order.
u, 2, k, -3
Let c = -213.1787 + 0.1787. Put c, 1/2, 5 in increasing order.
c, 1/2, 5
Let h be (28/7)/(2/(-4)). Let x be (1 + 0)/(h/12). Suppose -3*g = b + 12, 12*b - 17*b + 30 = -3*g. Sort x, -4/3, 1, g in descending order.
1, -4/3, x, g
Let v be (630/(-75))/((-4)/(-10)). Put v, 4, -2 in increasing order.
v, -2, 4
Suppose 5*g + 4*m - 728 + 319 = 0, -319 = -4*g + 5*m. Sort 0.3, g, -3 in decreasing order.
g, 0.3, -3
Let j = 1101/1939 + 1/277. Suppose 0 = -2*m + d + 23, -3*d = -2*m - d + 24. Suppose -30*f + m*f = -57. Sort j, f, 34 in descending order.
34, f, j
Let z = -333.98 + 337. Let i = z - 3.09. Let x be 12/(-18) + (-2)/(-3). Sort i, -3, x in increasing order.
-3, i, x
Suppose 4*t + 4 = -4. Let f be (0 + 1/t)*-4. Suppose -24 = 38*q + 14 - 0. Sort 2/17, f, q in ascending order.
q, 2/17, f
Suppose -2*g - 3*g = 5, -5*u - 9 = -g. Suppose -4*q + 21 + 5 = -2*i, -32 = 4*i - 4*q. Sort 3, i, u, 0 in decreasing order.
3, 0, u, i
Suppose 3*u + 1 = -3*n + 16, -23*u = -24*u + 9. Let s be (-23)/4*(-3 - 1). Put 2, s, n in descending order.
s, 2, n
Let r be 12/((-7)/(7/(-2))). Let d(o) = o**2 - 96*o + 1771. Let u be d(25). Put r, u, 8 in descending order.
8, r, u
Let p = -19420 - -19419.7. Suppose 4*n = 6*n + 54. Sort -2, 0, p, n in decreasing order.
0, p, -2, n
Let k = 14902 + -14897. Sort k, 6, -6/5, 0.114 in ascending order.
-6/5, 0.114, k, 6
Let k = 1943/80 - 395/16. Suppose -7*o = -2*o. Let n be (6/20)/(3/2). Sort n, o, k in descending order.
n, o, k
Let m(s) = -s - 9. Let f(q) = 5*q + 31. Let i(w) = f(w) + 6*m(w). Let v be i(-4). Sort v, 5, -1 in decreasing order.
5, -1, v
Let y = 1.348 - 6.348. Sort y, 4, -6, -0.01 in decreasing order.
4, -0.01, y, -6
Let b be (3/(-12))/(2/(-40)). Let w be 24/(744/(-155)) - (1 + -3). Sort 0, b, 10, w.
w, 0, b, 10
Let r(a) = a**3 + 20*a**2 + 71*a - 20. Let h be r(-5). Put h, -982, -4, -5 in descending order.
h, -4, -5, -982
Suppose 2*b + 1 = w + 12, -4*w = 12. Let y = 27 - 26. Suppose 3*k + 16 + y = -4*i, -4*k - 6 = -3*i. Sort b, 1, i in decreasing order.
b, 1, i
Suppose 36 = 6*a - 54. Let y(z) = -2*z**2 + 28*z + 27. Let l be y(a). Sort 1, -1, l, -4 in descending order.
1, -1, l, -4
Let v = 32114 + -32114. Sort 0.2, -1/4, -2, v.
-2, -1/4, v, 0.2
Let h = 439.3 - 434.241. Let g = 5 - h. Let k = 0.159 + g. Sort -0.5, k, -1 in decreasing order.
k, -0.5, -1
Let f = 148257 + -148253. Suppose 3*i = -0*i + 3. Sort i, 2, -1, f in decreasing order.
f, 2, i, -1
Let r = 230 - 230. Let i(g) = 2*g - 3. Let v be i(-1). Sort r, 3, 16, v in ascending order.
v, r, 3, 16
Let p be (-88)/(-14) + 2/(-7). Let j be 130/169*5/25. Sort p, j, -0.1, 1 in decreasing order.
p, 1, j, -0.1
Suppose -10*c + 73*c = 189. Let h be (-15)/15 - c/12*-2. Suppose -z = 2 + 1. Sort h, 1, -5, z in increasing order.
-5, z, h, 1
Suppose -12 = -4*b + b. Let p = -4739 + 4741. Sort -2, 3, b, p in descending order.
b, 3, p, -2
Let y(s) = 66*s**2 - 1. Let n be y(-1). Let g be 3/15 + 117/n. Sort g, 3, 5 in descending order.
5, 3, g
Suppose 824 = -3*i + 818. Suppose 13 + 58 = -71*s. Sort s, -3, i in decreasing order.
s, i, -3
Let k = -2.83 - 0.17. Let h = 0.12 - -3.08. Let l = h + k. Put l, -3, -0.3 in descending order.
l, -0.3, -3
Let m = 16741 - 16734. Put m, 3, 274 in increasing order.
3, m, 274
Suppose -4*u = -2*u + 188. Suppose -3*n + 4 = -a, -388*n - 5*a = -387*n - 12. Put u, 1, n in decreasing order.
n, 1, u
Suppose -38*z + 181*z = -143. Sort 5, 0, z in increasing order.
z, 0, 5
Let j = 225.58 + -229. Let c = 5.58 - j. Put c, 0.1, 4 in incr