der.
-8, -3, z
Let w(x) = -x**3 - 11*x**2 + 12*x - 4. Let p be w(-12). Let t(h) = -h**3 + 6*h**2 - h + 6. Let c be t(6). Let n = c - 1. Sort n, p, 2.
p, n, 2
Let v = -1.7 + -0.3. Let u = -1.7 - v. Let j = 2.9 - -1.1. Sort -4, j, u in descending order.
j, u, -4
Suppose -2*z - 3 = z. Suppose -o = -3*s + 13, 0 = s - 0*o - 3*o - 15. Put z, s, -33 in descending order.
s, z, -33
Let x = 628/7 + -90. Let l be 4/(64/(-18)) + 1. Let a = -4 - -4.3. Put l, x, a in increasing order.
x, l, a
Suppose 7 = k - c, c - 1 = -k - 2. Let y = 1 - k. Let q = 11 - 7. Put -5, y, q in decreasing order.
q, y, -5
Suppose 2*q = 5*q + 63. Let p = -19 - -8. Let t = p + 8. Sort 4/7, q, t in ascending order.
q, t, 4/7
Let n = -851 + 849. Sort 4, 3, n, 1/15 in decreasing order.
4, 3, 1/15, n
Let x = -939 - -4696/5. Put x, -5, -2 in decreasing order.
x, -2, -5
Let p = 198 - 190. Suppose -2*l + 4 = -4. Let v be 20/(-45)*2/l. Sort p, v, 5 in ascending order.
v, 5, p
Let z = -22.22 - -22. Let p = -4.2274 + 0.0074. Let c = p - z. Sort 1, c, 0.3.
c, 0.3, 1
Let r = -58 - -59. Sort -2, 5, r in decreasing order.
5, r, -2
Let x = 0.4 + 3.6. Suppose -3*v - 6 = -18. Let d be 3/v*(-16)/72. Put 1, x, d in increasing order.
d, 1, x
Let q = -8.7 - -8. Let o = 0.3 + q. Suppose 0 + 3 = s - a, 3*s + 2*a + 11 = 0. Sort o, s, -4.
-4, s, o
Let k(u) be the first derivative of u**3/3 - u**2 + u + 1. Let r be k(3). Let t = -4.1 - -3.7. Put -2/15, t, r in increasing order.
t, -2/15, r
Let o(t) = -2*t**2 + 14*t - 36. Let y be o(5). Sort -3, y, -1, 5 in decreasing order.
5, -1, -3, y
Let o be (-6)/(-15) + 568/(-20). Let y = o + 30. Put 7, y, 4 in increasing order.
y, 4, 7
Let n = 6145/6 + -1024. Put 0.4, -40, n, -0.2 in ascending order.
-40, -0.2, n, 0.4
Let w = 68 - 107. Let m = w - -38.9. Put 1, m, -0.5, 0.4 in descending order.
1, 0.4, m, -0.5
Let m = -20.1 - -20. Let p = 1.7 + m. Let b = p - 1.7. Sort b, -4, -2 in decreasing order.
b, -2, -4
Let v(o) = -o + 22. Let j be v(16). Let u = -183.1 + 183. Put u, 7, j in descending order.
7, j, u
Let x = -52 - -51. Let j be (x - (-328)/220) + 2/(-5). Let o = -35/2 - -18. Sort j, o, -1/3.
-1/3, j, o
Let z = 0.37 + 84.63. Let c = -85.02 + z. Put 5, c, -3, 0.5 in descending order.
5, 0.5, c, -3
Suppose -29*k + 8742 = 64*k. Sort 2, -1/2, k in descending order.
k, 2, -1/2
Suppose 0 = -978*i + 994*i + 48. Sort -1, 5, i in ascending order.
i, -1, 5
Suppose -5 = -2*c + 7*c. Let t be -3*(-4)/(-12)*7. Let j = -3 - t. Put j, c, 4/9 in decreasing order.
j, 4/9, c
Let a be (-1)/(-3)*0 + 0. Let c = 60 + -48. Put 3, a, c in descending order.
c, 3, a
Let a = -22.90362 + -0.05238. Let y = a - 0.044. Let d = y + 23. Put -1, d, 3/4 in descending order.
3/4, d, -1
Let s be (-180)/(-72) + (-14)/4. Sort s, 11, -5 in descending order.
11, s, -5
Let w = 2.39 + -2.09. Sort -1/3, w, -1 in ascending order.
-1, -1/3, w
Suppose -2*a - 4 = -0*a. Sort a, -1, 5 in ascending order.
a, -1, 5
Let o(j) = 22*j + 19*j - 3 - 45*j + 3*j**2. Let a be o(-1). Sort -10, -2, a.
-10, -2, a
Let i = 0.25 - 0.36. Suppose 4*z - 7 = 5. Let r = 185.7 + -189.7. Put r, z, i in descending order.
z, i, r
Let i be 28/(-2)*206/721. Put -122, 4, i in ascending order.
-122, i, 4
Let p = 1817 + -1812. Put 0.2, p, 0.3, 0.1 in descending order.
p, 0.3, 0.2, 0.1
Suppose -2*b = -3*j + 20, -16*j - 5*b = -13*j + 8. Sort 89, j, -3, -1.
-3, -1, j, 89
Let v = -6.3 - -0.3. Let x = 205.4 - 205. Sort v, 5, -5, x.
v, -5, x, 5
Let u = -47 - -52. Suppose 3*j - u*g + 30 = 0, -6*j + j = 2*g + 19. Sort -3, 21, 0, j in increasing order.
j, -3, 0, 21
Let a be (-11)/10 + (-12)/(-20). Let j be (-3)/(-4) + (-207)/(-12). Let r be 3/(-24)*(-48)/j. Sort -2/15, a, r in increasing order.
a, -2/15, r
Let d = 147 - 146.8. Put d, -5, -51/7, 2/11 in descending order.
d, 2/11, -5, -51/7
Let u(k) = -k**3 - 5*k**2 + 8*k - 24. Let j be u(-7). Put 3, j, -1 in decreasing order.
j, 3, -1
Let z be ((3 - 8) + -29)*1. Sort 1, -5, -3, z in increasing order.
z, -5, -3, 1
Let t(r) = -r**2 - 10*r - 2. Let v be t(-10). Let x(w) = -30*w + 176. Let u be x(6). Put v, 5, u in increasing order.
u, v, 5
Suppose 2*x = 4*o - 6, -4*o - o + 6 = -2*x. Let i be o - (2 + 60/(-25)). Put -1/11, 7, i in increasing order.
-1/11, i, 7
Let y be (35/(-245))/((-1)/(-3)). Let n(b) = b**3 - 7*b**2 + 5. Let v be n(7). Put 1, y, v, -4 in decreasing order.
v, 1, y, -4
Let i = 0.854 - -0.146. Sort 6, i, -3 in descending order.
6, i, -3
Let i = 517 + -524. Sort 5/6, i, -3 in decreasing order.
5/6, -3, i
Suppose -30*d - 620 = 24*d - 728. Suppose 4*f - 3*x + 49 = -4*x, -5*f = -2*x + 71. Sort -3, f, 5, d in descending order.
5, d, -3, f
Let z(f) = f**3 - 6*f**2 + f. Let j be z(0). Put -4.1, j, 4 in ascending order.
-4.1, j, 4
Let c = -510.3 - -510. Sort c, -2, 4/5, -5/3.
-2, -5/3, c, 4/5
Let s = -642 - -640. Put 4, -7, s in descending order.
4, s, -7
Let c = 43 + -16. Let j be 24/c*(-12)/8. Let n be (-1)/(-2) - (-26)/(-12). Put n, j, -4 in decreasing order.
j, n, -4
Let x = -410 + 414. Sort 4.2, -5, 0.4, x.
-5, 0.4, x, 4.2
Let k be (-1830)/(-150) - (-1)/(-5). Sort k, 10, -4 in decreasing order.
k, 10, -4
Let g(s) = 17*s. Let u be g(0). Let i(x) = x**3 - 4*x**2 + 2. Let f be i(4). Sort -5, f, u in decreasing order.
f, u, -5
Let q = 114 + -107.9. Let y = -0.1 + q. Let o = y + -5.5. Put o, -0.1, 14 in decreasing order.
14, o, -0.1
Let f(b) = -3*b**2 + 2*b - 1. Let i be f(1). Let c = 6823 + -6837. Sort i, 1, 2, c.
c, i, 1, 2
Let p = 662 - 676. Sort p, 4, -1/8 in increasing order.
p, -1/8, 4
Let v = 0 + 2. Let d = -34.32 + 34. Let w = -0.02 - d. Put w, v, 5 in descending order.
5, v, w
Let b = 124/21 + -39/7. Sort b, 1, 5, 0.5.
b, 0.5, 1, 5
Let u = -16.3 - -16. Let c = -9 + 6. Let y be (3/9)/(3/45). Put c, u, y in decreasing order.
y, u, c
Let z = -85 + 92. Suppose 0 = d + 2, b = 3*d + z + 4. Sort -2, b, 0.1 in increasing order.
-2, 0.1, b
Suppose 3*j + 96 = 9*j. Suppose z + 7 = -q, 0*z - 2*q - j = 3*z. Put 2, -4, z in increasing order.
-4, z, 2
Let d be 2/6*15*(-36)/(-60). Put d, -68, -5, 0 in decreasing order.
d, 0, -5, -68
Let x = -99 - -103. Sort 6, x, 1, -6.
-6, 1, x, 6
Let r = 0.2 + -0.2. Let h = -67/272 - -3/16. Let j = h - -21/68. Sort r, j, 2/7 in descending order.
2/7, j, r
Let o = 0.86 - 0.85. Let x = 5.01 - o. Put 2, x, 4 in descending order.
x, 4, 2
Let s(o) = 12 + o**3 - 5 - 20 - 11*o**2 - 9*o. Let x be s(12). Let n = x - 25. Sort -5, n, 3 in increasing order.
-5, n, 3
Let h = -1723 + 1723. Put h, 2, 256 in increasing order.
h, 2, 256
Suppose 0 = -14*g + 10*g + 20. Suppose -g*m + 9 = 34. Sort -6, m, -3, 4 in ascending order.
-6, m, -3, 4
Let x(i) = -i**2 - 3*i + 4. Let r be x(-3). Suppose 0 = 5*l - o - 0*o - 20, 0 = 5*l + 4*o - 20. Suppose -7*z - 44 = l*z. Sort r, z, 1.
z, 1, r
Let r be -1 - 0 - (-4308)/(-22). Let a = 197 + r. Let g = -34/147 - 5/49. Sort a, g, 1/4 in increasing order.
g, a, 1/4
Let u = -0.0176 - 0.1824. Put -4, -2, u in ascending order.
-4, -2, u
Let r(d) = -d**3 + 12*d**2 - 11*d. Let o be r(11). Let u be 2/(-4*(-3)/30). Let n(t) = -t**2 + 4*t + 1. Let l be n(4). Sort u, o, l in ascending order.
o, l, u
Let c = -0.075 + 0.275. Sort 1, c, -16/7, 2 in increasing order.
-16/7, c, 1, 2
Let g be (-5 - -1) + 7 + 6 + -6. Sort -4, g, 50 in descending order.
50, g, -4
Let k(p) = -p**3 + 11*p**2 + 12*p - 5. Let f be k(12). Sort f, 4, -3 in increasing order.
f, -3, 4
Let f(j) = j**2 - 8*j + 6. Let n be f(8). Put 3, n, -4 in descending order.
n, 3, -4
Let w be ((234/63)/13)/((-3)/(-105)) - 4. Let s(h) = -2*h**2 + h. Let v be s(1). Put -3, v, -4, w in decreasing order.
w, v, -3, -4
Let m be 0*((-1)/4)/(4/8). Suppose 0*q - 8*q + 8 = m. Sort q, 4, -1 in increasing order.
-1, q, 4
Let m = 3 + 2. Let j be (-4)/26 - 804/(-156). Suppose 0 = -p + j*p - 8. Sort -3, m, p.
-3, p, m
Let d = 427 + -428. Sort -2, 5, d, 8.
-2, d, 5, 8
Let o = 0.57 + -0.55. Let a = o + 8.98. Sort 4/5, a, 3, -4/5 in increasing order.
-4/5, 4/5, 3, a
Let a(t) = -t**3 + 7*t**2 - 2*t - 3. Let n be a(7). Suppose 7*y + 15 = 6*y. Let x = y - n. Put 3, -3, x in ascending order.
-3, x, 3
Let j = -7.2 - -7.7. Let v = 0 + 10. Let k be (-4)/(-10) + (-6)/v. Sort j, k, 1/4 in decreasing order.
j, 1/4, k
Let b be -1 - (2 + -3)/(-3). Let s be ((-2)/4)/(731/102 - 7). Sort 0, b, s, 5 in descending order.
5, 0, b, s
Let v = 2