t m = -0.1 + 0.2. Let r = 0.5 - m. Sort q, 4, r.
r, q, 4
Let b = -0.08 - -0.18. Let l = 5 - 12. Let f = -7 - l. Put b, f, 1/3 in decreasing order.
1/3, b, f
Suppose -u = -6*u + 15. Suppose 0 = -u*h + h. Sort h, -4, -2.
-4, -2, h
Suppose -4 = -5*d + 1, 5*d = 3*s - 7. Let m(z) = -z**3 + z + 2. Let k be m(0). Suppose -4*u + 1 = -k*c - 5, -u = -c. Sort s, c, -5 in decreasing order.
s, c, -5
Suppose 3*h - 5*m = -h + 5, 0 = 2*h - 5*m - 15. Suppose 2*q - 7*q + 15 = 0. Sort h, -4, q in descending order.
q, -4, h
Suppose 16 = -4*w, 3*i - 15 = 2*i + w. Let q = -15 + i. Put 3, q, 0 in decreasing order.
3, 0, q
Let m = -0.25 - -0.05. Sort 5, m, -7 in descending order.
5, m, -7
Let u(h) = h**3 - 6*h**2 + 7*h - 5. Let o be u(5). Sort -4, 4, o in ascending order.
-4, 4, o
Let f(a) = 2*a**2 - 3*a + 2. Let i be f(1). Sort -11, i, 0.
-11, 0, i
Suppose 0 = 2*i - 3*i - 1, 5*p + 4*i - 31 = 0. Let t be 3 - p/(21/24). Put t, -3, -2 in descending order.
-2, -3, t
Let f(k) = 2*k + 3. Let l be f(-3). Sort l, 2, -5.
-5, l, 2
Let b(d) = 6*d**3 - 2*d**2 + 2*d - 1. Let p be b(1). Let x(s) = -s**2 - 9*s - 6. Let j be x(-6). Suppose 3 = 5*a - j. Put p, a, -3 in decreasing order.
p, a, -3
Let s be -2 + (-4 + 1 - 62/(-14)). Put -5, 5, s, 4 in ascending order.
-5, s, 4, 5
Let o(h) be the second derivative of h**3/3 - 4*h**2 - 3*h. Let w be o(6). Put w, 1, -2 in descending order.
w, 1, -2
Suppose 0 = -5*m - 29 + 9. Sort m, -5, 3 in decreasing order.
3, m, -5
Let u be (1 - -5) + -3 + -1. Sort -2, -4, u.
-4, -2, u
Let c = -3 - -6. Let u = -2 + c. Let z(s) = s**2 - 9*s + 13. Let g be z(6). Sort 2, g, u.
g, u, 2
Let h(n) = -n**3 - n**2 - n - 1. Let p be h(-1). Suppose 2*w - 6*w + 5*g + 17 = 0, 0 = 3*w - g + 1. Put 5, p, w in descending order.
5, p, w
Suppose -2*y - 7 + 1 = 0. Suppose 2*m = 5*h + 22, -m - 10 = 3*h + 1. Let k(t) = -t**2 + 7*t - 1. Let w be k(6). Put y, h, w in descending order.
w, y, h
Let q(v) = -v**3 - 5*v**2 - 2*v - 1. Let p be q(-5). Let s = -13 + p. Sort 0.4, 1/2, s.
s, 0.4, 1/2
Let s = 6 - 11. Let a be (-2)/6 - (-4)/48. Put 2, s, a in ascending order.
s, a, 2
Let u = 0.123 - 2.053. Let w = u + -0.07. Sort -3/5, 2, w.
w, -3/5, 2
Let m(c) = 4*c**3 + c + 2. Let k be m(-1). Let q(a) = -5*a**2 + 2. Let t(w) = 6*w**2 - 3. Let f(x) = -5*q(x) - 4*t(x). Let b be f(0). Sort b, k, -2.
k, -2, b
Let f = 70 + -67. Sort -29, f, -5 in ascending order.
-29, -5, f
Let p(i) = -i**3 - 14*i**2 - 5. Let c be p(-14). Suppose 2*v + 22 = 4*j, -4*v + 1 = 3*j - 2*j. Put 3, c, v in decreasing order.
3, v, c
Let r = 1 + -29. Let o be (-22)/8 + (-21)/r. Let h = o + 2. Put -2, 4, h in descending order.
4, h, -2
Let q be (-58)/70 + (-2)/(-5). Suppose 3*p + 5*z = 2*p, 3*p + 2*z - 13 = 0. Let m be (3 - 25/10)/((-1)/(-6)). Sort m, q, p in increasing order.
q, m, p
Suppose 5 + 1 = -3*x. Sort x, 3, -4.
-4, x, 3
Let r = -4 - -3.9. Sort 3, r, -1/6 in descending order.
3, r, -1/6
Let c = -73 - -72.5. Let h be (-6)/4*4/27. Put -1/4, c, h in increasing order.
c, -1/4, h
Let s = 13.2 + -13. Let t = 1398 - 4453/3. Let d = -87 - t. Sort s, d, -0.4.
d, -0.4, s
Let n = -6 - -10.6. Let h = n - 5. Sort h, 1/4, 3 in increasing order.
h, 1/4, 3
Let z(n) = 5*n - 2. Let h(k) = k. Let j(x) = 4*h(x) - z(x). Let m be j(7). Sort m, 3, -2 in ascending order.
m, -2, 3
Suppose -4*x = -5*x + 1. Sort 0, x, 3.
0, x, 3
Let y = -14 + 21. Sort y, -2/7, 0.3 in increasing order.
-2/7, 0.3, y
Let f = 2 - 1.7. Let p be 18/153 - 40/(-238). Sort p, f, -0.08.
-0.08, p, f
Let q = 7.3 - 7. Let m = 10 - 10.4. Sort m, q, 4 in decreasing order.
4, q, m
Let k be (-1)/(3/2 - 2). Let b be -2 - (4/k + -2). Let v = -15 - -17. Put -3, b, v in ascending order.
-3, b, v
Let z = 145 - 147. Sort 4, 4/17, z in descending order.
4, 4/17, z
Suppose 5*u - 27 - 33 = 0. Let o be (10/(-28))/(u/3262). Let x = -97 - o. Sort 0, x, -2 in decreasing order.
x, 0, -2
Let j = -0.64 - 4.36. Let x = -7/4 + 25/12. Put x, 0, j in descending order.
x, 0, j
Let h = -13 + 24. Let l = h + -10.7. Put 4/7, l, 1/7 in decreasing order.
4/7, l, 1/7
Suppose -2*q + 5*q = -4*d - 20, 3*d = 4*q - 15. Let u be (-3)/(-1) + 39/(-12). Sort u, d, -1/6.
d, u, -1/6
Let d be 2/(-8) + 38/(-8). Let x(b) = -3*b - 63. Let l be x(-22). Sort l, d, 1 in decreasing order.
l, 1, d
Let p(s) = s**2 + 2*s - 3. Let o be p(2). Suppose -5*m + d - 20 = 0, -4*m + 15 = 4*d + 55. Let a = m + 3. Sort a, o, -5.
-5, a, o
Let g = -111 - -102. Put -4, 1, 5, g in increasing order.
g, -4, 1, 5
Let c be (-1)/(1/26) + 2. Let k be 5/2*c/(-330). Sort 0, 5/4, k in decreasing order.
5/4, k, 0
Suppose 0 = -7*i + 3*i + 12. Sort -5, -4, i in increasing order.
-5, -4, i
Let a(w) = w**3 + 6*w**2 - 6*w + 4. Let n be a(-7). Let t = n + 3. Put t, -5, 4 in descending order.
4, t, -5
Suppose 4*n + 2 = -5*v - 0, -n + 2 = 0. Sort -1/4, v, -2/7, -0.7.
v, -0.7, -2/7, -1/4
Let m(i) = -i**2 + 7*i - 2. Let n be m(7). Let p be 0 + (-3 - (n + 0)). Put 3, 1, p in ascending order.
p, 1, 3
Let n = -2/25413 + 21753646/1499367. Let q = 1/118 - n. Let p = -13 - q. Sort -0.4, p, -5.
-5, -0.4, p
Let r = -120 - -122. Let d = 10 - 7. Sort d, 1, r in increasing order.
1, r, d
Suppose -17 = -3*g - 26. Put 1, -2, g in decreasing order.
1, -2, g
Let c = 28 + -26.1. Let t = -2 + c. Let l = -7 - -3. Put 3, l, t in increasing order.
l, t, 3
Let r = -5.11 + 0.11. Let p = r + 9. Put -0.5, 3, p in decreasing order.
p, 3, -0.5
Let w(b) = b**3 - b**2 - 5*b + 2. Let g be w(3). Put -4, g, 12 in ascending order.
-4, g, 12
Suppose 17 = 4*b - 3. Sort -3, b, 2 in decreasing order.
b, 2, -3
Suppose -3*m + m = 6. Let w(i) = i**3 + 3*i**2 + i + 3. Let z be w(m). Suppose -3*s + 21 = 3*f - z*s, 3*f - 31 = -5*s. Sort -2/3, -5, f in descending order.
f, -2/3, -5
Let c(p) = -p - 16. Let u be c(-15). Let m = 0.04 + -0.1. Put -1/3, m, u in descending order.
m, -1/3, u
Let r = 69 - 69. Let p be (4/(-3))/((-2)/3). Sort p, r, -0.4 in ascending order.
-0.4, r, p
Suppose 3*k - 31 = 4*d, 4*d + 36 = k + 3*k. Suppose 4*r - 4*m + 32 = 0, m - 3*m = -k*r - 37. Let y(a) = a**3 + 8*a**2 + 6*a - 2. Let u be y(r). Sort 2, u, 0.
0, 2, u
Let q = -42 + 47. Put 0, q, -5 in increasing order.
-5, 0, q
Let c be 4/6*(2 + 35/(-10)). Sort -0.2, c, -3/7, 3 in decreasing order.
3, -0.2, -3/7, c
Let j = 0 + -1. Let p = j + 1.05. Sort p, 2/23, 0.4 in ascending order.
p, 2/23, 0.4
Let c = 5 + -5.3. Let f = 7 - 11. Sort c, f, -2/9.
f, c, -2/9
Let k = 25 - 28. Sort k, 0, -2.
k, -2, 0
Let x(t) = t + 3. Let l(u) = 3*u + 2. Let b be l(-3). Let g be x(b). Suppose 0*m = -3*f + m - 12, -13 = 2*f + m. Sort g, f, -3 in descending order.
-3, g, f
Let w = 4 + -24. Let y = w + 15. Sort y, -3, 2/21 in increasing order.
y, -3, 2/21
Suppose -4*n = -3*m + 21, -5*n + 0*n - 27 = -4*m. Let h(j) = 4*j + 1. Let d be h(2). Suppose 3*l = d - m. Put 0, l, 5 in decreasing order.
5, l, 0
Let r be 6/15 + 8/(-120). Put r, -6, 1/4 in descending order.
r, 1/4, -6
Let s = 168 + -166. Let i(h) = -h + 1. Let q(c) = -6*c + 12. Let r(z) = -5*i(z) + q(z). Let a be r(3). Put a, s, 1 in ascending order.
1, s, a
Let f = -80 - -116. Let t be ((-2)/6)/((-3)/f). Suppose -5*d = 2*z - 5 + t, 4*d = 4*z - 16. Sort -2, z, 0 in descending order.
z, 0, -2
Suppose -2*v - 8 + 14 = 0. Let u(o) = -o + 15. Let y be u(10). Sort -1, y, v in increasing order.
-1, v, y
Let k be 1/3 - (-52)/(-168). Let j = k - -19/84. Let m = -1 - 2. Put j, 1, m in descending order.
1, j, m
Let i = 65 + -70. Sort -17, i, -4 in increasing order.
-17, i, -4
Let j = 13 - 9. Sort -2.3, j, -4.
-4, -2.3, j
Let h = 4.3 - 5. Let k = -4.7 - h. Sort 4, 2, k in decreasing order.
4, 2, k
Let w be (-488)/220 + (-4)/(-10) - -2. Put 1, 1/2, w in descending order.
1, 1/2, w
Suppose 0 = 3*u + 2*k + 13, -6*u + 9*u = 4*k - 1. Sort -1, 15, u in descending order.
15, -1, u
Let g = -6 - -5.99. Let s = 0.29 - g. Let x = 0.06 + 4.94. Sort s, x, 1/7.
1/7, s, x
Suppose -9 - 6 = 3*q. Put 6, q, 2 in decreasing order.
6, 2, q
Let l = 1.1 + -0.1. Let s = 1 - l. Let d = -2 + s. Sort -4, d, -2/7 in descending order.
-2/7, d, -4
Let j(c) = 9*c**3 + c**2. Let v be j(1). Put -2, v, 5, 2 in decreasing order.
v, 5, 2, -2
Let q = -1757/13 + 135. Let b = -8 - -10.07. Let i = b + -0.07. Put i, 0, q in ascending order.
q, 0, i
Suppose 0 = -5*y + 2*o - 17, 1 = -y + 2*o - 4. Let v(n) = -2*n + 6. Suppose 7*h = 3*h + 20