 + 4. Let w be a(4). Sort 0, i, w.
w, 0, i
Let t = 7.7 + -8. Let z = 0.4 + t. Let k = 0.5 - z. Sort -2, 0.5, k.
-2, k, 0.5
Suppose 27 = -5*z - 43. Let i be z/(-12) - (-6)/(-9). Let d = -85/1177 + -2/107. Put -0.2, d, i in descending order.
i, d, -0.2
Let w = 60 - 55. Sort -1/4, w, -2/7, 5/2 in ascending order.
-2/7, -1/4, 5/2, w
Suppose 3 = -2*b + 4*z + 1, -3*b = 5*z - 30. Let t = -5 - -1. Sort b, 3, t.
t, 3, b
Let p be ((-21)/12)/((-2)/8). Suppose 3*n + p = 5*k, 5*k + 5 = n + 14. Sort -3, k, -2 in decreasing order.
k, -2, -3
Let g = -7.3 + 7. Let y = -1.3 - g. Let q be 4 + 0 - 54/9. Put y, -3, q in increasing order.
-3, q, y
Let m = -25.6 - -26. Sort 4, m, 7 in decreasing order.
7, 4, m
Let a be 3 + -3 + -2*4/(-4). Suppose -2 + 4 = -2*b. Put b, 0, a in decreasing order.
a, 0, b
Let r(o) = 2*o**2 - 3*o + 1. Let n be r(2). Let h be ((-21)/(-9) - 2)*n. Put -5, 0, h in decreasing order.
h, 0, -5
Let x = -17 - -69/4. Let j(i) = -2*i + 1. Let k be j(-8). Let l = 52/3 - k. Sort x, l, 4/5.
x, l, 4/5
Let t(u) be the third derivative of u**4/12 + 4*u**3/3 + u**2. Suppose -12 = 6*d - 4*d. Let m be t(d). Put 1, m, -1 in increasing order.
m, -1, 1
Let j be (-6)/(-21) + 68/7. Suppose 4*z - j = -2. Suppose -5*u + 5*w + 35 = 0, 3*u - u - 17 = 3*w. Put u, -1, z in descending order.
u, z, -1
Let m = 3.7 - 0.3. Let f = m + -3. Sort -0.3, f, 1/6 in decreasing order.
f, 1/6, -0.3
Let z = 779/11 + -71. Let v = 33 - 36. Put z, v, 3 in decreasing order.
3, z, v
Let t = -1 + 0.7. Let j be 50/48 + 8/(-12). Let u = j + -19/40. Sort -0.01, u, t in descending order.
-0.01, u, t
Let v(f) = -11*f**2 + 44*f. Let m(l) = -4*l**2 + 15*l. Let h(y) = 8*m(y) - 3*v(y). Let c be h(12). Sort 3, c, -5.
-5, c, 3
Suppose -3*k + 203 = -5*t - 31, -5*t = -2*k + 236. Let n = t - -241/5. Put 4, -0.4, n in increasing order.
-0.4, n, 4
Let a = 0.4 - 0.7. Let h = a + 0.1. Let n = -0.3 + h. Sort -2/5, 1, n in decreasing order.
1, -2/5, n
Suppose 59*u = 64*u. Let x = 16 + -13. Sort u, x, 2 in decreasing order.
x, 2, u
Suppose -3*m - 31 = -3*v - v, 2*v = 3*m + 23. Let q be 12/v + 1 + -6. Put 2, -4, q in descending order.
2, q, -4
Let o = 2/15 - 4/5. Suppose -3*z - 21 = 3*j, 4*z - z + 6 = 0. Put j, 3, o in increasing order.
j, o, 3
Let b = 1 - -2. Let h(u) = u**3 + 13*u**2 + 12*u - 6. Let c be h(-12). Let v be b/(-6)*2/c. Sort v, 4, 1.
v, 1, 4
Let j(k) = k + 7. Let c be j(-6). Put c, -5, -2 in decreasing order.
c, -2, -5
Let u be (-8)/(0 - -2) + 0. Sort 0.1, 2/13, u in decreasing order.
2/13, 0.1, u
Let t = 26 - 30. Put -3, t, -1 in descending order.
-1, -3, t
Let t(j) = -j**2 + 10*j + 10. Let x be (2 - 1) + 12 - 2. Let y be t(x). Put 4, y, -4 in ascending order.
-4, y, 4
Let i be (-4)/14 + 1 + (-104)/28. Suppose -2 = -g - 2*x + 1, -3*g = -5*x + 13. Sort 0.3, g, i in increasing order.
i, g, 0.3
Let m = 0.55 - -4.05. Let l = -82 + 87. Let w = m - l. Put 5, w, 0.1 in increasing order.
w, 0.1, 5
Let u be (-3)/5*(-12 - -17). Put u, -1, -5 in decreasing order.
-1, u, -5
Suppose 3*n + 3 = -0*n. Let a = 6 - 3. Let o be a/((-10)/8 + 2). Sort n, 0, o in increasing order.
n, 0, o
Let w = -2 + 0. Let v = 66 - 70. Put -0.1, w, v in ascending order.
v, w, -0.1
Let o(r) = -r**3 - 8*r**2 - 8*r - 2. Let n be o(-7). Let t be 2/(((-6)/n)/(-3)). Let m(s) = -s**3 + 7*s**2 - 6*s + 3. Let d be m(6). Sort d, 2, t.
2, d, t
Let j be 2/(-7) - 458/14. Let k(b) = -b**2 + 9*b + 13. Let g be k(10). Let z be j/(-9) - (-1)/g. Sort -5, z, 1.
-5, 1, z
Let g(x) = -x**2 - 7*x - 1. Let w be g(-6). Let s(p) = 5*p - 17. Let r be s(4). Sort w, r, 1.
1, r, w
Let m be (1/3)/((-18)/27)*6. Sort -5, 3, m.
-5, m, 3
Let t(w) = -w + 7. Let r be t(4). Put r, 10, 4 in increasing order.
r, 4, 10
Let s = 0.8 + -4.8. Let y = -5 + 4.95. Let i = y + 0.45. Sort s, 2, i in descending order.
2, i, s
Let c(m) = m**3 - 17*m**2 + 17*m - 26. Let t be c(16). Sort t, 1, -2 in descending order.
1, -2, t
Let r be 5/(-90)*-3 + 1/(-6). Sort -2, r, -1 in ascending order.
-2, -1, r
Suppose -2 = 17*v - 16*v. Put v, -12, 1 in descending order.
1, v, -12
Let p(o) = 4*o. Let r be p(1). Let a be 1/((-6)/r)*-3. Let v be 6/(-4) + 21/12. Sort -1/4, a, v in decreasing order.
a, v, -1/4
Let f be (-231)/14*8/(-6). Let d = f - 17. Sort 0, -2, d in descending order.
d, 0, -2
Suppose 0 = -2*p + 2*x + 38 - 0, -4*p + x + 85 = 0. Sort 5, -4, p in descending order.
p, 5, -4
Let b = 3.1 + -3. Let p = 406 - 405. Sort p, b, -2 in increasing order.
-2, b, p
Let z = -5.2 - -2.6. Let x = -3 - z. Let y = 11 - 53/5. Put 0.1, x, y in increasing order.
x, 0.1, y
Let i be 4/(-12)*(-27 - 0). Suppose -2*c + i = -5*c. Sort c, 0, -2 in descending order.
0, -2, c
Let s be (-6 + 0 + 2)/1. Suppose 0 = -d + 5*d - 40. Suppose -4*i = -2*i - d. Put 4, s, i in decreasing order.
i, 4, s
Suppose 53 = t + 51. Sort -1, 4, 0, t in decreasing order.
4, t, 0, -1
Let w be 2*(2/(-4) + 1). Let d = 10 - 15. Let n = -1 - d. Put w, -5, n in descending order.
n, w, -5
Let g be 27/(-126)*(-2)/3. Let a = 1/42 + g. Let n = -89/10 - -17/2. Sort 1, a, n in descending order.
1, a, n
Suppose 0*j - 2 = 3*h - 4*j, 10 = -3*h - 4*j. Suppose -3*i - 21 - 3 = 0. Let u be (i/10)/((-4)/(-20)). Sort 0, h, u in descending order.
0, h, u
Let d be (188/8)/((-5)/2). Let n = -77/137 + 26611/2740. Let v = n + d. Sort v, 5, 0.1 in increasing order.
v, 0.1, 5
Suppose 5*l + 4 = -1. Put -1/6, l, -1/2 in decreasing order.
-1/6, -1/2, l
Let j = 11 + -22. Let u = j - -15. Sort 0.5, 1/8, u in descending order.
u, 0.5, 1/8
Let o = 6 + -1. Suppose 0 = 3*b + u + 4, 0*b - o*u - 20 = -b. Sort -1, -2, b in increasing order.
-2, -1, b
Let k = 1.03 - 0.03. Let n = k - 1. Sort 1, n, -2 in increasing order.
-2, n, 1
Let f = -0.3 - -0.5. Let u = 0.07 - 0.11. Let h = u + 0.44. Sort h, 2/7, f in descending order.
h, 2/7, f
Let k(x) = -x**3 - 12*x**2 - 12*x - 6. Let a be k(-11). Put -4, -5, a, 4/9 in decreasing order.
a, 4/9, -4, -5
Let c(z) = -2*z + 14. Let t be c(5). Put t, 1/2, -0.04 in descending order.
t, 1/2, -0.04
Let c be 2/(-9) + 83/9. Let y be (-3)/6 + c/2. Suppose p - y = 4*h - p, 5*h = 2*p - 5. Put 3, 4, h in increasing order.
h, 3, 4
Let h = -8 - -16. Let t be ((-3)/6)/((-1)/h). Let v be 0 + -1 + (0 - -1). Sort v, -2, t in ascending order.
-2, v, t
Let v(u) = -u**2 + 6*u. Let q be v(5). Sort q, -3, 3 in descending order.
q, 3, -3
Let y = -0.11 + 0.16. Let n = 3.05 - y. Sort 2, -1/8, n in descending order.
n, 2, -1/8
Let p be (-28)/6 - (-2)/3. Let m(c) = -3*c - 22. Let s be m(-9). Let k = s + -10. Sort k, p, 5 in descending order.
5, p, k
Let h(o) = -16*o**2 - o - 1. Let u be h(-1). Let t be (u/(-32))/(1/4). Let p = 3 - 4. Put t, p, 3 in decreasing order.
3, t, p
Let w be (-2)/(3/(6/(-5))). Let y = -12 + 11. Suppose -h = 2*j - 6*h - 14, 0 = 2*j - h - 6. Sort j, y, w.
y, w, j
Suppose 13*k - 12 = 10*k. Sort 5, 1, -1, k in descending order.
5, k, 1, -1
Suppose -8 = -3*q + q. Sort -4, q, 0 in ascending order.
-4, 0, q
Let b = 23 + -23. Let i = b + -2. Sort i, 0, 1/5 in decreasing order.
1/5, 0, i
Let l be ((-3)/3)/((-1)/(-5)). Suppose r - 4 + 6 = 0. Let s be r - 13/(-4) - 2. Put 4, s, l in descending order.
4, s, l
Suppose 0*i = -i + 2*m + 93, 0 = 5*i - 3*m - 465. Let b = 650/7 - i. Put b, -2, -1/2 in increasing order.
-2, -1/2, b
Let y(q) be the second derivative of q**4/12 - q**3/6 + q**2 + 3*q. Let o be y(2). Sort o, -2, 1 in decreasing order.
o, 1, -2
Let r be (2/3)/(6 + (-88)/15). Sort 2, r, 0 in decreasing order.
r, 2, 0
Let r = 0.2 - -1. Let j = r + -4.2. Put j, 0, -0.3 in descending order.
0, -0.3, j
Suppose 0 = 2*m - b + 2, -4*m - 6 = 3*b + 18. Let c(o) = -12*o**3 + o - 1. Let i be c(1). Let j be 18/i*2/3. Sort j, 2, m in descending order.
2, j, m
Suppose -3*t + 2*m = -30, 3*t + 5*m - 4*m = 39. Let g = 8 - t. Let k = -9 + 9. Put -5, g, k in descending order.
k, g, -5
Let f(y) = y**3 - 5*y**2 + 5*y - 5. Let s be f(4). Suppose -2*r + 2 = 3*d, -2*d - 3*r = r + 4. Put s, d, 5 in ascending order.
s, d, 5
Let s = 1/17 - -6/187. Let u = -19 - -17.4. Let o = u + 1.4. Put 0.5, s, o in ascending order.
o, s, 0.5
Let m = -185 + 185. Sort 1, m, 44 in descending order.
44, 1, m
Suppose 5*s - 2*s + 10 = 5*l, -4*l = 4. Let u be 2/(-6) - (-2)/(-3). Sort s, u, 1 in descending order.
1, u, s
Let d = 752/15 - 148/3. Let h = 0.9 + -1.2. Put 3, d, h in increasing