l = -6 + 10. Suppose 3*c = 5*n - 26, 2*c + 4 = l*c + 2*n. Sort c, -1, -3 in descending order.
-1, c, -3
Let d be 1/3 - (-32)/(-6). Let h = -1/27 - -85/108. Let u = 82 - 82.1. Sort u, d, h in ascending order.
d, u, h
Suppose 1 = -3*h - 2, 21 = -4*w - h. Suppose -k + 4*t = 3*k + 24, 2*k + 12 = -3*t. Put 1, w, k in ascending order.
k, w, 1
Let b(j) = j**2 - 6*j - 3. Let s(a) = -a**2 + 5*a + 3. Let h(f) = -3*b(f) - 2*s(f). Let z be h(8). Sort z, -3, -2.
-3, -2, z
Let n = 25 + -24.8. Sort n, -4/7, -0.3 in increasing order.
-4/7, -0.3, n
Let r = -1 - -2. Put 4, r, -3 in ascending order.
-3, r, 4
Let x = -12 - -17. Let i = -6 + x. Sort i, -3, -4 in ascending order.
-4, -3, i
Let c = 1 + 8. Let t = c + -9. Sort -4, t, 1.
-4, t, 1
Let d be (-12)/(-4)*(-2)/(-3). Let a = 5 - d. Put 5, 4, a in ascending order.
a, 4, 5
Let a be 4/(-14) - 304/112. Sort a, 5, -9 in increasing order.
-9, a, 5
Let y = -20 + 19.8. Sort y, -2, -5, 4.
-5, -2, y, 4
Suppose 0*u + u = -5*x + 12, -5*x + u + 18 = 0. Suppose x*m - 25 = -2*m. Sort -5, m, 2.
-5, 2, m
Let c = 0.15 + -0.05. Sort c, -0.2, 1/5 in ascending order.
-0.2, c, 1/5
Suppose 0*b - 3*b + 12 = 0. Suppose -1 = -v + 1. Suppose 5*p - 2 = -z - 4, -8 = -2*p + 4*z. Sort v, b, p in decreasing order.
b, v, p
Let f(d) = 4*d**2 - 2*d + 1. Let r be f(1). Put -1, r, -5 in decreasing order.
r, -1, -5
Let j(i) = -4*i. Let k be j(1). Let u be (-32)/(-12)*(-6)/k. Sort -3, -2, u.
-3, -2, u
Let k = -4.946 + -0.094. Let t = -0.04 - k. Let l be (25/10)/(-5)*(10 + -2). Put l, 1/2, t in ascending order.
l, 1/2, t
Let i = 5.4 + -5. Put -3/5, i, -2, 0.3 in descending order.
i, 0.3, -3/5, -2
Let v be 31/62*((2 - 1) + -1). Put 3, v, 13 in decreasing order.
13, 3, v
Suppose 5*p + 8 = -7. Let v = -2.5 - -3. Let x = 0.4 - v. Sort p, x, -4 in descending order.
x, p, -4
Let y = -15 + 11. Sort 1, 0, y in increasing order.
y, 0, 1
Suppose o - 2 = 3*k, -3*k + 0*o = -2*o + 4. Let n = 5 - 5. Suppose -2*s - s - 12 = n. Sort s, k, 1 in increasing order.
s, k, 1
Let q be 0 - -1*(2 + -3). Suppose -10 = -3*w + 2. Let v = -12 - -7. Sort q, w, v in descending order.
w, q, v
Let s = 6073/120 - 242/5. Let t = s - 7/8. Sort t, -0.4, 2.
-0.4, t, 2
Suppose -2*v + 5*v = -3*c + 27, 5*c + 2*v = 33. Suppose -5*p + 0*p = 25. Put p, c, -3 in increasing order.
p, -3, c
Let o = -1.6 + 2. Let w = -18 - -17.9. Put w, -2, o in ascending order.
-2, w, o
Let b(y) be the second derivative of y**4/12 - y**3/6 - y**2/2 - 4*y. Let x be b(-1). Sort -4, 0, x.
-4, 0, x
Let t be (-1 + 10/6)*6. Suppose 0 = -4*s - q - 0*q - 21, 4*s = t*q + 4. Let v be (1 + 0)/(4/(-12)). Sort v, s, 2.
s, v, 2
Suppose -5*a = -q - 16, 0 = a - 4*q + 8 + 4. Sort -2, a, -3 in decreasing order.
a, -2, -3
Let v = 2 - -2. Let g = -2 + v. Put g, -2, 3 in ascending order.
-2, g, 3
Let z = 1.2 - 1.73. Let y = z - -0.13. Sort 2, y, -4 in descending order.
2, y, -4
Let r = -0.3 + -0.2. Let p = -12 - -7. Let a = p - -4.8. Sort -0.1, a, r in ascending order.
r, a, -0.1
Let a = 24 + -20. Sort 1, 0, a, -5 in decreasing order.
a, 1, 0, -5
Suppose -y + 4*y = 6. Suppose 8 = y*k - 3*k. Let a = 5 + k. Sort 2, 3, a in increasing order.
a, 2, 3
Let x = -2 + 3. Let g = 8 - 11. Put x, g, 3 in increasing order.
g, x, 3
Let i(o) = -o**3 + 9*o**2 + 7. Suppose -5*h + 36 = -h. Let u be i(h). Let d = 3 - u. Put -1, d, -2 in ascending order.
d, -2, -1
Let y(t) = -t**3 + 2*t**2 - t. Suppose 3*j = -2*j + 10. Let r be y(j). Let f be (-1 + 1)/(-6 - -5). Sort r, -3, f in descending order.
f, r, -3
Suppose c = -0*c + d + 5, -3*c + 5*d + 23 = 0. Sort -19, 3, c in ascending order.
-19, c, 3
Let d = -53/704 - 1/64. Put 6/5, d, 2, -2 in increasing order.
-2, d, 6/5, 2
Suppose -5*h - 2 = 3*a + 4, -2*h = 4*a + 8. Let m be (-74)/(-14) + (-4)/14. Suppose -x + 5 = 5*p - 4*x, -4*p + 4 = -m*x. Put 4, p, h in descending order.
4, p, h
Let p = 2 - -1. Suppose -j = 2, -4*u - p*j - 18 = -4*j. Suppose 4*s - 3 = -7. Sort 3, u, s in descending order.
3, s, u
Suppose -w + 2 = 1. Let m be -2*w*(0 - -1). Let o be (-3)/9 - (-2)/(-30). Put m, o, -1 in descending order.
o, -1, m
Let j = -129 + 123. Sort 4, -1, j, 2 in descending order.
4, 2, -1, j
Suppose -17*u + 11*u + 18 = 0. Put 1, -5, u in decreasing order.
u, 1, -5
Let u be (-80)/(-182) - 7/(147/6). Put 3, u, -6/11 in descending order.
3, u, -6/11
Let m = 9.05 - 9. Let k = m + -0.55. Suppose -23 = -5*g + 2. Sort 0.5, g, k.
k, 0.5, g
Let r = -14 + 16. Sort 4, 20, r in ascending order.
r, 4, 20
Suppose -4*x = 1 + 3. Let q = 0.03 - 0.2. Let j = q + -0.13. Put x, j, 3 in decreasing order.
3, j, x
Let h(a) = -a + 0*a + 0*a + 0 - 1. Let o be h(4). Let v be -1 + 1 + 1*5. Put o, v, 2 in increasing order.
o, 2, v
Let z = 1 + 1. Let a be 19/38*(-1 + 4). Sort z, a, -2.
-2, a, z
Let d = 19/39 + -2/13. Let a = 1431/7 - 205. Put 0, a, d in decreasing order.
d, 0, a
Suppose -5*q + 2*v - 6 = 0, -2*q = -0*q + v + 6. Let f be (372/(-21))/4 - 21/(-49). Put f, q, 0 in descending order.
0, q, f
Let y(n) = n**3 + n**2 + 2*n + 1. Let t be y(-1). Let c be (-240)/112 + (1 - (-2 + 1)). Put t, 5, c in decreasing order.
5, c, t
Suppose 6*l = 7*l + 1. Sort l, -5, -4, -3.
-5, -4, -3, l
Suppose -b = -6*b - 15. Suppose -3*g + 12 = -o, 5 + 3 = 2*g + 2*o. Sort b, g, 0.
b, 0, g
Let d = 1.2 + -1. Let i = -0.2 + d. Let y be (-2 - (-3)/6)/(6/(-20)). Sort y, 1, i in descending order.
y, 1, i
Let p(y) = y**3 - 7*y**2 + 2*y - 9. Let w be p(6). Let j be (-22)/w*-3*3. Sort -1, j, -5 in increasing order.
j, -5, -1
Let o be (1/(-4))/(-5 + 165/40). Put -1, o, 30 in decreasing order.
30, o, -1
Suppose 0 = 3*l + 2*l - 165. Put l, 3, -5 in increasing order.
-5, 3, l
Suppose m - 49 = -5*w + 3*m, -4*w = -m - 38. Let d = w + -6. Let s = 4 - 9. Sort s, 0, d in decreasing order.
d, 0, s
Let s(o) = o**2 - o + 5. Suppose -j + 0*j + 4 = 0. Let m = j + -4. Let u be s(m). Sort -3, u, 2.
-3, 2, u
Let n(k) = k. Let y be n(4). Let q = y - 0. Let m = 1 + q. Put 1, -4, m in descending order.
m, 1, -4
Suppose 2*p = -3*s + 2 - 4, -5*p + 5*s = 5. Sort 2, p, 3 in decreasing order.
3, 2, p
Let h be 6*(0 + (-2)/4). Let t = 0 + -0.01. Let x = t + 3.01. Sort x, -4/5, h.
h, -4/5, x
Let y = -0.2 - 1.8. Let k = y + -4. Let h = -5.8 - k. Put h, -2, -4 in decreasing order.
h, -2, -4
Let p = 0.51 - 0.21. Sort -3, 1, p in ascending order.
-3, p, 1
Suppose -12 = 3*p - 0, 24 = -2*o - 5*p. Let v be -6*(1 - (-6)/(-4)). Put v, o, 1 in increasing order.
o, 1, v
Let h be (9/6 - 1)*12. Sort 1, h, 0 in descending order.
h, 1, 0
Let l = -2150/7 + 308. Let m = -7 - -12. Put l, 2, m in descending order.
m, 2, l
Let n = 14 - 6. Let r = -5 + n. Put -2, 0.2, r in descending order.
r, 0.2, -2
Let w be 7/((-2)/(-1 - -3)). Let i be ((-3)/(-2))/(w/(-2)). Sort -5, i, 0 in descending order.
i, 0, -5
Suppose 0 = g - 2*g. Let o be ((-1)/2)/((-12)/72). Sort 4, g, o.
g, o, 4
Let g(s) = s**3 - s**2 + s - 2. Let m be g(0). Let n be 36/(-28) + (-4)/(-14). Put n, 5, m in decreasing order.
5, n, m
Suppose s - 3*s + 2 = 0. Let l be s/((-20)/6 - -3). Let g be -1 + (-2 - l) + 2. Sort 1, g, -3 in increasing order.
-3, 1, g
Let x = 2.02 - 0.02. Let s = -20/17 + 414/323. Put 4, s, x in descending order.
4, x, s
Let a = -95 + 375/4. Let o = -1.2 - -10.2. Let b = -6 + o. Sort -2/7, a, b.
a, -2/7, b
Let u be (-1)/(-2)*-20*3/6. Sort 2, -3, u, -1.
u, -3, -1, 2
Suppose 27 = 5*b + 2*a + a, 5*b + a - 19 = 0. Let u(z) = -z**2 - 7*z + 5. Let v be u(-7). Suppose -2 = -6*r + 4*r. Sort b, r, v in descending order.
v, b, r
Let y(d) = -6*d + 6*d**2 - 2 + 5*d**2 - 12*d**2. Let x be y(-5). Sort -4, -1/3, x in ascending order.
-4, -1/3, x
Let r = 0 + 0. Suppose -2*g = -6*g + 8. Suppose -3*w + 9 = 0, 8 = x + w - 0*w. Put g, x, r in descending order.
x, g, r
Suppose -3*c - 8 = -7*c. Let f(n) = 2*n**2 + 2*n - 4. Let o be f(-3). Suppose o*b + 20 = 4*b. Put b, -2, c in ascending order.
b, -2, c
Let b be ((-6)/4)/(6/8). Let r = 0.8 + -0.7. Sort b, 1/5, r in decreasing order.
1/5, r, b
Let y be (((-20)/(-6))/(-5))/(-1 - -3). Let d = 0.1 - 0.2. Let h = d + -0.9. Put 5, h, y in decreasing order.
5, y, h
Suppose 2*c = 5*v + 25, -3*c + 5*v - 8 + 33 = 0. Let z = 0 + -0.2. Sort c, 4, z in decreasing order.
4, c, z
Let s(j) = j. Let v(g) = -g. Let z(a) = -2*s(a) + 2*v(a). Let w be z(-1). Let h = -3 - -6. Put h, -4, w in ascending order.
-4, h, w
Let c