et i be u(4). Suppose x = -4*m - x + 6, 0 = m - 5*x - 7. Put i, m, 6 in descending order.
6, i, m
Suppose 1 - 13 = 3*w. Put 2, w, 1 in ascending order.
w, 1, 2
Suppose -2*z + 6 + 0 = 0. Let y = -14 + 19. Sort -0.3, z, y in increasing order.
-0.3, z, y
Let h = -7 - -1. Let l = h - -6.03. Let x = 2.03 - l. Put x, -4, -2 in decreasing order.
x, -2, -4
Suppose 3*y + 2*p - 13 = 0, -3*p - 6 = -y - 4*p. Suppose -3*n + 13 = -2*l - 0*l, -4*n + 19 = -3*l. Put l, y, 4 in increasing order.
l, y, 4
Let z = 7 + -6.9. Let n = -0.4 - z. Let j = -0.3 - n. Put -2, 2, j in ascending order.
-2, j, 2
Suppose 0 = 2*j + 5*f + 16, -2*j - 16 = -0*j + 3*f. Let w be (j/(-10))/((-18)/(-15)). Sort -2, -0.3, w in increasing order.
-2, -0.3, w
Let f = -83 + 87. Sort -5, 1, f in ascending order.
-5, 1, f
Let b be (-650)/(-169) - 4/(-26). Suppose p + 3 = -4*z - 8, b*z - 3*p + 15 = 0. Sort 5, z, -2.
z, -2, 5
Let p(m) = m**3 - 12*m**2 - 1. Let d be p(12). Sort 0.4, d, 2.
d, 0.4, 2
Suppose -1 = 3*f - 7. Suppose 22 = f*r - 4*r. Let l = 16 + r. Sort 0, -2, l in descending order.
l, 0, -2
Let x be (40/12)/((-12)/(-18)). Sort x, 4, -1 in descending order.
x, 4, -1
Let k = -13 + 18. Suppose 3*c - 10 - k = 0. Put -3, c, -1 in descending order.
c, -1, -3
Suppose -3*s = -3*y + 3, 2*y - 21 = -2*s - 7. Let z = 2 + -3. Sort 5, s, z in decreasing order.
5, s, z
Let c(q) = -q**2 + 2*q - 2. Let u be c(2). Sort 4, 1, u.
u, 1, 4
Let r(z) = z**3 - 6*z**2 + 5. Let o be r(6). Let s = -98.95 + 97. Let q = s + -0.05. Put o, q, 0.1 in descending order.
o, 0.1, q
Let a(h) = -h**2 - 6*h - 8. Let y be a(-4). Put -4, 5, y in descending order.
5, y, -4
Let b(k) = 4*k - 7. Let j be b(4). Let a(f) = -f**3 + 8*f**2 + 11*f - 13. Let z be a(j). Sort -4, z, -1 in increasing order.
-4, -1, z
Let q = -19 + 14. Sort 0, q, -6 in ascending order.
-6, q, 0
Let c = -14 - -23. Put 0, c, -1, -5 in decreasing order.
c, 0, -1, -5
Suppose -3*a = a - 16. Let m = 7 + -5. Suppose y + 4*v = m*y - 1, 0 = -4*y - 4*v - 16. Sort y, 1, a in increasing order.
y, 1, a
Suppose 2*p - 48 = -v + 4*v, -2*p - 5*v = -48. Let w be ((-3)/2)/(p/(-32)). Sort w, -1, -4 in descending order.
w, -1, -4
Suppose -3*y - 2*y + 18 = r, -5*r + y = 14. Put -1, 5, r in ascending order.
r, -1, 5
Let u be (8/(-12))/(6/9). Sort u, 1/3, -0.4 in increasing order.
u, -0.4, 1/3
Let j(h) = -h**3 - 4*h**2 + 2*h + 5. Suppose -3*t = -33 - 3. Let k = 8 - t. Let c be j(k). Put c, -2, -4 in descending order.
-2, c, -4
Let m(h) = 2*h - 10. Let f be m(-4). Put 1, 0, f in descending order.
1, 0, f
Suppose 2*z = -z + 6. Let c = z - 2. Sort -3, c, -4.
-4, -3, c
Let k(a) = -a - 3. Let p be k(-3). Let y = -26 - -31. Sort 1, y, p.
p, 1, y
Let m(y) = y**2 + 6*y - 1. Let g be m(-7). Suppose 0 = -3*p + p - g. Suppose 2*j + 0*j = -5*t + 12, 8 = -2*j. Sort 5, t, p in descending order.
5, t, p
Let t = 5/42 + 3/14. Suppose 0*p - p = 2. Let l be 1/(-5)*(-6)/p. Sort t, -3/2, l.
-3/2, l, t
Let h be -4*(22/(-8) - -2). Let n(s) = 11*s**2 - 17*s - 11. Let r(f) = 5*f**2 - 8*f - 5. Let z(c) = -4*n(c) + 9*r(c). Let o be z(h). Sort o, 0, -3.
o, -3, 0
Let j = -4 + 10. Let f(m) = m**3 - 5*m**2 - 6*m - 2. Let x be f(j). Let k be (-1)/(-2)*-1*x. Put k, -2, -1 in increasing order.
-2, -1, k
Let c = -0.03 + -3.97. Let n(p) = -p**2 + 3*p - 1. Let z be n(3). Sort z, c, 2 in descending order.
2, z, c
Suppose -2*s = s + 3. Let x(c) = -c. Let m be x(-4). Put -3, s, m in descending order.
m, s, -3
Suppose -2*h = -0*h - 10. Suppose -4 - 8 = 2*y. Let r = -4 - y. Sort r, h, 6.
r, h, 6
Let k(a) = -a**3 - 11*a**2 + a + 14. Let i be k(-11). Sort 0.18, i, -1/3 in increasing order.
-1/3, 0.18, i
Let s be 3/(9/24*4). Suppose q + 7 = 3*h, 4 = -q - 0*q + 2*h. Suppose -3*n + q = -5*k, -n + 3*n - s*k - 4 = 0. Put -3, -1, n in decreasing order.
n, -1, -3
Let t = -0.49 - 0.01. Let m = t - -0.4. Let s = 0.3 - 0.6. Put m, s, 5 in ascending order.
s, m, 5
Let o be ((-18)/(-15))/((-4)/(-10)) - -2. Sort o, -2, 12 in increasing order.
-2, o, 12
Let i(x) = -x + 12. Let u(r) = -3*r - 5. Let f be u(-4). Let t be i(f). Sort 4, -2, t in descending order.
t, 4, -2
Suppose z = 4*z - 6. Put z, 0, -15 in decreasing order.
z, 0, -15
Let a(s) = -s**3 + 8*s**2 - 9*s + 13. Let h be a(7). Sort 3, h, -3 in decreasing order.
3, h, -3
Let k be (0 + 1)/(6/(-24)). Let u = 0.4 - -0.1. Let v = u + -0.9. Sort 0.1, k, v in ascending order.
k, v, 0.1
Suppose 0 = 2*x - 4*x - 16. Let b(f) = f**2 + 10*f + 11. Let v be b(x). Let g be (-16)/(-10) - 2/v. Sort g, 0, 1 in increasing order.
0, 1, g
Let t be (-7 - -4)*(1 - 0). Put 0.3, 5, t in increasing order.
t, 0.3, 5
Suppose 0 = -j - v + 1 + 7, 0 = -4*v + 20. Put 0.4, j, 0.2 in ascending order.
0.2, 0.4, j
Let z = 15 - 6. Let c = z - 7. Sort 1, c, 4.
1, c, 4
Suppose -25 = -5*y - 0. Let o = -1 - -2. Suppose -v - o = 2*h, 2*h + 3 = -3*v - 8. Put y, -0.1, v in ascending order.
v, -0.1, y
Let o(i) = i + 3. Let p be o(-7). Put 3, 1/10, p in decreasing order.
3, 1/10, p
Let y(f) = f**3 - 4*f**2 - 3*f - 7. Let w be y(5). Sort 1, -5, -4, w.
-5, -4, 1, w
Let t = -1.42 + 0.42. Sort 0.3, t, -0.2 in decreasing order.
0.3, -0.2, t
Suppose -i = -5*b + 4*b + 6, -3*i - 2 = b. Suppose 3*p - 2 = 2*p. Let o be i*(-1)/p*2. Put -1, 0, o in decreasing order.
o, 0, -1
Suppose 2 = 2*g - 0*g + n, 2*n - 10 = 2*g. Let f(a) be the first derivative of -a**3/3 - 2*a**2 - 4*a + 2. Let o be f(-4). Sort o, g, -3 in decreasing order.
g, -3, o
Suppose -4 = -5*t + t. Suppose 21 - t = -5*b + 5*h, 2*h = 3*b + 8. Sort b, 5, 1 in ascending order.
b, 1, 5
Let u = 29 - 32. Put -4, u, 4 in increasing order.
-4, u, 4
Let z(j) = j**3 + 7*j**2 + 6*j - 2. Let c be z(-6). Sort 0.3, c, 4/7 in decreasing order.
4/7, 0.3, c
Let n(h) = h**3 + 3*h**2 + 2*h - 1. Let g be n(-2). Let v = g + 1. Suppose u + v*u + 3 = 0. Sort 4, u, -2/9 in decreasing order.
4, -2/9, u
Let v be -3*3/(18/(-8)). Suppose -4 = -5*y + 4*y. Suppose -f = g - 5, -2*f - 4*g - 10 = -y*f. Sort f, v, 0 in descending order.
f, v, 0
Let n = -0.9 - -0.5. Let k be (170/42 - 4)*6. Sort n, -1/5, k.
n, -1/5, k
Let b = -13 - -13. Sort -2, b, 3 in decreasing order.
3, b, -2
Suppose 0 = -n - 2*q - 9, -q - 2*q = 5*n + 10. Let i = -41 - -45. Sort i, -1, n in descending order.
i, n, -1
Suppose 4*d = 0, -3*p = -4*p + 5*d - 2. Suppose 0 = -2*u - 1 + 5. Suppose u*a - 5*a = -12. Sort 0, p, a in ascending order.
p, 0, a
Let s(o) = -o. Let d be s(-4). Suppose w + d*w + 5 = 0. Put 1, 3, w in decreasing order.
3, 1, w
Let x = 14 - 12.4. Let w = -8.6 + x. Put 5, -5, w in descending order.
5, -5, w
Let h = 29 - 17. Let b = h - 15. Put b, -5, -2 in decreasing order.
-2, b, -5
Suppose -3*w + 8*w + 185 = 0. Put -4, w, 5 in descending order.
5, -4, w
Let n be (1 - 4) + -4 + 6. Put 0.1, n, 4, 8/9 in descending order.
4, 8/9, 0.1, n
Let f be 8/6*15/(-10). Suppose -4*y + 5*t = -60, -y + t + 0*t + 14 = 0. Let l = -14 + y. Sort f, 0, l.
l, f, 0
Let y = 36.4 + -42. Let s = y - -0.6. Sort -4, s, -1/4 in descending order.
-1/4, -4, s
Let m be (-68)/24 + (-3)/(-1). Put 0, 2/13, m in descending order.
m, 2/13, 0
Let p be (-6)/10*(1 - -14). Put -2, p, 3 in descending order.
3, -2, p
Let m = -9 + 22. Let u = 15 - m. Sort 0.5, -0.1, u in increasing order.
-0.1, 0.5, u
Let v(c) = -c**2 + 6*c + 1. Let p be v(5). Suppose -5*d + 3*d - p = 0. Sort -5, -4, d in increasing order.
-5, -4, d
Let f be ((-21)/(-14))/(6/8). Suppose 0 = -a + f - 3. Put a, 3, -2 in decreasing order.
3, a, -2
Suppose 2*o - 2 = 2. Suppose -5*j + o - 7 = 0. Put j, 4, 0 in increasing order.
j, 0, 4
Let v = 1.08 - 0.08. Let t = -8.5 + v. Let k = -7 - t. Sort -5, k, 4.
-5, k, 4
Let u = -4 - -5. Sort u, -1, 0 in increasing order.
-1, 0, u
Let c = -0.8 - 4.7. Let m = c + 1.5. Let p = -8 + 3. Sort m, 4, p in decreasing order.
4, m, p
Suppose 5*i + 20 + 15 = 0. Let f be (8 + i)/(2/(-10)). Sort -2, f, 2.
f, -2, 2
Let m(x) = x + 2. Let r be m(-4). Put r, 2, -9 in descending order.
2, r, -9
Let z = 16.6 - -0.4. Let g = z - 16. Let n = -7 + 4. Put g, n, -1/11 in descending order.
g, -1/11, n
Suppose l - 4*b + 12 = 0, 5*l + 3*b - 10 + 1 = 0. Suppose l = n - 2. Suppose f = 2 + n. Sort 0, 5, f.
0, f, 5
Let u = -24 + 35. Let y = -0.025 - 10.475. Let b = u + y. Sort 0, b, -0.1 in decreasing order.
b, 0, -0.1
Suppose 5 = -2*g - 1. Sort -1, g, 2.
g, -1, 2
Let b be 8/(-1)*1/(-2)