easing order.
x, m, -1
Suppose -6*n + n + 7 = b, -13 = -3*n - 5*b. Sort n, 2, 0, -2 in decreasing order.
2, n, 0, -2
Let o(u) = 6*u + u**2 - 3 + 2 + 0 - 3*u. Let f be o(-4). Put -3, f, 1 in descending order.
f, 1, -3
Let u = -6 + 6. Suppose b = 2*k + 1, b = -0*b + 4*k - 1. Let n be 0 - b/1 - 0. Sort u, 3, n in decreasing order.
3, u, n
Let a = -123 - -132.7. Let r = a + -10. Suppose 5*p + 16 = -4. Sort 3/2, p, r.
p, r, 3/2
Let f = -5 - -5.1. Sort f, 4/3, 1/7.
f, 1/7, 4/3
Let c be 145 - (0 + (-12)/4). Let s = -1034/7 + c. Sort 3, s, 0.4 in ascending order.
s, 0.4, 3
Let i = 3 + -5. Let b be 3*i/(-144)*4. Put 1, b, -0.3 in increasing order.
-0.3, b, 1
Let m(g) = -g**2 - 3*g + 2. Let w be m(-4). Suppose 8 = i - 3*i. Let p = i + 8. Sort 0, p, w in decreasing order.
p, 0, w
Let y = 123 - 116.7. Let z = y - -0.7. Let v = -8 + z. Put 0.2, 2/23, v in descending order.
0.2, 2/23, v
Let t = 418/5 - 84. Let c = 86/7 - 12. Sort c, t, 3 in decreasing order.
3, c, t
Let d = -4 - -7. Let l = -4/605 + 6538/605. Let x = l + -491/45. Put x, -0.4, d in decreasing order.
d, x, -0.4
Let z be (-1)/(-1*(-1 + 2)). Let l = -0.044 + -0.456. Sort z, l, -0.7 in decreasing order.
z, l, -0.7
Let f be ((-8)/(-10))/((-1)/(-15)). Suppose 5*m = 2 - f. Let s be (-20)/70 - (-10)/(-14). Sort s, m, 1.
m, s, 1
Let d(l) = -15*l**3 + 11*l**2 + 11*l + 2. Let b(k) = 7*k**3 - 5*k**2 - 5*k - 1. Let v(o) = 13*b(o) + 6*d(o). Let f be v(1). Put -2/9, f, 5/2 in ascending order.
-2/9, f, 5/2
Suppose 0*a - 2 = a. Let f(x) = x**2 + 5*x + 2. Let i be f(-6). Suppose -3*c + 0*q = -q - i, 4*c + q - 13 = 0. Sort 2, a, c in descending order.
c, 2, a
Let v = -0.37 - -0.3. Let x = 47.23 - 47. Let f = v - x. Sort 5, 3, f in descending order.
5, 3, f
Suppose -2*a - 30 = 3*a. Let i = 23/4 + a. Let x be 7/(-3) + 4/(-6). Put x, 0, i in descending order.
0, i, x
Let r = 0.03 + -0.05. Let n = r + 0.32. Sort -3, -0.5, n.
-3, -0.5, n
Suppose -6*i - 4 = -7*i. Suppose 0*w = -5*w. Sort -1, w, i in descending order.
i, w, -1
Let h = 85 + -86. Put 6, h, 1 in increasing order.
h, 1, 6
Let t = 0 - 5. Suppose -11 = -3*w - m, 5*m + 3 = -w - 12. Suppose 21 = 5*c + 4*z, -5*c + 1 = w*z - 24. Put c, -1, t in decreasing order.
c, -1, t
Let l = 20 + -17. Suppose -l + 15 = 4*i. Put i, -3, -1 in increasing order.
-3, -1, i
Suppose 0 = 3*z - 2 - 7. Suppose -f = -s - 1, -s - 4 = -z*s - 4*f. Put -0.1, -0.4, s in increasing order.
-0.4, -0.1, s
Let v = 11 - 7. Let h(c) = 1 + 2*c + 0 - 4. Let t be h(2). Sort v, t, 2 in descending order.
v, 2, t
Suppose -p + 8 = -5*i, 0 = 4*p - 4*i + 5 - 21. Put 6, -5, p in increasing order.
-5, p, 6
Suppose -38*t + 33*t - 5 = 0. Sort 0, t, 33 in decreasing order.
33, 0, t
Let z(r) be the first derivative of r**3/3 + 2*r**2 - 4*r + 2. Let i be z(-7). Suppose -i = -4*c + y, c - 2*y + 6*y = 0. Sort c, 3, -2 in increasing order.
-2, 3, c
Let t = -0.07 - 4.93. Let l be 20/(-3)*6/(-4). Let p be (-4)/l + (-28)/(-20). Put p, -2, t in ascending order.
t, -2, p
Let p be (-5)/25 + -2 + (-36)/(-15). Sort p, -1, 5, 3 in ascending order.
-1, p, 3, 5
Let y = 6 + -5.5. Sort -1, y, 3 in decreasing order.
3, y, -1
Let r = 4 - 0. Suppose 2*q = 6*q. Suppose q*i - 5*i = 0. Sort r, i, -4.
-4, i, r
Let k(d) = d**2 - 2*d - 5. Let h be k(4). Put 1, -2, h, -3 in increasing order.
-3, -2, 1, h
Suppose 6*r - 3 = 3*r, 5*g + 2*r = 12. Put 5, g, 0 in decreasing order.
5, g, 0
Let r = -12 + 15. Sort 2, -1, r in descending order.
r, 2, -1
Suppose 0 = 4*p + p + 4*c - 13, -3*c = -3*p - 3. Let o be (-217)/(-35) - (-1)/(-5). Suppose n - 4*n + o = 0. Put 4, p, n in descending order.
4, n, p
Let j be 8*(-1 + (1 - -2)). Let p = j + -11. Suppose 5*a = 2*i - 22, i = 4*i + 5*a + 17. Sort i, -1, p.
-1, i, p
Let c(m) = -7*m + 9. Let l be c(2). Put 3, -3, 9, l in descending order.
9, 3, -3, l
Let n(c) = 4*c**3 - 2*c**2 + 2*c - 1. Let r be n(1). Suppose -14 - 1 = r*l. Let w be (-1)/(((-2)/(-16) - 0)*-2). Put w, l, -2 in ascending order.
l, -2, w
Suppose -7*d = -8*d. Sort -1/3, -1, d in descending order.
d, -1/3, -1
Let w(x) = x - 2. Let c be w(2). Sort c, -3, 3 in ascending order.
-3, c, 3
Let i = -1 + 3. Let u(l) = l**3 - l**2 - 4*l + 3. Suppose -c = 2*c - 6. Let s be u(c). Sort 5, i, s in ascending order.
s, i, 5
Let g = 52 + -79. Sort -4, -1, g in ascending order.
g, -4, -1
Suppose 7 = s + 9. Let c = 13/11 + -15/11. Put -4, c, s in descending order.
c, s, -4
Let f = 6 - 10. Put -2, -3, f in descending order.
-2, -3, f
Let q = -5 - -10. Suppose -2*b - 20 = 2*b - 3*o, 4*b - q*o + 20 = 0. Put b, -1, 2 in decreasing order.
2, -1, b
Let t = -0.41 + 1.41. Suppose 5 = 2*o - 5, -36 = -4*y - 4*o. Put t, 0.3, y in decreasing order.
y, t, 0.3
Let x be (-22)/(-6) + (-4)/(-12). Let w(r) = r**2 + x*r - 2 - r**2 + r**2. Let h be w(-4). Sort 1/2, -4, h in descending order.
1/2, h, -4
Suppose 2*m + 5*x = 1, 0*x + 7 = -3*m + x. Sort m, -4, 2.
-4, m, 2
Let k = -0.1 - 0.1. Let o = -1 - -1. Let j be ((-3)/1 + 8)*1. Sort j, k, o in increasing order.
k, o, j
Let v = -10 + 20. Let g = v + -9.9. Put -4, -1/4, g in decreasing order.
g, -1/4, -4
Suppose -7 = 4*p + 1. Put p, -5, 3 in decreasing order.
3, p, -5
Let k(m) = m + 8. Let d be k(-8). Sort d, -2, 7.
-2, d, 7
Let c = -0.7 + -1.3. Sort 2/11, c, -4/7 in decreasing order.
2/11, -4/7, c
Let k be (9/(-6))/((-6)/(-40)). Let a = k + 11. Put -5, a, 0 in descending order.
a, 0, -5
Let t be (6/(-1))/(-1 + 0). Let a = 0 + 2. Suppose -4*o = -t*j + j + 21, -4*j + a*o = -12. Put j, 5, 2 in decreasing order.
5, 2, j
Let f(x) = x**2. Let j be f(-2). Let o = -31 + 44. Suppose 0 = 4*c - 7 - o. Sort -3, j, c in descending order.
c, j, -3
Let y = -73 - -68. Sort 0, y, -25 in ascending order.
-25, y, 0
Suppose -u + 16 = 14. Suppose -4*k + 1 = 5. Sort k, 1, u in descending order.
u, 1, k
Suppose 4*h = -3*u - 5 - 28, -h - u - 9 = 0. Put 0.1, -4, h in ascending order.
h, -4, 0.1
Suppose 3*c = 40 - 34. Put -1, c, -33 in decreasing order.
c, -1, -33
Suppose 5*l - 71 = 2*y - 27, 5*l = 4*y + 48. Suppose d = 3*d - l. Sort -5, d, -1.
-5, -1, d
Let c = -9 - -14. Sort 0, 32, -2, c.
-2, 0, c, 32
Suppose 0 = -2*h + 5*h - 9. Suppose -9*f = -24*f. Put -4, f, h in descending order.
h, f, -4
Let u(j) = 6*j + 0*j**2 - 3*j**2 + 5 + 2*j**2. Let o be u(6). Let a = -1 + 0. Put a, -4, o in decreasing order.
o, a, -4
Let c = 0.25 + -4.25. Let v = -0.1 + 0.5. Put c, -0.3, v in descending order.
v, -0.3, c
Suppose -5*p = -2 - 13. Suppose -p = -3*b + 6. Put b, -1, 4 in descending order.
4, b, -1
Let u(i) be the second derivative of -i**5/20 + i**4/2 - i**3/6 + i**2/2 - 2*i. Let b be u(6). Put 1, b, 2 in descending order.
2, 1, b
Let y = 5 + -23. Let g = y - -18. Sort g, -5, -2.
-5, -2, g
Let d = 12 - 3. Suppose -2*f = 2, 0*w - 3*w = 3*f + d. Put w, -0.3, 3/5 in descending order.
3/5, -0.3, w
Suppose -g = 4*j - 3*g, -g = -5*j. Sort 3, -1, j in descending order.
3, j, -1
Suppose -3*t = 2*q + 2*q + 27105, 5*t = -4*q - 45167. Let z = t - -1580414/175. Let g = 2/25 - z. Put -2, -4, g in ascending order.
-4, -2, g
Let d(m) = -2*m**2 + 1. Let a be d(1). Let l be 3 + a/1 + 0. Put -4, 1, l in descending order.
l, 1, -4
Let n be 0/(1 + -1 - 2). Let u(z) = -4*z**3 + z**2 + z - 5. Let t(v) = -7*v**3 + 2*v**2 + 2*v - 9. Let l(h) = 3*t(h) - 5*u(h). Let s be l(2). Sort s, n, 2.
s, n, 2
Let n = -3 - -7. Sort -1, 1, -5, n.
-5, -1, 1, n
Let r(d) = -d**2 - 2*d + 8. Let j be r(2). Sort 3, j, 16 in descending order.
16, 3, j
Let c = -63 - -60. Let k(j) = j**2 - 4*j + 3. Let o be k(5). Sort c, -2, o in descending order.
o, -2, c
Suppose -2*w = -2*b, 5*w - 2*b - 3 = 3. Let f(y) = y**2 - 4*y + 7. Let v be f(3). Sort v, 3, w in descending order.
v, 3, w
Let a = 4 + -6. Sort a, -0.2, 5.
a, -0.2, 5
Let f = -1.8 + 1. Let g = 1 + f. Sort -5, 2/3, g in decreasing order.
2/3, g, -5
Let v = -59 + 53. Sort 2, -4, -5, v.
v, -5, -4, 2
Let o(a) = a**3 - 7*a**2 + 6*a. Let v be o(6). Let p(x) = -x**3 - x**2 - x. Let b be p(v). Sort 4, b, 2.
b, 2, 4
Let m(g) = g**2 - 8*g - 4. Let k be m(8). Let w be ((-20)/25)/(k/10). Suppose -w*y = y - 12. Sort -3, -1, y.
-3, -1, y
Let z = 16.26 + -0.26. Let k = 17 - z. Sort k, -1, 5 in decreasing order.
5, k, -1
Let c = 58/39 - 28/13. Sort 0.2, -2.5, c, -1.
-2.5, -1, c, 0.2
Let j(c) = c**3 + 4*c**2 - 6*c - 2. Let z be j(-5). Put -5, 5, z in increasing order