4, n in descending order.
n, 0, -4
Let i(y) = -y**3 + 5*y**2 + 6*y + 2. Let h be i(6). Sort -3, -2, h in decreasing order.
h, -2, -3
Let j(t) = -165*t - 6. Let l be j(-5). Let k be (-477)/l - 4/(-26). Let o(g) = g**2 - 4*g - 4. Let v be o(5). Sort k, -4, v in decreasing order.
v, k, -4
Suppose 4*y = -3*w + 20, -3*w + w + 8 = 0. Suppose -y*k - 1 + 3 = 0. Let g(t) = 2*t + 1. Let c be g(1). Sort c, k, -3 in descending order.
c, k, -3
Let x = 0 - -3. Let i = x + 0. Put i, -5, -0.1 in decreasing order.
i, -0.1, -5
Let c(n) = -5*n**2 - 2*n. Let j(a) = 9*a**2 + 3*a. Let r(x) = 7*c(x) + 4*j(x). Let d be r(3). Suppose -7 - d = 5*w. Sort 4, -1, w in ascending order.
w, -1, 4
Let k(r) be the third derivative of r**4/24 - 5*r**3/3 + 3*r**2. Let w be k(7). Sort 0.3, 2, w.
w, 0.3, 2
Suppose -p + 0*p - 3*j = 5, -25 = 5*p + j. Let z = -10 - p. Sort 2, z, -0.1 in ascending order.
z, -0.1, 2
Let d be 8/(-108)*(-6)/2. Sort 4, d, -4 in descending order.
4, d, -4
Let d = -7.2 - -6.9. Put d, 0.3, 10 in increasing order.
d, 0.3, 10
Let j = -37 - -34. Sort -2, j, 0 in decreasing order.
0, -2, j
Let g = 157/295 + 4/59. Suppose -2*j - 3*j - 21 = 4*b, -3 = 2*b + j. Let q = 2 - b. Sort q, 4, g in decreasing order.
4, q, g
Suppose 4*q - 3*q + 2*j = -3, 5*q = -5*j. Suppose -q*d - 6*u + u = 10, -u - 2 = 4*d. Suppose d = -2*w - p + 1 + 9, p - 4 = 0. Put 5, w, -3 in ascending order.
-3, w, 5
Let t be (-2 - 1/((-4)/(-8)))*2. Sort 1, t, -2 in ascending order.
t, -2, 1
Let z = -10 - -10. Put -1/6, -0.3, z in descending order.
z, -1/6, -0.3
Suppose -5*x - 2*s = 29, -9*x - s - 12 = -7*x. Put 1, 5, x, -4 in ascending order.
x, -4, 1, 5
Let o(s) be the third derivative of -s**4/24 + s**3/3 + s**2. Let v be o(5). Sort -1, v, -2 in descending order.
-1, -2, v
Let a = -7 - -5. Put -3, a, 0, 5 in decreasing order.
5, 0, a, -3
Let q = -27 - -28. Put -4, -1, q, 2 in ascending order.
-4, -1, q, 2
Let o(a) = 3*a + 3. Let m(p) = -5*p - 5. Let t(d) = -4*m(d) - 7*o(d). Let x be t(-4). Suppose -x = c - 2*c. Sort c, 0, 2 in descending order.
c, 2, 0
Suppose -2 - 10 = 4*m. Let j(l) = l**3 + 8*l**2 - 10*l - 8. Let g(t) = -2*t**2 + 3*t. Let a be g(3). Let w be j(a). Sort w, m, -4 in decreasing order.
w, m, -4
Let j be (0 + 2 - 1)*-3. Put j, -10, 3, 2 in increasing order.
-10, j, 2, 3
Let b be (1/(-10))/(8*3/60). Put 1/13, b, -1, 0.3 in descending order.
0.3, 1/13, b, -1
Suppose -20 = 3*r + r. Let s = 2 + r. Put -2/15, s, 5 in descending order.
5, -2/15, s
Let f be -2 + 1/4 + 9 + -7. Sort f, 3, 0.1, 3/2.
0.1, f, 3/2, 3
Let m(x) = x**3 + 7*x**2 - 9*x - 3. Let j be m(-8). Sort 3, -2, j in increasing order.
-2, 3, j
Suppose 0 = 4*o - 5 + 1. Sort -7, -3, -1, o in descending order.
o, -1, -3, -7
Let j = -118 - -120. Sort -5, 5, j, 0.
-5, 0, j, 5
Let a be (10/(-3))/((-24)/36). Suppose 3*z - d = a*z - 11, -z - 5*d + 28 = 0. Sort z, -5, 1 in increasing order.
-5, 1, z
Suppose 2*l = 3*d - 12, 0 = 4*d - 9*d - 3*l + 20. Sort -4, d, -1 in increasing order.
-4, -1, d
Suppose 4*a - 10 = -2. Put -0.3, a, -0.1 in decreasing order.
a, -0.1, -0.3
Let c be ((-2)/(-4))/(7/(-140)). Sort -3, 4, c in descending order.
4, -3, c
Let p = 15 + -16.5. Let q = p - -1.4. Sort q, 0.3, 4.
q, 0.3, 4
Suppose -2 = -3*u + u + 3*o, o - 2 = -2*u. Sort u, 2, 4 in descending order.
4, 2, u
Let d = 0.65 + -1.15. Sort d, -1/5, 2 in increasing order.
d, -1/5, 2
Let r be 1 + ((-2)/3)/1. Let d = 2.05 + -0.05. Let l = 4 - d. Sort r, l, -0.5.
-0.5, r, l
Suppose 0 = h - 2*k - 1, -4*h - 4*k = -5*h + 7. Put h, -3, -1, -4 in descending order.
-1, -3, -4, h
Suppose 380*s - 381*s - 5 = 0. Suppose h - l = 1, l + 0 = 2. Let n = 8 - h. Put 2, n, s in increasing order.
s, 2, n
Let j(m) = -m**2 + 7*m + 2. Let b be j(7). Suppose 2*q + 22 = -12. Let r = q + 12. Put r, b, 0 in increasing order.
r, 0, b
Suppose 2*b + 26 = -5*a + 1, 3*a = 4*b + 11. Sort -20, b, 4 in descending order.
4, b, -20
Suppose 0 = -2*p - 3*b - 4 - 3, 4*p + 13 = -5*b. Sort 5, 3, p, 0 in descending order.
5, 3, 0, p
Let p = -212/63 - -22/7. Let a = -3 - 1. Put a, p, -3/2 in decreasing order.
p, -3/2, a
Let m(u) = -u - 4 + 3*u + 2*u - 2*u. Let l be m(3). Let d be 2/(-5) - (-26)/(-10). Sort d, l, 4 in descending order.
4, l, d
Suppose -16 = -5*o + 9. Let d(g) be the third derivative of g**5/60 - 5*g**4/24 - g**3 - 4*g**2. Let x be d(6). Put -5, x, o in increasing order.
-5, x, o
Let x = 3 + -3.1. Let b = x + 0.3. Let d be 3/9 - 2/6. Put b, 0.1, d in descending order.
b, 0.1, d
Let c = -0.14 - -0.06. Let j = 14 + -14.92. Let v = j + c. Put -5, v, 1/3 in decreasing order.
1/3, v, -5
Let f(b) = -b**3 + b**2 + b. Suppose -3*g + 14 + 6 = -4*a, -2*g - 5 = a. Let j be f(g). Sort 3, j, -3.
-3, j, 3
Let k be (48/(-120))/(1/10). Sort -21, k, -5 in increasing order.
-21, -5, k
Let x = -54 - -35. Let s = -15 - x. Sort s, -2, -1 in increasing order.
-2, -1, s
Let o(u) = 2*u - 9. Let a be o(-7). Let h = -47/2 - a. Sort -4, 1/6, h in increasing order.
-4, h, 1/6
Let i = -5 + 1. Let n = -668/5 - -134. Sort n, 1/8, i in decreasing order.
n, 1/8, i
Let f = 0 + -1. Let t be (-5)/(-3) - (-2)/6. Suppose 4*x + 21 = -z, -t*z + x - 21 = 3*z. Sort 2, f, z.
z, f, 2
Let g be 1 + -11*(92/(-32) + 3). Put g, -2, -6/23, 0.1 in increasing order.
-2, g, -6/23, 0.1
Let z = 111.02 + -111. Sort -0.4, z, -4.
-4, -0.4, z
Let n = 56 - 50.96. Let j = -0.04 + n. Sort -0.2, j, 0.4 in ascending order.
-0.2, 0.4, j
Let c = -1 - -2.6. Let y = c - 1. Let o = y + -1. Sort -5, o, 0.1 in increasing order.
-5, o, 0.1
Let b(i) = i**2 - 3*i - 5. Let c be b(4). Let t = -305 - -299. Sort t, c, -1/5 in ascending order.
t, c, -1/5
Let b(g) = -2*g + 1. Let t be b(-1). Let r be (-15)/20 + t/(-12). Put 0, r, 5 in ascending order.
r, 0, 5
Let c(u) = 2*u + 7. Let f be c(-5). Let i be f/(-6)*(-6)/(-9). Put i, 0.3, -4 in increasing order.
-4, 0.3, i
Let g = 56 - 80. Let x = g + 28. Sort x, 5, -1/7 in decreasing order.
5, x, -1/7
Let f = -0.93 - -0.43. Sort 3, -17, f in ascending order.
-17, f, 3
Let x(t) = -t**2 + 9*t + 4. Let y be x(5). Suppose 0*s - 2*s + y = 0. Let g be (8/108)/(2/s). Sort -1/5, g, -2 in decreasing order.
g, -1/5, -2
Let a be (18 - 3)*(-35)/135 + 4. Put 1, -0.3, a, -0.4 in decreasing order.
1, a, -0.3, -0.4
Let o = -79/396 - 1/44. Sort 7, o, -0.3, 2/5 in decreasing order.
7, 2/5, o, -0.3
Let j(u) = 6*u**3 - 2*u**2 + 2*u - 1. Let z be j(1). Suppose 5*q + 2*g - 35 = 0, -4*g + 47 = z*q + 2. Put 0, q, 3 in decreasing order.
q, 3, 0
Let m = -15/2 + 8. Sort m, -4/5, -1 in decreasing order.
m, -4/5, -1
Let c be -2 + (0 - (-80)/35). Sort c, -1, 3 in descending order.
3, c, -1
Suppose -8*i + 1 + 15 = 0. Sort 5, i, -3 in decreasing order.
5, i, -3
Let b = -0.6 - -0.3. Let f = 0 + -5. Sort b, 5, f in decreasing order.
5, b, f
Let d = 0.29 + -0.09. Let g = 0.1 + -0.2. Sort -1/3, g, d in descending order.
d, g, -1/3
Suppose 0*h = -2*a - 4*h - 8, 3*a = 5*h + 21. Suppose 4 = 3*d - 5. Suppose 4*q - 25 = 3*p, -5*p + d*p = 2*q - 2. Sort p, 1, a in descending order.
a, 1, p
Let y(d) = d**2 + 5*d - 4. Let s be y(-6). Let h be (0 - 1 - s) + 3. Sort h, -5, -2 in ascending order.
-5, -2, h
Suppose 2*i - 4*i - 10 = 0. Let x be 1*-1 + 0 + 4. Suppose -4*k - 3*f = -0*k - 28, 0 = 2*k - 3*f + 4. Sort x, k, i in decreasing order.
k, x, i
Let m be 8/((-2 + -2)/(-2)). Let k(i) = -i**3 + 6*i**2 - i + 6. Let v be k(6). Let y be 1 + 2 + -1 + v. Put -2, m, y in descending order.
m, y, -2
Let r(a) = 3*a**2 - 12*a - 1. Let b be r(4). Sort 2, -2, 5, b.
-2, b, 2, 5
Suppose 0*j = 2*j - 4. Let m(c) = c**3 + 4*c**2 + 3. Let p be m(-4). Sort 1, j, p in ascending order.
1, j, p
Let t = 23/87 - -2/29. Put 3, t, 2/15 in decreasing order.
3, t, 2/15
Let j = -4 + 5. Suppose -3 = 2*u + 3. Sort j, u, -2.
u, -2, j
Let l be ((-1)/(-4))/(30/(-16)). Let q be 4 + 1/2*0. Let h be q/36 + 0/(-1). Sort h, l, 5 in ascending order.
l, h, 5
Let r be 0/((-8)/4) - 2. Sort 3, -3, r.
-3, r, 3
Let o = 3 + -3. Let t(j) = -j**3 - 4*j**2 - 5*j - 2. Let a be t(-3). Suppose a*y - 2 = 10. Sort y, 2, o in decreasing order.
y, 2, o
Let i(h) = h**2 - 3*h - 3. Let d(r) = -r - 8. Let m be d(-11). Let y be i(m). Let q(b) = -b - 4. Let u be q(-3). Put u, 1, y in increasing order.
y, u, 1
Suppose -5*v + 35 = -3*r, -5*r - 13 = 4*v - 4. Let f(i) = 9*i - 137. Let a be f(15). Put a, r, 0 in increasing order.
r, 