 0 = -13*c + l*c. Put c, 2, r in decreasing order.
2, c, r
Let r = -0.39 + 0.79. Sort 2, -32, r in decreasing order.
2, r, -32
Suppose 0 = -2*i - 10 + 2, 28 = -2*h - 5*i. Let l(q) be the third derivative of q**4/24 - 7*q**3/6 - 2*q**2. Let j be l(4). Sort 1, h, j in ascending order.
h, j, 1
Let h = -0.055 + -6.885. Let m = h + -0.06. Put -2/13, m, 4 in descending order.
4, -2/13, m
Let l(i) = -i - 5. Let q be l(0). Let n = 6 - 4. Suppose -3*t - 5 = 4*a, -4*t = -2*a - 6 - n. Sort q, 1, a.
q, a, 1
Let i(m) = m**2 - 6*m - 12. Let r be i(7). Put 2, r, -21 in descending order.
2, r, -21
Let y be 0 + 1 + 1 - -2. Let j be 1/(-4) - (-17)/y. Sort -4, j, 0.
-4, 0, j
Let l be -2 + (1 - (-11)/8). Let k = -1.5 + -7.5. Let y = k + 13. Sort y, l, 0.
0, l, y
Suppose 0 = -2*y + 5*t - 25, -2*t - 6 = 5*y + 13. Sort 4, 3, y in decreasing order.
4, 3, y
Let v = -4.8 - -0.8. Let o = -21 - -40. Let b = o + -17. Put -2/7, v, b in increasing order.
v, -2/7, b
Let i = -6 + 9. Let w(o) = o**3 - 13*o**2 - 16*o + 26. Let r be w(14). Let x be -1 + 1/1 + 1. Sort r, i, x in descending order.
i, x, r
Let h(u) = -5*u**3 - u**2 - 11*u - 4. Let z(j) = -14*j**3 - 3*j**2 - 32*j - 11. Let i(b) = -17*h(b) + 6*z(b). Let v be i(3). Sort v, 1, -4 in ascending order.
-4, 1, v
Suppose -5*x + 5 = 25. Let q be x*(12/8 - 2). Suppose -2*u = -8 - 2. Sort 1, q, u in descending order.
u, q, 1
Suppose -6*k = 7*k + 39. Sort -5, k, 5, 3 in ascending order.
-5, k, 3, 5
Let n = -4 - 2. Let r(b) = b + 3. Let g be r(n). Sort g, 1, 4 in increasing order.
g, 1, 4
Let v = -20 + 17. Sort 0, 1, v in descending order.
1, 0, v
Suppose -2*n - 2*p + 10 = 0, -3*p = 2*n - 8 - 5. Let j be (-1 + -1 + n)/1. Sort 3, j, 2/9 in descending order.
3, 2/9, j
Let u = 1.6 - 4.2. Let k = -0.4 + u. Let b = -7/4 + 5/4. Put -4/5, b, k in increasing order.
k, -4/5, b
Let o(l) be the third derivative of -l**5/60 - l**4/8 - l**2. Let j be o(-3). Suppose d = -5*s + 8, 5*s - 18 = 5*d - d. Sort j, -1/5, d in descending order.
j, -1/5, d
Let y = -0.24 + 0.07. Sort y, -5, 0.5 in ascending order.
-5, y, 0.5
Let c = 8.9 - 9. Put 0.01, c, -2 in decreasing order.
0.01, c, -2
Let v = 26.971 + 0.029. Let o = 28 - v. Sort o, -4, 0 in descending order.
o, 0, -4
Let v = -6 - -5. Sort v, 1, -4, 0 in ascending order.
-4, v, 0, 1
Suppose 0 = -2*u + 5*r - 6 + 20, u = -r - 7. Let c = 9 + u. Put 4, c, 5 in ascending order.
4, 5, c
Suppose -27 + 7 = -4*x. Let r be (x/(-3))/(2/18). Let j = 29/2 + r. Sort j, 2, 0.
j, 0, 2
Suppose 0 = m + 7 - 4. Suppose o - r + 10 - 4 = 0, 2*o + 11 = r. Sort m, o, 0 in ascending order.
o, m, 0
Let p(k) = -k + 19. Let w be p(10). Suppose -w = 5*c + 1. Sort 2, 1/9, c.
c, 1/9, 2
Let u = -7 + 3. Let z = -3 + 4. Suppose 0 = 4*y - 5*r + 27, 0 = -5*y + 4*r - 29 + 2. Sort z, y, u.
u, y, z
Let u = 15 - 11. Let z = 2.5 + -2.8. Put 0.05, u, z in descending order.
u, 0.05, z
Let u = -0.58 - 0.12. Let s = -2.3 + u. Sort 0.1, 0.5, s in ascending order.
s, 0.1, 0.5
Let y be 1*(-3 - (-28)/8)*0. Sort 4, 15, y in ascending order.
y, 4, 15
Let g = -85 + 74. Put -1/4, g, -5 in descending order.
-1/4, -5, g
Let t = -14 - -12. Let i be (-6)/9 + (-5)/(-3). Let r be (6 - i)*(-2 + 3). Sort t, -1, r in increasing order.
t, -1, r
Let p be (-4)/10 - (-4 + 3). Sort -0.2, 0.11, -2/11, p.
-0.2, -2/11, 0.11, p
Let p be (-3)/(15/40) - -4. Sort -1, p, 2.
p, -1, 2
Suppose 0 = z - 2*d - 3 - 2, -1 = -z + d. Sort -13, z, -1 in decreasing order.
-1, z, -13
Let h(g) = -g + 9. Let v be h(5). Let s(p) = -7*p - 3. Let u be s(-4). Suppose u = -v*y - y. Put -2, 3, y in increasing order.
y, -2, 3
Let y = 0.04 - -0.06. Let b = 18 - 19. Put b, y, 4 in increasing order.
b, y, 4
Let m = -4 - -3. Let g = -0.02 + 0.42. Put -0.4, m, g in descending order.
g, -0.4, m
Let y be 0/(-2) + 3 - 1. Suppose -2*z + 8 = -y. Sort -4, -3, z in increasing order.
-4, -3, z
Suppose 0*x + 12 = -4*x. Let v be (-1 + 0)*(1 + -2). Sort v, x, 0.4 in ascending order.
x, 0.4, v
Suppose 0*a = -a - 5. Let b be 1*3 - (-1 + 1). Let u(o) = o**3 + 2*o**2 - 2. Let t be u(-2). Sort b, a, t.
a, t, b
Let a be (-6 - -5) + -3 + 0. Let x = -38 + 44. Put a, 2, x in ascending order.
a, 2, x
Let i = 3 + -6. Let p = 2.9 + i. Sort -4, -0.2, p in decreasing order.
p, -0.2, -4
Let g(b) = 4*b - 12. Let d be g(6). Sort d, 5, 1.
1, 5, d
Let r be -1 - 2/(-14)*6. Let z = -0.64 + 0.04. Let k = 0.2 + z. Sort r, k, 1/6 in descending order.
1/6, r, k
Let k = -0.385 - 0.015. Put k, -2, -4 in ascending order.
-4, -2, k
Let w(d) = -d**3 - d**2 + 3*d + 2. Let r be w(-2). Suppose 4 = -3*q + 7. Sort 2, r, q.
r, q, 2
Let x be 26/(-56) - (1 - (-28)/(-16)). Sort -3, x, 3/8, 3/7 in decreasing order.
3/7, 3/8, x, -3
Let o be 1/(-3 + (-11)/(-4)). Put 0, o, 1 in increasing order.
o, 0, 1
Let r = 56 + -50.3. Let g = r + 1.3. Let y = -7.1 + g. Sort 1/6, y, 3.
y, 1/6, 3
Let n = 32 - 31. Let g = -1 + -4. Put 0, g, n in decreasing order.
n, 0, g
Let r(a) = 26*a**2 - 1. Let g be r(1). Let y = 25 - g. Let i = -10 - -6. Sort 1, i, y in increasing order.
i, y, 1
Suppose 5*o + 30 = -5*k, -4*o = 5*k - 0*o + 25. Let a be (-2 - (-2 + 3))/(-1). Suppose 0 = -a*f - 4*c, -4 = 5*f - c + 19. Put k, 0, f in decreasing order.
0, k, f
Let u = -2 + 1.8. Let q = -1429 - -1424. Put q, u, 0 in decreasing order.
0, u, q
Let c = 18 + -9. Let l = c + -4. Sort 3/5, l, 0.
0, 3/5, l
Let t = 94/133 - 8/19. Put -0.3, t, -1/7 in decreasing order.
t, -1/7, -0.3
Let t = 41085/52948 - 3/1708. Let p = -261/217 + t. Suppose -10 = 5*x, 4*q - x = 3*x + 8. Sort p, 0.2, q in decreasing order.
0.2, q, p
Let q be 2*4/((-2)/1). Let u(y) = 5*y - y**3 + 0*y**2 + 3 - 4*y**2 + 0*y**2. Let h be u(-5). Sort 0, q, h in ascending order.
q, 0, h
Let r = -11.7 + -0.3. Let g = r + 7.5. Let d = 4 + g. Sort 0.2, d, -0.3 in ascending order.
d, -0.3, 0.2
Let w be ((-2)/(-21))/((-2)/432). Let z = w - -148/7. Let j = -22 + 43/2. Sort j, z, -0.2.
j, -0.2, z
Let a(c) = -c**3 + c. Let x be a(-1). Suppose 3 = -g - 2*g. Suppose -z - 3*z + 4 = 0. Put z, g, x in ascending order.
g, x, z
Let i = -0.25 - 4.75. Sort 1, i, -3/8 in ascending order.
i, -3/8, 1
Let d(s) = -4*s + 14. Let k be d(4). Sort k, 25, -3 in increasing order.
-3, k, 25
Suppose 3*j = -f + 8*j + 23, 2*j = 2*f - 14. Sort f, 0, 4 in ascending order.
0, f, 4
Suppose 0 = 9*x - 10*x - 3. Let c be (-6)/10 + 2/(-5). Sort x, 0, c in ascending order.
x, c, 0
Suppose 0*y - 8 = -2*y. Let b = -1 - y. Put -4, b, 5 in descending order.
5, -4, b
Let f = -0.07 + -0.03. Let d = 3.1 + f. Sort 5, 0.1, d in ascending order.
0.1, d, 5
Let q = 18.1 + -3.1. Let c = q + -18. Put 5, -0.1, c in descending order.
5, -0.1, c
Suppose -j + 32 = j. Let d be (j/(-6) - -2)*-3. Let x be 3 + 0 - (1 - 1). Put d, x, -2 in ascending order.
-2, d, x
Let i = 3/197 + -427/2167. Let b = 14.5 - 14. Sort i, 1/4, b.
i, 1/4, b
Suppose -10*p = -11*p + 1. Let l = -2 - -2. Sort l, 4, p in ascending order.
l, p, 4
Let u(g) = g - 20. Let c be u(0). Let s = -41/2 - c. Let f = 11 - 9. Sort f, 5, s.
s, f, 5
Let k = -16 - -4. Let x = -7 - k. Put -4, -1, x in decreasing order.
x, -1, -4
Let p be 14/(-12)*2 + 3. Sort -0.4, -4/3, p.
-4/3, -0.4, p
Let p(t) = 2*t + 1. Let q be p(1). Let v = q - 2. Let w be 5/(-52) - (-2)/8. Put w, v, -5 in ascending order.
-5, w, v
Let g = 0.1 + -0.1. Let r = -14 + 14.5. Sort -3, r, g in increasing order.
-3, g, r
Let g = -2.99 + 3. Let f = -0.49 - g. Sort -1, f, 4/3 in descending order.
4/3, f, -1
Let w = -7 + 10. Let o = w - 7. Let x = -0.1 - 0.1. Sort o, x, -1 in descending order.
x, -1, o
Suppose h + 1 = 4*z, -h - 14 = -6*h + z. Suppose -2*s = 0, 2*q + 3 = -h*s - 1. Let v = -2 + 5. Put v, q, 2 in ascending order.
q, 2, v
Let o = 0.74 - 1.04. Sort 1/2, -0.5, -5, o in descending order.
1/2, o, -0.5, -5
Suppose -17 - 1 = -3*l - 3*a, l = 3*a + 2. Suppose -q + 5*r - r - 1 = 0, 5*q + l*r = 20. Let s be 4 + 0/(0 - q). Put 3, s, -0.2 in decreasing order.
s, 3, -0.2
Let v(r) = 4*r**3 - 5*r**2 + 2*r - 6. Let x(q) = -9*q**3 + 10*q**2 - 3*q + 13. Let g(f) = -7*v(f) - 3*x(f). Let y be g(4). Sort -2, y, 7 in decreasing order.
7, y, -2
Suppose -60 = -5*l - 10*l. Put -0.01, 4/3, -1, l in ascending order.
-1, -0.01, 4/3, l
Let q = 17.75 - 18. Let r = q - -0.85. Put 1, 5, r in ascending order.
r, 1, 5
Let s(z) = z**2 + 8*z - 1. Let a be s(-8). Let p(n) = n**2 - n - 1. Let c b