et p be s(-10). Let q be 2*p*3/2. Put q, -3, 0 in ascending order.
-3, 0, q
Let j(n) = 3*n**3 + 2*n - 1. Let q be j(1). Let z be (2/2)/(1/(-5)). Put 1, z, q in ascending order.
z, 1, q
Suppose 0*w = w - 5*k + 25, 0 = k - 4. Suppose 5*b = -8 - 12. Sort w, b, 5.
w, b, 5
Let i be (2 + -2)/(1/(-1 + 0)). Sort -5, i, 3, 8 in increasing order.
-5, i, 3, 8
Let v(c) = 8*c + 4. Let b be v(-3). Let m be (-2)/(-4)*b/(-15). Let j = 14.5 + -14. Put 1, m, j in decreasing order.
1, m, j
Suppose x + 1 = -3. Let w(j) = -j**2 - 6*j - 6. Let d be w(-4). Put -6, x, d in decreasing order.
d, x, -6
Suppose 3*n - 12 = 9*n. Let x = -1 + -3. Put n, x, -0.3 in decreasing order.
-0.3, n, x
Let x = 13 - 18. Sort 5/4, 3, 0.3, x in ascending order.
x, 0.3, 5/4, 3
Let r(a) be the second derivative of a**4/12 + a**3 + 5*a**2/2 + 4*a. Let l be r(-4). Suppose h + 2 = -h. Sort 0, l, h in decreasing order.
0, h, l
Let f be (0 + -1 + -2)*(9 + -10). Put f, 4, 1 in descending order.
4, f, 1
Suppose -o + 5*l + 11 = 0, 4*o - 4*l = -8*l - 28. Let h be (-8)/2 - -2 - -8. Suppose 22 = c + 5*p, -3*p + 9 + h = 0. Sort c, -1, o in increasing order.
o, c, -1
Let r(n) = -n**3 - 4*n**2 + 2. Let m be r(-4). Suppose 0 = 5*k + w - 14, -m*w + 2 = -2*k - k. Let y = 20 + -17. Sort 1, k, y in decreasing order.
y, k, 1
Let q = 8882/9 - 988. Sort q, -2/7, -0.1, -3 in decreasing order.
-0.1, -2/7, q, -3
Let u = 11.6 - 14. Let n = u - -2. Put -1, n, 0.4 in decreasing order.
0.4, n, -1
Let x = 1 + 5. Let r be (x/(-72))/((-2)/4). Let h = -2.1 + 2. Put h, r, -0.03 in descending order.
r, -0.03, h
Let a = 0.9 - 1.2. Let k = a - -1. Sort k, 0, 4 in descending order.
4, k, 0
Let z be 0/((-7 + 1)*21/(-63)). Let q(m) = 2*m**3 + m + 1. Let v be q(-1). Sort z, 4, v in increasing order.
v, z, 4
Let c(s) = -s**3 - s**2 - 7*s - 1. Let w be c(0). Suppose o = p + 3 + 2, 5*o = -p + 13. Sort -4, w, o.
-4, w, o
Suppose 0 = -4*r + 2*a + 26, -2*a - 5 = -a. Let z be 3 + 3/(-6 + 3). Sort -4, z, r in decreasing order.
r, z, -4
Let i = -44 - -41. Put 13, -5, i in ascending order.
-5, i, 13
Let c = 13 - 20. Let l(i) = i + 6. Let t be l(c). Let f be (-1 + 2)/(3/9). Sort t, 1, f.
t, 1, f
Let w be (-11 - -3 - -3)*-2. Suppose 6*g - w = g. Sort -5, 0, g in descending order.
g, 0, -5
Let q = 25 + -21. Put -0.5, 17/5, 2/13, q in ascending order.
-0.5, 2/13, 17/5, q
Let n be (-11 - -13)/(2/(-4)). Suppose -3*a + 3*o - 1 = -a, 0 = -3*a - 4*o - 27. Let t = 6 - 4. Put a, n, t in increasing order.
a, n, t
Let g = -11 - -8. Let a be (-1)/(9/6)*g. Let z be (a/8)/((-3)/(-4)). Sort -3, 0, z in decreasing order.
z, 0, -3
Suppose 9 = 3*a + 3. Suppose -26 = 2*u + a*d, -3*u + d - 27 = u. Let t be u - (-1 + -1 + -1). Put -3, t, 5 in decreasing order.
5, -3, t
Suppose v - 17 = -5*d, -5*v + 29 = 3*d + 10. Put 2/3, d, 4 in decreasing order.
4, d, 2/3
Suppose -15*i - 104 = 11*i. Sort 4, -2, i, -1.
i, -2, -1, 4
Let q = -0.45 + -29.95. Let l = q - -33. Let t = l + -3. Put -1/5, t, 0 in increasing order.
t, -1/5, 0
Let v = -1 - -1. Suppose v = 5*m + j - 28, 3*m - 5*m = -4*j + 2. Suppose -m*c + 15 - 2 = s, 9 = 5*s - 3*c. Put 1, s, -4 in descending order.
s, 1, -4
Let h = -78.1 + 78. Let g = -10 - -10.3. Put g, h, -4 in decreasing order.
g, h, -4
Let b be 1 - 3 - (-13)/7. Let h be 2/6*4/4. Sort 1, b, h in ascending order.
b, h, 1
Let h = 2 - 3. Sort -4, 2, h.
-4, h, 2
Let f(m) = -169*m**3 - 2*m**2 - m. Let g be f(-2). Let l = g - 12082/9. Let q = l + -10/3. Sort 0.4, q, -0.05.
-0.05, q, 0.4
Let h = -14 - -12.8. Let p = h - -18.2. Let n = 12 - p. Sort 4, n, 0.1 in decreasing order.
4, 0.1, n
Let m(p) = -2*p + 19. Let q be m(9). Sort 3, -3, q in increasing order.
-3, q, 3
Suppose 2*d + a = -2*d + 15, -3*d = 2*a - 15. Let y = -9 - -13. Let f(q) = q**2 - 5*q + 3. Let h be f(y). Sort -5, h, d in decreasing order.
d, h, -5
Let m(o) be the third derivative of 1/3*o**3 + 0 + 2*o**2 + 1/8*o**4 + 0*o. Let u be m(-2). Put 4, 1, u in decreasing order.
4, 1, u
Let f = 1.4 + -1.9. Put -2, -3, 0, f in decreasing order.
0, f, -2, -3
Let z = -3.21 + 1.21. Put z, 5/2, 0.3 in increasing order.
z, 0.3, 5/2
Let s = 7 + -4. Let j be 4/((-4)/(-15)) - -2. Let n be j/(-12) - 24/(-36). Put n, s, -1 in increasing order.
-1, n, s
Suppose 0 = -5*l - 3*c + 7*c + 30, 22 = l - 4*c. Let j(u) = -u**3 - u**2 + u - 1. Let b be j(0). Put l, b, 0 in decreasing order.
l, 0, b
Let c = -7 - -2. Let k(y) = -3*y + 6. Let l be k(3). Sort 2, l, c.
c, l, 2
Suppose -3*p + 8*p + 2*s + 29 = 0, 2*p = s - 8. Suppose -3*a - 5*b + 56 = 0, -b + 3 = -1. Let w = a - 9. Put w, -1, p in descending order.
w, -1, p
Let u = 2.19 - 0.19. Sort u, -2/17, 3.
-2/17, u, 3
Let k = 0.07 - -0.04. Let o = k + 0.09. Put 2, 0.5, o in descending order.
2, 0.5, o
Let q = 1.46 + -1.5. Sort q, -2, -1 in ascending order.
-2, -1, q
Let f = -1 - -2. Let p be ((-6)/(-4))/((-3)/(-6)). Let r be 12/(-18)*p/5. Put f, -1/10, r in increasing order.
r, -1/10, f
Let v = 37 + -69. Put v, -4, -5 in ascending order.
v, -5, -4
Let o be (1/6)/(4/(-20)). Put -0.3, -5, o in ascending order.
-5, o, -0.3
Let h = -9 - -9.2. Suppose 0 = 3*f + f + 5*v, f - 5*v = -25. Sort f, h, -1/6 in ascending order.
f, -1/6, h
Suppose 5 + 3 = -q + 3*c, 2 = -q - 3*c. Let g(p) = p**3 - 13*p**2 - p + 12. Let n be g(13). Put q, 3, n in ascending order.
q, n, 3
Let w be 3*((-3)/(-7) + 20/(-63)). Let r = -5.7 - -6. Let d be -2*(1 - (-8)/(-6)). Sort w, r, d in ascending order.
r, w, d
Suppose -2*i + 0 = -2. Put -7, 3, i in increasing order.
-7, i, 3
Let b(r) = r**2 + 16*r + 13. Let f be b(-15). Let z = 3 - f. Sort 3, 1, z.
1, 3, z
Let x(m) = m**2 - 6*m - 1. Let f be x(5). Let r be 10/25 - f/10. Put 2, r, 2/3 in decreasing order.
2, r, 2/3
Suppose -5*p = z + 17, 2*z = 3*z - 5*p - 23. Sort 0, 5, 2, z.
0, 2, z, 5
Let v be (2/(-9))/((-48)/(-36)). Sort -1, v, -11 in decreasing order.
v, -1, -11
Let o be ((-8)/6)/((-10)/15). Let a = -14 - -8. Let h be 8/a - (-2)/(-3). Sort -1, h, o.
h, -1, o
Let m = 1/2 - 0. Sort 5, m, -1.7.
-1.7, m, 5
Let k(t) be the first derivative of t**3/3 - 5*t**2/2 - 9*t - 1. Let w be k(7). Suppose 4 = 3*n - n. Put w, -1, n in decreasing order.
w, n, -1
Let m = -73 + 79.2. Let s = -1.2 + m. Sort s, -1, -4 in decreasing order.
s, -1, -4
Let u = 693 + -2105/3. Let j = u - -8. Sort -9, 0.2, j in decreasing order.
0.2, j, -9
Let m = 3 - 0. Let x be (-5)/((2 - 1)*1). Suppose -2*w = 3*j + 1, 5*j + 23 = 3*w - w. Sort w, m, x in increasing order.
x, m, w
Let y = 45 - 48. Sort y, 1, -2, 40 in decreasing order.
40, 1, -2, y
Suppose 5*y - 7 = 4*o - o, -5 = -4*y + 3*o. Let q = 3 + -6. Sort q, 5, y in descending order.
5, y, q
Suppose -3*v + 16 = -v. Sort v, -2/3, 3.
-2/3, 3, v
Let g be 5 + 3 + -2 + -1. Sort g, 2, -4 in decreasing order.
g, 2, -4
Let t = -0.2 + -0.8. Let h = -47/3 - -16. Suppose 3*z + 15 = 0, -3*z + z - 10 = -2*i. Put t, i, h in decreasing order.
h, i, t
Let a be -3 + 14/18 - (-14)/63. Let r = -3 + 6. Sort a, -1, r.
a, -1, r
Let a be 5 + -1 + (-4 - -2). Let g be (1 + 1)/(2/(-3)). Let q be (-1 - -7*1)*(-10)/30. Sort a, g, q.
g, q, a
Suppose -1 = 7*l - 1. Sort 1, l, -5.
-5, l, 1
Let l = -18 - -14. Let g(o) = -o**2 - 6*o - 6. Let j be g(-6). Let s be (-3)/(j/(-4) + 0). Put s, -2/3, l in ascending order.
l, s, -2/3
Let n(b) = -b + 7. Let g be n(4). Suppose 0 = -5*a - 2 + 27. Put -5, g, a in ascending order.
-5, g, a
Let p = -0.07 - 0.06. Let r = 0.27 - p. Sort r, -3, -5.
-5, -3, r
Let z = -4 + 6. Let m = 7.9 - 8.2. Sort -3, z, m in descending order.
z, m, -3
Let h be 10/(-1)*(-2)/4. Suppose 20 = -7*o + 2*o. Sort 2, h, o.
o, 2, h
Let w = -2 + 3. Suppose w = 2*m - 5*i, 3*m + i + 1 - 11 = 0. Suppose 0 = -g + m*g. Put 4, g, -4 in decreasing order.
4, g, -4
Suppose -2*k = -8, -3*m + 2*k = -0*m + 11. Let w be 5 - (-1 + (5 - 2)). Let n be 6*(16/(-6) - -2). Sort n, w, m in descending order.
w, m, n
Let t(k) = k. Let a be t(0). Suppose 2*c - 2 + 12 = a. Let l = 1/22 - 31/198. Put c, l, -1/4 in decreasing order.
l, -1/4, c
Let m = -3 + 8. Suppose 4*z = m*v + 45 - 4, 0 = -5*v + 5*z - 45. Let o(l) = -l - 1. Let f be o(-6). Put f, 1, v in increasing order.
v, 1, f
Let i = -98 - -94. Sort 5, i, 4, -0.3 in decreasing order.
5, 4, -0.3, i
Suppose 0 = -w - 1 + 6. Suppose w*b - 10 = f, 0 = 4*f - 5*f + 2*b - 1. Suppose 20 = 7*l + 3*l. Sort l, f, -1.
-1, l, f
Let s = -39 + 271