 2 = 4*m + 31*f. Let q = 3 + -2. Suppose a = q + 4. Put 3, a, m in decreasing order.
a, 3, m
Let r = 2.74 - 2.74. Sort -46, r, -0.2.
-46, -0.2, r
Suppose 5*p - d = -25, -3*p = -p - 4*d + 28. Let o be (4/(-20))/((-2)/10). Sort o, 6, p.
p, o, 6
Let l = -7396/27 + 274. Put l, 4, -1/4 in decreasing order.
4, l, -1/4
Let g(p) = -p**3 + 6*p**2 + 1. Let c be g(6). Suppose m - 2*m = -c. Let d(b) = 3*b - 1. Let n be d(m). Sort n, -1, -9 in descending order.
n, -1, -9
Let w = -7 + 4. Let o = 0.31 + -0.48. Let j = 0.27 + o. Sort j, w, 5 in descending order.
5, j, w
Let x = -6/43 - 32/387. Let z = -41.3 + 41. Put 4, x, -1, z in descending order.
4, x, z, -1
Let b be (-20)/18*2/(-5). Let n = 234.2 + -233.9. Sort n, b, -2/21, 5 in descending order.
5, b, n, -2/21
Suppose -l + 3*l = -8. Let h be -1 + 8 + 4290/(-624). Let m = -457/5 + 91. Sort m, h, l in descending order.
h, m, l
Let b = -1319 + 1196. Put b, -1, 0.4 in decreasing order.
0.4, -1, b
Suppose -2 = 4*z - 2*r, 4*z + 5*r = -20 - 3. Sort z, -27, 10 in ascending order.
-27, z, 10
Let y = -4 + 3. Let t = -206.36 + 208. Let k = 5.64 - t. Sort y, 2/15, k.
y, 2/15, k
Let y be -5 + (1 - 1) + 0. Let z(x) = -4*x**2 + 49*x - 15. Let r be z(12). Sort y, r, 1 in decreasing order.
1, r, y
Let k = -453 + 449. Let o be (-26)/6 + 2/(-3). Put o, -1/4, 3, k in descending order.
3, -1/4, k, o
Let a(o) = -o**3 - 8*o**2 - 1. Let l be a(-8). Let n be 1/(-2*l/(-4)). Suppose -3*t + 2*t = 0. Put n, t, 5 in ascending order.
n, t, 5
Let s(v) = 7*v - 143. Let g be s(19). Sort g, 0, 2, -8.
g, -8, 0, 2
Let y = -20.3 + 16.3. Sort -3, y, 6, -0.1 in decreasing order.
6, -0.1, -3, y
Let x be 4/16 + 25/(-20). Suppose -8 = -2*y + 2. Sort 3, 1, x, y.
x, 1, 3, y
Suppose 2*k - 16 = 4*j, j + 4 = 5*k + 3*j. Suppose 0 = -k*v - v + 5*q + 54, v - 2*q - 17 = 0. Suppose 4*f - 13 = -5*c, 2*c = f - 2*c + v. Sort f, 0, -5.
-5, f, 0
Let j = 0.02 - 1.02. Let k = 65 - 70. Sort 1, k, j, 0 in descending order.
1, 0, j, k
Let g be (4/(-10))/(4/(-40)). Suppose 4*i + g - 24 = 0. Let k(y) = y + 2. Let z be k(-4). Sort z, i, -5.
-5, z, i
Let w be (-650)/22 - 66/(-121). Sort 1, w, -2 in increasing order.
w, -2, 1
Suppose -4 = 3*h + 5. Let z be (1/(-2))/(55/770). Sort h, z, -2 in descending order.
-2, h, z
Let u = 0.133 + 12.367. Let o = 12.6 - u. Let d = 57/335 + 2/67. Put o, 0.4, d in descending order.
0.4, d, o
Let f = -133.4 + 126.4. Sort f, -4, 0, -5 in decreasing order.
0, -4, -5, f
Let i = -0.47 + 4.47. Let c = -6538/19 - -344. Let d be 6/((-336)/(-20))*(-2)/(-5). Put c, d, i in descending order.
i, d, c
Let h(k) = 0 - 3*k - 5 + 5*k + 0*k. Let z be h(4). Put 5, z, 7 in increasing order.
z, 5, 7
Let r be (-18)/5 - (-2)/(-5). Suppose u = 4*o + 1 - 14, -5*u = 2*o + 21. Suppose 2 = -o*l - 2. Put l, r, 1 in decreasing order.
1, l, r
Suppose -h - 2*q - 5 = 0, -13 = -4*h + 3*q + 11. Suppose h*x - 4 + 1 = 0. Suppose -3*l - 2 = x. Sort 4, 0, l in decreasing order.
4, 0, l
Suppose -3*w - 3 = -4*w. Suppose -2*j + 0 = 2. Put w, j, 1 in ascending order.
j, 1, w
Suppose -5*t + 3*y = 319, 2*y = y - 2. Let u = t - -54. Put u, -3, 0 in decreasing order.
0, -3, u
Let z = -3.4 - 0.8. Let v = -8.2 - z. Sort -0.4, v, -3, 1/5 in ascending order.
v, -3, -0.4, 1/5
Let v = -0.41 + 0.01. Let k = -5.18 - -4.88. Sort k, -3, v in ascending order.
-3, v, k
Suppose 2 = 2*o - 0*o. Let l(s) = -s - 9. Let m be l(-7). Let a(z) = -z**3 + 8*z**2 - 2*z + 11. Let x be a(8). Sort m, x, o.
x, m, o
Let s = -278 - -273. Sort s, 3, -15/4.
s, -15/4, 3
Let p(f) = -18*f - 35. Let w be p(-2). Put 3, w, -1, 4 in increasing order.
-1, w, 3, 4
Let s = -1587 - -1498. Sort s, 1/3, -1, 2/21 in descending order.
1/3, 2/21, -1, s
Let u = -54/5 + 157/15. Suppose -3*x + 28 + 8 = -4*m, 0 = -2*x + 5*m + 31. Let w be (-6)/4 - x/(-6). Sort w, u, -1/4 in descending order.
w, -1/4, u
Let u be 0 + -1 + -1 - 3. Suppose 13 = 5*m - 34*g + 30*g, 4 = -2*g. Sort m, 4, 5, u in decreasing order.
5, 4, m, u
Suppose 0 = -l + 4*l - 5*o - 2, -3*o + 26 = 5*l. Sort 7, l, 1 in increasing order.
1, l, 7
Let c = 39.025 + -0.025. Let b = -39.4 + c. Let n = -281 - -1963/7. Sort n, -4, b.
-4, n, b
Let j be 20/70 - (-19)/7. Put 21, 3/2, 2, j in increasing order.
3/2, 2, j, 21
Let y = 0.3 - -0.7. Let c = -41.35 + 0.35. Let i = c - -41.3. Sort i, y, -0.4 in increasing order.
-0.4, i, y
Let n = 730 + -728. Put -2, n, 5, 7 in increasing order.
-2, n, 5, 7
Let w = -269.3 + 240. Let j = w - -29. Let g = 1 + 3. Sort g, 2/3, j.
j, 2/3, g
Suppose q + 3*r + 10 = 0, 3*q + 0*q = -4*r - 25. Let b(l) = l**2 - 19*l + 7. Let p be b(19). Let d = q + p. Put -1, d, -5 in decreasing order.
d, -1, -5
Let c be (393/(-262))/((-6)/(-16)). Sort c, -780, 0.
-780, c, 0
Let c = -8 + 5. Let g = 664.6 + -665. Sort g, -0.5, c in increasing order.
c, -0.5, g
Let b = -22 - -9. Let u = b + 9. Let p be -4 + 3/(36/64). Sort u, -2/13, p.
u, -2/13, p
Suppose 2*q - 4 = p, -130*p - 3 = -3*q - 128*p. Suppose k - h = 0, -2*h - 1 + 3 = -k. Put k, q, -2, 3 in descending order.
q, 3, k, -2
Let n = 45 + -46. Let i be 0 + n - 19/19. Sort 0, 1, 3, i in decreasing order.
3, 1, 0, i
Let r = -3596 - -3596. Suppose 5*j - 10 = 3*v, 5*j = -v - 0*v + 30. Let f be -2 + v + -1 - 1. Sort -2, f, r.
-2, r, f
Let k = -1910 + 1907. Put -18, 3, k, 4 in ascending order.
-18, k, 3, 4
Suppose -5*m - 40 = 5*q, 0 = 3*m + 2 + 4. Let f be 16/(-8) + q/(-4). Sort 2/9, 2, f in descending order.
2, 2/9, f
Let d = -320 + 320. Put d, 23, -4 in decreasing order.
23, d, -4
Let i be (-38)/152 - (-2)/8. Sort i, 17, -5 in decreasing order.
17, i, -5
Let o = -0.18 + -0.82. Sort o, -1/4, 12 in ascending order.
o, -1/4, 12
Suppose 0 = 3*b - 63. Let l be 7/(b/6) + -11. Let f = l + 6. Put f, 3, -4 in decreasing order.
3, f, -4
Let o = -0.25 + -0.04. Let y = o - -2.79. Let a = 1.2 - y. Sort -5, -3/5, a in increasing order.
-5, a, -3/5
Let i = -2 + -2. Let y = 1601.5 + -1601. Sort 0.3, y, -1, i in decreasing order.
y, 0.3, -1, i
Suppose t + 6 = 2, -16 = -4*j + 4*t. Let q(z) = -z**2 + 3. Let v be q(j). Suppose v*r - 7 = -1. Put -1, r, 3 in ascending order.
-1, r, 3
Let c = -8 - -29. Suppose -15*h + 5*a = -20*h + 5, a - 2 = 0. Sort h, 1, c in decreasing order.
c, 1, h
Let o = -10 + 20. Let v be (4/o)/(64/(-60)). Sort -0.1, v, 0 in descending order.
0, -0.1, v
Let o(w) = -w**3 + 15*w**2 + 34*w - 2. Let n be o(17). Sort 1/6, -0.3, 2, n in increasing order.
n, -0.3, 1/6, 2
Let m(t) = t**3 - 2*t**2 + 3*t - 2. Let d be m(2). Let a be 4/(-2)*(-1)/(-2). Put a, -5, d in descending order.
d, a, -5
Let d be (2 + (-2)/4)/(-3). Suppose l + 5*u = u - 21, -5*u = 2*l + 27. Let o = 1.16 + 2.84. Sort o, d, l in ascending order.
l, d, o
Let c be 3/(15/4 - 3). Suppose 4*m + 21 = -5*t, -c*m + 5*t = -0*m + 11. Suppose -3*b + 2*f = 0, 0 = -3*b - f - 11 + 2. Put b, 3, m in ascending order.
m, b, 3
Suppose -3*z - 16 = -1. Let l(n) = n**3 - 4*n**2 - 5*n + 5. Let t be l(5). Let v be 27/5 + (-2)/t. Sort z, -1, v in decreasing order.
v, -1, z
Let o = -83 + 80. Let y = 3 - o. Put y, 0, -2/3, -1 in descending order.
y, 0, -2/3, -1
Let q(v) = -17*v + 5*v + 5*v - 11 - v**2. Let j be q(-5). Let i be (1 - 2) + 4/2. Put i, 2, j in decreasing order.
2, i, j
Suppose 50*r = 55*r + 80. Sort r, 4, -1 in decreasing order.
4, -1, r
Let l = -284/1339 + 6/103. Let b = 1.6 + -2.6. Let k = -0.9 - b. Put 3, k, l in descending order.
3, k, l
Suppose -209 - 31 = -24*q. Sort q, 11, -2.
-2, q, 11
Let a be (-2)/8*0/(36/6). Let r = -7 + 2. Suppose 5*s + 3 = 2*s + 5*p, p = 3. Sort r, s, a.
r, a, s
Let q(b) = -b**2 - 34*b + 33. Let x be q(-35). Sort -3/4, x, 0.4, -4.
-4, x, -3/4, 0.4
Let f = -19 + -23. Let m = -42.3 - f. Put 0.3, -0.4, -0.5, m in descending order.
0.3, m, -0.4, -0.5
Suppose -b = -4*z + 2, -36 = -5*b + 2*b - 2*z. Suppose -4*d + 5*u - 8*u + 28 = 0, -36 = -5*d - 4*u. Let t be 75/b - 2/d. Sort t, 3, -1 in descending order.
t, 3, -1
Suppose -26 = -4*r - 6. Let d = -65 + 64. Put r, -19, d in decreasing order.
r, d, -19
Suppose -13 = -4*b - x, 0 = -5*x + 4 + 1. Suppose -3*v = -4 + 7. Sort b, -2, v, 20 in decreasing order.
20, b, v, -2
Let k be 2/(-12)*(-3 + 5 - -2). Let r = 0.4 + -0.3. Let j = -9 - -8.5. Sort j, k, r in decreasing order.
r, j, k
Let n(v) = -6*v + 6. Let i(h) = 7*h - 5. Let f(y) = 5*i(y) + 6*n(y). Let s be f(10). Let z be ((-25)/(-20))/(s/(-4)). So