der.
r, 2/3, s
Let t(l) = -l**2 - 5*l - 1. Let j be t(-3). Sort j, 6, 2 in decreasing order.
6, j, 2
Let z be (-6 - -4 - 0) + -1. Suppose -2*g + 4 = -0*g. Sort g, -7, z in descending order.
g, z, -7
Let a = -40 + 37. Let s = -3 + 10/3. Sort -5, a, s in descending order.
s, a, -5
Suppose 28 = l + 6*l. Sort -1, 0, -7, l in descending order.
l, 0, -1, -7
Let j = -90.1 + 90. Sort j, -1/7, 4/3, -3/2 in decreasing order.
4/3, j, -1/7, -3/2
Let l be (-7 + 5)/((-2)/4). Sort l, -2, 1 in increasing order.
-2, 1, l
Let h = 0.8 - -2.2. Let y = 212/1287 + 2/117. Sort h, y, -1/2 in decreasing order.
h, y, -1/2
Suppose 3*y + 2*k = 15, 2*y = -y - k + 15. Let j be (4/2 - 3)*-4. Sort j, y, -1 in ascending order.
-1, j, y
Let g(q) = -8*q + 3. Let r be g(0). Sort r, 12, 5 in decreasing order.
12, 5, r
Let p be (1 - 3)*2*2. Let h be (p/6)/((-1)/(-3)). Let o be (-1)/2*8/4. Sort o, h, 2 in decreasing order.
2, o, h
Suppose 9 = v - 0*v + o, 3*v - 27 = 2*o. Put v, -6, 1 in decreasing order.
v, 1, -6
Let q = 7 + -2. Sort 0.2, 0.5, q in ascending order.
0.2, 0.5, q
Let k be (-9)/(-3) - (-34)/(-14). Let r be 1/(-3) + (-14)/(-24). Let t = 0.2 - -0.8. Put k, r, t in descending order.
t, k, r
Let b be ((-2)/5)/(12/(-25)). Let c be 1/1 + (-14 - -15). Suppose -4*w + c - 22 = 0. Sort w, -1/4, b in decreasing order.
b, -1/4, w
Let g be 2 + 3/((-3)/(-7)). Sort 0, 4, g in increasing order.
0, 4, g
Let d = 6 + -4. Suppose 4*c + d = 10. Let y be (c/14)/((-3)/9). Sort 0.3, -4, y in ascending order.
-4, y, 0.3
Let i be (-1 - (-3)/1)*-2. Sort i, 4, 5, 3 in ascending order.
i, 3, 4, 5
Let a = 445/12 + -37. Sort a, -4, 3.
-4, a, 3
Let y = 0.1 - -0.9. Let x = y - 1. Put 0.1, -0.2, x in ascending order.
-0.2, x, 0.1
Let d = 59.07 - 55. Let a = d - 0.07. Let p = 0.7 - -0.3. Sort p, 3, a in descending order.
a, 3, p
Suppose -3*v = 5*f - 5, -2*f + 4 = 2*v + 2. Suppose 2*r = -s + f, 8 = 2*r - r + 3*s. Put -3/4, 0.4, r in descending order.
0.4, -3/4, r
Let v(c) = -5*c - 1. Let k be v(-1). Let r(z) = z**2 - 4*z + 1. Let b be r(3). Sort k, b, 0 in decreasing order.
k, 0, b
Let j = 30 + -25. Sort -0.5, 3/7, j in ascending order.
-0.5, 3/7, j
Let q = 14 - -4. Let a = q + -13. Sort 1, -0.3, a.
-0.3, 1, a
Suppose 5*g + 12 = -8. Sort g, -3, 3 in increasing order.
g, -3, 3
Let z = 225/14 - 33/2. Put -28, z, -1 in increasing order.
-28, -1, z
Let j = 5.6 - 6. Let o(c) = c**3 + 9*c**2 - 11*c - 5. Let g be o(-10). Put j, g, 3 in descending order.
g, 3, j
Let w = 20 - 16. Sort w, 0.4, 5 in ascending order.
0.4, w, 5
Let g = -7.81 - 0.19. Let q = g - -4. Let h = q + 4.3. Put 1, -4, h in decreasing order.
1, h, -4
Let t be (-4)/(-1 - (-32)/(-4)). Let u = -3.5 - -0.5. Sort u, -4, t in decreasing order.
t, u, -4
Suppose -q - 3*h - h = -17, 5*q + 5*h - 25 = 0. Let b(y) = y**2 + 6*y + 4. Let r be b(-4). Sort q, r, -5 in descending order.
q, r, -5
Suppose -9*l + 4 = -10*l. Sort 15, l, 2, 4 in decreasing order.
15, 4, 2, l
Let t be -2*2/12 + (-125)/(-15). Sort 3, -2, t, -3 in decreasing order.
t, 3, -2, -3
Let w = 6 + -5. Let x = 1.5 - w. Let z = 1 - 0.7. Sort x, z, 5/6 in ascending order.
z, x, 5/6
Let i be (-1 - (-2958)/10)/8. Let s = i - 145/4. Suppose 2*q = -q. Sort 0.3, q, s in descending order.
s, 0.3, q
Let z = -105 + 108. Put z, 2, -4, -2 in descending order.
z, 2, -2, -4
Let h be 1/6*3*6/(-15). Put h, 1/6, 8 in decreasing order.
8, 1/6, h
Let g = 98 - 97. Sort -3, g, -1, 6/5.
-3, -1, g, 6/5
Let x = -4.89 + -0.11. Sort x, 4, 2/3 in descending order.
4, 2/3, x
Let y = 52 - 51. Put -9, y, -3/2 in descending order.
y, -3/2, -9
Let r(s) be the third derivative of -s**4/24 + s**3/6 + 2*s**2. Let q be r(-2). Put 2/5, q, -4 in descending order.
q, 2/5, -4
Let r = 0.09 + -0.2. Let g = 6.11 + r. Let o = g - 3. Put o, -0.3, 5 in decreasing order.
5, o, -0.3
Let w(n) = 2*n**2 - 2*n + 1. Let p be w(1). Let l be p - (-4)/(-68)*19. Put -1, l, 5 in ascending order.
-1, l, 5
Let q = -2 + 1.85. Let r = q - -0.35. Sort 2/23, -0.2, r in descending order.
r, 2/23, -0.2
Let s = -19 - -14. Sort s, -1, 3, 5.
s, -1, 3, 5
Let v = 7 + -6. Suppose -5*r + 0*r + 65 = 0. Suppose 3*q - v + r = 0. Put 0, q, 2 in decreasing order.
2, 0, q
Let j be 2 + -1*18/15. Let n be 3 + (-1)/(-1)*-2. Put j, n, -2/9 in ascending order.
-2/9, j, n
Let c be 28/(-30) - 3/(-5). Let o = -9.91 - 0.09. Let l = o - -15. Put c, l, 3 in decreasing order.
l, 3, c
Let s = 0.069 - -0.931. Let r(m) = -m**2 + 8*m - 7. Let i be r(6). Let g(y) = -y**3 + 4*y**2 + 4*y. Let f be g(i). Sort 0.1, s, f in descending order.
s, 0.1, f
Suppose -k - 12 + 14 = 2*c, 5*k - 3 = -3*c. Sort -2, c, -0.1, -4 in ascending order.
-4, -2, -0.1, c
Let s(d) = d**3 - 6*d**2 - 6*d - 2. Let j be s(7). Let i = 6 - j. Put i, -1, -3 in increasing order.
-3, -1, i
Suppose m + 4*m = 65. Suppose o + 5*k = -o - 14, -o - 4*k = m. Suppose 3*f + i - 1 = 0, 0 = 4*i - 6 + 2. Put 5, o, f in decreasing order.
5, o, f
Suppose -4*t = -5*r - 8 + 43, -3*r = 3*t + 6. Let z be t/(-3 - (1 - 2)). Let i = -6 + 4. Sort z, -3/4, i in decreasing order.
z, -3/4, i
Let l = -17 - -4. Put l, 2/5, -2/5 in decreasing order.
2/5, -2/5, l
Let s = 0.2 - 0.2. Let d = -0.72 - 0.08. Let v = 1 + d. Sort v, -2, s in descending order.
v, s, -2
Let u = -17 + 14. Sort -5, 0, u in ascending order.
-5, u, 0
Let t = -35.5 - -35.3. Let i be (-27)/5 - 4/(-10). Sort t, i, 5 in increasing order.
i, t, 5
Suppose u - 10 = -19. Let h be (1/5)/(u/(-45)). Sort 5, h, -4 in increasing order.
-4, h, 5
Let l = 14 + -9. Let b = 34 - 34.3. Put b, l, 1 in descending order.
l, 1, b
Let k(t) = -t**2 + 7*t + 5. Let z be k(7). Let b be -1 + 1 + 2/1. Suppose 0*q = 4*l - 5*q - 1, -l + 2*q - 2 = 0. Sort b, l, z in descending order.
z, l, b
Suppose -9 = -5*m - l, -m - 2*m = -5*l - 11. Let f be (2/4 + 2)*-2. Let a(c) = -c**3 - c + 3. Let j be a(0). Put m, j, f in descending order.
j, m, f
Let x = 13 - 12.6. Let o = 39/146 + -149/6570. Let u = o + -2/45. Sort u, 0.1, x in increasing order.
0.1, u, x
Let s = 3.573 + 108.347. Let b = s - 115. Let k = b - -0.08. Sort k, 5, -0.2 in decreasing order.
5, -0.2, k
Suppose -2 - 17 = 19*k. Sort 5, -3, 0, k in descending order.
5, 0, k, -3
Suppose -q - 2*q = -9. Suppose q*f = -0*f - 12. Put 2, f, 7 in decreasing order.
7, 2, f
Let j be (3/2)/(15/(-40)). Sort j, -1, -3.
j, -3, -1
Let u = -38 + 38.4. Put u, 2, 8 in descending order.
8, 2, u
Let j(t) = t**3 + 4*t**2 - 7*t - 2. Let o be j(-5). Let a be o/(-21) + (-2)/7. Let u = -255 - -3317/13. Put 2, a, u in ascending order.
a, u, 2
Let p be 4/3 - (-1)/(-3). Let c be (2 - (-36)/(-16))*(-14 - -2). Sort 4, p, c.
p, c, 4
Suppose 4*f + 23 = -n + 90, -5*f = 2*n - 86. Suppose -5*i + i = -f. Suppose 0 = -2*q + i*q - 2*r - 8, r + 12 = 3*q. Sort -1, q, -2 in decreasing order.
q, -1, -2
Let g be (-38)/14 + 4/(-14). Suppose -2*k - k = -6. Suppose -k*j - j - 15 = 0. Put 3, j, g in descending order.
3, g, j
Let c(b) = -b**2 - 9*b + 6. Let u be c(-10). Put 2, u, 3 in ascending order.
u, 2, 3
Suppose -4*q = -0*q. Let b be (2 + (q - 1))*2. Suppose b*a + 2*a - 12 = 0. Sort a, 5, -4 in increasing order.
-4, a, 5
Let t(s) = 3*s**3 + 7*s**2 - 6*s + 8. Let v(d) = d**3 + d**2 - d + 1. Let y(a) = -t(a) + 4*v(a). Let w be y(2). Sort 5, -6, w in decreasing order.
5, w, -6
Let y = -16 - -25. Suppose -4*x = -y*x - 25. Sort 2, 4, x in ascending order.
x, 2, 4
Let x(i) = -4 + 4 + 7*i + 3*i. Let o be x(-1). Put o, -2, 5 in increasing order.
o, -2, 5
Let m(g) = -g**2 - 4*g. Let u be m(-4). Let p = -3 - u. Let h be (-10)/14 - 2/7. Sort -4, h, p.
-4, p, h
Let i(q) = -q + 5. Let m be i(3). Sort -2, -1/3, m in decreasing order.
m, -1/3, -2
Suppose c + 3*s = -20, -5*c + s - 15 = -c. Let w = 4.1 - 4. Suppose -5*o + 29 = -4*y, -3*o = 3*y - 12 - 0. Sort c, w, y in decreasing order.
w, y, c
Suppose 5*n - 9*n = -8. Suppose -2*b + 4 = -5*g, -2 = b - n*b. Sort 4, 3, g in increasing order.
g, 3, 4
Let d = -66/5 - -63/5. Put d, -0.4, 2, 5/4 in decreasing order.
2, 5/4, -0.4, d
Let l be 3 + (-4)/266*237. Let o = l - 1/133. Put o, 5, 1 in decreasing order.
5, 1, o
Let a(v) = -v + 7. Let o be a(-8). Suppose -o = 5*m - 2*m. Sort m, 2, 5 in increasing order.
m, 2, 5
Let h(u) = -2*u + 3. Let a be h(2). Let p = a - -1. Let f(i) = -2*i**2 - 15*i + 51. Let r be f(-10). Sort -1, r, p in descending order.
r, p, -1
Let y(b) = -b