 + 6. Let i be 0 + -2 - f - -4. Sort -3, i, 0 in descending order.
i, 0, -3
Let d be (18/(-20))/((-6)/(-5)). Put d, -2/5, -4/5 in decreasing order.
-2/5, d, -4/5
Suppose -l = 3, 2*l + 24 = 5*c - 12. Let o be -1 + 0 + (c - 5). Sort 4, -3, o in decreasing order.
4, o, -3
Let k = 3 - -12. Let d = -10 + k. Put 3, -2, d in descending order.
d, 3, -2
Let q = 2.3 + -0.1. Let v = 16 - 16.2. Let x = v + q. Sort -3, -0.3, x.
-3, -0.3, x
Let h(y) = 3*y + 31. Let r be h(-9). Sort r, -5, 2 in increasing order.
-5, 2, r
Let j = -43 - -42.5. Sort 5, -6, j in descending order.
5, j, -6
Suppose 5 = -2*q - 2*j - 7, 6 = -q + 2*j. Sort q, 2, -1.
q, -1, 2
Let l = 1.6 - -6.4. Let n = l - 7.3. Let r = n - -0.3. Put -0.2, r, -2/13 in descending order.
r, -2/13, -0.2
Let p be (4 + -5)*(1 + -1). Sort 1, p, -1 in ascending order.
-1, p, 1
Suppose -2*a - 10 = 2*x + a, 0 = -5*a. Sort 0, 5, 4, x in descending order.
5, 4, 0, x
Suppose 0 = -u + 7 - 3. Let z(n) = -n**2 + 4*n. Let g be z(3). Suppose -5*p = -v - 28, 2*v + 3*v + 20 = p. Sort u, v, g in increasing order.
v, g, u
Let s = 16 - 14. Put s, -4/5, 9 in ascending order.
-4/5, s, 9
Let r(n) = -n**3 + 6*n**2 - 2*n + 8. Let f be r(6). Let l(x) = -x**2 - 8*x - 9. Let u be l(-6). Sort u, f, -5 in ascending order.
-5, f, u
Suppose -2*s = 5*v + 8, 2*s = -2*s + 3*v + 10. Suppose 0 = m - s - 4. Sort m, -4, 0 in descending order.
m, 0, -4
Let k = -1.6 - -1.8. Sort k, -3, -0.5 in ascending order.
-3, -0.5, k
Let d be 84/(-22) + 2/(-11). Sort -3/4, 5/3, d in decreasing order.
5/3, -3/4, d
Let m(b) = -2*b**2 + 10*b - 3. Let j be m(9). Let v be (-2)/15 - 385/j. Put -3, 0.3, v in decreasing order.
v, 0.3, -3
Let y = -58 - -57.7. Sort 4, 3, y, 0.1 in descending order.
4, 3, 0.1, y
Let c = -0.34 - 0.06. Sort 2, -0.5, c in increasing order.
-0.5, c, 2
Let d be 2/(-6) - (-1)/(-3). Suppose 0 = -0*f + f - 1. Sort f, d, -1/3 in decreasing order.
f, -1/3, d
Let x = 19 + -24.5. Let u = 6 + x. Sort 2/7, u, 0.
0, 2/7, u
Let h = 150 + -151. Sort 4, -0.07, h in descending order.
4, -0.07, h
Suppose 2*v + 5*h + 9 + 11 = 0, 12 = v - 3*h. Put -3, -2, 0.4, v in descending order.
0.4, v, -2, -3
Let y = 55.2 + -55. Sort -3/2, y, -2/5, -2/21 in ascending order.
-3/2, -2/5, -2/21, y
Let n = -5 + 3. Let r(g) = 13*g + 139. Let m be r(-10). Sort m, 2, n.
n, 2, m
Let v = -7 + 11. Put 5, v, 0.4 in increasing order.
0.4, v, 5
Let m = -9.09 - -9. Put 0.5, m, 3 in increasing order.
m, 0.5, 3
Let x be (-2)/8 - (-290)/8. Suppose -5*u = 5*c + 7 - 2, 0 = 4*u - 4*c + x. Let z be (((-33)/(-6))/(-11))/(2/(-4)). Sort z, 2, u in descending order.
2, z, u
Suppose z - 3*q = -0*z - 19, -3*z + 8 = 4*q. Let j = -24 - -15. Put z, j, -2 in ascending order.
j, z, -2
Let j = -2 + 6. Let u = j + -7. Suppose k = -g + 4*k - 11, 4*k = -4*g + 36. Sort 5, g, u.
u, g, 5
Suppose 35 = 12*d - 25. Sort -3, 0, d, 6 in decreasing order.
6, d, 0, -3
Suppose 0*v + 12 = 4*v. Suppose 25 = 5*s - 2*u + u, 3*s = -3*u - 3. Put s, 1, v in decreasing order.
s, v, 1
Let d = -16.3 + 17. Let s = d + -0.3. Sort 0.1, -2, s in ascending order.
-2, 0.1, s
Let u = 0.06 - 3.06. Let x = 0 - u. Let i = 14.5 - 14. Sort 0, x, i in descending order.
x, i, 0
Let u = 6 + -3. Suppose 8*j = 3*j - 15. Sort j, 9, u in increasing order.
j, u, 9
Let j = 0.08 + 0.02. Let k = j - -4.9. Sort k, 0, -1/6.
-1/6, 0, k
Let f = -0.38 - 0.62. Put 5, f, -4 in descending order.
5, f, -4
Let l be 4/(-6) + (-48)/9. Let b be ((-16)/60)/((-4)/l). Put 0.3, b, -4 in decreasing order.
0.3, b, -4
Let f = 5 - 0. Let u = -5 + f. Let q = 13 + -18. Put 1, u, q in decreasing order.
1, u, q
Let k = -68.39 + 68. Let n = k + 0.4. Put -3, 0.2, n in descending order.
0.2, n, -3
Let g = 5.7 - 11.5. Let c = g - -0.8. Let z = -17 - -21. Sort z, c, -3 in ascending order.
c, -3, z
Let o = -3.6 + 4. Let g = -0.5 - -0.4. Let s = 8 + -5. Put o, g, s in descending order.
s, o, g
Let o = 244 + -243. Suppose -3*p - n = -5, -2*p + 0*n - 25 = -5*n. Sort o, p, -2/11 in decreasing order.
o, p, -2/11
Suppose -5*f + 37 = 4*v, 4*v = -f - 2*f + 27. Suppose 0 = -12*l + 11*l + 3. Sort -2, l, f.
-2, l, f
Let c = 11 - 23/2. Put c, 1, 0.2 in ascending order.
c, 0.2, 1
Let o be ((-20)/15)/((-2)/(-3)). Let j be -1 + 2/2 + 2. Sort -4, j, o.
-4, o, j
Let v(w) = w**3 + 4*w**2 - 3*w + 3. Let x be v(-4). Suppose 0 = 5*d + x, 2*d - 1 = 2*c - d. Let a = c + 0. Put 1, 0.04, a in descending order.
1, 0.04, a
Suppose 5*n - 3*n + 6 = 0. Let y be n/(-21) + (-13)/(-7). Sort 1, -4, y in ascending order.
-4, 1, y
Let y(l) = -2*l - 1 + 3 - 5. Let p be y(-4). Put 0, -5, p in ascending order.
-5, 0, p
Let u be (-4)/22 + 969/187. Put -3, u, -2, 2 in decreasing order.
u, 2, -2, -3
Let g = 4 - 1. Let r = -16.3 + 16. Sort 3/5, g, r.
r, 3/5, g
Let t(w) = w**2 - 10*w + 15. Let q be t(6). Let y(u) = -2*u**2 + 2. Let f be y(-2). Let r = q - f. Sort 0, -1, r in increasing order.
r, -1, 0
Suppose 10*j + 39 = 23*j. Sort j, 4, -5, 2.
-5, 2, j, 4
Let g be 3 - (8/2 - 5). Suppose 10 = 2*w + 3*j, j - 8 = -7*w + g*w. Put -5, -1, w in ascending order.
-5, -1, w
Let p = 3 - 7. Let y(b) = -b - 7. Let r be y(-6). Let j = -32/15 + 113/60. Sort j, p, r.
p, r, j
Suppose -4*t - 21 = 3*v, 3*v - 6 = 4*t + v. Suppose 5*m = -3*j - 31, -m - 4*m = -5*j + 55. Sort m, 5, t in descending order.
5, t, m
Let k = -1/109589 - 120219124/986301. Let y = k - -122. Put y, -1, 5 in increasing order.
-1, y, 5
Let z = 2.8 - 5.5. Let o = z - 0.25. Let f = o + -0.05. Put f, -0.2, 1/5 in ascending order.
f, -0.2, 1/5
Let m = -0.5 - 0.5. Put m, 5, 2/7 in decreasing order.
5, 2/7, m
Suppose -2*l + 1 = -3. Suppose -2*j + 2 = -j, -3*g + 26 = 4*j. Suppose -5*a - l + 7 = 5*p, -a = -4*p - g. Sort 5, p, 4 in ascending order.
p, 4, 5
Let o = -2.2 - -8.6. Let q = -6 + o. Let m = q + 0. Put 5, -4/7, m in descending order.
5, m, -4/7
Suppose -j + 15 = 2*j. Sort 7, j, 0.5 in ascending order.
0.5, j, 7
Let p be (-3)/((-2)/1 + -1). Let y = p + 3. Let v(k) = -k**3 + 3*k**2 - 2*k + 4. Let q be v(3). Sort y, q, -5 in increasing order.
-5, q, y
Let a = 668.7384 + 17.1316. Let o = a + -681. Let l = -0.13 - o. Sort -0.4, l, -0.3 in increasing order.
l, -0.4, -0.3
Suppose -k + 0*k - 8 = u, 6 = -2*k. Sort -6, 0, u in decreasing order.
0, u, -6
Let k be 24/40 + (-154)/(-35). Suppose 0 = 2*n - 4*g - 2, -g + 3*g + 3 = 3*n. Suppose -2*r = -r. Sort k, n, r in decreasing order.
k, n, r
Let c(u) = 34*u - 3 - 38*u + 2. Let t = -1 + 0. Let p be c(t). Put 0, -3, p in increasing order.
-3, 0, p
Let a = 0.08 + -0.78. Let b = a - -1. Put 1/6, 0.2, b in ascending order.
1/6, 0.2, b
Let y = -49 + 48.7. Put 1, 5, y, -3/8 in increasing order.
-3/8, y, 1, 5
Suppose -3 = 4*x - x. Sort 1, -2/9, x in decreasing order.
1, -2/9, x
Let x = -0.2 + 0. Let t = 0.012 + -4.012. Sort t, 0.1, x.
t, x, 0.1
Suppose m = a - 1, 3*a = -5*m - 20 - 17. Let p be ((-2)/2)/((-2)/(-2)). Sort p, -2, a.
a, -2, p
Suppose 0 = 4*i + 5*l + 29, 2*i - 5*l - 26 = 3*i. Suppose 6*j - 18 + 30 = 0. Put 1, j, i in ascending order.
j, i, 1
Let d = 0.8 + 2.2. Let l = -14 + 7. Put l, 0.5, d in increasing order.
l, 0.5, d
Let w(x) = x**3 - 14*x**2 + 14*x - 19. Let i be w(13). Sort i, 4, -2 in descending order.
4, -2, i
Let d(l) be the first derivative of -l**2/2 - 12*l - 4. Let p be d(-13). Sort -1, -4, p in decreasing order.
p, -1, -4
Suppose -4*r + 18 = 6. Let c be 1 + (8 - 2) + r. Suppose 3*n - 2 = -2*z, c - 26 = -4*z. Sort n, 2, 3/2.
n, 3/2, 2
Let x(y) = y**3 + y**2 - y. Let q be x(2). Suppose 2*a + 3*a + q = 0. Put 4, a, 12 in decreasing order.
12, 4, a
Let q = -48 - -145/3. Let i = 8/9 + -25/18. Put q, 5, i in ascending order.
i, q, 5
Suppose 4*a + 16 = -4*l, 6 = -5*l + 4*a - 5. Let r be ((-8)/l)/((-10)/(-15)). Sort 5, r, -5 in descending order.
5, r, -5
Let w = 0.02 + 1.98. Let y = -0.2 + 0. Put -2, y, w in increasing order.
-2, y, w
Let s = 3 + -5. Let o = 27 + -22. Sort -1, s, o.
s, -1, o
Let k = -5 + 5.4. Let f = 37151 - 261299/7. Let t = -178 - f. Sort -4, t, k in decreasing order.
k, t, -4
Let v = 78/365 - 1/73. Sort -0.5, v, -1/7, 0.4 in descending order.
0.4, v, -1/7, -0.5
Let j = 0.25 - 0.23. Let x = j - 6.02. Sort x, 2/9, 4.
x, 2/9, 4
Let t = 12 - 11. Sort t, 2, 0 in increasing order.
0, t, 2
Let g = -0.3 + 0. Let h = 0.13 + -0.03. Sort -2/13, g, h in descending order.
h, -2/13, g
Let c be (-3)/8 - -1 - 