407. Put 3, -0.5, a, 4 in decreasing order.
4, 3, a, -0.5
Let u = -6.2 + 5. Let z = -18.9 + 20. Let b = z + u. Sort -1, 2/7, b.
-1, b, 2/7
Suppose 0 = 3*f + 2*f - 5. Let r(i) = -40*i + 529. Let n be r(13). Put n, f, 0, -1 in descending order.
n, f, 0, -1
Suppose 6*d - 181 = -61. Let i(h) = h**2 - 16*h - 82. Let x be i(d). Suppose 0*p - 2*p + 10 = 0. Sort x, p, 0 in descending order.
p, 0, x
Let d = -166 - -183. Put 1/4, 0.2, d, -4/9 in increasing order.
-4/9, 0.2, 1/4, d
Let g(p) = -p**2 + 49*p + 806. Let o be g(62). Sort o, -2, 37 in increasing order.
-2, o, 37
Suppose 10*v + 3*v + 39 = 0. Sort 0.074, 0.3, v in increasing order.
v, 0.074, 0.3
Let k = -11 - -120/11. Sort -3/5, 6, k in increasing order.
-3/5, k, 6
Let v = -19 - -18.8. Let b = v - -0.21. Sort b, -5, -0.3, 1/6 in decreasing order.
1/6, b, -0.3, -5
Suppose 27*v + 144 = 738. Put 5, v, 9, 2 in ascending order.
2, 5, 9, v
Let m(j) = j + 1. Let b be m(0). Let y be 2*(3 - -1)/(2/1). Suppose 3*x - 2*l - 1 + y = 0, x + l + 6 = 0. Sort 3, x, b in ascending order.
x, b, 3
Let b = -8 + 13. Let u(a) = a - 7. Let o be u(b). Let i = -0.159 - -0.259. Sort i, -2/19, o in descending order.
i, -2/19, o
Let b = 9.06 - 11.06. Sort 3, -2/9, b in increasing order.
b, -2/9, 3
Let a be (-5)/(-4)*96/(-24). Let m be 78/(-15) - 1/a. Put 1, m, -6 in increasing order.
-6, m, 1
Let p(l) = -6*l - 145. Let r be p(-16). Put r, 4, 5 in ascending order.
r, 4, 5
Suppose 2*s = -0*s + 28. Suppose w + 0 = 2*b + 5, s = -4*b - 2*w. Put -2, 1, 5, b in decreasing order.
5, 1, -2, b
Let l = -217 + 207. Sort l, -2, 15 in decreasing order.
15, -2, l
Suppose 3*f - 3*g = -123, -4*f - 192 = -5*g + 8*g. Put 4, 2, -1, f in descending order.
4, 2, -1, f
Suppose -9 = u - 2*o - o, 0 = 4*u + 2*o - 34. Sort u, -4, 14 in increasing order.
-4, u, 14
Let r be (-14)/(-4) - 3/6. Let t be 4/6*(-13 + (-574)/(-28)). Sort r, t, 4 in descending order.
t, 4, r
Suppose 12 = -4*t + 8. Let r be -2*t*(-6)/(-4). Put -26, r, 2 in descending order.
r, 2, -26
Suppose 0 = -4*d - 2*t - 3*t + 9, -2*d = -3*t + 1. Let u be (-2)/4*d*-8. Sort 0.2, -4, u.
-4, 0.2, u
Let y = -1.178 + -1.822. Let m be 2/(-3)*(-15)/4. Put 2/7, y, m in descending order.
m, 2/7, y
Let o be (-304)/(-72) - (2/9)/1. Let m be ((-15)/(-20))/(1/o) + 1. Put -3, -1, m, 3 in descending order.
m, 3, -1, -3
Let c = 5 + -7. Suppose -l + 2*u - 12 = 0, -4*l + u - 6 = 14. Put l, c, -1 in descending order.
-1, c, l
Let b = -5 + 5. Suppose 3*g = 4*w - 6, b = 2*g - 4*w + 6*w - 10. Suppose d + 2*u = 2, 0 = -2*d + g*u - 11 - 3. Put -15, 5, d in decreasing order.
5, d, -15
Let k(b) = b**3 + 10*b**2 - 12*b + 10. Let v be k(-11). Let n = -19 + v. Sort -3, n, -0.4 in decreasing order.
n, -0.4, -3
Let n(k) = 25*k - 222. Let r be n(9). Put -2, r, -17, -1 in decreasing order.
r, -1, -2, -17
Let j = -1 - 2. Suppose -20 = -4*m, k - 20 = 6*k + m. Sort k, 5, 6, j in decreasing order.
6, 5, j, k
Let i(p) = p - 11. Let a be i(13). Let z be 15/(-4) + 16/(-64). Sort z, a, 5 in descending order.
5, a, z
Suppose -4*h - 9 + 25 = 0. Suppose h*j - 15 = 5. Let k be (3 - (-2)/(-2)) + 35/(-20). Sort j, 1/5, k in descending order.
j, k, 1/5
Let k(q) = -4*q + 41. Let v(m) = -21*m + 206. Let u(j) = 11*k(j) - 2*v(j). Let i be u(18). Sort i, 2, 5 in descending order.
5, i, 2
Suppose -p - 4*x + 3 = -12, -5*p - 3*x + 24 = 0. Sort -4, -10, p, -1.
-10, -4, -1, p
Let c be (16 + -1)*3/((-81)/(-18)). Put 6, -1, c, 2 in descending order.
c, 6, 2, -1
Let v(c) = -c**3 - 20*c**2 - 18*c + 27. Let y be v(-19). Let i be (-36)/y*2/3. Put 5, -2, 4, i in descending order.
5, 4, -2, i
Let n(d) = -d - d + 3*d - 13. Let m be n(8). Put 2, m, -2 in ascending order.
m, -2, 2
Let w = -5/17 + -9/85. Let b be ((-40)/12)/((1 - -5)/(-18)). Suppose b*o - 2*o = -32. Sort w, -0.6, o in ascending order.
o, -0.6, w
Let m = 3406129 + -3501499837/1028. Let p = m + -1/257. Sort p, -0.02, -1.
-1, -0.02, p
Suppose 15*p + 3*r = 10*p + 15, 3*p + 5*r - 9 = 0. Sort 5, 0, -30, p in descending order.
5, p, 0, -30
Suppose -4*z + 2*o - 16 = 0, -2*z + 8*o - 3*o = 0. Put 2, 8, z in increasing order.
z, 2, 8
Suppose 16 = 2*l + 2*t, t = 4*l - 3*l. Suppose 0 = 10*m - m + 36. Sort 1/4, -4/5, m, l in decreasing order.
l, 1/4, -4/5, m
Let v(z) = 2*z**2 - 20*z - 1. Let f be v(10). Sort -2, -97, f in descending order.
f, -2, -97
Let o = -42429/5 - -8415. Let j = o + 71. Put j, -4, 0.1 in increasing order.
-4, 0.1, j
Let o = 42 - 53. Let z = -21 - -21.3. Sort o, z, 0.5 in ascending order.
o, z, 0.5
Let m be (-1)/(27/(-2) - -5). Let g = 0.09 + -0.05. Sort g, m, -2/7.
-2/7, g, m
Let c = -5 - -2. Let u = 528 - 528.2. Put u, c, 1/3, -4 in decreasing order.
1/3, u, c, -4
Let k = -0.79 + -13.21. Let o = k - -14.3. Sort 15, o, -2/3 in decreasing order.
15, o, -2/3
Suppose -3*c = 2*d + 3, 4*d = -d - 4*c + 3. Suppose 5*i + 1 = d*o - o, 0 = -4*o - 4*i + 16. Suppose -3*v = 1 + 2. Sort v, o, -4.
-4, v, o
Let s(m) = 3*m - 8. Let r be s(5). Let q(y) = -3 - 1 - 8 + y. Let b be q(r). Put b, -2, 5 in ascending order.
b, -2, 5
Let c be -53 + 2 - 12/(-3). Let z = -48 - c. Put 2, -5, z in descending order.
2, z, -5
Let k(x) = -x**3 - 8*x**2 - 8. Let q be k(-8). Suppose 4*r - 20 = 0, 3*w + 43 = 4*r + 14. Sort q, w, -1, 2 in decreasing order.
2, -1, w, q
Let f be ((-4)/(-21))/(0 + (-42)/49). Sort 0, -2/5, -32, f.
-32, -2/5, f, 0
Let a(v) = v + 1. Suppose -5*y - m = 2, m + 0*m = y - 2. Let d be a(y). Suppose 10 - d = 3*c. Sort c, -0.2, -1.
-1, -0.2, c
Let y = -12.5 + -0.5. Let r = -37.9 + 50.83. Let a = r + y. Put a, 2/11, -0.4 in descending order.
2/11, a, -0.4
Let o = -36 + 26. Let v = -15 - o. Suppose -r - 2*m = r - 6, 0 = -2*r + m - 9. Sort v, 6, r in descending order.
6, r, v
Suppose 4*a - 4*s - 3 = -7, 3*s = a + 11. Let t = 40 - 24. Let k = 18 - t. Put a, k, 0 in decreasing order.
a, k, 0
Let j = -31 + 33. Let z be (1 + (-12)/15)*5. Sort -5, z, j in decreasing order.
j, z, -5
Let s(y) = -y**2 - 6*y + 12. Let o be (21/(-6) - -2)/(6/32). Let i be s(o). Sort -29, i, -2 in decreasing order.
-2, i, -29
Let b = -40 + 50. Put -1/3, b, -1, -0.5 in increasing order.
-1, -0.5, -1/3, b
Let m(r) = -2*r**2 + 13*r - 14. Let o be m(5). Sort o, 0, -9, 5 in descending order.
5, o, 0, -9
Let m = 176.92 + -172. Let j = m - -0.08. Let s = j - 1. Put s, -2, -1/4 in ascending order.
-2, -1/4, s
Suppose 34*q - 30*q - s + 21 = 0, 0 = -4*s - 12. Sort -39, -0.5, -1, q in decreasing order.
-0.5, -1, q, -39
Let x = 49.2 + -45.6. Sort -2/5, x, -1/4 in increasing order.
-2/5, -1/4, x
Let d(p) = -3*p + p**3 + 3*p**2 + 1 + 5*p**2 - 6*p + 2. Let z(f) = 8*f**3 - 2*f**2 + 1. Let h be z(-1). Let w be d(h). Sort -6, 2/3, w in descending order.
w, 2/3, -6
Let p(j) = -j**2 - 1119*j + 3367. Let r be p(3). Let c be -3 + 2 + 2 + -2. Sort -2, -8, c, r in descending order.
r, c, -2, -8
Let h be 4 - -3 - (-1 + (-6)/(-3)). Suppose 0 = -2*g + h*g - 20. Put -13, 3, g in descending order.
g, 3, -13
Let i be (14 + -8)*1/2. Let s = 27 + -22. Sort s, -1, i in increasing order.
-1, i, s
Let x be 8/(-52) + (-76)/13. Put -8, x, -5 in ascending order.
-8, x, -5
Let g be (9/(-2))/(-3)*(-6)/(-9). Let x be (g - (-14)/(-10)) + (-345)/75. Sort -1, x, 7.
x, -1, 7
Let k = 546 - 546.044. Sort 0.4, 2, -4, k in decreasing order.
2, 0.4, k, -4
Suppose -32*w + 18*w + 56 = 0. Sort w, 0, -3, -7 in increasing order.
-7, -3, 0, w
Suppose -51*s = -47*s + 4. Sort 0, 2, s in descending order.
2, 0, s
Let p = 8.7 + -8.638. Let z = p + -0.162. Sort 3, -2, z, -4/9 in ascending order.
-2, -4/9, z, 3
Let n be (3/(-9))/((-6)/18). Let d be -3 + (-27)/12 + n/4. Sort d, 1, -4, -3 in ascending order.
d, -4, -3, 1
Suppose -3*f + 23 = 2*t, 5*t - f = -5*f + 40. Suppose 26 = 5*o - t*a, -5*o = -o + 2*a. Put -56, -5, o in ascending order.
-56, -5, o
Let s(z) = -1 - 3 + z + 3. Let x be (-124)/(-24) - (-2)/(-12). Let h be s(x). Sort -5, h, -2 in decreasing order.
h, -2, -5
Let d be (0 - -1) + (-4)/12. Let a = 0.3 - 0.32. Let i = 15 - 19. Sort d, i, a in descending order.
d, a, i
Let d = 7.9 - 14.8. Let y = d - -8.9. Sort -13, y, -0.5 in decreasing order.
y, -0.5, -13
Suppose 4*z + 0*z - 3*a + 14 = 0, 0 = 2*z - 3*a + 10. Put -1, 1, z in descending order.
1, -1, z
Suppose -4*v = -w - 11, 2*v = w - 3*v + 12. Let g(h) = h**3 + 19*h**2 + h + 23. Let k be g(-19). Put k, -5, w in increasing orde