der.
f, 2, -2, -4
Let o(c) = -c**3 - 3*c**2 + 5*c + 1. Let j be o(-4). Let k be (j/1)/3*-2. Put 5, 4, k in increasing order.
k, 4, 5
Let g be ((-4)/6)/(8/60). Let x be 10/6 + (-1)/(-3). Suppose -x*c + 0*q = -5*q + 27, 5*c = q - 10. Sort -2/7, c, g.
g, c, -2/7
Let l be -5*(-2)/5*1. Suppose -8 = 3*j - 2*j + l*t, -10 = j + 3*t. Let r = -8 + 10. Sort 1/2, j, r in descending order.
r, 1/2, j
Let x = -11 - -13. Let z be 1/3 - (-7)/(-3). Let n = -7 - z. Put -3, n, x in decreasing order.
x, -3, n
Let d be -3 + 1 + 2 + 1. Suppose -d = 3*w + 23. Let r be w/5 + (-12)/(-20). Put 5, -2, r in decreasing order.
5, r, -2
Let w(f) = -f**2 - 14*f - 2. Let v be w(-14). Let i(r) = r**3 + r**2 - 5*r - 5. Let n be i(v). Let j = -234 + 4444/19. Put n, j, -0.4 in ascending order.
-0.4, j, n
Let c = -2.2 + 2.1. Sort -2, -7/9, c in ascending order.
-2, -7/9, c
Suppose 5*z - 3 + 12 = -2*y, -y - 2*z - 4 = 0. Suppose -53 + 1 = 4*r - 4*a, -5*a = r + 1. Let o be r/3 + 4/6. Sort 4, o, y.
o, y, 4
Let k = 88 + -92. Sort 0, k, -1, 3 in decreasing order.
3, 0, -1, k
Let z(y) = -3*y**3 + 14*y**2 - 3*y + 25. Let t(m) = -2*m**3 + 9*m**2 - 2*m + 17. Let i(v) = -7*t(v) + 5*z(v). Let s be i(7). Put -8, s, -4 in decreasing order.
s, -4, -8
Let b be 4 - 1 - (-5 + 9). Sort 1, b, 4, -3 in increasing order.
-3, b, 1, 4
Suppose -4*c - a + 1 = 0, -3*a + 2*a + 1 = -4*c. Let j be (-1 - (3 + 0)) + 1. Put c, 4, j in descending order.
4, c, j
Let w = -0.05 - 0.05. Let l = 0 + w. Put -2/7, l, 5 in descending order.
5, l, -2/7
Let o = 3 + 3. Let f = o - 6.5. Let u = -0.13 - -5.13. Sort 1/6, u, f in decreasing order.
u, 1/6, f
Suppose 0 = -0*v + 3*v - 12. Suppose v*m - 4 = -4*p, -3*m = -p - 0*p + 5. Let d(q) = q**2 - q + 5. Let c be d(0). Sort p, c, 4 in decreasing order.
c, 4, p
Let q be (-4)/60*-5*-15. Sort 5, -9, q in descending order.
5, q, -9
Let p be (6/15)/((-2)/(-30)). Suppose -p + 2 = t. Sort 1, 3, t in descending order.
3, 1, t
Let y be -1 - 6/(-14) - -1. Let g = 14 + -9. Let k = -1 + g. Sort y, k, 5 in descending order.
5, k, y
Let i(n) = -n**2 - 4*n - 5. Let q be i(-4). Sort q, 2, 3 in decreasing order.
3, 2, q
Let z be 0 + (-2 - (-5)/1). Let d(g) = -g**3 - 6*g**2 + g + 3. Let q be d(-6). Let k be (q - 3)/z - -1. Put 6/5, k, 2/3 in descending order.
6/5, 2/3, k
Suppose -16*n - 25 = -11*n. Put 0, n, 3 in decreasing order.
3, 0, n
Suppose -r - 3*n = 3*r + 11, -3*r - 3 = -3*n. Let x be ((-4)/6)/((-2)/(-12)). Put -5, r, x in descending order.
r, x, -5
Suppose 0 = -2*r + r. Let c = 3 + r. Sort -5, -1/5, c in increasing order.
-5, -1/5, c
Let i(f) = 5*f - 7*f - 5 + 3*f. Let d be i(4). Put 2, 3, d in descending order.
3, 2, d
Let r = 0.1 + -0.3. Let x = 23 + -23.34. Let d = x - 0.06. Sort 1/2, d, r in increasing order.
d, r, 1/2
Suppose 3*q + 0 = 6. Let s = 10 - -5. Suppose -18 = -3*o + 3*u, 0*u + s = 4*o - u. Put -3, q, o in decreasing order.
o, q, -3
Let t = 1 + -1. Let z = 591.6 + -592. Put z, -0.3, t in descending order.
t, -0.3, z
Let o = 90 - 90.3. Sort o, -8, -4 in descending order.
o, -4, -8
Let k(i) be the third derivative of -i**4/6 - i**3/6 + 4*i**2. Let t be k(-1). Let l be 0 + 0 + -2 + t. Sort -3, -1, l in ascending order.
-3, -1, l
Let u be 40/(-22) + (-2)/11. Let l be ((-3)/u)/((-1)/2). Suppose -2*p + 20 = -5*x, 4*p = 6*p - x - 12. Put l, 0, p in ascending order.
l, 0, p
Let p = 7 + -2. Sort -4, 2, p, -5.
-5, -4, 2, p
Let l = 8.9 + -9. Let s = 73 + -367/5. Sort 4, l, s in descending order.
4, l, s
Let q = 0 + -1. Let h be q/5 + 9/(-5). Let w = -43 - -46. Sort 4, h, w.
h, w, 4
Let u = -6 + 10. Let k be u + 4 - (1 - 1). Suppose -5*j - k = 7. Put 1, j, 2 in ascending order.
j, 1, 2
Let v be (-9)/6*24/(-9). Sort 1, v, -2 in ascending order.
-2, 1, v
Suppose 0*f + 19 = -2*l + 5*f, 4*l + 13 = 5*f. Put -28, -4, l in increasing order.
-28, -4, l
Let t be (-2)/(-3) + ((-130)/15 - -2). Sort 1, -1, t, 4 in descending order.
4, 1, -1, t
Let h be (11/22)/((-1)/2). Let u = 2.1 + -2. Put u, -0.4, h in decreasing order.
u, -0.4, h
Let h = -1 + 0. Put -5, h, 5 in descending order.
5, h, -5
Let h(o) = -o**3 + 4*o**2 + 12*o + 2. Let u be h(6). Suppose -3*r = -u*r - 2. Sort -4, -1, r in descending order.
r, -1, -4
Let r be (10 - 14) + 10*1. Suppose r*j - 21 = -j. Sort j, -4, -5 in increasing order.
-5, -4, j
Let t(c) = -3*c**3 + 2*c**2 - 2*c + 3. Let q be t(2). Let m = q - -31. Let x = m + -10. Put -4, x, 3 in increasing order.
-4, 3, x
Let o(n) = 3*n - 31. Let t be o(11). Put 6, 0, t in decreasing order.
6, t, 0
Suppose 5*z + 4*g + 33 = 0, 3 = -z - 2*g - 6. Put -8, z, 0.4 in ascending order.
-8, z, 0.4
Let c be (1 - 0) + (-8)/7. Suppose 2 = -0*k + k. Let b be (1/(6/4))/k. Sort b, c, 1 in increasing order.
c, b, 1
Let q be 0 + (-2 - 2293/(-9)). Let u = -253 + q. Put u, 5/2, 2 in descending order.
5/2, 2, u
Let z = -53 - -213/4. Let w be 8/5 + (-4 - -2). Put w, -5/2, z in descending order.
z, w, -5/2
Let v(o) = -3*o - 35. Let m be v(-12). Sort m, -28, 4, -4.
-28, -4, m, 4
Suppose 0 = 4*r - 46 + 26. Put r, -1, -4 in descending order.
r, -1, -4
Let q be (10/(-15))/(2/(-6)). Let l(i) = i**3 + 2*i**2 - 4*i - 4. Let t be l(-3). Put -2, q, t in ascending order.
-2, t, q
Let t = -0.2 - 1.8. Put t, 0.1, -0.1 in decreasing order.
0.1, -0.1, t
Let b = 0 + -5. Let n = -0.9 + 8.9. Let c = b + n. Sort -3, 2/5, c.
-3, 2/5, c
Let t = -168 + 164. Sort -8, 5, t, 1 in ascending order.
-8, t, 1, 5
Suppose 4*k - 2 = 5*k + 4*f, -3*k = -3*f + 6. Let t be 4/5*25/(-2). Let i = -8 - t. Put -1, i, k in decreasing order.
i, -1, k
Let w = -0.06 + 0.06. Let c = 0.3 - w. Put 0, c, -1/11 in decreasing order.
c, 0, -1/11
Suppose -3*d - d = 20. Let u(v) = -v**3 - 6*v**2 - 4*v - 4. Let a be u(d). Let h be 16/a + 0 + 2. Put -3, 2/7, h in descending order.
2/7, h, -3
Let l be 2 - 0 - (-480)/(-255). Put -1, l, -0.05 in descending order.
l, -0.05, -1
Let b(z) = 3*z + 8. Let l be b(-4). Let y be (1 - 0)/((-2)/l). Put 5, 4, y in decreasing order.
5, 4, y
Let d = -59/4 + 15. Let j = 2 - 0. Sort d, j, -2 in ascending order.
-2, d, j
Let k = 4.2 - 3.2. Put k, -2, 1/4 in descending order.
k, 1/4, -2
Let c be (-5)/(50/6) + 1. Let p(q) = q**2 - 7*q + 9. Let i be p(6). Suppose 2*j + 5 = -i*j. Sort 4, c, j in increasing order.
j, c, 4
Let i be (-6)/4 - (-21)/6. Let p = 0.3 - -0.7. Put p, i, -2/3 in increasing order.
-2/3, p, i
Let y = 5 - 5.07. Let q = y + 5.07. Sort q, -0.4, -2/11 in descending order.
q, -2/11, -0.4
Let r(t) = t**3 + 8*t**2 - 9*t + 3. Let i be r(-9). Suppose l = -i*l. Put 4, 0.2, l in increasing order.
l, 0.2, 4
Let c = -1 - -0.5. Sort -1, c, -2/13.
-1, c, -2/13
Let y be ((-8)/(-150))/(4/10). Put 4/7, 4, y in decreasing order.
4, 4/7, y
Let w = 6 + -2. Suppose w*z - 11 = -7. Put -2/9, 4, z in decreasing order.
4, z, -2/9
Let v = 87 + -85. Let x(c) = -5 - 4*c**2 + 0 + 3*c**2 - 5*c. Let g be x(-4). Put -3, v, g in increasing order.
-3, g, v
Let u = -2 + 4. Let a = 27 + -24. Put 8, u, a in decreasing order.
8, a, u
Let y = 0.03 - 0.23. Suppose -3*z - 5 - 13 = 0. Let x be z/(-27) - (-5)/(-9). Put 1/3, y, x in increasing order.
x, y, 1/3
Suppose -d - 3*d = 4. Let u = 8 + -11. Sort d, -4, u in increasing order.
-4, u, d
Let j be (4 - (-35)/(-10))/4. Sort -2, -0.3, j.
-2, -0.3, j
Suppose 0 = -4*x + 2*d - 2, 0 = 5*x - 3*d + 4. Let l = x + 0. Sort l, -0.3, -2/13 in descending order.
l, -2/13, -0.3
Let b be ((-2)/3 + 1/(-3))/(-1). Sort b, 0, 3 in increasing order.
0, b, 3
Let j(x) = -x**2 - 13*x + 2. Let n be j(-13). Let b = 2 + -2. Sort b, n, 0.5.
b, 0.5, n
Let j be (-288)/(-60) - (-1)/5. Sort -3, j, 3.
-3, 3, j
Let r be (201/42 + -5)/((-18)/8). Put 0.4, r, -0.1 in descending order.
0.4, r, -0.1
Let x(z) = -4*z - 8 - 2 - z**3 - 12*z**2 + 3*z - 1. Let k be x(-12). Put -3, 4, k in ascending order.
-3, k, 4
Let n = 0.21 - 1.21. Let u = n + 0.6. Put u, -3/4, 0.5 in ascending order.
-3/4, u, 0.5
Let f(v) = 18*v. Let a be f(-2). Let r be -5*(-1 - a/20). Put -5, r, -3 in increasing order.
-5, r, -3
Suppose -4*z = -3*z + 2. Let l = 2 - z. Let k be l - 2*(-2 + 3). Sort -2/11, 0.5, k in increasing order.
-2/11, 0.5, k
Let b be ((1 - 0) + 0)*3. Let v = -89 + 89. Sort v, b, -4 in ascending order.
-4, v, b
Let w(u) = -u**3 - 6*u**2 + 7*u. Let j be w(-7). Let h be -2 + (3 - (j - -3)). Sort 1, h, -5 in increasing order.
-5, h, 1
Suppose -40*u + 39*