 k = -872.9 - -873. Put 4, 67, k, -0.1 in descending order.
67, 4, k, -0.1
Let w(m) = -m**3 + 19*m**2 - 16*m - 47. Let p be w(18). Sort -4, p, 1 in decreasing order.
1, -4, p
Suppose 0 = 4*w - 2*p - 8, -w + 4*p = w + 8. Suppose -5*m - 7 = -s - 2, -5*m - 15 = s. Sort m, -4, w.
-4, m, w
Let p = 109 + -214. Let j = 104.8 + p. Sort j, 0, 2 in ascending order.
j, 0, 2
Let k(l) = -l**2 + 3*l - 5. Let y be k(2). Suppose 0 = 4*b - 3*u + 15, 3*b - 4*u + 20 = b. Sort b, y, 7 in descending order.
7, b, y
Suppose -w + 29 = 3*f, -3 = -w + 2. Let m = f - 10. Put 0, m, 14 in descending order.
14, 0, m
Let z be 207*(-5)/((-30)/(-4)). Let q = -692/5 - z. Put 0, 5/4, q in descending order.
5/4, 0, q
Let k = 0.04 + -58.04. Let x = k - -58. Put -1, x, -3, -1/2 in ascending order.
-3, -1, -1/2, x
Let n be (1775/385)/5 - 2/7. Let y = -3/22 + n. Sort 0.2, -3/2, y, -1/2 in decreasing order.
y, 0.2, -1/2, -3/2
Let m = -9 + 13. Let f be (12/(-18))/(m/(-18)). Sort f, -3, -4 in descending order.
f, -3, -4
Let s = -0.91 - -5.91. Sort 20, s, -0.5, -1 in descending order.
20, s, -0.5, -1
Let i = -18 - -14. Suppose 2*k - 4*k - 6 = 0. Sort k, 0, 2, i in ascending order.
i, k, 0, 2
Let g be 3/(-9) + -1 + (-2150)/129. Sort -10, 0, g.
g, -10, 0
Let x be -4*(0 - 2)/(-4). Suppose u = -2, n + 6*u - 4*u + 2 = 0. Sort 4, n, x in descending order.
4, n, x
Suppose 469*c + 45 = 478*c. Let x = -6 + 4. Sort 0, x, c.
x, 0, c
Let v be (-11)/30 + 1/2. Let l = -54879/26 - -2109. Let o = l - -3/13. Put v, o, 0.3 in descending order.
0.3, v, o
Let o(a) = -4 + 0*a + 7*a + 15*a**2 + 2 - 17*a**2. Let j be o(2). Suppose 10 = -5*q - 5*b, 0*q + 2*b - 11 = q. Sort q, j, 6 in ascending order.
q, j, 6
Let l = 23 + -22. Let c be (1/l)/1 - 7. Let f = -4 + 0. Put f, 5, c in descending order.
5, f, c
Let c = -0.005 - 10.795. Let r = c - -0.8. Let d = r - -12. Put -2/7, d, 3/2 in descending order.
d, 3/2, -2/7
Let b(g) = g**2 + g - 28. Let y be b(-6). Let j = -4 + 2. Sort -29, j, y in ascending order.
-29, j, y
Let u = -4.1 + 3.91. Let p = u - -4.19. Let w = 0.3 - 0.4. Sort -2/5, p, w.
-2/5, w, p
Let l = -236 - -234.97. Let s = l - -0.93. Sort -11, s, -3, 1/6 in increasing order.
-11, -3, s, 1/6
Let f be 3*2/4*(-12)/(-63). Sort 0.5, f, -3 in ascending order.
-3, f, 0.5
Suppose z + 3 = 4*p + 12, 0 = -5*p - 5*z + 20. Sort p, -3, 0.
-3, p, 0
Let s(t) = 2*t**2 + 11*t + 14. Let o be s(-5). Suppose -5*u = -o*u + 4. Sort 29, u, -3 in descending order.
29, u, -3
Suppose 3*h + 2*b = -41, -5*b - 5 = 2*h + 4. Let j be 1/(-5)*2/(864/(-105)). Let t = -1/16 - j. Sort t, h, 5.
h, t, 5
Let w(i) = i**2 + 3*i - 3. Let t be w(-4). Let s(d) = d - 5. Suppose a = 4*x - 13 + 5, -2*a - 2*x = -4. Let f be s(a). Put -4, t, f in increasing order.
f, -4, t
Suppose 13*w + 970 = -499. Sort w, 0, -2, -1.
w, -2, -1, 0
Suppose -s = -r - 1, s - 6*s = 5*r - 45. Let z(c) be the second derivative of -c**5/20 - c**4/3 - 6*c. Let v be z(-4). Sort r, v, -1 in descending order.
r, v, -1
Suppose 11*i - 76 = 15*i. Let t = 24 + i. Sort t, -3, 0 in ascending order.
-3, 0, t
Let y = -75.6 - -1.6. Let p = 74.3 + y. Sort 2, -0.4, -4, p in descending order.
2, p, -0.4, -4
Suppose -10 - 2 = 12*y. Put 0, y, -4 in descending order.
0, y, -4
Let u = -41 + 37. Let f = 0.04 + 4.96. Let i = f - 5.3. Put u, i, -0.6 in descending order.
i, -0.6, u
Let j be (16/12)/1*3. Suppose 3*f - 4*i + i = 27, -f = -j*i - 21. Sort -10, f, 0.
-10, 0, f
Suppose 0 = -3*v - 7 - 5. Let s be 18/v + 1/(-2). Let g(o) = -o - 5. Let w be g(-6). Sort s, 0, w in decreasing order.
w, 0, s
Let c(m) = 8*m + 332. Let v be c(-41). Put 15, v, -3, 2 in descending order.
15, v, 2, -3
Suppose 47 = 9*t - 16. Suppose 0 = 4*a - 8*a + 3*a. Sort t, 4, a in ascending order.
a, 4, t
Let l = 24.308 + -0.108. Let n = -25 + l. Let v be 10/(-12) + -1 + 2. Put v, 1/3, n in increasing order.
n, v, 1/3
Suppose -124*b - 133 - 115 = 0. Let n(c) = c**2 + 7*c - 8. Let d be n(-8). Sort 6, b, d, 4 in descending order.
6, 4, d, b
Let d = -1388/7 + 198. Let o = -390 - -307.5. Let s = o - -83. Put 15, s, d in decreasing order.
15, s, d
Let k = 241 + -241. Put 8, k, -0.2 in descending order.
8, k, -0.2
Let f = 2175.8 - 2176. Sort 1/2, f, 23, -2/11.
f, -2/11, 1/2, 23
Let h = 21 - 28. Let q be 4/(-8)*(1 - -5). Sort 4, q, h, 2.
h, q, 2, 4
Let v(p) = -p**3 - 2*p**2 - 5*p - 17. Let h be v(-3). Suppose -3*q + 0 = -6. Suppose -2 = -q*y + 4. Sort 1, h, y in descending order.
h, y, 1
Let b = 29 + -17. Let w(x) = x - 15. Let k be w(b). Suppose -5*v + 4 = -3*v. Put v, 5, k in decreasing order.
5, v, k
Suppose -5*c + 0 = 5*w - 90, 3*c - w - 38 = 0. Let q be c/10 + (-222)/30 + 7. Sort q, 2, 4, -5.
-5, q, 2, 4
Let i = 0.77 - -0.03. Let p = 0.5 - i. Let s = -1.054 - -0.054. Put -4, p, s in decreasing order.
p, s, -4
Suppose -h - 32 = -28. Put 2, 50, h, 4 in ascending order.
h, 2, 4, 50
Let o = 53 + -51. Let u be -4 - (1 - 3) - o. Sort 4, u, 0, 3 in ascending order.
u, 0, 3, 4
Let v = -10/51 - -332/1173. Sort v, 5, 14, -1/2 in descending order.
14, 5, v, -1/2
Suppose 3*z - 80 = -5*z. Let n be (2/24)/(z/(-45)). Put -1, 2/15, n in ascending order.
-1, n, 2/15
Suppose -2*l + 2*y = -5*l - 16, -5*l - y - 29 = 0. Let b(t) = -3*t**3 + 46*t**2 - 18*t + 42. Let p be b(15). Sort l, -1, p, -4.
l, -4, p, -1
Let l = 1725/2 - 862. Suppose 0*r - 12 = -4*g + 3*r, -2*r + 15 = 5*g. Put -1/4, l, g, -0.1 in decreasing order.
g, l, -0.1, -1/4
Let u be (-16 - -14) + 1*20. Suppose -m - 8 = t, 2*m - 5*t - u = 5*m. Put 0.3, m, -0.5 in decreasing order.
0.3, -0.5, m
Let c = 183.9 + -184. Sort 2/3, -6/7, c in descending order.
2/3, c, -6/7
Let a be -2 + (-4)/4 + 27. Let g = a + -12. Let x be 8/g + (-1)/(-3). Sort x, 5, 3 in decreasing order.
5, 3, x
Let v be (6/(-36))/(4 + (-138)/36). Put v, -3, 2, 5 in ascending order.
-3, v, 2, 5
Let n = -6 + 2. Let u = -1112 + 1110. Put u, -6, n in decreasing order.
u, n, -6
Let l be 5 - 5/(10/4). Let v = -3 - -65. Let k = v + -60. Put k, l, -5 in descending order.
l, k, -5
Let c = 1275 - 1299. Sort c, -5/4, -1/2.
c, -5/4, -1/2
Suppose 5*t - t - 5 = -5*c, -t - 2*c = -5. Put -4, t, -2, -40 in descending order.
-2, -4, t, -40
Let h(u) = u**3 + 6*u**2 - 3*u - 9. Let o be h(-6). Suppose -o = 5*l - 19. Sort -2, l, 25, -3 in decreasing order.
25, l, -2, -3
Let x = 1.85 - 21.05. Let y = -20 - x. Let h = y + 2.8. Sort h, -0.1, -3 in decreasing order.
h, -0.1, -3
Suppose -29*s = -22 + 51. Sort 5, s, -5 in descending order.
5, s, -5
Let t = 6.11 - 2.11. Sort 39, 2, -2, t in decreasing order.
39, t, 2, -2
Suppose -6 + 63 = -3*c + 4*u, 5*c + 95 = -u. Suppose -5*i + 25 = -60. Let a = c + i. Sort a, -2/7, 2 in decreasing order.
2, -2/7, a
Let a be ((-47)/(-2))/(2 + (-170)/92). Let d = -155 + a. Put d, -0.1, 2, 4 in descending order.
4, 2, -0.1, d
Let x(h) = 0*h + 4 - h + 5. Let m be x(6). Let q = 3897 - 3897. Put -2/5, q, m in increasing order.
-2/5, q, m
Let i(f) = 3*f**2 + 1. Let r be i(-1). Let h = -2 + r. Suppose -l + 5*k + 28 = 0, -5*k + 30 = 3*l + 46. Put 1, l, h in decreasing order.
l, h, 1
Let t = -0.1501 - -4.1501. Put -1/16, -5, 0.5, t in decreasing order.
t, 0.5, -1/16, -5
Let z = 16 - 32. Sort z, 5, 3, -2 in decreasing order.
5, 3, -2, z
Let g = 6 + -7. Suppose 0 = 26*u - 0 - 26. Sort u, 0, 7, g in decreasing order.
7, u, 0, g
Let k = -129 + 121. Sort k, -3, 0 in ascending order.
k, -3, 0
Let k = 126.6 - 127. Suppose q - 2 - 3 = 0. Let s be 4*(-2)/8*-3. Put k, s, q in decreasing order.
q, s, k
Let u = 0.4461 + 0.0539. Put -126/11, 1, 0.1, u in descending order.
1, u, 0.1, -126/11
Let f = -0.05 + 0.15. Let s = 34 + -18.5. Let h = s + -16. Sort h, 2/21, f in ascending order.
h, 2/21, f
Let y = 61 - 115. Let r = y + 50. Sort -1, r, 14/9 in increasing order.
r, -1, 14/9
Let m be 2/(-1 - -9)*12. Let l be m*3/(-18)*0. Sort 3, -5, l in decreasing order.
3, l, -5
Let t = 583 + -587. Let u(p) = p**2 + 17*p + 21. Let v be u(-16). Sort v, 1, t in decreasing order.
v, 1, t
Let i = 0.25 - -0.1. Let v = -3.15 - i. Let m = 3.7 + v. Put m, -5, -4 in descending order.
m, -4, -5
Let b = -6 - -13. Let q = -638 - -638. Sort -2, b, q in decreasing order.
b, q, -2
Let j(c) = c**2 - 16*c + 10. Suppose 2*q + 3*q - 75 = 0. Let p be j(q). Let z = -1 + 5. Put z, -2, p in descending order.
z, -2, p
Let b = -2 - -2.3. Let h = 1.3 - 6.3. Let j = -735 + 74