*2 - 5*v - 46. Let c(f) = 6*a(f) - 17*u(f). Let m be c(6). Sort 2/5, 2/7, m, -3.
-3, 2/7, 2/5, m
Suppose 0 = 8*g - 5*g - 21. Let f(a) be the first derivative of a**4/4 - 2*a**3/3 + a**2/2 + a - 20. Let c be f(1). Sort g, c, -3.
-3, c, g
Suppose 2*d + 2*d + 8 = 0. Let r(h) = -4*h. Let f be r(-5). Suppose -a = a + 3*c - 1, 5*c + f = a. Sort -1, a, d.
d, -1, a
Let z = -68 + 5645/83. Let l = -177/913 + z. Let d = -1 + 1. Put -0.1, l, d in descending order.
d, -0.1, l
Let d = 46.5 - 47. Sort 4, d, -5, 2 in descending order.
4, 2, d, -5
Let j(f) = -13*f + 12. Let x be j(11). Let w = x - -652/5. Let c = 0.18 - -0.22. Put -1/6, c, w in decreasing order.
c, -1/6, w
Let h = 8432.269 + -8437. Let s = h + -0.239. Let t = -0.03 + s. Put -3, 0.1, t in decreasing order.
0.1, -3, t
Let z(b) = -4*b + 5. Let q be z(-2). Suppose -4*s = 5*t - 0*t - q, -4*t + 5*s = -35. Suppose -t*p + 10*p = 30. Sort 1, p, 2 in ascending order.
1, 2, p
Suppose 11 = 3*c + 2*p - 1, 21 = 3*c + 5*p. Suppose -12 = -3*b - 10*i + 15*i, 4*b = -i - 7. Put 5, c, b in decreasing order.
5, c, b
Let g(y) = y**3 - y**2 - 3*y - 6. Let d be g(4). Suppose 2*c = 5*f - 0*c + 36, 3*f = 4*c - d. Put f, 1/3, 3 in ascending order.
f, 1/3, 3
Let a = 28.17 - -0.13. Let f = 28 - a. Sort f, -4, 2/9 in decreasing order.
2/9, f, -4
Let h = 223.3 - 223. Let f = -3 - -2.99. Let p = -4.01 - f. Put h, -2/5, p in ascending order.
p, -2/5, h
Let s = -7 + 18. Suppose 232*z = 228*z - 8. Put s, 2, z in decreasing order.
s, 2, z
Let b be (-6)/(5 + 7)*(5 - 3). Sort -104, 5, b.
-104, b, 5
Let h = 0.105 + -66.105. Sort -0.1, h, -2 in increasing order.
h, -2, -0.1
Let i = 181.4 + -181. Sort 1/2, 0, i in increasing order.
0, i, 1/2
Let x be ((-2)/7)/(20/(-280)). Suppose -p = x*p - 30. Suppose -4*k + 4*a = 0, -3*k + 3*a = -a. Put k, -2, p in ascending order.
-2, k, p
Let o(p) = -p**2 - 10*p + 8. Let m be o(-11). Let z be 36/168*(-4)/m. Sort z, 3, -1/4.
-1/4, z, 3
Let w = 0.012 - 0.041. Let n = w + 0.029. Sort -4, 5, n, -4/5 in descending order.
5, n, -4/5, -4
Suppose 0 = -2*s + 2 + 6. Let z be (1 - 6/(-3))/s. Let t = 115.4 + -115. Put t, z, -3/2 in descending order.
z, t, -3/2
Let c(w) = -w**3 + 5*w**2 + 4*w + 8. Let z be c(6). Put -5, 2, 18, z in decreasing order.
18, 2, z, -5
Let k(l) = l**3 - 9*l**2 + 23*l - 60. Let y be k(7). Sort -1, 9, y.
-1, y, 9
Let w = 113 - 115. Let v be (10/8)/((-1)/4). Put v, 4, w in decreasing order.
4, w, v
Let o be (1/(-3))/((-1)/(-3)). Let l = o - -3. Let d(k) = -2*k**3 + 2*k**2 - k - 1. Let v be d(-1). Sort -5, v, l in ascending order.
-5, l, v
Suppose 10*n - 8*n = 10. Let g = -5 + n. Suppose 0 = 4*k + 2*d - 7 + 1, -4*k - 3*d + 1 = g. Put k, -0.2, -1/8 in increasing order.
-0.2, -1/8, k
Let u(v) = v**3 - 13*v**2 - 13*v - 16. Suppose -4*q - 25 + 81 = 0. Let g be u(q). Put g, -3, -2/13, 3 in increasing order.
-3, g, -2/13, 3
Suppose 18*g + 10 = 23*g. Sort 4, g, -1/5, -1/7.
-1/5, -1/7, g, 4
Let t = 0.1 + -5.7. Let v = 1.4 - t. Suppose 2 = -b + x, 4*x - 2*x = 6. Put -0.2, v, b in ascending order.
-0.2, b, v
Let r = -16052 - -16068. Let q = 1 - 0. Sort q, r, -4.
-4, q, r
Let b(d) = d**3 - 24*d**2 + 23*d + 26. Let c be b(23). Let l = -27 + 28. Put c, -3, l in ascending order.
-3, l, c
Let u = -3.72 - 0.08. Let x = u + 3.3. Put 0.1, x, -2/5 in ascending order.
x, -2/5, 0.1
Let t = 722 + -718. Sort -8, -4, -3, t in decreasing order.
t, -3, -4, -8
Suppose 125 = -5*v + 5*x, 0 = 3*v - 2*v + x + 33. Let a = 31 + v. Put -3, 5, 3, a in ascending order.
-3, a, 3, 5
Let j(m) = m**2 - m - 1. Let p(r) = r**3 - 10*r**2 - 2*r - 7. Let k(z) = -4*j(z) - p(z). Let x be k(7). Sort 0.5, 3, -5, x.
-5, 0.5, 3, x
Let b(y) = 12*y - 747. Let m be b(63). Sort m, -2/5, 3/4.
-2/5, 3/4, m
Let q = 0.57 + 4.43. Put 64, 4, q in decreasing order.
64, q, 4
Let t = -87.06 + 87. Let s = -1.4 + 0.8. Let i = s - -0.9. Sort -1, i, t in descending order.
i, t, -1
Let p = -1.156 - -1.056. Sort -4, -2/3, p, 1.2 in decreasing order.
1.2, p, -2/3, -4
Let c(h) = 4*h**2 + 3*h**2 - 5 + 0*h**2 - 6*h**2 - 3*h. Let q be c(5). Let w = 4 - 1. Sort w, q, -4 in decreasing order.
q, w, -4
Suppose 78*s + 280 = -5*n + 80*s, 5*n = s - 280. Sort 4, n, 5 in decreasing order.
5, 4, n
Let i(h) = -6*h**2 - 9*h - 7. Let a be i(-2). Put a, 2, 10 in decreasing order.
10, 2, a
Suppose -2*g - 6 = -5*g. Suppose -4*z + 51 = -21*z. Sort z, g, 5 in increasing order.
z, g, 5
Let z(w) = 25*w**2 + 68*w. Let h be z(-3). Put -5, 5, -3, h in decreasing order.
h, 5, -3, -5
Let i = 479/582 + 1/97. Sort 1, -3/5, i.
-3/5, i, 1
Suppose 0 = 27*c + 3 - 30. Sort 16, c, -4, -7.
-7, -4, c, 16
Let a(n) = -n**2 + 5*n - 12. Let b be a(8). Let r = b - -35. Put r, 3, 5 in ascending order.
r, 3, 5
Let v = 44 + -43. Suppose 5*k + 2*x = -6, 2*x + 7 = -2*k + v. Sort 6, k, 3 in descending order.
6, 3, k
Let j = 10.5 + -1.9. Let g = 17 - 25. Let q = g + j. Sort -2, 2, q in decreasing order.
2, q, -2
Suppose -7*u - 163 - 33 = 0. Sort 2/9, u, -0.5, 3.
u, -0.5, 2/9, 3
Suppose -5*r + 3*w + 3 = -7, r = 3*w - 10. Sort -6, 1, r, -1 in ascending order.
-6, -1, 1, r
Let q(b) = -b**3 + 7*b**2 + 2*b - 3. Let i be q(7). Suppose -i - 8 = -h. Let k = 17 - h. Sort -4, k, 1 in descending order.
1, k, -4
Let x = 855 - 859. Sort 5, 4, -5, x in descending order.
5, 4, x, -5
Let b = -396 + 395.9. Sort b, 37, 0.4 in decreasing order.
37, 0.4, b
Suppose -5*k + 20 + 14 = -3*r, 0 = 4*r - k + 17. Sort r, -2, -42 in decreasing order.
-2, r, -42
Let d(r) = -r**3 - r**2 - r + 1. Let z(c) = -6*c**3 - 4*c**2 + 2*c. Let a(l) = -5*d(l) + z(l). Let p be a(3). Sort p, 9, -3, -5.
-5, -3, p, 9
Let f = -143 + 167. Sort 0, 2, 3, f in decreasing order.
f, 3, 2, 0
Let p(f) = f + 2. Let a be p(0). Let t(h) = -h - 1. Let g be t(a). Let b = 106.8 - 107. Sort b, 1, g.
g, b, 1
Let p = -150 + 153. Put 5, p, -11 in increasing order.
-11, p, 5
Let r(v) = -2*v. Let j be r(-2). Let q(w) = w**3 - 7*w**2 - 6*w - 15. Let h be q(8). Sort 3, h, j in descending order.
j, 3, h
Let b = -4 + 7. Let r = 0 + 5. Let z be 18/18*1/(-2). Put r, b, z in increasing order.
z, b, r
Suppose 10*q = 8*q + 4. Suppose -q*y = -5*y + 5*b - 14, 3*y - 3*b + 6 = 0. Sort 1, y, 3 in descending order.
3, y, 1
Let n = 58 + -60. Suppose 2*z - 4 = -2*p, 4*p + 3*z - z - 18 = 0. Sort p, 3, n in ascending order.
n, 3, p
Let z(p) = -p**3 - 19*p**2 - 23*p + 18. Let q be z(-18). Let x be (-6)/4 + 186/q. Put -4, x, -2/35 in decreasing order.
x, -2/35, -4
Let l be ((-11)/14)/11*-1. Let t = -10/7 - l. Sort t, -1, -4, 8.
-4, t, -1, 8
Suppose 0 = 3*n - 2*n + 4, -5*x + 4*n + 6 = 0. Let t = 3.94 + 0.06. Put 0.1, x, t in increasing order.
x, 0.1, t
Let s be 4 + 7/((-35)/20). Suppose s = 11*h - 17 - 27. Put -3, 2, h in decreasing order.
h, 2, -3
Let i(t) = 2*t**3 + 23*t**2 + 10*t + 4. Let o be i(-11). Sort -1, o, 11 in increasing order.
-1, 11, o
Let n(r) = -r**2 - 2*r + 18. Let p be n(-8). Let a be (-12)/24*8/p. Let x = -0.07 - 0.23. Sort 0.06, a, x.
x, 0.06, a
Let d = -53 - -56. Sort d, -1, 2.7, 1 in descending order.
d, 2.7, 1, -1
Let u = -59.2 + 59.6. Sort u, 2/3, 10/9 in decreasing order.
10/9, 2/3, u
Let p = 17 - 14. Suppose -3*x = -2*x + p. Let h = 245 - 275. Put h, x, -4 in decreasing order.
x, -4, h
Suppose u - 2*j - 7 = 0, -3*j = u + 4*u - 22. Suppose -i + 2*o = 2*i + 17, 0 = i + 2*o - u. Put 2, -8, i, 4 in increasing order.
-8, i, 2, 4
Let s = 65 + -65.06. Sort -2/3, -2, s.
-2, -2/3, s
Let i = 287 - 282. Sort i, 1/3, -1.
-1, 1/3, i
Let g = -142 - -549. Sort g, 0, 4.
0, 4, g
Let t be 7/((-147)/35)*12/(-1). Put t, 2, 1, -1 in ascending order.
-1, 1, 2, t
Let q(z) = z**3 + 3*z**2 - 8*z + 14. Let c be q(-5). Put 6, -1, c, 1 in descending order.
6, c, 1, -1
Let o = -0.2197 - 1.7873. Let j = o - -0.007. Sort 0, 0.2, j, 0.4 in descending order.
0.4, 0.2, 0, j
Suppose 3*p + 180 = -3*x + 6*p, x = 4*p - 66. Sort -2, x, 0, 1 in ascending order.
x, -2, 0, 1
Let k(o) = -5*o**2 - 29*o + 5. Let q be k(-6). Sort 1, -28, q in ascending order.
-28, q, 1
Let x = 51.2 - 64. Let b = -11 - x. Let w = -2.1 + b. Sort -1, -1/4, w.
-1, w, -1/4
Let q = 10.9453 - -0.0547. Sort -1.4, q, 0.5 in descending order.
q, 0.5, -1.4
Let u(c) = 19*c + 287. Let v be u(-15). Put -14, v, 0 in ascending order.
-14, 0, v
Suppose -12 = 2*r + 4*b, 6*r + 12 = 2*r - 5*b. Suppose 2*x - 3*x + r = 0. Suppose -4*f + 10 = 3*g, 