y be b(6). Sort -2, y, t in decreasing order.
t, y, -2
Let i = -339 - -341. Sort i, 0.5, -38 in descending order.
i, 0.5, -38
Let h = 2.7 + -5.5. Let p = 7 + -7.8. Let l = p - h. Put l, -3/8, 3 in decreasing order.
3, l, -3/8
Let g = 0.02 + -2.02. Let q = -3.55 + 3.63. Put 0.4, g, q in descending order.
0.4, q, g
Let n = 491.7 - 491. Sort -5, n, 0.06, 1/3 in increasing order.
-5, 0.06, 1/3, n
Suppose 0 = m + 2 - 5. Let g be (20/m)/((-10)/(-15)). Let l be 2/8 + (-19)/(-4). Sort -1, l, g.
-1, l, g
Let h = 100 + -96. Sort 2, -17, h.
-17, 2, h
Let x be ((-185)/(-2))/(-5) + 2. Let t be ((-57)/(-19))/((-6)/34). Let s = x - t. Sort 3/7, s, -0.3.
-0.3, 3/7, s
Let c(h) be the first derivative of -h**4/4 - 8*h**3/3 - 7*h**2/2 - h + 29. Let k be c(-7). Sort 11, 2, k in descending order.
11, 2, k
Let c = -236 - -236. Let o be (1/3)/((-7)/105). Put -1, 5, c, o in descending order.
5, c, -1, o
Suppose 0 = -r - 2, 3*u + 2*r - 12 + 28 = 0. Let c = -544 + 545. Put c, -3, u, 4 in decreasing order.
4, c, -3, u
Let b = -11 - -21. Let r = -3 - 7. Let p = b + r. Sort 3, -0.4, p in ascending order.
-0.4, p, 3
Let s = 10/23 - 119/115. Suppose 0 = -37*q + 203 + 93. Sort -0.5, -2, q, s.
-2, s, -0.5, q
Let l = -32 + 22. Let k = l - -14. Sort -1, -0.4, k in descending order.
k, -0.4, -1
Let n = 0.139 - 0.839. Let j = 4.7 + n. Sort 2, -1/6, j in ascending order.
-1/6, 2, j
Let c(r) = -2*r**2 + 10*r + 12. Let v be c(6). Let f = 17 - 14. Put f, -2, v in ascending order.
-2, v, f
Let b(h) = -h**2 - 7*h - 7. Let z be b(-5). Let x = z - 9. Let l = -3.6 - -2.6. Sort 0.5, l, x in ascending order.
x, l, 0.5
Suppose 18 = -2*l + 18. Suppose 5*f + 20 = l, -2*u = -0*f + f + 4. Sort 3/5, u, -3, -4.
-4, -3, u, 3/5
Let d = 1.2 + -0.4. Let s = 7.2 + d. Let m = 0.76 - 5.76. Sort s, m, -3 in ascending order.
m, -3, s
Let c be (60/90)/(4/(-30)). Sort c, 1, 5, 0 in descending order.
5, 1, 0, c
Let j(g) = -g**3 - 8*g**2 - 7*g + 2. Let f be j(-7). Suppose 4*l - 8 = 4*i, f*l - 6*l + 17 = -i. Put 1, l, 3 in ascending order.
1, 3, l
Suppose 2 = -2*n + 3*z - 5*z, 0 = 3*n + 2*z. Suppose -k + 3*u - 8 = 0, -2*k + 0*k - 4*u = -4. Let v = -19 + 15. Sort n, k, v in descending order.
n, k, v
Let q = -21 + 18. Let k be 8/(-6) + 2/q. Sort -4, k, 0 in ascending order.
-4, k, 0
Let u = -921 + 925. Sort u, 3/7, -1, 3/2 in descending order.
u, 3/2, 3/7, -1
Let a = -66.4 + 71.4. Put a, 3, -9 in descending order.
a, 3, -9
Let d(y) = -y**2 - 8*y + 8. Let r be d(-7). Suppose -b + 13 = r. Sort -1, -20, b in descending order.
-1, b, -20
Suppose -3*u + 19 = 3*c - 5*u, -3*u = -4*c + 27. Put 2, 37, c in ascending order.
2, c, 37
Let i = 1.9 + -1.5. Let x = 6 - 3. Let y = -23.4 - -23.3. Put y, i, x in increasing order.
y, i, x
Let m(d) = 3*d**2 - 2*d - 1. Let s be m(-1). Suppose -2*j = -j - 2. Suppose -3*x - x - 20 = -4*f, j*x - 5 = -f. Sort 3, s, f in decreasing order.
f, s, 3
Let x = -0.06 + 1.96. Sort 2/5, x, 2/7 in ascending order.
2/7, 2/5, x
Suppose -3*r + 4*x = 8*x - 18, -5*r - 4*x + 22 = 0. Suppose -6*y = -y + 5. Put 3, y, r in increasing order.
y, r, 3
Let w be (18/(-28))/3*2. Let r be 6*(-240)/(-108) - 13. Put w, r, 12/5 in ascending order.
w, r, 12/5
Let u(q) = q**3 + 15*q**2 - 2*q - 36. Let d be u(-15). Put -1/9, d, 5 in decreasing order.
5, -1/9, d
Suppose s + 0*s + 5*f = -7, 3*s + f - 7 = 0. Let v(j) = -4*j**2 - j. Let g be v(1). Put -3, g, s in ascending order.
g, -3, s
Suppose -29*b + 3*q = -32*b + 147, -2*q = -3*b + 157. Put 8, 4, b in decreasing order.
b, 8, 4
Let a(l) = -2*l**2 - 2*l + 2. Let d be a(-3). Let n be (-16)/d + -13 + 12. Sort -2/5, 3/4, n, -0.5 in descending order.
3/4, n, -2/5, -0.5
Let g = -5.105 - -0.105. Sort 6, 3, g.
g, 3, 6
Let z = -55 + 63. Suppose -2*w - 8 = 4*c + 2*w, 3*w + z = -4*c. Sort 9, -4, c.
-4, c, 9
Let f(z) = -z**3 + 16*z**2 + 17*z + 5. Let r be f(17). Put 0, r, -7 in ascending order.
-7, 0, r
Suppose 7*t + 7*t = -56. Put 0, t, -70 in decreasing order.
0, t, -70
Let b = -9 + 6. Let v be (2 + b)*(2 + -5). Suppose 0 = -v*d - 0 + 3. Put d, -2, -4 in descending order.
d, -2, -4
Suppose 0 = 4*a - 5*r - 24, 2*r = -2*a - 2*r - 14. Suppose -3*l = -2*x - 16, x + 4*x + 33 = 4*l. Suppose l = -4*i - 2. Sort 5, i, a in increasing order.
i, a, 5
Suppose -5*w - 46 = -16. Let m be -1 + (0 - 8/w). Let q = -1.924 + -0.076. Sort q, -0.4, m.
q, -0.4, m
Suppose -11*x = -7*x - 4, -26 = 5*k - x. Sort 3, -80, k, -3 in decreasing order.
3, -3, k, -80
Let i be 4 + -6 - (8/6)/4. Let p = -2 - i. Sort 1/4, 0.3, p in increasing order.
1/4, 0.3, p
Let r = 3350/8757 - 2/1251. Let h = r + -22/21. Sort -0.1, h, -0.5.
h, -0.5, -0.1
Let n = -300.5 + 301. Sort 0.32, n, 2/7, 2/5 in descending order.
n, 2/5, 0.32, 2/7
Suppose 0 = x + 4*j + 20, 0 = -2*x + 3*j - 0*j + 4. Let n be ((-18)/135)/(x/6). Sort -0.4, -1/9, n in ascending order.
-0.4, -1/9, n
Let x = 0.3 + -0.2. Let p = -1802 - -1804. Sort 0, x, -0.39, p in decreasing order.
p, x, 0, -0.39
Let w = -3.0376 - -0.0376. Put 0, -123, w in ascending order.
-123, w, 0
Let h = 0.17 - 7.17. Let g = -4 - h. Let m = -1168/9 + 130. Sort g, -0.3, m in increasing order.
-0.3, m, g
Suppose -11*b - 207 = -86. Sort -4, 5, b, -1 in ascending order.
b, -4, -1, 5
Suppose 2*s = 4*s. Suppose -10*j + 33 + 17 = s. Sort j, -5, -2 in decreasing order.
j, -2, -5
Suppose 13 = 4*n - 3*r - 11, 3*n = 4*r + 18. Suppose -6*j = -3*j + n. Sort -3, j, 0 in increasing order.
-3, j, 0
Let o(w) = -25*w**3 + w**2 + 4*w + 2. Let m be o(-1). Let u be (m/16)/((-33)/4). Sort -5, 2/23, u, -1/2 in increasing order.
-5, -1/2, u, 2/23
Suppose 2*c = -3*s + 43 + 24, -5*c = -3*s + 32. Suppose -d + 28 = -5*r, 5*d - 2*r - s = 2*d. Sort d, -5, 5, 21.
-5, d, 5, 21
Let r = 17 - 12. Suppose 3*s - 4*s + r*w = 6, -4*s - 5 = -w. Put s, 3, -3 in descending order.
3, s, -3
Let j = -6227 + 6223. Let c(w) = -w**3 - 5*w**2 - 3. Let m be c(-5). Sort 4, m, j, 5 in descending order.
5, 4, m, j
Let u(t) = -5*t - 4*t - 18 + t**2 - t + t. Let f be u(11). Sort -4, f, -5 in decreasing order.
f, -4, -5
Let u(c) = -c**2 - 9*c + 11. Let w be u(-10). Suppose -w = 2*l - 3. Suppose 9 = -5*g - 16. Sort g, l, 3 in increasing order.
g, l, 3
Suppose 2 = l - 0. Let z = 0 - -1. Let u = 90 - 92. Put u, z, l in descending order.
l, z, u
Let m = 6139/5 + -1227. Put -5, m, -0.4, -42 in ascending order.
-42, -5, -0.4, m
Let t(p) = -p**2 - 8*p - 14. Let s = -109 - -103. Let u be t(s). Put 3, 4, u, -1 in ascending order.
u, -1, 3, 4
Let d(z) = -z**3 + 6*z**2 - 15*z + 15. Let g be d(3). Sort 42/11, -3/2, g in decreasing order.
42/11, -3/2, g
Let l = 0.02 - -1.98. Let v be ((-2)/(-24))/(1/(-22)). Let q = v + 89/42. Sort q, l, -0.3 in decreasing order.
l, q, -0.3
Let s be (-10)/4*(1 - -1). Suppose 11*x - 10*x = 4*c + 14, 4*c = -4. Suppose -2*w = -3*q - 4, 0*q = 5*w + 4*q - x. Sort s, 4, w.
s, w, 4
Suppose -2*x + 3*x = -5*n, 0 = 3*n. Suppose x = -5*b + 22 - 27. Let j = 5 + -10. Sort 3, b, j.
j, b, 3
Suppose -10*t + 178 = 228. Let a = 6 - 9. Sort 0, a, t.
t, a, 0
Let m be 0 + -5 + (-42)/7 + 13. Sort 5, -18, m, -5 in descending order.
5, m, -5, -18
Let c = -59.11 + 0.11. Let b = c - -58.13. Let w = 0.13 - b. Put -0.1, w, -3 in increasing order.
-3, -0.1, w
Let i = 471 - 469. Sort i, 72, 1, -5 in increasing order.
-5, 1, i, 72
Let z be (-10)/(-6)*(1 - 4). Put -1, 0.05, z, -0.5 in descending order.
0.05, -0.5, -1, z
Let i = -183/22 + 86/11. Let v = 4.1 - 4. Sort -0.1, i, v, -3/7.
i, -3/7, -0.1, v
Suppose 3*c + 2 = -13. Let v = -25 + 29. Suppose -v*p - 6 = -6*p. Put p, c, -1 in descending order.
p, -1, c
Let h(x) = -x**2 + 8*x + 21. Let j be h(10). Sort 12, j, -4 in decreasing order.
12, j, -4
Let b be (3/(-6))/((-1)/2). Let s(x) = -6*x + 0 + 3*x - 3. Let d be s(-1). Put d, b, 4 in ascending order.
d, b, 4
Let f = -0.2 - 15.8. Let k = 3104 - 3105. Sort 5, k, f.
f, k, 5
Let p = 0.07 - 0.47. Let a = 7 + -6. Let i = a + 4. Sort p, 2/3, i.
p, 2/3, i
Let s be 11/(-2) + (-567)/(-378). Let j(w) = w**2. Let b be j(0). Sort 2, s, 5, b.
s, b, 2, 5
Suppose 0 = 73*v - 86 + 232. Sort v, 4, -5/18, 1/7 in descending order.
4, 1/7, -5/18, v
Let l be (-6)/(3/(-1) - -1). Suppose l*i = i + 38. Let q = 21 - i. Put -3, q, -3/5 in decreasing order.
q, -3/5, -3
Let f = -1906.97 - -1907. Put -2, 6, -3, f in increasing order.
-3, -2, f, 6
Suppose 0 = -190*l + 201*l - 33. P