) = -z**3 + 8*z**2 - z + 4. Let m = -2 - -10. Let i be l(m). Sort 1, -1, i in increasing order.
i, -1, 1
Let z = -176 - -172. Sort z, -3, -7, 0 in descending order.
0, -3, z, -7
Let o = 8 - 9. Suppose -v - 13 = -3*v - 3*x, -5*v = 3*x - 19. Let t be 56/(-35) + 6/(-15). Sort o, t, v in increasing order.
t, o, v
Let b = 840 - 844. Let j(y) = 5*y**2 + y. Let m be j(-1). Let k be (-1 - (-6)/m)*-10. Put k, -0.2, b in increasing order.
k, b, -0.2
Let q = 1 - -1. Let c = -79/200 - 1/200. Put q, c, 0, 7 in decreasing order.
7, q, 0, c
Let o(i) = -i**2 - 23*i + 140. Let k be o(5). Sort 67, -4, k in increasing order.
-4, k, 67
Suppose 4 = 4*i - 16. Suppose 0 = -z + 11 - i. Let v be (5/(-30))/(z/9). Sort 3, -5, v in descending order.
3, v, -5
Let w = -45 - -51. Let p = 22 + -26. Sort w, p, -3 in decreasing order.
w, -3, p
Let g = -1.67 - -1.7. Let o = g - 0.06. Put o, 0.3, -2/5 in descending order.
0.3, o, -2/5
Let q(d) = 11*d**2 - 10*d + 18. Let i be q(3). Sort 2, i, 0 in decreasing order.
i, 2, 0
Suppose 3*o + 5*b - 7 = 2, -o + 4*b = 14. Let g be -2 + 0 + (o - 23/(-5)). Put g, 0.4, 2/9, -4/7 in increasing order.
-4/7, 2/9, 0.4, g
Let g be (32/(-12))/(4/(-6)). Suppose 4*h = 4*b + 16, -2*b + 3*h + 1 = g*h. Let v be 10/(6/(-3)*b). Put -1, 1, v in descending order.
v, 1, -1
Let t = 1.1 + -1.6. Let h = 5.88 + 0.12. Let d = h + -5.9. Sort -5, t, d.
-5, t, d
Let x(q) = 3*q + 86. Let c be x(-27). Sort c, 2, 1, -10.
-10, 1, 2, c
Suppose -m - 2*p + 24 = 3*m, 5*m = -4*p + 30. Suppose 15 = 3*g + m. Let q be ((-18)/21)/2 + 0. Sort q, -2, g in increasing order.
-2, q, g
Let n = 12/53 + -89/159. Put 5/3, 1/11, n, 0.1 in ascending order.
n, 1/11, 0.1, 5/3
Let w be (-3 + -3)*6/(-4). Suppose w + 23 = 8*n. Let t(h) = -h**2 - 5*h + 2. Let o be t(-5). Put -4, o, n in descending order.
n, o, -4
Suppose p = -11 + 16. Sort -17, p, -3, 2 in increasing order.
-17, -3, 2, p
Let u(h) be the first derivative of -h**4/4 - h**3 + h**2 + 2*h - 1. Let n be u(-3). Put n, 2, 5, 0 in decreasing order.
5, 2, 0, n
Let f = -2 - -2. Suppose 7 = -5*n - 23. Let g = n + 1. Put f, -1, g in decreasing order.
f, -1, g
Let m = -2342 + 4683/2. Let g = -3 - -3.04. Let v = -2/7 + 15/28. Put g, v, m in descending order.
v, g, m
Suppose -30*m + 20 = -26*m. Put -2, m, 101 in descending order.
101, m, -2
Let v(u) = 3*u**2 - 3*u - 1. Let t be v(1). Sort t, -1/8, -0.1 in descending order.
-0.1, -1/8, t
Let q = 94 - 88.9. Let h = q - 6.1. Put -3/2, -3, h in descending order.
h, -3/2, -3
Suppose -62 = -5*j + 203. Put 4, 2, j in ascending order.
2, 4, j
Let m = 9 - 5. Suppose 0 = -3*w - 0*w + 5*o + 37, 4*o = -5*w. Let q be ((-2)/w)/((-8)/(-16)). Put m, -5, q in increasing order.
-5, q, m
Let v(c) = -3*c - 45. Let t be v(-16). Sort t, 27, 2 in increasing order.
2, t, 27
Let p = -0.05 + -2.75. Let k = 0.8 + p. Let x be (4/50)/(3/45*-1). Sort x, k, 1 in descending order.
1, x, k
Let p(z) = z**2 - 11*z - 1. Let a be p(10). Let r be 4/2*a/(-2). Sort r, 3, 4 in decreasing order.
r, 4, 3
Let q(z) = -4*z**2 + 243*z + 57. Let v be q(61). Put 13, v, 0, -3 in descending order.
13, 0, -3, v
Let g(k) = k**2 + 22*k + 123. Let i be g(-13). Suppose 3*v + 0*v + 6 = 0. Let f be (v/i)/(5/(-45)). Sort 2, 11, f.
2, f, 11
Let q = 5124 + -5100.89. Let w = -23 + q. Let h = 2.89 + w. Put -1, 1/3, h in increasing order.
-1, 1/3, h
Let d = 2.7 + 0.3. Let j = 2.07 + 0.03. Let c = -0.9 - j. Put c, d, -2/3 in ascending order.
c, -2/3, d
Let i = 7 + -5. Let c be 5/(-2) - (-22)/(-44). Sort c, i, 1.5.
c, 1.5, i
Let i be (-44)/(-10) + (-12)/(-20). Suppose 0 = i*q - b - 12, q - 2*b + 2 = -1. Sort -1, q, -3, -2.
-3, -2, -1, q
Let m = -2735 + 2731. Sort m, -8, 1 in decreasing order.
1, m, -8
Let x(s) = -s + 22. Let g be x(-8). Let l be 1 + g/(-9) + -5. Sort l, -2/5, -0.3 in increasing order.
l, -2/5, -0.3
Let u be 1*2 + (-11)/7. Let b be ((-3)/((-105)/14))/(3 - 2). Sort 3, b, u in increasing order.
b, u, 3
Suppose -3 = -5*b + 2*a + 4, -2*b + a + 2 = 0. Suppose -21*n = -3*n. Put b, 2, n, 1 in descending order.
b, 2, 1, n
Let w be (1700/(-55))/5 + (6 - 0). Sort -166, -4/3, 4/9, w in decreasing order.
4/9, w, -4/3, -166
Let f = 0.49 - 4.19. Let l = 8.7 + f. Put l, 1/2, -0.2 in increasing order.
-0.2, 1/2, l
Suppose 16*q + 5*u = 18*q - 54, -5*u - 37 = -q. Sort 1, -3, 23, q in ascending order.
-3, 1, q, 23
Let r = -1 - -4. Let b = 7195 + -7193. Sort -2/5, r, b in decreasing order.
r, b, -2/5
Let g = -772 - -776. Sort g, -1, -9, -4 in descending order.
g, -1, -4, -9
Let k(o) = -4*o - 1. Let w be k(1). Let f(q) = q**2 - 14*q + 3. Suppose 2*m + 7*x - 8 = 3*x, 5*x = -2*m + 3. Let z be f(m). Sort z, 2, w.
w, 2, z
Suppose 4 = 2*o - 2. Suppose 5*v = 27 - 17. Suppose -v*y + 7*y + 4 = 3*g, 5*y = -3*g + 14. Put 8, o, y in decreasing order.
8, o, y
Let q be 1/4 + 189/144*-4. Put q, -1599, 5 in decreasing order.
5, q, -1599
Let h = -33 - -132. Let c = -98.6 + h. Sort 1/2, 0.2, c.
0.2, c, 1/2
Suppose 0 = -4*z + 4 + 20. Let t = 4 - z. Suppose 0 = -s - 2*s. Put s, -1, t in decreasing order.
s, -1, t
Let v = -193 - -2893/15. Sort 7, 4, v in descending order.
7, 4, v
Let a = 1.5 + -1. Let p(g) = -g - 7. Let i be p(12). Let r = i + 22. Sort r, a, 5 in decreasing order.
5, r, a
Let p be (-25)/(-190)*(-4)/(-5). Let w = 1411/6 - 236. Put p, 4/7, w in decreasing order.
4/7, p, w
Suppose 2*g + 738 = 740. Put 34, g, 0 in descending order.
34, g, 0
Let f(v) = 12*v - 23. Let n be f(2). Let k(x) = -2*x**3 - x**2 + x. Let y be k(n). Sort -5, -3, y in decreasing order.
y, -3, -5
Let x = -125 + 125.3. Sort -0.001, x, 0, 2 in decreasing order.
2, x, 0, -0.001
Let u be 10/4 - 3/6. Let n be 0/((-20)/6*(36/(-10) + 3)). Suppose g + 2 = -g. Sort u, g, n in increasing order.
g, n, u
Let l = -0.69 + 0.79. Let j = l + 4.9. Put -1/4, 0.1, 1, j in decreasing order.
j, 1, 0.1, -1/4
Suppose 0 = 2*p + 4*w - 2*w - 22, 0 = 4*p - 2*w - 26. Suppose -3*k + 25 = -p*k. Suppose 2*i - 12 = 3*m, -4*i - 3*m + 6*m + 12 = 0. Sort k, i, 2.
k, i, 2
Let x = 0.51 - 0.5. Let n = 2.3 - 1.8. Sort x, n, 5.
x, n, 5
Suppose 0 = 2*b - 4 - 34. Let s = 15 - b. Suppose 3*l + 4*r = -l + 4, -l = -4*r + 19. Sort 1, l, s in decreasing order.
1, l, s
Let m = -2328 - -2330. Sort 106, m, 0 in decreasing order.
106, m, 0
Let j(v) = 2*v**3 - 7*v**2 - v + 4. Let u be j(5). Let a = u + -299/4. Sort -0.5, a, -1, -0.2.
-1, a, -0.5, -0.2
Let l = -10 + 22. Let d = l - 5. Suppose d*z + 10 = 2*z. Put -1, 3, z in decreasing order.
3, -1, z
Let n = 1632 + -1629. Put n, 4, -3, -43 in decreasing order.
4, n, -3, -43
Let d = 3 - 8. Let x = -6.6 + 6.489. Let m = x + 0.031. Put m, d, 4 in descending order.
4, m, d
Let y = -45 - -74. Let j = 28 - y. Sort j, -8, 3 in descending order.
3, j, -8
Let u be -1 + (2 - (0 - -1)). Let j = 28 + -25. Sort j, u, -1 in descending order.
j, u, -1
Let g(u) = -5*u - 127*u**2 + 0*u + 0*u - 1 + 3*u. Let t be g(-1). Let c be (-2)/(-7) - (-57)/t. Put c, 0.4, 0.3 in ascending order.
c, 0.3, 0.4
Let d be ((-184)/20 - -4)*-10. Let f be 5/(5 + d/(-10)). Put f, -1, -5, 5 in decreasing order.
5, -1, -5, f
Let w(o) = 77*o + 82. Let l be w(-1). Put l, -4, -5, -9 in decreasing order.
l, -4, -5, -9
Let y(x) = 50*x + 144. Let k be y(-3). Sort -10, -1, 1, k.
-10, k, -1, 1
Let h = -309 + 314. Let z = 0 - -1. Put z, h, -3 in ascending order.
-3, z, h
Suppose -3*o - q + 29 = 0, -25*o - q - 31 = -28*o. Put 2, 0, -1, o in increasing order.
-1, 0, 2, o
Suppose f = 5*f + y - 8, -3*f = -2*y - 17. Suppose 3*h = 2*r - 6*r + 42, r - 51 = -f*h. Let u be (2/h)/((-2)/(-4)). Put -0.5, 2/11, u in increasing order.
-0.5, 2/11, u
Let h be 24/14 - 78/(-273). Let f be (((-33)/(-30))/11)/(1 + -2). Put -0.2, f, h in decreasing order.
h, f, -0.2
Let r = 1703.2 + -1703. Let o = -1 - 4. Let u = -109/8 + 14. Sort r, u, o.
o, r, u
Let v = -262 + 260. Let w = 23 - 33. Put 1/6, v, w in decreasing order.
1/6, v, w
Let c(i) be the first derivative of i**3/3 + 5*i**2 + 12*i - 9. Let o be c(-9). Sort 5, -1, 4, o in ascending order.
-1, o, 4, 5
Let m(y) = 2*y - 8. Let j be m(5). Suppose -2*q + 16 = j*q. Let f = -5 - -4. Sort q, f, 8 in increasing order.
f, q, 8
Let c = -0.2 - 0. Let w(n) = -21*n**2 - 207*n + 26. Let h be w(-10). Put h, 0, c, -2 in decreasing order.
0, c, -2, h
Let d = 10.57 - 11.07. Sort -7, d, -4 in decreasing order.
d, -4, -7
Let d = -10