7*l**2 + 17*l - 14. Let u be k(16). Sort o, u, -1 in descending order.
o, u, -1
Suppose 521 = -27*p + 467. Suppose o = -3*f + 18, o = -f + 3*f - 7. Put 1, p, o in decreasing order.
o, 1, p
Let t = -168.69 - -167.5. Sort -1, -3/2, t in ascending order.
-3/2, t, -1
Let b(f) be the second derivative of -f**3/6 + f**2 + 2*f. Let u be b(5). Sort 4, u, -14 in decreasing order.
4, u, -14
Suppose -m + 16 = 3*m + 6*z, 5*z = 20. Suppose -23 = 4*k - 3. Put m, 9, k in increasing order.
k, m, 9
Suppose 27 = 2*n - 5*p, -n + 6*n - p - 56 = 0. Suppose 0 = 5*f + h + 3*h - 5, -2*f + h = n. Let l be 8/(-3) - 2/(-3). Put 0.4, l, f in decreasing order.
0.4, l, f
Let h be (-1)/(-2) - 9/14. Suppose 5*f + 36 = -4*u, -2*f + 14*u - 16 = 16*u. Put f, -1/36, h in decreasing order.
-1/36, h, f
Let l = 28 - 55/2. Let h = 3.023 + -0.023. Sort h, l, 0.2 in increasing order.
0.2, l, h
Let f(k) = -7 - 5*k**2 - 19*k + 2*k**2 - 3 + 3. Let h be f(-6). Put h, 3, -2 in increasing order.
-2, h, 3
Let a = -1510/7 - -199. Let x = -120/7 - a. Sort x, -0.5, 5/4 in descending order.
5/4, x, -0.5
Suppose 0 = -4*m - 5*i - 22, 4*i = -5*m - 16 - 7. Let j be m*(-2 - (-6)/9). Suppose 0 = -p - j*a + 15, 4 = p + 2*a - 1. Sort p, 3, -2 in descending order.
3, -2, p
Let g = 7 - 6.5. Sort 3, -0.3, g in decreasing order.
3, g, -0.3
Let i = -0.787 + 0.287. Let q = 0.85 + -1. Let v = q + 14.15. Sort v, 1, i.
i, 1, v
Let y(p) = -3*p**2 - 3*p + 13. Let b be y(2). Sort -0.03, 0.2, b, -4/3 in decreasing order.
0.2, -0.03, -4/3, b
Suppose -4*w - v + 10 = v, 17 = 2*w - 3*v. Suppose -w*j = 5 + 23. Put 2, j, -3 in ascending order.
j, -3, 2
Let s = -1021 - -2281. Let n be (-2)/9 + s/1296. Sort -2/5, -4, n in decreasing order.
n, -2/5, -4
Let j = -0.4 + 1.6. Let g = 0.6 - j. Let m be (-28)/(-24) + 1/(-1). Put g, -1/8, m in increasing order.
g, -1/8, m
Let y = 34 + -36. Let m = -17 + 13. Put 3, y, m in descending order.
3, y, m
Let s(k) be the first derivative of -k**2 + 12*k + 2. Let z be s(5). Let t be (2 + 2)*2/(-2). Sort -5, t, z.
-5, t, z
Suppose 55*n - 15 = -4*m + 54*n, 0 = -m - 5*n - 20. Sort m, -2, 14 in descending order.
14, m, -2
Let p = 365419/6 - 60641. Let h = 261 - p. Put h, 0, -1 in decreasing order.
0, -1, h
Let v = -1452 + 1448. Let y = 3.8 + -4. Sort v, 2, y, -1/3 in descending order.
2, y, -1/3, v
Suppose 0 = -5*p + 5*a + 25, -22 = 5*p - 4*a - 42. Let i = 0.108 + -2.188. Let g = -0.08 - i. Sort p, -0.1, g in decreasing order.
g, p, -0.1
Let z = -26 - -46. Let y = -22.993 + -0.007. Let g = y + z. Put 2, 0.11, g in increasing order.
g, 0.11, 2
Let h be (8/10)/((-192)/480). Put 4, h, 1, 36 in descending order.
36, 4, 1, h
Suppose 2*y - 2*u = -20, -y = 3*y - 3*u + 37. Let i = -169 - -172. Suppose 0 = 5*p - 5*f, -4*p - 17 = i*f - 45. Sort y, p, 1 in increasing order.
y, 1, p
Let i = 1459/6 + -243. Put i, -3.6, 4 in ascending order.
-3.6, i, 4
Let d = -722 - -724. Put -3, -1, d, -25 in decreasing order.
d, -1, -3, -25
Let c = -3.887 - 0.113. Sort -1/9, c, -24 in decreasing order.
-1/9, c, -24
Let p = -29 - -46. Suppose 2*q = 71 - p. Suppose -4*a + 2*a + 3*n = -20, 5*a = -4*n + q. Sort 1, -1, a.
-1, 1, a
Suppose 1 = -z - a, 0 = -5*z - 2*a - 8. Let g = z - -6. Let k = -9/10 + 7/5. Put 1/4, g, k in ascending order.
1/4, k, g
Let u be (-3 - (-37)/7) + -2. Suppose 0 = -5*c - 2*b - 820, 3*c - 5*b + 598 - 75 = 0. Let i = 1492/9 + c. Put 5/2, u, i in increasing order.
i, u, 5/2
Suppose -17 = -3*y - 2. Sort -5, 4, y.
-5, 4, y
Let j = -4 - -13. Let o = j - 10. Let z(k) = k**3 + 4*k**2 + k + 4. Let f be z(-4). Sort f, 1, o in descending order.
1, f, o
Suppose 0 = -420*g + 410*g - 50. Suppose -a = 3*a - 24. Sort a, 2, 3, g in increasing order.
g, 2, 3, a
Let p(b) = -b**3 + 7*b**2 - 6*b - 15. Let z be p(3). Let t(r) = 2*r - 3. Let l be t(-3). Let k = 13 + l. Put -3, z, k in ascending order.
-3, z, k
Let m(j) = -j - 8. Let b be (-2)/10 - (-48)/15. Let r(c) = -2*c - 9. Let o(y) = b*m(y) - 2*r(y). Let g be o(7). Put 4, -5, g in decreasing order.
4, g, -5
Suppose 23 = -2*u - 1. Suppose 299*c - 301*c - 6 = 0. Put c, 2, u in increasing order.
u, c, 2
Let c(l) = -l**2 - 5*l - 6. Let t be c(-4). Let g(v) = 4*v - 3. Let h be g(0). Put -1, t, h in ascending order.
h, t, -1
Suppose -3*s - 16 = 5*t, -3*t - 20 = s - 8. Let a be 0*(1 + -3)/(-2). Let l = 2 - -1. Sort a, t, l in descending order.
l, a, t
Let m be -1 - ((-9)/4 + 2). Let c = -32.3 + 33.3. Let s = 6.36 + 0.64. Sort m, c, s in decreasing order.
s, c, m
Suppose 5*c + 0 = -5. Let x be (-3)/(9/(-3))*-1. Let q be x/(4/(-40)*2). Sort c, -4, q in increasing order.
-4, c, q
Let x = -2 + -3. Let d = 0.35 + -14.35. Let p = 14.4 + d. Sort x, p, 2 in decreasing order.
2, p, x
Let d be (-10)/(-2) - (20 - 14). Put -3, 0, -4, d in descending order.
0, d, -3, -4
Suppose 3*s - 10 = 3*p - 4, -p - 5 = 0. Put 0, s, 48 in decreasing order.
48, 0, s
Let k = -421 - -418. Put k, 114, -2 in descending order.
114, -2, k
Let j(t) = -t**3 + t**2 + 6*t - 5. Let i be j(5). Let z be (-5)/(i/(-6)) - 0. Sort -21, z, 2/9 in decreasing order.
2/9, z, -21
Let i = -17.8 + 17.8. Put i, 3, 17 in decreasing order.
17, 3, i
Let c = -4.014 + 0.014. Let r = -14 - -40/3. Sort r, c, 16.
c, r, 16
Let d be (3 - 5)/((-10)/(-22)) + 4. Let h = 15 - 15.09. Let g = 0.19 + h. Put g, d, -1/3 in descending order.
g, -1/3, d
Let d(h) = -h**2 + 8*h - 7. Let r be d(6). Suppose -8*m + 7 = -m. Sort 29, r, 0, m in decreasing order.
29, r, m, 0
Let n(d) = 106*d + 214. Let u be n(-2). Put -4, 0, u, 7 in ascending order.
-4, 0, u, 7
Let x(j) = -j**3 - 5*j**2 + 6*j + 1. Let h be x(-6). Let d = -1171 + 1170. Sort 19, h, d.
d, h, 19
Suppose -3*u - 2 = -g, 3*u + 7 = 5*g - 3. Let i be 1/((-13)/g*-1). Let x = -53 + 48. Sort -4, x, i in decreasing order.
i, -4, x
Let f be 53 + (-7)/((-21)/(-36)). Sort 7, -4, f in increasing order.
-4, 7, f
Let y(a) = a**2 + 3*a + 3. Let o be y(-3). Let r = -3 - o. Let f be 1 - (-1 - 22/r). Sort -2, 0.06, f in decreasing order.
0.06, f, -2
Let p(i) = -i**3 + 9*i**2 + i - 7. Let v be p(9). Let h = 0.2 + -0.4. Put h, 4, v in decreasing order.
4, v, h
Let p = -9836/7 + 1404. Put p, 2, -0.8 in descending order.
2, -0.8, p
Let y = 316 - 314. Sort 11, y, 1 in decreasing order.
11, y, 1
Suppose -n + 8*l + 16 = 11*l, 5*l = 3*n + 22. Sort 2/71, -0.4, -3/2, n in increasing order.
-3/2, -0.4, 2/71, n
Let z be 36/24 + 150/(-4). Let g be (4/z)/(250/(-12)). Let t = g + -302/375. Put t, -2/3, -4 in ascending order.
-4, t, -2/3
Let f = 321.8 - 322. Let v be 0 + 2 + (-40)/1. Let g be (v/(-18) + -2)*-2. Sort 3/7, f, g.
g, f, 3/7
Let n = -2 + 4. Let p = 5757 + -5754. Put p, n, -10, 0 in descending order.
p, n, 0, -10
Let j be (-4)/(-3)*(5 - 2). Suppose 0 = 5*y - 5*c - 10, -8 = -j*y - 2*c - 0. Let l = -55 + 55. Sort -2, l, y.
-2, l, y
Suppose 0 = -3*m + 2*m + 3. Let j = -49 + 46. Let o be ((4 - 5)/(-3))/(j/(-9)). Sort -3, o, m.
-3, o, m
Suppose -7*q - 40 = -17*q. Put 0, -1, -9, q in ascending order.
-9, -1, 0, q
Let w = -364 - -363. Put 3, w, 5, 2/7 in descending order.
5, 3, 2/7, w
Suppose 5 = 2*d - 3. Suppose 29 = -2*a + 27. Put 15, d, a in decreasing order.
15, d, a
Let j = 52 + -54. Sort -34, -1, -3, j in decreasing order.
-1, j, -3, -34
Let s = 16 - 3. Let v be 15/13 + (-2)/s. Sort v, 11, 0 in descending order.
11, v, 0
Let a(q) = 2*q**3 + 6*q**2 - q - 1. Let z be a(-3). Put z, -286, 5 in increasing order.
-286, z, 5
Suppose -20 = -41*y + 37*y. Suppose -2*l = 3*x + l + 51, 0 = -y*x - 4*l - 83. Put -2, 3, x in decreasing order.
3, -2, x
Suppose 78 = 5*l + l. Suppose -1 + l = 4*z. Let f be -5*((0 + 1 - -3) + -3). Put f, 1, z in descending order.
z, 1, f
Let g be 3*(-4)/(-36) - (-450)/(-1512). Sort -4, g, -0.1 in descending order.
g, -0.1, -4
Let q be (-2472)/56 - 2/(-14). Let o = q - -41. Let t be (2*2)/(-2) - -3. Sort o, t, -7 in increasing order.
-7, o, t
Let f = -14 + 15. Let z = -15 + 17. Let r be (2 - (-5)/(-2))*z. Put r, f, -8/7 in decreasing order.
f, r, -8/7
Let q = 747 + -743. Sort -45, 1, -1, q in decreasing order.
q, 1, -1, -45
Let i = -7806 - -7807. Let q be 6/2 - 2*-1. Put 13, i, q in decreasing order.
13, q, i
Let x(g) = -10*g**2 + g + 22. Let t(d) = 3*d**2 - 7. Let r(m) = -7*t(m) - 2*x(m). Let s be r(-3). Sort -3, s, -4 in decreasing order.
s, -3, -4
Let w = -0.258 - -0.158. Put 86, w, -0.5 in incr