n ascending order.
-10, u, 7
Let p(l) be the first derivative of -l**4/4 + 4*l**3/3 - l**2 - l + 8. Let o be p(3). Suppose 0 = -o*b - 6 + 4. Put b, 1, 2 in descending order.
2, 1, b
Let s = 668 + -673. Put 21, 4, s in decreasing order.
21, 4, s
Let x = -387 - -389. Sort -74, -2, x in decreasing order.
x, -2, -74
Suppose 65*b = 58*b + 182. Put -1, 2, b, -5 in descending order.
b, 2, -1, -5
Let p(b) = 2*b - 10. Let y be p(6). Suppose -2*q = -3*u - 52, u - y*u = -3*q + 64. Sort q, 2, -2.
-2, 2, q
Let d = -332 - -330. Sort d, -6, -0.2.
-6, d, -0.2
Suppose 0 = 2*m - 5*z, -2*m + 5*m - 3*z = 0. Let a = -104 - -107. Sort m, -5, -2, a in increasing order.
-5, -2, m, a
Let b = -0.03 + 0.07. Let q(o) = o**3 + 19*o**2 + 18*o - 2. Let w be q(-18). Sort 1, b, 0.3, w in descending order.
1, 0.3, b, w
Let q = -0.977 - -0.577. Sort q, -9, -1/2.
-9, -1/2, q
Suppose 0 = -2*z - 4*d - 10, -3*z - 3*d - 4 = -1. Put 15, 53, z in descending order.
53, 15, z
Let t = -32 + 27. Let z = -0.124 + 0.624. Put t, -3, -4, z in descending order.
z, -3, -4, t
Let y = -0.073 - 0.027. Put y, 46, 0 in decreasing order.
46, 0, y
Let x = 5401 - 5400. Let t = 0 - 0.1. Sort -5, x, 5, t in decreasing order.
5, x, t, -5
Let k = 29 + -28.95. Let v = 7 + -7.2. Put 1/4, k, v in descending order.
1/4, k, v
Let y = 584 - 584.2. Sort 3, -0.1, y, 9 in descending order.
9, 3, -0.1, y
Let i(l) = l - 13. Let s = 75 - 63. Let y be i(s). Let n(m) = 3*m**3 - 1. Let t be n(1). Sort 4, t, y.
y, t, 4
Let b = -177 - -98. Let f = -79.2 - b. Put 13, f, 1/3 in descending order.
13, 1/3, f
Let v(p) = -12*p - 23. Let x be v(-3). Put x, 5, -5, 3 in ascending order.
-5, 3, 5, x
Let r(c) = -c + 13. Let a be r(-10). Let t = -8 + a. Sort 5, t, -3.
-3, 5, t
Let j(p) = p**2 - 2*p - 4. Let g be j(3). Let d(l) = -2*l**3 + 31*l**2 + 10*l + 105. Let a be d(16). Put 4, a, g in decreasing order.
a, 4, g
Let f = -1 + 6. Let r = 0.0269 - -0.9731. Sort 0.4, f, r in descending order.
f, r, 0.4
Let n = -0.9 - -0.73. Let k = 5.17 + n. Put -2/13, -0.4, -0.5, k in increasing order.
-0.5, -0.4, -2/13, k
Let b = 3 + -1. Let y = -7 + b. Let c(z) = -2*z**3 - 3*z**2 + 3*z - 1. Let i be c(1). Put i, y, 1 in descending order.
1, i, y
Suppose -2*b + 2*t = -0*t + 14, -3*t = -b - 15. Sort 5, -2, -5, b.
-5, b, -2, 5
Let y(j) = -2*j + 21. Let k be y(8). Suppose 4*q + 147 = -3*d, -k*q + 5*d - 32 = 143. Let t = 31 + q. Sort 8, t, 5.
t, 5, 8
Suppose -3*l = 3*q - 813, -q - 3*q = -l - 1109. Suppose 0 = 4*d + q - 60. Sort d, -0.3, 0 in descending order.
0, -0.3, d
Let h(x) = -16*x + x**2 + 14 + 5 + 5*x. Let s be h(9). Sort s, -1, 5.
-1, s, 5
Let p = 4 + 0. Let a = p - 0. Suppose -3*u + 3 = 4*v, 3*v - 4 = -2*u - 2*u. Sort -1, a, v in ascending order.
-1, v, a
Suppose -2*q = 2*b + 5 + 11, -q = 5. Sort 19, b, 0 in decreasing order.
19, 0, b
Let c = 5 + -6. Let g = c + 0.5. Put g, 6, -1/3 in decreasing order.
6, -1/3, g
Let u = 1733 - 1736. Sort -14/17, -0.2, -1/4, u.
u, -14/17, -1/4, -0.2
Let t(h) = -2*h**3 + 17*h**2 - 31*h + 3. Let a be t(6). Sort -1/5, -17, a in descending order.
-1/5, a, -17
Let l = 0.341 + 0.159. Put -0.4, l, -8/5 in increasing order.
-8/5, -0.4, l
Let j = 38 - 37. Let i = -2.13 - -0.13. Put j, 1/4, i, 0.1 in decreasing order.
j, 1/4, 0.1, i
Let f be 36/44 + (-2)/(-11). Let t(g) = 18*g + 212. Let c be t(-12). Sort -1, f, 5, c in decreasing order.
5, f, -1, c
Let p(f) = -f**2 - 4*f + 1. Let a be p(-3). Suppose a*r - r = 0. Suppose -q = -r*q. Put -0.3, -1, q in descending order.
q, -0.3, -1
Let f = 1115.7 - 1172. Let p = -61 - f. Let z = p - 1.3. Put -1, z, -2 in decreasing order.
-1, -2, z
Let d = -1449 + 1448. Put d, 2/7, -0.2, -1.05 in increasing order.
-1.05, d, -0.2, 2/7
Let p = -185/141 - 1/47. Sort 2/9, p, -5/6 in ascending order.
p, -5/6, 2/9
Let p = 10 + -14. Sort -2, 2/7, -2/11, p.
p, -2, -2/11, 2/7
Let c(g) = -3*g + 10. Let h(u) = 7*u - 21. Let s(m) = -9*c(m) - 4*h(m). Let n be s(-3). Sort -5, n, 4 in descending order.
4, n, -5
Suppose 6*g - g + 40 = 0. Let a be 21/7 + (-673)/g. Let i = 87 - a. Sort i, 2/5, 2/3 in increasing order.
i, 2/5, 2/3
Let y = -30.6 + 32. Let h = -24.2 - -25.2. Sort -2/17, y, h, 0.2 in ascending order.
-2/17, 0.2, h, y
Suppose -3*n - 123 = -4*g + 2*n, 4*g = 4*n + 128. Let u = g + -39. Sort -5, 6, 3, u in decreasing order.
6, 3, u, -5
Let c = 699 + -700. Sort 5, -0.438, 2/11, c in descending order.
5, 2/11, -0.438, c
Let y be (-10575)/425 - -25 - (98/(-17))/2. Let v be 1 - (6/(-7) - -2). Let q(l) = l. Let m be q(1). Sort y, v, m in descending order.
y, m, v
Let g = 3.826 - -0.174. Sort g, 5, 3.7, 2 in descending order.
5, g, 3.7, 2
Suppose 16 = 47*y - 31*y. Sort -3, y, 5, 0 in increasing order.
-3, 0, y, 5
Let t = -37665/704 + 588/11. Let u = t + 11/64. Let p = -0.6 - -0.5. Sort 0, p, u in decreasing order.
u, 0, p
Let k = 10 + -15. Suppose 0 = 4*w + 7*w + 44. Put -1, w, 4, k in decreasing order.
4, -1, w, k
Let h = 5 - 7. Let u = 10.9 - 11. Put 1, h, u in ascending order.
h, u, 1
Let q be 1290/(-240) + (-9)/(-24). Let x = -0.3 + 0.6. Put q, x, 2 in decreasing order.
2, x, q
Suppose 17*r = 23*r - 12. Suppose -r*f + 63 = 57. Sort -2/11, -0.3, f, -3/7 in decreasing order.
f, -2/11, -0.3, -3/7
Suppose j + 2*g = -4, -g + 2*g + 23 = -4*j. Let h be 7 + 3*j/9. Suppose 2*x + 3*x = -h. Sort 0, 3, x.
x, 0, 3
Let o be 1/(-4) + (-138)/(-8). Let h be -2 + 1/(o/32). Let g(z) = 2*z**3 - 25*z**2 + 19*z - 80. Let b be g(12). Put -1/4, h, b in increasing order.
-1/4, h, b
Let p be (-6*8/(-12))/(-2). Let w = p - -10. Suppose 2 = -5*q - w. Sort 0.1, q, -0.4.
q, -0.4, 0.1
Let p = 132001 + -655306/5. Let q = 943 - p. Let o = 58/15 - q. Put o, 1/4, 3/7 in decreasing order.
o, 3/7, 1/4
Let b be 56/10 + (24/(-40) - 0). Sort -5, b, -15 in descending order.
b, -5, -15
Let y(i) = 7*i + 81. Let k be y(-11). Sort k, -0.2, 31 in ascending order.
-0.2, k, 31
Let n be (-9)/18*4/(-5). Sort n, -5, 2 in ascending order.
-5, n, 2
Let u = -3.4 + 3.8. Let h = -61/2 + 30. Put 3, -0.3, h, u in ascending order.
h, -0.3, u, 3
Suppose -3*a + 2*u - 6 + 0 = 0, -3*u = 2*a - 9. Suppose 4*m = 6*m + 6. Suppose 4*x - 2*i + 28 = -4*i, 8 = -4*x + 3*i. Put x, m, a in descending order.
a, m, x
Suppose 0 = 4*x + 3*n - 48, 0 = -9*n + 4*n. Let a = 3 + -5. Let i be (5/10)/(a/x). Sort -4, 4, i in ascending order.
-4, i, 4
Suppose 6 = -f + 12. Let q = f + -9. Let x(b) = b. Let n be x(q). Sort -8, 4, n in descending order.
4, n, -8
Suppose -5*l + l = -4. Let c be ((-141)/(-15) - (-4)/(-10))*l. Sort c, -0.5, 2 in increasing order.
-0.5, 2, c
Let a = 1.966 + -0.666. Sort -2, a, -0.04 in descending order.
a, -0.04, -2
Let j(v) = v**3 - 4*v**2 - 7*v + 14. Let r be j(5). Let c be (2 - r)*1 - 12/(-2). Sort c, 1, -0.5.
-0.5, 1, c
Let h = -10.85 + 5.85. Sort h, 8, 0.1 in ascending order.
h, 0.1, 8
Let m = 1337 + -1336. Sort -25, -3, m, -1.
-25, -3, -1, m
Let s = 16 - 2. Let n = -17.4 + 31.4. Let z = s - n. Sort 6, z, -4 in descending order.
6, z, -4
Let f = -42 - -46. Let a = 6 + -10. Sort -1/2, f, a in increasing order.
a, -1/2, f
Suppose -a = 4*s + 40, -3*s + a = 2*a + 31. Sort 4, 3, 5, s.
s, 3, 4, 5
Let z = -8 - -11. Let d = -1566 + 1563. Put 0, 5, d, z in increasing order.
d, 0, z, 5
Let j = -5 + 8. Suppose j*a - 4*a = 0. Suppose 0 = -l + 3 - a. Put 5, l, -5 in increasing order.
-5, l, 5
Suppose 2*k - 2*f = -0*k + 10, -3*f = -5*k + 19. Let u(y) = -y**2 + 96*y - 2. Let b be u(0). Suppose -3*t - 4 = 8. Sort k, b, t in descending order.
k, b, t
Suppose 0 = -24*q + 81 - 297. Sort -10, q, -0.4 in ascending order.
-10, q, -0.4
Let v be ((-21)/9 - -1)*5/40. Sort -0.24, 4, v, -0.5.
-0.5, -0.24, v, 4
Let u = -282.1 + 221.1. Sort -2, u, 4/5, -1 in descending order.
4/5, -1, -2, u
Suppose -21 + 25 = -d. Sort 3, -3, d in descending order.
3, -3, d
Suppose 65 = 2*d + 59. Suppose -1 = -2*r + d. Put r, -0.3, -3/2 in ascending order.
-3/2, -0.3, r
Suppose -l - 20 = -2*l - 3*i, -4*l + 5 = -3*i. Suppose 0 = -5*a + 13 + 7. Suppose -2*u + 0*u = -a. Put u, -4, l in descending order.
l, u, -4
Suppose 0 = d - 5*k + 2, d - 4*d + 16 = -4*k. Suppose -147 - 53 = -4*x. Let p = x + -49. Sort 2, d, p.
p, 2, d
Let o be (-1)/2 - 26/(-4). Suppose o*s - 2*s + 336 = 0. Let a be ((-12)/s)/((-1)/(-7)). Sort a, -3, 0 in decreasing order.
a, 0, -3
Suppose -5*k = -35 - 25. Let l = -7 + k. Suppose