 -15. Let o(p) = p**3 + 6*p**2 - 7*p + 8. Let b be o(w). Let t = 13 - b. Sort -4, t, -5 in decreasing order.
t, -4, -5
Let d be (-52)/(-14) - (-12)/42. Sort 0, d, -1.
-1, 0, d
Let u = -0.3474 + 0.0474. Sort 5, -1/12, u in descending order.
5, -1/12, u
Let z = 0.08 - 0.98. Let y = 29725 - 89173/3. Suppose -i - 2*i = 15. Put z, y, i in descending order.
y, z, i
Let s = 99.7 + -104. Let n = s - -0.3. Let w = 319 - 641/2. Put n, w, -0.2 in decreasing order.
-0.2, w, n
Let v = -112 + 115. Sort 0.07, v, 3/7 in descending order.
v, 3/7, 0.07
Let h be 2/48 + 4576/768. Let u be -2 + 1 - 2 - 1. Put 4, u, h in ascending order.
u, 4, h
Let x be 2*(-5)/(-60) + 56/(-48). Sort 5, x, -4, -22 in decreasing order.
5, x, -4, -22
Suppose -2 = 4*w + 14. Let z = -4 - w. Suppose 2*m = 4*i - 6, m - 21 = -4*i - z*i. Sort i, -3, -4 in increasing order.
-4, -3, i
Let g = -4/31 - -47/124. Suppose 712*v = 698*v. Suppose -f - 20 = 3*f. Put f, v, g in descending order.
g, v, f
Suppose 18*l = -64 - 80. Put 5, -4, l, 1 in decreasing order.
5, 1, -4, l
Let f = 222 - 182. Sort -1/5, f, -3.
-3, -1/5, f
Let o be -5 - ((1 - -1) + -3). Let r = o + 6. Suppose r - 7 = x. Put -0.3, -3, x in increasing order.
x, -3, -0.3
Suppose l = -5*b + 25, -53 = -3*l - 2*l - b. Let x = l - 8. Suppose -f = -4*u + 11, 3*u + 3*f - 27 = -0*f. Sort 0, x, u in increasing order.
0, x, u
Let n = 3.75 - 3.75. Sort n, 5, 3, -0.2 in increasing order.
-0.2, n, 3, 5
Let m = 0.2091 + -3.2091. Put 54, -0.4, m in decreasing order.
54, -0.4, m
Let i = -191 + 191. Suppose -4*w + 23 = -53. Put i, 5, w in descending order.
w, 5, i
Suppose 0*s = -9*s - 549. Let p = s + 241/4. Put 3, 2, -1/4, p in descending order.
3, 2, -1/4, p
Let p = 1290 - 1303. Sort -5, p, -4, 0 in descending order.
0, -4, -5, p
Let a be 44/(-4249)*222/(-4). Let m = a - 2/607. Let u = 88 - 94. Put m, -2, u in descending order.
m, -2, u
Let f(n) = n**2 - 4*n + 5. Let l be f(4). Let w be 1 + 1 + 1 + -1. Suppose -4*d = -10 - w. Sort l, d, 1 in descending order.
l, d, 1
Let h = -36 + 40. Suppose -h = 3*x - 4*x. Sort x, 5, -2 in descending order.
5, x, -2
Let b = -21 + 25. Suppose 0 = b*f + 2*o - 10, -3*f - 6 = -7*o + 4*o. Sort 2, 0, f, 3 in increasing order.
0, f, 2, 3
Let d(x) = x**3 - 9*x**2 + 10*x - 11. Let g be d(8). Suppose -2 - 13 = g*m. Let s be -1*(3 - -1) - -4. Sort s, -1/3, m in ascending order.
m, -1/3, s
Let n = -380/3 + 1511/12. Let s = -7 + 5. Let y = s - -2. Sort y, n, 4 in decreasing order.
4, y, n
Let b = 16/11 + -21/22. Suppose 27 = -4*r + m, 2*r = -3*m + 1 - 4. Sort b, 0.2, r.
r, 0.2, b
Let o = 99 + -99. Suppose 3*k + 5 = q + 2*k, o = 5*q + k - 7. Sort 1, q, 7.
1, q, 7
Suppose 0 = -5*v - 17*v - 0*v. Sort -2, v, 2, -1 in increasing order.
-2, -1, v, 2
Suppose -6 = 6*m - 7*m. Suppose m*y = 4*y + 12. Let a = 5 - y. Put a, -4, 0 in descending order.
0, a, -4
Let q(k) = k - 3. Let a be q(5). Let f(m) = 4*m**3 + 4*m - 4. Let i be f(1). Sort a, i, 8, -4.
-4, a, i, 8
Let f(t) = 3*t - 8. Let d be f(5). Suppose 36 = 4*a + 4*v, -2*v - 20 = -d*v. Sort 1, 0.5, a in decreasing order.
a, 1, 0.5
Let z = 0.411 + 38.189. Let t = 39 - z. Sort t, 2/11, -0.4.
-0.4, 2/11, t
Let t(a) = -3*a**3 - a**2 + 7*a - 3. Let j be t(2). Sort j, -13, 0, -5.
j, -13, -5, 0
Suppose -1 = -p + 14. Let k be (-20)/6 - (-5)/p. Let s be (-3)/(-1 + 2) + 2. Sort s, k, -5 in ascending order.
-5, k, s
Suppose -4*v - 8 = 4*f - 0*f, -5*v = -4*f + 19. Suppose -3*j - 3 = 0, -5*j + 15 + 0 = -4*o. Let w = -12 - -8. Put o, f, w in decreasing order.
f, w, o
Let w = 152 - 98. Let d = -52 + w. Sort -11, -1, d, 4 in decreasing order.
4, d, -1, -11
Let t = -16 - -15.87. Let f = t - -4.13. Sort 2/5, 1/2, f in increasing order.
2/5, 1/2, f
Let f = -3 + 2. Let q = 3 + f. Let o = -1486 - -1491. Put 2/19, o, q in increasing order.
2/19, q, o
Let c(i) = -2*i**3 + 41*i**2 - 87*i - 34. Let r be c(18). Put -2, -4, r in decreasing order.
r, -2, -4
Suppose 4*h - 3*p = 94 + 61, 0 = -h + 2*p + 35. Suppose 0 = 2*b - b - m - h, 3*m + 35 = b. Sort b, 1, 3, 4.
1, 3, 4, b
Suppose -5*l + 23 = 13. Put -1, -2, l, -3 in decreasing order.
l, -1, -2, -3
Let y = 267 + -163. Let x = y - 92. Sort 1/5, x, -2 in ascending order.
-2, 1/5, x
Suppose -5*v + 0*v = 440. Let z = 115/216 - 132997/1512. Let m = v - z. Put m, 3, -0.4 in decreasing order.
3, -0.4, m
Let n be 17/5 + 2/(-5). Sort -5, n, -2, -1 in ascending order.
-5, -2, -1, n
Let y(j) = -j**3 + j**2 + 23. Let d be y(0). Let s = d + -137/6. Let b = -0.401 - -4.401. Sort b, 1/3, s in increasing order.
s, 1/3, b
Let z = 1 + -5. Let w be (2/(-3))/(-4*5/120). Sort 2, w, z in descending order.
w, 2, z
Let y(r) = r - 12. Let n be y(15). Sort -4, 1, n, 0 in decreasing order.
n, 1, 0, -4
Let n = -1.84 + 7.84. Put 1/4, n, 3 in descending order.
n, 3, 1/4
Let s = 30 + -42. Let a = 1579 - 1595. Let l = a - s. Sort 1, l, 5 in ascending order.
l, 1, 5
Let w(r) = -3*r + 11 - 4*r - 54. Let z be w(-6). Let v(s) = -2*s - 3. Let x be v(-2). Put x, z, -5 in decreasing order.
x, z, -5
Let q = 5.4 + -5.6. Let h = 19.2 + -21. Let n = h - -1.9. Sort n, 0.5, q in ascending order.
q, n, 0.5
Suppose 3*n = -2*n - 5. Let s be 15*(648/(-60) - -11). Sort n, s, 5.
n, s, 5
Suppose 22*w - 52 = -8. Sort -1, 26, w, -9 in descending order.
26, w, -1, -9
Let i be (-125)/625 - (-4)/((-40)/18). Put -2171, 3, i in decreasing order.
3, i, -2171
Suppose 9 = -a - 2*f, -6 + 2 = -4*a + 2*f. Suppose -v = 4*y - 17, -2*v = 4*y - 5*v - 13. Suppose 0*w - y*w = 0. Put a, -3, w in decreasing order.
w, a, -3
Let s(w) = -3*w**2 + 44*w - 15. Let l(c) = -2*c**2 + 29*c - 10. Let f(r) = 8*l(r) - 5*s(r). Let d be f(12). Sort -2/11, d, 0.1.
d, -2/11, 0.1
Let n = -4 - -3. Let y = -0.3 - -0.2. Let j = -1.19 - -11.19. Sort j, y, n.
n, y, j
Let a = -0.405 - -0.065. Let f = a - 0.16. Sort 3, -1/3, -2, f in ascending order.
-2, f, -1/3, 3
Let z be (-36)/77 - (-4)/14. Let h = 54/13 + -326/91. Let q = 316 - 319. Sort z, h, q.
q, z, h
Suppose -802*n + 792*n - 40 = 0. Suppose -2*y + 0*y = -14. Let u = y - 3. Put u, n, 2 in increasing order.
n, 2, u
Let g be 2/8 - 69/(-12). Let h = -20 + 18. Let m = g + h. Put -4, m, 3 in descending order.
m, 3, -4
Let r = -438 + 432. Put r, 0, 3, -4 in decreasing order.
3, 0, -4, r
Let r be (2/(-4))/(3/9). Let l = 2.379 + 0.551. Let t = -0.07 - l. Put r, t, 1/3 in decreasing order.
1/3, r, t
Suppose 4*u - 151 = -3*h - 20, 4*h = -u + 36. Suppose -w + 3 = r - 3, 5*r = -3*w + u. Suppose r*t = 6*t + 2. Sort t, 3, 1.
1, t, 3
Suppose 5*v + 16 = 11. Sort v, 16, 4 in decreasing order.
16, 4, v
Suppose 4*w + 2*m = -3*m - 39, 0 = -3*w + 5*m - 73. Sort w, 0, -4 in decreasing order.
0, -4, w
Suppose 0 = z - 3*s, s - 20 = 5*z - 4*s. Suppose 0*c + 2*c = -3*d - 22, -36 = 4*d + 4*c. Let y = 51 - 56. Put y, d, z in descending order.
d, y, z
Let v = 19.953 - -0.047. Let d = 0.5 + 0. Put 0.4, d, v in descending order.
v, d, 0.4
Let h = 104 - 104.296. Let g = 0.156 + h. Put 2, g, 0.4 in descending order.
2, 0.4, g
Let f = -5 - -10. Suppose z = -5*u + 8 + 3, f*u - 6 = 4*z. Sort z, 2, 5 in ascending order.
z, 2, 5
Let z = 15 + -13. Suppose -z*d - 1 = 1. Put -2, d, 3 in increasing order.
-2, d, 3
Let r = 0.14 - 0.152. Let i = r + 0.012. Sort 0.3, i, 2, -1/5 in descending order.
2, 0.3, i, -1/5
Let x be -2 + (-4)/(0 - -2). Let o = x - -4. Suppose 8*t + 5 = 3*t. Put t, o, 1 in decreasing order.
1, o, t
Suppose 0*u + 6 = -3*u. Let j(r) = -r**3 + 15*r**2 - 2*r + 24. Let a be j(15). Let f(p) = -p**3 - 5*p**2 + 3*p - 21. Let c be f(a). Sort u, -5/6, c.
c, u, -5/6
Let g = -84 + -24. Let f = -60 - g. Put -5, 4, f, -1 in increasing order.
-5, -1, 4, f
Suppose -4*p + 3*h - 114 = 0, 14*p - 10*p = -5*h - 98. Sort 5, -7, p in decreasing order.
5, -7, p
Let w = 963/287 + 3/41. Put 1, w, -3 in decreasing order.
w, 1, -3
Let r = -19 - -18.89. Let c = r - 7.89. Let b = c + 7.8. Sort b, -0.03, -1.
-1, b, -0.03
Suppose -24 = 2*s + 4*s. Suppose -4*u - u = 4*p, -4*u = -p. Sort 4, p, s in descending order.
4, p, s
Let g be (4/12*-2)/3. Let p = 2 - 4. Sort p, 12/5, g, -4 in increasing order.
-4, p, g, 12/5
Suppose -10 = -2*d - 3*d. Let n(j) = -j**2 - 64*j - 500. Let p be n(-9). Sort p, 4, d, -2 in descending order.
4, d, -2, p
Suppose -o - 4*f + 20 = -2*f, 5*f - 56 = -3*o. Suppose 26 = -o*d - 22. Put -2, d, 3, 0 in descending order.
3, 0, -2