, d
Let g(s) = s**3 + 7*s**2 - 17*s + 18. Let a be g(-9). Sort -5, -4, a in increasing order.
-5, -4, a
Let b(g) = g**2 + 2. Let q be b(0). Let v = 18 + -13. Put v, 4, q in decreasing order.
v, 4, q
Suppose -t - 31 = -4*t + 4*l, -5*t - 4*l = -9. Suppose 0 = x - 5*x + 56. Let z be (-12)/18 - x/6. Sort -1, z, t in descending order.
t, -1, z
Let v(a) be the third derivative of 5*a**4/24 + a**3/6 + 2*a**2. Let m be v(1). Suppose 0 = -3*g + m. Sort -1, 0, g in descending order.
g, 0, -1
Let a(r) = -r + 7. Suppose 30 = f - 5*i - 0*i, 0 = -5*f - i + 20. Let b be a(f). Suppose -2*d = 4*j - 24, -9 = -j - b*d - 0*d. Sort j, 2, 4 in increasing order.
2, 4, j
Let w = -0.4 - 4.6. Sort w, -2, -17 in ascending order.
-17, w, -2
Let q(j) = j**2 + j - 4. Suppose 0 = 3*r - 3*c - 15, -4*r = c - 4*c - 20. Suppose -y + r*y = 0. Let i be q(y). Sort -5, 5, i in decreasing order.
5, i, -5
Let t = -4 - -4.5. Let a = 0.4 - t. Sort a, 1/2, -4 in descending order.
1/2, a, -4
Let j = 0.44 - 4.44. Sort -1/3, j, 2, -3 in increasing order.
j, -3, -1/3, 2
Let z be 3 - ((-30)/5)/(-2). Sort z, 5, -1 in descending order.
5, z, -1
Let f = 63 + -43. Let a be f/6 - (-4)/6. Suppose -3*k + 5*n = -11, a*k + k = 3*n - 3. Sort 1, k, -1 in decreasing order.
1, -1, k
Let t = 50 + -50.5. Sort 5, 0, 4, t in descending order.
5, 4, 0, t
Let m(g) = 5*g**3 - 2*g - 2. Let o be m(-3). Let x = o - -919/7. Put 1, x, 4/7 in descending order.
1, 4/7, x
Let o = 77 + -82. Sort 7, 3/8, o in descending order.
7, 3/8, o
Let a = -107 + 103. Let h = -0.6 - -0.1. Sort a, -5, h.
-5, a, h
Let z = -9 + 4. Let a = 587/5 + -117. Sort a, -0.2, z in increasing order.
z, -0.2, a
Let b(k) = -k**2 - 11*k - 9. Let f be b(-10). Suppose 4 = i - f. Put -2, i, -4 in increasing order.
-4, -2, i
Let g(z) = -z**3 - 2*z**2 + 4*z + 2. Let f be g(-3). Sort 0, -3, f in ascending order.
-3, f, 0
Suppose k - 14 = 2*v + 2*k, -4*v = -3*k + 8. Sort -3, v, 4 in ascending order.
v, -3, 4
Let d = 9 - 9. Let i(u) = -u**2 + 6*u + 4. Let h be i(6). Let x be (-1)/((8/(-4))/10). Sort h, d, x in descending order.
x, h, d
Suppose 4*w = w. Suppose w = 3*l + 33 + 6. Let v = 119/9 + l. Sort 2, -2/3, v in decreasing order.
2, v, -2/3
Let z = 2.9 - -0.1. Let b = 0 - 0.2. Let u = 0.1 + b. Sort u, z, 1/2.
u, 1/2, z
Let z(v) = -v**3 - 4*v**2 + v + 4. Let n be z(-4). Sort n, 2, 2/9 in decreasing order.
2, 2/9, n
Let s(a) = -4*a - 12. Let j be s(-4). Sort -1, 0, j in ascending order.
-1, 0, j
Let n = 1 - -4. Suppose -n*m + 3*m - 6 = 2*p, 2*p + 2 = -m. Sort m, 4, 5 in descending order.
5, 4, m
Let f = 0.035 + -0.035. Let u = -5.3 - -5. Put u, f, 2 in descending order.
2, f, u
Let w be (-1)/5*-4 + (-1424)/880. Put 0, 2/7, w in ascending order.
w, 0, 2/7
Let z = -141 - -141. Sort 2, z, 3, -6.
-6, z, 2, 3
Let x = 7 + 17. Let n be 4/x + 17/6. Sort -2, n, 4 in descending order.
4, n, -2
Let o = -22 + 19. Put o, -27, 3 in decreasing order.
3, o, -27
Let g be 6/15 - (-13)/5. Let q = -3 + g. Sort 2, q, 4 in descending order.
4, 2, q
Let y = -33 + 149. Let m = -810/7 + y. Sort 0.5, m, 3/7.
m, 3/7, 0.5
Let w = 8 - 6. Suppose w*y = y + 1. Let i be 0 - (y + 4 - 2). Sort -5, i, 1 in decreasing order.
1, i, -5
Let r = -0.107 - 3.893. Sort 2/5, r, 0 in ascending order.
r, 0, 2/5
Let p be ((-8)/(-32))/((-4)/32*15). Sort -2, 0.03, 1, p in descending order.
1, 0.03, p, -2
Let q = 1 - 1.01. Let b = q - 0.39. Let l = 0.52 - 0.32. Put b, -1, l in descending order.
l, b, -1
Let u be 108/(-16) - 1/(-4). Let s = u + 27/4. Let v = -4 - -4.4. Put s, v, 2/9 in decreasing order.
v, s, 2/9
Let q = 101/2 - 50. Sort q, 2/13, -0.1 in descending order.
q, 2/13, -0.1
Let l = -17 + 18. Sort 4, l, 6, -3 in increasing order.
-3, l, 4, 6
Let v = -1.9 + 1.9. Let g = 1.06 + -0.06. Let x = -3.6 + 4. Sort x, v, g.
v, x, g
Let l be 3/15 + (-42)/10. Sort l, -14, -2/3 in ascending order.
-14, l, -2/3
Suppose 0*x - 3*x + 3 = 0. Let c(f) = f**3 + f**2 + f - 1. Let q be c(x). Let g be (-6 + 3)*q/3. Put -0.2, 0.1, g in ascending order.
g, -0.2, 0.1
Let k be (-22)/10 + 1/5. Sort 4, k, -1/2 in descending order.
4, -1/2, k
Let p be 0 + -2 - 3/(-2 + 3). Let j(m) = -m**3 + 4*m**2 + 4*m + 4. Let t be j(5). Sort p, -4, t in decreasing order.
t, -4, p
Let a(q) = -q**2 + q - 6. Let r be a(0). Let y be 4/r + (-14)/(-21). Sort -4, 1, y in descending order.
1, y, -4
Let j = 8.3 + -8. Let p = -3.7 - j. Let m = 2.895 - -0.105. Sort 1, p, m.
p, 1, m
Let p be 2/(-56) + 2/7. Let y be (0 - -1)/(4/8). Let n be (12/9 - y)*3. Sort p, n, -0.2 in descending order.
p, -0.2, n
Let i be 8/70 - (-4)/14. Let r = 0.5 + -0.8. Put i, r, 1 in increasing order.
r, i, 1
Suppose -1 = 3*l - 13. Suppose 0*y - 6 = -3*y, l = -2*k - 2*y. Let m(z) = -2*z + 7. Let j be m(5). Sort -5, k, j in decreasing order.
j, k, -5
Let x = -1.1 + -2.9. Put 17/2, x, 4 in decreasing order.
17/2, 4, x
Suppose 3*u + u + 4 = 3*w, -w = -5*u - 16. Put 5, 0, u in descending order.
5, 0, u
Let l(u) = -2*u**2 + 5*u + 5. Let c be l(5). Let x be (-6)/c*(-28)/21. Sort x, 3/2, 5 in descending order.
5, 3/2, x
Let s(q) = -2 + 0*q + q**2 + 6*q - 2*q**2 - 1. Let k be s(4). Sort k, -2, 4 in decreasing order.
k, 4, -2
Let n(o) = -o**2 + 2*o - 1. Let s be n(1). Let l = 2 + 3. Suppose s*g + l*g + 15 = 0. Put 3, -1, g in decreasing order.
3, -1, g
Suppose -2 = -4*l + c, 0*c + 10 = 4*l + 3*c. Let k = -12 + 17. Suppose -3*x - x = 16. Put l, k, x in descending order.
k, l, x
Suppose -5*n + 6 = -3*n. Let c(g) = g - 4. Let p be c(4). Suppose p - 4 = 2*w. Put w, 5, n in decreasing order.
5, n, w
Let j be ((-1)/2)/((-1)/2). Suppose k - x = 1, x = -4*k - x + 28. Suppose k*u - 4*a + 6 = 0, 0 = -3*u + u + a - 3. Sort -4, j, u in decreasing order.
j, u, -4
Let i = 1 + 3. Suppose 0 = 5*s, -2*u + i*s + 3 = u. Let q(j) = j**2 + 3*j - 2. Let a be q(-2). Sort u, -5, a in descending order.
u, a, -5
Let f be (2 + (-14)/4)*-2. Put f, -4, 4 in decreasing order.
4, f, -4
Let u = -0.63 - -0.03. Let s = u - -0.62. Let c = s + -0.02. Put c, 3, -1/5 in descending order.
3, c, -1/5
Let a = -1 + -0.3. Let r = 1 + a. Sort 5, -2, r.
-2, r, 5
Let o(i) = i**2 + 4*i - 3. Let c be o(-4). Let w(j) = j**3 - j**2 - 4*j + 3. Let r be w(2). Put 5, c, r in decreasing order.
5, r, c
Let p = -20 + 20. Suppose -2*v - 3*i + 46 - 11 = 0, 4*i = 12. Let h = 18 - v. Sort -4, p, h in descending order.
h, p, -4
Let x(p) = -p**3 - 6*p**2 + 7*p + 4. Let g be x(-7). Suppose 2*b - 5*z = -3*z - 4, 0 = 4*z - 20. Sort b, 2, g.
2, b, g
Suppose -21 = 5*b - 16. Sort 22, b, 2 in descending order.
22, 2, b
Let a(j) = j**3 - 1. Let l(f) = -7*f**3 + 10*f**2 - 11*f + 19. Let s(y) = 6*a(y) + l(y). Let g be s(9). Put g, -4, -2 in decreasing order.
-2, -4, g
Let p = 60 + -56. Sort p, -1, 3 in decreasing order.
p, 3, -1
Let g = -61 - -58. Sort -5, -0.7, g, -0.5.
-5, g, -0.7, -0.5
Suppose 0 = -50*v + 52*v + 8. Let c(x) = x - 5. Let g be c(6). Put v, g, 2 in increasing order.
v, g, 2
Suppose 0 = 5*w - 5*a, 2*w = -5*a + 12 + 9. Suppose -i - 1 = w. Sort 0, i, -3 in decreasing order.
0, -3, i
Suppose -4*y - 32 = 40. Let z be -4*(-3 - 57/y). Sort -4/7, z, -0.4 in ascending order.
z, -4/7, -0.4
Let y(v) = 2*v**2 - 2*v + 1. Let l be y(1). Let t = -198 + 202. Sort l, 5, t.
l, t, 5
Let s(g) = 2*g + 1. Let k be s(2). Let b(m) = m**3 - 8*m**2 + m - 2. Let c be b(8). Let u be 10/2 - (c + -5). Sort -4, u, k in descending order.
k, u, -4
Let f(z) = z**3 - 6*z**2 - 2. Let h be f(6). Sort -4, 2, h in descending order.
2, h, -4
Let i = 0.01 + -0.21. Let f = i - 3.8. Sort -2/3, f, -1 in increasing order.
f, -1, -2/3
Let t = -2 + 0. Put 5, -4, t in decreasing order.
5, t, -4
Let g(b) = b**3 + 9*b**2 - 10*b - 2. Let p be g(-10). Put -4, 5, 0, p in decreasing order.
5, 0, p, -4
Let r = 6 + -5.5. Let s = 0 + r. Sort -0.5, s, 1 in ascending order.
-0.5, s, 1
Let s(x) = -x**2 - 5*x + 4. Let n be s(-5). Let m = -8 - -3. Sort n, 0, m in increasing order.
m, 0, n
Let y = 358/15 - -19/3. Let v = y + -1691/55. Sort 4, v, -5 in descending order.
4, v, -5
Let s = 13 + 18. Let n = s + -33. Let l be 14/(-36)*2 + 1. Sort l, n, 2/7.
n, l, 2/7
Let c = 92 + -92. Put 66, c, -5 in increasing order.
-5, c, 66
Suppose 0*g - 6*g - 84 = 0. Let x = -10 - g. Sort -3, x, 6.
-3, x, 6
Let u = -0.32 - -0.3. Let z = 0.22 + u. Let k be (-2)/(-6)*(-18)/4. Put k, 4, z in decreasing order.
4, z