-12 + 20. Let p be (0 - -2) + 8/j. Put 2/15, -0.4, p in descending order.
p, 2/15, -0.4
Let r be (-1)/10 + (-4)/10. Sort 2, r, -0.4 in decreasing order.
2, -0.4, r
Let i(q) = 2*q**3 - q. Let x(b) = b**3 - 7*b**2 + 5*b + 7. Let z be x(6). Let s be i(z). Sort s, -5, 4 in descending order.
4, s, -5
Let o be 6/18 - (-1)/(-3). Suppose -2*s + 5*s = o. Put 3, 2, s in decreasing order.
3, 2, s
Let m be (2/5)/(5/25). Let v = 5 - 5. Put 3, m, v in increasing order.
v, m, 3
Suppose 3*p - m + 14 = 3*m, 4*p + m + 6 = 0. Let l be (-2)/4 - 63/(-18). Suppose r + 2 + 1 = 0. Sort r, p, l in decreasing order.
l, p, r
Let p be 2/(-4)*(-7 + 1). Suppose 4*j - 1 = 3*y - 9, 11 = p*y - j. Let m be (y/6)/((-5)/6). Sort 0.4, m, 0.
m, 0, 0.4
Suppose -2*i + 5*v - 11 = 0, v = i - 0*v + 7. Let a = -6 + 18. Let x be (8/6)/(i/a). Put x, 1, 0 in decreasing order.
1, 0, x
Let a = 27 + -27. Put a, -3, 3 in ascending order.
-3, a, 3
Let f be 1 + 4/(-8) + -2. Let u = 8 + -5. Let r = u + -6. Sort r, f, -1 in increasing order.
r, f, -1
Let g be 138/33 - 4/22. Put g, 3, -4 in decreasing order.
g, 3, -4
Let z be 2 + 2126/(-9) + -4. Let l = z - -238. Put l, -2, 3/7 in increasing order.
-2, l, 3/7
Let n = -16 + 2. Let z be ((-2)/(-15))/(n/10). Put 0.5, 0.2, z in decreasing order.
0.5, 0.2, z
Let b = -122 + 122.07. Sort -1, -5/2, b, 3.
-5/2, -1, b, 3
Let r(d) = -d - 17. Let g be r(-12). Suppose -2*l + 11 = -i, 2*i - i - 4*l + 19 = 0. Sort g, i, 0 in decreasing order.
0, i, g
Let o = -6.1 + 6.4. Put -2/9, -6, o, -1 in increasing order.
-6, -1, -2/9, o
Let s = 235 + -235.97. Let k = s + -0.03. Sort -0.2, 3/5, k in increasing order.
k, -0.2, 3/5
Let x(r) = 4*r**3 - 2*r**2 - r. Let m(u) = 3*u**3 - 2*u**2 - u. Let o(a) = 6*m(a) - 5*x(a). Let i be o(-1). Let d be 2*(2 - (2 - 1)). Sort i, d, 5.
i, d, 5
Suppose -6 = -k - 4*m + 8, -2*k + 2*m + 8 = 0. Let j be k/(-15) + 22/(-20). Let y be 6/(-12) - 4/(-10). Put -1/4, y, j in decreasing order.
y, -1/4, j
Let x = -0.38 - -0.78. Put x, 0.08, 5 in descending order.
5, x, 0.08
Suppose -k + 5*k = 12. Let z be -2 + -6 - (0 + -3). Suppose -4*q + 0 = 12. Sort z, k, q.
z, q, k
Let v = -16 - -14. Let h(b) = -b**2 + 7*b + 1. Let c be h(7). Put -4, c, v in decreasing order.
c, v, -4
Let h(f) = -2*f - 18. Let t be h(-10). Sort 5, -3, t in descending order.
5, t, -3
Let u = 3/2 + -13/10. Let i(a) = -2*a + 6. Suppose -2*q = -4*p - 24, 16 = 2*q - 4*p + 2*p. Let z be i(q). Put 1/10, u, z in descending order.
u, 1/10, z
Suppose 2*g = 4*g - 2*u - 2, -5*u + 15 = 5*g. Let k be (2/(-6))/((-3)/18). Suppose 2*i - k*n = -10, -3*i = -2*n + 14 - 2. Sort -4, i, g.
-4, i, g
Suppose 69 = 7*w + 55. Suppose 4*q = -q - 5. Sort w, 5, q in ascending order.
q, w, 5
Suppose -3*i - c - 7 + 0 = 0, -3*i + 3*c + 9 = 0. Sort i, 4, 3, 5 in decreasing order.
5, 4, 3, i
Let c = -880/9 + 98. Suppose -13 - 5 = -3*o. Let q be (-1 + o)*4/(-4). Sort c, 5, q in ascending order.
q, c, 5
Let h(s) = -s**2 + 14*s - 1. Let m be h(14). Sort m, 3, 1 in ascending order.
m, 1, 3
Let y(x) = x + 4. Let w be y(0). Sort -10, -2/5, w in decreasing order.
w, -2/5, -10
Let v = 447/4 - 111. Put v, -5, -2/5 in ascending order.
-5, -2/5, v
Let s = 0.03 - -0.37. Let l = -2.8 + -0.2. Let f = l + 3.5. Put s, f, 0.2 in descending order.
f, s, 0.2
Let c = 9 + -9.42. Let x = -6 - -5.92. Let g = x + c. Put -5, -2/3, g in decreasing order.
g, -2/3, -5
Let i = -2 + -3. Let s = i + 7. Put s, 3, -3 in descending order.
3, s, -3
Let u = -0.01 - -5.01. Let r = u - 4. Let i = 5.4 - 5. Sort r, i, 3/2.
i, r, 3/2
Let y = -3 + 2. Let c be 4/3*(-9)/(-6). Let l = c + y. Sort l, -1, 0 in ascending order.
-1, 0, l
Let l be 3*(-4)/(-6) + 3. Let h = -93 + 92. Put l, h, 3 in decreasing order.
l, 3, h
Suppose 6*u - 46 = 20. Sort 4, u, 0 in descending order.
u, 4, 0
Let q = -8 - -5. Let h(z) = z**2 - 6*z - 9. Let a be h(7). Let k be 3/((-39)/(-1))*a. Sort k, -4, q in increasing order.
-4, q, k
Let j(k) = k**3 + 4*k**2 + 3*k + 1. Let q be j(-2). Suppose -4*d - 33 = -c - d, 0 = -5*d - 25. Let z be 8/(-36) + (-14)/c. Sort z, q, 2 in decreasing order.
q, 2, z
Let o(n) be the first derivative of n**4/4 - 8*n**3/3 + n**2 - 11*n + 4. Let u be o(8). Let k be 2/10*30/8. Put u, -1/3, k in ascending order.
-1/3, k, u
Let w = -1 - -2. Let b = 0.18 + -0.1. Let j = b + 1.92. Sort j, w, 1/2.
1/2, w, j
Suppose 4*p + 4 = -12. Let s = 16 + -19. Sort -2, p, s in decreasing order.
-2, s, p
Let p = -1 - -4. Sort 4, 5, p in descending order.
5, 4, p
Let b(l) = 2*l + 11. Let j(c) = -c**2 - 7*c + 10. Let i be j(-9). Let o be b(i). Put 1, o, 2 in ascending order.
o, 1, 2
Suppose 0 = h - 0*h - 3*r - 22, h = -3*r + 10. Let x be (-9)/6*h/(-6). Put -3, 0, x in descending order.
x, 0, -3
Let y = -4.4 - -4. Let n = 28 + 3. Let u = n + -27. Sort u, -1, y.
-1, y, u
Suppose -19*l = -11*l - 48. Put 1, 4, l in ascending order.
1, 4, l
Let t(x) = x**3 - 3*x**2 - x - 5. Let s be t(4). Suppose -4*l + l + i = s, -3*l - 2*i + 5 = 0. Sort l, 2, -5 in decreasing order.
2, l, -5
Let j = -0.23 - 0.07. Let y = 31 - 30.95. Sort j, 3/7, y in increasing order.
j, y, 3/7
Let v = 41 - 46. Sort -0.5, v, -2/7 in ascending order.
v, -0.5, -2/7
Let r = 7 - -18. Suppose h - 6*h - r = 0. Let c(v) = 3*v - 19. Let y be c(8). Sort 1, y, h in descending order.
y, 1, h
Suppose 0 = 7*u - 3*u + 16, -v + 2*u + 3 = 0. Let l(d) = -d**2 - 11*d + 8. Let s be l(-12). Sort 0, v, s in decreasing order.
0, s, v
Let v = 0 - 5. Let a = 23/760 + 3/40. Let l be (-1)/2*104/(-13). Put l, v, a in descending order.
l, a, v
Let s be (-16)/(8/2) + 3. Put 1, s, -0.4 in descending order.
1, -0.4, s
Let a = -0.41 - -0.71. Sort a, -4/3, -1/4 in increasing order.
-4/3, -1/4, a
Let q = 17.22 + -0.22. Let w = q - 17.3. Sort w, -0.1, 0.07.
w, -0.1, 0.07
Suppose 0*l - 5*l + 25 = 0. Let z(k) = k**2 - 5*k + 4. Let j be z(l). Let d = j - 3. Sort d, 1/2, 5 in decreasing order.
5, d, 1/2
Let f(s) = -s**2 - 9*s - 1. Let p be f(-8). Let b be 9/p + -1 - 0. Let u = -0.8 - 3.2. Sort b, u, 0.
u, 0, b
Let r be (-1*3/36)/((-3)/(-8)). Sort 3/4, r, -1, 5 in decreasing order.
5, 3/4, r, -1
Let r(t) = -10*t + 5 + 1 + 0 + 11*t. Let c be r(-3). Put -4, 0, c in increasing order.
-4, 0, c
Suppose 0 = -4*l + 1 + 3. Suppose -17 = -5*q - 47. Let r = q + 10. Sort r, 5, l in decreasing order.
5, r, l
Let r(q) = q**2 - 5*q. Let m be r(3). Let n(c) = -c**2 - 5*c + 6. Let u be n(m). Suppose -3*p + p - 8 = u. Put p, 5, 1 in descending order.
5, 1, p
Let n(i) = i**2 - 9*i - 13. Let v be n(10). Let c = 10 - 6. Suppose -3*f = -c*b - 2*f - 4, -4*b = -5*f + 20. Sort v, 3, b in decreasing order.
3, b, v
Suppose 0 = 2*t + 4. Sort t, 0, -7.
-7, t, 0
Suppose -5*h - 5*i = -25, 4*h + 5*i - 21 = 3. Let s = h + -3/4. Let u = 17 - 12. Sort -2, u, s in decreasing order.
u, s, -2
Suppose -19 = 5*k - 3*l - 3, -4*k + 4*l - 8 = 0. Sort 2, 1, k.
k, 1, 2
Let i be (-6)/(-4) + (-3)/(-6). Suppose 5*s + 3*r = -13, -r + 9 = -4*s - i*r. Let y be 15/7 - s/(-1). Sort 3, y, -3 in increasing order.
-3, y, 3
Suppose 0*i = -5*i + 1030. Let a be 2/(-7) + i/84. Let v = a - 61/30. Sort 0.1, v, 2/5 in descending order.
2/5, v, 0.1
Let b = 16.6 - 17. Let a = -0.1 - b. Sort -0.1, a, 0.11 in ascending order.
-0.1, 0.11, a
Let j = 1 - 4. Suppose -2*g + 6 + 2 = 0. Let m = 6 - g. Sort m, -2, j in descending order.
m, -2, j
Let t = 18 + -107/6. Put t, -0.4, 3 in descending order.
3, t, -0.4
Suppose -7 = 2*j + 3*j + 2*i, -5*i = 3*j + 8. Let z = 4 + -1. Put j, 0, z in ascending order.
j, 0, z
Let x be 4 + (-2)/20*46. Put -0.2, x, -2/7, -4/3 in decreasing order.
-0.2, -2/7, x, -4/3
Let v = 0.1 + -0.1. Let n = 10 + -14. Let z = n + v. Sort -2, -3/2, z in decreasing order.
-3/2, -2, z
Let t = 41.5 - 34. Let i = t + -7. Put 0.3, 4, i in ascending order.
0.3, i, 4
Let n(q) = q**2 - 10*q - 7. Suppose -3*x + 50 = 4*c - x, 21 = 3*c - 4*x. Let i be n(c). Sort 7, 1, i.
1, i, 7
Let l = -1 + 5. Let z = -0.08 + 0.48. Suppose -5*x = -p - 2, p + 16 = x + 6*p. Sort x, l, z in increasing order.
z, x, l
Let h(t) be the second derivative of -t**4/12 + t**3/3 + t**2/2 + t. Let a be h(2). Suppose a = 2*k - 5. Sort k, 0, -1 in increasing order.
-1, 0, k
Let h(y) = -2*y + 5. Let s(d) = d**3 + 7*d**2 + 8*d + 14. Let l be s(-6). Let p be h(l). Put 0, 3, p in increasing order.
0, p, 3
Let a(l) = -l - 10. Let c be a(-5). Let b(k)