pose -p - 19 = 4*l, 2*l = 6*l - 5*p + 1. Put 1/2, l, r in decreasing order.
1/2, r, l
Let f = 1202.7 - 1202.5. Put f, -1/4, 0.165 in descending order.
f, 0.165, -1/4
Let n = 4976 + -4971. Sort n, 312, -4.
-4, n, 312
Let b(k) = 2*k + 12. Let s be b(-5). Let n be s - 2 - (0 - 2). Suppose -4*i + n*a = 0, 0 = -3*i - 2*a + 16 - 2. Put i, 3, 1 in increasing order.
1, i, 3
Let y(j) = -3*j - 46. Suppose 59*n - 80 = 64*n. Let i be y(n). Sort 5, i, -5.
-5, i, 5
Let m = -1 + 1. Suppose -44*j - 1592 = -442*j. Sort j, m, 2.
m, 2, j
Let l(v) = -5*v**3 + 5*v**2 - 5*v + 6. Let z be l(4). Let y = z - -250. Sort y, -100, 4 in increasing order.
-100, y, 4
Let h = -1 - -1.01. Suppose 3*i + 15 = -3*c, -5*c + 6*c + 2*i + 1 = 0. Let q be 27/6*6/c. Sort -1/8, h, 4, q in ascending order.
q, -1/8, h, 4
Suppose 46210 = -2219*j + 5910 - 17394. Let y = 1 + 1. Suppose 2*v - 16 - 12 = 5*x, -4*v = 3*x - 4. Sort j, v, y in decreasing order.
v, y, j
Let h = 329.8 - 332. Let d = -4.2 - h. Put d, 3, -0.05 in descending order.
3, -0.05, d
Let o = -1738 + 1740. Put -4, o, 4, 0, -10 in descending order.
4, o, 0, -4, -10
Let t = -12658 - -12663. Suppose -y - 9 = 3*g, 4*y = 3*g + 44 - 5. Sort y, t, 4, 2.
2, 4, t, y
Let f = -14232.65 + 14233. Put -6, 1, f in descending order.
1, f, -6
Let y = 239/2451 + 1/129. Let b = -236.9 + 249. Let u = b + -12. Put u, y, 7 in descending order.
7, y, u
Let p = 20.63 + -21. Let s = p - -1.87. Let u = s - 4.5. Sort 2/3, u, 1 in decreasing order.
1, 2/3, u
Let z = 0.125 - -0.175. Suppose 0 = 3*p + 15 - 45. Let t = p - 13. Put z, 3, 4, t in decreasing order.
4, 3, z, t
Let v = 303 - 287. Let q = 132 - 128.968. Let w = q + -0.032. Sort v, 0.3, 2/11, w in descending order.
v, w, 0.3, 2/11
Let v(r) = -r**3 - 6*r**2 - 9*r - 53. Suppose -4*a + 10*t = 5*t + 4, 0 = 3*a + t + 22. Let j be v(a). Sort -54, 0.3, j in increasing order.
-54, 0.3, j
Let v(h) = 2*h**3 - 10*h**2 - 25*h + 71. Let r be v(6). Put 48, 3, r in decreasing order.
48, 3, r
Let f = 17068 + -17067. Put 17, -5/6, -23, f in ascending order.
-23, -5/6, f, 17
Suppose 3*i = 2*j + 4, 2*i - 3*j = -6*j - 6. Suppose 5*r = -3*r - 595 + 603. Sort i, 7, r, -3 in decreasing order.
7, r, i, -3
Suppose 3149 = 95*j - 4071. Put -11, j, 2 in increasing order.
-11, 2, j
Let l be -2 + 39/21 - 1856/4060. Sort -2/21, l, 1.
l, -2/21, 1
Suppose -2*y + 10 + 0 = 4*c, -4*c + 5 = 3*y. Let d(t) = t**3 - 19*t**2 + 3*t - 46. Let p be d(19). Suppose -z + p = 15. Put z, y, -1, 1 in increasing order.
y, z, -1, 1
Let s be (-20)/(-119) - (-4)/(-14). Let f = -7113 + 7109. Let v = -1 + 1. Sort f, v, s.
f, s, v
Let a = -1321 + 1320. Let x(k) = k**2 + 8*k - 13. Let l be x(-9). Put -2, l, a, 2 in descending order.
2, a, -2, l
Suppose -1 + 11 = 2*s. Let w(h) be the first derivative of -h**4/4 - h**3/3 + 7*h**2/2 + 10*h - 92. Let g be w(3). Put -4, s, g in increasing order.
g, -4, s
Let t(v) = 2*v**3 - v**2 - 3*v - 1. Let l be t(2). Suppose -11 = -i - l*n - 9, -i + 2 = 4*n. Let q = -763/6341 - -1/373. Put -2/7, i, q in ascending order.
-2/7, q, i
Let w(i) = 260*i - 4419. Let h be w(17). Let c = 8 + -4. Put -5, h, c, 3 in descending order.
c, 3, h, -5
Let y = -66 - -1255/19. Let t = -2.04495 - -0.10155. Let x = -0.0566 + t. Put y, -5, x in descending order.
y, x, -5
Let d = -1600 - -1599. Sort -4, -0.4, -6/23, d, 2 in decreasing order.
2, -6/23, -0.4, d, -4
Suppose -8*n + 4*n = 14*n + 16*n. Sort 23, n, -3 in increasing order.
-3, n, 23
Let j(y) = -936*y + 104. Let z be j(-4). Let m be -7 - (z/(-48))/13. Put 1/7, 2/5, -3, m in ascending order.
-3, m, 1/7, 2/5
Let g(j) = -27*j + 905. Let y be g(34). Sort -4, -5, 3, -6, y.
y, -6, -5, -4, 3
Suppose 7*f - 2556 = 220*f. Sort 14, f, 4 in descending order.
14, 4, f
Let o = 410.7 - 74.7. Let b = 337 - o. Sort -0.03, -0.6, b, 4.
-0.6, -0.03, b, 4
Suppose -4 = -f + 1. Let j = 14919 - 14920. Suppose -2*n - 5 = -n. Sort j, f, n in decreasing order.
f, j, n
Let j be 230/575 + (-38)/70 + (-12)/42. Put -1/2, j, 0.04, 0.3, 5 in decreasing order.
5, 0.3, 0.04, j, -1/2
Let c(m) be the third derivative of 4*m**6/15 - m**5/20 + m**4/12 - 6*m**2 - 3. Let l be c(1). Suppose 0 = -d - l + 30. Sort d, 0.3, -3.
-3, d, 0.3
Let u(j) = -j**3 + 11*j**2 + 26*j - 291. Let g be u(11). Put -2, 367, g in increasing order.
g, -2, 367
Let u = 82 + -67.5. Let x = u - 96. Let d = x - -81. Sort 1/5, 0, -4, d in descending order.
1/5, 0, d, -4
Let x(q) = 2*q**2 + q. Let f be x(-1). Let l be (-1 - (2 + -1)*-2)/(134 - 129). Sort -2, f, l, 2/7.
-2, l, 2/7, f
Let b = -21 + 9. Let o(r) = -29008*r - 145037. Let u be o(-5). Put -2, 1, b, u in descending order.
u, 1, -2, b
Suppose -25*d + 225 = 300. Sort -4, 2, 24, d, 3.
-4, d, 2, 3, 24
Let d = -2 - -1. Let v be (-5 + 9)*1 + (2 - 5). Let n = 5 - v. Sort 0, n, d in descending order.
n, 0, d
Suppose 2*n + 5*j - 161 = 0, 7*n - 4*j - 381 = 333. Sort 3, n, 2, 0 in decreasing order.
n, 3, 2, 0
Let j be 188/282 + (-1)/2. Let v = 54.3 - 60.21. Let l = 0.09 - v. Sort 0.2, l, j, -1.
-1, j, 0.2, l
Let v = -213/5 - -42. Let a = 12994/5 + -2599. Sort 1/8, a, v.
v, a, 1/8
Suppose -41*q = -1986 - 3795. Let i be 6/(-4)*(-94)/q. Sort 4, i, -1, -5 in descending order.
4, i, -1, -5
Let m = 24 + -17. Let x = -4 + m. Let q be -3 + 5/2 - -2. Put x, q, 0.1 in descending order.
x, q, 0.1
Let a(j) = j**3 + 3*j**2 + 6*j + 18. Let w be a(-3). Put -6, -4, w, 1, 11 in increasing order.
-6, -4, w, 1, 11
Let s = -22170.7 - -22167. Put -1/5, 4, -0.3, s, 0 in descending order.
4, 0, -1/5, -0.3, s
Suppose 7*p - 486 = -451. Suppose -9*n = d - p*n + 16, -3*d - 13 = 5*n. Sort d, 2, 0 in increasing order.
0, 2, d
Let c(g) = -g**3 - 2*g**2 + 1. Let t be c(-3). Let h be (-15)/t - 1/((-6)/9). Let d(x) = -x**2 + x + 3. Let m be d(h). Put 28, m, 2 in decreasing order.
28, m, 2
Let t = -4.2 + 5. Let d = -4.37 - -2.37. Let i be (-9)/(-11) - (-8)/44 - 1. Sort -2/3, t, i, d.
d, -2/3, i, t
Suppose 2*n + 2*i + 2 = 0, -3*n = -5*i + 4*i + 11. Sort n, -2, -7 in ascending order.
-7, n, -2
Let m be 11/((-550)/(-380)) - 7. Put m, -0.004, -2/39 in increasing order.
-2/39, -0.004, m
Let v(f) = -f**3 + 18*f**2 - 8*f + 146. Let p be v(18). Put 5, 702, p in descending order.
702, 5, p
Let p = -14104 + 14103.9. Sort 73/14, -0.5, 1/6, p in increasing order.
-0.5, p, 1/6, 73/14
Suppose -1 - 9 = -p. Suppose 4*v = 3*j + 41, 22*j - 21*j - 3*v = -22. Sort j, p, 3 in descending order.
p, 3, j
Let k(t) = t**3 - 7*t**2 + t - 4. Let g be k(7). Let b(a) = -8*a + 16. Let l be b(7). Let n be 2*((-2)/(-9) + l/18). Sort g, 14, n.
n, g, 14
Suppose 24*x = 87 + 81. Suppose 2*m + 17 = 5*v, 5*m - x = 3*v - 7*v. Let b be (-1)/(-2)*4/2. Put b, v, 10 in decreasing order.
10, v, b
Let r = -282924 + 282917. Let g(f) = f**3 + 4*f**2 + 3. Let m be g(-4). Put r, -5, m in descending order.
m, -5, r
Let p be -6 + 3 + (-12)/(-5). Let k be -5 + 333/72 + 0. Sort 2/7, k, p, -1/6 in increasing order.
p, k, -1/6, 2/7
Let x be 1/((-6)/(-6)) - (-3 - (-2)/1). Put x, 5, -300 in decreasing order.
5, x, -300
Let i be (12 - 11)*(0/4)/(-1) + 458. Sort 7, i, 5 in ascending order.
5, 7, i
Suppose -29*i = -16*i + 1573. Let u = -116 - i. Sort -5, -2, u, -4 in decreasing order.
u, -2, -4, -5
Let c = 3731/2490 + 2/1245. Let b = 1 - 2. Sort b, 4, c.
b, c, 4
Suppose -5*b + 71 + 19 = 0. Let m = b + -13. Let v = 488 + -497. Sort 3, v, m, -2 in increasing order.
v, -2, 3, m
Let h = 0.01051 + -0.15351. Sort 16/7, h, 2 in decreasing order.
16/7, 2, h
Let z = -13.71 - -13.21. Put z, 632, 5 in ascending order.
z, 5, 632
Let b(j) = 35*j + 1372. Let r be b(-49). Sort r, 3, -5.
r, -5, 3
Let n = -3186.8 + 3187. Suppose 0 = 4*c - o - 2*o - 55, -c + 3*o = -7. Let g be 540/c + (-2)/(-8). Sort n, 1, g, 0 in increasing order.
0, n, 1, g
Let o(u) = -63*u + 2395. Let j be o(38). Put 2, j, 145, -3, 3 in decreasing order.
145, 3, 2, j, -3
Suppose 15*q - 7 = 53. Suppose -q*y = i + 84, -6*y + 5*y - 12 = -2*i. Sort y, -4, -5 in increasing order.
y, -5, -4
Let k be ((-2278)/68 - -31) + 2/(4/6). Put 8/11, -0.3, 3, 2, k in descending order.
3, 2, 8/11, k, -0.3
Let i = 13 - 8. Let s = i + -4.5. Let a(p) = -3*p - 166. Let t be a(-55). Sort 2, s, t in descending order.
2, s, t
Let u = 1638 + -1638. Let n = 81 - 79. Put 4, 10, u, n in descending order.
10, 4, n, u
Suppose -3*u + 12*u = 0. Let j(s) = -4*s**2 + 145*s - 177.