se -f = 5*c + 27. Let x be q(c). Sort x, -6, 5 in decreasing order.
5, x, -6
Let s be 2*(-6 - (1 + -1)). Sort 5, -3, 0, s in descending order.
5, 0, -3, s
Let s = 9328/23 + -406. Let j = -47/161 - s. Sort -0.2, 0.5, j in increasing order.
-0.2, j, 0.5
Let h be -2*1*(-1 + -1). Suppose -6*w + 12 = -10*w. Put w, -4, h in descending order.
h, w, -4
Let j be 1/(-2)*2*-9. Suppose -2*v - 4*w = -j*w + 29, -v + 2*w - 12 = 0. Let d be v/(-4)*(-3 + 3). Sort d, -2, 5 in decreasing order.
5, d, -2
Let b = -0.01 - -0.14. Let d = b - 2.13. Sort -0.4, 2, d in descending order.
2, -0.4, d
Let f = 12 - 12. Let l = 1 - 1.2. Let c = l + 0.7. Sort c, f, 1/3 in increasing order.
f, 1/3, c
Let c be ((-3)/6)/(2/(-16)). Sort c, 0, 2.
0, 2, c
Let c(s) = -s**3 + 5*s**2 + 8*s - 4. Let t be c(6). Suppose -5*p = -20, 0 = -2*u + 4*u - p + t. Let j be (-60)/14 + 4/14. Sort u, j, 1.
j, u, 1
Let m(b) = -b + 5. Suppose -h + 4 = -0*h. Let p be m(h). Suppose 0*g = 4*y + 4*g, -5*y + g = 12. Put y, p, 5 in increasing order.
y, p, 5
Let h be -2 - (-2)/1 - 3. Let p be -1 + (h - 0) - 0. Put 0, p, -5 in ascending order.
-5, p, 0
Let p = 39 - 40. Put 4, 0.2, p in decreasing order.
4, 0.2, p
Suppose 6*r + 12 = 3*r. Let t = -41 + 22. Let j = t - -23. Put j, 1/7, r in increasing order.
r, 1/7, j
Suppose 20 = -4*c - 6*c. Let b(t) = -t**3 - 3*t**2 - t - 1. Let f be b(-3). Put 1, f, c in descending order.
f, 1, c
Let s(d) = d + 2. Let n be s(-2). Let x = 0.7 + -0.9. Sort x, 0.2, n in decreasing order.
0.2, n, x
Let c = -8 - -8.2. Let n be 30/(-36) - (-2)/12. Sort n, 2/5, c in increasing order.
n, c, 2/5
Let n = -4.94 - 0.06. Let p = 0.46 - 3.46. Put p, 0.2, n in decreasing order.
0.2, p, n
Suppose -i + 5*i - 16 = 0. Let l be 1 - 4 - (5/1 - 5). Sort l, i, 3.
l, 3, i
Suppose -v = -3*v - 6. Let m be ((-16)/(-10) - 0)*5. Let r = m - 6. Sort 4, r, v in decreasing order.
4, r, v
Let u = 0.04 - 2.04. Sort -1, 0.1, u in descending order.
0.1, -1, u
Suppose -q = -5*q + 20. Let n be (3/(-4))/(2/(-8)). Suppose 0 = q*u - n*u - 4. Sort -4, 1, u in increasing order.
-4, 1, u
Suppose 5*t = 3*t - 14. Let z = 20 + -11. Let k = t + z. Sort k, -2/15, 4 in descending order.
4, k, -2/15
Let k(p) be the second derivative of -p**4/12 - 7*p**3/6 - 9*p**2/2 + 3*p. Let d be k(-6). Sort 5, -1, d in descending order.
5, -1, d
Let j = 1977 - 6049/3. Let d = -39 - j. Put 0.3, 1/5, d in descending order.
d, 0.3, 1/5
Let a = 4 + -5. Let s be 2 + -8 + 4 + a. Suppose -2*c + 1 = 3, -5*m - 5*c + 10 = 0. Put s, 5, m in decreasing order.
5, m, s
Suppose 5*m + 169 - 174 = 0. Put m, -2, 0, 5 in decreasing order.
5, m, 0, -2
Let s be (-3)/(-30)*-2*-6. Sort -2, 9, s.
-2, s, 9
Let f = 18 + -15. Let i(v) = -v**2 - 2*v. Let u be i(-1). Sort 2, f, u.
u, 2, f
Let h = -16 + 13. Put h, -5, -4 in decreasing order.
h, -4, -5
Let o = 5 + -8. Let s = 13 - 17. Let r(b) = -5*b. Let i be r(-1). Sort i, o, s.
s, o, i
Let w = -0.8 + -0.2. Let o be (-15)/(-9) - (-1)/3. Let m be (-2 - -2)/(1 - o). Sort m, w, -2 in decreasing order.
m, w, -2
Suppose -23*u + 20*u - 15 = 0. Let q = -6 - -3. Put u, -6, q in ascending order.
-6, u, q
Suppose 5 = 4*w + w. Put 22, -2, w in increasing order.
-2, w, 22
Let u(q) = -q**2 - 17*q - 10. Let a be u(-17). Put a, -2/13, 2/7 in ascending order.
a, -2/13, 2/7
Suppose 0 = -3*m - 0*m - 6. Suppose 3*a = -4*b + 8, -4*b + b = 3*a - 9. Suppose 2 - 18 = -4*s. Put b, m, s in decreasing order.
s, b, m
Let b be 12/(-8)*58/3. Let p = b + 28. Sort -6, p, -2 in ascending order.
-6, -2, p
Let n be (-198)/30 + (-3)/(-5). Sort n, -2, 2 in descending order.
2, -2, n
Suppose -3*c = -0*c - 3*d - 15, -2*c = 3*d + 5. Let f = -8/3 + 4/3. Put f, 4/5, c in decreasing order.
c, 4/5, f
Let a = 4/19 - 35/76. Put -0.2, a, -5 in descending order.
-0.2, a, -5
Let i(v) = -v**2 + 13*v - 12. Let g be i(12). Let b be 12*(2/(-3) - -1). Sort g, b, -5.
-5, g, b
Let j be 22/(-12)*(-5 - -4). Let k = -3/2 + j. Let z = 4 + -6. Put 0.1, z, k in descending order.
k, 0.1, z
Let w = 42 - 42. Let v = -4 - -7. Put v, w, 1/8 in decreasing order.
v, 1/8, w
Let h(o) = -o**3 - 5*o**2 + 4. Let a be h(-5). Let s be ((-2)/a)/((-1)/(-6)). Suppose -k - 1 = -0*k. Sort s, 3, k in decreasing order.
3, k, s
Let a = 0.5 + -0.5. Sort -0.4, a, -2 in descending order.
a, -0.4, -2
Let n(h) = -h**2 - h + 2. Let y be n(-2). Put y, 0.3, 1 in descending order.
1, 0.3, y
Suppose -3*s - s + 16 = 0. Let m(j) = -j**3 + 4*j**2 + 4*j + 1. Let l be m(s). Let n = l + -12. Put n, 1, -3 in increasing order.
-3, 1, n
Let n = 13.3 - 12. Let s = 3.652 + 0.048. Let z = n + s. Put z, 3, -5 in descending order.
z, 3, -5
Let d = -9 + 13. Sort d, 5, -4.
-4, d, 5
Let q = -109 + 104. Sort 5, q, 2, 4 in descending order.
5, 4, 2, q
Let n = -25 - -26. Sort 5, n, -4 in ascending order.
-4, n, 5
Let m = -12 - -9. Let t = 2 - -7. Let s = 14 - t. Sort 3, s, m in increasing order.
m, 3, s
Suppose 2*a + 11 + 7 = 0. Let u be (-4)/6*a/2. Sort -1, 4, u in descending order.
4, u, -1
Let y = 0 - 0.4. Let r be (-2 + 6/9)/(4/(-6)). Put 4, y, r in increasing order.
y, r, 4
Suppose 5*q - 4 = 3*q. Let h(z) be the first derivative of z**4 + z**2 + z + 1. Let n be h(-1). Sort n, 3, q in ascending order.
n, q, 3
Let b = -3 - -11/3. Let z = -15 - -21. Suppose 2*w + z*c = c - 12, -w - 2*c - 4 = 0. Put w, 2/21, b in descending order.
w, b, 2/21
Let f be 5/(-5)*(4 - 1). Let r = -4 - -9. Suppose -k = -0*k - r. Put -1, k, f in decreasing order.
k, -1, f
Let z(f) = 2*f. Let u be -1*2 + (1 - -2). Let c be z(u). Let n be 1/c + 18/(-4). Put n, 1, 3 in decreasing order.
3, 1, n
Suppose -5*i = 3*t + 1, 6*t - i = t + 17. Let z = 45 - 43. Sort -4, t, z in decreasing order.
t, z, -4
Let r = 92 + -91. Sort 0, -23, r in decreasing order.
r, 0, -23
Let w be ((-8)/(-6))/((-10)/(-6)). Let x be ((-36)/63)/(1/(-7)). Put w, -3/5, x in descending order.
x, w, -3/5
Let w = 54.6 + -50. Let s = w - 5. Let y = -1688/13 - -130. Sort 0, y, s in decreasing order.
y, 0, s
Let k be ((-30)/25)/(3/(-20)). Suppose -c + k = 3*c. Suppose -6 = -4*g + 2*g. Sort c, 4, g in ascending order.
c, g, 4
Let u = 10 - 6. Suppose b + 3*h = 7*h + 7, -2 = -2*b - u*h. Let y be (15/(-6) - -5) + (-2)/4. Put b, 0, y in decreasing order.
b, y, 0
Suppose -5*x - 24 = -9. Let b = 0 - x. Sort b, -4, 0.
-4, 0, b
Let r = 6 - 4. Suppose 2*j + 20 = 2*c, -c - 4*j - 5 = 2*c. Suppose 0*b = b + c. Sort 0, r, b in descending order.
r, 0, b
Let i = 0.26 + -0.16. Let c = 2.9 - 3. Sort c, 4, i.
c, i, 4
Suppose 0*f = -4*f - 3*u - 12, 0 = -5*u + 20. Sort f, -4, 1 in decreasing order.
1, -4, f
Let j = 12/17 - 142/153. Sort -9, j, -2 in descending order.
j, -2, -9
Let v(n) = -n**3 + 2*n**2 + 2. Let q be v(2). Let g = -3 + q. Let l be 3/1 + (4 - 6). Sort g, 2, l in increasing order.
g, l, 2
Let w = -1.7 + 9.1. Let a = -7 + w. Sort -4, -2/5, a.
-4, -2/5, a
Let s = 4 - 9. Let m be (-1 + s)*-1 + -1. Suppose 0 = 2*r - 2*g + 10, -3*g = -5*r - 12 - 13. Sort m, r, 1.
r, 1, m
Let x be -1 - (1 + (-8)/4). Sort 3, -5, x in decreasing order.
3, x, -5
Suppose 0 = 3*k + 2*k - 20. Let u = k + -4. Put -5, u, -3 in increasing order.
-5, -3, u
Let r be (-2)/(-9) - (-25)/9. Let p = 5 - 3. Sort p, r, -1 in descending order.
r, p, -1
Suppose 2*p = -3*f + 3, -5*p - 2*f = f - 3. Suppose p*w = -2*w + 10. Suppose 5*j - 5*y + 1 = -9, 4*j + 5 = y. Sort j, w, -4.
-4, j, w
Let k = 92 - 94. Sort -3, 9, k.
-3, k, 9
Suppose -3*b = 2*z - 0*b + 4, -5*z + 32 = -3*b. Suppose -5*l + 3*l + z = 0. Sort -2, -5, l in ascending order.
-5, -2, l
Suppose 1 - 13 = 4*g. Sort g, -6, -5 in ascending order.
-6, -5, g
Let j = 103 - 103.4. Let c = 3.02 + -0.02. Sort c, j, -0.2 in increasing order.
j, -0.2, c
Let c = -7 - -7. Suppose 5*m + 0*m + 20 = c. Sort m, -1, 5.
m, -1, 5
Let u = -0.2 + -2.8. Sort 1/4, u, -0.1 in descending order.
1/4, -0.1, u
Let n(l) = l**2 - 4*l - 33. Let z be n(8). Sort 7, 0, z, -1/4 in descending order.
7, 0, -1/4, z
Suppose 3*u - 6*v = -3*v + 6, u = -5*v + 2. Let m be 2/((-2*u)/(-12)). Put 2, -2, m in descending order.
m, 2, -2
Let f(y) = -3*y**2 - 4*y - 4. Let k be f(-2). Let n be (2/k)/((-10)/(-40)). Put -5, n, 4 in ascending order.
-5, n, 4
Let r = 18 - 23. Put -3, -2, r in increasing order.
r, -3, -2
Let z(m) = m**3 + 6*m**2 + 4*m - 2. Let b be z(-5). Sort -1, b, -5.
-5, -1, b
Let u be (-28)/(-21) - (2 + 1*-2). Put -0.