+ 11. Put 2, l, 6 in decreasing order.
6, 2, l
Let a(y) = y - 11. Let g be a(5). Sort g, 0.1, 5 in decreasing order.
5, 0.1, g
Let u be 40/42 - (7 + 423/(-63)). Let g = -263 + 507/2. Let z = -10 - g. Sort z, -3/4, u.
-3/4, z, u
Let i = -1.54 + 1.4. Let v = i - -0.04. Put -2/7, v, -4/5 in decreasing order.
v, -2/7, -4/5
Let b(l) be the third derivative of l**6/120 - 2*l**5/15 + l**4/12 - 11*l**3/6 - 2*l**2. Let k be b(8). Put -4, k, 0 in ascending order.
-4, 0, k
Suppose 5*v + 10 + 15 = 0. Sort -6, 1, v in descending order.
1, v, -6
Let g = -3.7 - -4. Let t = 0.4 + -0.5. Let x = -0.2 + t. Sort 5, x, g in increasing order.
x, g, 5
Let l(c) = -c**3 + 5*c**2 - 7*c + 6. Let w be l(4). Let b(s) = s**2 + 5*s - 3. Let a be b(w). Sort a, -0.5, 1/2.
-0.5, 1/2, a
Let s(l) = -9*l - 14. Let p be s(-4). Put p, -1, 4 in decreasing order.
p, 4, -1
Let o be (-4)/(-14) - 30/7. Let t be 2/(-2) - (2 + 2). Sort -3, o, t in descending order.
-3, o, t
Let l(a) = -a**3 + 3*a**2 + 2*a + 5. Let f be l(4). Suppose -3*j = -0*j - 18. Suppose -j = -q - 2*q. Put 1, f, q in ascending order.
f, 1, q
Let n = -3 + 7. Sort 5, -16, n in decreasing order.
5, n, -16
Let t be (1/2 - 0)*4. Let d = t - 2. Let a be (-30)/(-4)*6/9. Put d, a, -4 in descending order.
a, d, -4
Let y = -151/9 + 17. Let n = 0.08 - -2.92. Let l = 4 - n. Put y, -2, l in increasing order.
-2, y, l
Let g(u) = u**3 + 10*u**2 + 10*u + 7. Let w be g(-9). Let h be w + (-1 + 3)*1. Let n(f) = 2*f + 8. Let i be n(-6). Sort -3, i, h in descending order.
h, -3, i
Let d = -1 - -5. Suppose 0 = -d*f - 5*j - 11, -f - f + 4*j = 12. Put f, 2, 1/5 in decreasing order.
2, 1/5, f
Let s(g) = g**2 + 11*g + 15. Let p be s(-10). Let q(m) = -m + 5. Let i(d) = d**2 + 10*d + 6. Let u be i(-10). Let r be q(u). Sort 0, p, r in ascending order.
r, 0, p
Suppose q - 2 = 2. Suppose 0 = k - 2*a + 4, -q*k = -4*a + 18 - 2. Sort k, -1, 0 in descending order.
0, -1, k
Let l(j) = -j**3 + 11*j**2 + 11*j + 11. Let t be l(12). Put -32, t, -3 in ascending order.
-32, -3, t
Let i = -7 + 0.2. Let y = i + 8. Let j = y + -1. Put -1, j, 0.3 in decreasing order.
0.3, j, -1
Let b be (4 + -2)*(-1)/(-1). Let w = 1228 - 1228.4. Let s be 2/(-4)*1*-10. Sort b, w, s in ascending order.
w, b, s
Suppose -w + 9 = -10*w. Let k = 12 - 4. Put 4, w, k in decreasing order.
k, 4, w
Let w(j) be the second derivative of j**3/6 + 15*j**2/2 + j. Suppose 0*r + 20 = -2*r. Let z be w(r). Sort 1, z, 0.
0, 1, z
Let j(t) = t**3 + 5*t**2 + 4*t - 1. Let z be j(-3). Let n = -19 - -16. Put z, n, 2 in decreasing order.
z, 2, n
Let j = 4.95 + 0.05. Put 0.3, j, 3/4, -1 in ascending order.
-1, 0.3, 3/4, j
Let a be (12/(-14))/((-1)/(-7)). Let f be ((-12)/9)/((-2)/a). Sort 0.3, f, 3.
f, 0.3, 3
Suppose a = 4*a + 12. Let j be a/(-10) - (-4)/(-10). Put -3, 5, j in descending order.
5, j, -3
Let m = -0.06 + -0.01. Let q = m - 0.03. Put -5, q, 1/4 in ascending order.
-5, q, 1/4
Let j be -2*2 + -4 + 7. Sort j, 4, 3 in descending order.
4, 3, j
Let x = -4.35 - -0.35. Let f be -1 + 1*(-367)/(-5). Let p = f + -72. Sort p, x, 4 in ascending order.
x, p, 4
Let d be (-1 + -2)*(-32)/12. Suppose 4*m + a = -a + d, -3*m + 9 = 3*a. Let u be (4 + -7)*2/(-3). Put 4, m, u in decreasing order.
4, u, m
Let q(p) = 3*p + 3. Let d be q(-3). Let o = 29 - 20. Let n = o + d. Put n, -5, -2 in descending order.
n, -2, -5
Suppose -3 = 2*w - w. Suppose -10 = -5*y - 4*b, 2*b = y + y - 22. Suppose -x + 3*x - y = 0. Sort 1, w, x in increasing order.
w, 1, x
Suppose -2*g + 0*g = 0. Let z = -0.15 - -0.05. Sort g, z, 5.
z, g, 5
Let y(u) = -u**3 - 5*u**2 + 6. Let b be y(-5). Let o = b + -1. Put 3, o, 0 in descending order.
o, 3, 0
Let x be (2/(-12))/(36/81). Put -3/5, 0.1, x in decreasing order.
0.1, x, -3/5
Suppose 3*y - y - 4 = 0. Put -2, -5, y in ascending order.
-5, -2, y
Suppose 3 = -4*f + 35. Let i(m) = m**2 - 7*m - 10. Let g be i(f). Let y be g/(-3)*18/(-30). Sort y, 0.3, 1 in decreasing order.
1, 0.3, y
Let r = -37 - -40. Let b = -5 - -7. Put 2/11, r, b in increasing order.
2/11, b, r
Suppose 4*u = 32 - 12. Suppose -2*g = u + 1. Put -0.2, 2, g in descending order.
2, -0.2, g
Let f = 149 - 148.9. Put -2/11, f, -2/7, 3/7 in increasing order.
-2/7, -2/11, f, 3/7
Suppose -5*y = g - 0*g - 4, -2*g = y - 8. Suppose -2*b = -4 - y. Sort 0.3, b, -1 in descending order.
b, 0.3, -1
Let k = 5.6 - 6. Let o = k + 3.4. Sort 4, 0.5, o.
0.5, o, 4
Let n = 3 - 2. Let m = 26 + -16. Suppose -4*o = o - m. Sort o, n, 5 in descending order.
5, o, n
Suppose n - 15 = -3*f, 0 = 3*f - 1 + 4. Suppose 2*y = -y + 3*l + n, 3*y - 4*l - 23 = 0. Put -5, -1, y in descending order.
y, -1, -5
Suppose 2*g + 12 = 5*g. Let z be (-21)/(-4) - 5/20. Suppose -b + 3 = -5*i, 0 = 3*b + 2*i - i - 9. Put b, z, g in descending order.
z, g, b
Let r = -3.6 - -4. Let z = r - 0.4. Let h = 0.5 + -0.8. Put -3, h, z in descending order.
z, h, -3
Suppose 0 = 10*d - 126 - 124. Sort -5, d, -1.
-5, -1, d
Let d = 0.031 + -1.531. Sort -5, d, -3, -0.1 in descending order.
-0.1, d, -3, -5
Let u be (-2)/(-9) - (-14161)/63. Let g = -2023/9 + u. Sort -5, 4, g in decreasing order.
4, g, -5
Suppose -i - 3 = o - 1, -5*i - 37 = -4*o. Sort -1, o, -5 in descending order.
o, -1, -5
Let n be 3 + -4 + 5 + -1. Put n, -3, 0 in decreasing order.
n, 0, -3
Let n = -37 - -35. Sort -4, n, -0.2, 5 in descending order.
5, -0.2, n, -4
Let f be (-1 + -6 + 1)*5. Let x = -11882487/398125 + -1/30625. Let c = x - f. Sort 1, c, 1/7 in decreasing order.
1, c, 1/7
Suppose 0 = 4*w - 0*w. Put w, 3, -1 in increasing order.
-1, w, 3
Let u = 0.13 + -5.13. Let c = 28 + -46. Let n be (2/(-16))/(6/c). Sort u, n, -2/7 in ascending order.
u, -2/7, n
Let c(v) = -v - 13. Let x be c(-11). Put -5, 5, x, -3 in decreasing order.
5, x, -3, -5
Let d = 1019/5 + -203. Let i = -90.1 + 90. Sort -0.2, i, d in descending order.
d, i, -0.2
Suppose -k - q + 5 = 0, -2*k - q = 2 - 11. Suppose -3*w + 9 = i, -4*w = 3*i - 0 - 7. Let y be i/((-3)/2) - 2. Sort 2, y, k in ascending order.
y, 2, k
Let l = 13 - 12.8. Sort l, 0.6, 5.
l, 0.6, 5
Let a(z) = z**2 + 11*z + 15. Let r(c) = 1. Let o(g) = a(g) - 4*r(g). Let d be o(-10). Suppose 4*i = -f - d - 2, 4*f - 22 = i. Sort 0.4, f, -5.
-5, 0.4, f
Let k = 4 + -15/4. Let c = 0.9 - -4.1. Let w = -7 + 11. Sort k, w, c.
k, w, c
Let m be 2753/11739 - (-1)/3. Let c = 2/559 + m. Let u be (-6)/20*(-10)/(-12). Put c, u, 1 in descending order.
1, c, u
Let d be (-12)/((-1)/(8/(-12))). Sort -5, d, 2 in increasing order.
d, -5, 2
Let p = 1 + -1.5. Suppose 0 = 3*q - 3*z + 15, 2*z + 2*z - 17 = 3*q. Put p, q, -4 in decreasing order.
p, q, -4
Let a = -6 + 25. Put 2, -5, -3, a in increasing order.
-5, -3, 2, a
Let v = 3 + -2.8. Let a = 3.2 - v. Sort -3/7, a, 0 in increasing order.
-3/7, 0, a
Suppose -2*a + 17 = 4*t - 11, 4*t - 32 = -3*a. Let l be (-1)/(1/(((-20)/4)/(-5))). Put -11, a, l in decreasing order.
a, l, -11
Suppose 4*p - 30 = -2*k, 5*k - k = -5*p + 45. Sort 2, p, -3, -1 in decreasing order.
p, 2, -1, -3
Suppose z - 3*j - 8 = 0, 0 = -0*z + 3*z - 2*j + 4. Suppose 1 = 3*x - 2. Suppose -1 = w + x. Sort 5, z, w.
z, w, 5
Let v = -2.04 - -2. Let p = v - 0.46. Sort 1, -3, p in descending order.
1, p, -3
Let o = -299/2264 - -2/283. Let z = -0.6 - 1.4. Let x = z + 2.4. Sort o, 5, x in decreasing order.
5, x, o
Suppose 0 = -4*w + 16, m + 2*w - 4 = -3*m. Suppose -z + 10 = -6*z. Sort m, z, -5 in decreasing order.
m, z, -5
Let r = 0.01 + 0.49. Let p = -0.5 + r. Put p, 4/7, -0.4 in decreasing order.
4/7, p, -0.4
Let g = 424/2453 + 2/223. Sort 0, g, 14 in increasing order.
0, g, 14
Suppose 5*v - 9 = 11, -2*w - 16 = -2*v. Put w, 0, 1 in descending order.
1, 0, w
Let z(r) = -r**3 - 4*r**2 - 4*r - 2. Let u be z(-3). Suppose 3*v - b + 12 = 0, b + 4 = 1. Sort v, 3, u.
v, u, 3
Let r = 4 + -1. Suppose 0 = -r*p - 2 - 4. Let y be (p/(-12)*2)/(-1). Put y, 0, -1 in decreasing order.
0, y, -1
Let b = 7/4 - 5/4. Let x = 0.036 + -0.136. Sort x, 0, b.
x, 0, b
Let a = 13 + -12. Put a, 0, -0.5 in increasing order.
-0.5, 0, a
Let x(p) = -p**3 + 13*p**2 + p - 18. Let k be x(13). Put k, 4, -1, 0 in ascending order.
k, -1, 0, 4
Let s = -28669/3190 + 263/29. Let i = 7/22 + s. Let o = 5 + -3. Put o, i, 5 in decreasing order.
5, o, i
Let f = 0.2 + 2.8. Suppose -17 = -4*c + 3. Sort c, -3/5, f.
-3/5, f, c
Let a be 3 + 0 + 0 + (-6)/2. Put 29, a, -4 in d