der.
v, r, 0.02
Let j be (4/8*0 + 0)/4. Put 3, 17, j, 1 in decreasing order.
17, 3, 1, j
Suppose -6 = d - 2*n + 3*n, 3 = 3*n. Sort -15, -1/3, d.
-15, d, -1/3
Let i be ((-27)/(-18))/((-27)/10 + 3). Sort -6, 8, -4, i in descending order.
8, i, -4, -6
Let p = -0.43 + 28.93. Let t = 28 - p. Sort -0.04, 0.2, -0.3, t in decreasing order.
0.2, -0.04, -0.3, t
Let c = -6830/7 - -6960/7. Let d = c - 19. Put -1/6, d, 2 in ascending order.
d, -1/6, 2
Let t = 49 + -49.16. Let z = 0.24 - t. Put 5, 13, z in decreasing order.
13, 5, z
Let j(v) = -v**3 + 11*v**2 - v + 7. Let a be j(11). Suppose -3*y - 4*h = -2*y - 18, -5*y + 2*h + 24 = 0. Let k = a + y. Put 4, k, -5 in ascending order.
-5, k, 4
Let v = 33557 - 4328749/129. Let i = 6/43 - v. Let w(j) = -j - 9. Let h be w(-9). Put -2/5, i, h in descending order.
h, -2/5, i
Let j = 219 - 221. Sort -17, j, 2 in descending order.
2, j, -17
Suppose 0 = 4*l - 19 + 3. Let q be (-3 - (-11)/l)/(6/(-48)). Put 0.5, -0.4, 2/3, q in ascending order.
-0.4, 0.5, 2/3, q
Let t = 1 + 7. Let n = t - -2. Let z = n + -13. Put z, -4, 2 in decreasing order.
2, z, -4
Let f = -15 + 8. Suppose -11*h + 207 - 185 = 0. Sort 3, f, h in decreasing order.
3, h, f
Let b(h) = 26*h - 5. Let y be b(0). Let f(o) = o**2 + o. Let r be f(1). Put r, 1, y in descending order.
r, 1, y
Let r be (-6)/(-60)*45 + (-3)/(-6). Suppose -o - 3*o = -36. Put 2, o, r in descending order.
o, r, 2
Let r = 871.2 + -875. Put 0, 5, r, 0.3 in decreasing order.
5, 0.3, 0, r
Let g(d) = -d**2 + 6*d - 6. Let x be g(4). Suppose 5*n - 2*w = 2*n + 5, 5*w + 21 = -n. Let f = -70 - -74. Sort n, f, x in descending order.
f, x, n
Suppose -3 - 3 = 3*p. Let z = -5 - p. Let i = -250.9 - -251. Sort 0.3, i, z in increasing order.
z, i, 0.3
Let g(t) = 4*t - 1. Let u be g(-1). Let q be ((-3)/(-2))/(6/8). Let b be 2/q + 6/(-3) - 3. Put u, b, -1 in increasing order.
u, b, -1
Suppose -13*l = -g - 17*l, -3*g + 3*l - 15 = 0. Let p = 28 - 25. Suppose 0 = 5*i, 4*i + 5 = 7*j - 2*j. Put j, p, g in descending order.
p, j, g
Let n = 615 - 660. Put n, -0.5, 2 in ascending order.
n, -0.5, 2
Let a = -1001 + 997. Sort a, 0, 120 in decreasing order.
120, 0, a
Let w = -47.972 - 0.028. Let r = -43 - w. Put -3, r, -0.4, -5 in ascending order.
-5, -3, -0.4, r
Let a = -4 - -9. Let y(q) = q**2 + 7*q + 2. Let g be y(-6). Let n be (g/3 + 1)*0. Put -3, a, n in increasing order.
-3, n, a
Let j = -8.8 - -0.8. Let x = j + 7.8. Sort x, -0.5, -2, -0.4.
-2, -0.5, -0.4, x
Let y(a) = -a**3 - 13*a**2 + 2*a + 30. Let i be y(-13). Put -4, -1, 191, i in decreasing order.
191, i, -1, -4
Suppose 7*m + 10 = 9*m - 2*h, 0 = 5*h. Sort m, 13, 1, 3 in ascending order.
1, 3, m, 13
Let q be 3 + 0 + 0 + 0. Let g = 1.1 - 1. Let j be ((-3)/(-20))/((-369)/(-328)). Sort q, j, g.
g, j, q
Let t = -0.6 - -0.9. Let z = -60 + 56. Let s = 37/44 + -1/11. Sort t, z, s in decreasing order.
s, t, z
Let k = 187 - 187. Sort 4, k, 30.
k, 4, 30
Let c be 44/8 - (-3)/2. Let d be 3/4 - 55*(-8)/(-160). Let t = c + d. Sort -5, 4, t in descending order.
t, 4, -5
Let n = 48/17 + -271/102. Let a = -5 + 21. Put a, n, -1/5 in descending order.
a, n, -1/5
Let b = -3.4 - -3. Let y = -14785 + 14784.3. Sort -3, b, y.
-3, y, b
Let y be 0/(2/2 - 2). Let m be (1*-1)/((-18)/648). Let u = m + -37. Put u, y, -5 in ascending order.
-5, u, y
Let g = -27 - -21. Let d = g - -8. Sort -5, d, 3 in descending order.
3, d, -5
Let t(s) = 3*s**2 + 10*s - 5. Let l be t(0). Sort l, 0, 136.
l, 0, 136
Let j = -199 + 184. Sort -3, j, 1, 2 in decreasing order.
2, 1, -3, j
Suppose -5*v = 4*j - 6, -j - 2 - 1 = -v. Let a = -17 - 11. Let g be (a/(-8))/7*8. Put -4, v, g in descending order.
g, v, -4
Suppose -5*i + 5*a - 2*a = 32, 24 = -2*i + 4*a. Put 1, -2, 11, i in descending order.
11, 1, -2, i
Let i = 0 + 4. Put -0.07, i, -1/2 in descending order.
i, -0.07, -1/2
Suppose 25 = 5*k, -3*f + 2*k = -0*k - 5. Sort f, 21, 0, -3 in decreasing order.
21, f, 0, -3
Let u = -64.7 + 65.7. Sort 5, 1/82, u, -0.4.
-0.4, 1/82, u, 5
Let c = -231.3 + 231. Sort -2/3, c, 4/7 in ascending order.
-2/3, c, 4/7
Suppose 2*x + 3 = -15. Let n(r) be the second derivative of -r**3/6 - 3*r**2 + 5*r. Let k be n(-6). Sort x, k, -5.
x, -5, k
Let f be ((-6)/(-4))/(10/20) - 23. Let r = -15 - f. Put r, 17/3, 4/3 in descending order.
17/3, r, 4/3
Let f = 20/3 + -199/30. Sort -2, f, 1/4.
-2, f, 1/4
Let k = 0.385 - 0.321. Put 1/3, k, 3 in increasing order.
k, 1/3, 3
Let x = 31.8 - 32.8. Let j = -12 + 8. Sort j, x, -0.01 in ascending order.
j, x, -0.01
Let w be (-1)/((2 - 5)/21). Let h(b) = b**3 + 2*b**2 + 2*b + 2. Let k = 30 - 31. Let r be h(k). Sort -5, w, r in decreasing order.
w, r, -5
Suppose 0 = -5*j + 2*c + 80 - 260, 3*j = 2*c - 104. Let o = 32 + j. Sort 0, o, 4, -2 in ascending order.
o, -2, 0, 4
Let u = -741.6 + 737.6. Let i be 2*(-1)/(-2)*-1. Sort u, i, -2/11, 4.
u, i, -2/11, 4
Let j be 2/(-24)*-6*(-56)/(-4). Put j, -2, 2/21, 4/3 in descending order.
j, 4/3, 2/21, -2
Let k be 2/(-6)*(-1 - -10). Sort k, 0, 2 in descending order.
2, 0, k
Suppose -5*q = -q + 24. Put -2, -7, q in decreasing order.
-2, q, -7
Let b(c) = c**2 + 8*c - 5. Suppose 6*v = -4 + 40. Suppose -h + 4*d = -8, -2*h + 4*d - v*d = 24. Let l be b(h). Sort 4, -4, l.
l, -4, 4
Let n = -1073 + 1072.93. Sort -3, 5, -50, n in increasing order.
-50, -3, n, 5
Let h(a) = -a**3 - 9*a**2 + a + 11. Suppose 3*s - 11 = -g - 42, -2*g - 53 = 5*s. Let l be h(s). Let p be (-1)/(l/4) - 0. Put p, 0, 3 in descending order.
3, 0, p
Let y = 16 - 11. Suppose -3*c + 9 = 5*u, -12 = 3*u - 0*u - 4*c. Put -5, y, -0.3, u in ascending order.
-5, -0.3, u, y
Let j(u) = u**3 + 3*u**2 + 4*u + 3. Let t be j(-3). Let p be (3/((-18)/(-4)))/(-2). Put p, 0.5, t in decreasing order.
0.5, p, t
Suppose q - 5*a + 1 = -14, 2*a - 33 = -5*q. Suppose 4 = 4*s, 2 = 5*k + 2*s - 0. Suppose q*i + 2 - 7 = k. Sort i, 3, -5 in decreasing order.
3, i, -5
Let o(f) = -2*f + 22. Let v be o(10). Suppose -9*a + 48 = -3*a. Put v, a, 1 in decreasing order.
a, v, 1
Suppose -5*h = -0*h. Let b be 6/((-1)/((-2)/2)). Let w = b + -9. Put w, h, 4 in decreasing order.
4, h, w
Suppose 15 = -4*f + 5*z, -z + 4*z = -2*f - 35. Let d = f + 10. Suppose 7*v - 3*v = d. Put v, -4, -1 in decreasing order.
v, -1, -4
Let x be (-1)/1*(13 + 0). Let z = -9 - x. Suppose -4*q - 7 = 5*d, 6*d - q + 8 = z*d. Sort -1, d, 3.
d, -1, 3
Let j(y) = -y**3 - 5*y**2 + 13*y - 8. Suppose 2*a = 5*n + 31, 4*n + 3*a = -22 - 12. Let r be j(n). Sort r, 9, 5 in descending order.
9, 5, r
Suppose g = 4*q - 12, -2*q = 5*g - 0*q - 6. Sort 10, -3, g, 5.
-3, g, 5, 10
Suppose -5*i = -p + 5*p + 5, -3*p + 4*i + 4 = 0. Sort -5, p, 15 in ascending order.
-5, p, 15
Let p = -0.8 - -0.3. Suppose -38 = 5*q + 137. Let j = 42 + q. Sort 3, j, p in increasing order.
p, 3, j
Let i be (-57)/(-4) + (-1)/4. Suppose 0*p + 5*p - 4*d = 0, 0 = -2*p + 4*d. Put -2, p, i in descending order.
i, p, -2
Let y be (-1)/((1 - 0)/(-1)). Let q = y - -1. Suppose -4*a = 2*v + 3*v + 22, -4*a = -4*v + 4. Put a, q, 3 in ascending order.
a, q, 3
Let d(x) = -2*x**2 + 16*x - 23. Let j be d(6). Sort j, 4, 15, 3.
j, 3, 4, 15
Let i be ((-6)/24)/(2/2). Sort i, 937, -1/7.
i, -1/7, 937
Let c = 52 + -211/4. Sort -0.1, c, -9, -1/8 in ascending order.
-9, c, -1/8, -0.1
Let l be (0 - (-1)/(-3))/(10/15 + 1). Let h = 7/55 + -51/1265. Put l, 5/4, h, -3 in increasing order.
-3, l, h, 5/4
Suppose -5 = -2*h + h. Let k(r) = r**2 + 13*r - 18. Let u be k(-15). Let f = -17 + u. Sort 3, f, h in decreasing order.
h, 3, f
Let n = -0.398 - -2.398. Put n, 5, -0.102, 1/9 in decreasing order.
5, n, 1/9, -0.102
Let s = 719 - 721. Sort 4/35, -1, 4, s in decreasing order.
4, 4/35, -1, s
Suppose -29*c + 25*c = 24. Sort -3, c, 2.
c, -3, 2
Let j be 0*2/6 - 1. Let g be (-39)/21 + (2 - 0). Put g, -3, j in decreasing order.
g, j, -3
Suppose -4 = 3*k - a, -75*k + 74*k - 4*a = -3. Put 0.1, 15, k in ascending order.
k, 0.1, 15
Let c = 4.7 + -5. Let a = -1.44 + 1.03. Let l = a + -0.09. Sort 0.1, c, l.
l, c, 0.1
Let p = -68 - -61. Let t = -10 - p. Put t, 0.4, 0.5 in descending order.
0.5, 0.4, t
Let i be (-8)/(-5) + (-16)/(-40). Suppose -i*b = -6, 3*q - 3*b - 16 = -2*q. Let h = -0.2 + 0.6. Put 0.2, h, q in ascending order.
0.2, h, q
Suppose -5*b - 4*r = -16, 5*b = 43*r - 46*r + 17. Sort 32, 1, b in ascending order.
1, b, 32
Let r = 16.7 + 2.3. Let s 