der.
-2, a, 0
Let y = 797 + -803. Suppose 4*l = 1 - 17. Sort l, y, 0.
y, l, 0
Let f be (-56)/(-30) - 2 - 5/25. Sort f, 4, -2/17 in increasing order.
f, -2/17, 4
Let q(l) be the first derivative of -l + 2 + 1/2*l**2. Let a be q(0). Put -2, a, -4 in ascending order.
-4, -2, a
Let o(t) = 3*t**3 - 11*t**2 - 7*t + 14. Let p be o(4). Sort 3, p, 16 in ascending order.
p, 3, 16
Let j be (-6)/34*(-6)/9. Let t(c) = -5*c - 1. Let m be t(-1). Let s be (-26)/8 - m/(-16). Put j, s, -0.1 in descending order.
j, -0.1, s
Let l be ((-6)/(-4))/((-6)/(-8)). Let p(a) = a**2 - a + 1. Let h be p(l). Suppose -4*i + h + 5 = 0. Sort 1, i, -3 in decreasing order.
i, 1, -3
Suppose 5*k - 1 - 4 = 0. Let u = 2 + k. Sort u, 2, -3 in decreasing order.
u, 2, -3
Suppose 3 = 2*v - 5. Put -4, 2, v in descending order.
v, 2, -4
Let x = -59 + 63. Sort -1, -2/15, x in increasing order.
-1, -2/15, x
Let p = -0.2 + 0.2. Let v = 3 + p. Let c = 1 - v. Sort c, 2/13, -0.2 in descending order.
2/13, -0.2, c
Let u = 7 - 3. Sort u, -3/4, -5.
-5, -3/4, u
Suppose -2*w - 4 = 2. Sort -1, 0, w in descending order.
0, -1, w
Let g = -7 + 3. Sort 0, 4, g, 1 in ascending order.
g, 0, 1, 4
Let z be ((-3)/(-3))/(2/(-6)). Let b(t) = t**2 - t + 3. Let d be b(0). Sort 1, z, d in descending order.
d, 1, z
Let o = -0.1 - -0.02. Let t = o - 0.02. Sort -4, -1/4, t in increasing order.
-4, -1/4, t
Let o(u) = -u**2 - 4*u - 3. Let s be o(-3). Sort s, -4, 1.
-4, s, 1
Let k be (3 + -3 - 2)*-1. Let g = 2 + -3. Let q = 0.6 + g. Sort q, k, 5 in descending order.
5, k, q
Let p = -17/6 + 7/3. Put -1, -3, p in increasing order.
-3, -1, p
Let o(j) = -j**2 - 2*j + 6. Let p be o(-4). Let r = 5 + -8. Put 5, r, p in ascending order.
r, p, 5
Let u(w) = -w**2 + 2*w + 7. Let g be u(3). Sort -6, g, -5 in increasing order.
-6, -5, g
Let q = -128 + 123. Let k = 1 - 3. Sort 3, k, q in descending order.
3, k, q
Suppose -2*m - 30 = -5*q, 3*m - 3*q + 10 = -17. Sort -2, -1, m in increasing order.
m, -2, -1
Let x = -21 - -22. Suppose -18 = -3*q - 3. Put x, -4, q in ascending order.
-4, x, q
Let y = 126 - 127. Put y, 2/9, -6 in ascending order.
-6, y, 2/9
Let s = 31 + -22. Suppose 3 = -2*j + s. Put -2/23, 0.3, j in increasing order.
-2/23, 0.3, j
Let i = -16 + 19. Sort i, 10, -4 in decreasing order.
10, i, -4
Let t = -44/45 + 10/9. Sort 0, -20, t.
-20, 0, t
Let z = -0.8 + -1.4. Let s = 2 + z. Let v = 0.01 + 0.99. Put s, v, 2/5 in decreasing order.
v, 2/5, s
Let v be (-2)/4 - 11/(-10). Suppose 0 = -5*g + 2*g + 6. Sort g, v, -1/5 in decreasing order.
g, v, -1/5
Let h = -0.16 - -4.16. Put -4, h, -1/5 in ascending order.
-4, -1/5, h
Let z = -0.25 - 0.15. Sort z, -0.1, -4/13, -5 in descending order.
-0.1, -4/13, z, -5
Suppose 4*s = -8, -15 = l + 3*s - 4. Sort 2, 34, l in decreasing order.
34, 2, l
Let i = -183 - -174.7. Let t = i + 8. Let c = t - -0.4. Sort c, 2, -1 in increasing order.
-1, c, 2
Let a = -135/2 + 69. Let m(j) = -j + 1. Let d be m(-7). Let w = -13 + d. Put -1/2, w, a in descending order.
a, -1/2, w
Suppose -6*t + t = 10. Let l = -15 + 30. Suppose 0 = -5*g - l. Sort 1, t, g.
g, t, 1
Let o = 4 - 12. Let v = -6 - o. Let s = -1 - 1. Sort v, -0.1, s in increasing order.
s, -0.1, v
Let i(l) = -l**3 - 5*l**2 + 8*l + 11. Let t be i(-6). Let z = 8 - 12. Sort 2, t, z in decreasing order.
2, t, z
Suppose -2*h = 2*h. Let t(j) = j**3 - j**2 - 3*j + 3. Let q be t(3). Suppose -l - q = -3*z, 3*l - 2*l + 4*z = 9. Put l, -2, h in ascending order.
l, -2, h
Let t(n) = -n**3 + 6*n**2 - 5*n - 2. Let l be t(5). Put l, 0, -5 in descending order.
0, l, -5
Let x = 1.1 + -0.8. Let z = x + -1.3. Sort z, 1, 4 in decreasing order.
4, 1, z
Let y be (-1)/(0 - 2/(-8)). Suppose -2*m + 5*a + 14 = -1, m - 2*a = 5. Let c be (-1 - 0)*(-1 - -2). Sort c, y, m in descending order.
c, y, m
Let z be 1/((-11)/(-5) + -2). Suppose -2*u + 3*h = -17, 2*h - 6 = 4*h. Suppose -u*n + 3*i = -i + 32, 2*i - 6 = 0. Sort z, -2, n in decreasing order.
z, -2, n
Let u = 19 + -19. Sort 3, u, -4 in decreasing order.
3, u, -4
Let r = 5.95 + -6. Let s = r + 0.45. Sort s, -0.2, -0.5 in descending order.
s, -0.2, -0.5
Let b(y) = y - 2. Let z be b(-2). Suppose -4*o - 3 = 5. Put -3, o, z in increasing order.
z, -3, o
Suppose -x + 5 = -6*x. Let d(q) = -q**3 + 15*q**2 + 17*q - 15. Let y be d(16). Sort 2, x, y in increasing order.
x, y, 2
Let k be 0 - 1/((-15)/(-5)). Let x = -4 + 4.4. Let r = 7/8 + -5/8. Sort k, r, x in increasing order.
k, r, x
Let n be (18/16)/(6/8). Let o(r) = -r**2 + 9*r + 9. Let l be o(10). Put l, n, 2 in descending order.
2, n, l
Let t be 9 + 6*(-2)/4. Let s be 2/t*-1*21. Put -5, s, -3 in decreasing order.
-3, -5, s
Suppose 0*g + 4*g = -q + 4, -4*q - 3*g + 3 = 0. Let w be -3 + 5 + (2 - -1). Sort q, -3, w in descending order.
w, q, -3
Let r be (2 - -7) + (-4)/1. Put r, -3, 4 in decreasing order.
r, 4, -3
Let a = -19 - -18. Suppose 2*c = -6 - 0. Put -2, c, a in descending order.
a, -2, c
Let p = 4.03 - 0.03. Let g(b) = b**2 + 7*b - 8. Let d be g(-8). Sort d, p, -2/9 in increasing order.
-2/9, d, p
Let t be (-4)/(-10) - 23/(-5). Let j be 16/(-4) - (-24)/6. Sort 4, t, j in descending order.
t, 4, j
Suppose -3*n + 1 = -2*p - 4, -1 = -n + p. Let g = -91 + 86. Sort n, g, 2 in decreasing order.
n, 2, g
Let r be 4/(-5)*(-5)/(-2). Let b = 7 + -4. Sort b, 5, r in decreasing order.
5, b, r
Let r = 0.2 - 0.3. Let b = -0.17 + -0.03. Sort b, r, -1 in decreasing order.
r, b, -1
Let p = 4.8 + 1.2. Let m = p + -1. Let b = 4.7 - m. Sort -2/13, -0.2, b in descending order.
-2/13, -0.2, b
Let v = -11 - -11.9. Let l = -5.9 + v. Sort -2/11, l, -0.4 in ascending order.
l, -0.4, -2/11
Suppose -4*b = -2*b. Suppose -z + 3*z = b. Suppose z = 2*f + 3 + 1. Put f, 5, 0 in descending order.
5, 0, f
Let y(u) be the second derivative of u**4/12 - 2*u**3/3 + u**2/2 - 5*u. Let x be y(4). Sort -2, -6, x in descending order.
x, -2, -6
Let y = -5/2 - -7/3. Let b = -1/30 + y. Let g = 0.9 - 1. Sort 2, b, g in descending order.
2, g, b
Let a = 15 + -10. Sort 0, a, -2 in descending order.
a, 0, -2
Suppose 0*h + h = -4*m - 1, -15 = 3*h. Let l be m/2*8/(-2). Sort 5, l, 1 in descending order.
5, 1, l
Let a be (-4 - -3) + 2 - -4. Suppose -6*n = -2*n + 12. Put a, 3, n in ascending order.
n, 3, a
Let f = 24 + -26. Put 3, -4, f, 2 in decreasing order.
3, 2, f, -4
Let z = 104 + -1354/13. Let l = 5.193 + 0.107. Let u = -5 + l. Sort z, -4/5, u.
-4/5, z, u
Let k(w) = w**3 + 9*w**2 - 10*w - 2. Let a(t) = -2*t**2 + t - 4. Let q be a(2). Let p be k(q). Sort 5, p, -3 in ascending order.
-3, p, 5
Let a = -1.55 + -6.75. Let t = a - -8. Put t, -6, -1 in increasing order.
-6, -1, t
Let h(a) = -a - 4. Let b be h(0). Sort b, 1, 2 in decreasing order.
2, 1, b
Let n = 34 - 41. Sort n, -1, 0 in decreasing order.
0, -1, n
Suppose k - 2*k = -5. Suppose p + 3 - k = 0. Put -5, p, 4 in decreasing order.
4, p, -5
Let w(n) = n**3 + 4*n**2 - n - 5. Suppose 7*m = 2*m - 20. Let b be w(m). Let p(u) = -u**2 + 4*u. Let k be p(3). Put k, 4, b in decreasing order.
4, k, b
Let m be ((-1)/(-4))/(3/24). Sort m, 3, 1 in descending order.
3, m, 1
Let m(w) = w**2 + 21*w + 3. Let o be m(-21). Let z be ((-15)/12)/((-1)/(-4)). Sort o, z, 4 in decreasing order.
4, o, z
Let g = 4.3 + -0.3. Let b be ((-14)/(-35))/(0/4 - -1). Put b, 2/9, g in decreasing order.
g, b, 2/9
Let p be -15*(4/(-25))/(4/(-10)). Sort p, -4, -2, 3 in descending order.
3, -2, -4, p
Suppose 0 = y + 4*p - 19, 2*p = -3*y - 0*p + 7. Put 2, 0, y in increasing order.
y, 0, 2
Suppose 2*x + 3*x - 17 = -3*o, -2*o + 2*x - 10 = 0. Let y = -15 - -11. Sort y, o, 0 in decreasing order.
0, o, y
Let x(v) = 15*v**2 - 1. Let z be x(-1). Let p = -9 + z. Put 0, -2, p in decreasing order.
p, 0, -2
Let t = -0.8 + 1. Let d = -0.6 + t. Sort d, -2/21, -2/9 in increasing order.
d, -2/9, -2/21
Suppose -5*c = 4*l - 21, 0*c = -3*c + 5*l + 20. Suppose 0 = w - c + 1. Suppose w*z = 3*z - 5. Sort z, 5, 4.
z, 4, 5
Let d(k) = -16*k**2 - 2*k + 5. Let g be d(-4). Let r = -1697/7 - g. Let j = 0.29 + 0.11. Sort -0.2, r, j in increasing order.
-0.2, j, r
Let b = -7 + 4. Suppose -433 = -4*i - 145. Let h be i/(-154) + (-6)/(-33). Put b, h, -0.5 in ascending order.
b, -0.5, h
Suppose 32 - 7 = -5*b. Let c = 4.91 - -0.09. Let q = -8 + c. Sort -2, q, b.
b, q, -2
Let q be 4/(-5)*5/(-2). Let j(f) = 4*f + f**2 - 6*f - q + 6*f. Let u be j(