et v be r(3). Sort 0, i, v, -8.
-8, i, 0, v
Suppose 8*k + 20 = 3*k. Let p(v) be the first derivative of v**4/2 - 2*v**3 - 5*v - 17. Let u be p(3). Put 7, k, u, 4 in descending order.
7, 4, k, u
Suppose -26*v = -1372 + 1320. Sort -5, -2, v, 806, 4 in descending order.
806, 4, v, -2, -5
Let i = -152 + 89. Let v = i + 58.4. Let r = -4.4 - v. Sort 0.4, 5, r, 0.
0, r, 0.4, 5
Let c(x) = -4*x**3 + 3*x + 4. Let q be c(-1). Suppose t - 3*w = -0*t, 0 = -5*t - q*w. Put -18, 5, t in ascending order.
-18, t, 5
Let d(g) = 3*g + 36. Let f be d(-11). Let w be -8 - 3/((f/3)/(-1)). Put -1/6, 5, w, 2 in descending order.
5, 2, -1/6, w
Let z = -0.191 - 4.709. Let w = z + 4.9. Put -0.2, 3, 1, w in decreasing order.
3, 1, w, -0.2
Let h(x) = -47*x + 1267. Let z be h(28). Sort -5, z, -7 in decreasing order.
-5, -7, z
Suppose 2*i + 5*s = -15, 0*s = -5*s - 15. Suppose i = -3*j - p + 7, -4*p = 13 + 7. Suppose v + 3*m = -4*v - 86, -5*v - m = 92. Sort 1, j, v in decreasing order.
j, 1, v
Let n = -74 - -74. Suppose -5*j = 2*x - 116, 0 = 5*j - n*x - 4*x - 98. Suppose -7 = 3*b - j. Put -3, 9, b in descending order.
9, b, -3
Let f = -67/14211 + 3852239/6252840. Let d = -713/8536 + 7/97. Let z = d + f. Sort z, -0.4, 0.5 in ascending order.
-0.4, 0.5, z
Let d = -5 + 0. Suppose -15*o - 31 - 14 = 0. Let j be (-1)/((-5)/1 - -4). Sort o, 0, d, j in decreasing order.
j, 0, o, d
Suppose -3*w = 2*w - 20. Suppose 12*p - 14 + 2 = 0. Let f be (p + 21/(-14))*34. Sort f, w, -4 in descending order.
w, -4, f
Suppose 69*g = 18*g - 561. Put 0, g, 3, -45 in increasing order.
-45, g, 0, 3
Let q = 214.4 - 367. Let y = 157.6 + q. Let d = -0.01 + -3.99. Sort y, 2, d, -0.3 in descending order.
y, 2, -0.3, d
Let m = 1/483 + -979/6279. Sort m, -2/7, 0.15, -2/3 in increasing order.
-2/3, -2/7, m, 0.15
Let q = -49039/165 + -1003/33. Let l = 327 + q. Sort -0.1, l, -5 in increasing order.
-5, l, -0.1
Let t = 0.266 + 0.034. Let p = -18 - -14. Let a = p - -12. Put 4, a, t in descending order.
a, 4, t
Suppose 4*b + 2 = i + 5, -3*b = -3*i + 9. Sort 93, b, -7, 3, -1 in descending order.
93, 3, b, -1, -7
Let x = 506.42 + -506. Let c = -0.82 + x. Sort c, 2, 1, -0.2.
c, -0.2, 1, 2
Suppose 1657*p - 6 = 1656*p - 4*r, 0 = 4*p - r - 7. Sort 17, p, 1, -4, -13 in ascending order.
-13, -4, 1, p, 17
Let g(l) = -l**3 - 5*l**2 + 6*l - 1. Let r be g(-6). Let p = -0.16 - -0.06. Let o = p - 0.2. Put 0, r, o, 5 in descending order.
5, 0, o, r
Let u = -3066 + 3057. Sort -6/5, -13, -1/2, u.
-13, u, -6/5, -1/2
Suppose -8*j = -20351 + 20799. Put 5, j, 2, 6 in decreasing order.
6, 5, 2, j
Let r = -18679.4 - -18679. Put 4, 0.5, r, -2/7, 83 in descending order.
83, 4, 0.5, -2/7, r
Let b = -109/7 + 239/14. Sort -3/7, 2, b, 2/5, -611 in increasing order.
-611, -3/7, 2/5, b, 2
Let j = -670 + 944. Let p = -289 + j. Sort 3, -5, p in decreasing order.
3, -5, p
Suppose -243*k - 3*k = 149*k - 790. Suppose 0 = -3*r + 4 - 79. Sort r, k, -2 in descending order.
k, -2, r
Let i be (-29 - -11 - -12) + (-7)/(-1). Sort 4, i, -1, -32.
-32, -1, i, 4
Suppose h - 4*v - 3 + 0 = 0, 0 = -4*v - 8. Let r = 112 - 109. Let g be (-11)/((-77)/r) - 36/(-14). Sort g, -4, h in ascending order.
h, -4, g
Let d = 50 + -36. Let s(c) = c**3 + 4*c**2 - 3*c - 11. Let i be s(-4). Let p be -2 - (-2 - (-2 + 2)). Sort i, p, d.
p, i, d
Suppose 2*h - 318 - 82 = 2*t, -402 = -2*h + t. Let w = h - 196. Put -3, 12, w in descending order.
12, w, -3
Suppose -2*w - 5*j - 12 = 0, 5*j - 10*j = 4*w + 24. Let f be (-16)/((-7)/84*w). Sort f, 1, -1 in descending order.
1, -1, f
Suppose 4*z - 26 = -5*k, 5*z + 3*k = 567 - 541. Put 0, z, 2, -56 in ascending order.
-56, 0, 2, z
Let r = 0.007 + -0.467. Let n = 0.04 - r. Let z = -39.3 - -38.8. Put z, 5, n, -0.4 in decreasing order.
5, n, -0.4, z
Let t(l) = 2*l**2 + 30*l. Let c be t(-15). Suppose 2*b - 4*b + 7*b = c. Sort 2, 5, -3, b in decreasing order.
5, 2, b, -3
Let c be 151 + (-4 - -2)/(-2). Let q = -1066/7 + c. Sort 2/3, 0.1, q in descending order.
2/3, 0.1, q
Let f = -0.1 + 7.1. Let z be (-4)/(-12) + 2/(-3). Let i = -13.351 + 9.351. Sort z, i, f in decreasing order.
f, z, i
Suppose -17*t + 6*t + 11 = 0. Let c(v) = v**3 - 2*v**2 - 4*v + 9. Let y be c(0). Put t, y, -5, -1 in increasing order.
-5, -1, t, y
Let v = 21535 + -21538. Put v, -453, 3 in descending order.
3, v, -453
Let s = 7043 + -7047. Put -2, -103, s, 3 in descending order.
3, -2, s, -103
Let q = -9948/34867 - 2/4981. Sort 2, 1, 0, q in ascending order.
q, 0, 1, 2
Let v(m) = m**3 + m**2 - 45*m + 79. Let o be v(2). Suppose -2*d = -2*n + d + 13, 0 = -3*d - 9. Let p be (2 + -5)/(n/(-2)). Sort -4, p, o.
-4, o, p
Suppose 12 = 4*r, -r = -f + 58 - 65. Sort 35, 5, 1, 4, f in decreasing order.
35, 5, 4, 1, f
Let h = 6.5 + -6. Let o = 17 + -12. Let m = 12173 - 12171.9. Sort o, h, m in descending order.
o, m, h
Let g(u) = -u**3 - 12*u**2 + 14*u + 6. Let m be g(-13). Let l = m - 2. Let a be 6/l - (-33)/9. Put -2, a, 0, -1 in descending order.
a, 0, -1, -2
Let w = -25.93499 - 0.06501. Put w, -1.6, 5 in descending order.
5, -1.6, w
Let m = -72998/174795 - 4/4065. Put m, 0, -0.2 in ascending order.
m, -0.2, 0
Let c be 3*((-196)/42 + 4). Sort 207, 2, 0, c in increasing order.
c, 0, 2, 207
Let m be 1023/51 - 17 - (-1)/(-17). Put 6, -2, 5, 8, m in decreasing order.
8, 6, 5, m, -2
Let i = -0.38 - -0.72. Let n = -23.34 + i. Let s = 22.9 + n. Put s, 7, 1 in ascending order.
s, 1, 7
Suppose 0 = 8*g + g. Let z be g/(-1*(12 - 7)). Sort z, 3/4, -0.19, 0.5.
-0.19, z, 0.5, 3/4
Suppose 5*s - z = 919 + 131, 2*z + 840 = 4*s. Put s, 4, 1, 2 in decreasing order.
s, 4, 2, 1
Let v be 58 - 60 - (-5 + (-116)/(-40)). Put 2199, v, -1 in descending order.
2199, v, -1
Let z = -4555 + 4555.981. Put -3, -1, z in descending order.
z, -1, -3
Let p(v) = 677*v - 7434. Let b be p(11). Suppose 32 = -3*n - 5*t - 0*t, 4*n + 8 = 2*t. Put b, 4, -3, n in decreasing order.
b, 4, -3, n
Let t = -7 + 6.89. Let b = t + 0.04. Suppose -2267 = -7*v - 2288. Put 5, -1/3, b, v in descending order.
5, b, -1/3, v
Let l(q) = -q**2 + 2*q - 2. Let f be l(2). Let y(k) = -4*k + 14. Let t be y(5). Let w be t + 2/(-1)*(13 + -14). Put 0, w, f, 4 in descending order.
4, 0, f, w
Let x = -3 + 5. Suppose 0 = 4*h + 12, x*y - 7*y - 18 = h. Let g(i) = i**2 - 59*i + 169. Let j be g(3). Put y, j, -2, -7 in descending order.
j, -2, y, -7
Suppose -50 = -4*o - f + 25, -2*o = 5*f - 15. Suppose 0 = o*a - 16*a. Let r(p) = -p - 6. Let l be r(-4). Put l, a, 5 in decreasing order.
5, a, l
Let i be 2*1*6/(-4). Suppose c = -5*q - 16, 2*q + 35 = 4*q + 5*c. Put q, 2, i, 5 in decreasing order.
5, 2, i, q
Suppose 2*f - 5*p = f + 152, 0 = -5*p + 20. Let q = f - 174. Let m be (-3 - 0) + 6 + 2. Sort 7, q, m in descending order.
7, m, q
Let x = -235226906/3885 - -302738/5. Let k = 1/111 + x. Let y = 123 + -119. Put -3/8, y, k in increasing order.
-3/8, k, y
Let j(a) = a**2 - 7*a + 8. Let i be j(6). Let h = 9061 - 9061. Suppose z - 4 = -0*z, -5*z + 23 = f. Put f, -5, h, i in decreasing order.
f, i, h, -5
Suppose 8*k + 4 - 28 = 0. Suppose 2*t = 3*u - 1, k*u = 5*u + 2. Put 5, 1, t, 2 in ascending order.
t, 1, 2, 5
Let h = -1325/7 - -189. Let n(o) = -5*o + 2. Let v be n(0). Let j be 0/2 - v/6. Sort j, -0.3, 2/3, h.
j, -0.3, h, 2/3
Let g be (8/(-18))/(91/(-9) - -10). Let u(j) = -j + 5. Let q be u(g). Sort -5, 4, 29, q in ascending order.
-5, q, 4, 29
Let g = -0.3978 + -0.0022. Put -0.3, g, 9, -0.2 in decreasing order.
9, -0.2, -0.3, g
Suppose -5*c = 2*t - 13, 3*c + 17 = -t + 24. Let x(v) = v**2 - 9*v + 3. Let w be x(10). Suppose 5*i - w - 62 = 0. Put t, 3, i in descending order.
i, t, 3
Let g(u) = -u**2 + 29*u - 63. Let o be g(23). Suppose o = -8*r - 7*r. Let n = -8.3 - 1.7. Put -4, r, n in decreasing order.
-4, r, n
Let v = 23.7 + -27. Let q = v - 0.7. Let y = 213.2 - 213. Sort y, 1/8, q in descending order.
y, 1/8, q
Let b = 6838 - 6847. Sort -0.31, b, 3, -1/6.
b, -0.31, -1/6, 3
Let g be 2/(-8) + (-50)/(-72). Let y = 7538.2 + -7538.1. Sort g, -0.02, y, -3/8 in increasing order.
-3/8, -0.02, y, g
Let t = 74.42 + -79.42. Put -42.8, t, 3 in increasing order.
-42.8, t, 3
Suppose 32*a - 30*a = -294. Let r = a + 150. Suppose 0*x - 5*x + 21 = -4*w, -x = -w - 4. Sort -3, w, r, 4 in decreasing order.
4, r, w, -3
Let k(i) = 9*i + 249. Let v be k(-27). Suppose v*r + 4 = 2*r + 5*g, 4*g - 32