et v be (-30)/(-45)*b/(-26). Put -2, u, v, 0.1 in decreasing order.
u, v, 0.1, -2
Suppose 2*y + 2*k - 6 = 0, -4*y - k - k = -14. Let m = 946 + -946. Put y, m, 6, 2/3 in descending order.
6, y, 2/3, m
Let t(m) be the third derivative of -m**6/120 + 11*m**5/60 + m**3/3 - 10*m**2. Let w be t(11). Suppose -4*l - 14 - w = 0. Sort 8, l, 5 in decreasing order.
8, 5, l
Let q = 0 - 1. Suppose 3*v + 4*f = -29, -22*f + 20*f - 20 = 2*v. Put q, -1/8, v in descending order.
-1/8, q, v
Let v = 3.8 + 4.2. Let x = -8.019 + v. Let i = 0.281 - x. Put 0, i, -1 in increasing order.
-1, 0, i
Let d = -3 + 1. Let l be (-20)/(-4) + (-306)/72. Put l, -0.04, d in descending order.
l, -0.04, d
Suppose -2*o - f = -5, -o + 5*f - 142 + 172 = 0. Suppose r + 3*t - 26 = 2, 2*r = -4*t + 56. Sort r, 4, o in increasing order.
4, o, r
Let p = -10888/15 + 726. Sort p, 4, -475 in increasing order.
-475, p, 4
Let n = 46.2206 - 0.2206. Put 2, n, 1/12 in descending order.
n, 2, 1/12
Let r = -6501 - -6443. Put r, 2, 0.2 in increasing order.
r, 0.2, 2
Let z = -39723 - -39722. Sort -2, 3, -4, z, 7 in decreasing order.
7, 3, z, -2, -4
Suppose -3*p + 88 = 25. Suppose 5*x + p = 12*u - 14*u, -u - 33 = -5*x. Sort u, 2, 3, 0.
u, 0, 2, 3
Let w = -0.1813 + 0.1213. Let k = -20 - -16. Sort k, w, -3.
k, -3, w
Let h(a) = -66*a - 50 + 62*a - 12. Let f be h(-16). Suppose 6 = 3*o - o. Sort f, o, 12 in descending order.
12, o, f
Let g = -28 - -31. Let x(t) = t**2 - 9*t - 10. Let k be x(10). Put -5, k, g in decreasing order.
g, k, -5
Let y = 277 - 272. Let i = -523243/117 + 4471. Let h = 18/13 + i. Sort h, y, -0.6 in descending order.
y, h, -0.6
Let r = -31996 + 31994. Sort -5, r, 1/13, -2/13.
-5, r, -2/13, 1/13
Let w be -24*-4*4/(-80)*(-75)/120. Put -9, 2, w, -19 in decreasing order.
w, 2, -9, -19
Let t(d) = -6*d**2 + 4*d - 2. Let n be t(2). Let w(o) = -3*o + 41. Let x = -150 + 163. Let z be w(x). Sort n, z, -2.
n, -2, z
Let m = -15274 - -15234. Sort m, -5, -3.
m, -5, -3
Let p = -130.1 - -130. Sort -2/425, p, 0.4, 0.5, -3 in decreasing order.
0.5, 0.4, -2/425, p, -3
Suppose -4*y = 5*w - 22, -2*y + 3*y + 5*w - 13 = 0. Let k be (8 - y) + (-13 - -6). Put 8, k, -1, 1 in decreasing order.
8, 1, -1, k
Let l(r) = -2*r + 1. Let d(b) = -b - 51. Let o(v) = -d(v) + 4*l(v). Let g be o(8). Sort 1, g, -0.7 in increasing order.
g, -0.7, 1
Let a = 53594 + -53592. Let p = 4 - 8. Let k be (17/4)/((-1)/p). Put k, 0, 1, a in decreasing order.
k, a, 1, 0
Let b = -29810.095 + 29810. Put 2, -13/5, b, 1/5 in decreasing order.
2, 1/5, b, -13/5
Suppose 15*h - 69 = -39. Put h, 0, -2, -3 in increasing order.
-3, -2, 0, h
Suppose -260 = -2*z + 522. Let r = -1565/4 + z. Let j = -3.7 + 4. Sort j, -5, -9, r in descending order.
j, r, -5, -9
Let z(w) = -3*w**2 + 50*w + 19. Let n be z(17). Suppose 4*d - n*m = 6*d + 14, -5*d - 27 = m. Let u be (-2)/(2 - 0)*0. Sort d, u, -2, 4 in decreasing order.
4, u, -2, d
Suppose -2*b - 4*q - 4 = 0, 9 = -4*q + 5. Put -81, b, 4, -5, -2 in decreasing order.
4, b, -2, -5, -81
Let z(k) = k**2 + 41*k - 394. Let a be z(8). Sort -0.3, 12, -1.02, a.
a, -1.02, -0.3, 12
Let l be (((-736)/12)/4)/(2 + (-24)/18). Sort l, 4, 3, -5.
l, -5, 3, 4
Let t = -5.2 - 0.8. Let b = 2482735/2 + -1241369. Sort -4, t, 0.1, b in ascending order.
t, -4, b, 0.1
Let j = -5 + 5. Let t = 676 - 663. Sort -2, t, j, -5 in decreasing order.
t, j, -2, -5
Let j = -4/11 - -13/66. Let u be (-1 - 2) + 1/((-3)/(-5)). Let y = 606.6 - 607. Put j, u, y in decreasing order.
j, y, u
Suppose 2 = -s + 3*p, -3*s - 2*p - p = -6. Suppose -2*t + 14 = -4*h, -14*h = -11*h - 3*t + 6. Put s, -1, 0, h in ascending order.
h, -1, 0, s
Let x(p) = -280*p + 1964. Let b be x(7). Let i = 2.9 + 0.1. Sort -2/31, b, i in decreasing order.
b, i, -2/31
Let r = 3.04 - -16.26. Let w = -19.5 + r. Sort 1, -45, w in descending order.
1, w, -45
Let t(d) = -5*d**2 + 44*d + 12. Let r be t(6). Suppose 176 = -74*j + r*j. Suppose 0 = -2*p + 10, 0*a + a - 8 = -2*p. Sort j, a, -1, 4 in descending order.
j, 4, -1, a
Suppose 0 = r - 2*d - 15, -5*r + 11*d = 9*d - 35. Put r, 0, -3, -7 in descending order.
r, 0, -3, -7
Let i = 12891 + -12886. Sort 2, 1, -115, i in descending order.
i, 2, 1, -115
Let c = -2.06 - -1.56. Let v be (-2 - -1)*(-6 + (-1 - -2)). Sort -2, c, -17, v.
-17, -2, c, v
Let y = -0.03 - -0.027. Let r = y - -0.403. Let j = -170 + 3231/19. Put r, 5, j in descending order.
5, r, j
Let v(j) = -4*j**2 + 46 - 14*j - 50 - 3*j**3 - 4*j**2 + 2*j**3. Let g be v(-3). Sort g, -2, 5.
g, -2, 5
Let s = 6 + -16. Let m = 7 + s. Let h = -0.078 - -3.078. Sort m, 1/8, h in descending order.
h, 1/8, m
Let w = -606 - -605. Sort -7, w, -5, 0 in descending order.
0, w, -5, -7
Suppose -4 = -3*t + t. Let b(m) = -m**3 - 23*m**2 - 17*m + 112. Let k be b(-22). Let s be (5/(5/k))/2. Sort s, -5, t, 0 in increasing order.
-5, 0, s, t
Let v = 0.0955 - 3.0955. Let x be (0 + (-3)/(-12))/(-1). Sort v, -0.1, x, 6/19 in decreasing order.
6/19, -0.1, x, v
Let n = 279 + -274. Suppose 14*p + n*p + 95 = 0. Sort p, 1.6, 4 in increasing order.
p, 1.6, 4
Let g be (-12)/((-180)/465)*1. Put 6, g, 4 in increasing order.
4, 6, g
Let i be 1/2*(0 + -2). Let s be 4/1 + -4 - -3 - i. Sort 0, s, 1, -4 in increasing order.
-4, 0, 1, s
Suppose 8 = -4*z - 0*z, 4*n + 4*z - 76 = 0. Suppose 12632 = -22*r + 12654. Sort 3, r, n.
r, 3, n
Let f = -1613.5 + 1637.5. Sort f, 4, -3/2 in ascending order.
-3/2, 4, f
Let f be 6 + 80/(-12) + 241/(-3). Let y be (-1)/(-3)*f/(-135). Put 0.4, 3, y in descending order.
3, 0.4, y
Let a be 0 - -11 - (-2058)/(-21). Put 3, -1, 1, a, -4 in decreasing order.
3, 1, -1, -4, a
Let j be 27 + -10 + (-2)/3*(-15)/(-2). Sort -0.05, j, 0.2, -12 in increasing order.
-12, -0.05, 0.2, j
Let z = -49 - -51. Suppose 0 = -5*p - z + 142. Suppose 0 = -2*o - 26 + p. Put o, -8, -3 in increasing order.
-8, -3, o
Let t be 1/2*(-8)/(-1). Suppose t*q + 2 = 142. Let j = 35 - q. Sort j, -4, -5.
-5, -4, j
Suppose 3*f - z + 4 = 14, 20 = 5*f - z. Let v be (-4)/f*45/18. Put -4, 4, -3, v in ascending order.
-4, -3, v, 4
Suppose 39*n = 89715 - 89871. Let k = 1 + 1. Suppose -j = -t + 2, 2 = k*t + t + j. Sort -3, t, 4, n.
n, -3, t, 4
Let c be 2*((-15)/(-2) + -2). Suppose k + k + z = c, -8 = 4*k - 4*z. Let i be (-1232)/(-2464)*(-1 + 3). Put k, -11, i in decreasing order.
k, i, -11
Let o = -0.7 + 0.67. Let j(t) = -17*t + 1. Let m be j(1). Let f be m/88 + (-108)/(-231). Put 0.4, f, o in increasing order.
o, f, 0.4
Let k be 2/(4/(1 + 3)). Suppose 26 = r + 5*u, -8*r + 3*r = 3*u - 20. Sort r, -14, k in decreasing order.
k, r, -14
Let q = -7787 + 7782. Sort 19/3, 5, 0.1, q, 0.4.
q, 0.1, 0.4, 5, 19/3
Let j(o) = -o**2 - 13*o - 23. Let g be j(-5). Let v(i) = -i**3 + 26*i**2 - i + 23. Let q be v(26). Sort g, 1, -0.1, q in ascending order.
q, -0.1, 1, g
Suppose -35*o + 90 - 160 = 0. Suppose -5*x + 2*g - 71 = 45, 3*g = -5*x - 101. Sort o, 2, x in decreasing order.
2, o, x
Suppose 0 = -321*t + 327*t - 12. Suppose 0 = 12*k - t + 26. Let l be 33/9 + 2/6. Put l, -5, k in descending order.
l, k, -5
Let j(d) = -d**3 + d**2 + d + 2. Let z be j(2). Let n = 7229 + -7234. Put n, z, -64 in decreasing order.
z, n, -64
Let k = 257.8 - 189. Let w = -69 + k. Let u = -52 - -51.97. Put -0.5, u, w in ascending order.
-0.5, w, u
Let n be (-40)/480 - (-2)/(-8). Sort -0.05, n, 3, 0 in increasing order.
n, -0.05, 0, 3
Let o(p) = -p**3 + 9*p**2 + 13*p + 6. Let w be 20/(-30) + (128/(-6))/(-2). Let g be o(w). Let n = 39 - g. Put n, -1, -5 in increasing order.
-5, -1, n
Let l = -1.8597 + 0.0597. Let p = 0.06 + 0.14. Put l, 3, p, 0 in descending order.
3, p, 0, l
Let f = -0.07 - 0.93. Let a = f - -24. Let z = 21 - a. Sort 1/3, -4, z, -2/7 in descending order.
1/3, -2/7, z, -4
Let t(s) = s - 174. Let x(c) = c + 174. Let k(f) = -3*t(f) - 4*x(f). Let m be k(-24). Sort m, 1/3, -2, -2/13.
m, -2, -2/13, 1/3
Let g(x) = -2*x**3 - 29*x**2 - 4*x + 138. Let i be g(-14). Sort 4, -1, 6, -3, i in ascending order.
-3, i, -1, 4, 6
Let v = -770.8 + 707. Let s = v - -58.8. Put -0.7, 0.01, -1, s in descending order.
0.01, -0.7, -1, s
Let o = -8971/12 + 747. Let g = 0.555 + -1.055. Sort g, 5, o in ascending order.
o, g, 5
Suppose 9*h - 15 = 4*h. Let w be (-1 + 3/(-6))*2/h. Let b be -6*(-5)/(75/(-10)). Sort w, b, 3.
b, w, 3
Suppose 87 = 136*f - 62*f - 45*f. Put 28, f, 66 in descending order.
66