0, k
Let g(y) = y**3 - 16*y**2 + 29*y - 13. Let l be g(14). Let p = 1 - -4. Sort 2, l, p in descending order.
p, 2, l
Suppose -5*b = -5*d - 20, 0 = 5*b - 0*b + 3*d + 12. Suppose b = -5*u + 15, 5*u - 11 = v - 5*v. Let z = v + 3. Sort z, -4, -2 in descending order.
z, -2, -4
Suppose -q - 4*b + 68 = 3*q, b = 5. Let m = q + -7. Let v = 4 + 0. Put m, 0, v in decreasing order.
m, v, 0
Suppose -23 = 4*i - 5*b, 11 = -4*i + b - 0*b. Let w be i + 7/(14/20). Suppose -2*d = 3*z - d + w, 2*z + 4*d + 2 = 0. Sort z, 1, -1 in decreasing order.
1, -1, z
Suppose -4*x + 2*b + b = -8, 2*x - 18 = 5*b. Put 3, x, -4 in ascending order.
-4, x, 3
Let w = 65.3 - 65. Put 0.1, w, 0, -2 in increasing order.
-2, 0, 0.1, w
Suppose -2*q + 6 = 2*p - 0, 4 = 2*q. Put -1, p, -5 in increasing order.
-5, -1, p
Suppose -n + 1 = -0. Sort -6, -5, n in descending order.
n, -5, -6
Let p be (2 + (-1 - 7))*26/(-39). Put 2/17, -3, p, 1 in increasing order.
-3, 2/17, 1, p
Let f = -5 - -6. Let w = -0.1 - -0.1. Let t = -4 + 6. Put t, f, w in ascending order.
w, f, t
Suppose 4 = -2*w + 2*s - 2, 5*s = w + 23. Sort w, -5, 0.
-5, 0, w
Let h = -20 + 22.8. Let u = h + 0.2. Sort -3, 0.1, u in increasing order.
-3, 0.1, u
Let s be 3/9*(-2 + 3). Put s, 0.3, -2/3, 0.1 in decreasing order.
s, 0.3, 0.1, -2/3
Let u = -15.5 - -16. Suppose -3*q + q = 0. Suppose q = -4*k - 6 + 2. Put u, k, -0.1 in increasing order.
k, -0.1, u
Let m = -23 - -26. Sort m, -0.2, -4/5, 8 in descending order.
8, m, -0.2, -4/5
Let b be (-37)/7 + 4/14. Let q(o) = -o + 14. Let g(k) = k - 13. Let z(n) = 3*g(n) + 2*q(n). Let f be z(10). Sort -2, b, f in descending order.
f, -2, b
Suppose 8 = 7*l - 5*l. Suppose z = -7 - 2. Let k(i) = i**2 + 10*i + 4. Let x be k(z). Put l, 1, x in descending order.
l, 1, x
Let d be 2*(6/4 - 1). Suppose 0 = -7*q + 5 + 9. Put -3, d, q in ascending order.
-3, d, q
Let p = 24 - 22. Put -0.5, -1/10, p in ascending order.
-0.5, -1/10, p
Let k = 4 - 0. Let l = 14 - 18. Let z = l + 6. Put k, z, -5 in increasing order.
-5, z, k
Let u = 12 + -17. Let l = u - -4.7. Let x = 5 - 5. Put x, 5, l in increasing order.
l, x, 5
Suppose 14 = 3*r + 23. Put -2, r, -1/6 in decreasing order.
-1/6, -2, r
Suppose 0 = 3*d - 2*d - 2. Suppose -6*w + d*w = 5*b + 1, 9 = -b - 3*w. Let u = 4 - b. Sort u, -3, 3.
-3, u, 3
Let d(q) = -q - 8. Let w be d(-10). Suppose -5 = -2*l - 9. Put w, -8, l in decreasing order.
w, l, -8
Suppose -4*p - 37 = 5*o, 3*p + 9 = -0. Let q = -14 + 10. Suppose -9 = -a - 2*a. Sort a, q, o in decreasing order.
a, q, o
Let m(q) = -3*q - 9. Let k be m(-4). Suppose -k*p + 7*p = -20. Suppose -2*x + d = 8, 0*x = -2*x + 2*d - 12. Sort p, x, 4 in increasing order.
p, x, 4
Suppose 3*p + 24 = 3*k, -4*p = -p. Suppose -k = 3*o + o. Put 3, o, 2 in decreasing order.
3, 2, o
Suppose 5*z = 3*x - 1, -4*z + 3*x + 11 = -5*z. Let c = 0 - -3. Let k(g) = -g**2 + 4*g - 4. Let q be k(c). Sort q, z, 3.
z, q, 3
Suppose 0 = 6*b - 4*b. Suppose i + 4 = -b. Let n(g) = g**2 - 2*g - 4. Let d be n(4). Put 3, d, i in decreasing order.
d, 3, i
Let m = 51 + -203/4. Put -1/2, 0.5, 15, m in increasing order.
-1/2, m, 0.5, 15
Let d = 2 - 0. Suppose 5*b - 21 = d*n, 3*n = -2*n + 2*b. Put 3, n, -2 in increasing order.
-2, n, 3
Let o = -1 + 4. Let i = 87.6 + -86.6. Sort o, i, -0.3.
-0.3, i, o
Let w = -256 - -1284/5. Put -5, -2/3, w in decreasing order.
w, -2/3, -5
Let i(t) = -t**2 + t - 13. Let n be i(0). Let s = n - -13. Sort -1/8, -0.4, s.
-0.4, -1/8, s
Let s(l) be the second derivative of -l**4/6 + l**3/3 - l**2/2 + 4*l. Let o be s(1). Put 1, o, -0.3 in decreasing order.
1, -0.3, o
Suppose 0 = -4*o - 12, -m + 6 = -2*m - o. Let r be (-21)/12 - 1/(-1). Sort 4, r, m in descending order.
4, r, m
Let r be (-2*(-3)/(-21))/((-16)/14). Sort r, -1/2, -2 in decreasing order.
r, -1/2, -2
Suppose -k - 4*d + 2 = 0, 2*k - 4*d + 16 = -2*d. Sort -5, 2, k in descending order.
2, -5, k
Suppose 5*c = 3*c + 10. Suppose 12 = -h - 2*v - v, 3*v + 9 = 0. Suppose 4*i = -3*t - 7, 4*t - t - 21 = 3*i. Sort h, c, t in decreasing order.
c, t, h
Let t = -5.97 + -0.03. Put -0.4, 1, 2/13, t in descending order.
1, 2/13, -0.4, t
Suppose -2 = -3*u + 1. Let k(l) = -3*l + 1. Let r(w) = w. Let d(p) = -k(p) - 2*r(p). Let v be d(-3). Sort u, v, 0 in increasing order.
v, 0, u
Let v = 41 - 124/3. Put 0.2, v, -1 in decreasing order.
0.2, v, -1
Let i = 0.3 - 0.2. Let v = -0.41 - -0.05. Let m = 0.04 - v. Put m, 1/8, i in ascending order.
i, 1/8, m
Let k be 0 - 4/(-5400)*-4. Let y = 2011/4725 - k. Put -3, 2/13, y in descending order.
y, 2/13, -3
Suppose -3*z + 3*n = -2*n + 15, -9 = -3*n. Let h = 0.2 + -0.7. Put z, -4, h in decreasing order.
z, h, -4
Let a = 53 + -51. Put a, 63, 3 in ascending order.
a, 3, 63
Let b = 5 - -11. Let y = -15.8 + b. Let c be 1/(-2 + 2/(-2)). Sort c, 1/6, y in decreasing order.
y, 1/6, c
Let x = 0.31 + -1.61. Let j = -6.3 - x. Let s = 0.4 + 0.1. Put j, -1/4, s in increasing order.
j, -1/4, s
Let g = -113 - -114. Put g, -8, 2 in ascending order.
-8, g, 2
Let i = 0 + 3. Suppose 0 = -i*x + 5*m + 14 - 0, -5*m = x + 22. Sort 3, x, -1.
x, -1, 3
Suppose 2*n - 3*n = -4. Put -3, n, -1 in increasing order.
-3, -1, n
Let n = -12 + 16. Suppose -3*q - 4*k + 17 = -9, 3*k = -2*q + 19. Put n, -3, q in descending order.
n, q, -3
Let p = -34.5 - -35. Let h = 2 - 3. Sort h, p, -0.5 in decreasing order.
p, -0.5, h
Let w be (-6)/(-18)*(-36)/(-2). Let y be 3 - ((-4)/w + 3). Put -2, y, -1 in decreasing order.
y, -1, -2
Let s = 2.95 + -3. Let d = 0.05 + s. Let a = -0.3 - d. Sort 0.1, a, 5/6 in increasing order.
a, 0.1, 5/6
Let f = 4704475/119 + -39533. Let a = 2/17 - f. Put a, 2, 0.4 in ascending order.
a, 0.4, 2
Let n = 4.3 - -0.7. Let f = -18 + 13. Sort n, -0.1, f.
f, -0.1, n
Let m = 37 + -33. Sort 6, -3, m.
-3, m, 6
Let m = 178 - 177.6. Sort -5, -1.3, m.
-5, -1.3, m
Let r be (2/(-12))/((-3)/(-4)). Let y = -0.1 - -0.3. Sort r, y, 0.4 in decreasing order.
0.4, y, r
Let y = -855 - -270. Let q be 220/y - (-2)/9. Put q, 1/4, 4 in ascending order.
q, 1/4, 4
Suppose 0 = -5*c + 28 - 8. Put -4, -7, c in increasing order.
-7, -4, c
Suppose 5*y + 36 = 4*v + y, -4*v - 3*y + 57 = 0. Put -1, 1, 2, v in decreasing order.
v, 2, 1, -1
Let b = -14 - -17. Sort 0, -6, b in descending order.
b, 0, -6
Suppose 5*x = -4*g - 36, -3*g - g + 4 = -5*x. Let v = -12 - -16. Suppose -15 = -2*c - c, 0 = 4*s + v*c - 8. Sort 2, x, s in descending order.
2, s, x
Let h = 1 + 0. Sort -2, h, -1 in decreasing order.
h, -1, -2
Let x = 67 + -65. Let s = -37/2 + 19. Put x, 4, s in decreasing order.
4, x, s
Let i = 3 - 6. Let c = i + 2. Let n = -326 - -325.6. Sort -1/3, n, c in descending order.
-1/3, n, c
Let b = 0 - -0.2. Let k = 6 + -10. Put b, 0.4, k in increasing order.
k, b, 0.4
Let v = -0.1 + 0.12. Let x = 5.267 + -0.287. Let s = v + x. Put 0.3, s, -1 in descending order.
s, 0.3, -1
Suppose 4*h - 9 = -5. Sort -6, 2, 5, h in ascending order.
-6, h, 2, 5
Let z = -3/77 - -107/770. Suppose -2*p = 4*g + 24, -g - 2*p = 2*g + 20. Put g, 5, z in decreasing order.
5, z, g
Let v(k) = k + 1. Let i be v(-4). Let j(f) = 3*f + 13. Let p be j(-6). Put p, i, 3 in descending order.
3, i, p
Let j(s) = s + 1. Let x be j(-4). Let u(c) = c**3 + 2*c**2 - c + 4. Let v be u(x). Suppose -y = 4*i + 3*y - 20, 3*y = 0. Sort i, 0, v in decreasing order.
i, 0, v
Let s = 2/1179 - 5941/27117. Put s, -3, 0 in descending order.
0, s, -3
Let d(l) = l + 9. Let y be d(-5). Sort -2, -3, 5, y.
-3, -2, y, 5
Let f(p) = p**3 + 8*p**2 - 11*p - 13. Let w be f(-9). Sort 1, -2, w, -5 in increasing order.
-5, -2, 1, w
Let w = 2 - 4. Let k = w + 4. Let b(h) = h - 13. Let l be b(9). Put k, -1, l in increasing order.
l, -1, k
Suppose -d + 15 = 16. Let p = 9 + -5. Let w = p + -1. Sort -4, d, w.
-4, d, w
Let o = -29 + 9. Let c be 1/(36/o + 2). Sort c, 4, 3 in decreasing order.
c, 4, 3
Let z = -6.06 - -0.06. Let b = 6 + z. Sort b, 1, -1/3 in descending order.
1, b, -1/3
Suppose 0 = -b - 0*b + 4. Let m be 102/(-140) + 4/b. Let k = m + -1/14. Sort -1, -5, k in ascending order.
-5, -1, k
Suppose 0 = -d + 3*w - 17, -3*d + 0*w + 5 = 5*w. Put -0.5, -0.1, d in ascending order.
d, -0.5, -0.1
Suppose 17 + 3 = 4*s. Let x(m) = m + 9. Let a be x(-12). Sort -0.1, s, a in descending order.
s, -0.1, a
Let u(k) = -k**2 + 8*k + 64. Let j be u(13). Let h(r) = r - 9. Let i be h(6). Put j, 0.01