3*m + 20 = -m. Put -1, w, m in increasing order.
m, w, -1
Suppose x + j = -0*j - 1, -5*x = -4*j - 40. Let m(y) be the second derivative of -y**3/6 + 3*y**2 - 12*y. Let d be m(x). Sort d, -4, -2.
-4, -2, d
Suppose -5*k + 0*k = -45. Suppose -a = 4, 2*a + 34 = 2*b + 12. Suppose -2*h - b = 5*o, h - 6 = o + 1. Sort o, 3, k.
o, 3, k
Let w = -4 - -7. Let f be (-47424)/924 - (-4)/22. Let x = f + 51. Put w, -0.5, x in descending order.
w, x, -0.5
Let g = -14677/25 + 587. Sort 1, 4/7, g in decreasing order.
1, 4/7, g
Let n = 143 + -143. Suppose 2*z = -3*l - 3, 3*z + 15 = -3*l + 5*z. Put 2, l, 1, n in decreasing order.
2, 1, n, l
Let j = 33 - 28. Suppose -5*n + j = -10. Suppose -n*k - 3*t + 33 = 0, -k + 0*t + 20 = 4*t. Sort k, -4, -3.
-4, -3, k
Let k be (10 - 2) + -3 + -3. Let a be (4 + (-55)/10)*-2. Suppose -p + k*p = -a. Sort 0, 4, p in increasing order.
p, 0, 4
Let i = -28 - -26. Let c = 55 + -50. Put c, -0.1, i in ascending order.
i, -0.1, c
Let r = 0.053 - 4.653. Let a = 0.4 - r. Let p = 2 + -2.3. Put a, -2/5, p in ascending order.
-2/5, p, a
Let s(b) = -b**2 - 1. Suppose -2*u + 0 = -4. Let j be s(u). Put j, -1, 3, 4 in ascending order.
j, -1, 3, 4
Let z(v) = v**3 + 3*v**2 - 15*v + 17. Let y be z(-6). Sort 0.3, 2, y in decreasing order.
2, 0.3, y
Let r = -34 + 33.924. Let v = -3.976 - r. Let q = v + 4. Sort -1/3, q, 1 in decreasing order.
1, q, -1/3
Suppose 0 = -2*g - 5*h - 6, 3*g + 0*h = 4*h + 14. Let z = -9 - -24. Let o = z + -19. Sort o, g, 3.
o, g, 3
Suppose 28 = 4*a + 2*i, -6*i + 4*i = 8. Sort 0, 1, -1, a in decreasing order.
a, 1, 0, -1
Let k = 162 - 158. Suppose w + w = 10. Suppose -4*v + w - 17 = 0. Put 2, k, v in descending order.
k, 2, v
Let j(o) = o**3 + o**2 + o - 5. Let m be j(0). Let x be (-2)/((-3 - 0)/((-36)/(-8))). Suppose 5*n - 4*n + x*n = 0. Sort n, m, -3 in decreasing order.
n, -3, m
Let n = 68 + -70. Put n, 0, -4, -39 in ascending order.
-39, -4, n, 0
Let q = 87 - 109. Sort 7, -2, q, 5 in ascending order.
q, -2, 5, 7
Suppose -5*o = -4*h + 1 + 5, 0 = -o + h - 1. Let w = 79.3 + -78. Sort -0.2, o, w in decreasing order.
w, -0.2, o
Let r = 0.067 - -0.433. Sort -1, r, -3/11.
-1, -3/11, r
Suppose 3*q = -12, 29*c = 30*c + 5*q + 19. Sort -11, -5, 4, c in ascending order.
-11, -5, c, 4
Let j = 625 + -624. Sort -5, j, 4/7.
-5, 4/7, j
Let r = 0.462 - -0.038. Sort 1/7, -134, r in increasing order.
-134, 1/7, r
Let y = -8.4 - 47.6. Let z = -31 - y. Put -5, z, -1/5 in descending order.
z, -1/5, -5
Suppose 0 = -3*d + 4 + 5. Suppose d*h - 11 = -5. Let l(x) = -x**3 + 7*x**2 + 10*x - 13. Let s be l(8). Put h, s, 5 in ascending order.
h, s, 5
Let x = -2054 - -2051. Sort 0.1, -2, x.
x, -2, 0.1
Let o be 2/4*0/2. Let y = -18467 + 18466. Sort y, o, -12, -3.
-12, -3, y, o
Let w = -110 - -105. Sort -6, 0.3, -4, w in increasing order.
-6, w, -4, 0.3
Let m = -0.1 - 0.6. Let c = -1 - m. Let b = -335 - -336. Put -2, c, b in ascending order.
-2, c, b
Let y(w) = -3*w - 2. Let z be y(-2). Let o = 14 - 12. Let p be (2 - o)/(2*-1). Sort z, -3, p.
-3, p, z
Let n = -0.1304 - 6.8996. Let g = n - -0.03. Let a = -6.6 - g. Sort a, -3, 2/3 in increasing order.
-3, a, 2/3
Let u = -1 - -3. Let v = 3 - u. Let f = -43851/5 + 8769. Sort f, 2, v in descending order.
2, v, f
Suppose 4*a - 2 = -i - 12, -2*a = 4*i - 2. Let p be 44/165*(-5)/i. Suppose 4*u - 13 = -b, 5 = u + 4*b - 2*b. Sort u, 0.4, p in descending order.
u, 0.4, p
Let o be (-25)/(-5) - (-1 + 3). Let i = -3 - -1. Let v(g) = g + 1. Let z be v(i). Put 6, z, o in ascending order.
z, o, 6
Let y = -160 + 162. Sort y, -0.2, -9.
-9, -0.2, y
Let l be (4/(-10))/((-14)/(-10) + -1). Put 2, 3, l, -3 in descending order.
3, 2, l, -3
Suppose -5*y - 10 - 20 = -4*p, 0 = -7*y - 4*p + 6. Sort 5, 152, 2, y in increasing order.
y, 2, 5, 152
Let i = 51 + -21. Let g = 30 - i. Sort g, 5, 3/2 in descending order.
5, 3/2, g
Let j = -0.28 - 10.72. Let m = -8 - j. Let l(q) = 12*q - 1. Let n be l(0). Put m, n, -2 in ascending order.
-2, n, m
Let z = -2 - -4. Let n = 0 - -0.04. Let s = -0.04 + n. Put s, z, -5 in decreasing order.
z, s, -5
Suppose -3*s + 4*v = -0*s + 10, 4 = -4*s + 3*v. Let m be (4 - (-50)/(-15))*s/8. Sort 1/4, -5, 0.1, m in decreasing order.
1/4, m, 0.1, -5
Let u be (256/(-5))/((-77)/55). Let l = u - 37. Put l, 0.24, 3 in ascending order.
l, 0.24, 3
Let i = -2791 - -2790. Sort 4, i, -3, 0.1.
-3, i, 0.1, 4
Let q = 8.5 + -1.5. Let d = -127 - -120.3. Let w = q + d. Put 1, 5, w in increasing order.
w, 1, 5
Suppose 0 = -0*a - 2*a + 5*j - 135, 0 = -3*a - 2*j - 212. Let m = -139/2 - a. Sort m, -2, 4, -3/4 in descending order.
4, m, -3/4, -2
Let r = 2918 + -2912. Let g = 1 - 1. Sort -4, r, g in increasing order.
-4, g, r
Let g = -40.1 - -40. Let c be 1*(17 + 0) - -2. Suppose -h + 3*w = -13, -5 = -3*h + 4*w + c. Put g, h, 5 in decreasing order.
5, h, g
Let g = 3.481 + 1.519. Put 9, 2/15, g in descending order.
9, g, 2/15
Let z = -12 - -12.14. Let r = -2.756 - -2.456. Put 0.4, z, r in descending order.
0.4, z, r
Let y = -628 + 624. Put -8, -3, 5, y in increasing order.
-8, y, -3, 5
Suppose -r = -2*j - 3, 0 = -8*j + 4*j. Sort r, 14, -6, 1.
-6, 1, r, 14
Let q = -3.3 - -1.7. Let m = -2.6 - q. Let h = -0.2 - -5.2. Put m, h, 0 in ascending order.
m, 0, h
Suppose -7*w = -2*w + i + 1, -5*w - 5*i - 5 = 0. Suppose 1 = h - w*h. Let z = 1 + -0.8. Sort 5, h, z.
z, h, 5
Let x be (-2)/(-5) - (540/(-25))/6. Suppose -x*t + 2*r - 3 = -1, -5 = -5*t + r. Put 3, -5, -3, t in descending order.
3, t, -3, -5
Suppose 0 = -14*o + 51*o + 222. Sort 9, o, 4, -2.
o, -2, 4, 9
Let a be 1/(-4) - (-7)/(-4). Suppose b + b = -5*w - 8, b - 5*w = 11. Let g be -2 + b + 2 + -2. Put a, 2, g in descending order.
2, g, a
Let s = 0.24 + -1.94. Let z = -6.7 - s. Let h = 7/2 - 4. Sort 1/2, z, h in increasing order.
z, h, 1/2
Let s = -111/7 - -16. Suppose -2*z - q + 57 = 0, 0 = -2*z + 2*q - 13 + 67. Let x be 12/42 - (-6)/z. Sort x, 4, s in decreasing order.
4, x, s
Let c = -1933 + 1931. Sort c, -1/3, 2, 0.16 in descending order.
2, 0.16, -1/3, c
Suppose -2313*m + 2307*m + 6 = 0. Put 4, m, 2 in descending order.
4, 2, m
Let y(j) = -j + 2. Let h be y(5). Suppose -4*i - 9 = -13. Suppose -6 = -11*t + 82. Put t, h, i in increasing order.
h, i, t
Let l = 706 + -707. Let f = 7 - 12. Sort -27, l, f in decreasing order.
l, f, -27
Let q be ((-4)/5)/(30/5). Let s = -8/15 + q. Let x = -10227.2 - -10227. Sort x, 0.3, s.
s, x, 0.3
Suppose o = 8*o - 21. Sort o, -2, -5 in descending order.
o, -2, -5
Let g = 8 + -6. Suppose 3*h + 5 = -g*r, -19 = r + 3*r - 3*h. Let o(w) = -w**3 - 21*w**2 + 21*w - 21. Let v be o(-22). Put 2, r, v in descending order.
2, v, r
Suppose 3*k = 2*k + 1, -3*k - 9 = -2*w. Let h(a) = a**2 + a. Let o be h(3). Suppose -2*q + w*q = -o. Sort -1, -12, q.
-12, q, -1
Let p = -4.79 - -5. Let x = -11.79 - p. Let r = x - -12.3. Sort r, -0.1, 2/5.
-0.1, r, 2/5
Let j be 4/(-14) - (-810)/(-105). Suppose 0*n - 2*s - 10 = -5*n, 0 = -n + s + 2. Let i = 491 - 496. Sort j, i, n in decreasing order.
n, i, j
Let q(j) = j**2 + 3*j + 1. Let w be q(-3). Let r(g) = g - 14. Let c be r(18). Sort w, -3, c, 0 in ascending order.
-3, 0, w, c
Let u = -65 - -64. Let w = 11.3 - 10. Sort u, 3, w in ascending order.
u, w, 3
Let c be (-8)/(-3)*(-7 - -1). Let p be c/65 + 8/20. Let k = -58 + 54. Sort k, p, -0.3 in ascending order.
k, -0.3, p
Let c be 3*(5 + 3 + -7). Put -34, -2, c in decreasing order.
c, -2, -34
Let q be 2/(-9) + (-43)/9. Suppose 3*c - c - v + 8 = 0, 3*v = -5*c - 9. Sort c, q, 5, -2 in descending order.
5, -2, c, q
Suppose 3*c - 423 = -3*p, 3*c + 266 = 2*p + c. Let a = p + -138. Put -5, a, 5 in ascending order.
-5, a, 5
Suppose -2*g = -0*g - 6. Let j = 87 + -93. Let b be (j/10 - -1) + 17/(-5). Put b, -2, g in ascending order.
b, -2, g
Suppose 37*w = -30 + 104. Sort -4, 85, w in ascending order.
-4, w, 85
Let r = -45 - -44.8. Let j(m) = -m - 5. Let f be j(-6). Sort -2/9, r, f in decreasing order.
f, r, -2/9
Let m = 0.32 + -1.32. Put m, -5, -3, -0.2 in descending order.
-0.2, m, -3, -5
Let m = 125 - 122. Suppose 2*y - 5 = -h + 3, 0 = m*h + 3*y - 15. Put 5, 4, 3, h in ascending order.
h, 3, 4, 5
Let d = -17 + 25. Let u = -5 + d. Suppose 4 = 4*t, 3*k + 0*k + 4*t = -5. Sort 1, u, k.
k, 1, u
Let o(x) = 2*x**2 - x**2 + 0 - 1 + 4*x**3. Let l = -317 - -316. Let c be o(l). Sort 0, c, 5 in decreasing