der.
b, z, 2/11
Suppose 4*x + 8 = -2*g, -4*x + 2*g + 3*g + 6 = 0. Put -4, x, -1/3 in decreasing order.
-1/3, x, -4
Let m = -4.22 + 0.22. Sort -3/4, m, -1 in ascending order.
m, -1, -3/4
Let i be (4/(-3))/((-8)/12). Suppose -16 = -i*b - 0*b. Suppose -3*l + 30 = -3*g - b*l, 0 = 3*l + 9. Sort g, 0, 2 in descending order.
2, 0, g
Let z be 3 + -3 - 3 - -1. Sort z, 18, 5 in increasing order.
z, 5, 18
Let s = 0.06 + -2.06. Let y = 2 + s. Sort y, 2/13, 0.1 in decreasing order.
2/13, 0.1, y
Let p = 1 - 0.9. Let o = p + -0.3. Let j = -11 - -10.6. Sort o, j, -5 in ascending order.
-5, j, o
Suppose 0 = 12*v - 33 - 27. Put -2, v, -4 in decreasing order.
v, -2, -4
Let a = 10 + -12.5. Let q = a - -3. Let t = -7 - -4. Sort q, -2, t.
t, -2, q
Suppose 5*h + 15 = 2*h. Let a(q) = 3*q - 12. Let s(w) = -w + 1. Let x(p) = a(p) + 5*s(p). Let g be x(h). Put -2, 0, g in increasing order.
-2, 0, g
Let w = 1.6 + -1.3. Sort 0.4, w, 1.
w, 0.4, 1
Let c = 0.7 + -0.5. Let a = 11 + -11. Sort c, 1, a in ascending order.
a, c, 1
Let n = 15 + -23. Let b = n + 13. Sort 1, b, 4 in descending order.
b, 4, 1
Let i = -0.051 + -0.449. Let h(x) = x**3 - 14*x**2 + 5*x + 6. Let n be h(7). Let r = 3324/11 + n. Sort r, i, 0.1 in increasing order.
i, 0.1, r
Suppose 34 = 5*d + 29. Sort -4, d, -1.
-4, -1, d
Suppose -5*c = -1 + 6. Sort c, 15, 1/3 in increasing order.
c, 1/3, 15
Let m = -33 - -22. Let p be m/77*(-1 - -4). Sort -5, 4, p in descending order.
4, p, -5
Let k be (-2)/6 - (-64)/12. Suppose -k*n - 16 = 4. Sort n, -5, -2 in decreasing order.
-2, n, -5
Let r = 27 - 29. Put r, -1, -10 in decreasing order.
-1, r, -10
Let p be ((-34)/(-4) - 3)*2. Let v = -9 + p. Put v, -2, -1 in descending order.
v, -1, -2
Let m be 5*30/25*6/9. Sort m, -4, 0, -2 in descending order.
m, 0, -2, -4
Let v = 27 - 15. Suppose 3*q - v = -q. Suppose -1 - 2 = q*h. Sort 0, 1, h in descending order.
1, 0, h
Let b be (-3 - (2 - 4))/(-1). Let r be (-2 - 6/(-3)) + -2. Put r, -1, b in decreasing order.
b, -1, r
Suppose -5*z = 2*h + 19, 2*h - h - z = 8. Sort -0.3, h, 1 in descending order.
h, 1, -0.3
Let x = 0 + 5. Let u = -24 + 20. Put u, x, 1 in descending order.
x, 1, u
Let q be 11/22 + 2/20. Let k = -0.7 - 0.3. Put k, -0.1, q in decreasing order.
q, -0.1, k
Let g = -22/9 - -47/18. Put -2/5, g, -1 in increasing order.
-1, -2/5, g
Let v = 63 - 60. Put -3, -9, -2, v in ascending order.
-9, -3, -2, v
Let f = -0.58 + 0.63. Sort f, 2/11, 0.3 in decreasing order.
0.3, 2/11, f
Let x(v) = -v**3 - 3*v**2 - 4. Let k(f) = 2*f**3 + 4*f**2 + 5. Let s(m) = 3*k(m) + 4*x(m). Let j be s(-1). Sort 4, 1, j.
j, 1, 4
Suppose 0 = -2*a + 6. Suppose 1 + 2 = -c - n, -10 = 5*c + 4*n. Sort a, c, -4.
-4, c, a
Let n = 25.5 - 25. Put -32, n, -1/3 in decreasing order.
n, -1/3, -32
Suppose -2*d - 3*m + 0 = -1, 26 = -5*d + 2*m. Put d, -1, 4 in increasing order.
d, -1, 4
Let r be -4*(0 - 2)/4. Put -5, -9, r in decreasing order.
r, -5, -9
Let m = 1.14 - 0.14. Sort -0.3, m, 5, 0.2 in descending order.
5, m, 0.2, -0.3
Let o(r) = -r**2 - 7*r - 8. Let f be o(-4). Suppose -2*x = -f*x. Sort x, -1, -3 in decreasing order.
x, -1, -3
Let s = -2 + -5. Let p = s - -6. Put 1, p, -3 in ascending order.
-3, p, 1
Suppose 3*p - 4*w + 34 - 3 = 0, 2*p = w - 14. Let i be p - 12/(-3) - -5. Sort 0, 2, i in ascending order.
0, 2, i
Suppose 2*k + 3*g - 9 = 0, 3*k - 2*k + g - 2 = 0. Let v = k + 3. Let t = 0 + -0.2. Sort t, 0.1, v in descending order.
0.1, v, t
Let o = -23/60 - -2/15. Let l = -13 + 15. Sort l, 2/13, o in descending order.
l, 2/13, o
Suppose -9*s = -13 - 5. Put -4, -5, s, 6 in descending order.
6, s, -4, -5
Suppose -p = 5*w - 19, 0 = -4*p + 4*w + 12 - 8. Sort 5, 0, p, -4.
-4, 0, p, 5
Let z(p) = -p + 23. Let c be z(20). Sort -2/7, 8, c, -1/2 in descending order.
8, c, -2/7, -1/2
Suppose 0 = 4*d - 2*o - 0*o - 52, 5*o = 4*d - 46. Let b = d + -10. Suppose 0 = 3*j + b*w + 16, -4*w - 24 = -8. Put 4, 2, j in increasing order.
j, 2, 4
Let d = -32 - -31.87. Let p = -0.03 - d. Sort p, 2/3, -0.4 in increasing order.
-0.4, p, 2/3
Let b = -3.5 + -1. Let m = b - -5. Put m, 0.05, -1 in decreasing order.
m, 0.05, -1
Let q(z) = -z**2 - 5*z + 3. Let n be 50/(-8) + 3/12. Let g be q(n). Let t be (-6)/(-9) + (-4)/6. Put t, g, 1 in decreasing order.
1, t, g
Let y = -202 - -202.2. Put y, -4/7, 10, 2 in ascending order.
-4/7, y, 2, 10
Suppose -4*n - 14 = 4*r - 6, 5*n - 25 = 2*r. Sort -5, n, 5 in descending order.
5, n, -5
Let w = 19 - 23. Sort 1, 4, w in descending order.
4, 1, w
Let o = 0 - 4. Let z = -9 - -10. Sort z, o, -1 in decreasing order.
z, -1, o
Let q = 132 + -1450/11. Let f = -0.182 + 0.082. Put q, -2/21, f in ascending order.
f, -2/21, q
Let i be 43/5 + (-3)/5. Suppose 9*n = 7*n + i. Sort n, 3, 8 in decreasing order.
8, n, 3
Let y(j) = 2*j**2 - 3*j + 2. Let u be y(2). Let t be (-28)/35 - (-6)/(-5). Let z be (3 - 13/4)*t. Sort u, z, -1/4 in decreasing order.
u, z, -1/4
Let y be (-1 - -4)/(0 - (-16)/2). Let n be 2*(17/(-14) - -1). Put n, y, 4 in descending order.
4, y, n
Let a = 2 + -1. Let y be (9/(-24))/((-5)/20). Put 3, a, y in descending order.
3, y, a
Let q = 57 + -55. Put q, 1/5, -5, -18 in descending order.
q, 1/5, -5, -18
Let p be -1*(3/(-1) + 14/4). Sort -0.3, p, 2.
p, -0.3, 2
Let h = -6 - -4. Let i = -7.4 - -0.4. Let s = h - i. Put 0.2, s, -5 in increasing order.
-5, 0.2, s
Let m = 2 + -3. Let f = 0.09 + 0.91. Put f, m, 0.5 in descending order.
f, 0.5, m
Let p = 0.37 + 0.03. Let d = -60 - -54.7. Let o = 5 + d. Put p, o, 4 in increasing order.
o, p, 4
Suppose -23*m + 4 = -27*m. Sort -5, m, 11 in increasing order.
-5, m, 11
Suppose 5*g + 15 = 35. Sort 16, -2, g in ascending order.
-2, g, 16
Let y = -3.96 - 0.04. Let l = y - -1. Let x = 4.88 + 0.12. Put -5, l, x in descending order.
x, l, -5
Let u = 15.14 + -15. Let c = 0.2 - u. Let j = c - 0.06. Sort j, 2, -2/9 in descending order.
2, j, -2/9
Let n be 1/((-2)/4*2). Let h be -5 + (-2)/2*n. Suppose 4*b = 6*b. Sort -1, b, h.
h, -1, b
Let m = -8 + 16. Let h = -4 + m. Let p be ((-7)/3 + 2)/(-1). Sort p, -2/11, h.
-2/11, p, h
Let x = -0.12 - -0.32. Put -5, 0.5, x in increasing order.
-5, x, 0.5
Suppose -d = 2*d + 9. Let w(t) = 2*t**2 + 5*t + 2. Let k be w(d). Suppose 1 = 2*n + 3. Put k, n, 3 in ascending order.
n, 3, k
Let d(q) = q**3 + 7*q**2 + 7*q + 7. Let l be d(-6). Let z be (1/6)/(l/4). Let v = 0.2 - -0.8. Sort z, v, -0.2 in decreasing order.
v, z, -0.2
Suppose 0 = -s - 2*s + 4*k + 50, 0 = -5*s - 5*k + 25. Suppose 3*m + s = -5. Put m, 0, 5 in decreasing order.
5, 0, m
Suppose -2*n - 3*s = -5*n - 18, -n + 9 = 4*s. Put 9, 2, n in decreasing order.
9, 2, n
Let b = 5 + -1. Let n be -3*(-1)/(-6)*-4. Sort b, n, -5 in decreasing order.
b, n, -5
Let r(l) = -l**3 + 9*l**2 + l - 6. Let t be r(9). Sort 2, t, 6.
2, t, 6
Let k be 2 + 6/2 + 0. Let b(l) = -1. Let j(w) = w. Let u(a) = -2*b(a) + j(a). Let s be u(-2). Sort 1, k, s in descending order.
k, 1, s
Let y = 17 - 12. Let i(t) = t**3 - 2*t**2 - 5*t + 2. Let n be i(3). Let a be -5 + n + 1*3. Sort a, 2/13, y in decreasing order.
y, 2/13, a
Let r = 28 - 28. Sort 5, -0.5, r.
-0.5, r, 5
Let u be (-1 - (-6 + 0))/(-1). Let n(v) = -v**2 - 5*v - 3. Let b be n(u). Suppose 4*h + h - c = -5, 20 = 4*c. Sort 4, h, b in descending order.
4, h, b
Suppose -28 = -10*f + 3*f. Let n = -140/3 + 326/7. Sort n, -2, f in ascending order.
-2, n, f
Let v = 3 + -7. Let b = 17/28 + -3/4. Sort 0.1, b, v in increasing order.
v, b, 0.1
Let c be 2/6 + 14/(-6). Suppose -f = 2*f - 2*z - 1, 5*f - z = -3. Put c, f, 1 in decreasing order.
1, f, c
Suppose 0 = l - 6*l - 25. Suppose -3*s - 4 + 19 = 0. Put l, 1, s in ascending order.
l, 1, s
Suppose m + 3*m - 40 = 0. Let d be ((-8)/(-5))/(m/25). Suppose a + 0 = -d. Sort 5, -2, a.
a, -2, 5
Let x = 687.93 - 691. Let t = -0.07 - x. Sort -3, t, -0.2 in descending order.
t, -0.2, -3
Let n = 60 - 63. Sort 0.4, 0, 24, n in descending order.
24, 0.4, 0, n
Let a = 72 - 76. Sort -1, a, 3.
a, -1, 3
Let c be 187/(-44) + 1/4. Put -1, c, 6 in increasing order.
c, -1, 6
Let s = -0.9 - -0.9. Let j = -3 - s. Let o = -5 - j. Sort o, 0.3, -5 in ascending order.
-5, o, 0.3
Let b = -14 - 3. Let d be (-12)/(-16) + b/(-4). Sort 4, -4, d in increasing order.
-4, 4, d
Suppose -15 = -5*o, o - 4 = 2*l - 3*l. Sort -0.01, -0.5, l in ascending order.
-0.5, -0.01, l
Let d(y) be the third derivat