 2 = 0. Sort c, 7, 4 in increasing order.
c, 4, 7
Let g be (-4)/(-38)*2/2. Put 0.04, g, 2 in increasing order.
0.04, g, 2
Suppose 25 = 2*s + 3*s + 5*j, -5*j = -2*s + 10. Put s, 3/2, -2/29 in increasing order.
-2/29, 3/2, s
Let n = 26 - 21. Sort 0, -2, n in decreasing order.
n, 0, -2
Let c = -0.14 + 0.06. Let o = -6.08 - c. Let a = 6.1 + o. Sort a, -4, -0.3 in decreasing order.
a, -0.3, -4
Suppose -3*a = -4*v - 3, a + 2*a - 9 = 2*v. Suppose 3*k - 10 = a. Let c be (6 - k)/(1/(-5)). Sort 5, 4, c in decreasing order.
5, 4, c
Suppose -3*p = -p + 6. Let s be (3 + p)*(-1)/(-2). Suppose 0 = -5*w - 5. Sort w, s, -5 in descending order.
s, w, -5
Let q = 83 - 76. Sort q, 5, 3 in descending order.
q, 5, 3
Suppose 0 = -4*l + 3*i - 9, -3*l + 9 = -8*l + 3*i. Let d(f) = 2*f**3 + f**2 + f + 4. Let n be d(0). Sort 2, n, l in descending order.
n, 2, l
Suppose 2*b + 5*q = -3*b + 15, -5*b - 2*q + 9 = 0. Sort -4, -1, b in decreasing order.
b, -1, -4
Suppose 3*i = -0*v - 4*v + 5, 4*i = 5*v - 14. Let f be (3 + -1)/(i/2). Sort f, 1, -2 in increasing order.
f, -2, 1
Let l be (-64)/(-240) + (5/(-3) - -1). Let k = 2/225 + 16/75. Sort k, l, -3.
-3, l, k
Let t be 4 + (-60)/52 + -3. Let g = -17 - -19. Sort t, -0.1, g in increasing order.
t, -0.1, g
Suppose 4*o - 8 + 20 = 0. Let b be (9/o)/(-3)*-3. Put b, 4, 1 in decreasing order.
4, 1, b
Suppose 0 = 3*o + 4 - 19. Sort -5, 4, o in decreasing order.
o, 4, -5
Let z = -13.9 - -14. Put 4, -3, z in decreasing order.
4, z, -3
Let t be ((-1)/(-16))/1*2. Let m(f) = -f**2 - 5*f + 3. Let u be m(-5). Suppose 2*v = 2*h, -18 = u*v + 5*h - 2. Sort t, v, -4.
-4, v, t
Let x = -73.1 + 73. Put -0.3, 2/9, x, 0.4 in decreasing order.
0.4, 2/9, x, -0.3
Suppose 5*k - 10 = -2*r + 15, -25 = r - 5*k. Let v be (3 - 0) + -5 + r. Sort v, -4, 3 in ascending order.
-4, v, 3
Suppose -2*w + 0*q - 18 = -2*q, -4*q = -3*w - 32. Let g(i) = 4*i. Let r be g(1). Put 1, w, r in ascending order.
w, 1, r
Suppose 2*h + 5*q + 0*q + 28 = 0, -4*h + q = 12. Suppose 4*w - 3*m - 105 = -4*m, -5*w + 110 = -3*m. Suppose -t - w = -6*t. Put -5, t, h in decreasing order.
t, h, -5
Let r be 4/(-14) - (-111)/21. Put r, 1, 3 in decreasing order.
r, 3, 1
Let o = -0.043 + -2.057. Let r = o - -0.1. Let b = 0 - r. Sort b, -3, -4 in descending order.
b, -3, -4
Suppose -5*z = n - 10, -2*z + 0*z = -5*n - 31. Sort -4, z, -1 in decreasing order.
z, -1, -4
Let f be (1 - 7)*(-1)/(-2). Let n(w) = w**3 - 6*w**2 + 5*w - 4. Let h be n(5). Let t = h + 4. Sort f, t, -2.
f, -2, t
Let i = -182 + 322. Let c = -698/5 + i. Let f = -0.7 + 0.2. Put c, 4, f in descending order.
4, c, f
Let z = 184 - 186. Let o be 6 - (2/2 + -3). Let c be (-4)/(-10) - o/10. Sort c, z, -0.5.
z, -0.5, c
Suppose -2*h = 3*h - 20. Suppose -4*r + 8 = 4*q, -3*r + 21 = -0*q - 2*q. Suppose -6*s - 9 = -2*s + l, -25 = r*l. Put h, s, -4 in descending order.
h, s, -4
Let y(o) = o**2 - 14*o + 12. Let v be y(13). Put v, -5, 7 in ascending order.
-5, v, 7
Let b be (-3 + 0)*2/(-6). Let w be ((-16)/(-2 - 0))/2. Let s = -4 + w. Sort 4, b, s in ascending order.
s, b, 4
Let d = 13 + -17. Let w = -7.6 + 7. Let f = -1 - w. Sort -0.5, f, d.
d, -0.5, f
Let p be 3/7 + 0/4. Let v = 0.2 - 0.7. Put p, -4, v in decreasing order.
p, v, -4
Suppose -4*c - 12 = 4*f, -c - 4*f = 4*c + 12. Suppose -29 + 74 = -9*h. Put c, h, 5 in ascending order.
h, c, 5
Let k = 3.4 + -2.4. Let w = k - 10. Put 1/3, w, -3 in increasing order.
w, -3, 1/3
Let p = -1 - -1. Suppose -11 = -m - 3*j + 9, j = m. Sort m, p, 1 in decreasing order.
m, 1, p
Let z = -13.14 + 13. Put z, 0.5, -1 in decreasing order.
0.5, z, -1
Let s = -182/5 + 36. Let w(f) = -2*f - 3. Let g be w(-1). Sort g, -4, s.
-4, g, s
Let y = 27.03 - 27. Sort -0.4, y, 1/4, 2/21 in descending order.
1/4, 2/21, y, -0.4
Let l(i) = 3*i**2 + 1. Let q be l(-1). Put 0, -4, q in increasing order.
-4, 0, q
Let u(b) = -b**3 - 6*b**2 + 5. Let h(i) = -i. Let t be h(3). Let v be -9 + t/(-3) - -2. Let f be u(v). Put 4, f, 0 in decreasing order.
f, 4, 0
Suppose 0 = -7*u - 21. Sort -2, -9, 6, u.
-9, u, -2, 6
Suppose 2*f + 10 = -0*f. Sort 0, -2, f in decreasing order.
0, -2, f
Let n = -9.9 - -10. Let t = n + 3.9. Put 1/7, -2/9, t in ascending order.
-2/9, 1/7, t
Let l(k) = -k - 5. Let g be l(0). Let d = -0.35 - -0.65. Put 1/2, d, g in increasing order.
g, d, 1/2
Suppose -3*w + 14 = 2. Let y be (3/w)/(6/(-24)). Sort 3, y, -4 in decreasing order.
3, y, -4
Let c = 8.2686 + -0.0586. Let s = c - 0.21. Let x = -7 + s. Sort 0, 0.4, x in descending order.
x, 0.4, 0
Let g(i) be the first derivative of -3*i**2/2 + 2*i + 3. Let l be g(2). Let c be 4/2 - (7 + l). Sort 0, 1, c.
c, 0, 1
Let r = -27 - -23. Put 0.1, -2/3, r in ascending order.
r, -2/3, 0.1
Suppose -9 = -5*s + 2*s. Suppose -5*k = 3*n - 30, -s*k + 2*n = -0*k + 1. Put 4, -1, k in decreasing order.
4, k, -1
Suppose 0 = v + 3*x - 8, -4*v + 1 = -3*x - 1. Let c = 1 + v. Suppose l - 12 = 4*s - 3*l, 0 = 4*s + 5*l - 15. Sort 4, c, s in ascending order.
s, c, 4
Let u(l) = 6 + l + l**2 - 5*l + 0*l**2 - 3. Let w be u(4). Suppose 2*z = -0*z + 4*q + 4, -4*q + 20 = 4*z. Put w, z, 1 in increasing order.
1, w, z
Let o(w) = w**2 + 13*w - 3. Let r(f) = -f**2 - 14*f + 2. Let t(k) = -3*o(k) - 2*r(k). Let i be t(-10). Suppose 0 = -5*x + 5 - i. Put 2, x, 4 in ascending order.
x, 2, 4
Let j(w) = 2*w - 8. Let i be j(5). Let q be (-2)/(-4)*(-25 + 1). Let y be 22/8 - 3/q. Sort y, i, 5.
i, y, 5
Let p(c) = -c**2 + c + 3. Let f be p(3). Sort -1/5, 0, 0.4, f in decreasing order.
0.4, 0, -1/5, f
Let h(a) = 5*a. Let g be h(1). Suppose -2*l = -4*r - 18, -13 - 2 = -g*l. Sort -2, r, 0.
r, -2, 0
Let o = 0.3 - -0.7. Let g = -0.134 - 2.866. Sort 1/7, g, o.
g, 1/7, o
Let n be (21/(-6) + 3)*-2. Suppose 3*g = -o + 4, 5*g - o - 3*o = n. Put 3, g, 4 in decreasing order.
4, 3, g
Let v be 0 - ((0 - -2) + 2). Sort 4, v, -1, 5 in ascending order.
v, -1, 4, 5
Suppose t = -5*q + 25, 2*q + 0 = 3*t + 10. Sort q, -2, -5 in descending order.
q, -2, -5
Let w be 4/18 + (-121)/99. Suppose 2*l = h + 6*l + 10, 13 = 2*h - 3*l. Suppose 2*j - 16 = -h*j. Sort j, 2, w in increasing order.
w, 2, j
Suppose -3*d - 5*i = 2, -4*d = -7*d - 4*i - 1. Let n = 3 + d. Sort 0, n, -2 in increasing order.
-2, 0, n
Let m(g) = g**3 - 5*g**2 + g - 1. Let n be m(5). Suppose 2*f - 5*b + 3*b + 4 = 0, 5*f - 3*b + 6 = 0. Put f, -3, n in descending order.
n, f, -3
Suppose -4*z + 7*z + 9 = 0. Let n be ((-2)/2 - -1)/(-1). Sort n, z, -5.
-5, z, n
Suppose 3*t - 25 - 20 = 0. Suppose 0 = 4*l - g - 10 - t, 2*l - 35 = 5*g. Let d be (-1 - (-3 + 0)) + -6. Sort 3, l, d in descending order.
l, 3, d
Let i(s) = -7*s - 12. Let j be i(-8). Suppose 0 = f - 5*f + j. Let p = f + -7. Sort -4, p, -2 in descending order.
p, -2, -4
Let x(f) = f**2 - f - 2. Let r be x(0). Sort r, 3, 0 in decreasing order.
3, 0, r
Let v be 6/(-6)*(-2 + (-1 - -1)). Sort 5, -44, v.
-44, v, 5
Let k be 12/15 + 0/1 + 0. Sort -2/7, -2, 4, k in increasing order.
-2, -2/7, k, 4
Let l = 6 - 11. Suppose -u = 4 - 4. Put 0.4, u, l in increasing order.
l, u, 0.4
Let x = 0.7 + 2.3. Let u(a) = a**2 + 4. Let p be u(-2). Let j be 6/(-4) - 20/p. Sort x, 2/13, j in descending order.
x, 2/13, j
Let c = 0.28 - -4.12. Let p = -0.6 - c. Suppose 5 - 2 = n. Sort -1/6, p, n in increasing order.
p, -1/6, n
Let c be (-3)/5*10/(-9). Put c, -0.5, -4 in descending order.
c, -0.5, -4
Let w(d) = 2*d**2 - 2*d**2 + 1 + 3*d - d**2. Let r be w(4). Let f be r + 3 + -1 + -1. Put f, 3, 5 in descending order.
5, 3, f
Suppose 4 = 3*h - 2*h. Let x(z) = -z**2 - 5*z + 5. Let j be x(-5). Suppose 28 = -4*k - h*w, -3*k - j*w - 25 = -0*w. Put k, 1, 0 in decreasing order.
1, 0, k
Suppose 56 = 7*y - 3*y. Suppose -5*u + 34 - y = 0. Put -2, u, 1 in descending order.
u, 1, -2
Let t = 81 + -78. Sort 13, 0, -1, t in ascending order.
-1, 0, t, 13
Let c = 2.02 + -0.02. Let j = 4 - 2. Let u = j + c. Sort 1/2, -2, u in descending order.
u, 1/2, -2
Let m(r) = r**3 + 2*r**2 - 3*r + 3. Let k be m(-3). Suppose 0 = 5*v + 15, -2*q + 6*q - 2 = 2*v. Sort q, k, -5 in decreasing order.
k, q, -5
Let a(q) = -q**2 - 3*q + 7. Let b be a(-5). Let x be 10/b*(-5)/10. Sort x, -1/3, -4 in increasing order.
-4, -1/3, x
Let y(n) be the second derivative of n**3/6 - 2*n**2 + 3*n. Let g be y(9). Sort g, -0.5, 0.4 in descending order.
g, 0.4, -0.5
Let q = -1/3 + 4/9. Sort q, -4, 0 in descendi