ose -5*f = -12 - 8. Let n(v) = v**3 - 10*v**2 + 11*v - 23. Let j be n(9). Sort 1, j, f in ascending order.
j, 1, f
Let u be 5*296/(-40) - 3. Put 10, u, 4, -4 in decreasing order.
10, 4, -4, u
Suppose -10*o + 6 = -8*o. Let a(b) = -b**3 - 12*b**2 - 10*b + 10. Let g be a(-11). Sort -2, 0, o, g in decreasing order.
o, 0, g, -2
Let p(u) = -u + 11. Let l be p(6). Let t be -5 + 7 - (l - -2). Sort 5, t, 0.06 in decreasing order.
5, 0.06, t
Let h(b) be the second derivative of b**4/6 + 5*b**3/6 - 5*b**2 - 8*b. Let t be h(-5). Suppose 5*u - 4*n = -t, 0*n = 3*n. Sort u, 0.4, 5/4.
u, 0.4, 5/4
Let z = -365 + 361. Suppose 0 = -3*j + 5*j - 4. Sort z, j, -0.2 in increasing order.
z, -0.2, j
Let w(q) = -2*q**2 - 10*q + 5. Suppose -2*p - 55 = 9*p. Let s be w(p). Sort s, -2, 3, -7 in descending order.
s, 3, -2, -7
Let h = -1351 - -1314. Sort h, -0.1, 3 in increasing order.
h, -0.1, 3
Let h be (-492)/(-44) - (6 - 192/33). Sort -2, h, -3 in descending order.
h, -2, -3
Let m(q) = -q**2 - 12*q - 14. Let j be m(-2). Sort 3, 2, 8, j.
2, 3, j, 8
Let a(t) = -49*t + 162. Let q be a(5). Put -5, q, 2 in descending order.
2, -5, q
Let p be 15/2 + (-3)/12*6. Suppose 0 = f + f - p. Sort f, -10, 1 in decreasing order.
f, 1, -10
Let b = -2.9 - -4. Let p = -0.8 + b. Let h = -60 + 539/9. Sort p, h, -5 in ascending order.
-5, h, p
Suppose 6 - 4 = 2*f - 2*p, 5*f + 5*p = -15. Put 0.9, f, 0 in ascending order.
f, 0, 0.9
Let u(k) = -k**3 + 18*k**2 + 19*k + 17. Let p be u(19). Suppose 0 = 3*i - p + 11. Sort i, 0, -4.
-4, 0, i
Suppose -136 = -9*c + 43*c. Sort c, -1, 2 in descending order.
2, -1, c
Let z = 5 - 1. Let x = 15/2 - 5. Let k = 860 - 857. Put k, x, z in decreasing order.
z, k, x
Suppose 3 = 5*c + 3*q - 2, 5*q = 0. Suppose -8 - c = 3*n. Let t = 2 + -6. Put t, 3, n in descending order.
3, n, t
Let n be 13/(-26)*3*6/9. Let t(k) = -2*k - 1. Let d be t(2). Sort n, 5, 2, d.
d, n, 2, 5
Suppose 0 = 20*w + 11*w - 62. Sort w, 28, -2 in ascending order.
-2, w, 28
Suppose -38 = -3*v + 4*a, 3*v - 7*a - 28 = -8*a. Sort -4, v, 2.
-4, 2, v
Let u(d) be the first derivative of -d**3/3 - 2*d**2 + d + 1. Let w be u(-3). Let f(y) = -3*y**2 - 188*y - 1020. Let x be f(-6). Put w, 5, x in ascending order.
x, w, 5
Let y = 151/260 - -1/52. Sort 4/3, y, 0.
0, y, 4/3
Suppose -y = 13 - 1. Let t be 7*(-4)/y*-3. Sort t, -3, 0 in decreasing order.
0, -3, t
Suppose 2*v + 3 = 5. Put -1, 5, v in descending order.
5, v, -1
Let s = 3.927 + 0.073. Sort s, -0.3, -2/1147 in ascending order.
-0.3, -2/1147, s
Let o = 101/420 - -1/105. Put 3/7, o, -1/8, 5 in descending order.
5, 3/7, o, -1/8
Suppose 0 = -0*i - 2*i + 12*i. Let r(a) = -a**2 + a - 1. Let z be r(2). Let f be ((-2)/z)/(2/(-12)). Sort i, -3, f in increasing order.
f, -3, i
Let x = 0.7 + 0.3. Let d = -170 + 119. Let l = d - -50.7. Sort -1/10, x, l in increasing order.
l, -1/10, x
Let a = -1.1309 - -0.1309. Let q = 26.957 + 0.043. Let c = 18 - q. Sort a, c, 0.5 in decreasing order.
0.5, a, c
Let z = -3.737 + 0.217. Let w = z - -0.02. Let k = w + -0.5. Sort k, 5, -3/8.
k, -3/8, 5
Suppose u = 3*n + 3*u, 4*n - 17 = 3*u. Suppose n*p + 2*d - 18 = 0, d = 2*p - 5 - 4. Suppose x + 4*s - p = 0, 5*x + 2*s = 3*s + 9. Sort x, -3, 5.
-3, x, 5
Let n(v) = -v**2 - v + 3. Let b be (-38)/14 + (-4)/14. Let p be n(b). Let r = -269 + 264. Sort p, -2, r in descending order.
-2, p, r
Suppose 0 = -4*a + 2*a - 3*q + 20, -2*a + 5*q - 12 = 0. Suppose -c = 2*b - 3, -3 - 4 = -3*b + c. Sort b, a, 1, -2 in descending order.
a, b, 1, -2
Suppose 0*s - s = 0. Suppose -601 = -57*m - 658. Suppose h + 3 + 2 = 0. Put m, h, s in descending order.
s, m, h
Let h = 0.0143 + -0.4143. Sort h, 6/7, 16, 2/5 in ascending order.
h, 2/5, 6/7, 16
Let f be (-1 - 9/(-15)) + 42/30. Sort f, 4, -6/25 in descending order.
4, f, -6/25
Let c = 19.6 - 19.66. Sort 1/2, c, 15 in decreasing order.
15, 1/2, c
Let p(a) = 2*a**2 - 5*a - 27. Let g be p(5). Sort -4, 59, g in descending order.
59, g, -4
Let q(a) = -a**3 + 10*a**2 - 10*a + 4. Let f be q(9). Suppose -x = 5*z - 32, -x - 4*x = -5*z - 70. Suppose 5 = -w - h, -4*w = w - 3*h + x. Sort f, w, 5.
f, w, 5
Suppose 3*c + 5*r = 2*c - 51, -4*c = 4*r + 172. Let b = -28 - c. Let h = b - 15. Put h, -4, 1 in increasing order.
-4, h, 1
Let v = -39 - -29. Let b = v - -12. Sort b, -0.3, -2 in decreasing order.
b, -0.3, -2
Let p = 71/36 + -20/9. Let u = 522 + -521.5. Sort p, -5, 2, u in descending order.
2, u, p, -5
Let n be 3 + 9/(-2) + (-18 - -21). Sort -0.08, 1/5, n in ascending order.
-0.08, 1/5, n
Let p be (-62)/14 - (-64)/(-112). Sort -3, p, 12 in increasing order.
p, -3, 12
Suppose -59*y = -66*y - 595. Let t = y + 88. Sort t, 1, -18 in increasing order.
-18, 1, t
Suppose 0 = -2*y + 4*y - 20. Suppose -5*j + 2*j + 5*x = 1, 5*x - y = 0. Suppose 4*d - 20 = -5*a + 2*a, 2*d - 10 = -2*a. Sort j, d, -1 in ascending order.
-1, j, d
Suppose -2*i = -0*i + 2*n + 10, -16 = 4*n. Let p(r) = 4*r - 5 - 5*r + 2. Let w be p(2). Put i, w, -4 in increasing order.
w, -4, i
Let a = 66 + -57. Suppose 0 = 5*h - 3*h - 4*f - 18, f = 5*h - a. Sort h, -2, 5, -5.
-5, -2, h, 5
Suppose -5*u - 10 = -5*p, -2*u + 5*u = -5*p - 22. Sort 0, u, -39.
-39, u, 0
Let f(a) = -a - 10. Let j be f(-6). Suppose -37*k + 38 = -35*k. Let d = 17 - k. Sort d, j, 3 in ascending order.
j, d, 3
Let m be (-903)/(-189) - 4/(12/15). Put -238, 3, m, -5 in ascending order.
-238, -5, m, 3
Suppose 7*p = 3*p - 156. Let t be p/18 + 6/4. Let q be 17/(-4) - 4/(-16) - 0. Sort -0.5, q, t.
q, t, -0.5
Suppose 5*w = -4*c + 17, 5*w - 2 = -c + 2*c. Sort 2, -8, 1, c in decreasing order.
c, 2, 1, -8
Let s = 8 + -8.5. Let c = -549 + 552. Sort c, s, 3/17.
s, 3/17, c
Let l(r) be the first derivative of r**2/2 - 2*r + 1. Let t be l(0). Let f be 207/(-594) + t/(-11). Put -2/15, f, -3 in decreasing order.
-2/15, f, -3
Let m = -0.0352 + 4.9752. Let j = -0.06 - m. Sort 2, -4, j in decreasing order.
2, -4, j
Let x = -0.9 - 4.1. Let n(l) = -l**3 + 7*l**2 + 10*l - 15. Let d be n(8). Let h be 3*(2/d)/10. Put x, h, 1/5 in increasing order.
x, 1/5, h
Suppose -6*i = -i - 45. Let r = -5 + i. Let t(j) = -j**2. Let n be t(-1). Put r, n, 2/11 in descending order.
r, 2/11, n
Let r(s) = 4*s**2 - 78*s - 37. Let j be r(20). Let x(v) = v**3 + 4*v**2 + v - 1. Let o be x(-2). Put 2, j, o in descending order.
o, j, 2
Let k = -636 + 628. Put k, -2, 2 in decreasing order.
2, -2, k
Let d(n) = n**3 + n**2 - n - 2. Let x be d(-2). Let z = 1024 + -1023. Put 3, x, -3, z in decreasing order.
3, z, -3, x
Let d(o) = -2*o + 4. Let v be d(-1). Suppose -2*z - v = -14. Let n = 4 - 1. Sort z, n, 2 in decreasing order.
z, n, 2
Let j be (-2*(-5)/2)/1. Sort j, -8, -1, -2.
-8, -2, -1, j
Let h = -1 - -0.5. Let m = 22.52 + -0.52. Let p = m - 22.4. Sort -2, p, h.
-2, h, p
Suppose -h - 101 = -5*g, -g - h + 0*h = -25. Let p = 22 - g. Sort p, -2, 5 in decreasing order.
5, p, -2
Suppose p - 30 = -p. Suppose -s + p = -0*s. Suppose 0 = -5*b + s + 10. Put 1, -1, b in ascending order.
-1, 1, b
Let p(x) = 4*x - 24. Let f be p(6). Suppose -2*c + 3*v - 2 = -4*c, -5*c - 3*v - 13 = f. Put -1, c, 18 in decreasing order.
18, -1, c
Let i = -2 + 5. Let r be -6 + 5 + -1 + 3. Sort 2, r, i in decreasing order.
i, 2, r
Let o = 18 - 15. Let v be 19/o + 1/(-3). Suppose -8 = -v*d - 26. Sort -4/7, 0.9, d in descending order.
0.9, -4/7, d
Let s = -0.0355 + -0.1645. Suppose 0 = 2*r - c + 35, 5*r = -2*c + 3*c - 80. Let i be (-6)/r - (-2)/(-5). Put s, -3, i in decreasing order.
i, s, -3
Let i = -6247/28 - -1224/7. Let k = 48 + i. Suppose 3*v + 4*l = 9 - 1, -2*l + 4 = -2*v. Put -0.4, v, k in decreasing order.
v, k, -0.4
Suppose -2*n - 25 + 31 = 0. Suppose 8 = n*w + 17. Let v be ((-24)/20)/3*-10. Sort -2, v, w.
w, -2, v
Let w = -48 - -53. Sort 4, w, -0.8, 3/7 in increasing order.
-0.8, 3/7, 4, w
Let x = 605.85 + -592. Let j = x + -13. Let o = j - -0.15. Put o, -5, 2 in decreasing order.
2, o, -5
Let f be (50/105)/(-5)*-12. Put -0.2, f, 2, -0.13 in decreasing order.
2, f, -0.13, -0.2
Let r be 40/15 + 1/3. Let b = -9.8 - -9.9. Put 5, -5, r, b in descending order.
5, r, b, -5
Let f be (-8)/6 + 3002/2607. Put 3, 1/284, f in descending order.
3, 1/284, f
Let x = 1 + 3. Let w = 241 - 235. Let f = 1.06 - 0.06. Sort w, x, f.
f, x, w
Let d be 9/((-16)/(-64)*(8 + -2)). Sort -5, 5, -25, d in decreasing order.
d, 5, -5, -25
Let o = -6.