et a = 3 - 6. Let f(v) = -v**2 + 8*v + 14. Let i be f(9). Sort i, a, 6/5 in decreasing order.
i, 6/5, a
Suppose -2*o = -2, 6 - 17 = 3*j - 5*o. Put -4, j, 0, 10 in ascending order.
-4, j, 0, 10
Let l = -44 - -50. Put l, 0, -5, -1 in descending order.
l, 0, -1, -5
Let g(b) = -b**3 - 5*b**2 + 8*b + 15. Let q be g(-6). Put -2, 7, q, 1 in decreasing order.
7, q, 1, -2
Suppose w + 15 = 6*w. Put -2, 17, w in decreasing order.
17, w, -2
Suppose 4 + 8 = 4*f. Suppose -b + f*b + 4 = -2*o, 0 = -o - 3*b - 4. Let u be (-10)/(-15) - (-14)/(-3). Put o, 5, u in decreasing order.
5, o, u
Suppose b + 0*b + 2*j = 7, j + 10 = 4*b. Let q be ((-1)/(-3))/(b/36). Let x = 1 - -2. Sort -0.3, x, q.
-0.3, x, q
Let n = -1 + 1.3. Put n, 0, 0.03, 0.2 in ascending order.
0, 0.03, 0.2, n
Let l(o) = -2*o + 21. Let p be l(14). Put 0, p, -4 in decreasing order.
0, -4, p
Let n be (-26)/4*12/(-95). Let u = 8/19 - n. Sort -2, u, 1 in descending order.
1, u, -2
Let m = 2.4 + -0.4. Let w = -2.5 + m. Let j be (-21)/34 + (-3)/(-6). Put 0, j, w in decreasing order.
0, j, w
Let j be -1 + 7 - (1 - 0). Suppose -4*n - 2 = -j*n. Let o = -12.5 - -13. Sort 0.4, n, o in decreasing order.
n, o, 0.4
Let x(k) = -k**2 + k + 3. Let y be x(3). Let v be 80/30 + 2/(-3). Sort y, v, -1/5 in increasing order.
y, -1/5, v
Let f be 2/((-2)/5) + 2. Let k(c) = -c**2 + 10. Let a be k(0). Let i be (-12)/105 + 4/a. Put i, 1/4, f in increasing order.
f, 1/4, i
Suppose 2*z = 9 + 7. Let q = -9 + z. Let j be ((-48)/22 + 2)*q. Put j, 1/4, 0.5 in ascending order.
j, 1/4, 0.5
Let u(y) = -5*y**2 + 2*y - 1. Let f be u(1). Suppose 3 = 4*x - 2*n + n, 5*n = 5. Sort x, -1/6, f in ascending order.
f, -1/6, x
Let j = 7.5 + -7. Sort -4, -3/4, j in descending order.
j, -3/4, -4
Let n = -7 - -2. Let t be (48/420)/((-6)/(-21)). Sort n, 1/9, t in increasing order.
n, 1/9, t
Suppose v - 3 = j, 6*j - 2*v + 12 = 2*j. Let d be (18/(-21))/(90/210). Put 2, d, j in increasing order.
j, d, 2
Suppose 0 = -2*k - 2*k + 4. Let w(t) = -t**2 - 9*t - 12. Let r be w(-8). Let s = k + r. Sort 4, s, 2 in descending order.
4, 2, s
Let i = -68.7 - -69. Sort 5, 2, 4, i in decreasing order.
5, 4, 2, i
Let v(l) = -3*l**3 + 5 + 0*l**3 - 3*l**2 + 4*l + 2*l + 2*l**3. Let j be v(-4). Sort -1, j, -2 in descending order.
-1, -2, j
Let h(f) = -8*f**3 + 2*f + 1. Let i be h(-1). Put i, 0, 0.5 in descending order.
i, 0.5, 0
Suppose 3*g - 10 = -22. Let c be 95/35 + (-4)/(-14). Let q be -3*(0 - 5/(-3)). Sort g, q, c.
q, g, c
Suppose -3*z - 8 = -z - u, -2*z - 4 = u. Suppose m + 5*t + 1 = 0, -4*t = 6*m - m - 16. Let j be (-18)/(-12)*(3 + -1). Put m, j, z in decreasing order.
m, j, z
Let y(h) = -3 - 9*h + 0 - h**3 - 2 - 9*h**2. Let x be y(-8). Suppose x*o = -n + 4, 4*n + 3*o = n. Sort n, 2, 4 in decreasing order.
4, 2, n
Suppose -3*q - 2*q = 0. Let k(i) = -i**3 + 8*i**2 - 18*i + 10. Let w be k(5). Sort w, -3, q in descending order.
q, -3, w
Let t be ((-1)/(-6))/(4/32). Put -0.5, t, -0.02 in increasing order.
-0.5, -0.02, t
Suppose k - 32 = 5*k. Let n(u) = -u**2 - 10*u - 18. Let x be n(k). Suppose -z + 0*z + 1 = 0. Sort z, x, -1.
x, -1, z
Suppose 2*h - 12 = -6. Put 7, 0.1, h in ascending order.
0.1, h, 7
Let h = 50/81 - -4/81. Sort 1/3, 2, h in decreasing order.
2, h, 1/3
Let i be (3/(-21))/((-3)/(-6)). Sort -3/4, i, -3 in decreasing order.
i, -3/4, -3
Let t = -27 + 28. Let h be 4/10 + (-156)/165. Sort 3, h, t in ascending order.
h, t, 3
Let v = -0.52 - -0.6. Let t = 3.92 + v. Let h = 3.02 + -0.02. Put t, -0.4, h in increasing order.
-0.4, h, t
Suppose -2 = 3*v + 10. Suppose 2*h + 3*c - 2 + 17 = 0, 0 = 5*h - 4*c - 20. Let p(r) = -r**3 + r**2 - 2. Let q be p(h). Sort v, q, 2 in ascending order.
v, q, 2
Suppose -2*c - 3 = -3*c. Let r = c + -3. Sort 2, 5, r.
r, 2, 5
Let q = -1 - -4. Suppose 3*j - 4*k + 5 = 0, q*k = 4*j - 0*j - 5. Suppose 2*d = d + j*f - 17, 2*d = -5*f + 26. Sort 0, -1, d in decreasing order.
d, 0, -1
Suppose -3 = -12*o - 51. Suppose 2*h = -h. Suppose 0 = -p - h + 2. Sort -3, o, p in decreasing order.
p, -3, o
Let g = 13 - 18. Sort 0.3, g, 0.1 in decreasing order.
0.3, 0.1, g
Suppose -d = 3*d - 96. Suppose 2*k + 15 = -3*q, -5*k = 3*q - 9 + d. Sort -1, 3, q.
q, -1, 3
Let p be (1 + 1*9)/2. Let b(j) = -j**2 + 6*j + 1. Let c be b(6). Suppose 17 = 4*x + 1. Put p, x, c in decreasing order.
p, x, c
Let h be (-20)/(-25) + 118/(-160). Put 1, 0, h, 1/2 in descending order.
1, 1/2, h, 0
Suppose 2*j + 3*s = -2*s + 17, 2*s = -3*j - 2. Suppose 4*w + 5*o = 33, 2*o = -0 + 2. Let f = w + -5. Sort f, -2, j in ascending order.
j, -2, f
Suppose -5*u + 6 = -9, -2*u = -b - 12. Put 0, 4, b in descending order.
4, 0, b
Suppose -3*b + 5*w - 11 = 0, -b - 2*b = 4*w + 2. Let x be (3/b)/((-9)/30). Sort 4, x, 3 in descending order.
x, 4, 3
Let v be (-15)/(-2)*(-6)/9. Let i = 5 + v. Let w(o) = o**3 + 2*o**2 - 4*o - 4. Let a be w(-3). Put i, 2, a in decreasing order.
2, i, a
Let u = 152 + -149. Sort -4, u, -1, -2 in increasing order.
-4, -2, -1, u
Let s be (1/(-2))/(2 - 4). Sort s, 0.4, 2/9.
2/9, s, 0.4
Suppose -h - 6*j + 3*j + 18 = 0, -40 = -5*h - 5*j. Sort h, 2, 1 in decreasing order.
h, 2, 1
Let m(j) = -j + 10. Let q be 2*3 - (-3 + 1). Let a be m(q). Let w be -1*1 + (-10)/(-2). Put 0, w, a in ascending order.
0, a, w
Suppose -b - 13 = 2*d, -4*d + d + 3*b + 3 = 0. Let p = 9 + d. Sort 2, 4, p.
2, 4, p
Let n = -0.1 + 0.1. Let d = 47270/101 - 468. Let r = d - 317/707. Sort r, n, 2.
r, n, 2
Let l be -9 + 12/2 + 16/(-8). Put l, -72, -1 in descending order.
-1, l, -72
Let s(m) be the second derivative of m**3/6 - m**2 + 2*m. Let j be s(6). Suppose -z = j*z - 20. Sort 1, 2, z in increasing order.
1, 2, z
Let c = -0.061 + -5.939. Put 2/13, c, -1/2 in increasing order.
c, -1/2, 2/13
Let h be 0/(7/(21/(-6))). Let r(b) = 3*b - 14. Let t(g) = -2*g + 9. Let x(v) = -5*r(v) - 8*t(v). Let n be x(h). Put -4, n, 3 in descending order.
3, n, -4
Let j = 0.28 - -14.72. Let h = j + -20. Sort -0.4, h, 3/4 in descending order.
3/4, -0.4, h
Suppose 2*v = -0*v + 6. Suppose v + 13 = -4*a. Let c be (-4)/14 - (-16)/7. Sort -2, c, a.
a, -2, c
Let h(z) = -z**2 + 9*z - 17. Let s be h(7). Let v be ((-1)/(-1))/(1/4). Suppose v*t = -0*t - 20. Sort t, s, 0 in descending order.
0, s, t
Let g = -39 - -41. Put -3, -0.3, g, 3 in decreasing order.
3, g, -0.3, -3
Let y = -0.1 - -0.1. Let x = 0.3 - y. Let t = 0.4 - x. Sort t, 3, 0 in descending order.
3, t, 0
Suppose 4*v - 3*v = -2. Let g(m) = -m**2 - 7*m - 2. Let r be g(-6). Suppose k - r*z + 1 = -0, -z + 4 = -k. Put v, -3, k in increasing order.
k, -3, v
Let j = -0.329 - -0.029. Put -0.11, 0.3, j in decreasing order.
0.3, -0.11, j
Let t(j) = j**2 + 6*j - 3. Let s be ((-91)/(-26))/(1/(-2)). Let k be t(s). Sort 0.1, 1, k in decreasing order.
k, 1, 0.1
Let p = -112 - -111. Put 6, p, 3, 4 in decreasing order.
6, 4, 3, p
Let z be (-30)/(-45) - (-7)/3. Let w be -8 - (12/(-3) + z). Sort -5, 0, w in increasing order.
w, -5, 0
Let d(f) = f**2 + 7*f + 4. Let i be d(-6). Put -4, 4, i in decreasing order.
4, i, -4
Let f be (-4)/2 + 7 + -1. Suppose -3*d + 2*v = -6*d + 6, 2*d + 4 = -f*v. Let t = -1 - -1. Put 4/5, t, d in ascending order.
t, 4/5, d
Suppose 5*p - 2 = 23. Let q(s) = -s**2 + 6*s - 1. Let o be q(p). Suppose c = -o*c. Put 3, c, -5 in decreasing order.
3, c, -5
Let i = 81 - 86. Sort -4, i, 9, -3 in descending order.
9, -3, -4, i
Suppose -4*d - s = -2, -3*d + d + 2*s = 4. Suppose 3*w - 3 = d, 3*v + 25 = -w + 5*w. Sort 4, v, 3.
v, 3, 4
Suppose -6*u + 2*u = -4. Sort -5, 0, u in increasing order.
-5, 0, u
Suppose -n = -5*v - 19, -5*n + 5*v + 6 = -9. Let f be n - (-3 - (-63)/30). Sort f, 2/9, 3/7.
f, 2/9, 3/7
Let n(s) = -s**2 + 8*s + 19. Let c be n(11). Sort 0, -0.5, c in increasing order.
c, -0.5, 0
Let b(c) = c + 6. Let d be b(-9). Let z = -5 - d. Sort 3, 2, z in decreasing order.
3, 2, z
Let n = 9.2 + 9.3. Let j = n - 18. Put -2/21, j, -2/17 in increasing order.
-2/17, -2/21, j
Let u = 34 + -30. Let b = 0.1 - 0.14. Put u, -1/2, b in descending order.
u, b, -1/2
Suppose 0*x = -3*x + 4*d - 3, -5*x - d = 28. Let c be (3/(-2) + 2)*-4. Sort c, 2, x in ascending order.
x, c, 2
Suppose 12*c + 0*c = -48. Sort 0, c, 22, 1 in increasing order.
c, 0, 1, 22
Let m be -4*(0 - -1) - (-930)/217. Put m, 2, -1/3 in decreasing order.
2, m, -1/3
Let j be -6 - 1*(-2 + -1). Let n(g) = -g**3 - 5*g**2 - 