+ 11. Let h be b(6). Let w = -79 + 78. Sort w, -2/7, h in ascending order.
w, -2/7, h
Let i = -3 + 1. Let x(r) = r. Let b be x(0). Suppose -2*m + b*m - 12 = 4*h, 3*h + 16 = 2*m. Sort h, i, -3 in increasing order.
h, -3, i
Suppose 7*w - 3*w = -20. Sort w, 4, 2 in decreasing order.
4, 2, w
Let k be (-15)/5 + 5 + 1 + -1. Sort -0.5, k, -2/3, 0.2.
-2/3, -0.5, 0.2, k
Let v = -3.3 - -3. Sort v, 0.3, -2/7 in descending order.
0.3, -2/7, v
Let x = 13/20 - 3/20. Let y = -0.01 - -0.41. Let d = 0.3 + -2.3. Sort d, x, y in decreasing order.
x, y, d
Let b = -37/135 + 2/27. Put -0.04, b, 2 in descending order.
2, -0.04, b
Suppose 6 = -5*h + 2*h. Put 0, h, 2 in decreasing order.
2, 0, h
Let o(t) = -2*t - 12. Let d be o(-6). Put d, 4, -3/7 in descending order.
4, d, -3/7
Let c = -15 + 15. Sort 2, c, -3 in decreasing order.
2, c, -3
Let q = -7748/9 + 2518/3. Let v = q - -22. Sort v, -5, -4.
-5, -4, v
Suppose -2*t + 8 = 3*o, 2*t - 4*o = -0*o + 8. Suppose 0 = 3*f + 4*m + 3, -1 = 5*f - 2*m + t. Let x = 1 - f. Sort 4, 1, x in descending order.
4, x, 1
Suppose -4*x + 23 = w, w + 2*x = -0*w + 13. Suppose 3*h - 11 = s, -4*s + 20 = -w*h + 46. Sort 3, 5, h in decreasing order.
5, 3, h
Let w = -10 + 9.65. Let m = w - -0.05. Sort 5, 1/9, m in decreasing order.
5, 1/9, m
Suppose -5*v + 7 + 13 = -3*w, 4*w + 22 = 2*v. Put 7, w, -2 in decreasing order.
7, -2, w
Suppose 0*q = -5*q + 10. Let k(p) = p + 4. Let j be k(-6). Sort j, q, 4 in descending order.
4, q, j
Let o = 1.5 - 1.7. Sort o, -1/4, 1/4.
-1/4, o, 1/4
Let i = -0.2 + -0.3. Suppose 0*q + 12 = 4*q. Let v be (-15)/(-4) + q/12. Put 0.2, i, v in descending order.
v, 0.2, i
Let m = -0.1 + -0.1. Let i be -1 + (0 - -3) + 2. Suppose 2*j + 3*j + 28 = i*s, -j = 4. Put s, m, -4 in descending order.
s, m, -4
Let c(h) = -h**3 - 3*h**2 + 7. Let l be c(-3). Suppose 3 = 3*o - 6. Suppose 5*z - 4*z = -3. Sort o, l, z in ascending order.
z, o, l
Let y be -1*(-2 - (2 + 11)). Suppose -8*p - y = -5*p. Put 0, p, 4 in decreasing order.
4, 0, p
Let c = 14.93 + -15. Let n = -171/2 + 87. Sort c, 4, n in decreasing order.
4, n, c
Suppose -j - 2*t = -14, -5*j + 8 + 7 = -t. Put -4, 3, j in ascending order.
-4, 3, j
Let h = -0.7 - -0.2. Let r be (-1 + 2)/((-16)/2). Put r, h, -2 in increasing order.
-2, h, r
Let v = 12 + -8. Let u be (-4)/((-12)/3) + 0. Sort u, 2, v in decreasing order.
v, 2, u
Suppose 6*n + 8 = 4*n. Sort -1, n, 7, 4 in descending order.
7, 4, -1, n
Let u = 5 + -7. Suppose 0 = 4*x - 3*x. Sort u, 3/5, x in ascending order.
u, x, 3/5
Let p(a) = a**2 - 5*a + 3. Let q be p(4). Let z be q/(-21)*(-30)/(-5). Sort z, -0.4, 2/3 in ascending order.
-0.4, z, 2/3
Let l = 0.876 - -0.024. Put -0.4, l, 0 in increasing order.
-0.4, 0, l
Let r = -18 + 17.6. Let c be 1/(-3) - 0/1. Let n = -2 + 5. Put c, n, r in descending order.
n, c, r
Let n be 8/(-36) + 40/18. Put -4, -7, n in increasing order.
-7, -4, n
Suppose -12 = 3*c - c + 4*m, 4*c = m - 6. Put -1, 3, c in decreasing order.
3, -1, c
Let a(b) = b**2 - 14*b - 10. Let q be a(13). Let o = q - -20. Let m(h) = h - 1. Let r be m(6). Sort o, r, 2.
o, 2, r
Let s(x) = -4*x**3 - 2*x**2 + x. Let g be s(1). Let d be (4/12)/(2/(-30)). Let z = -6 - d. Sort g, z, 3 in descending order.
3, z, g
Suppose 4 = -l + 2*l. Let q(k) = -k - 1. Let p(m) = 5*m + 1. Let y be p(-1). Let z be q(y). Sort l, z, 2 in decreasing order.
l, z, 2
Suppose -3*n + u + 5 = 0, 7*n - 3*u = 5*n + 15. Sort 2, -41, n, 3 in descending order.
3, 2, n, -41
Let a = -1 - 6. Let z be (a + 1)*3/(-6). Let t(d) = -2*d**3 + 12*d**2 + d - 2. Let p be t(6). Sort p, -1, z in decreasing order.
p, z, -1
Let c(t) = t**2 - 7*t + 7. Let q = 0 - -6. Let m be c(q). Suppose -4*s = -3*s + m. Sort 1, s, -1/6 in descending order.
1, -1/6, s
Suppose 5*j - 16 = -2*i - 0*i, 0 = -2*j + i + 1. Sort -13, -0.5, j in ascending order.
-13, -0.5, j
Suppose -3 + 1 = 2*t. Let c(k) = -5*k - 2. Let v be c(t). Sort 2/13, 5, v in descending order.
5, v, 2/13
Let z = 13 - 27. Let p = 24 + z. Let i be 18/40 + (-2)/p. Sort 2, 0.3, i.
i, 0.3, 2
Let u = 2 - 4. Suppose -3 = 4*j - 5*r - 40, -5*j - 3*r = 0. Let i be 0/((-3)/(3/2)). Sort j, u, i in increasing order.
u, i, j
Let s(n) be the first derivative of n**4/4 + 3*n**3 + 4*n**2 - n - 5. Let l be s(-8). Sort 5, l, -4 in descending order.
5, l, -4
Let m = -7 + 18. Let i = m + -8.2. Let t = -3 + i. Sort 5, t, -0.1 in increasing order.
t, -0.1, 5
Suppose -4*v = -3*n - 50 - 7, 2*n - 5*v = -45. Let a be 0 - (-5)/(n/9). Sort 3, 4, a in descending order.
4, 3, a
Let r = 0.04 + 0.07. Let x = r + -0.21. Sort x, 2/5, -1 in ascending order.
-1, x, 2/5
Let y = 1.1 - 0.1. Let k = y + -0.8. Let w = k - 0.2. Put -0.1, -3, w in decreasing order.
w, -0.1, -3
Suppose -9 + 3 = 2*i. Let h(s) = -s**2 - 3*s + 4. Let b be h(i). Let c = -12 - -14. Sort c, b, 0 in increasing order.
0, c, b
Suppose 0 = 5*h + w - 4, 0*h + w - 4 = h. Sort 4, -5, h in descending order.
4, h, -5
Let n(h) = -4*h - 2. Let j be n(-3). Let z = j - 5. Suppose -8 = -z*d - 33. Put d, -1, 4 in decreasing order.
4, -1, d
Let y = -162 + 165. Sort 0, 4, y.
0, y, 4
Let l(a) = -a**3 - 15*a**2 + 36*a + 32. Let n be l(-17). Sort n, -6, 5 in ascending order.
-6, n, 5
Let m = -4.86 - 0.14. Sort 1, -2/7, m in descending order.
1, -2/7, m
Let g(j) = 3*j - 7. Let l be g(4). Suppose l*k - 21 = -1, 4*k = -3*x + 28. Put 1, -4, x in decreasing order.
x, 1, -4
Suppose -2*c - 640 = -3*m - 74, -3*c + 373 = 2*m. Suppose 31 = -a - 2*b - 39, m = -3*a + 5*b. Let v = a - -331/5. Sort -2, 5, v in descending order.
5, v, -2
Let x = 1.1 - -9.9. Let m = x - 10.7. Sort 3, m, -1.
-1, m, 3
Let s = -0.057 + -4.243. Let p = 2 - 6. Let b = p - s. Put b, -1, 2/5 in increasing order.
-1, b, 2/5
Let u be (-15)/3 + (-2)/(-2). Sort 2, u, -2.
u, -2, 2
Let q = -7 + 9. Let i = -0.09 + -0.01. Sort q, -0.2, i in decreasing order.
q, i, -0.2
Suppose k + w = 0, 5*k + 9 = 3*k + w. Sort k, 1/4, 2/11.
k, 2/11, 1/4
Let w(p) = p + 2. Let j be w(-6). Let z(m) = m**3 + 3*m**2 - 4*m - 3. Let k be z(j). Suppose 4*n = f + f + 2, -18 = -4*f - 3*n. Sort k, 2, f in ascending order.
k, 2, f
Let m = -20 + 19. Sort m, 6, 3 in descending order.
6, 3, m
Let j = -18 + 23. Put 3, 1, j in decreasing order.
j, 3, 1
Let b(k) = -k - 3. Let j be b(0). Let c(s) = -s**2 - 4*s - 4. Let w be c(j). Let t be w/(((-15)/12)/(-5)). Sort -5, 4, t in decreasing order.
4, t, -5
Let j be (5/(-6))/(3/(-18)). Suppose 2*n - 5*o - 7 + 23 = 0, -n + o = j. Let f = 0 - 0. Sort n, f, 2 in increasing order.
n, f, 2
Let t = 11 + -11. Let l = -1.98 + 0.08. Let v = 0.1 - l. Sort v, t, -0.3 in decreasing order.
v, t, -0.3
Suppose 0 = -t + 2*t - 3. Suppose 20 = -9*j - 16. Put -3, t, j in ascending order.
j, -3, t
Let j be 2/(-2)*7*2209. Let n be ((-1)/(-9))/(7/j). Let w = n + 245. Put -2, w, 1/5 in decreasing order.
1/5, w, -2
Suppose 3*r - 7 = -1. Suppose 4*m - 3*m = -r. Suppose -x + 0*x = -2. Put m, x, 5 in increasing order.
m, x, 5
Let a(u) = 2*u - 8. Let r be a(6). Let z = r + -5. Put z, 0, 2 in ascending order.
z, 0, 2
Suppose -r + 2*s + 14 = 0, -r + s + 17 = 2*s. Sort 4, r, -4.
-4, 4, r
Let m = 0.055 + 0.045. Sort m, 0, -0.1, -0.3 in ascending order.
-0.3, -0.1, 0, m
Suppose 54 - 26 = 7*h. Sort -3, -1, h, 1 in ascending order.
-3, -1, 1, h
Let l(o) = -o**3 + 13*o**2 - o + 18. Let h be l(13). Suppose -r - h*z + 2 = -4*z, 3*z - 10 = -r. Put -6, 4, r in decreasing order.
4, r, -6
Let t = 3 + 0. Suppose -6*r - 6 = -t*r. Sort 5, r, 4 in decreasing order.
5, 4, r
Let z = 21 - 23. Let f(c) = -2*c + 6. Let q be f(5). Sort 3, z, q in ascending order.
q, z, 3
Let w = -0.7 + 0.4. Sort w, 0.1, -4 in decreasing order.
0.1, w, -4
Let r = -0.8 - 0.2. Let d be ((-13)/(-26))/(14/(-4)). Put r, -0.4, d in descending order.
d, -0.4, r
Suppose -5*k = 5*t - 10*t + 20, k + 24 = 5*t. Sort 5, k, -2.
-2, k, 5
Let q = -3 + 7. Let j = -18 - -19. Let u(z) = z**2 - 1. Let m be u(1). Sort q, j, m in descending order.
q, j, m
Let v = -0.071 - 2.929. Put v, -1, 2/5, 3 in ascending order.
v, -1, 2/5, 3
Let b be ((-3)/2)/(180/(-16)). Let n be 11/(-2) - 3/(-6). Let s be ((-1)/2)/(n/(-4)). Sort b, s, 2/7 in ascending order.
s, b, 2/7
Let z = 14 - 12. Sort -4, z, -2 in descending order.
z, -2, -4
Let h = -13 + 12.9. Let m = -1.2 + 12.2. Let c = 16 - m. Put c, h, 0.3 in ascending order.
h, 0.3, c
Suppose 5*n + 