+ 10687. Put 10, 0, b, 1 in descending order.
10, b, 1, 0
Suppose n = -2*s - 30, -3*n + 25*s = 23*s + 34. Sort 1, n, 0 in decreasing order.
1, 0, n
Let a(d) = 24*d + 6. Let x be a(2). Suppose -6*f - x = -24*f. Suppose 0*l - 4 = -l. Put -4, f, l in increasing order.
-4, f, l
Let u = 89492654/357 + -250680. Let c = -4/357 - u. Sort 5, 7, -0.5, c.
-0.5, c, 5, 7
Let f(z) = 128*z + 1154. Let i be f(-9). Sort i, 14, -3, -20.
-20, -3, i, 14
Let b = -13667.5 - -13668. Put 122, -2/21, b, -2 in descending order.
122, b, -2/21, -2
Let y = -15174.4 + 15174. Sort y, 0.044, 4, 0.05 in ascending order.
y, 0.044, 0.05, 4
Let q = 0.9 + -0.518. Let z = 0.118 + q. Let u be ((-16)/36*12)/(-6 + 0). Sort 3, z, u in decreasing order.
3, u, z
Let n = 12.1 + -19.3. Let p = n + 7. Let v = 4526/13 + -348. Sort p, 1, v in descending order.
1, v, p
Let t = -2639/5 + 533. Sort t, -5, -1 in descending order.
t, -1, -5
Let t(q) = -q**2 + 4*q - 5. Let h be t(3). Let r be (-2)/(-6) + 253/33. Let u = -8 + r. Put -7, h, u in ascending order.
-7, h, u
Let w be (-14)/(-2) + (11 - (-36)/(-2)). Put -4, -20, -3, -1, w in descending order.
w, -1, -3, -4, -20
Let c = -102 + 107. Suppose -2*z + 6*k = k - 26, -5*z - 5*k = c. Put -4, 40, z in increasing order.
-4, z, 40
Let c(g) = 4*g**3 - 5*g - 5. Let r be c(-3). Sort r, -6, 3.
r, -6, 3
Let r(s) = 8*s**2 + 141*s + 88. Let g be r(-17). Suppose 4 = 4*z + 3*q, 18*q - 3 = -g*z + 21*q. Let t = 1 + -2. Put t, -3, z, -2 in ascending order.
-3, -2, t, z
Let v be (1*-3)/(((-7)/(448/(-36)))/((-471)/(-1256))). Let p be ((-5)/(-3))/((-2)/(-6)). Sort -5, v, 11, p in increasing order.
-5, v, p, 11
Let w be 5/(-3)*42/10. Put -4, 53, 2, w in descending order.
53, 2, -4, w
Let x(w) = -w**3 + 33*w**2 + 429*w - 7. Let u be x(-10). Sort 2, -266, u, -2 in decreasing order.
u, 2, -2, -266
Suppose -u + 11 = n, 2*n + 126*u + 20 = 130*u. Sort 2, 41, n in ascending order.
2, n, 41
Let x be ((-14)/63)/((-700)/(-90) + -9). Sort x, 4, -10, -0.2, -8.9 in increasing order.
-10, -8.9, -0.2, x, 4
Let a = -5051 + 5049. Put -3, 287, a, 1 in ascending order.
-3, a, 1, 287
Let z be (-3)/(-6 - 9/(-2)). Suppose -5*r = -z*r - 4*h + 15, 5*r + 3*h = 4. Let o(p) = -5*p. Let w be o(-1). Sort -10, w, r in decreasing order.
w, r, -10
Suppose 2*a = -a. Let k be 35/(5 - 0) - 3. Let s be (((-5)/(-30) - k) + 3)*-6. Sort -10, s, a in descending order.
s, a, -10
Let t = -0.0159 + 0.1159. Sort 1/14, t, 0 in descending order.
t, 1/14, 0
Suppose 73*u - 78*u - 5 = 0. Sort -6, u, -8.
-8, -6, u
Let c(w) = 11*w**3 + 7*w**2 + 103*w - 109. Let m be c(1). Put 2, m, 6, 4, 0 in descending order.
m, 6, 4, 2, 0
Suppose 36*f = 11*f + 875. Suppose -12*y + f = -5*y. Sort y, -60, -5 in decreasing order.
y, -5, -60
Let n = -6262 + 6265. Suppose -2*m = -4*m. Suppose m*s - 8 = 2*s. Sort n, -3, s, 7.
s, -3, n, 7
Let a = -0.33867 + 0.03867. Sort -0.4, a, -0.5, 38, 0.2 in increasing order.
-0.5, -0.4, a, 0.2, 38
Suppose -2*t + 42 = -z, 21 = -1002*t + 1003*t + z. Suppose 0*m = 5*m + 3*w + 27, -3*w - 12 = 0. Put 0, t, m, 5 in descending order.
t, 5, 0, m
Let h be ((-5)/(-3))/(-1*145/87). Sort h, -2070, -3 in ascending order.
-2070, -3, h
Let a = -0.0155 - -0.9155. Sort -0.1, a, 0.5, -1/3 in descending order.
a, 0.5, -0.1, -1/3
Suppose 3*g = 2*w + 2329, 3907 = 6*g - g + 3*w. Sort 5, 4, 0, g.
0, 4, 5, g
Let f = -1 - -1.2. Let j be 6 + (-120)/18 + (-4 - (-33)/11). Sort j, -6, f, -1 in decreasing order.
f, -1, j, -6
Let g = 7449 - 7488. Put 37, -3, g in ascending order.
g, -3, 37
Let a = -5.1 - -9.9. Let i be 1*-6*11/(-165)*(-5)/(-5). Let j(r) = r + 1. Let w be j(-1). Put a, i, w in descending order.
a, i, w
Suppose 41*h + 42 = 20*h. Let m(k) = 4*k**2 - k - 1. Let w be m(-1). Sort 5, w, h, 13 in descending order.
13, 5, w, h
Suppose 0 = 102*h - 81*h - 54 + 12. Suppose 4*i + 5*a - 19 = 3*i, -4*i - 4*a + 12 = 0. Put h, 15, i, -4 in ascending order.
-4, i, h, 15
Let h = -49851 - -49847. Let q = 1109603/9 + -123473. Let g = q - -184. Sort 1/10, g, h, -0.3 in increasing order.
h, -0.3, 1/10, g
Suppose 5*i + 201 = 236. Suppose i*a + 109 = 137. Put a, 17, -4 in increasing order.
-4, a, 17
Let i(r) = 1302*r - 6506. Let m be i(5). Put m, -524, -2, -5 in decreasing order.
m, -2, -5, -524
Let l = -13 - -18. Let n = 24 - 26. Let z be (n*(-3)/(-3))/(-12)*2. Put 2/79, l, z in ascending order.
2/79, z, l
Suppose -4106*y + 4193*y = -5742. Sort 2, 1, -2, y.
y, -2, 1, 2
Let a = 12536 - 12549. Put 26, 3, a, -3 in descending order.
26, 3, -3, a
Let c = -423.96 - -431. Let f = -6.5 + c. Let q = f - 3.54. Sort -4, 1, q in decreasing order.
1, q, -4
Suppose 0 = 4*b - 26 + 42. Suppose 32 = 5*i + 7. Suppose -i*y + 15 = 0, -3*n - 10 = 5*y - 37. Sort 3, b, 2, n in ascending order.
b, 2, 3, n
Let a be (-636)/(-38) + (-4975)/(-18905). Let j(z) = 1 + 2*z + 1 + 0. Let v be j(-3). Sort -0.5, v, a in ascending order.
v, -0.5, a
Let y be (-30)/15*15/(-6). Suppose 2*b + 0 = -y*s + 4, 5*b = -s + 10. Suppose 0 = 3*g - 5*z + 9, -2*g - 5*z = 3*g + 15. Put -0.1, 3, g, b in descending order.
3, b, -0.1, g
Let n = -13 + 35. Let r(s) = -n*s + 2*s**2 - 4*s**2 - 1 + 6. Let y be r(-11). Sort y, 1, -5, 2 in descending order.
y, 2, 1, -5
Let k = 46558 - 46563. Let j = 0.05 + 3.95. Put 2, k, j in increasing order.
k, 2, j
Let n = 30659 - 30660. Let d = -0.5 - -1. Put d, 0.2, -0.6, n in decreasing order.
d, 0.2, -0.6, n
Let l = -811 - -1215. Let t = l - 406. Put -4, 5, t in descending order.
5, t, -4
Let a = -0.6 - -5.6. Let f = -6 - -5.7. Let x = -1591 + 1588. Put -2/5, f, x, a in descending order.
a, f, -2/5, x
Suppose 0 = 5*q - 3*m - 14, -2*q = 2*q - 5*m + 7. Let g(i) = -i - 4. Let l be g(-3). Sort q, -2, l, 2.
-2, l, 2, q
Let k be (18 + 4)/(7/((-7)/(-4))). Let m = -35/6 + k. Sort 2/5, m, -1/6, 1/6.
m, -1/6, 1/6, 2/5
Let b = -62 + -38. Let t = b + 161. Let c = t - 56. Sort -4, c, 2 in decreasing order.
c, 2, -4
Let b = -13.8757 - 0.1243. Put -0.003, 5, b in increasing order.
b, -0.003, 5
Let n(w) = 2*w - 188. Let s be n(95). Sort 3, 309, s.
s, 3, 309
Let o = 0.1518 + -23.6518. Put -0.1, -4/7, o in ascending order.
o, -4/7, -0.1
Let u(y) = -y**3 - 6*y**2 + y + 26. Suppose 16 = 6*f - 10*f, 4*i - f + 16 = 0. Let g be u(i). Sort -1, 14, 1, g in decreasing order.
14, 1, -1, g
Let t = -1.02 - -5.12. Let l = -5.1 + t. Let v = 15.93 + -16. Sort l, v, 0.5 in decreasing order.
0.5, v, l
Let x = 0.3 - -2.7. Let i be (-16)/40 - (3 - (-224)/(-60)). Sort -2/13, i, x, -0.1.
-2/13, -0.1, i, x
Suppose 659 + 461 = -5*n. Let s be 260/n + (-4)/32. Let p = -0.537 - -0.637. Sort p, s, 4 in descending order.
4, p, s
Let z be ((-2)/(-2))/(52/(-8)). Let y = 850.78 - 842. Let u = 0.22 + y. Put u, z, 4 in ascending order.
z, 4, u
Let z(u) = -u**3 + 5*u**2 + 4*u - 3. Let h be z(6). Let b be (-741)/h - (-1)/((-10)/4). Sort 3, b, 5.
3, 5, b
Suppose -2*l - n - 8 = 0, 3*n = 2*l + 102 - 94. Let m be l/14 - (4 + 282/(-56)). Let i be (-3)/4*(-4)/(-18). Put m, -1/7, 2/5, i in decreasing order.
m, 2/5, -1/7, i
Suppose 0 = y, -u + 5*y = -2 - 3. Let n be (u/10)/((-10)/(-4)). Let g = 278 + -273. Put -3, n, -0.5, g in ascending order.
-3, -0.5, n, g
Let o = 3448 + -3452. Sort o, -6, 0 in decreasing order.
0, o, -6
Let j = -6322 - -5948.3. Let q = j + 374. Put 0.13, q, 2 in decreasing order.
2, q, 0.13
Suppose 2 = -3*m - 2*t, -2*m + 3*t = 435 - 425. Put 5, m, -4, 7, -27 in descending order.
7, 5, m, -4, -27
Let q(y) = -72*y + 1299. Let a be q(18). Suppose 0 = 4*d - 11 - 21. Let i = 12 - d. Put a, i, 2, -4 in descending order.
i, a, 2, -4
Let p = 1.613 - 2.113. Sort -6, -2, p in increasing order.
-6, -2, p
Let a = -36927 + 36924. Put -131.3, a, -2/5 in decreasing order.
-2/5, a, -131.3
Suppose -3*u + 0*u + 27 = 0. Let h = 0.0327 - -299.9673. Let f = h - 299. Sort f, 5, u in decreasing order.
u, 5, f
Let p = -332.5 + 332.6. Put p, -15, 1 in descending order.
1, p, -15
Suppose -5*w = 3*q + 45, 2*q - 5*w + 9 = -6*w. Suppose 0*b = -4*b - 4. Put q, -4, -6, b in ascending order.
-6, -4, b, q
Let t(a) = a**3 + 2*a**2 + 1. Let o be t(-2). Let c be (-4)/11 + (-567)/891. Sort o, c, -2, -3.
-3, -2, c, o
Suppose -29*y = -30*y - 5*g + 67, 0 = 2*y + 5*g - 109. Suppose 9*a = -5*a + y. Sort -0.315, 2, a in descending order.
a, 2, -0.315
Let y = 4 + -15. Let r(k) = k**2 + 11*k. Let i be r(y). Let l(b) = b**2 + 92*b - 