12010/7. Let a = l - 347/63. Put a, 1, 5, 1/2 in ascending order.
a, 1/2, 1, 5
Let k be (8/12)/(110/(-15)). Put k, -2/19, -5 in ascending order.
-5, -2/19, k
Suppose -5 = 5*v - v - 3*r, 0 = 5*v - r + 9. Let q be (4 + 1)*((-156)/(-20) - 5). Sort -3, v, q, 4.
-3, v, 4, q
Suppose 0 = 3*s, -t - 3*s + 6*s = -5. Suppose k = -2*p - 30, -2*p = -0*k - k + 26. Let r be t - 3 - p/(-10). Sort -4, r, 2/3.
-4, r, 2/3
Suppose 5*o = 5*t - 0*o, -5*o = -2*t - 9. Sort t, -5, -51, -2 in ascending order.
-51, -5, -2, t
Let a be 4/3 + (2/3)/(-2). Let r be 1 - 7/(7/(-2)). Suppose r*l - 9 = 3. Put l, a, 2 in decreasing order.
l, 2, a
Let n be (5 - 3 - 2)/7. Let t(d) = d**2 - 3*d - 6. Let r(i) = -i - 3. Let k be r(-8). Let s be t(k). Sort s, n, 1 in ascending order.
n, 1, s
Suppose 0 = 3*f - 4*f - 0*f. Let t be 3 - 7 - (f + -1). Suppose 4*a - 3*p - 23 = -0*p, -4*p = a + 18. Put a, t, -2/11 in ascending order.
t, -2/11, a
Let n = -217 - -218. Let q(g) = 2*g - 4. Let a be q(2). Put 3, a, n, 14 in decreasing order.
14, 3, n, a
Suppose 96 = 7*s - 93. Let g be (2/(-3))/(30/s). Put g, 0.2, 0.4, 3/7 in increasing order.
g, 0.2, 0.4, 3/7
Let k(o) = o**2 - 6*o - 2. Let i be k(6). Let z(x) = x**3 + 26. Let v be z(0). Suppose 0 = 31*c - v*c + 5. Put i, c, 3 in descending order.
3, c, i
Let n(k) = 4*k**2 + 14*k - 9. Let a be n(-4). Let v = 3 - 2. Let q be 6 + (-6)/(v + 2). Sort a, q, 0.
a, 0, q
Suppose 78 = 5*i + 3*p, i + 3*p - 48 = -2*i. Suppose 0 = -3*w + i, 3 = c + w + 1. Let u be 6/5*5/2. Sort -2, u, c.
c, -2, u
Suppose 2*o + 40 = 6*o. Suppose -5*z = -d - 10, -d = -3*z + 2*d + 18. Let m be (-2)/(z*-2)*(13 - 12). Sort o, m, 0 in descending order.
o, m, 0
Let t = 1128 + -1145. Put -1, 2, t in decreasing order.
2, -1, t
Let b = -1.1266 - -1.6266. Let k = -3 - -4. Let x = k + 4. Put -3, x, b in decreasing order.
x, b, -3
Suppose 12 = 3*r - 4*v, 2*v + 6 = -85*r + 84*r. Let w(m) = -m. Let q be w(-5). Sort r, q, 20 in descending order.
20, q, r
Suppose -2*k + 6*k = -3*z + 2, 4*k + 5*z - 6 = 0. Put -5, 8, k in descending order.
8, k, -5
Let y = -0.13 + -4.87. Let c = 1154 - 8076/7. Sort -0.3, c, y in decreasing order.
c, -0.3, y
Let b(s) = 3*s - 70. Let l be b(25). Let i be 4/(-4)*(-5)/l. Put i, 2, 4 in increasing order.
i, 2, 4
Let a = -585 - -581. Sort 2, -3, a in decreasing order.
2, -3, a
Let x = -165 - -172. Sort x, 2, -1, 1 in decreasing order.
x, 2, 1, -1
Let i = 54.52 + -55. Let b = i + -0.52. Put b, -4, 1.6, 0.2 in descending order.
1.6, 0.2, b, -4
Suppose -6*w + 3*w = 24. Let f(z) = z + 10. Let j be f(w). Sort j, 1, -3 in descending order.
j, 1, -3
Suppose 0 = 3*t - 5*t. Suppose t*z - 1 = -z. Let q(o) = -3*o**3 - o**2 + 2*o - 1. Let r be q(z). Sort -4, 0, r in descending order.
0, r, -4
Let x = 491.6 + -492. Let m = 7 - 5. Let f = m - 1. Put x, -1, f in descending order.
f, x, -1
Let t be (-2)/(-11) + (-48)/22. Let g be (t - (-26)/12)*-4. Let a = -65 + 323/5. Sort 4, g, a in decreasing order.
4, a, g
Suppose -5*i - 106 = -k, -109 = 5*i + 3*k - 7*k. Let x = -18 - i. Put 6, 2, x in decreasing order.
6, x, 2
Suppose 4*w + 0 = 4, -w = -5*k + 24. Let m be -2 - (1 - -2 - 0). Put m, k, 3 in descending order.
k, 3, m
Let m = -0.235 - -5.235. Let x = 6 + -9. Sort 4, m, x in decreasing order.
m, 4, x
Let c = -150 - -147.92. Let t = c - -1.08. Sort t, 25, 4 in descending order.
25, 4, t
Suppose 0 = 11*o - 22*o + 2376. Let r be o/(-60) + (-4)/10. Sort 4, -8, r in ascending order.
-8, r, 4
Let t(m) = m**3 - 2*m**2 - 2*m + 2. Let d be t(3). Suppose -d*f = f. Suppose -5*z - y - 20 = -z, f = -5*z - 2*y - 25. Sort z, -1/9, -2/5 in descending order.
-1/9, -2/5, z
Let i be 14/(84/45) - 9. Let r = -19/6 + 7/2. Put r, i, -2 in descending order.
r, i, -2
Let h be (-8)/28 + 88/14. Let d(w) = -w**2 + 6*w - 4. Let f be d(h). Let p = 0 - f. Put p, 5, 0 in ascending order.
0, p, 5
Let z = -0.35 + 1.55. Let b = -4.2 + z. Put -1/2, -2/7, -5, b in ascending order.
-5, b, -1/2, -2/7
Let m = -46 + 50. Let n(f) be the first derivative of -f**4/4 + 5*f**3/3 - 2*f**2 - 4*f - 5. Let w be n(m). Sort w, -10, 0.5.
-10, w, 0.5
Let p be (-1)/(-2)*(-3 - -11 - -4). Let o be -2*(p/4 + -5). Sort o, -5, 1 in increasing order.
-5, 1, o
Let c = 0.171 + -0.231. Put c, -1/4, 0.2 in ascending order.
-1/4, c, 0.2
Let o = 494 - 493. Put o, 5, -2/25 in descending order.
5, o, -2/25
Suppose 0*y = 2*y - 4, 0 = -5*j + 2*y + 16. Suppose -4 = j*p - 20. Sort p, -3, -5 in descending order.
p, -3, -5
Let r = 6 - 13. Let u = -48 + 28. Let y be (-4)/(-6) + u/12. Put r, 2, y in decreasing order.
2, y, r
Let x = -1284 + 1345. Sort 4, x, -2, -1 in descending order.
x, 4, -1, -2
Let o = -247 - -240. Put 3, -3, -5, o in ascending order.
o, -5, -3, 3
Let k = 3 + -3. Suppose 10*z + 0*z - 20 = 0. Let d be z/9 - 1/(63/203). Sort -7, k, d.
-7, d, k
Suppose 2*l = 4*j - 22, -7*l - 12 = -2*j - 5*l. Sort j, 1/4, 6 in ascending order.
1/4, j, 6
Let c = 236 - 224. Sort -2, c, 2/3 in decreasing order.
c, 2/3, -2
Let p = -8 + 5. Suppose -4*n + 10 = 3*m - m, 3*m - 9 = -4*n. Sort n, 0, p in ascending order.
p, 0, n
Let n(q) be the second derivative of -q**5/20 - q**4/6 - q**3/3 + q**2/2 - 16*q. Let s be n(-2). Sort -1, s, 1, 0.
-1, 0, 1, s
Let a = -0.063 + 2.163. Put -3, 2/7, a, 0.5 in descending order.
a, 0.5, 2/7, -3
Let u(v) = v**2 - 22*v + 107. Let b be u(15). Put 0.4, -5, b, -0.1 in descending order.
b, 0.4, -0.1, -5
Let q = -65 - -101. Let o be ((-18)/q)/((-13)/(-4)). Let s = 0.3 + 0.2. Sort s, o, 2/23.
o, 2/23, s
Let a = -729/4 - -182. Let f be 2/(-9) + 19/45. Put f, -2/5, a in decreasing order.
f, a, -2/5
Let t = -4 + 6. Suppose -90 = 38*v - 52. Put v, t, 0.5, 12 in decreasing order.
12, t, 0.5, v
Suppose x = 8*x - 14. Suppose -35 = -x*s - 5*s. Put -5, 9, s in decreasing order.
9, s, -5
Let y(p) = p - 6. Let c be y(-12). Sort 2, 9, c.
c, 2, 9
Let r = -33.5 + 37. Let x = r + -1.5. Let y = 7 + -11. Sort y, x, -0.4 in decreasing order.
x, -0.4, y
Suppose -5 = -3*l - 2*j, 0 = -5*j + 2*j + 12. Sort 3, l, -8 in increasing order.
-8, l, 3
Let j(u) = 2*u - 3. Let k be j(3). Suppose -k*g = -g + 8. Let b = -1980 - -1978. Put 0, g, b in decreasing order.
0, b, g
Let v(u) = 4*u**3 + 59*u**2 - 14*u + 19. Let s be v(-15). Sort 0, s, 162 in decreasing order.
162, s, 0
Let k(w) = -22*w + 137. Let g be k(6). Suppose 5*x = 3*x. Put x, g, 3 in decreasing order.
g, 3, x
Let g = -73/35 + 16/7. Put g, 0.1, -2 in increasing order.
-2, 0.1, g
Suppose 0 = s + 15 - 6. Suppose -22 + 42 = -4*x. Suppose 2*p = 3*p. Sort p, s, x in ascending order.
s, x, p
Let i be -2 + (-239)/6 + 8/(-48). Let b be 28/i - 2/6. Let w = -4 - -4.1. Sort b, 3/8, w in increasing order.
b, w, 3/8
Suppose -g - 9*c + 10 = -12*c, 4*c = -2*g. Sort g, 83, 0 in descending order.
83, g, 0
Let i = -152 - -140. Put i, -3, -4, -1 in decreasing order.
-1, -3, -4, i
Suppose 27*r = 32*r - 25. Sort r, -1, 3, -4 in ascending order.
-4, -1, 3, r
Suppose d = -5*p - 2, -p = p - 4*d + 14. Let q = -0.06 + 0.09. Put q, p, -0.4 in increasing order.
p, -0.4, q
Suppose 5*s + 10 = 3*s. Sort -2, 3, s, 5 in decreasing order.
5, 3, -2, s
Let o = 29/99 + -2/11. Let i be 2/(-20)*(2 - -4). Sort o, i, -5 in ascending order.
-5, i, o
Suppose 5*f + 2*b = -3, 3*f - 4*b = 18 + 1. Suppose 2*h - 3*d = -d + 14, 4*h + 5*d - 46 = 0. Suppose -10*v + h = -7*v. Put 2, f, v in descending order.
v, 2, f
Let l = -515.8 - -516. Let h be 10 + -3 + (2 - -4). Sort h, l, 2 in descending order.
h, 2, l
Let m be (-5 - 65/(-15))/(-2). Sort 0.7, m, 1/12, 5.
1/12, m, 0.7, 5
Let c(v) = -v**2 + 9*v - 2. Let n be c(0). Let t(z) = -z**2 + 4*z. Let s be t(3). Sort n, -4, 5, s in increasing order.
-4, n, s, 5
Let k = 2148 + -2153. Suppose -3*n = -4*n. Put n, 4, -2, k in decreasing order.
4, n, -2, k
Let x = 214 + -409. Let z be (-3 - 0)/(x/10). Suppose m + 3*i + 6 + 2 = 0, -i - 26 = 5*m. Put -0.5, z, m in increasing order.
m, -0.5, z
Let b = 2.58 - 2.88. Let u be (-3 + 1)*(-3 + 0). Suppose t - 4*k = u, 4*t = -k - 9 - 1. Sort t, -10, b in ascending order.
-10, t, b
Let d = -25.2 + 24.2. Put -5, d, -1.3, 0 in descending order.
0, d, -1.3, -5
Let p = -1 - -1. Let y be (-1)/((1/4)/(6/(-12))). Suppose -3*h + 4 = 3*x - 2, x - 8 = y*h. Sort -5, x, p in decreasing order.
x, p, -5
Let m = -30 + 25. Let g(y) = -y**3 + 6*y**2 - y + 1. Let j be g(6). Let u = j - -5. Sor