. Let k(b) = n*j(b) + 4*u(b). Let y be k(5). Sort 1, y, -1.
y, -1, 1
Let i(x) = x**3 + 11*x**2 - 12*x + 3. Let d be i(-12). Put -4, 2, d in descending order.
d, 2, -4
Suppose 4*s = -0 - 28. Let i = -2 + 10. Let l = s + i. Sort l, -3, 2/3 in descending order.
l, 2/3, -3
Let t = 65.8 + -66. Let a be (2/(-6))/(2/4). Sort a, t, 3 in descending order.
3, t, a
Let t = 54 - 50. Sort 0.2, 0, t, -5/3 in increasing order.
-5/3, 0, 0.2, t
Let v be -3*(-8)/(-12) + 0. Let z = v + 5. Sort -2, z, 5.
-2, z, 5
Let q = -8.98 - 0.02. Let y = 12 + q. Sort -1, 5, y.
-1, y, 5
Let v = 1390/7 + -198. Sort -1/6, 4, v.
-1/6, v, 4
Let y = -2.675 + -0.025. Let l = 3 + y. Let j = -4.87 + -0.13. Sort j, -6/7, l in decreasing order.
l, -6/7, j
Suppose 3*p - 6 = 6. Sort p, -1, -4, 5 in ascending order.
-4, -1, p, 5
Let n = 2.9 + -3. Let q(d) = -d**2 + 8*d + 12. Let y be q(9). Suppose y*g + 15 = 8*g. Put n, g, 5 in increasing order.
n, g, 5
Let o(a) = -4*a - 4. Let s(r) = 5*r + 3. Let q(z) = -6*o(z) - 5*s(z). Let w be q(11). Suppose 0 = -0*h + h + 3. Sort h, w, 4 in decreasing order.
4, w, h
Suppose -4*j = -j - 27. Suppose -3 = -4*u + j. Sort 0, -4, u in decreasing order.
u, 0, -4
Let d(u) = -4*u**3 - u**2 - u + 1. Let h be d(1). Let o be -1*(-1 + 1 - -2). Put h, o, 3 in decreasing order.
3, o, h
Let p = -18.7 - -19. Put -0.2, -7, p in increasing order.
-7, -0.2, p
Suppose -12*k = 2*k - 56. Sort -4, k, 3 in ascending order.
-4, 3, k
Let s = -20 - -29. Sort s, 3, 0.1 in decreasing order.
s, 3, 0.1
Let z = 0.333 + -0.023. Let n = z - 0.01. Sort n, -3, -1 in ascending order.
-3, -1, n
Let u be (40/6)/(6/9). Sort 0, u, -5 in ascending order.
-5, 0, u
Suppose -q + 5*d = 3*q - 3, 0 = -4*d + 4. Put q, -5, 4 in decreasing order.
4, q, -5
Let h = -37/210 + -1/42. Let l = -11.5 - -11. Let u = 0.1 - -0.4. Put l, h, u in increasing order.
l, h, u
Suppose -2*y + 8 = -y - t, -5*y + 37 = -4*t. Sort 9, y, 3 in decreasing order.
9, y, 3
Let t = -22 + 27. Sort 0, -4, t in descending order.
t, 0, -4
Let r = -1.5 + 1.3. Let c = 17 - 12. Put r, 0.4, c in decreasing order.
c, 0.4, r
Let i be (-2)/4 - (-2)/4. Let o be i - (4/(-2) - -3). Let j = -4 + -1. Sort 3, o, j.
j, o, 3
Let z = -6.4 + 5.4. Put 0.2, -10, z in ascending order.
-10, z, 0.2
Suppose -4*m + 2*u + 12 = 0, -3*m - 15 = -2*m - 5*u. Suppose -5*y - 2*d + 17 + m = 0, -3*y + 11 = -d. Put y, -5, 5 in decreasing order.
5, y, -5
Let s(m) = m - 4. Let u be s(6). Let q = u + -7. Suppose 3*d - 14 = 4*k, -2*d + d + 13 = -3*k. Put 1, q, d in decreasing order.
1, d, q
Let n = 0.25 - -0.05. Sort -2, n, -4/3 in descending order.
n, -4/3, -2
Let h = -2 + 1. Let f = 0.525 + -0.025. Put -0.1, f, h in decreasing order.
f, -0.1, h
Let u be -1*(-6)/(-154) - 2/(-11). Put u, 4, 5, -3 in increasing order.
-3, u, 4, 5
Let b = -1.04 + 1. Let v = -5.04 - b. Sort -0.1, v, 5 in ascending order.
v, -0.1, 5
Suppose -2*g - 3 = 1. Let x = g - 2. Put -2, x, 5 in descending order.
5, -2, x
Suppose 4*o = -9 - 11. Sort 1, -2, o.
o, -2, 1
Let t = -51 + 50.96. Sort t, 4, 0.5, -2/3 in descending order.
4, 0.5, t, -2/3
Let y be (-98)/6 + 4/12. Let l be (-2)/(-2) + 4/y. Sort l, 0, -4 in descending order.
l, 0, -4
Let k(y) = -y - 1. Let s be k(-3). Let a = -10 - -24. Let c = 9 - a. Sort -3, s, c in increasing order.
c, -3, s
Suppose 0 = -4*j + 4*i + 40, 0*j + 4*i = j - 22. Let d be (-8 - -4) + 28/j. Sort d, 3/5, -4.
-4, 3/5, d
Let t(a) = -a + 8. Let k be t(3). Sort k, 4, -3 in decreasing order.
k, 4, -3
Let a = 0.1 + -3.1. Let q = -8 - a. Put q, -3/7, 1 in decreasing order.
1, -3/7, q
Suppose -n - 1 = -4. Let v(l) be the first derivative of l**2/2 + l + 1. Let g be v(-2). Put n, g, -2 in descending order.
n, g, -2
Let q = 2 - 2. Suppose -20 = g + 4*g, -5*g = -u + 21. Sort q, 4, u in descending order.
4, u, q
Suppose 0 = 4*r - 3*h - 3, 3*h = h - 2. Put 2, 1.2, r in descending order.
2, 1.2, r
Let v(r) = r**3 + 6*r**2 + 5*r + 5. Suppose 9 = -2*k - 1. Let f be v(k). Sort f, 0.5, -2/9 in decreasing order.
f, 0.5, -2/9
Let z be -3 + 8/(-60)*-27. Put z, -0.4, 3 in increasing order.
-0.4, z, 3
Let p = 0.032 + 4.368. Let b = 4 - 8. Let t = b + p. Put t, 4/3, -4 in decreasing order.
4/3, t, -4
Let g = -10 - -14. Suppose -y + 2 = 2*d + g, -4*d + 2 = 5*y. Let u be -1*y/(-2 + 4). Sort -3, -4, u in increasing order.
-4, -3, u
Let z be 4/(-16)*-4 + -3. Put -3, 0, z in ascending order.
-3, z, 0
Let c = -0.2945 + -0.0055. Let p = -2 - -11. Let w = 13 - p. Sort -1/4, w, c.
c, -1/4, w
Let s(a) = 9*a + 76. Let q be s(-9). Put 0, 8, q in increasing order.
q, 0, 8
Let s = -17.7 - -17. Let u = s - -5.7. Put -6, u, -1 in decreasing order.
u, -1, -6
Suppose m + 1 + 7 = 5*b, 3*m - 4 = b. Put -4, b, -1 in decreasing order.
b, -1, -4
Let m(u) = 3*u**2 + 2*u - 2. Let a be m(1). Sort -4, -0.2, a.
-4, -0.2, a
Let y(m) = -m**2 - 4*m - 4. Let q be y(-6). Let c be ((-2)/4)/((-2)/q). Put 1, c, 3 in descending order.
3, 1, c
Let q = 6 - 8. Let j = 0.06 - -0.04. Sort j, q, -3 in ascending order.
-3, q, j
Let f(i) = -i**3 + 4*i**2 - 2*i + 5. Let x be f(4). Let c be 1 - 0 - (-3 - 8*-1). Put -1, x, c in ascending order.
c, x, -1
Let x = -1037 + 2133/2. Let p = -30 + x. Sort -0.3, -2/13, p in descending order.
-2/13, -0.3, p
Let n = -19 - 8. Put -3, 1, -1, n in ascending order.
n, -3, -1, 1
Let b = 3 + -8. Let z = -4 - b. Let j = -3.5 - -3. Sort j, 5/3, z in descending order.
5/3, z, j
Let a = 7 - 19. Let p = a + 9. Put p, -0.4, -0.2 in ascending order.
p, -0.4, -0.2
Let w = -15 - -13. Let j be 94/(-18) - (-2)/9. Let a be 4 - 0 - (-4)/(-2). Sort w, j, a in ascending order.
j, w, a
Suppose 0 = -p - 1. Let s = p + 3. Suppose s*w = 5*w. Put 4, w, -2/7 in ascending order.
-2/7, w, 4
Suppose -4*n + 1 = 5. Let i be (-6 + 4)/(-2*1 - 0). Sort i, n, -2.
-2, n, i
Let h = -3.86 + -0.14. Put 5, -12, h, -0.4 in increasing order.
-12, h, -0.4, 5
Let u = -0.2 + 0.1. Let h be ((-56)/294)/(2/(-3)). Sort h, u, -2 in decreasing order.
h, u, -2
Let q(a) = a**3 - 2*a**2 + 3*a - 3. Let b be q(2). Let m = 8 - b. Put m, 1, 3 in ascending order.
1, 3, m
Suppose 0*p = -5*p. Suppose -3*a + 15 = 4*v - v, -3*v = 5*a - 19. Sort p, -2, v in decreasing order.
v, p, -2
Let m be 0 - ((-3)/5)/((-15)/(-20)). Sort 5, -3, -1/4, m in increasing order.
-3, -1/4, m, 5
Let i = -28 + 49. Suppose 0 = 2*u + 8, 0 = -0*x + x + 4*u + i. Sort -0.01, x, -4 in ascending order.
x, -4, -0.01
Let z = -199/24 + 26/3. Put 20, 0.2, z, 1 in descending order.
20, 1, z, 0.2
Suppose 0 = -4*t - t - 20. Suppose -5*v = -v + 8. Let l = 1 + v. Sort 4, t, l in ascending order.
t, l, 4
Suppose z + 5*o + 27 = 0, 0 = -4*o - 0*o - 16. Let b = z + 7. Sort b, -2, 1 in decreasing order.
1, b, -2
Let a = 8.6 - -1.4. Let u = -10.1 + a. Let y = -1 - -1.3. Put -2/9, u, y in decreasing order.
y, u, -2/9
Let p be ((-1)/(-2))/((-2)/12). Sort -0.3, p, 1/9.
p, -0.3, 1/9
Let r = 0 + 0.5. Let u = -0.7 - -1.4. Let h = u + -0.4. Sort 3, h, r.
h, r, 3
Suppose -2*i + 9 = i. Suppose i*w + f - 12 = 0, -3*w + 30 = 2*w + 5*f. Let k be (-24)/3*1/2. Put w, -3, k in decreasing order.
w, -3, k
Let w be (1 - -4)*28/(-35). Let o = -6 - w. Let h(g) = -g**3 + 3*g**2 + 6*g - 5. Let c be h(4). Sort o, 4, c.
o, c, 4
Let m = 4.93 + 0.07. Let t = 4.5 - m. Sort 1/4, 0.4, t in ascending order.
t, 1/4, 0.4
Suppose -3*w - 6 = -5*s, -4*w + 9 = 3*s - 12. Put -13, 5, s in decreasing order.
5, s, -13
Suppose 0 = -2*l - 3*l + 10. Let m be 4/3*l/12. Sort 0, m, 2.
0, m, 2
Let u = 5 - 8. Let n = -29 + 21. Let c = u - n. Put -0.3, -0.2, c in ascending order.
-0.3, -0.2, c
Let n be ((-27)/12)/((-1)/4). Let i be n/(-15) + (-33)/(-45). Put 3, 0.5, i in ascending order.
i, 0.5, 3
Let n = 5 + -3. Let h be (-1)/(-1 - -1*n). Suppose -4*w + w - 3 = 0, 0 = 4*p - 3*w - 7. Sort 5, h, p.
h, p, 5
Suppose -y - 3 = -9. Suppose 25 = s - y*s. Sort -1, 5, s in increasing order.
s, -1, 5
Let g be ((-25)/(-15))/(1/3). Suppose -g = -3*d + 4. Sort 5, d, -5 in ascending order.
-5, d, 5
Suppose 0 = 2*n - 3*n + 2. Suppose -5*s = -4*t + 1, 13 = -3*s - 2*t + 30. Put s, 0, n in increasing order.
0, n, s
Let f = 0 - -2. Let n = 0 - f. Put 2, n, 1 in ascending order.
n, 1, 2
Let m be 10/(50/(-15))*2/(-24). Put m, -2, 2/3 in ascending order.
-2, m, 2/3
Let m = 520/7 + -74. Sort -2, m, -0.4, 15.
-2, -0.4, m, 15
Let y be ((20/30)/(-2))/((-1)/(-9)). Sort 5, -2, y