k + 11*k. Put 2, k, -1, 12 in decreasing order.
12, 2, k, -1
Let c be (6 - -1) + -5 + 3*1. Sort -2, -3, c, -1.
-3, -2, -1, c
Let o = 195 - 190. Sort o, 1.6, -0.2 in decreasing order.
o, 1.6, -0.2
Let l(h) = 5*h - 17. Let f be l(4). Let c be (-2)/f + (-2)/((-6)/17). Sort c, 2, 0, -1 in decreasing order.
c, 2, 0, -1
Let j = 3.84 + -0.84. Let m be (2/((-1)/(-1)))/(28 + -22). Put m, 8, j in descending order.
8, j, m
Let v = -165.9 - -166. Sort v, 3/22, -5 in decreasing order.
3/22, v, -5
Let f(v) = -2*v**3 + 2 + 3*v**3 + 9*v**2 - 2*v**2 + 6*v. Let p be f(-6). Suppose 2 = -b + 2*x - x, p*b + 1 = 5*x. Sort b, -2, 1 in decreasing order.
1, -2, b
Let u be (30/(-3) + 1)*-1. Let x be 3/u + 39/(-9). Let n(b) = b**2 + 10*b - 11. Let h be n(-11). Sort h, x, -5.
-5, x, h
Let u be (-331)/5 + (0 - 8/10). Let k = -63 - u. Let g = -0.3 - -0.6. Sort -5, k, g in decreasing order.
k, g, -5
Let q = 0.315 - 4.315. Sort q, 1, 17, -5 in ascending order.
-5, q, 1, 17
Let h(s) = -s**3 + s**2 + 3*s - 7. Let y be h(0). Sort y, 0, -0.1 in descending order.
0, -0.1, y
Let x = 1 + -0.5. Let k = 13.7 - 11. Let u = k - 3. Sort x, u, -4/5.
-4/5, u, x
Let z = -2159 + 2157. Suppose -5*t + 7 = -3*m, -5*t - 9 - 4 = 2*m. Put z, m, 0.4 in descending order.
0.4, z, m
Let b = -3.1 - -2.8. Sort b, 8, -4 in descending order.
8, b, -4
Let u(l) = -l**3 + 8*l**2 + 4*l - 53. Let d be u(6). Put 3, 4, d in decreasing order.
d, 4, 3
Let s = -4 - 1. Let n(p) = -p - 7. Let w be n(s). Suppose -40*g = 35 + 165. Sort g, -1, w in descending order.
-1, w, g
Let c = 7.94 - 2.94. Put -5, c, -4/5, -0.2 in increasing order.
-5, -4/5, -0.2, c
Suppose 9*i = 4*i + 25. Suppose -l = 16 - 17. Put 0, l, i in decreasing order.
i, l, 0
Suppose 3*u + 1 + 8 = 0. Let r(z) = 41*z - 204. Let w be r(5). Let x = -13 - -8. Sort x, u, w in ascending order.
x, u, w
Let c = 96 - 95.06. Let a = -0.035 - 0.025. Let b = a - c. Sort -1/4, -0.1, b.
b, -1/4, -0.1
Suppose 6 = 3*o + 5*y, -3*y + 6 + 2 = 4*o. Let r(p) = -p**3 - 37*p**2 - 132*p - 4. Let v be r(-33). Sort v, 15, o in decreasing order.
15, o, v
Let r be ((-1)/5)/(4/5). Let s = 26.03 + -26.03. Put -2/13, s, r in descending order.
s, -2/13, r
Let k(r) be the first derivative of -r**2/2 - 2*r + 13. Let j be k(0). Put -5, 2, j, 3 in increasing order.
-5, j, 2, 3
Let w = -153 - -156. Suppose -7 = -w*i + 5. Sort 5, -8, i in increasing order.
-8, i, 5
Let k(v) = v**2 + 6*v - 1. Let y be k(-6). Let i = -8 + 21. Suppose 3*s - i = -1. Sort 2, s, y in decreasing order.
s, 2, y
Let q(i) = 5*i + 4. Suppose 3*b - 12 = -0*b. Suppose b = -0*d + 2*d + 2*c, d - 18 = -5*c. Let t be q(d). Sort 4, 0, t in ascending order.
t, 0, 4
Let w be 96/14 - (-5)/35. Suppose -d = -2*d - t - w, 3*t + 13 = -d. Let c be 3/(-2)*40/(-12). Sort c, 3, d in ascending order.
d, 3, c
Suppose 3*p - 18 = 5*h, 7*p + 3*h = 2*p + 30. Suppose -p*k + 3*k = 0. Let q be k + (2/2)/1. Sort 3, q, 4 in decreasing order.
4, 3, q
Let k(y) = 4*y + 41. Let g be k(-10). Put 0.05, 5, g in increasing order.
0.05, g, 5
Suppose -3*t = -3*g + 3, 2*g + 7 = 3*g + 5*t. Suppose g = -3*n + b + 7, -n + 5*b - 17 = 0. Suppose -4*l - 3 = 5*o, 5 = -2*l + 4*o - 3. Sort n, 1, l.
l, 1, n
Let b = -5 - -9. Let f = 15 + -11. Suppose -b = f*d - 8. Put -5, d, 4 in descending order.
4, d, -5
Suppose 35 = -17*f + 10*f. Sort -3, 17, -1, f.
f, -3, -1, 17
Let c be (6/(-9))/(4/6) - -206. Let z = c + -2663/13. Sort -5, 2, z, -0.3 in descending order.
2, z, -0.3, -5
Let d = 4.2 - 4.5. Sort -4, d, -1/7 in descending order.
-1/7, d, -4
Let z = 0.2 + -0.7. Let v = -17.03 - -18.03. Sort 0, z, v in increasing order.
z, 0, v
Let d be 144/40 + (-2)/(-5). Let k(i) = i**2 - 4*i - 2. Let s be k(5). Suppose s*z + 4 = 5*b - 4, 4*z = d*b - 8. Sort -1, -5, b in ascending order.
-5, -1, b
Let d = 4.43 - 4.13. Put -5/9, -6/5, d, 0.2 in increasing order.
-6/5, -5/9, 0.2, d
Let m be (-6)/9 - (-60)/9. Let u = -12 - -14. Sort m, u, -3 in increasing order.
-3, u, m
Suppose -14*g = g - 210. Let x be ((-10)/6 - -1)*g/(-14). Let d = 2.91 - 3. Sort d, 3, x in decreasing order.
3, x, d
Let w = -4 - -5. Suppose -14 = -8*t + 10. Sort -1, t, w in ascending order.
-1, w, t
Let u be (-2)/((-24)/(-39)) + (-3)/(-12). Let i = 7 + 11. Suppose 5*j + 4*s = -i, -j = 3*s - 2*s + 4. Sort j, u, 2 in decreasing order.
2, j, u
Let n = 9 - 9. Let q(d) = -d**3 - 2*d**2 + 2*d - 2. Let w be (2/(-3))/((-4)/(-18)). Let s be q(w). Put 2, s, n in decreasing order.
2, s, n
Let r = 46 - 105. Let k = r - -105. Put 3, k, -5, 4 in increasing order.
-5, 3, 4, k
Let x(a) = -a**3 - 13*a**2 + 14*a + 5. Let b be x(-14). Suppose 79*c = 78*c + b. Put -1, 4, 0, c in ascending order.
-1, 0, 4, c
Suppose -h + 5*d = -18, -158*h - 4*d - 41 = -155*h. Put 4, h, -2/11 in increasing order.
h, -2/11, 4
Let f(s) = -s**2 - 6*s + 4. Let o(y) = -4*y**2 + 3*y + 4. Let n be o(2). Let k be f(n). Let j be (-12)/8*k + 2. Put 0, j, 2 in descending order.
2, 0, j
Let c = -71 - -67. Sort -3, 2/11, 0.4, c in decreasing order.
0.4, 2/11, -3, c
Let b = -516 + 512. Let o = -8 - -5. Sort b, o, -0.4.
b, o, -0.4
Suppose 16 = -4*p + 2*p. Let g(y) = -y**2 - 7*y + 11. Let q be g(p). Suppose 5*z - q - 17 = 0. Sort z, 2, -5.
-5, 2, z
Let v = -0.2 - -2.2. Put v, -91, -4 in decreasing order.
v, -4, -91
Suppose 41*s = 32*s + 9. Let g(f) = f**3 - 3*f**2 + 5*f - 10. Let l be g(3). Sort l, s, -1, -54 in ascending order.
-54, -1, s, l
Suppose -13*m - 764 = -88. Let f = -56 - m. Put 1, f, 3, -1 in ascending order.
f, -1, 1, 3
Suppose 2 = 3*q + 17. Suppose 0 = 46*b - 66*b + 20. Sort b, q, -4 in increasing order.
q, -4, b
Let u be -7 - (6 + 339/(-27)). Sort u, -5, 2/3 in descending order.
2/3, u, -5
Let w = 24 - 18. Let o = -19 + 35. Suppose o = 5*z - z. Sort 3, z, w in descending order.
w, z, 3
Let w(o) = -4 + 1 + 2*o + 4. Let n be w(-4). Let c = n - -23/3. Put 4, -4/7, c in descending order.
4, c, -4/7
Suppose 0*l + 3*m + 26 = -l, 2*l - 5*m + 30 = 0. Let o be (-4 - 165/l) + -3. Let g(t) = t**2 + 4. Let v be g(0). Put -1, o, v in increasing order.
-1, o, v
Suppose 7*u - 5*w + 130 = 2*u, 20 = -u - w. Let k = -4492 + 17879/4. Let z = u - k. Sort -6, -2, z.
-6, -2, z
Let t = -1 - -4. Suppose 7*k + 10 = 2*k, 3*o + 3*k + 234 = 0. Let m = o + 72. Sort t, -2, m in increasing order.
m, -2, t
Let k(s) = -3*s**2 - s + 8. Let v be k(2). Sort 1/2, 2, v in descending order.
2, 1/2, v
Let u = 107 + -105. Suppose 5*h - 14 = -2*y, -u*y + h = -y. Put y, 0, 4, 5 in ascending order.
0, y, 4, 5
Let f = -152 + 152. Let k(o) = -22*o + 2. Let v be k(-1). Sort v, 5, f in increasing order.
f, 5, v
Let d = -2475 - -2475. Put -4, -229, -2, d in increasing order.
-229, -4, -2, d
Suppose 5*c - 3*y - 1477 = 0, 0 = 3*c + 6*y - y - 893. Let w = 2068/7 - c. Let j = 6.1 - 1.1. Sort j, w, 0.1 in increasing order.
w, 0.1, j
Let h = 3.41 + -0.39. Let g = -0.02 + h. Let n = -123 - -123.4. Sort g, -0.3, n in increasing order.
-0.3, n, g
Let l(s) = -2*s**2 - 50*s + 11. Let n be l(-39). Put -4, -1/5, n in increasing order.
n, -4, -1/5
Let b = -141 + 142. Sort -29, b, 3 in descending order.
3, b, -29
Suppose -2*u - 3*u - 145 = 0. Let k = 35 + u. Let p = 14/3 - k. Put -3/10, 1, p in decreasing order.
1, -3/10, p
Suppose -458 = 3*h - 455. Sort 0, -2, 6, h in descending order.
6, 0, h, -2
Let n be (-1 + 68/8)*(-7)/280. Put -0.01, n, -1 in descending order.
-0.01, n, -1
Let n = 1 + -5. Let d(p) = -7*p**3 - 1. Let h be d(-1). Suppose -h*u - 2 = -4*u. Sort -2, u, n in decreasing order.
u, -2, n
Let y be 1/2*(-2 - -12). Let z(a) = -a**2 - 5*a + 10. Let u = -15 + 8. Let j be z(u). Sort -1, y, j in descending order.
y, -1, j
Let t be (-32)/14 - -2 - 288/(-126). Put -4, t, -70 in decreasing order.
t, -4, -70
Suppose -3*y - 3 = 0, 2*g + 5*y + 2 = -5. Suppose 15*n = 6*n + 36. Let r be (-2)/n - (-9)/6. Sort r, -4, g.
-4, g, r
Let d = -30.92 - -31. Let k = -0.12 - d. Sort 3, 2, k.
k, 2, 3
Let c = 32 + -32.27. Let s = 0.23 - c. Suppose -9 = -3*w - 0*w. Put s, w, -4 in increasing order.
-4, s, w
Suppose 5*n = 3*l + 12 + 46, 3*n + 4*l = 58. Let q be n/(-2) + 27/9 + 7. Sort 6, q, 4, -4 in ascending order.
-4, q, 4, 6
Let s(f) = -f**3 + 8*f**2 - 8*f + 6. Let z be s(7). Let t be 4/(1 - z) - 0. Suppose 0 = -46*g + 118*g + 720. Sort g, -2, t in ascending order.
g, -2, t
Let r(f) = f**3 + 2*f**2 - 2*f. Let w be r(-3). Suppo