 -4. Sort c, -0.1, -0.01 in descending order.
-0.01, -0.1, c
Suppose -4*f + 5*y = -27, -f - 4*f + 4*y + 27 = 0. Let k = 7 - f. Sort -5, -3, k in descending order.
k, -3, -5
Let l(n) be the second derivative of n**5/20 + n**4/4 - 2*n**3/3 + n**2 + 2*n. Let z be l(-4). Suppose 0 = 2*y + 4 + z. Put -2, 0, y in increasing order.
y, -2, 0
Let i(f) = f + 15. Let n be i(-13). Put -4, n, 4/7, 0.4 in decreasing order.
n, 4/7, 0.4, -4
Let z = 12 - 10. Let y = -6 - -3. Put 4, y, z in decreasing order.
4, z, y
Let m = -6 + 10. Let p(z) = -z**2 - 8*z. Let d be p(-8). Suppose s = -d*s - 5, 0 = -5*a - 5*s - 15. Sort m, -1, a in decreasing order.
m, a, -1
Let q = -4448/13 + 342. Let j be 4/(-14) - 32/(-210). Put -3, j, q in ascending order.
-3, q, j
Let o = 20 - 25. Sort 4, o, -2 in increasing order.
o, -2, 4
Let l(c) = -3*c**2 - c - 1. Let d be l(0). Sort -11, -3, d in decreasing order.
d, -3, -11
Let k = 8.02 + -8. Sort k, 0.2, -3/5, -0.3 in decreasing order.
0.2, k, -0.3, -3/5
Let g = -53.3 + 57. Let o = 0.7 - g. Let q = 0.3 + 0.2. Sort o, -3/5, q in descending order.
q, -3/5, o
Let b(d) = -d**3 + 5*d**2 - 2*d + 3. Let a be b(2). Suppose 5*y = 5*z - 40, 4*z = 3*y + 2*z + 22. Let x = a + y. Sort x, 1, 2.
1, 2, x
Let q = -16 + 21. Put 0, 0.3, q in increasing order.
0, 0.3, q
Let q be (-16 + -4)*(-2)/4. Suppose 4*o + q = -o. Let f be (-13)/(-4) - (-1)/(-4). Sort 5, f, o in decreasing order.
5, f, o
Let k(g) = g + 3. Let y be k(0). Sort y, -3, 4.
-3, y, 4
Let v = 18.6 - 0.6. Let j = -18.4 + v. Put 5, j, -3 in decreasing order.
5, j, -3
Let a(v) = -v + 7. Let o be a(10). Let u = -2 + 4. Let i = 1/61 - 63/122. Sort u, o, i in decreasing order.
u, i, o
Let d = -78 - -73. Put 3, -3, d, 2 in decreasing order.
3, 2, -3, d
Suppose 2*c = 6*c. Suppose c = i + 2. Let p = -9 - -12. Sort i, -3, p in decreasing order.
p, i, -3
Let x(r) = -2*r + 10. Let w be x(3). Sort 5, w, -3, -2 in increasing order.
-3, -2, w, 5
Let z = 2 - 2.2. Let m = -0.3 - z. Put -5, m, 4 in increasing order.
-5, m, 4
Let p be (-14)/21 + (-32)/(-3). Suppose 2*f = 35 - 25. Sort p, f, 2 in increasing order.
2, f, p
Let w = -1/6 + -7/12. Sort 3/8, w, -5.
-5, w, 3/8
Suppose c + 3*c - 12 = 0. Let s = -7 + 1. Let k = c + s. Sort -1, k, 0 in increasing order.
k, -1, 0
Let t = -4/9 - 11/36. Let b(l) = -l**3 + 4*l**2 - l + 4. Let n be b(3). Let m be (-3)/6*n/(-1). Sort -1/4, m, t.
t, -1/4, m
Suppose -3*a = x + 2*x - 12, 5*x - 10 = -3*a. Let u be ((-16)/(-20) + (-42)/(-10))*-1. Sort u, a, 3 in ascending order.
u, 3, a
Suppose 0 = 3*p - 6*p. Put p, 5, 3 in decreasing order.
5, 3, p
Let o be 2/6 - (-182)/21. Suppose -o*f + 11*f - 2 = 0. Put -13, 4, f in descending order.
4, f, -13
Suppose n = -3*n + 12. Let b(q) = -q**2 + 26*q - 5. Let j be b(26). Put n, 0, j in decreasing order.
n, 0, j
Suppose -2*g = -g + 2*i, -3*i + 1 = 2*g. Let w = -3 - g. Sort -1, w, 4.
w, -1, 4
Let l = 8 - 10. Let o(g) = -4*g**3 + g**2 - g - 1. Let f be o(-1). Put l, -1, f in ascending order.
l, -1, f
Let z(o) = -4*o - 19. Let r be z(-6). Suppose r*p - 14 = 6. Sort p, 0, -4.
-4, 0, p
Let w(i) = i + 3. Let d be w(-8). Let p = 1 - 3. Let q be (-95)/35 + p/7. Sort d, q, 3.
d, q, 3
Let o(b) = -b**2 + 8*b - 1. Let v be o(7). Suppose q + v = -14. Let s be 4/10 - (-3)/q. Sort 2/7, s, 4 in descending order.
4, 2/7, s
Let s = -0.39 + 0.49. Put -3, -5, s in decreasing order.
s, -3, -5
Suppose 2*g - 4*r - 50 = 4*g, 2*g + 3*r = -45. Let c = g + 15. Sort -2, -1, c.
-2, -1, c
Let l = 83 + -83.1. Put 12, l, 3, 3/4 in decreasing order.
12, 3, 3/4, l
Let c = -0.9 + -4.1. Let y(d) = d**2 + 14*d + 28. Let w be y(-12). Sort -0.1, c, w in ascending order.
c, -0.1, w
Let w = -0.004 - -0.214. Let o = w - 0.11. Let b = -0.8 - -0.5. Put b, o, -1 in decreasing order.
o, b, -1
Let z be 42/49*7/2. Sort -1, -5, z in decreasing order.
z, -1, -5
Let n = 9 + -13. Let v = 16 + -15. Let t be (-2 - n) + v + -4. Sort t, -2, 2 in descending order.
2, t, -2
Let p = 0.5 - -1.5. Let j = 1.96 - p. Let x = -0.04 - j. Sort -1, x, -0.4 in decreasing order.
x, -0.4, -1
Let b be 1 + 1/((-2)/8). Let z(h) be the first derivative of h**2/2 + 11*h + 4. Let s be z(-8). Put b, -5, s in decreasing order.
s, b, -5
Suppose 0 = -2*j + 2*u + 8, -4*u = -2*j + 6*j - 8. Put j, -5, -1 in decreasing order.
j, -1, -5
Let l = -0.45 - -0.05. Let v(f) = -18*f**2 - 2*f. Let b be v(4). Let q = b + 3250/11. Sort q, 4, l in ascending order.
q, l, 4
Let t(p) = -3*p**2 + 4*p - 6. Let v be t(3). Let a = 20 + v. Put 3, 4, a in descending order.
4, 3, a
Let p = -4 + 14. Let q = p - 4. Let n = q + -6.4. Sort n, 0, 2/15 in decreasing order.
2/15, 0, n
Let x = 0.16 - 0.06. Let i be 6/45*9/2. Put x, 4, i in decreasing order.
4, i, x
Let t be ((-15)/9)/((-2)/(-6)). Suppose 0 = -0*f - 2*f + 8. Suppose u + f - 5 = 0. Sort t, -4, u in descending order.
u, -4, t
Let s be 4*(0 + 1 + 0). Let z = -8 - 6. Let i = z + 14.2. Sort -2/13, i, s in decreasing order.
s, i, -2/13
Suppose 28 = -4*h + 3*m - 66, -4*h - 96 = -4*m. Sort 2, h, 4 in descending order.
4, 2, h
Let p = 108 + -103. Sort 4, 0, 1/6, p in ascending order.
0, 1/6, 4, p
Let c(r) = -r**3 - 6*r**2 - r + 1. Let w be c(-6). Suppose -3 - w = 2*l. Let j = -51/2 - -25. Sort l, -0.1, j in increasing order.
l, j, -0.1
Let q = 0.44 + -0.04. Sort 3/7, -4, q, -8.
-8, -4, q, 3/7
Let f = 15 + -11. Suppose -2 = d + 3*x, -f*d + x = -21 - 10. Suppose 4*k - 1 = d. Put 5, k, -4 in decreasing order.
5, k, -4
Let k = 0.08 + -0.38. Put 2, 19, k in decreasing order.
19, 2, k
Let v = -0.08 - -0.16. Let g = 0.02 + v. Let f = -0.3 - g. Sort f, -1/3, -1/12 in ascending order.
f, -1/3, -1/12
Let s = -125 + 122. Sort 2, -2, s in descending order.
2, -2, s
Let u be 166/(-4) - 18/(-12). Let b be (-96)/u + 6/10. Put b, -0.2, -0.4 in increasing order.
-0.4, -0.2, b
Let t(o) = o**3 + 4*o**2 + 5*o + 3. Let c be t(-3). Sort 3, 5, c.
c, 3, 5
Let x = -3 - -2.8. Let j = -4.6 - -4.8. Sort j, x, 3.
x, j, 3
Let s = 0.1 + -0.1. Let a = 0 + s. Let i be (4/6)/(-3*2/(-9)). Sort -1, i, a in descending order.
i, a, -1
Let h = 55 + -56. Sort -4, h, -3.
-4, -3, h
Suppose -c + 17 = -5*m, 3*m + 11 = -2*c - 7. Let l be m/(-14) + 54/(-336). Suppose -2*h + 0*h = 0. Put -1/5, l, h in decreasing order.
l, h, -1/5
Let k be 24/(-5) - (-11)/(-55). Let q be 6*((-7)/3 + 1). Put 0, q, k in descending order.
0, k, q
Let x = -0.2 - 0.2. Sort x, -3, 0.5.
-3, x, 0.5
Let y be (2 - 1)/((-9)/(-36)). Let w be 1 - 6/(-3 - 0). Sort w, y, -4 in decreasing order.
y, w, -4
Let i = -17.1 + 16. Let w = i + 0.6. Let g = -18 - -52/3. Sort w, g, 0.4.
g, w, 0.4
Let b = -6 + 6.3. Suppose -p + 8 = 3*p. Sort p, b, 1/11 in decreasing order.
p, b, 1/11
Let w(r) be the third derivative of r**4/24 - r**3/3 + 2*r**2. Let v be w(6). Suppose 5*h + 2 = -z, -10*h - 8 = 4*z - 13*h. Put 1, z, v in decreasing order.
v, 1, z
Let v = 655705/48 - 13661. Let k = v - 3/16. Sort -3, k, -0.4.
-3, k, -0.4
Suppose 0 = a + 11 - 9. Put -7, 2, a in decreasing order.
2, a, -7
Suppose -6 = -4*j + 2. Let v be (-17)/34 + (-10)/(-12). Sort j, v, -3 in decreasing order.
j, v, -3
Let j(y) = -y**3 + 10*y**2 + 14*y - 1. Let r be j(11). Let w = -290/9 + r. Sort -4, w, 1 in decreasing order.
1, w, -4
Let g = 2 + 2. Suppose -4*u + 3*h = -15, 2*h = -g*u - 8 - 2. Let i = u + -4. Sort -5, i, 0 in descending order.
0, i, -5
Let f = -141 + 142.01. Let c = 0.01 - f. Let i(p) = -p + 8. Let v be i(5). Put v, c, 0.4 in increasing order.
c, 0.4, v
Let r = 0.023 - 0.063. Put -0.1, r, 5 in ascending order.
-0.1, r, 5
Suppose 0 = -5*f - 5*m + 15, -2*f + 2*m + 6 = 0. Let x = -3 + 3. Suppose i = -x*i - 1. Put i, f, -2 in descending order.
f, i, -2
Let l = -32.6 + 33. Sort -1, 4, l in ascending order.
-1, l, 4
Suppose -2*o - 3 = s, -2*s - 9 = o + 4*o. Let m = -5 - 0. Suppose 2*j + 2*j - 4 = 0. Sort m, o, j in increasing order.
m, o, j
Let w be (-3)/(-3*15/12). Let v = -8/57645 - -16172633/57645. Let o = v - 281. Sort w, o, 4.
o, w, 4
Let s be (-6)/(-2) - (4 + 1). Put s, -0.4, 0, -0.05 in decreasing order.
0, -0.05, -0.4, s
Suppose 2*b + 1 = -9. Let q be (-7)/((-7)/4) - (3 - 2). Put b, q, -2 in decreasing order.
q, -2, b
Let m = 28.11 - 28. Sort 0, 3, m, -3 in decreasing order.
3, m, 0, -3
Suppose -5*d - 15 = 10*d. Let y = 0 + -1. Let f be 0*((-3)/2 - y). Put d, f, -0.5 in descending order.
f, -0