der.
11, v, -3/4
Suppose 0 = 4*s - 873 - 3. Let d = -222 + s. Put 0, d, -5, 15 in decreasing order.
15, 0, d, -5
Let w = -700 + 705. Sort -2, -503, w in increasing order.
-503, -2, w
Let o = 5.1 - 5. Let q = -0.1 - o. Let k = 1321 + -1326. Put q, -0.3, k in decreasing order.
q, -0.3, k
Let a = -0.1 + 0.5. Let z = 64 + -193/3. Let w = -28.4 + 28.2. Put z, a, w, 5 in decreasing order.
5, a, w, z
Let o = 5744 - 5752. Sort -6, -3, 1/4, o in descending order.
1/4, -3, -6, o
Let k = 4 - 2. Let c = -2024 + 2023.8981. Let j = -1.1019 - c. Put -3, k, j, -4 in ascending order.
-4, -3, j, k
Let m be 5/(-3)*(-1 - -4). Let h be (-5 - (1 + -1)) + 2. Let x = -411 + 410. Put h, m, x in decreasing order.
x, h, m
Let y = 2 + -2.33. Let c = -22.817 - -20.817. Suppose 8 = -3*a - a - 4*q, -4*a + 3*q + 6 = 0. Sort a, c, 2, y.
c, y, a, 2
Let q = -154 - -154. Suppose q = 2*n + 45 - 53. Let z be -2 + (-9)/4*-1. Sort n, 5, -4/3, z in decreasing order.
5, n, z, -4/3
Let m(f) = 41*f + 326. Let u be m(-8). Suppose c = -5*b + 4, -3 - 1 = -b + 3*c. Let t = -21 + 21.13. Sort t, u, b in increasing order.
u, t, b
Let o = -7652 - -7636. Sort o, 2, -10, 1 in descending order.
2, 1, -10, o
Let d(m) = -2*m**2 + m + 2. Let a be d(2). Suppose -1 = o + 2*s, -3*o + 23*s = 28*s + 3. Sort 5, a, o in descending order.
5, o, a
Let a = 1783 - 1929. Put a, -4, 6 in decreasing order.
6, -4, a
Let a = -2.94 + -0.06. Suppose l + 2*f - 21 = 0, -6*l + 7*l + 4*f - 31 = 0. Suppose -c + 3*w = -l, 0*c - w = 3*c + 7. Sort 0.2, c, a, 4 in decreasing order.
4, 0.2, c, a
Let r(t) = -2*t**3 + 7*t**2 + 20*t + 3. Let z be r(-2). Put 15, 0.1, -3/5, z, 3/7 in ascending order.
-3/5, 0.1, 3/7, z, 15
Let m be -1 + (-29 - (-1 - -1)). Let y(q) = 5*q**2 - 45*q + 45. Let v = 517 + -509. Let d be y(v). Put 4, m, d in descending order.
d, 4, m
Let w = -4714 - -4562. Put -3, w, 4, -1, -2 in descending order.
4, -1, -2, -3, w
Let i = 49 + -82. Let z = -28 - i. Let o(u) = -3*u**2 + 14*u - 1. Let g be o(z). Sort 3, g, 5, 1.
g, 1, 3, 5
Let y(d) = d**2 - 3. Let l be y(3). Let g be (-10)/(-15) + (-2)/l. Let n be -34 - -31 - (-85)/30. Put -1/9, n, 2/3, g in ascending order.
n, -1/9, g, 2/3
Let p be 20*((-44)/(-15) - 4/3). Let s(a) = a**2 - 41*a + 292. Let h be s(p). Let w = 0.2 - -3.3. Put -0.2, w, h in increasing order.
-0.2, w, h
Let r(l) = -l**2 + 5*l + 10. Let w be r(6). Suppose 3*c = -u - 14 - 14, 0 = 4*c - w*u + 16. Let h = -1 - 2. Sort 0, -4, c, h in descending order.
0, h, -4, c
Let m(c) = c**3 + 7*c**2 - c - 8. Let j be m(-7). Suppose -a - 7 + 17 = 0. Suppose 10 = 24*v - 38. Sort v, a, 3, j in decreasing order.
a, 3, v, j
Suppose -34*g + 490 = -29*g + 5*c, -3*c = -15. Suppose -3*l = -6 - 6. Put 0, g, -1, l in increasing order.
-1, 0, l, g
Let z = 20 - -16. Suppose -76 = -14*v + z. Let u be (-1)/v*-38 - (-9)/(-12). Sort u, -2, -5, 2.
-5, -2, 2, u
Suppose 28 = -15*d - 197. Let l(g) = g**3 + 16*g**2 + 17*g + 30. Let w be l(d). Sort -26, 5, w.
-26, w, 5
Let y = 267 + -163. Let h = y + -524/5. Sort 0.2, h, 17, -5 in ascending order.
-5, h, 0.2, 17
Let h be (4/12)/(2/420). Let x be (-60)/h*(3 + 22/(-5)). Put 12, 2, -3, x in decreasing order.
12, 2, x, -3
Let a = 26 + -23. Suppose 4*r - 7 + 0 = a*g, -2*r + 2*g + 4 = 0. Sort 4, -2, r, 0 in ascending order.
-2, 0, r, 4
Let a(k) = -k**3 + 23*k**2 - 43*k + 29. Let p be a(21). Suppose p = 3*c - 4. Suppose 3*q + 0*q = -z + 17, c*q - 30 = -5*z. Put 0, q, 9, 1 in increasing order.
0, 1, q, 9
Suppose 0 = o + 2*o - 15. Suppose -1 = 3*a + 8, 5*j = 4*a - 3. Sort o, -17, j in increasing order.
-17, j, o
Let w = 104.79 - 104.819. Put w, 2, -4, -0.3 in increasing order.
-4, -0.3, w, 2
Let l = -804472/9 + 89484. Let r = -253 + 155. Let i = r + l. Put -4, i, 0.1, -5 in descending order.
i, 0.1, -4, -5
Let b be (8 - (-256)/(-24))*(-12)/(-40)*5. Let l be ((-1)/3)/(12/9). Put b, -0.1, l in decreasing order.
-0.1, l, b
Let k = -137.102 - -135.102. Let u(l) = -l**2 - l. Let p be u(0). Let c(t) = t. Let m be c(p). Put m, -0.1, k in descending order.
m, -0.1, k
Let w(m) = -m**3 - 16*m**2 + 5*m + 77. Let z be w(-16). Put 184, z, -2 in descending order.
184, -2, z
Suppose 33*k + 17 - 21 = -4. Put k, -13082, 5 in decreasing order.
5, k, -13082
Let s = -2.518 + 2.618. Sort -3, s, 2, 384 in ascending order.
-3, s, 2, 384
Let s(c) be the third derivative of 0*c + 1/24*c**4 + 18*c**2 - 1/120*c**6 + 23/60*c**5 + 0 - 11/3*c**3. Let m be s(23). Put 0, m, 5 in descending order.
5, m, 0
Let q = 54 + -34. Let w = q - 19. Put w, -2/9, 8 in decreasing order.
8, w, -2/9
Let q(h) = -h**3 + 138*h**2 - 1279*h - 105. Let y be q(128). Sort -8, -3, 3, y in increasing order.
-8, -3, 3, y
Suppose -s + 2 = 3. Let n be (-4)/5 + ((-11088)/210)/44. Sort 4, 0, n, s in descending order.
4, 0, s, n
Suppose -8 = -d + f - 27, 4 = -d - 4*f. Put 3, 4, d, -4, -12 in decreasing order.
4, 3, -4, -12, d
Suppose -2*l = -4*s + 20, 2*l - 4 = -4*s - 0*l. Put -3, s, 3/10, 51 in increasing order.
-3, 3/10, s, 51
Let n be -6 - (19/(-6))/((-20)/(-40)). Let f(o) = -o + 18. Let q be f(15). Sort 81, q, -1/5, n in ascending order.
-1/5, n, q, 81
Let s = 1.006 + 0.994. Put 7540, s, -5 in descending order.
7540, s, -5
Let b be 0 + (-9 + (-51)/(-6))/(3/2). Put 1, 2, -1.1, b, -0.1 in increasing order.
-1.1, b, -0.1, 1, 2
Let k be ((-18)/15)/(3/(-15)). Suppose 183 = -190*v + 296 - 873. Put k, v, 4 in descending order.
k, 4, v
Let x = -112 + 113. Suppose -x = 2*c - 3. Let r(n) = -n**2 + 2. Let t be r(-2). Put 5, t, c, 0 in increasing order.
t, 0, c, 5
Suppose -15 = k - 13. Let p be (5 - -1)/(4 + k + -4). Suppose 1 = -3*s + 4. Sort s, -1, 0, p in descending order.
s, 0, -1, p
Let t = 0.3589 - -1.6411. Sort -1, -72, -2/13, t in increasing order.
-72, -1, -2/13, t
Let c = -15.2 + 15. Let q be 192/(-700)*(-120)/(-48) + 4/14. Sort 10, c, -2/11, q in ascending order.
q, c, -2/11, 10
Suppose 8 = -3*k - 2*d, -30 = 4*k - 5*d - 4. Let t(c) = -3*c + 74. Let o be t(23). Sort o, -2, -3, k.
k, -3, -2, o
Suppose -23*f + 863 - 58 = 0. Let q(j) = j - 32. Let d be q(f). Sort 2, d, 0 in ascending order.
0, 2, d
Let g(q) = -q**3 + 52*q**2 - 95*q - 247. Let y be g(50). Put -381, 3/4, -2/3, y, 5 in descending order.
5, y, 3/4, -2/3, -381
Let y be ((-18)/7)/(2*1/154). Put 2, y, 3 in ascending order.
y, 2, 3
Let v = 215 - 196. Let p = v - 19.1. Let t be 2/(-3) - (-16)/30. Put 0, t, 0.5, p in descending order.
0.5, 0, p, t
Let p = -3 + 1. Suppose -1216*v = -3804 + 185 - 29. Sort v, 5, p, 2.6 in increasing order.
p, 2.6, v, 5
Let t = 21470 - 21473. Sort t, -2, 5, 6, -9 in increasing order.
-9, t, -2, 5, 6
Suppose 6*s + 550 = -17*s + 33*s. Put 4, -3, -5, s in increasing order.
-5, -3, 4, s
Suppose 5*s = -2*z + 5 - 36, -5*s = 3*z + 34. Let b = 179 - 177. Suppose -56*c - b = -55*c. Put c, 0, -4, s in decreasing order.
0, c, -4, s
Let j(d) = 13*d - 7. Let o be j(-5). Let l(i) = -196*i + 1099. Let w be l(6). Let m = o - w. Put m, -1, -0.01 in descending order.
m, -0.01, -1
Let y = -170.1 + 7.1. Let g = 163.2 + y. Sort 0, 0.01, 3, g.
0, 0.01, g, 3
Let n = -852.6 - -853. Let f = 7831/25242 - 3/4207. Let v = -1/42 - f. Sort n, v, -2/5, 0.5.
-2/5, v, n, 0.5
Let g be -3*(3 - (-2)/18*-25). Let b = 37 - 36.6. Sort -2, g, b, 0.1 in increasing order.
-2, g, 0.1, b
Let g = 256 - 252. Suppose -9*l = 5*h - 4*l + 45, -g*h + 4*l - 12 = 0. Put h, 4, 0.1, 1 in ascending order.
h, 0.1, 1, 4
Let z be 1/((-4)/3)*-4. Let u(q) = 14*q**2 + q - 1. Let o be u(-1). Suppose -l - z*l = -o. Put -2, 1, l, -5 in ascending order.
-5, -2, 1, l
Suppose 2*h = -16*q + 11*q - 8, -4*h + 3*q + 10 = 0. Sort -4, h, 2, -2, -2132 in decreasing order.
2, h, -2, -4, -2132
Let g(k) = -3*k**3 - k**2 + k + 1. Let x be g(-1). Suppose -2921*i + 3075*i = 462. Put x, -8, i, 0 in decreasing order.
i, x, 0, -8
Let z = -50 - -45. Let b = 971.3 + -971. Put b, z, 36/5, 0.2 in decreasing order.
36/5, b, 0.2, z
Let w = -68918/4095 + 848/45. Let n = w + -34/39. Sort n, 0.4, 4.
0.4, n, 4
Let j(l) = -5*l - 65. Let y be j(-20). Suppose y = 3*z + 32. Sort z, -2/3, -5, 2 in decreasing order.
2, z, -2/3, -5
Let i = -899 - -896. Let l = -706/9 + 78. Put -1/2, 2/13, i, l in decreasing order.
2/13, l, -1/2, i
Let t = -1.34 - 105.66. Let z = t + 107.1. Let i = 40.5 - 40. Sort z, i, -1/5, -4/3 in ascending order.
-4/3, -1/5, z, i
Suppose -48*f + 