pose m - 4 = -4. Sort m, -5, a in decreasing order.
m, a, -5
Let q(g) = g**3 - 5*g**2 + g - 5. Let k be q(5). Let z = -3 + 8. Put z, k, 4 in decreasing order.
z, 4, k
Let d(o) = 2*o - 20. Let a be d(11). Let r = 1 + 0. Let y = -1/103 + -305/412. Sort r, y, a in descending order.
a, r, y
Let q(o) = -o**3 - o**2 + 3*o - 4. Let w(p) = p**2 - 6*p + 5. Let h be w(4). Let j be q(h). Sort 0.5, 0.1, j in descending order.
j, 0.5, 0.1
Let a(n) = -n**2 - 5*n - 1. Let j be a(-5). Let q(o) = -o**3 - 4*o**2 + o + 9. Let y be q(-4). Suppose 15 = -y*h + 8*h. Sort h, j, 1 in descending order.
h, 1, j
Suppose -4*d + 5*x = 0, 0*d - 5*d - 4*x = 0. Sort d, 1, -4, 2 in increasing order.
-4, d, 1, 2
Let g = -1.7 + 1.4. Sort 5, g, -1/3.
-1/3, g, 5
Let c be (-14)/4 - ((-119)/14)/17. Sort -8, -3/2, c in descending order.
-3/2, c, -8
Let m(b) = -22*b + 23. Let f be m(1). Let i be (-26)/10 - (-2)/(-5). Sort f, i, -2 in descending order.
f, -2, i
Suppose g + 3 = -2*q, -3*q + 0*g = -g + 7. Put 3, q, 0 in decreasing order.
3, 0, q
Suppose 0*o + 2*o = -6. Suppose 0*r - r - 5 = 0. Let f = 3 + -2. Put f, r, o in descending order.
f, o, r
Let g = 6 - 2. Suppose 15 = 5*d - 2*i - i, -g*d = 5*i - 12. Sort 5, -2, d in descending order.
5, d, -2
Suppose 5*x - 14 = -0*q + 3*q, -2*x + 14 = 3*q. Put -4, 7, 1, x in descending order.
7, x, 1, -4
Let l(f) = f**2 - 4*f - 10. Let j be l(5). Sort j, 5, -1.
j, -1, 5
Let n be 10/2 + 16 + -19. Put n, -3, 11, 1 in descending order.
11, n, 1, -3
Suppose 0 = -3*t - 0*t - 9. Let x(l) = l**3 + 5*l**2 + 5*l + 2. Let k be x(t). Put k, -2, 3 in descending order.
k, 3, -2
Suppose 15 - 5 = 2*u. Let s be (3/(-3))/((-3)/(-9)). Sort s, u, 0 in decreasing order.
u, 0, s
Let u be 6 + -2 + (-2 - 0). Let w = -12 - -11.8. Put -0.4, u, w in ascending order.
-0.4, w, u
Let i = 3.69 - -0.01. Let z = 4 - i. Let f = 2/25 + 19/75. Sort f, -2, z.
-2, z, f
Let r be -6 + 8 + (-3)/2. Put 0.01, -4, r in descending order.
r, 0.01, -4
Let s(t) = -t**3 + 18*t**2 - 16*t - 19. Let u be s(17). Sort 8, 4, u.
u, 4, 8
Let v = -1 - -3. Sort v, -0.52, 2/11 in increasing order.
-0.52, 2/11, v
Let u = -2.04 - -0.04. Let k = -3 + -1. Let f = k + 4.2. Put f, u, -0.5 in ascending order.
u, -0.5, f
Suppose 0 = 5*j + 340 - 365. Let a = 11 + -7. Put j, -3, a in decreasing order.
j, a, -3
Suppose 0 = 4*u - 3*m + 16, 7*u - 3*m + 17 = 2*u. Sort u, -0.1, 6 in decreasing order.
6, -0.1, u
Let d = -2.7 - -2.3. Let x be (-6)/2 - 58/(-20). Sort d, -1, x.
-1, d, x
Let i(h) = 6*h + 57. Let v be i(-9). Put 2, v, -5, -4 in ascending order.
-5, -4, 2, v
Suppose 2*x - 4 = 2*c, -4*c - 4 = 4. Let q be 0 + x + -4 + 3. Suppose 4*i = 6*i. Sort 3, q, i.
q, i, 3
Suppose 4*b + 3*b = -14. Sort b, -2/9, -1.
b, -1, -2/9
Suppose 23 = 2*j + 2*h + 5, -4*j + 4 = -4*h. Let u = 0 + 2. Sort u, j, 8 in descending order.
8, j, u
Suppose -4*z - 4*r + 2*r = -20, -5*r - 28 = -3*z. Let h = z - 6. Put -5, h, -3 in increasing order.
-5, -3, h
Let u = -9.3 + -1.7. Let x = u - -10.8. Sort 5, x, -5 in ascending order.
-5, x, 5
Let x = -20 - -4. Let g = x + 63/4. Sort -0.5, 3, g in ascending order.
-0.5, g, 3
Let g be -1 + (0 - 0 - -1). Suppose 2*c + g + 8 = 0. Put c, -5, -3 in ascending order.
-5, c, -3
Let i be (-46)/(-14) - 4/14. Let a = i - 8. Let w = 15 - 14. Sort w, a, -1 in increasing order.
a, -1, w
Suppose -2*c = -2*u + 4*u - 6, 2*u = 3*c - 9. Suppose -3*b = 7*z - 6*z, b - 5*z = u. Put b, -6, -2 in ascending order.
-6, -2, b
Let b be -9*(4 - 3/3). Let l be 1 + (b/12 - -2). Let r be (1 - 2)/((-2)/(-4)). Sort l, 2/9, r in descending order.
l, 2/9, r
Let u = 0.06 - 2.06. Let r = 0 + 0.1. Let t = r - 0. Sort u, t, 0.
u, 0, t
Let w = 2/151 + 296/453. Sort 3, 0, w, -0.5 in descending order.
3, w, 0, -0.5
Let k be (-9)/11 + 10/(-55). Put 2, k, 1, -6 in ascending order.
-6, k, 1, 2
Let g be (-3 - -4)/((-9)/(-2)). Suppose -18 = -119*i + 113*i. Sort g, 0.1, i.
0.1, g, i
Let c = 7 + -6.98. Let v = c - 0.02. Let d = 3.16 + -0.16. Put 4/3, d, v in decreasing order.
d, 4/3, v
Let g(w) = w**2 - w - 7. Let p be g(0). Put -1, -5, p in descending order.
-1, -5, p
Suppose 7*a - 5*n = 4*a + 5, 5 = -5*n. Suppose 5*f + 4*p + 25 = a, 2*f - 18 - 5 = 5*p. Suppose 8*c + 6 = 5*c. Sort c, 5, f in decreasing order.
5, f, c
Let u = -11 + 3. Let b = -11 - u. Let s = -0.2 + -0.3. Put -0.3, s, b in ascending order.
b, s, -0.3
Suppose 6*k - 5*k = 0. Sort -3, k, -1 in increasing order.
-3, -1, k
Let d(i) = -i - 1. Let c be d(0). Suppose 0 = -2*l + 6. Put 0, l, c in increasing order.
c, 0, l
Suppose 0*m - m = -0*m. Sort m, -2, -1, 5 in decreasing order.
5, m, -1, -2
Let q = 204 - 2246/11. Let y = -1.6 - -1.3. Let k = y + 5.3. Sort k, q, -0.3.
-0.3, q, k
Let u be -6 + 6/2 - (-147)/51. Let o = -5 + 9. Sort o, u, 0 in descending order.
o, 0, u
Let a(t) = -2*t**3 - 4*t**2 + 7*t - 5 - 4*t + t**3. Let j be a(-5). Sort j, -4, 2 in decreasing order.
j, 2, -4
Let r(q) = -q - 15. Let b be r(-13). Let i = 3 + -3. Sort b, i, 2 in increasing order.
b, i, 2
Let u = -10.7 + 11. Put -0.2, 1, -2/13, u in increasing order.
-0.2, -2/13, u, 1
Let s = 0.5 + -0.2. Sort -2/5, 3, s in decreasing order.
3, s, -2/5
Let t be 3/1*(-4)/16. Sort t, -5, -1, -3 in decreasing order.
t, -1, -3, -5
Let j = -9 + 12. Put 1, j, 2/9 in ascending order.
2/9, 1, j
Let n(k) = -k**3 + 6*k**2 - k + 7. Let v be n(6). Let h = -0.03 + 0. Let a = -66 - -65.8. Put h, v, a in descending order.
v, h, a
Let v = -7 - -12. Suppose -v*m + 12 + 13 = 0. Suppose -3*b - 21 = -4*y, -6*y - 9 = -4*y + m*b. Put 0, -5, y in decreasing order.
y, 0, -5
Let w be (-8)/(-32) + 13/(-4). Let i(g) = -g**2 - 3*g - 2. Let x(b) = b**2 + 4*b - 7. Let h be x(-5). Let r be i(h). Put w, r, 4 in increasing order.
w, r, 4
Let c = -0.8 + 1.1. Let y = c + 0.2. Put -0.2, 1, y in ascending order.
-0.2, y, 1
Let t(y) = y**2 - 6*y + 5. Let u be t(4). Let p = u + 6. Suppose -2*m + s - 8 = m, -2*m + 4*s = -8. Sort m, p, -3 in increasing order.
m, -3, p
Suppose -21 = -7*m + 14. Sort -2, -6, m.
-6, -2, m
Let o = 3.6 - 4. Let s = 115 - 115.2. Put s, -5, o in decreasing order.
s, o, -5
Let m(h) = -4*h**2 - 10*h + 8. Let l(c) = c**2 + c. Let n(p) = -3*l(p) - m(p). Let s be n(-8). Sort -1, 0.3, s in ascending order.
-1, s, 0.3
Let a = -2.6 - -3. Let h = 0.3 - a. Let v = 15 - 14.5. Sort v, h, 2 in descending order.
2, v, h
Let f(s) = 19*s - 86. Let b be f(4). Suppose 4*p + 5 = -7. Sort p, b, -5 in descending order.
p, -5, b
Let d = -3.6 + 4. Suppose -2*t - 17 + 5 = 0. Let a = 11 + t. Put a, -5, d in descending order.
a, d, -5
Suppose 0 = 3*a - m + 8, -3*a - 2*m - 28 = -8. Let r(u) = 4*u**3 - u**2 + u + 1. Let l be r(-1). Put l, a, 0 in decreasing order.
0, a, l
Let r = -4 + 4.6. Let x = r + -5.6. Sort 0.1, x, 1.
x, 0.1, 1
Let n = -4.9 + -0.1. Let l = 0.3 - -0.2. Let h = l + -3.5. Sort n, h, -0.5.
n, h, -0.5
Let x(i) be the third derivative of i**6/120 - i**5/15 - i**4/4 - i**2. Let k be x(5). Suppose 0 = -0*h + 2*h - 6. Sort -3, h, k in decreasing order.
h, -3, k
Suppose 3*d - 29 = 22. Suppose -2*s = 2*b + 9 + 5, -5*b = -4*s + d. Sort s, -1, 5.
s, -1, 5
Let c = -0.6 - -0.6. Let y = -121471/5 - -71641/3. Let s = -414 - y. Put s, -0.3, c in decreasing order.
c, s, -0.3
Let g = 0.51 + -0.11. Sort g, 1.2, 5 in descending order.
5, 1.2, g
Suppose -3*v + 10 = -8*v. Let u = v + 2. Suppose u = -2*o - 9 + 3. Sort o, 2, 0 in descending order.
2, 0, o
Suppose 4*q + 24 = 3*d + 1, 2*d + 13 = -3*q. Let m be (-2 - -2)/(1 - 2). Let r be ((-21)/(-6))/(-7)*m. Put r, -1, d in decreasing order.
d, r, -1
Let f = 0 - -1. Let n be ((-4)/(-6))/((-2)/(-27)). Let g be ((-4)/(-8))/(n/2). Put g, f, -2 in descending order.
f, g, -2
Let s be (-6)/9*2/(-4). Let a = 7.14 - 2.14. Put s, -0.3, a in descending order.
a, s, -0.3
Suppose -3*i + 2*i + 5 = 0. Suppose -24 = -5*c + i*p - 9, -2*p - 2 = 0. Let w be 0/(-3) - c/(-17). Sort w, 0.5, -5.
-5, w, 0.5
Let y(c) be the second derivative of -c**4/12 - c**3/3 - c**2/2 + 2*c. Let a = 6 - 7. Let r be y(a). Sort -1/2, -0.2, r.
-1/2, -0.2, r
Let r(m) = m - 4. Let n be r(3). Sort 2, -3, n in decreasing order.
2, n, -3
Let u be 15*6/27*3/2. Put u, 3, -3, -1 in ascending order.
-3, -1, 3, u
Let j be (5 - 7)/((-2)/5). Put -2, j, 0 in decreasing order.
j, 0, -2
Suppose 0 = 3*s + a - 5*a - 9, 4*a + 12 = 0. Suppose 0 = -3*f + 4*i - 1, f - 4*i + 2 