*k**2 + 6*k - 3. Let n be v(4). Sort -2, n, i in descending order.
n, i, -2
Let c be (-3)/11*30/5. Let u = c - -39/22. Let t = -1/22 - u. Sort 4, t, 3 in descending order.
4, 3, t
Let p = 4.05 - 0.05. Let k = 3.9 - p. Let c = 0.1 + k. Sort -1, c, -2 in descending order.
c, -1, -2
Let j = -151 + 123. Sort j, 4, -3.
j, -3, 4
Let z be (-3)/(-3)*(0 + -3). Let f be 3 + -1 - (-2 + -1). Suppose 0 = -0*h - 4*h - 5*u + 4, -2*u = f*h + 12. Put h, 4, z in increasing order.
h, z, 4
Let n = -34 - -34.4. Let z = -1 + 6. Sort z, -1, n in decreasing order.
z, n, -1
Let q = -132 + 133. Put q, 1/7, 11 in increasing order.
1/7, q, 11
Let h = -2.6 + 3. Let z = 1.3 - -0.7. Let g = z + -1.7. Put h, g, -4 in increasing order.
-4, g, h
Let i(h) be the second derivative of -h**5/20 + h**4/3 - 2*h**3/3 + 2*h**2 - 3*h. Let z be i(3). Let d be (1 - z)*2/(-4). Sort -5, 1, d in ascending order.
-5, d, 1
Let n(i) = i - 1. Let d be n(3). Let h be 0/(-9)*(d - 1). Sort -4, 4, h in descending order.
4, h, -4
Let s(h) = -10*h**2 + h - 1. Let t be s(1). Let i be (5 - 7)*t/4. Put 3, i, -2 in descending order.
i, 3, -2
Let h be 34/6 - 2/3. Suppose h*a + 11 = 36. Let x be (-220)/(-70) + 1/(-7). Sort a, 4, x in ascending order.
x, 4, a
Suppose -2*i - o = -11, -2*i - o + 2 = -3*o. Put 1, -1, i in ascending order.
-1, 1, i
Suppose -4*v - 4*h + 20 = -5*h, h = -4*v + 12. Suppose -5*f - 12 - 3 = 0. Let r be 2 + f - 1/(-1). Sort r, 5, v.
r, v, 5
Suppose -5*h = 5 - 15. Suppose 10 = -h*d + 2. Suppose -b = -3 + 2. Sort -1, d, b in decreasing order.
b, -1, d
Suppose -3*w + 4*l = -2 + 7, 0 = -3*w + 2*l - 13. Sort 2, -4, -5, w.
w, -5, -4, 2
Let a(b) = b**2 - 5*b - 3. Let g be a(7). Let k be ((-8)/(-16))/(g/4). Sort k, -2, 1/4 in increasing order.
-2, k, 1/4
Let h = 76/55 - 2/11. Put h, 0, 28 in descending order.
28, h, 0
Let v(b) = -b - 7. Let i be v(-8). Suppose l - 2*a - 5 = 4*l, 4*a - 5 = -l. Let c = l + -2. Sort c, -2, i in descending order.
i, -2, c
Let m(a) = -a - 4. Let u be m(-5). Let r be ((-16)/12)/(4/90). Let y be (-154)/r + 4/(-30). Put y, -2, u in descending order.
y, u, -2
Let o = 0.089 - 5.989. Let j = o + 6. Sort 5, j, 1/3 in ascending order.
j, 1/3, 5
Let z = 0.078 - 0.578. Sort -3/2, -1, 5, z in ascending order.
-3/2, -1, z, 5
Let x(c) = -c + 1. Let g be x(-1). Put 4/7, g, -0.5 in decreasing order.
g, 4/7, -0.5
Let r(c) = c + 8. Let d be r(-3). Suppose d*m + 2*a + 2*a = 12, -2*a + 12 = 4*m. Sort m, 1, 0 in increasing order.
0, 1, m
Let n(p) = p**3 + 5*p**2 - 8*p - 5. Let c be n(-6). Let k be -2 + 4 + -3 + c. Let u be 4/15*(-15)/k. Sort 0, u, 0.3.
u, 0, 0.3
Let x = -10 - 5. Sort x, 1, -4 in descending order.
1, -4, x
Let z be -7*((-16)/28)/(2 + 0). Put -2, z, -5 in descending order.
z, -2, -5
Suppose 0 = 5*z, 5*z = 2*y + 6*z + 8. Let n(l) = -l - 148. Let u be n(0). Let x be -5*(-1 - u/140). Put x, -5/3, y in descending order.
x, -5/3, y
Let t = 643/7 - 92. Sort -3, 1, t in increasing order.
-3, t, 1
Suppose 32 = -3*n - a, n - 6 - 5 = 4*a. Let q(t) = -t**2 - 10*t - 7. Let m be q(n). Suppose m*c = l - 6, 5*c = -0*c - 20. Sort l, 1, 2 in decreasing order.
2, 1, l
Let o(k) = -3*k + 23. Let a be o(9). Let l be (5/(-15))/((-2)/(-18)). Sort a, l, -5 in increasing order.
-5, a, l
Suppose -12 = -p - 2*p. Suppose 0 = 2*r - 0*r. Suppose 2*q + 3*q + 20 = r. Sort q, 1, p in descending order.
p, 1, q
Let y = -29 - -25. Let a(c) = c**3 - 5 + c**3 + 3*c**2 + 5*c - 3*c**3. Let s be a(4). Put s, y, -3 in descending order.
s, -3, y
Let o = 22.6 - 22.6. Let u = 0.01 + -2.01. Sort o, u, -0.3 in ascending order.
u, -0.3, o
Suppose -14 = -2*l - 0*l. Suppose 0*u + 4*z + 2 = 2*u, -3*u + 2*z = -l. Sort 1, u, 4 in increasing order.
1, u, 4
Let b(p) = p**2 + 8*p - 13. Let y be b(-9). Put 2, y, -6 in descending order.
2, y, -6
Let w be (-5)/(((-3)/1)/(-3)). Suppose 3*a = 6*a - 3. Put 0, w, a in descending order.
a, 0, w
Let y = 2 - 2.2. Let f = -0.7 - y. Let d = 89 - 85. Sort d, -0.3, f in decreasing order.
d, -0.3, f
Let w = 1.837 + 0.163. Let k = -0.03 + -7.97. Sort w, k, 0.2.
k, 0.2, w
Let o(s) = -s**3 - 3*s**2 + 5*s + 6. Let j be o(-4). Sort -5, -1, j in descending order.
j, -1, -5
Let f(s) = -s**3 + 4*s**2 + 3*s - 4. Let l be f(4). Let r = l + -4. Sort r, 3, 5 in descending order.
5, r, 3
Let u = 4 - 4.4. Let z = 6.2 - 1.2. Let t(s) = -s**2 - 18*s - 71. Let j be t(-6). Sort u, j, z.
u, j, z
Let z(q) = 2*q - 25. Let v be z(11). Put v, 1, 0, -4 in increasing order.
-4, v, 0, 1
Suppose -5*x + 7*x + 2*a = 14, x - 3*a + 1 = 0. Suppose -5*o = x*f - 25, f = 5*o - 2*f - 17. Put -5, -1, o in increasing order.
-5, -1, o
Let s = 37.7 - 36. Let k = s - 0.7. Let f = 7.3 - 7. Sort k, 1/3, f in descending order.
k, 1/3, f
Let h = -21 + 16. Sort -4, h, 3.
h, -4, 3
Let f be 2 + 2/(-2) - 2. Let c = -3 - -3. Suppose 2*r - 6 = -c*r. Put f, -2, r in ascending order.
-2, f, r
Let y = -8123/25 - -325. Let k(t) = -47*t - 1. Let p be k(1). Let s be (-2)/5 + p/(-195). Sort s, 3, y.
s, y, 3
Let h = -3 - -3. Let k = 1 + -2. Let f = 1.4 - 0.4. Sort k, f, h in ascending order.
k, h, f
Let a = 13 + -12.89. Let q = 0.61 - a. Sort q, -0.5, 0.3 in descending order.
q, 0.3, -0.5
Let p be -10*((-9)/(-3))/6. Let g be (-8)/(-6)*15/p. Put 1, 4, g in decreasing order.
4, 1, g
Suppose -5*h = -2*h + i + 45, i - 39 = 3*h. Let j be 4/h - 74/(-14). Let w be (0/(-3 - -1))/3. Sort -1, j, w.
-1, w, j
Let j = 0.19 + 0.11. Put j, -0.4, -0.2 in increasing order.
-0.4, -0.2, j
Let r be ((-15)/25)/1 - 1/(-1). Sort -2/3, 8, 5, r in decreasing order.
8, 5, r, -2/3
Suppose -r + 4*a = r, a + 15 = -2*r. Put r, 1/5, 1 in ascending order.
r, 1/5, 1
Let o = 28 + -28. Sort o, -3, -1 in descending order.
o, -1, -3
Let i = -151 - -157. Put i, -4, -13 in decreasing order.
i, -4, -13
Let k(o) = -o**2 + 3*o + 2. Let j be k(3). Put 3, j, -4 in ascending order.
-4, j, 3
Let t be (-5 + 26/4)*(-16)/(-42). Sort 1, -18, t.
-18, t, 1
Suppose -b = -4*z + 19, -17 = -7*z + 2*z - b. Sort z, -1, -2 in increasing order.
-2, -1, z
Let p = 0.26 + 0.04. Let k = 0.25 - p. Let j = k + 5.05. Sort 1, j, -2 in ascending order.
-2, 1, j
Suppose 4*t - v - 17 = 2*v, -2 = -2*v. Put 1, 4, t, -1 in descending order.
t, 4, 1, -1
Let s = -0.3 + 0.5. Let y = 32 + -33. Put s, -4, y in ascending order.
-4, y, s
Suppose 5*b - 8 = 2. Suppose o + o - 6 = -2*h, 4*o = 8. Put b, -3, h in increasing order.
-3, h, b
Let g = 0.415 + 0.085. Let a = -1.8 + 2. Let w = 0.2 - a. Sort 0.2, g, w in decreasing order.
g, 0.2, w
Let b be (2/(-7))/((-190)/266). Let k = -17/237 + 2/395. Sort 3/5, k, b.
k, b, 3/5
Let s = 1 + 4. Let q(f) = -f - 3. Let p be q(-7). Suppose -p*k - 7 = -3. Put -2, s, k in decreasing order.
s, k, -2
Suppose 5*i = 5*g - 15, -5 = 5*g + i + 4. Suppose k = 5*z - 5, -3*z + 6*k = k - 25. Put -3, z, g in ascending order.
-3, g, z
Suppose 2*v + 22 = 2*w, -3*v - 4*w - 5 = -0. Suppose -5*k + 2*a - 40 = -a, -4*k - a = 15. Sort k, 4, v in descending order.
4, k, v
Let b = 6 - 5.7. Let l = b + -0.5. Let h = 0.12 + 3.88. Sort -3, l, h in decreasing order.
h, l, -3
Let s(l) = 4*l - 14. Let m be s(4). Sort -3, m, 3 in descending order.
3, m, -3
Let q(z) = -z**3 - 3*z**2 + 5*z + 3. Let u be q(-4). Put 4, -2, u in decreasing order.
4, u, -2
Let j = -18 - -21. Let r be 0/2*(0 - -1). Put 2/7, j, r in increasing order.
r, 2/7, j
Suppose 5*w - 20 = 2*k - 0, 5*k = 2*w + 13. Let a be (-2)/w + 2/6. Sort a, -2, 7 in descending order.
7, a, -2
Let t = 1.4 + -0.9. Sort -1/4, -5, t, 5 in decreasing order.
5, t, -1/4, -5
Suppose -c + 0 = -b - 3, 5*b + 2*c = -29. Put 2, 3, b, -2 in decreasing order.
3, 2, -2, b
Let c(b) = -b**2 - 4*b + 7. Let d be c(-6). Sort 2, d, 4 in decreasing order.
4, 2, d
Let h = 0 - -1. Let z be 3/(6*(-14)/8). Put z, h, 5 in increasing order.
z, h, 5
Suppose 8 = 2*k - 0. Let j = -46 + 44. Sort j, 0.4, k in increasing order.
j, 0.4, k
Suppose -5*m + m = 4*o - 8, 3*m + 14 = 2*o. Suppose 0 = -3*v - r - 1, -4*v - r = -0*r + 1. Suppose -4*i - 22 = -6. Put i, o, v in decreasing order.
o, v, i
Let l = 0.28 + -1.38. Let t = l - -0.1. Let y = -0.8 - t. Sort y, -1/6, -1/3 in increasing order.
-1/3, -1/6, y
Let a = 2 + -3. Let n be 4 - (0 + 1)*a. Sort 0, n, -2.
-2, 0, n
Let z(i) = 11*i**3 - 2*i**2 - i. Let x be z(-1). Let w be (-63)/x + 1/(-4). Let g be -1 - 0*(-2 - -1). Put g, w, -3 in decreasing order.
