n(k) = k**2 - 23*k + 21. Let v be n(22). Let z = 0.1 - 0.4. Let b = 0.3 + z. Put 0.4, b, v in increasing order.
v, b, 0.4
Let f be ((-6)/4)/((-21)/(-70)). Put -2/5, 0.2, f, -1 in descending order.
0.2, -2/5, -1, f
Let o be 5/((-25)/2)*-10. Sort 8, 0, o in descending order.
8, o, 0
Suppose 3*v + v + 20 = 0. Let r = 0 + 3. Let p = -6 + 2. Put v, p, r in descending order.
r, p, v
Let a be (-12 - 1)/(24 - 7). Let v = 7291981/68 + -107233. Let b = a + v. Put b, -2/11, -2 in descending order.
b, -2/11, -2
Let u be (2/(-4))/((-3)/30). Let q(a) = -a**2 + 5*a + 8. Let g be q(6). Sort u, 4, g in ascending order.
g, 4, u
Let x = 12 - 15. Let f(a) = 2*a**2 - 7*a. Let r(w) = 6*w**2 - 22*w - 1. Let t(b) = -7*f(b) + 2*r(b). Let p be t(3). Put x, 2, p in ascending order.
p, x, 2
Let i be ((-9)/(-3))/(1 + -2). Let x be 4/(-22) - 2/(-11). Suppose -5*l + 10 + 10 = x. Sort 3, i, l.
i, 3, l
Suppose 0 = -2*o - 1 - 3. Let v be o*((-3)/(-2))/1. Sort -0.4, v, 5 in decreasing order.
5, -0.4, v
Let s = 0 - 0. Let v = -109 - -111. Put v, s, 5 in ascending order.
s, v, 5
Let t = 2/181 + 65/10498. Let d = 83/232 + t. Put 3, d, -2 in increasing order.
-2, d, 3
Suppose -3 - 3 = 3*h. Put -3, h, 4 in increasing order.
-3, h, 4
Suppose -2*a - 2*a = -16. Sort a, -5, 1 in ascending order.
-5, 1, a
Suppose 3 = 5*d - 2. Suppose 0 = 3*m - 2 - d. Sort -2, -0.4, m in increasing order.
-2, -0.4, m
Let s = -2 - -4. Suppose -s*r - 9 = -3*a - 0*a, 0 = 3*r + 4*a - 12. Suppose 0 = 3*f - 5 - 10. Sort 3, r, f.
r, 3, f
Suppose -m - u - 3*u = -11, 0 = -2*m + 4*u - 2. Suppose -l = -4*r - 0 - 8, -2*r + 62 = 5*l. Let k = l - 7. Put k, m, 4 in descending order.
k, 4, m
Let m = -426/7 + 61. Put m, 2, 3 in descending order.
3, 2, m
Let j be 56/(-6) + 2/6. Let f(c) = c. Let n be f(-5). Let l = j - n. Put l, -2, 5 in decreasing order.
5, -2, l
Let v = 0 + 5. Let n = 7 - v. Sort -4, n, -3 in decreasing order.
n, -3, -4
Suppose 3*j + 2 = j - 2*w, -5*j - 2*w - 5 = 0. Sort j, -5, -17, -2 in ascending order.
-17, -5, -2, j
Let i = -26 + 40. Put 1/3, -0.1, i in decreasing order.
i, 1/3, -0.1
Let b(d) = 5*d - 1 + 0*d - 2*d**2 - 1. Let q be b(3). Suppose -5*t - z = 6, -z + 4*z - 12 = 0. Sort t, 2, q in decreasing order.
2, t, q
Let p(c) = 4*c - 1. Let a be p(1). Suppose -2*v + 2*h = -6, 5*v = 2*h + 2 + 4. Suppose v = -a*n - 1 - 11. Sort n, 1, -0.5 in decreasing order.
1, -0.5, n
Suppose 3*x + 4*n = n + 3, 0 = -5*x - n + 13. Let w(h) = -h**3. Let q = 6 - 5. Let a be w(q). Put a, x, 5 in descending order.
5, x, a
Let m = 7 + -6. Let h be (-23)/(-7) + (-2)/7. Sort h, m, -5 in ascending order.
-5, m, h
Let t = 413/51 + 21/17. Suppose 2*x + 2*n = -18, 8*n + 36 = -4*x + 3*n. Let a = t + x. Sort 1/5, a, -1/3.
-1/3, 1/5, a
Let s = -32.1 + 32. Sort 0.2, 3, s in increasing order.
s, 0.2, 3
Let g be 6/24*(-8)/(-13). Sort 0.5, g, -2/3 in ascending order.
-2/3, g, 0.5
Suppose 2*m - 7 = 1. Let d be 2/m + (-55)/150. Sort d, 0, 2 in ascending order.
0, d, 2
Let n = 65 - 69. Put 2, -2, 4, n in increasing order.
n, -2, 2, 4
Let q = 21.4 - 21. Put -3/4, 0.3, q in increasing order.
-3/4, 0.3, q
Suppose -2 = u - o, 1 = -u - 2*o - 1. Let q = 9 - 13. Let p(t) = t**2 + 2*t + 1. Let y be p(-1). Put y, q, u in decreasing order.
y, u, q
Let d = 4 + -2. Let m be ((-6)/(-4))/((-9)/24). Sort m, d, 5 in descending order.
5, d, m
Suppose -8 = t + 11. Let d = 20 + t. Suppose 0 = -3*p - p. Put d, p, 4 in descending order.
4, d, p
Let v = -0.7 - -1.2. Put -4, -5, v in descending order.
v, -4, -5
Let r = -21 + 21.5. Put 2/15, r, 1/4 in descending order.
r, 1/4, 2/15
Let g be ((5 - 0) + -1)/1. Let u = -1 + g. Suppose 0 = u*n - 3 + 15. Put -1, 2, n in ascending order.
n, -1, 2
Let o = 96 - 94. Sort o, -1, -2, 44.
-2, -1, o, 44
Let o = 196 + -194.02. Let n = o - -0.02. Let i = n - -1. Sort -1/10, i, 5 in ascending order.
-1/10, i, 5
Let w be (1 - 0)*-1 - -17. Suppose 4*g + z - 24 = -g, -4*g - 4*z = -w. Suppose 4 = -3*k + 2*l, -5*k + 2*l + 6 = 5*l. Sort k, g, 1 in descending order.
g, 1, k
Let p = -0.32 + 0.2. Let j = p + -4.88. Let n(z) = 3*z + 12. Let t be n(-4). Put t, -0.1, j in ascending order.
j, -0.1, t
Let x be (-3 + (-308)/(-104))*-2. Let m = 11/481 - x. Sort 1, 3, m in decreasing order.
3, 1, m
Suppose 2*t = -5*d + 12, -2*t + 5*d = t + 7. Suppose -b - t - 3 = 0. Put -1, b, 1 in descending order.
1, -1, b
Suppose -5*t = 3*n, -3*t + 5*n - 37 = t. Sort 5, t, -2, 2 in increasing order.
t, -2, 2, 5
Let q = 1 + -0.5. Let p = -1.5 - -1.1. Let d = -1.6 + p. Put q, d, 6/7 in decreasing order.
6/7, q, d
Suppose 0 = 2*f - 0*f - 4. Suppose -3*u - u - 24 = 0. Let n = u + 6. Sort n, f, -1 in ascending order.
-1, n, f
Let b = 1 + -1. Suppose 72 = 2*f - 8*f. Let q be f/18*(-15)/2. Sort -2, b, q in increasing order.
-2, b, q
Suppose 3*b = -b - 20. Let k(l) = l**2 + 3*l + 2. Let h be k(-2). Suppose h - 1 = p. Put b, p, -3 in ascending order.
b, -3, p
Suppose -12 = 5*m + 4*a, 0 = 5*m - 3*a - 6 - 3. Suppose 3*z + z + 24 = m. Let g = 1 + z. Sort -4, 1, g in descending order.
1, -4, g
Let t = 5.595 + 0.005. Let j = t + -0.6. Let y = -152/7 - -22. Put -4, j, y in ascending order.
-4, y, j
Let k = -150.5 + 151. Sort 2/9, -1/4, -9, k in descending order.
k, 2/9, -1/4, -9
Let o = -1 + 3. Let w = o + -5. Let b = -218.6 - -219. Sort b, w, 0.2 in increasing order.
w, 0.2, b
Let z(c) = 2*c + 17. Let q be z(-11). Put -2, -24, -1, q in decreasing order.
-1, -2, q, -24
Let u be (-6)/4*(-4)/3. Let b(c) be the second derivative of c**3/6 - 5*c**2/2 - 5*c. Let h be b(6). Put 0, u, h in descending order.
u, h, 0
Let p = -36 - -38. Sort 0, 5, p, 1 in decreasing order.
5, p, 1, 0
Suppose 0 = f + f - 14. Let h = f + -7. Sort h, -2, -5 in ascending order.
-5, -2, h
Suppose 3*r + 0*r = -2*z - 1, -4*z + 4 = 0. Let p = 461.5 - 461. Put p, -0.2, r in increasing order.
r, -0.2, p
Let l be 4/(-14) + 23/7. Let s = -105 + 102. Put l, 4, s in increasing order.
s, l, 4
Suppose 0 = 4*u + 14 + 50. Let y be (-1)/(-2*(-4)/u). Sort -4, y, 5.
-4, y, 5
Suppose 4*u - 5 = -9. Let s(t) = t**2 - t - 5. Let x be s(0). Sort 2, u, x in decreasing order.
2, u, x
Let j = -107 + 110. Suppose 2*m + 2*m = 4*i - 12, 5*i = -m - 9. Sort i, j, 5 in decreasing order.
5, j, i
Let p be (-4)/(-14) + 45/63. Let l be ((-36)/8)/p + 3. Let r = 8 - 3. Put l, 2, r in decreasing order.
r, 2, l
Suppose s - 5*s = 0. Let z = 5 - 7. Let o(m) = m - 3. Let t be o(5). Sort t, s, z.
z, s, t
Let s(x) = x**2 + 6*x + 5. Let q be s(-6). Sort 0.1, -2, 2/9, q in descending order.
q, 2/9, 0.1, -2
Suppose -16 = 3*n - 1. Let m = 314 + -311. Sort m, -1, n.
n, -1, m
Let u be 0 - (0 + -4) - 1. Let d(x) = 3*x - 4. Let q be d(3). Suppose -2*o = -3 - q. Sort o, u, -2 in decreasing order.
o, u, -2
Suppose 0 = -3*j, 2*j - 14 = -2*n - 2*j. Let c = 2 - n. Suppose 5*r + b + 3 = 4*b, 2*r = -3*b + 3. Put -2, c, r in decreasing order.
r, -2, c
Suppose -4*d + 0*d = 0. Let s be (4 - 7) + 8 + 0. Sort -2, s, d in ascending order.
-2, d, s
Let w be 6/(-9) - (-28)/(-12). Sort 1, w, -4.
-4, w, 1
Let m = 12.46 - -1.64. Let z = m - 2.1. Let f = -17 + z. Put 0.3, 1/5, f in descending order.
0.3, 1/5, f
Let g = -8 - -7. Let b = -30 + 34.2. Let l = 0.8 + b. Sort 2/7, g, l.
g, 2/7, l
Let i be ((-12)/10)/((-15)/(-50)). Let a be (-117)/(-26) + 2/i. Put -3, 1, a in descending order.
a, 1, -3
Suppose -20 = 5*w - 0*w. Let g be (-6)/27 + (-104)/18. Let c be g/21 + 99/(-21). Sort 3, w, c.
c, w, 3
Let r = 0.26 + 9.74. Let v = r + -5. Sort v, -1/5, 3/2 in increasing order.
-1/5, 3/2, v
Let l = -14 - -11. Sort 2, 3, l in decreasing order.
3, 2, l
Suppose a + 7 = 5*n, 6 - 14 = -2*n + 3*a. Put -2, 0, n in increasing order.
-2, 0, n
Let y be (-2)/(-4) - 3*(-85)/(-30). Let q = 3 + -2. Put y, -3, q in decreasing order.
q, -3, y
Let y = 1.97 + -2. Let k = -2.97 + y. Let n = -7 + 11. Put k, 0.2, n in descending order.
n, 0.2, k
Let f be 3*(6/2349)/(-1). Let m = f - -797/1827. Sort 0, 5, m in decreasing order.
5, m, 0
Let l = -0.34 + -0.06. Let k = 0.03 + -0.13. Sort l, k, -4 in increasing order.
-4, l, k
Let c = -17.9 + 16.9. Sort -9, c, -0.4.
-9, c, -0.4
Let d be (-12)/(-9)*6/(-4). Sort -1, 1, d in increasing order.
d, -1, 1
Let t = 52 + -52.4. Let x be 10 - (-1 + 0 - -2). Let c be x/(-12) + (-2)/8. Put c, 0.4, t in decreasing order.
0.4, t, c
Let g = -15 + 23. Let m = -7 + g.