
Let c(m) = m**3 + 9*m**2 - m - 9. Let w be c(-9). Let a = 1 + -2. Let x = -0.8 - -1.1. Sort x, w, a in decreasing order.
x, w, a
Suppose 0 = -g - 3*g - 20. Let l = -286/5 + 57. Let s = 3.9 + -0.9. Put g, s, l in descending order.
s, l, g
Suppose 0 = 6*b - 3*b - 9. Suppose -4*i = -17 - b. Sort i, -1, 0.
-1, 0, i
Let c be 16/30*(-21)/(-84). Sort c, -3, -0.2, 1/2 in ascending order.
-3, -0.2, c, 1/2
Suppose -6*i + 20 = -2*i. Let t be i + (-6)/3 + 1. Sort t, 5, 2 in decreasing order.
5, t, 2
Let u = -0.35 + 0.05. Let n = -0.5 + -1.5. Sort 0.4, u, n in increasing order.
n, u, 0.4
Suppose 0 = f - b - 6, 12 = 3*f - 5*b - 10. Let x = 6 - 8. Let p be 10/(-4) - x/f. Put -3, 1, p in descending order.
1, p, -3
Let w(h) be the second derivative of h**4/6 - h**3/2 - 2*h**2 - h. Let a be w(3). Suppose 2 = a*g - 3. Sort 5, 3/5, g in descending order.
5, g, 3/5
Let m be (-12 + 8)*(-2)/(-8). Sort m, -3, 1 in decreasing order.
1, m, -3
Let m = -41 - -46. Let y = -1 + -1. Let t be y/4 + (-2)/8. Put m, t, -2 in decreasing order.
m, t, -2
Let t(x) be the second derivative of -x**3/6 + x**2/2 + x. Let g be t(2). Sort g, 4, 0 in descending order.
4, 0, g
Let w(t) = -5*t**2 - 3*t + 3. Let m be w(1). Sort 2, m, 3, -3 in decreasing order.
3, 2, -3, m
Let x be (16/(-12))/((-4)/(-6)*1). Let f be 1/(1 - 4/3). Sort f, -1, x.
f, x, -1
Suppose 0 = -2*b + 6*b. Suppose -3*w + b*w + 20 = 4*r, 20 = 4*r - w. Sort r, 0, 1 in descending order.
r, 1, 0
Let u = 1 + -0.97. Put u, 5/4, 2 in decreasing order.
2, 5/4, u
Let n = 113 + -110. Put -6, n, -4, -2 in increasing order.
-6, -4, -2, n
Let u(p) = p**2 + p + 4. Let c be u(-2). Sort c, 4, 3 in increasing order.
3, 4, c
Let u be 0 - (3 + -4) - -3. Sort 2, u, -4, -6.
-6, -4, 2, u
Let w = -207/2 - -104. Sort 6, w, -5, 5.
-5, w, 5, 6
Let y(t) = -t**3 + 11*t**2 + 4. Let r be y(11). Let m(k) = k**2 + k - 4. Let z be m(-3). Suppose -z*d - 2 = -0. Put r, d, 0 in descending order.
r, 0, d
Let r = -209/5 - -41. Suppose -2*w = 3 + 3. Put 2/7, w, r in ascending order.
w, r, 2/7
Let j = -0.9 + 5.9. Sort -1, j, 2/5 in decreasing order.
j, 2/5, -1
Let j = 6 + -4. Suppose -3*t - 19 = 2*l - 0*l, 4*t + 16 = 2*l. Suppose 2 = -4*o + 6. Put t, j, o in descending order.
j, o, t
Let v(c) = -16*c + 0*c**2 - c**2 + 4*c. Let p be v(-12). Let x be (0 - -3)*-1*1. Sort p, -5, x in descending order.
p, x, -5
Let m = -140 - -123. Put -0.2, 2/9, m in ascending order.
m, -0.2, 2/9
Suppose 3*l - 1 + 3 = 4*h, 3*l + 6 = 0. Sort h, -5, 3 in ascending order.
-5, h, 3
Let t be 0/(-3) - -5*(1 + 0). Sort 1, 18, 0, t in decreasing order.
18, t, 1, 0
Suppose 0 = -5*i + 4*k, 6*i - 4*i = -3*k. Let m(h) = h**3 + 4*h**2 - h - 8. Let q be m(-4). Sort 5, q, i in ascending order.
q, i, 5
Suppose -2*h - 10 = -0. Sort 4, h, 2 in increasing order.
h, 2, 4
Let k be -2*((-14)/(-4) - 5). Put -8, k, -3, -5 in decreasing order.
k, -3, -5, -8
Let h = 8 - 11. Let f(s) = s**2 - 4*s - 3. Let a be f(5). Sort h, a, 0 in descending order.
a, 0, h
Suppose 3*k - 4*k - 5*u = -1, -5*k = -2*u + 49. Put 2, k, 1, -2 in increasing order.
k, -2, 1, 2
Let r = 0.7 + -0.65. Sort -2/9, r, -0.3 in increasing order.
-0.3, -2/9, r
Suppose -11*b + 7*b - 8 = 0. Sort -5, b, 0 in decreasing order.
0, b, -5
Suppose 0*f + j - 1 = 3*f, -4*f = 5*j + 14. Let t(g) = -8*g - 5. Let i be t(-2). Let n = 14 - i. Put -4, f, n in ascending order.
-4, f, n
Suppose b = 5*b - 8. Let r(h) = 3*h**3 + 1. Let c be r(-1). Put c, b, 5 in increasing order.
c, b, 5
Let h = 2.1 - 1.8. Sort h, 2/3, 5 in decreasing order.
5, 2/3, h
Suppose -n + r = -6, 2*n + 0*r - 18 = 4*r. Let f = 28 - 23. Sort 1, f, n.
1, n, f
Suppose -2*r - 4*j = 26, -3*j = r - 4*j - 2. Put 0, -18, r in ascending order.
-18, r, 0
Let i be -2 + 3 + -4 + 6. Let z(a) = 7 + a + 3 + 0*a + a. Let h be z(-7). Put i, -2, h in decreasing order.
i, -2, h
Let c = 188 - 192. Sort c, 2, -3, 0 in increasing order.
c, -3, 0, 2
Suppose 4*n = 5 + 7. Suppose 0 = n*p - 6*p. Put p, 2, -3 in ascending order.
-3, p, 2
Let d(x) = 2*x - 53. Let j be d(25). Sort 1, j, -0.2, 1/8 in descending order.
1, 1/8, -0.2, j
Let d = 7 - 4. Let p be 0/d - -3*1. Sort p, -7, 0.
-7, 0, p
Let f be (-9)/(-3) - (0 - 1). Let w = -7 + 10. Suppose -f + 10 = -w*v. Sort 1, 4, v in increasing order.
v, 1, 4
Let x = -22 + 20. Sort x, -1, 3.
x, -1, 3
Let x = -22.7 + 23. Put x, 0.1, 2/13 in increasing order.
0.1, 2/13, x
Suppose 6*f = -f. Sort -2, f, 1 in decreasing order.
1, f, -2
Let r = -8 + 9. Let d(u) = -2*u**2 - 4*u - 2. Let j be d(-2). Put 4, j, r in increasing order.
j, r, 4
Let j = -2.1 + -0.9. Let u = 3.4 + j. Sort -1/3, -4, u.
-4, -1/3, u
Let o(u) = -2*u + 4. Let w be o(-1). Put w, -0.5, -6/5 in decreasing order.
w, -0.5, -6/5
Suppose 6*c - c + 40 = 5*n, 5*n - 3*c = 32. Put 2, -12, n in descending order.
n, 2, -12
Let n = 4 + 1. Let m = -44497235/399 + 111522. Let s = 2/57 + m. Put 4, n, s in ascending order.
s, 4, n
Let u = 18 + -16. Let c be -4 + 0 + 0/u. Sort 2, c, 3 in decreasing order.
3, 2, c
Let b = -10 - -6. Let r be (b/(-18))/(3/(-3)). Put 2, r, -2 in descending order.
2, r, -2
Suppose -4*x - 6 = -18. Put -5, x, -4, -1 in increasing order.
-5, -4, -1, x
Let m = 27 - 19. Suppose 12*v - 14*v - m = 0. Suppose 2*g - 5 = -1. Put v, g, 6/5 in decreasing order.
g, 6/5, v
Suppose -y + 6*y = 0. Let p be -3 + (5 - 4 - y). Let r = -7 + 10. Put p, 4, r in ascending order.
p, r, 4
Let f = 6 - 9. Let j = -71 + 71. Sort j, f, -4 in descending order.
j, f, -4
Let i = -56 - -56. Sort i, 0.3, -4.
-4, i, 0.3
Let g = 32 - 20. Let j = 8.5 - 1.5. Let v = g - j. Sort -5, 0.5, v.
-5, 0.5, v
Let y = -16 + 17. Sort 0.2, 1/10, y.
1/10, 0.2, y
Let o = 0.474 - 0.074. Sort 0.08, o, -4, 1/4 in increasing order.
-4, 0.08, 1/4, o
Suppose -v - 3*l + 30 = -8*l, 0 = 4*v - 3*l - 35. Suppose -v - 15 = 5*y. Let o = 0.08 - 5.08. Put 4, y, o in decreasing order.
4, y, o
Suppose 2*u = 6*u + 40. Let l = 8 + u. Put l, 3, 5 in descending order.
5, 3, l
Suppose -4*w + 2*r + 0*r - 14 = 0, 0 = 5*w - 4*r + 16. Let p be -3*(-2)/12*2. Sort 5, w, p in decreasing order.
5, p, w
Let f(o) = 6*o**2 + o - 3. Let t(c) = -c**2 + c. Let m(w) = f(w) + 5*t(w). Let h be m(-6). Put -4, 1, h in decreasing order.
1, h, -4
Let z = -0.7 + -2.3. Let n be 0/2 - (-2)/(-10). Let j = 22 - 22. Put z, j, n in increasing order.
z, n, j
Let g = -5 + 0. Let p = -3 - g. Sort -0.2, p, 5 in decreasing order.
5, p, -0.2
Let z = 0.1 + -0.3. Let l = 4.9 - 0.9. Let u = l + -6. Put u, z, 2/5 in decreasing order.
2/5, z, u
Let i(y) = -y**3 - 4*y**2 + 5*y - 1. Let b be i(-5). Let k be 5/2*(-138)/115. Sort k, 0, b in descending order.
0, b, k
Let a = -2.7 - -3. Let m = 69/55 + -5/11. Sort a, m, -2.
-2, a, m
Let f be 6/(-21) + -3*25/105. Let z be 7/2 + (-1)/(-2). Let y be (1 + z)/(3/(-3)). Put y, 3, f in increasing order.
y, f, 3
Suppose -3*b + 9 = -0*b, 2*b - 90 = 4*s. Let h be (s/4)/(-3) + -1. Let p = -215/679 - -3/97. Sort 4/3, h, p in descending order.
4/3, h, p
Let d = 3 + -7. Let c be (-1)/(-2 + 18/10). Let g = -2 - -4. Sort d, g, c in ascending order.
d, g, c
Let w = -0.1 - 1.9. Sort w, -0.3, 5, -3 in descending order.
5, -0.3, w, -3
Let l be (6/16)/(5/(-10)*6). Put -0.3, l, 2, -3/5 in descending order.
2, l, -0.3, -3/5
Let c be (18/4)/9*8. Let h be -1*5*(0 - -1). Suppose 7 = 5*z - 3. Sort h, c, z in descending order.
c, z, h
Suppose 0 = z + 4*z. Suppose -4*i - 2 + 18 = z. Put -2, i, 0 in descending order.
i, 0, -2
Let b = 32 + -30. Let i(w) = -w**2 + 1. Let c be i(0). Let l be (8/(-10))/(c/(-5)). Put -4, b, l in increasing order.
-4, b, l
Let a = 129/4 + -119/4. Let c = 5.9 + 0.1. Let n = c - 5.6. Put -0.4, a, n in decreasing order.
a, n, -0.4
Suppose 8 = 4*s - 4, -5*h = -4*s + 2. Let z = 46 + -25. Let b be 2*1 + z/(-3). Sort b, h, -2 in descending order.
h, -2, b
Suppose -5*m + 12 = -m. Let f be (-2 - (-1 - -1)) + -2. Sort f, m, -2 in descending order.
m, -2, f
Suppose -4*r - 3*p = -r - 6, -34 = 3*r - 5*p. Put 0, r, -1/2, 7 in decreasing order.
7, 0, -1/2, r
Let b = -3.6 + -0.4. Let y = b - -3.5. Sort -1, -2/9, y in decreasing order.
-2/9, y, -1
Let a be 10 - 2 - (-3)/3. Let l = a + -4. Suppose -2*p - 3*p = 4*k - 3, -k - l*p = 3. Put 3, -3, k in descending order.
3, k, -3
Let s be 1*-10*16/(-10). Let p = s - 11. Put p, -4, 2 in increasing order.
-4, 2, p
Let k be (1/2)/(1/(-2)). 