Let o(z) be the second derivative of z**4/12 + z**3/2 - 9*z**2/2 + 23*z. Let j be o(2). Let y be 0/j - 3/(-12). Put 0.1, y, 2, 0 in decreasing order.
2, y, 0.1, 0
Let y = 1 - 0. Let z(l) = -3753*l + 26273. Let b be z(7). Let x = 0 + -1. Put b, 4, y, x in decreasing order.
4, b, y, x
Suppose 0 = s - 3*u + 260, 3*u = 3*s + 96 + 666. Let k = s + 254. Put k, -2, -4, 4 in descending order.
4, k, -2, -4
Suppose -22*u + 11*u = 12*u - 161. Sort 0.5, u, -1/2, -0.2, 0.1.
-1/2, -0.2, 0.1, 0.5, u
Let m = 284 + -292. Let c be m + 3/4*4. Put 3, -4, c in descending order.
3, -4, c
Suppose -669*x + 664*x - g = 22, -3*g = -x - 14. Sort -14, x, 3/8, -0.1 in descending order.
3/8, -0.1, x, -14
Let d = -17 + 19. Let g(k) = 2*k - 18. Let j be g(12). Let n be (j/9)/((-2)/(-9)). Put -2, d, n in decreasing order.
n, d, -2
Suppose 228*g + 6930 = 246*g. Let m = g - 390. Sort -91, m, 1.
-91, m, 1
Let r = 14.29 + -17.29. Let b = 1298/17 - 76. Sort b, r, -4 in decreasing order.
b, r, -4
Suppose 4*g = -g - 4*q - 8, 0 = 5*g - 3*q - 6. Suppose -4*d + g*d - 154 = -x, 2*d = -5*x - 88. Let h = d + 39. Put 3, -2, h in ascending order.
-2, h, 3
Let n(m) = 22*m**2 + 329*m - 32. Let j be n(-15). Sort -3, 4, -2, j in descending order.
4, -2, -3, j
Let a = 1.761 + 0.129. Let y = a + -2.39. Put -3, -29, y, -4 in decreasing order.
y, -3, -4, -29
Let r be (2 - -2) + (-2)/2. Suppose 0 = -r*a - 10 - 5. Let b = -13137.5 + 13137.9. Sort a, 0, b.
a, 0, b
Suppose 0 = -54*q - 117*q - 684. Suppose 0 = -5*o - 19 - 6. Put o, 2, q in decreasing order.
2, q, o
Suppose 0 = 6*b - 0*b. Let v(i) = -i**3 + i**2 - 2*i - 3. Let j be v(b). Sort -5, 5, 0, j in decreasing order.
5, 0, j, -5
Suppose -y + 7*y = 12. Let b(g) = -g**2 - 24*g - 24. Let q be b(-23). Put 18, q, -3, y in descending order.
18, y, q, -3
Let t = 199.3 + -200. Sort 5, 1/6, 0.4, t, -1 in ascending order.
-1, t, 1/6, 0.4, 5
Suppose 1 - 21 = 5*c, 2*c + 2 = 2*b. Let j = 229 + -226. Suppose 29 = q + 3*q + 3*y, y - j = 0. Put q, 4, b in descending order.
q, 4, b
Let j = -1299.82 + 1298. Put -5, j, 4 in decreasing order.
4, j, -5
Let j = 4891.2 - 4891. Sort -0.2, 0.74, 5, 2/3, j in increasing order.
-0.2, j, 2/3, 0.74, 5
Let x = 7 - 4. Suppose 28733*t + 189 = 28712*t. Put t, 1/2, x in descending order.
x, 1/2, t
Suppose -3*u - 10*u = 7956. Let a = 617 + u. Sort 1, a, -7, 4 in descending order.
a, 4, 1, -7
Let y = 1853 + -1852. Put 10, y, 13 in decreasing order.
13, 10, y
Suppose -5*k = 10*b - 9*b + 5, 4*b + 5 = -5*k. Put -2, -10, b, -3, -5 in ascending order.
-10, -5, -3, -2, b
Suppose -3*a + 40 = 24*y - 19*y, -2*y - 4*a + 30 = 0. Let r(h) = -h**3 + 14*h**2 + h - 12. Let m be r(14). Sort 0, -4, m, y in descending order.
y, m, 0, -4
Let p = -230 - -170. Let w be 22/(-55)*p/4. Put 2, 0.1, w, 1/3 in decreasing order.
w, 2, 1/3, 0.1
Suppose 3*c - 3*v + 3 = 0, -3*c + 4*c = -5*v + 5. Suppose -2*y - y - 15 = c. Let u be (y + (-57)/(-9))/(52/6). Sort -3, -1, 5, u.
-3, -1, u, 5
Let m = 34 + -29. Let k = -263 + 266. Put 4, k, -5, m in increasing order.
-5, k, 4, m
Let c = 3 + -2. Let r = -259 - -275. Suppose -2*y - 3*w + r = 0, -3*w + 7*w = -y + 13. Sort y, c, -5, 0 in descending order.
y, c, 0, -5
Suppose -5*q - 26 = 3*v, 4*v = -2*q - 30 + 28. Put 16, q, -2, 5, 2 in ascending order.
q, -2, 2, 5, 16
Suppose 4*p + 18 = -2*t, 0 = p - 2*t + 6*t - 6. Let d = -3.982 - 0.018. Let v(s) = -6*s**3 + s**2 - 2. Let i be v(-1). Put i, d, p in ascending order.
p, d, i
Suppose -3*o = -6 - 3. Let f = -7 + 106. Let q = 84 - f. Sort o, -3, q in descending order.
o, -3, q
Let b(m) = 26*m**2 - 332*m - 80. Let t be b(13). Sort 3, t, 55, 0, 2 in decreasing order.
55, 3, 2, 0, t
Let k(n) = n**2 + 14*n - 26. Let b be k(-11). Let c = b - -129. Let r be ((-12)/c)/(8/((-160)/6)). Sort r, 0, -4.
-4, 0, r
Let j = -62301.909 + 62267. Let p = j - 0.091. Let a = -16 - p. Sort a, -0.3, 2/5 in ascending order.
-0.3, 2/5, a
Suppose -5*k = -137 + 132. Suppose -3645 = 5*q - 3*r, -5*q - 4*r - 706 = 2974. Let d = q + 3646/5. Put k, d, 4/7 in increasing order.
d, 4/7, k
Let b = 363 - 365. Let k = 83 - 87. Let o = 123 + -983/8. Put b, o, k, 0.2 in decreasing order.
0.2, o, b, k
Let l be (-175)/50*((-6)/9)/((-105)/45). Let v(y) = -y**3 - 3*y**2 + 3*y - 7. Let i be v(-4). Sort l, i, -5 in ascending order.
-5, i, l
Let m = 171.64 + -171. Let i = m + -0.44. Sort i, -0.11, -3, -5/6 in decreasing order.
i, -0.11, -5/6, -3
Let a = -4287.3 + 4286. Put a, -1/3, 8, -0.3, -3 in increasing order.
-3, a, -1/3, -0.3, 8
Let x(s) = -s - 4. Let y be x(-4). Suppose -7*d - 1188296 = -1188366. Sort y, d, 4, 1 in descending order.
d, 4, 1, y
Let v = 111 + -334/3. Let u = 5.2 + -5.5. Sort u, v, -1/11 in ascending order.
v, u, -1/11
Let z(i) = 14*i**2 + 21*i - 8. Let q be z(5). Let n = q + -2231/5. Let j = -0.9 - -1. Sort n, 1/4, -0.2, j in decreasing order.
n, 1/4, j, -0.2
Let s = -0.23 + 0.03. Let i = 278071/458978 - -141/16510. Let p = 2/139 - i. Sort s, 4, 4/5, p.
p, s, 4/5, 4
Let o = -7605.34 - -7593. Sort 5, o, 3 in decreasing order.
5, 3, o
Let j(d) = -2*d. Let b be j(2). Suppose -2*a + 123 = 5*y - 432, 3*a - y = 790. Let t = a - 263. Sort 3, t, b, -2.
b, -2, t, 3
Let i = 2737 - 2738. Sort -72, i, 1, 4 in descending order.
4, 1, i, -72
Let p(r) = -r + 19. Let a be p(-9). Let q be (-2)/5 + a/(-5). Let i be q*(4 + 10/(-3)). Put i, -5, 6 in ascending order.
-5, i, 6
Suppose 39*z - 1649 = -1337. Sort z, -1, 20, -4.
-4, -1, z, 20
Let v be 52/18 + 33/297. Let p(q) = -2*q**3 - 7*q**2 + 5*q - 4. Let l be p(-5). Sort 2, v, -3, l in descending order.
l, v, 2, -3
Let c(t) = 4*t + 1. Let p be c(1). Let k = 790 - 784. Suppose -k*y + 7 + p = 0. Put -4, -5, -6, y in descending order.
y, -4, -5, -6
Let u = 268/3 - 90. Let y = 18 + -18.3. Sort 1/11, -1, u, y in increasing order.
-1, u, y, 1/11
Let t be ((-1)/(-3))/(3/9). Let l = 20 - 18. Let i be (11*32/(-1584))/(((-5)/(-45))/1). Sort i, t, -1, l in descending order.
l, t, -1, i
Let n(h) = h**3 - 2*h**2 + 20*h - 67. Let l be n(3). Let v be (-18)/(-5) + 1 + (-4)/(-10). Sort l, -1, v in decreasing order.
v, l, -1
Let u(x) = 37*x + 111. Suppose -27*l - 165 = 28*l. Let d be u(l). Suppose -4*z - 7 - 5 = 0. Put z, d, 2, -5 in descending order.
2, d, z, -5
Let k = -61/7 + 326/35. Let z = 2.2 + 0.8. Put -5, -7/2, k, z in decreasing order.
z, k, -7/2, -5
Suppose 41*v - 40 = 69 + 14. Let q be 0/1*2/4. Suppose 2*m + 2*b = -2*m - 12, -3*b - 12 = 0. Sort m, 10, q, v.
m, q, v, 10
Let c = 12899.6 + -12899. Put -3, c, 2/9, -1/4 in decreasing order.
c, 2/9, -1/4, -3
Let p = 0.06 + -0.08. Let w(a) = 11*a**3 + 2*a**2 - 5*a - 9. Let j be w(-2). Let n = -949/12 - j. Sort n, p, 5 in decreasing order.
5, p, n
Suppose 4*v + 15 = -5*m, 3*v = -5*m - 5 - 10. Let d = 1524 - 1524.2. Sort v, 5, d, -0.043.
d, -0.043, v, 5
Let q = -2487 + 2527.32. Let z = q - 42. Let j = 0.32 - z. Sort 5, j, 1.
1, j, 5
Let k = 116 + -119. Let u be k + 2 + 4 + (-2)/(-2). Sort 6, 5, 3, u in increasing order.
3, u, 5, 6
Let r(y) = -4*y**2 + 296*y + 299. Let n be r(75). Sort 14/5, n, 1/5 in increasing order.
n, 1/5, 14/5
Let y = -9829/10 + 983. Let v = 1.5 + -2. Sort v, -0.4, -1/9, y in increasing order.
v, -0.4, -1/9, y
Let w = 3.98 - 4.98. Let n(c) = 2*c**3 + 5*c**2 - 5*c - 3. Let f be n(-3). Sort -12, 4/7, f, w.
-12, w, 4/7, f
Let b = -30.66 - -35.66. Sort 2.77, 0.1, 0, b in ascending order.
0, 0.1, 2.77, b
Let c be -2 + -2 + 19503/4572. Let p = c + -2/127. Sort 1, 2/3, 4, p.
p, 2/3, 1, 4
Let b be 342/(-228)*(-1)/6. Put 1, 3, 0.4, 14, b in descending order.
14, 3, 1, 0.4, b
Let h = -24247 - -24250.725. Put -0.1, h, 1/3 in descending order.
h, 1/3, -0.1
Let o be 1/2*572/88*2/(-26). Put -1/2, 211, o in decreasing order.
211, o, -1/2
Let v = 157 + -158. Let r = 3 + v. Sort 2/15, 6/5, r in ascending order.
2/15, 6/5, r
Suppose 47*n + 66 = 25*n. Put 8, 1, 6, n in increasing order.
n, 1, 6, 8
Let a be (20 - 16)*(-3 + (-283)/(-2)). Let t = -564 + a. Let o(m) = m**3 + 6*m**2. Let v be o(-6). Put v, t, -1 in decreasing order.
v, -1, t
Let p = -2 - -1.97. Let f = p + -0.37. Let c be 234/624 + 1/((-264)/51). Put f, 0.4, 0.2, c in descending order.
0.4, 0.2, c, f
Let v(k) = 62*k + 315. Let r be v(-5). Suppose -2*x - 4 = -3*x. Put x, -16, -2, r in decreasing order.
r, x, -2, -16
Let a(v) = 4*v**2 + 5*v - 16. Let l(t) = -3*t**2 - 2*t