et x = 832 - 815. Sort x, 2, -3, -5 in decreasing order.
x, 2, -3, -5
Suppose 2*q - 37 + 19 = 2*x, x - 7 = -3*q. Sort 8/13, x, 4.
x, 8/13, 4
Let b(y) = -25*y - 254. Let i be b(-10). Put -2, i, -17, 5 in decreasing order.
5, -2, i, -17
Let b = 0.65 + -0.55. Sort -0.5, b, 0, 0.2 in decreasing order.
0.2, b, 0, -0.5
Suppose 0 = -w - 4*j - 0*j + 26, j = 3. Sort w, 0.2, -3, 2/11 in increasing order.
-3, 2/11, 0.2, w
Suppose 0*j - j - 19 = 5*o, 4*o - 5*j - 8 = 0. Suppose 4*f = 4*c + 16, 3*f + 10 = -3*c + 8*f. Put o, -2, c, 0 in decreasing order.
0, -2, o, c
Let f be (0 + -2 - (-150)/25)/1. Sort 250, -5, f in ascending order.
-5, f, 250
Let t(p) = -p**3 - 4*p**2 + 2*p + 4. Let f be t(-4). Let b(y) = 2*y + 3. Let w be b(-3). Sort 1, f, w in increasing order.
f, w, 1
Let t(q) be the second derivative of -q**5/20 - 2*q**4/3 + 19*q**3/6 - 4*q**2 - 18*q. Let k be t(-10). Sort -4, 5, -2, k in increasing order.
-4, -2, k, 5
Let h = 83.5 - 83.1. Put -1/3, h, -1/5, -4 in descending order.
h, -1/5, -1/3, -4
Let h = 493 + -493.3. Let q = 0.5 + -0.3. Put h, -8, q, -5/3 in ascending order.
-8, -5/3, h, q
Let w = 26.1 + -26. Let z = -123.06 + 123. Sort z, -0.5, w in increasing order.
-0.5, z, w
Let b(q) = q**2 - 14*q + 2. Let o be b(14). Suppose -5*c = -4*k + 15 + 13, -o*k + 24 = -5*c. Let p(w) = w**3 + 2*w**2 - 3*w - 1. Let u be p(-2). Sort u, k, 3.
k, 3, u
Let k be 3 + 21/(-9) + (-52)/(-39). Sort 6, 8, k in ascending order.
k, 6, 8
Let j = 11.4 + -11. Let b = 179 + -1609/9. Sort -5/2, j, b.
-5/2, b, j
Let j = 99 + -91. Let q be -3*(-32)/(-80)*5/6. Put j, q, -2 in descending order.
j, q, -2
Let y be (2/1)/((-20)/6 - -4). Put y, -2/9, 3/5 in ascending order.
-2/9, 3/5, y
Let k = -233 + 233.1. Sort 4/5, k, -10 in decreasing order.
4/5, k, -10
Let c be -2 + -1 + 2 + -2. Let w = c + -2. Suppose 17*h = -16*h + 462. Put h, 1, w in descending order.
h, 1, w
Let d be 26/(-8) - 2/(-8). Let n = d + 3. Suppose -2*m + 2 = -n*m. Put 2, 1/3, m in ascending order.
1/3, m, 2
Let x be 42/105 - 2/((-20)/(-14)). Sort x, 2, -20, 0 in descending order.
2, 0, x, -20
Let m be (4/(-20))/((-11)/55). Suppose s = x + 4*x + 16, 3*s - 6 = x. Sort x, m, 6 in increasing order.
x, m, 6
Let m = -279.8 - -174.9. Let q = 105 + m. Sort q, 0, -7 in descending order.
q, 0, -7
Suppose -a + 17*a - 16 = 0. Sort 2, 4, -9/5, a in increasing order.
-9/5, a, 2, 4
Let t(l) = -l**2 + 14*l - 9. Let r be t(13). Suppose 5*o - r*k + 1 = -4, -k + 5 = 0. Sort -6, -5, o in descending order.
o, -5, -6
Let s = -1106 + 1104. Let a(h) = h**2 - 7*h + 3. Let i be a(6). Sort i, 2, s in ascending order.
i, s, 2
Suppose -2*i + 4 = -6*i. Let t be (i - (-12)/4) + 2. Let z be ((-2)/t)/(14/56). Put -13, -4, z in decreasing order.
z, -4, -13
Suppose 4*a + 52 = 2*s + 20, 0 = 5*a - s + 40. Let x be (1 + -7)/(0 - 2). Put a, 5, x in descending order.
5, x, a
Let m be 2/4*(-4 - 2). Let d be (-6)/m + (3 + -2 - -1). Put 5, d, -3, -2 in decreasing order.
5, d, -2, -3
Let o = -57 + 52. Sort o, 5, 0 in descending order.
5, 0, o
Let c = 290 - 1161/4. Sort 1, 0.1, c in ascending order.
c, 0.1, 1
Suppose -5*x - 10*x = -10*x. Let o = 15 - 17. Sort 1/5, x, o.
o, x, 1/5
Let k be (20/(-4) - -10)*(-1)/(-20). Put 2/7, -1, 3, k in decreasing order.
3, 2/7, k, -1
Let y(f) = -11*f - 2. Let o be y(-2). Suppose -6 = 2*r + 4*d, o = -2*r + 3*d - 14. Let c = r - -12. Sort 5, c, 3 in descending order.
5, 3, c
Let p = 4 + -1. Suppose 0 = 2*c + 5 + p. Let k = -14.8 + 21.8. Sort 0, c, k in ascending order.
c, 0, k
Let q(w) = -w**2 + 4*w + 3. Let u be q(5). Suppose -3*z = -i + 2, -3*z + 5*z = 5*i + 16. Put 4, i, u in descending order.
4, u, i
Let c = -2208.97 + 2222. Let w = -13 + c. Sort 4, w, -0.5 in decreasing order.
4, w, -0.5
Let v = 340.1 + -340. Let s be 145/45 + -3*1. Let o = 1046/7 - 149. Put v, s, o in ascending order.
v, s, o
Let n = 3.226 + -1.613. Let k = -0.257 - n. Let d = k - 0.13. Sort -0.1, -0.2, d.
d, -0.2, -0.1
Let f = 107.596 + 1.404. Put -1/2, f, 0.5 in ascending order.
-1/2, 0.5, f
Let i = -979/16 - -245/4. Sort 0, i, 2 in descending order.
2, i, 0
Let j(h) = h**3 + 31*h**2 + 32*h + 58. Let r be j(-30). Put 5, 2, 1, r in decreasing order.
5, 2, 1, r
Let i(q) = -q**3 - 3*q**2 - 4*q + 2. Let n be i(0). Let s(t) = t**3 + 4*t**2 + t + 1. Let m be s(-3). Suppose -5*r = -8 - m. Sort -5, r, n in ascending order.
-5, n, r
Suppose -7*o + 2*o + 45 = 0. Let c be (o/7 - -2) + -4 + 1. Put c, -1/5, 2, 16 in ascending order.
-1/5, c, 2, 16
Suppose -14*o + 78 = 12*o. Sort o, -7, -5.
-7, -5, o
Let y = -107 - -114. Sort 3, y, -3, 6 in ascending order.
-3, 3, 6, y
Suppose -3 = u - 5. Put u, 1, 10, 0 in descending order.
10, u, 1, 0
Let v be 360/(-84) + 4*1. Let c = -29 + 55/2. Sort -0.1, c, v, -3 in descending order.
-0.1, v, c, -3
Let s(t) = t**2 - 17*t - 1. Let b be s(17). Let c = 0.49 - -0.01. Let o = -4.5 + c. Sort o, b, -0.6 in decreasing order.
-0.6, b, o
Let f(o) = -o**2 + 24*o - 2. Let t be f(24). Let b be ((-2)/(-4))/((-2)/(-4)). Sort t, -2/11, b in descending order.
b, -2/11, t
Let i = 172 + -174. Let q = 10 - 9.2. Let n = q - 0.9. Put n, 0.4, i in ascending order.
i, n, 0.4
Let p = 33.7 - 34. Let m(s) = 1. Let x(i) = -i + 12. Let k(c) = -3*m(c) + x(c). Let t be k(11). Sort t, p, 1 in increasing order.
t, p, 1
Suppose 152 + 208 = -10*q. Let j be (q/(-16) + -2)/((-1)/(-4)). Let s = 11 + -6. Sort 4, s, j in decreasing order.
s, 4, j
Suppose -27 = l - 49. Sort l, -4/9, 3/8 in descending order.
l, 3/8, -4/9
Let h(w) = -7*w**2 + 46*w + 8. Let s be h(7). Sort s, -4, -2, 1.
s, -4, -2, 1
Let i = -169 - -105. Put 4, -2/7, i in ascending order.
i, -2/7, 4
Let q = -172 + 175. Put q, -0.1, 2 in increasing order.
-0.1, 2, q
Let v = 56 + -391/7. Let s = -3.95 + 3.88. Put s, 5, v in descending order.
5, v, s
Suppose 0 = 2*o + 2 + 6. Let x = 11 - -34. Let n = x - 45. Put -1, n, o in descending order.
n, -1, o
Let w(g) = -g**2 + 8*g - 8. Let t be w(6). Suppose -y - t = 1. Suppose 2*z - 3*z = 0. Sort -4, y, z in descending order.
z, -4, y
Let k be (-66)/(-4)*(-4)/(-2). Let s = k - 53. Let d = s - -59/3. Sort 1/2, 0.05, d in decreasing order.
1/2, 0.05, d
Let d be 9 + (11 - 427/21). Sort 0.5, -71, d in decreasing order.
0.5, d, -71
Let v = 613/828 + 2/207. Put v, -5, 0, -7.8 in descending order.
v, 0, -5, -7.8
Let u be 1 + (0 - -8*4). Let x = -31 + u. Put 5, -6, x in decreasing order.
5, x, -6
Let r = -813 - -812.99. Suppose -n = n + 8. Sort 0.3, r, n in ascending order.
n, r, 0.3
Suppose 97 = 4*v + g, 5*v + 3*g = 16 + 107. Suppose -3*s + 10 = 4*o, 20 = -9*o + 14*o. Sort 1, v, -5, s in descending order.
v, 1, s, -5
Let r be (-22)/(-132) + 106/12 + -4. Sort 12, -2, -1, r in decreasing order.
12, r, -1, -2
Let k = 423 - 426. Sort 4, k, 5, 1 in decreasing order.
5, 4, 1, k
Let k(l) = 7*l**2 + 1. Let p be k(1). Let s be p/(-36) - 58/(-18). Suppose n - s = -5. Sort -6, n, -1 in descending order.
-1, n, -6
Let s(f) be the second derivative of 23*f**4/12 - f**3/2 + f**2/2 + 22*f. Let w be s(1). Sort -5, -3, w.
-5, -3, w
Suppose 9*v = 4*v + 15. Let a(g) = v*g - 1 - 10 - 4*g. Let d be a(-6). Put 3, -1/3, d in descending order.
3, -1/3, d
Let c be (-4)/(-6) + 104/(-1092). Let k = 0.9 - 0.929. Sort c, -0.1, k, 0.1.
-0.1, k, 0.1, c
Suppose 0*h - 14 = 4*x + h, 5*x - 3*h + 26 = 0. Suppose -2*r = 1 - 15. Let c = -5 + r. Sort -3, x, c in descending order.
c, -3, x
Suppose -d + 58 = 5*p, -3*p - 2*d + 39 - 7 = 0. Let s(l) = l - 13. Let z be s(p). Sort z, -10, 3, 2 in increasing order.
-10, z, 2, 3
Suppose 5*l + 3 = -5*f + 33, 12 = 4*l. Suppose -9 = f*x + 3. Sort x, -3, -2 in decreasing order.
-2, -3, x
Let u = 190 + -191.8. Put u, -0.1, -1 in ascending order.
u, -1, -0.1
Let n = -444 - -452. Sort -0.2, n, -1/3.
-1/3, -0.2, n
Suppose 0 = -0*h + h - 3. Suppose -2*a + 2*w - 6 = 0, 26*a - 4*w - 13 = 27*a. Sort a, 4, h in ascending order.
a, h, 4
Let p(b) = -b + 17. Let i be p(17). Suppose -5*w = -i*w - o - 4, 20 = -5*o. Put -2, w, 3 in ascending order.
-2, w, 3
Suppose b = s + 10, 0 = 4*b + 5*s - 22. Let h be (16/(-64))/((-2)/b) + 2. Put -1/3, -1/7, h in decreasing order.
h, -1/7, -1/3
Let n be (1 - 0)/(-2 - -11). Let g = 23 - 49. Let h = g + 30. Sort h, 5, n in descending order.
5, h, n
Let f(o) = o**2 - 24*o - 28. Let k be f(25). Sort k, 1, 166 in decreasing order.
166, 1, k
Let h