2*m. Put 2, f, l in decreasing order.
2, l, f
Let y(i) = -i**2 + 8*i + 2. Let f be y(8). Suppose 2*u + r = u - 6, f*u - 2*r = 8. Put -5, -4, u in ascending order.
-5, -4, u
Let s = -1.2 + 1. Let y = -1.2 - -1.33. Let n = 0.53 - y. Sort n, -0.5, s in descending order.
n, s, -0.5
Let u(g) = 3*g - 7. Let b be (-12)/30 + 34/10. Let o be u(b). Put o, -4, -5 in descending order.
o, -4, -5
Let u be (3/6)/(7/42). Put u, -6, 2, 1 in increasing order.
-6, 1, 2, u
Let v be (-1)/(7/2 - 3). Let k be v - 1/(-3)*3. Sort k, 3, -1/3 in descending order.
3, -1/3, k
Let t(g) = -g**3 - g**2 + 4*g + 1. Let f be t(-2). Put f, -5, 2, -1 in descending order.
2, -1, f, -5
Let y be 96/(-42) + 6/21. Let b(k) = 4*k**3. Let w be b(-1). Let l be (-4)/(-3)*(-6)/w. Put y, l, 1 in descending order.
l, 1, y
Let h = 25 + -20. Suppose h = 5*d - 15. Sort d, 5, 2 in descending order.
5, d, 2
Let h = -12 - -20. Suppose -4*a - h*o = -4*o + 24, -25 = 5*o. Put a, -3, -3/4 in ascending order.
-3, a, -3/4
Let h = -8 + 3. Let s = -1 - h. Let b = -9/2 - -5. Sort s, -0.1, b in increasing order.
-0.1, b, s
Let y = 4 + -2. Suppose d = -y*d. Let j(v) = -v**2 - 5*v + 2. Let x be j(-6). Sort d, x, -5 in descending order.
d, x, -5
Suppose -2*y = 3*y - 10. Let t = -1 - -12. Suppose b = y*p - 14, 1 = -3*b - t. Sort 0, p, -3 in increasing order.
-3, 0, p
Let a be (0 + 1/1)/4. Let q = -26 - -22. Sort a, q, -3/5 in ascending order.
q, -3/5, a
Let s = 1.4 - 0.4. Put 2/11, s, -3 in decreasing order.
s, 2/11, -3
Suppose -t = t + 6. Let c = 9/77 - -227/693. Put c, -1/5, t in increasing order.
t, -1/5, c
Let g = -0.85 - -0.9. Let v be (-6)/(-3) - (-3 - -3). Let d be (-1)/(-2) - v/(-12). Sort 0.1, d, g in decreasing order.
d, 0.1, g
Let i(g) = -g - 5. Let h be i(-4). Sort h, -4/5, 5/3, 1/7 in increasing order.
h, -4/5, 1/7, 5/3
Let f = -24 + 25. Sort f, 13, 0.3 in increasing order.
0.3, f, 13
Suppose -4 = 3*z + 4*x - 5, -x = -3*z - 4. Sort 26, z, 4, 0 in ascending order.
z, 0, 4, 26
Let o(l) = l**3 + 7*l**2 - 2*l - 11. Let r be o(-7). Put 1, r, 2 in descending order.
r, 2, 1
Let j = -35/46 - -1/92. Sort -1/4, j, 5 in descending order.
5, -1/4, j
Let f be -1 + 2 + 1*-2. Suppose 0 = -4*k + 3*c - 0*c - 9, -k + 5*c + 2 = 0. Let i(m) = -m**2 - 3*m - 4. Let r be i(k). Sort 5, f, r.
r, f, 5
Let z = 0.4 + -2.4. Let u = -0.3 - 0.61. Let v = u - 0.09. Sort z, 3, v in decreasing order.
3, v, z
Let h = -13 + 21. Sort -2, 3/5, h, 0.3.
-2, 0.3, 3/5, h
Let w = 68 + -478/7. Sort 0.5, 1, 5, w in decreasing order.
5, 1, 0.5, w
Let x = 6.7 - 7. Let j = 0 - -3. Sort -0.5, x, j in increasing order.
-0.5, x, j
Let s be ((-36)/(-189))/(8/28). Let b = -0.3 - 5.7. Put b, -0.3, s in descending order.
s, -0.3, b
Suppose 12 = 4*g + 16. Put 2, g, -4 in increasing order.
-4, g, 2
Let q(w) = w**3 + 18*w**2 + 34*w + 28. Let z be q(-16). Put 1, -3, 4, z in increasing order.
z, -3, 1, 4
Let m = -84.9 - -91. Let l = m + -6. Sort 2/9, -0.3, l.
-0.3, l, 2/9
Suppose -5*s = -0*q - q - 28, 3*s = -4*q + 26. Let n be (1 - 0)*s/2. Suppose 2*c = -n*c - 20. Put 4, c, -3 in ascending order.
c, -3, 4
Let f = 3 + 2. Suppose 0 = -n + 2*w + 5, f*n - 5*w + 3 = 8. Let b be (-6)/9 - (-1)/n. Sort 2, 5, b in descending order.
5, 2, b
Let y(h) = 4*h + 3. Let u be y(-2). Suppose 0 = 9*t - 10*t. Put u, 3, t in descending order.
3, t, u
Let a = 13 + 2. Let f = 11 - a. Put f, -2, 2 in increasing order.
f, -2, 2
Let m(q) = 3*q - 2. Let u be m(2). Suppose -4*z - s = 3 - 7, -2*s = 8. Suppose g + g + 13 = v, 0 = v + z*g + 7. Sort 0, v, u in increasing order.
0, v, u
Suppose 2*v - 5*u = 0, -3*u - 2*u = -10. Suppose 2*t - 1 = 5. Suppose -2*l - 4 = -l. Sort t, l, v in descending order.
v, t, l
Suppose 3*l = -b + 5*b - 29, -3*b + 21 = -2*l. Let z be 3 + 1 + l - 3. Put z, -1/4, 1/5 in descending order.
1/5, -1/4, z
Let o = 4/47 - -42/611. Let v(c) = -3*c**3 - 7*c**2 - 9*c - 2. Let h be v(-1). Let f = 3 - 2. Put o, f, h in descending order.
h, f, o
Let u be 3 - 1 - (-2 + 2). Put u, 4, 5 in decreasing order.
5, 4, u
Suppose -2*i = 3*k + 13, -k - 4*k - 2*i = 19. Put -14, k, 0.4 in descending order.
0.4, k, -14
Suppose 15 = -g + 4*g + p, 2*g + 5*p + 3 = 0. Let n = g + -4. Suppose -3*x + 7 = -8. Put n, x, 3 in ascending order.
n, 3, x
Suppose 5*h - 4*p + 126 = 0, 4*h + 2*p + 103 = 3*p. Let w be 91/h*2/(-4). Sort w, 0.3, 2.
0.3, w, 2
Let f be 14/3 + 4/(-6). Let u be 12/(-18) - f/(-6). Sort u, -4, -5 in descending order.
u, -4, -5
Let o = 7 - 7. Let s = -17 - -13. Sort 4, s, o in descending order.
4, o, s
Let u = 7 + -6. Let h = 1.1 - u. Let q be (-20)/(-9) - (-2)/(-9). Put -0.3, q, h in decreasing order.
q, h, -0.3
Let a(b) = -4*b + 1. Let s be a(-1). Let x = -13 - -13. Put -2, x, s in decreasing order.
s, x, -2
Let p = 567265/22101 + -2/7367. Let w = p + -26. Sort 0, -0.5, w in ascending order.
-0.5, w, 0
Suppose 2*x = 5*a - 2*x + 7, -2*a - 4*x + 14 = 0. Put 3, a, -2, 4 in ascending order.
-2, a, 3, 4
Let n(p) = p**3 + 4*p**2 - p - 1. Let y be n(-4). Let d be (y/(-6))/((-3)/6). Suppose 2*k = 7 + d. Put -4, -5, k in increasing order.
-5, -4, k
Let h be -9*1/(-6)*1. Let j = 4 - 3. Suppose 0 = o + j. Sort o, 2, h in ascending order.
o, h, 2
Suppose c + 3 = y - 1, -6 = -2*c - 5*y. Let u be ((-40)/21)/(-1) + c. Sort u, -1/4, 0.2 in decreasing order.
0.2, u, -1/4
Let k(f) = f**2 - 10*f - 2. Let m be k(10). Let y = 37/2 + -19. Put m, y, 2/5 in descending order.
2/5, y, m
Let w = -2/35 + -12/35. Let v = -47 - -613/13. Sort w, v, 0.1 in decreasing order.
v, 0.1, w
Let q be (-2)/(3/((-18)/(-4))). Suppose 8*a = 17 + 23. Put 2, a, q in ascending order.
q, 2, a
Let z = 19.1 - 19. Sort -2, z, 5.
-2, z, 5
Let z be (-20)/6*(0 + (-36)/30). Put 2, z, -2, 5 in decreasing order.
5, z, 2, -2
Suppose -5*b = -16 + 6. Suppose b*x + 0 = 3*l + 2, -x = -l. Put x, 0, 2 in ascending order.
x, 0, 2
Suppose -4*i - 7 = 1. Let o(g) = g - 4. Let h be o(8). Let q = h - 1. Sort i, -4, q in ascending order.
-4, i, q
Let a be -2 + -1 + 2 + 1. Suppose -7 - 1 = 2*c. Let o be ((-4)/c)/(1 + 0). Put o, -5, a in descending order.
o, a, -5
Suppose -4*p - 2*h - 26 = 0, 0*p - 3*p = 4*h + 27. Suppose 5*i - 31 + 6 = 0. Sort i, 3, p.
p, 3, i
Let a = -0.7 - -5.7. Let d = 3 - a. Let k = -15 - -10. Sort k, 0.4, d in increasing order.
k, d, 0.4
Let a = -1533/8 + 192. Put 3, 2/17, a in decreasing order.
3, a, 2/17
Let d = 0.8 + -1.3. Sort d, 2/5, 0.5 in decreasing order.
0.5, 2/5, d
Let r(x) = -x**2 - 4*x + 5. Let j be r(-5). Suppose -3*c + 4*h - 2 = 0, j*h + 18 = -c - 3*h. Let m be (12/(-18))/((-4)/c). Put m, -3, 0 in descending order.
0, m, -3
Let i be ((-4)/3)/(4*3/(-36)). Sort -1, 2, i in decreasing order.
i, 2, -1
Let l = -0.007 + 23.007. Sort 4, l, -3, 1/6 in decreasing order.
l, 4, 1/6, -3
Let d(h) = -7*h**2 + 5*h - 1. Let b(f) = -15*f**2 + 11*f - 2. Let s(v) = 6*b(v) - 13*d(v). Let m be s(0). Let p be (3/(-6))/((-6)/12)*-1. Sort m, 3, p.
p, m, 3
Let u be (0 - 12/(-14)) + -1. Let d = -1.75 - -1.4. Let q = -0.05 + d. Sort 0.1, u, q in decreasing order.
0.1, u, q
Let d = -178 - -176. Sort 3, d, 53 in increasing order.
d, 3, 53
Let n be (1/15)/(1/3). Let p = -19 + 18.64. Let q = p - 0.04. Sort -1/6, n, q in decreasing order.
n, -1/6, q
Let q(n) = n**3 + 5*n**2 + 2*n + 6. Let x be q(-5). Sort 1, x, -2.
x, -2, 1
Let u = -4 + 3.6. Let j = -9 - -4. Let i = j + 9. Put u, -5, i in ascending order.
-5, u, i
Let g(j) = -j**2 - 1. Let x be g(-1). Let w = -5 - -1. Sort w, x, -1 in ascending order.
w, x, -1
Suppose 70 = 5*s + 5*v, 2*s - 5*v - 13 = -2*v. Suppose n - 4 + 13 = 4*z, 0 = 4*z - 3*n - s. Let p = 7 - 3. Put 5, p, z in decreasing order.
5, p, z
Let p be (-80)/60*3/(-2). Put p, 4, -4 in descending order.
4, p, -4
Let q = 0.2 + -0.4. Let n = -0.6 - q. Let x = -9 - -4. Put n, -0.5, x in descending order.
n, -0.5, x
Suppose 3*k - 6 = -5*b, 0 = b - 5*k - 4 + 14. Suppose -3 = 3*t - b. Sort -2, 2, t.
-2, t, 2
Let c = 3/29 - -37/203. Put -3, 3, c in descending order.
3, c, -3
Let f = -10 + 4. Let t = 2 + f. Let u = -88 - -91. Sort u, t, -1/2.
t, -1/2, u
Suppose -14 = 2*k + 4*w - 4, 0 = -k - 4*w - 9. Sort 1, 0, k in descending order.
1, 0, k
Suppose 6 = w - 2*l, 4*l + 8 + 10 = -w. Let d = -14 - -10. Put -3, d, w in decreasing order.
w, -3, d
Let u = 0.08 + 4.92. Put -2/3, 1/8, u in decreasing order.
u, 1/8, -2/3
Let b = -22 - -35. Let 