n(l) = l**2 + 7*l. Let m be n(-7). Sort 3, m, -7, 1 in decreasing order.
3, 1, m, -7
Let q = 25.1 - 27.1. Let u = -702/5 - -140. Sort -3, u, q in decreasing order.
u, q, -3
Let k be (2 - 1 - 0)*-5. Let c be ((-3)/(3/5))/(-1). Sort c, k, 1 in decreasing order.
c, 1, k
Let u be (-62)/15 - -8*9/18. Let t = -0.1 - 0. Put t, 4, u in descending order.
4, t, u
Let g = -0.09 + -5.91. Sort 3/4, 0.4, g in decreasing order.
3/4, 0.4, g
Let h(g) = -2*g + 6. Let p be h(6). Let v be (0 + -6)*(-2)/p. Put 1, v, 0 in descending order.
1, 0, v
Let t(c) = 3*c + 19. Let w be t(-8). Sort w, -0.5, 0.1 in descending order.
0.1, -0.5, w
Suppose -18 = -5*a - 18. Put 1, 4, a in increasing order.
a, 1, 4
Let g be 14/4 + 4/(-8). Let p(y) = y**3 + 2*y**2 - 4*y. Let n be p(-3). Suppose -5*a = 4*b - n - 2, b + 2*a - 5 = 0. Put g, 0, b in decreasing order.
g, 0, b
Let z(i) = -i**3 - 3*i**2 + 4*i + 3. Let c be z(-4). Suppose 0 = -57*b + 53*b - 8. Sort -4, b, c in increasing order.
-4, b, c
Suppose -5*f + 15 = 5*m, 4 = 3*f - 2*m - 5. Put -5, 0, f, -3 in descending order.
f, 0, -3, -5
Suppose 3 + 3 = 2*w, 4*r + 2*w - 14 = 0. Suppose r*q = -5*s - 2*q - 24, q = -2*s - 9. Let u be (1/(-2))/(s/(-8)). Sort u, -5, 2 in descending order.
2, u, -5
Suppose -2*b = 2*b + k + 11, -2*k = -10. Suppose d = -4*d + 15. Sort -7, b, d in ascending order.
-7, b, d
Let d(x) = 2*x + 5. Let v be d(-5). Let l = -2 - v. Put l, -1, 5 in ascending order.
-1, l, 5
Let w(s) = s**2 - 8*s - 5. Let v be w(8). Sort v, 3, 0 in decreasing order.
3, 0, v
Let n = -0.1 - -0.1. Let w = n + 0.3. Let y be -1 + (1 - (0 - -1)). Sort 1/2, w, y in decreasing order.
1/2, w, y
Suppose 3*q + j = 15, 3*j - j = q - 5. Put q, -4, 1 in ascending order.
-4, 1, q
Let n be (7 + 7)*(-6)/(-3). Put 1, n, 0 in ascending order.
0, 1, n
Let n = -102 + 101. Suppose -3*s = -s + 8. Put s, -5, n in decreasing order.
n, s, -5
Let p = 31 - 21. Let y = -9.9 + p. Sort -3, y, -4.
-4, -3, y
Suppose 4*g - 16 = -0*g. Let j be (-2)/g - 77/(-88). Sort 0.5, j, -0.1 in ascending order.
-0.1, j, 0.5
Let g = 0.133 - -3.827. Let c = g + -4. Let d = c + -0.16. Sort 2/3, d, -0.4 in descending order.
2/3, d, -0.4
Let p be 6/(-27) + (-11)/(-9). Suppose 5*n - 5*m - 10 = 0, -4*m = 5*n - 0*m - p. Sort -4, n, 0 in descending order.
n, 0, -4
Suppose 4*d + 4*g = 8*g + 24, 4*g = -3*d - 10. Let z(q) = q**2 - q. Let b be z(d). Suppose 0 = -5*n - 5, 2*w - 5*n = 6*w + 25. Sort 1, b, w.
w, 1, b
Let p = 6.8 + -11.9. Let r = -8 - -3. Let m = r - p. Sort 0.3, -5, m in increasing order.
-5, m, 0.3
Suppose -4*g + 3*g + 1 = 0. Suppose 7 + g = -4*r. Let d = 0 + r. Sort 1, d, -4 in descending order.
1, d, -4
Let h be (3 + 21/(-6))*2. Sort h, -6, -1/3 in descending order.
-1/3, h, -6
Let m be (-2*(-1)/4)/((-13)/130). Put -3, m, 0 in descending order.
0, -3, m
Let r = 21 - 24. Sort r, 0, 3.
r, 0, 3
Let p be (-2)/3*(-3)/(-2). Sort -4, -5, 5, p.
-5, -4, p, 5
Let m be 6/9*(6 - 3). Suppose -4*w = 5*c + 5, -w + 0*w - 3*c = -4. Sort 0.9, m, w in ascending order.
w, 0.9, m
Let z be 2/1 + -3 + 6. Suppose 0 = u - z*u - 12. Let t = 3 + -5. Sort u, -5, t.
-5, u, t
Let x be (-1)/1*-2 - 3. Let z(l) = 3*l**2 - 2*l - 1. Let b be z(x). Suppose 5*q + 4*c = 45, q - 40 = -3*q - b*c. Sort q, -1, 0.
-1, 0, q
Suppose 4*t + 9 = k, 4*t + 6*k - 21 = k. Suppose -6*r - 8 = -2*r. Sort r, -4, t in descending order.
t, r, -4
Let s be (-35)/14*(1 + (-1)/(-5)). Put 3, 2, s, 1 in descending order.
3, 2, 1, s
Suppose -5*a + 48 - 13 = 3*u, 5*u - a - 21 = 0. Suppose 0 = -u*v - 10, -d + 4*v + 3 + 3 = 0. Put d, 3, 0 in descending order.
3, 0, d
Let c be (-2 - (0 + 0))*-2. Let w(d) = d**2 - 5*d + 5. Let z be w(3). Suppose 3*f - 2*f = -5*x + 24, -x = 5*f. Sort c, x, z in descending order.
x, c, z
Suppose -6 + 18 = 4*l. Sort -4, 4, l.
-4, l, 4
Let i = -68 + 70. Sort i, -1, 0.4 in descending order.
i, 0.4, -1
Let o(y) = y + 9. Let x be o(-9). Let i = 2 - 5. Let r = -0.1 + -0.3. Sort i, r, x in decreasing order.
x, r, i
Let v = 10 + -6. Let r be 20/7 + 1/7. Let m be r/9*3*-3. Sort v, -2, m in decreasing order.
v, -2, m
Let s = 0.69 + 2.41. Let o = 0.09 - 3.09. Let c = o + s. Put -1/5, c, -2/3 in increasing order.
-2/3, -1/5, c
Let j = -11 + 3. Let g = j - -8. Sort 4, g, -2 in decreasing order.
4, g, -2
Suppose 2*h - 4 = 0, 0 = -5*s - 0*s + 3*h - 26. Sort 1, 4, s in decreasing order.
4, 1, s
Let j = -2 - -1.8. Let n = 2.7 - 2.4. Sort j, n, -2/15 in decreasing order.
n, -2/15, j
Suppose -5 = -3*f + 10. Let a(s) = -7*s + 19. Let w be a(3). Sort 3, f, w in ascending order.
w, 3, f
Let d = -1.8 - -1.8. Sort 0.3, d, 2/7 in decreasing order.
0.3, 2/7, d
Let m(p) = p + 1. Let o be m(5). Let z(w) = -w**2 + 8*w - 8. Let y be z(o). Suppose -9 = -y*g + 7. Sort g, 2, 5 in decreasing order.
5, g, 2
Let u(a) = 3*a. Let h be u(-8). Let q be 3 - (h/(-22) + 2). Let r = 2 - 3. Put r, -2, q in decreasing order.
q, r, -2
Let c = -8 + 8.4. Sort 2/3, 2/11, c, -2/3.
-2/3, 2/11, c, 2/3
Suppose -2*b - 3*h = -0*b + 8, 4*b + 4*h = -16. Let p be (-35)/36 + 4/18. Put 1, p, b in descending order.
1, p, b
Let g(o) = -o**3 - 3*o**2 - 2*o + 1. Let f be g(-2). Put -2, 3, f in decreasing order.
3, f, -2
Let k = 9.8 - 5. Let c = k + -5. Let w = c + 0.1. Sort w, 0.3, 0.
w, 0, 0.3
Let p = -63 - -63.4. Let o = 22 - 45/2. Sort -2/3, p, o in increasing order.
-2/3, o, p
Let r = 2 + -1.8. Let l be (2 - 2)/(-3) - -24. Let u be l/(-16)*(-10)/(-12). Put u, r, -2 in decreasing order.
r, u, -2
Suppose 0 = -2*g - 3 + 17. Put g, -5, -0.4 in ascending order.
-5, -0.4, g
Suppose -l - 5*t = 31, 0 = -l + t - 1. Let f = 4 + l. Suppose 0*k - 12 = -4*k. Put k, 2, f in decreasing order.
k, 2, f
Let r = 0 + 3. Let p = r + 1. Sort p, 1, -0.3 in descending order.
p, 1, -0.3
Suppose -10*r + 24 = -16. Let y = 0.1 + -0.1. Let v = y - 0.4. Put 3, v, r in descending order.
r, 3, v
Let v = -2/167 + -823/1002. Put 2/3, 2/9, v in descending order.
2/3, 2/9, v
Let u be 2/(-6)*(-6)/4. Let s = -34 - -29. Let n be (-4)/6 + (-5)/(-12). Sort s, u, n.
s, n, u
Let y(b) = b**2 + 6*b - 1. Let w be y(-5). Let r be (1 - -2)*(-4)/6. Let u = w - r. Put -3, -5, u in increasing order.
-5, u, -3
Let x = 0.6 - 0. Let j = x - 0.3. Let z = -0.9 - -1. Sort 5, z, j in descending order.
5, j, z
Let x = 0.2 + 0.1. Let l = -0.21 - -0.61. Sort -0.2, l, x.
-0.2, x, l
Let s be 6/(-24) - (-1)/4. Let p be (2/(-4) - s)*10. Let u(x) = x**2 - x - 3. Let z be u(3). Put z, 5, p in decreasing order.
5, z, p
Let t = 1 - 0.7. Let k = -11 + 8. Put t, 5, k in descending order.
5, t, k
Let a = 3 - 0. Let u = 2.9 + -3.1. Sort -1, u, a in descending order.
a, u, -1
Let z = -1 - -5. Sort 0.2, z, -2/9 in descending order.
z, 0.2, -2/9
Let h = 0.97 + -1. Let j = 0.17 - h. Sort j, 6/5, 3.
j, 6/5, 3
Let g(h) = h**3 - h**2 + h - 4. Let d be g(0). Let p = 3 + d. Let i = -7 - -2. Sort p, i, -3 in increasing order.
i, -3, p
Suppose 0*s = -3*s. Suppose 2*b = 3*b. Suppose b = -s*x + 5*x + 25. Sort x, -0.1, 0.5 in descending order.
0.5, -0.1, x
Let g = 33 + -32. Put -5, g, 0, 5 in increasing order.
-5, 0, g, 5
Suppose -2*c - 20 = -2*j, 3*c = -2*c - 25. Sort -1, j, -2 in descending order.
j, -1, -2
Let b = -24 - -34. Let h = b + -15. Put h, 5, 0 in descending order.
5, 0, h
Let j = -20 - -22. Let z be 7 + (-1)/1*2. Put z, -4, j in descending order.
z, j, -4
Suppose -2*j - 1 = -9. Suppose 0 = -5*s + 2*g + 1, 10*s - j*g = 5*s + 7. Sort 1, s, 0.
s, 0, 1
Let y = 0.02 + 0.68. Let o = y - -0.5. Let m = -1 + o. Sort m, 0.1, 0.5 in decreasing order.
0.5, m, 0.1
Suppose -4*r - 3*i + 29 = 0, 5*i + 12 = 3*r + 4*i. Put r, 1, -1, 4 in ascending order.
-1, 1, 4, r
Let c(w) = 13*w. Let a be c(1). Sort -3, -0.1, a, -0.4.
-3, -0.4, -0.1, a
Let i(d) = -d**3 - 9*d**2 - 8*d + 2. Let t be i(-8). Let x = t + -6. Put 1, x, 4 in increasing order.
x, 1, 4
Let v = -0.1 + 0.4. Let l = 10 - 13. Sort v, l, -0.2.
l, -0.2, v
Let q be 0/1 - 0 - -3. Suppose 3*z - 2*h = 12, z = 4*h - 2*h. Let y be z/(-4) - (-2)/4. Sort q, 4, y in decreasing order.
4, q, y
Suppose 3*l = 2*l + 2. Suppose -4*x + 20 = -2*j + 4, -3*x - 2*j = -19. Put l, x, -5 in decreasing order.
x, l, -5
Let i be (-87)/(-18) - (-1)/6. Suppose -3*c + i = -4. Put c, -5, -1 in decreasing order.
c, -1, -5
Suppose 2*y - 8 = 4*y. Let b be -1*1/(-2)*-2. Sort b, 0, y in increasing order.
y, b, 0
Suppose 2*w - 12 = -2*w.