17 - 13. Let m(s) = -s**2 + 17*s + 2. Let v be m(9). Let x be 2/7 + v/(-14). Sort a, x, -4 in descending order.
a, -4, x
Let f = 0.64 + -0.32. Let u = f - 0.269. Sort 1/8, u, 0, 5 in ascending order.
0, u, 1/8, 5
Suppose -114*u + 115*u + 2*t = 56, 0 = -3*u - 4*t + 160. Sort 1, -5, u in descending order.
u, 1, -5
Suppose 2*w - 3*w = -4. Let n = -2 + -1. Let b = -98 - -98. Sort n, b, w in descending order.
w, b, n
Suppose -5*n - 3*z = -3, -z - 8 = -3*n + 5. Suppose 4*f - 7*t = -3*t + 12, n*f = t + 11. Put -2, f, -3 in increasing order.
-3, -2, f
Let l(f) = -f**3 - 12*f**2 - 37*f - 9. Let k be l(-6). Put k, 3, 17, 4 in descending order.
17, 4, 3, k
Let i = 22.1 - 21.9. Let s be 2/(-3)*(-10)/(-8). Let v = -774/7 - -110. Put i, s, v in increasing order.
s, v, i
Let p = -1.2 - -0.4. Let l = -5.8 - p. Sort -4, l, 4.
l, -4, 4
Let s(j) = j**2 - 20*j + 88. Let y be s(8). Sort -4, y, -3, 4 in ascending order.
y, -4, -3, 4
Let u = 1 + 118. Suppose 21 = 5*t - u. Let z be (-21)/t + (-2)/8. Put 0, 2, z in increasing order.
z, 0, 2
Suppose -z + 4*l - 17 = 0, 4*z + 0*z - 5*l + 13 = 0. Let h be -6 + (2 - (z - 2)*-2). Suppose -4 = 4*x - 4*d, 2*x + 3*x - 40 = -4*d. Sort h, x, 2.
h, 2, x
Let z be (-26)/(-12) - 11*(-20)/(-110). Sort -4, 23, z.
-4, z, 23
Let q = 475.065 + -480. Let y = -0.065 + q. Sort -1/2, y, 0, -0.4 in descending order.
0, -0.4, -1/2, y
Let f be (-2)/(-13) + (-99)/(-117). Sort 3, f, 0, -1 in descending order.
3, f, 0, -1
Let g(j) be the first derivative of -j**2/2 + 10*j - 3. Let c be g(8). Suppose -9 = c*b + 1. Put b, -0.1, 1 in descending order.
1, -0.1, b
Suppose -3*m - 5 = -4*c - 2, -4*m - 2*c = 26. Let z(l) = -l**2 - 10*l - 8. Let p be z(-9). Let d = p + -4. Sort d, m, 2 in descending order.
2, d, m
Let m be 0 - (3 + -4)*4. Suppose -m*j + 22 - 2 = 0. Suppose 5*w + s - 20 = 0, 5*w = 2*s + 3*s + 20. Sort -1, j, w.
-1, w, j
Let t = 0 + 0.6. Let f = t + -0.9. Let n = 0.1 - f. Sort n, -2/5, 4 in decreasing order.
4, n, -2/5
Let n = -15 + 27. Suppose 5*v + 5*o = 2*o + n, -4*v = 4*o - 8. Suppose -12 = -0*z + 3*z. Sort v, z, -3 in decreasing order.
v, -3, z
Let o be 21/(-105) + 9/(-5). Let v(m) = -m**2 + 5*m + 10. Let u be v(6). Put u, -5, -8, o in increasing order.
-8, -5, o, u
Let q = -3.579 - -0.079. Let n = 7.5 + q. Sort -3, n, 1/5.
-3, 1/5, n
Let r = 0.76 + -1. Let p = 0.16 - r. Let h = 0.49 - 0.49. Put 0.5, p, h in descending order.
0.5, p, h
Suppose -3*o - 8 = -2*l, -5*l + l - 16 = 2*o. Sort 6, o, -3, -5 in increasing order.
-5, o, -3, 6
Let s = 47 - 45. Let x(y) be the first derivative of y**4/4 + 2*y**3 - 3*y**2 + 4*y - 2. Let l be x(-7). Sort s, -4, l in increasing order.
-4, l, s
Suppose -g + 15 = -3*j, -3*g = -5*g + 4*j + 22. Sort g, -2, -1, -53.
-53, -2, -1, g
Suppose -2*y + 8 = 0, 3*a - 1 = -3*y + 11. Let t = 9 + -5. Let u = a + t. Put -2, 11, u in descending order.
11, u, -2
Let k be 234/90 + (-2 - (-2 - -2)). Let z be 12/(-15) - (-21)/20. Sort k, z, 8/5 in increasing order.
z, k, 8/5
Suppose y + 12 = -3*t - 5, -3*y - 5*t - 31 = 0. Let u be ((-25)/75)/(34/(-24) - -2). Put u, -1, y, 4/7 in decreasing order.
4/7, u, -1, y
Suppose -31*p + 30*p = 1. Sort 6/5, 4/9, p.
p, 4/9, 6/5
Suppose -5*d - 41 = 4*a, 10 = -5*d - 15. Suppose -5*u + 3*b = 5*b - 33, -9 = -5*u + 4*b. Put 1, 2, a, u in ascending order.
a, 1, 2, u
Let d be (9/3)/1 + -2. Suppose -a = -m + 6, 28*m - 30*m - 18 = 4*a. Suppose l = -g, -2*l = 2*l - 2*g + 18. Sort l, d, a in decreasing order.
d, l, a
Let o = 5.8 + -33.8. Let n = 11.2 - -16.3. Let h = o + n. Sort -2/3, 1/2, h in descending order.
1/2, h, -2/3
Suppose -w = -62*l + 66*l - 1, 5*l = 4*w - 25. Let s be 5/(-2) + (-1)/2. Let x be (-1 - -3) + s - -1. Put w, x, 3 in ascending order.
x, 3, w
Suppose -9 = -3*d - 5*y, 2*d + 2*y = 37 - 31. Sort -10, d, 0, 2/9 in ascending order.
-10, 0, 2/9, d
Let w(k) = -k**3 - 4*k**2 - 4*k - 1. Let p be w(-3). Suppose 0 = x + 5*i + 6, -3*i - 3 = -x + 7. Suppose 4*a = 5*a - 3. Put p, x, a in decreasing order.
x, a, p
Let h = -102.16 - -102. Let r = -5 - -4.76. Let o = h + r. Sort 0.9, 0.4, o in increasing order.
o, 0.4, 0.9
Let d be ((-14)/63)/(2/(-36)). Suppose r - 1 + 0 = 0. Sort -4, d, r, 2 in decreasing order.
d, 2, r, -4
Let o = 4.27 + 0.53. Let z = 5 - o. Put z, -0.1, 7 in increasing order.
-0.1, z, 7
Let n be -3 - (12/18 - 28/6). Sort 2, 0, -2/9, n.
-2/9, 0, n, 2
Let m(h) = -h**3 - 11*h**2 + 13*h + 14. Let g be m(-12). Suppose -2*p - 20 = 3*p. Sort 3, -1, g, p in increasing order.
p, -1, g, 3
Suppose 3*g - 2*d = -7 + 4, 0 = -2*d. Sort g, 6.3, 0.06 in ascending order.
g, 0.06, 6.3
Let v(b) = 4*b + 40. Let o be v(-10). Suppose k + 2 = o, 0 + 16 = 4*w - 4*k. Sort w, 3, -2, -9.
-9, -2, w, 3
Suppose -10 = -5*d - 5*p, -p = 9*d - 6*d. Sort -2, 12, d, -5 in descending order.
12, d, -2, -5
Let c be -2 - ((-2)/(-2) - 1). Let v(h) = -h**3 - 5*h**2 + 21*h + 110. Let d be v(-5). Put c, 0, d in increasing order.
c, 0, d
Let n(r) = r**3 - 42*r**2 - 2*r + 86. Let d be n(42). Suppose -3*o + 10 = -o. Sort d, o, -2 in descending order.
o, d, -2
Let l(x) = -x**2 + 4*x + 4. Let z be l(5). Let d = 9 - -87. Let t = d - 100. Put z, t, 2/3 in decreasing order.
2/3, z, t
Let x be (-3)/(-18) - (-9)/(-27). Let v be (-3)/9*2/(-5). Sort x, -2, v, -3/7.
-2, -3/7, x, v
Let j(g) = g - 14. Let d be j(16). Suppose 0 = -4*o - 4, 7*o = 4*h + d*o + 7. Sort h, -4, -1.
-4, h, -1
Let x = -1095 - -1155. Sort 0.3, -1/9, 4/7, x in descending order.
x, 4/7, 0.3, -1/9
Suppose 0*i + 2*a + 2 = 2*i, 5*i + 3*a = 37. Let o be 26/10*(i - 0). Suppose 4*f = -3*p - f - o, p + f + 3 = 0. Sort p, -2, -4/3 in descending order.
p, -4/3, -2
Let i = -40 + 33. Let k = -7 - i. Sort 2/9, 5, k.
k, 2/9, 5
Let c(m) = -18*m - 21. Let t be c(-1). Let p be (-2)/(-6)*1*0. Put 3, -4, p, t in descending order.
3, p, t, -4
Let h = -0.1943 + -0.1057. Put 3, 5, 1/13, h in descending order.
5, 3, 1/13, h
Let o = -69 + 67. Let r be 40/15*3/o. Sort 5, 4, r in decreasing order.
5, 4, r
Let f = -0.838 + -2.162. Let r = -0.05 - 3.95. Sort -1, r, 1/3, f in decreasing order.
1/3, -1, f, r
Let j(d) = 16*d + 27. Let p be j(-9). Let y = -101 - p. Sort 0, -3, -1, y in descending order.
y, 0, -1, -3
Let j = 1 + -0.1. Let q = 29.3 - -4.7. Let r = 33 - q. Put 2, j, r in descending order.
2, j, r
Let v = -0.2 - 4.8. Let m be (-3)/6 + (-22)/(-4) + -2. Sort m, -2, v in decreasing order.
m, -2, v
Let k(j) = j. Let b be k(-2). Let u = 35 - 36. Suppose 7*g + 30 = 2. Put b, g, u in decreasing order.
u, b, g
Let m be 6/3*31/(-2). Let x = 42 + m. Let s = x + -9. Put -1, s, -0.1 in descending order.
s, -0.1, -1
Let m(r) = -r**3 - 8*r**2 - 7*r + 3. Let k be m(-7). Let g be (-1)/2 - (-26)/(-4). Let j = g + 12. Sort j, k, -4 in descending order.
j, k, -4
Let v = -9986 + 9989. Let i(f) = -f**3 - 6*f**2 - 5*f - 4. Let k be i(-5). Sort v, 8, k in descending order.
8, v, k
Let u = 8.5 + -8. Let g = -651/10 - -65. Sort 5, g, u in decreasing order.
5, u, g
Suppose 2 = 2*g, k - 2*g + 2 = 6*k. Suppose k = l - 2 - 8. Suppose l*j = 8*j. Sort 5, -3, j.
-3, j, 5
Let n(z) = -z**2 + 12*z - 8. Let g be n(10). Let k be (-18)/g - 42/(-4). Let r(d) = -d**2 + 10*d - 13. Let o be r(k). Sort o, 2, -3.
o, -3, 2
Let u be (-5 + 3)*(1 + -7). Let v = 21 - u. Let d be 42/v - (-2)/(-3). Sort d, -5, 6 in decreasing order.
6, d, -5
Let j(f) = f**3 - 5*f**2 + 7*f - 1. Let b be j(1). Put 128, b, -4 in increasing order.
-4, b, 128
Let x be (4/34)/1 - (46 + (-4476)/102). Let j = 0 + 2. Put -8, x, -1, j in decreasing order.
j, -1, x, -8
Suppose -9 + 1 = -2*c. Put -1, -0.06, c, -0.2 in descending order.
c, -0.06, -0.2, -1
Let c be 22 + 1/(-1) + 1. Let a be (2/(-1))/(c/11). Sort 0, -2, a in ascending order.
-2, a, 0
Let g = -251.8 - -251.5. Sort -6, -4, g, 4 in increasing order.
-6, -4, g, 4
Suppose -3*u = 4*r - 120, 0 = 3*r + 2*r + 2*u - 150. Suppose -2*s = -0 - 4. Let k be (s/(-6))/((-2)/r). Sort k, -5, -3.
-5, -3, k
Let k be (-12)/3 - 748/(-140). Let w = k - 8/7. Sort 6, w, -0.3 in ascending order.
-0.3, w, 6
Let y(n) = -2*n**2 + 11*n - 14. Let q be y(4). Put -13, 5, q in ascending order.
-13, q, 5
Let u = 124/9 + -523/36. Let d be ((-4)/(-10))/1*-50. Sort d, 2/11, u in ascending order.
d, u, 2/11
Let z = -21313492/205 + 103969. Let i = -1940 - -79534/41. Let j = i + z. Put 2/9, 2, j in ascending order.
2/9, j, 2
Let 