 Put -1, j, -0.14 in decreasing order.
-0.14, j, -1
Let g(b) = -4 - 2*b - 11 + 3*b + 0*b. Let c be g(13). Sort c, -3, 4 in decreasing order.
4, c, -3
Let h(c) = 3*c + 0*c - 1 + c**2 - 2. Let x be h(-3). Let l be ((-1)/(-14))/(x/(-6)). Sort l, 3, 0.4.
l, 0.4, 3
Let q = 8 + -10. Sort q, -4, 0.
-4, q, 0
Suppose -7*w - 30 = 3*w. Put 3, w, 1 in decreasing order.
3, 1, w
Let r be 2/(-6)*(1 + -10). Let w be (-2)/(-4)*(r - 3). Let f be (-16)/(-8) + w/(-2). Sort f, 4, -4.
-4, f, 4
Let j = -8 + 5. Suppose 4*y = 4*g - 24, 2*y - g - 8 = -4*g. Let r be (0 - y)*(-30)/(-12). Sort 0.2, j, r in decreasing order.
r, 0.2, j
Let q = -1.2 + 1. Sort q, -4, 0.5 in ascending order.
-4, q, 0.5
Let f = 48.4 - 54. Let i = 6 + f. Sort 3, i, -1/5 in ascending order.
-1/5, i, 3
Let a be (2/(-4))/((-14)/140). Sort 3, a, -4.
-4, 3, a
Let h(f) = -f**2 - 11*f + 10. Let v be ((-12)/(-18))/((-1)/18). Let d be h(v). Put 0.06, 2/9, d in ascending order.
d, 0.06, 2/9
Let t be (2/4)/(1/(-6)). Put -4, -10, t in increasing order.
-10, -4, t
Let s be 39/5 + 1/5. Let u be 16/(-6)*12/s. Put -1, 1, u in descending order.
1, -1, u
Let g be ((-5)/(10/8))/(-1). Suppose 1 = -g*p - 3. Put p, 1, -2 in decreasing order.
1, p, -2
Suppose 3*d - 4*d - 2 = 5*i, 5*d + 4*i - 11 = 0. Suppose l - 10 = d*l. Sort 0, l, 5 in increasing order.
l, 0, 5
Let y = -1.6 - -1.4. Sort 0, y, 1/4 in descending order.
1/4, 0, y
Let s = -10 + 6. Let i = 19.5 - 15. Let y = i + s. Sort 3/5, y, -0.1.
-0.1, y, 3/5
Let u(i) = -i + 5. Let m(h) = 1. Let s(q) = 6*m(q) - u(q). Let b be s(-6). Sort b, -0.5, 0.2.
b, -0.5, 0.2
Let u(h) = h - 2. Let o be u(5). Put -2, -4, o, 1 in increasing order.
-4, -2, 1, o
Suppose -4*u + 1 = -3*r, 4*u + 7 + 4 = -r. Sort -5, u, 2 in increasing order.
-5, u, 2
Let u(h) be the third derivative of h**6/120 - h**5/12 + h**4/24 - h**3 - h**2. Suppose 0 = -4*p + 2*y + 20 - 4, -4*p - y + 22 = 0. Let i be u(p). Sort 4, i, 5.
i, 4, 5
Let g = -30.62 - -31. Let t = g + -0.08. Sort -2, t, -4.
-4, -2, t
Let w = -1.122 + 0.122. Let y = 0 - 0. Sort y, -2/3, w in descending order.
y, -2/3, w
Let p = -6 + 11. Suppose 0 = 2*q - p*q. Let d(r) = -2*r**2 + r + 1. Let b be d(2). Put -3, q, b in descending order.
q, -3, b
Suppose 4*i + 3 = -f + i, 2*i = f - 7. Put f, -0.2, -2/15 in descending order.
f, -2/15, -0.2
Let x = -4 - -7. Let l = x - 8. Suppose -j = 6*m - m - 19, 2*m - 5*j - 13 = 0. Sort l, m, 5 in ascending order.
l, m, 5
Let k = 1.17 + -1.21. Put -0.2, -0.5, k, 2/7 in increasing order.
-0.5, -0.2, k, 2/7
Let w = -146/3 - -47. Let v = -158 + 163. Sort w, v, -0.4.
w, -0.4, v
Let z(n) = 3*n - 1. Let d(x) = -7*x + 2. Let t(h) = -6*d(h) - 13*z(h). Let r be t(1). Suppose 5*p - 20 = 5*j, -j + 3*j = -10. Sort 1, r, p in increasing order.
p, 1, r
Suppose -4*w - 4*u = 28, 3*w - 3 = -4*u - 29. Let z(m) = m. Let j be z(w). Suppose -5*d = -0*d. Put j, d, -3 in increasing order.
-3, j, d
Let v be (-10)/3 + 3/9. Let y = -13 - -12. Sort -2, v, y in ascending order.
v, -2, y
Let h be -2 + 2*45/48. Let j = -15 - -23. Let a be j/28 - 34/70. Put 5, h, a in decreasing order.
5, h, a
Suppose -1 = 7*z - 8. Put -0.4, -2, z in decreasing order.
z, -0.4, -2
Suppose -4*r + 17 = 21. Sort 0, 0.5, r, 2 in descending order.
2, 0.5, 0, r
Let u(z) = -z. Let y be u(-1). Suppose 2*s = -8 - 2. Let k = s + y. Put k, 0, 1 in descending order.
1, 0, k
Suppose s = -4*s + 20. Let v(c) be the third derivative of -c**5/60 + c**3/3 - 5*c**2. Let b be v(-2). Sort b, s, 2 in decreasing order.
s, 2, b
Suppose 0 = -4*f + 8*f - 8. Put f, 1/5, 1/3 in descending order.
f, 1/3, 1/5
Let c = 14 - 71/5. Let d = 3/143 + 23/143. Put d, -0.3, c in ascending order.
-0.3, c, d
Let v = 3.91 + 0.1. Let o = -0.01 + v. Let b = o + -3. Put 1/4, b, -0.2 in decreasing order.
b, 1/4, -0.2
Suppose -4*b + 2*b - 4 = 0. Let d = 19 - -4. Suppose 5*c + 2 = -d. Sort b, -3, c in descending order.
b, -3, c
Let m = 207602/31 - 6698. Let k = 61/186 + m. Let g = -679/65 + 53/5. Sort g, 0.1, k in descending order.
g, 0.1, k
Let s = 0.0806 + -0.5806. Let h = 139/364 + -5/52. Sort h, 5/6, s in descending order.
5/6, h, s
Let p = 1.76 + -4.76. Put p, -0.2, -2/3, -1 in increasing order.
p, -1, -2/3, -0.2
Let r = -0.086 - 3.914. Sort -0.2, r, -1/2, -2/23.
r, -1/2, -0.2, -2/23
Let i = 41/65 - 3/13. Put i, -0.5, 4, -1 in increasing order.
-1, -0.5, i, 4
Suppose -3*u + 2*u = 0. Let q = -1 + 6. Suppose -17 + q = 4*l. Put u, 2, l in descending order.
2, u, l
Let q = 4 + -1. Suppose c - s + 4 = 1, 0 = -c - q*s + 17. Suppose -2*o + o - c = -5*v, 4*o = -v + 13. Put -5, o, -2 in descending order.
o, -2, -5
Let j = -1 - -1.4. Let d = 3.3 - 3. Let x = j - d. Sort x, -4, -2 in decreasing order.
x, -2, -4
Suppose c = -2*x - 3, -5*x - 5*c + 2 = 17. Put x, -2/9, -2 in ascending order.
-2, -2/9, x
Let f be 0 - (-4 - (-12)/4). Put -3, f, 3 in descending order.
3, f, -3
Let d = 0 - -1. Let c = d - 1.1. Let k = -61 + 65. Put k, c, -4 in increasing order.
-4, c, k
Suppose 10 = 2*l + 2. Suppose 0 = 5*m - 4*h - 41, 0*m + m = 3*h + 17. Suppose -4*n + 2*n = 2. Sort m, n, l in increasing order.
n, l, m
Let v be 0 + 1/((-1)/(-1)). Let o = -16 - -16. Sort 2/9, v, o.
o, 2/9, v
Let g = 3 + -3.3. Let p = g + 0.2. Let j = p - -1.1. Sort -4, -0.4, j in increasing order.
-4, -0.4, j
Let m be 3*(-4)/(4 - 0). Put m, 4, 3 in descending order.
4, 3, m
Let d = 2.8 + -2.5. Let v = -11 - -15. Sort v, -1/8, d.
-1/8, d, v
Let m be 85/15 + (-14)/21. Suppose 4*o + 8 = -12. Sort -4, o, m in decreasing order.
m, -4, o
Suppose -4*h + 3 = -13. Let j = 1 + 12. Let k = -8 + j. Sort 3, h, k in ascending order.
3, h, k
Suppose 3*v + 2*u - 8 = 0, 0 = -4*v - v + u + 22. Let h(f) = -f**3 + 5*f**2 - 5*f + 4. Let b be h(v). Suppose m + 2*m = b. Sort m, 4, -2 in increasing order.
-2, m, 4
Suppose o - 4 = -0*o + u, -2*u - 8 = 0. Suppose o = 2*z + 6 - 2. Sort -5, -0.2, z in ascending order.
-5, z, -0.2
Let d = 99 - 104. Sort d, -0.2, 5, 3.
d, -0.2, 3, 5
Let q = -3 + 7. Let g = 9 - 2. Let v = g - 11. Put 0, q, v in increasing order.
v, 0, q
Suppose -m + 14 = -3*w, 0 = -m + w - 1 + 9. Let y = -10 + 7. Sort y, m, 1 in descending order.
m, 1, y
Let v = 12 + -61/5. Let q = -16 - 6. Let o be -2*(2 + q/12). Sort o, -4, v.
-4, o, v
Let k = -3 - -12. Suppose 0 = -5*t - 2*s + 4, k*t - 8 = 4*t - 4*s. Suppose -14 = 4*r - 6. Put r, t, -3 in decreasing order.
t, r, -3
Let d = 1 - 3. Let t = 2 + d. Put 0.3, t, 1/6 in ascending order.
t, 1/6, 0.3
Let q = 0.22 + 0.78. Sort 2, q, -1 in descending order.
2, q, -1
Suppose -5*b + 3*b = -6. Put -4/19, -1, b in increasing order.
-1, -4/19, b
Let t be ((-54)/10 - -5)/((-1)/(-5)). Let a = 0.1 - 0.4. Let n = a + -0.7. Put t, -1/7, n in increasing order.
t, n, -1/7
Suppose -t + 15 = -6*t. Let g(n) be the second derivative of -n**3/6 + n**2/2 - 2*n. Let c be g(3). Put c, t, 4 in decreasing order.
4, c, t
Let h = 81.04 - 79. Let d = -0.14 - -0.18. Let g = d - h. Put g, 1/3, 0 in ascending order.
g, 0, 1/3
Let d be 2 - (-4)/6*3. Suppose -4*w - 8 = -2*w. Sort 3, w, d.
w, 3, d
Suppose 0 = 3*h + h - 12. Suppose -u + h = -0*u. Suppose 3*i + 0*l + 5*l - 3 = 0, 5*l = 0. Sort i, 4, u.
i, u, 4
Let w(s) = s**3 + 6*s**2 - 2*s - 4. Let r be w(-6). Suppose -z = -0*i + 4*i + 8, 4*z - r = 4*i. Let c = -12 - -13. Sort i, c, -4 in ascending order.
-4, i, c
Let s = -110 - -111. Put 0.2, 4, s, -1 in descending order.
4, s, 0.2, -1
Let q = -0.37 + -1.59. Let z = q + -0.04. Let v = 1 - z. Put -5, -2, v in decreasing order.
v, -2, -5
Let s = -439/56 + 54/7. Let f = -0.015 - -7.215. Let a = f - 7. Sort -5, s, a in decreasing order.
a, s, -5
Let l = -42.7 + 43. Put 3, l, 0.4 in increasing order.
l, 0.4, 3
Let i(l) = 1 - 6*l - l**3 + 4*l + 5*l. Suppose 4*p - 2*p = -4. Let k be i(p). Sort -3, 2, k in ascending order.
-3, 2, k
Let u(o) = -o**2 - 3*o - 5. Let s be u(-4). Let g = 19 + -20. Sort g, -4, s in descending order.
g, -4, s
Let y = 1.6 + -1.9. Let u = -18 + 13. Sort u, y, 2/15 in ascending order.
u, y, 2/15
Let d be 796/10 - 4/(-10). Let g = -317/4 + d. Sort 2, g, 1/7 in decreasing order.
2, g, 1/7
Let y be (4*(-1)/(-2))/1. Suppose 16 = -0*h - 4*h, 0 = 4*g - h - 8. Let f be g - (-3)/(-4) - 0. Put y, 5, f in descending order.
5, y, f
Let y = 17 - 22. Sort y, 4, -4.
y, -4, 4
Let t = -16 - -14.8. Let i = -1.2 - t. Sort i, 3/4, -2 in increasing or