+ 50*f - 30 = 3*k, -30 = 4*f + n*k. Let x be 0 + -2 + 2 + 0. Put x, 4, -2, f in decreasing order.
4, x, -2, f
Let t(q) = -q**2 - 154*q - 307. Let u be t(-2). Sort -5, -2, u, 1 in descending order.
1, -2, u, -5
Let h be ((-52)/20 + 3)*7/((-280)/25). Sort 1, h, -1/11, 2 in descending order.
2, 1, -1/11, h
Let d = -11.43 - -11.03. Let k(w) = w**2 + 4*w - 2. Let s be k(-4). Put -5, d, -4, s in descending order.
d, s, -4, -5
Let r = 394.633 - 395. Let c = r + -0.133. Sort 3/5, c, -0.039 in descending order.
3/5, -0.039, c
Let h = -20758.581 + 20758. Sort -1/4, h, 3 in decreasing order.
3, -1/4, h
Let v be (10 + -14)/((-120)/(-45)). Let a = -7 + 4. Sort 6, a, v.
a, v, 6
Suppose 54*u - 21 = 53*u + 5*l, -5*l - 15 = 5*u. Suppose 5 = 4*p - 3. Let f = -10.9 - -11. Sort 3, u, f, p in descending order.
3, p, u, f
Let x be 780/104*(-32)/(-60). Suppose u + 30 = -2*a + 5*u, 0 = 5*a + 2*u + 27. Sort -4, x, a, 5 in descending order.
5, x, -4, a
Let r(p) = -p**3 - 7*p**2 - 6*p - 3. Let u be r(-6). Suppose 608*n - 27*n - 1743 = 0. Put u, 10, -5, n in decreasing order.
10, n, u, -5
Let f = -225 - -25873/115. Let a = 450854177/690 - 653412. Let v = f + a. Sort v, -0.1, 1/5, -0.2 in decreasing order.
1/5, -0.1, v, -0.2
Let d = 37 + -57. Let j(f) = -9*f + 1. Let o be j(-1). Suppose -5*c = -0*c - o. Put d, c, 0.3 in decreasing order.
c, 0.3, d
Let k = 182 + -186. Let u = -271 + 270. Let y = 0 + -5. Put u, k, y in decreasing order.
u, k, y
Let d be 14/(-2) + 28 + 5828/(-279). Sort d, 4/9, -4, -3, -0.051 in decreasing order.
4/9, d, -0.051, -3, -4
Suppose 0*h = -3*h - 5*g + 47, 3*h - 2*g - 19 = 0. Let y be (-34)/85*15/(-6). Sort h, -3, 5, y.
-3, y, 5, h
Suppose 129*p = 2*y + 124*p + 55, 0 = -3*y - 4*p - 48. Sort y, -15, 5, -4, 0 in ascending order.
y, -15, -4, 0, 5
Let f be (1/2)/(2/(-8)). Suppose -4002*z + 4005*z = -15. Sort z, -10, f in descending order.
f, z, -10
Let l = 1097 + -1102. Let j = -3.07 - -0.07. Let n = -73 - -363/5. Sort l, n, j in increasing order.
l, j, n
Let g = -108.59 - -75.72. Let a = 4.87 + g. Put -0.04, a, -2 in increasing order.
a, -2, -0.04
Let n(s) = -10*s - 1. Let f be n(-1). Let x = f + 26. Suppose 0 = -31*i + x*i - 20. Sort -3, -6/5, i.
-3, -6/5, i
Suppose 0 = 2*s - 5*k + 10*k + 437, 4*s + k = -919. Sort -1, 4, s in decreasing order.
4, -1, s
Let o = -235.1 + 235.6. Put 6/11, 0.01, o in increasing order.
0.01, o, 6/11
Suppose -w = 2*d - 5*d, 5*w - 5*d = 0. Let n = -103 + 99. Sort -7, w, n.
-7, n, w
Let f = -46730 - -514028/11. Sort -5, f, -27, -61 in increasing order.
-61, -27, -5, f
Let p = 2.2 - -4.8. Let w = 3185.5 - 3182.5. Put w, p, -0.3, 4 in increasing order.
-0.3, w, 4, p
Let j = -1523 - -1521. Sort 3, 168, j.
j, 3, 168
Let q = -8 + 6. Suppose -y = -32*b + 33*b + 4, -y + 2*b = 7. Put -8, y, q in increasing order.
-8, y, q
Let g be ((-6)/(-105))/((-40)/(-100))*49. Suppose 2*j = 3*j. Sort g, 5, 2, j.
j, 2, 5, g
Let m(d) = -433*d - 2155. Let u be m(-5). Put 4, 1/3, -17, 1/8, u in decreasing order.
u, 4, 1/3, 1/8, -17
Suppose 45 = 10*d - 19 + 14. Put -0.2, 6, d, 7 in descending order.
7, 6, d, -0.2
Suppose 6 = -l + 4*q - 13, 4*q = -l + 13. Sort -58, 6, l.
-58, l, 6
Let a = -11 + 19. Let p = -4 + a. Let r(d) = -11*d**2 - 94*d - 147. Let q be r(-2). Put q, p, -4 in decreasing order.
p, q, -4
Let v = 44 - 48. Let i = 719/3 - 242. Let k = -0.99 - -1.19. Put i, k, v in descending order.
k, i, v
Let y(l) = -2*l**2 + 38*l - 5. Let f = 142 + -123. Let z be y(f). Sort -4, 1, 9, z.
z, -4, 1, 9
Suppose 3*a = 108 - 12. Sort -3, a, 0.3 in increasing order.
-3, 0.3, a
Let s = -0.14792 - -166.14792. Put s, 5, -2/13 in ascending order.
-2/13, 5, s
Let o = -6807.6 - -6808. Put o, -0.1, -3/11, -21 in ascending order.
-21, -3/11, -0.1, o
Let q = -1 - -1.1. Suppose 23*u - 4*u + 19 = 0. Let k be (u/(-3))/((-6)/72). Put q, -2, k in ascending order.
k, -2, q
Let f(v) = -3*v + 3. Let d be (8/48)/(3/18). Let z be f(d). Put -11.1, 1, z in descending order.
1, z, -11.1
Let j = -833/4772 - 90/1193. Let a = -2.2 + 2. Sort a, j, 4, -3.
-3, j, a, 4
Let w = 135 + -130. Let c(z) = -2*z**3 + 4*z**2 - 3*z + 2. Let f be c(2). Sort -31, w, f.
-31, f, w
Let t(w) = -w**2 - 118*w + 3535. Let g be t(-147). Sort 2, -2, g in increasing order.
g, -2, 2
Let q be (-6)/5*(57/9 + -3). Suppose -7 = -4*s - 27. Sort 69, -3/2, s, q in descending order.
69, -3/2, q, s
Let z = 0.8 - 22.8. Let v = -22.2 - z. Let l = -6 - -6. Sort -3/5, l, v, 3 in ascending order.
-3/5, v, l, 3
Let i = 5277 - 5327. Put i, -1, -3/4, -2/19 in decreasing order.
-2/19, -3/4, -1, i
Let h = 24 - 56. Let w = 37 + h. Let j = 7 - w. Sort -4, j, -3.
-4, -3, j
Let s = 1411 + -1406. Let i be 3 - -3*(0 - 1). Put -2/15, -14, s, i in descending order.
s, i, -2/15, -14
Let t be ((-448)/(-160) + -2)/((-2)/(-5) - 0). Sort -2, 5, t.
-2, t, 5
Let x = 48 + -18. Let d = 14140 + -14137. Sort 4, x, d in ascending order.
d, 4, x
Let s be 5*((-2 - -2) + (-2)/(-5)). Let p(l) = -l**3 + 2*l**2 + l - 4. Let k be p(s). Suppose 1 = -3*q + 10. Sort q, 5, k.
k, q, 5
Let x(i) = 34 + 20 + 0*i - 3*i. Let f be x(18). Let l = -2 + -2. Sort l, 10, f.
l, f, 10
Let s(h) = h**2 + 168*h - 12819. Let a be s(-225). Let t be (2*-1 - -5)/1. Sort -4, t, a in decreasing order.
a, t, -4
Suppose 0 = 8*h - 40*h - 12*h + 132. Put 1, -4, 113, h, 4 in ascending order.
-4, 1, h, 4, 113
Let v = 1210.115 - 1215. Let s = -0.115 + v. Put s, -6/5, 0.8 in increasing order.
s, -6/5, 0.8
Let y = -386 + 314. Let m be (-6)/y*(-3)/(-2). Sort 1/3, m, 2/5, -3 in descending order.
2/5, 1/3, m, -3
Let i(g) = 5*g**2 + 5*g + 3. Let r be i(-1). Suppose 187*t - 195*t = -32. Put -10, t, r in descending order.
t, r, -10
Let w = 97/182 - 6/13. Let m be 6/(-21) + (-1273)/469. Sort m, w, -0.5 in increasing order.
m, -0.5, w
Suppose 0 = -13*n - 132 + 158. Sort -7, 0, -2, n, 3 in descending order.
3, n, 0, -2, -7
Suppose -5*p + 5*i - 2*i = -5, 5*i + 23 = p. Let y be 1 + -1*(-2 - -3). Sort p, -3, y in descending order.
y, p, -3
Let u(b) be the first derivative of -10*b**3/3 - 31*b**2 - 13*b - 4. Let c be u(-6). Sort 7, -2, 4, c.
-2, c, 4, 7
Let m be (2 + -1)/((-2)/(-32)). Suppose 0 = 227*v + 80*v + 104*v + 822. Put v, 5, 0, m in ascending order.
v, 0, 5, m
Let o be 4/(-56)*((-246)/189 - (-18)/21). Sort 4, -3, 5, o.
-3, o, 4, 5
Suppose 3*n = g + 2, 4*n + 56*g - 58*g = 0. Put -1, 0, -3, -23, n in decreasing order.
n, 0, -1, -3, -23
Let b = 14958 + -14963. Put -146, -1, -2, b in ascending order.
-146, b, -2, -1
Let k = 6 - 9. Let r be (12/(-3) - -4)/3. Suppose r = 2*i - 2 + 10. Put -3/4, k, i in increasing order.
i, k, -3/4
Let b = 24 - -27. Let r = 47 - b. Let a = 124 + -126. Sort -5, a, r in decreasing order.
a, r, -5
Let i = -0.43443 - -0.03443. Let c = -18.65 - 0.35. Put i, 4, 5, c in decreasing order.
5, 4, i, c
Suppose 0 = -61*s + 64*s - 48. Suppose 4*w = 4*u + 20, 2*w - s = -2*w. Put u, 0, -2 in increasing order.
-2, u, 0
Let o = 3664 + -3663.6. Sort 0, o, 2/7, -6 in descending order.
o, 2/7, 0, -6
Let n(b) = -16*b + 60. Let j be n(4). Suppose 28*c = 34*c. Put c, j, 12 in descending order.
12, c, j
Let c = 108 + -435/4. Let p = 32 + -27. Let m = -30.4 - -31.4. Sort p, m, c.
c, m, p
Let f(p) = -p**3 - 5*p**2 + 4*p + 12. Let l be f(-6). Suppose -k + z + 3*z - l = 0, 2*z = -3*k - 100. Let w = k + 30. Sort -1, 2, w, -4 in descending order.
2, -1, w, -4
Let j(c) = c**2 - 14*c - 50. Let y be (4/10)/(1/40). Let l be j(y). Let x be (-57)/l + -3 + (-1)/(-30). Put -2, x, 3 in descending order.
3, x, -2
Suppose 5*g - 119*x - 15 = -124*x, -5*g = 2*x - 6. Suppose 3*h = 1 + 2. Sort 3, h, g in increasing order.
g, h, 3
Suppose -24*d + 24 = -16*d. Suppose -d*v + 15 = -5*u - 0*v, -4*u - 5 = -v. Put 46, u, 4 in increasing order.
u, 4, 46
Suppose -3*r - 126 = -111. Suppose -12 + 5 = -7*u. Sort -4/7, r, u, 5.
r, -4/7, u, 5
Let f = -573 + 844. Let y = -270 + f. Put y, -172, 5 in descending order.
5, y, -172
Suppose 183*g - 182*g = 8, -y - 4*g + 26 = 0. Sort 4, y, -452, -2 in decreasing order.
4, -2, y, -452
Let o = -0.7999 - -1.7999. Let i = 181/118 + -2/59. Put i, 5, o in decreasing order.
5, i, o
Let q = -2733.067 + 2733. Put 1, q, -0.3 in descending order.
1, q, -0.3
Suppose -10*k - 30*k - 160 = -0*k. Sort k, 10, -5, 9 in decreasing order.
10, 9, k, -5
Suppose 95 = 4*m + 83. Let c = -410 + 441. Sort