 v be u(-2). Sort -2, v, o in decreasing order.
o, v, -2
Let t(u) be the first derivative of -u**2/2 + 2*u - 4. Let l be t(0). Suppose 2*p + 4 = -l*p. Put p, -2, -4 in decreasing order.
p, -2, -4
Let a = 12 + -12.2. Let r = 687411618/66185 + -322010/31. Let z = r - -2/427. Sort -1, z, a in ascending order.
z, -1, a
Let r = 1 + 3. Let a be ((-2 - -2)/(-2))/2. Let d(i) = i**2 + 14*i - 5. Let k be d(-14). Sort k, r, a in descending order.
r, a, k
Let z = -27 + 24. Sort 5, -5, z in increasing order.
-5, z, 5
Suppose 9*g = 8*g - 2. Let x be (-4)/3 + 2/6. Put -3, x, g in decreasing order.
x, g, -3
Let h = 86 - 169/2. Let i(k) = k**2 - 8*k + 4. Let s be i(8). Let u be (-3 - 0)*s/3. Put -0.1, u, h in decreasing order.
h, -0.1, u
Let i be ((-1)/(-2))/(8/128). Let y(w) = w**2 - 9*w + 4. Let x be y(i). Let c be -5*(x/(-5))/1. Sort c, 2, -2 in descending order.
2, -2, c
Suppose 4*m - 2*m - 22 = 4*h, 26 = 2*m - 5*h. Let o be (6/m)/(2/5). Suppose c + o = -0*c. Put 2, c, 0.4 in descending order.
2, 0.4, c
Let j(n) = 5*n**3 + n**2. Let l be j(1). Let p be (4/l)/(2/(-3)). Sort -4, 3, p in descending order.
3, p, -4
Let o = -9 + 8.97. Put o, -3, -5 in increasing order.
-5, -3, o
Let b = 5.09 + -0.09. Let q = 108 - 109.1. Put q, b, 4 in increasing order.
q, 4, b
Let w(s) = -s**3 - 15*s**2 + 35*s + 13. Let h be w(-17). Let p = 1 + -2. Sort p, h, -3 in descending order.
p, -3, h
Let b(h) = -h - 3. Let m be b(-6). Suppose -3*v = m*j + 12, -5*v = 3*j - 0*j + 20. Suppose 0*i + 5 = -i. Put 5, i, v in ascending order.
i, v, 5
Suppose -103 = j - a, 7*a = 3*j + 2*a + 315. Let m be j/105 - 4/(-14). Sort 0.2, m, 5 in ascending order.
m, 0.2, 5
Let x = -0.3 - 0.4. Let d = 0.2 + x. Let k = -0.6 + 3.6. Sort k, d, 4.
d, k, 4
Let u(b) = -b. Let p(y) = y**2 + y + 1. Let o be p(0). Let g be u(o). Sort g, 0, 4 in decreasing order.
4, 0, g
Let v be -4 - -8 - (1 + 0). Sort 2, v, 11.
2, v, 11
Let d = -2.03 - -0.03. Let s = d - -4. Put 0.5, s, -0.2 in decreasing order.
s, 0.5, -0.2
Let w = 3.05 - 0.05. Let q = -308/5 + 61. Let m = -4 - -2. Put m, q, w in decreasing order.
w, q, m
Suppose -l + 4*f = 10, 60 = -l + 6*l + 2*f. Suppose 4*t + 2 - l = 0. Let r be 6/4 + (-2)/t. Sort -4, 2/9, r.
-4, 2/9, r
Let z(k) = -k - 5. Let f be z(-8). Let y be (2 - 0 - f)*0. Sort -4, y, -5 in increasing order.
-5, -4, y
Let t be (-5)/(-2) + (-1)/2. Suppose p = -p + 2. Sort -1, p, t in ascending order.
-1, p, t
Let k(n) = n**2 - 15*n - 5. Let v be k(15). Sort v, -2, -2/9 in ascending order.
v, -2, -2/9
Let w = 17 - 13. Let u = -4 + 3. Sort 3/2, w, u in increasing order.
u, 3/2, w
Let x = 5 - 6. Sort -5/2, x, -3 in decreasing order.
x, -5/2, -3
Suppose 0*v + 8 = -4*v. Let l be 1/(v - (-23)/2). Let j be ((-2)/3)/(8/(-6)). Sort j, 5, l in descending order.
5, j, l
Let x(m) = m**3 - 12*m**2 - m + 16. Let j be x(12). Sort -6, j, -2 in descending order.
j, -2, -6
Let r be -1 + 2 + (-2)/(-2). Let y = 6 + -21. Let u be (-4)/(-10) + (-39)/y. Sort u, r, 4 in increasing order.
r, u, 4
Let z(y) = y**3 - 9*y**2 + 7*y + 11. Let h be z(8). Suppose -8 = h*p - 4*w, -2*p = -7*p + 5*w - 10. Put p, -1, 3 in decreasing order.
3, p, -1
Suppose 1 + 1 = -v. Let g = 5 + v. Let d be 4/54*(-9)/g. Put -0.5, -3, d in decreasing order.
d, -0.5, -3
Let x = 9.4 - 8.4. Put -5, 2, -0.3, x in descending order.
2, x, -0.3, -5
Suppose -5*y + 53 = -17. Let w = y + -10. Let n = -19 - -14. Put 0, w, n in increasing order.
n, 0, w
Suppose 0 = 4*z - 11 + 51. Let b be z/3 + (-1)/(-3). Let p = -1 + 1.5. Sort b, -0.3, p in increasing order.
b, -0.3, p
Let u(z) = z**2 + 6*z + 7. Let r be u(-5). Let g be (-1)/2*r - -3. Suppose -g*q + 4 = 12. Sort 2, q, 3.
q, 2, 3
Let i(k) = 2*k**2 - 7*k + 9. Let l be i(6). Let j be l/12 - (-2)/(-8). Suppose -16 = 2*q - z + j*z, 23 = -4*q - z. Sort q, -4, -2 in descending order.
-2, -4, q
Suppose -3*d + 3*b = -6, -b - 4*b = 5*d - 10. Suppose -3*o + 3*y = 1 + d, 2*o + 5*y = 33. Suppose -7 = -2*j + 3*x, -5*x + 3 - 18 = 0. Sort j, o, 1.
j, 1, o
Let o be 2/(-13) + 13 + -13. Let b = -0.2 + 0.2. Sort b, 4, o in descending order.
4, b, o
Suppose -6*g + 11*g - 16 = -n, -3*g + 28 = -4*n. Suppose -2*h = 0, -r - h = 2*h + 1. Let k be 2*3 - (r - -3). Put -3, k, n in increasing order.
n, -3, k
Let v be 0/(0 - 2/2). Let y be 2/7 - (-32)/(-14). Put -4, y, v in ascending order.
-4, y, v
Let b = 0.4 - 0.5. Let h = b - -4.1. Let v be 1/2 - 3/4. Sort 0.2, h, v in descending order.
h, 0.2, v
Let q = -7 + 11. Let m be 13/4 + 4/(-16). Suppose -7 = -m*p - 3*n - 1, -n + 10 = -3*p. Sort q, 0, p in ascending order.
p, 0, q
Let c(r) = r + 2. Let o be c(0). Sort -3, o, 12 in increasing order.
-3, o, 12
Let a(u) be the third derivative of u**5/20 + u**4/24 + u**3/6 - 3*u**2. Let s be a(-1). Sort s, 2, -4 in increasing order.
-4, 2, s
Let a = -0.45 - -0.65. Put -3, -1/5, 4, a in ascending order.
-3, -1/5, a, 4
Suppose -2*z - z + 12 = 0. Suppose -20 = p + 3*p - z*x, 0 = 3*x - 9. Sort -4, -1, p.
-4, p, -1
Let f = 4 - 11/3. Sort 5, -0.3, f.
-0.3, f, 5
Let k = -9 - -10. Suppose -3*u + 3*l = -9, -3 = -u - 3*l - l. Suppose -3*c + 4*c = 2*x - 1, 4*x = c - 3. Put c, u, k in ascending order.
c, k, u
Let u(v) = v**3 + 2*v**2 - 2*v + 2. Let f be u(-3). Let b be (-3 - -9)/((-6)/(-4)). Put 5, f, b in decreasing order.
5, b, f
Let k = 242/281 - 816149/1124. Let t = 750 + k. Let x = t + -25. Put 1/3, x, -1 in decreasing order.
1/3, x, -1
Let j = 15 - 12. Let r be 3*-2 + 3 + -2. Sort j, r, 0.
r, 0, j
Let o be 2 - 12/(-13)*-2. Let m be -4 + 3 - (1 + 2). Put o, 3/4, m in ascending order.
m, o, 3/4
Let b(d) = d - 2. Let s be b(-2). Put 2, s, -0.4 in decreasing order.
2, -0.4, s
Let j = 9 - 4. Let c = -13 - -6. Let k = c + j. Put 0, k, 2 in descending order.
2, 0, k
Let q = -4/61 + 190/1037. Let i(b) = -10*b + 1. Let d be i(1). Let f be (-3)/d*(-9)/(-2). Sort -0.2, f, q in decreasing order.
f, q, -0.2
Let r = -14 + 22. Sort -0.1, 4, r in descending order.
r, 4, -0.1
Suppose -j + 1 = -2*j. Let y = -21 + 16. Put 4, j, y in descending order.
4, j, y
Let w = 0.7 + 5.3. Let u = w - 7. Put u, 0.3, 0.4 in ascending order.
u, 0.3, 0.4
Suppose g = 2*g - 2. Suppose 22 = 4*v - 2*r, 4*v + 5*r = -0*r + 1. Suppose 3*m = 4*d - 3 + 2, 4 = -2*d. Put g, m, v in decreasing order.
v, g, m
Let a be 6/9 + 77/(-21). Let t be 4/14 + (-4)/7. Put 0.5, a, t in decreasing order.
0.5, t, a
Let r = 15 + -16.1. Let s = r - -1.4. Let w = -25/222 + -2/37. Sort s, w, 2.
w, s, 2
Let t = 36 + -24. Let v = t - 12. Put v, -3, 1/6 in decreasing order.
1/6, v, -3
Let v = 9 + -1. Sort 3/4, 1/2, v in descending order.
v, 3/4, 1/2
Suppose 4*o + 4*d + 1 = -7, 2*o - 3*d = -9. Sort 3, o, 0, 5 in increasing order.
o, 0, 3, 5
Let t(q) = -q**2 + 4*q + 1. Let r be t(2). Sort 0, r, 3 in descending order.
r, 3, 0
Let f = 109.3 + -109. Sort 0.11, f, 1.
0.11, f, 1
Let q be 2/(-10) - (-35)/50. Sort q, -1/6, 5 in decreasing order.
5, q, -1/6
Let u(k) = k + 10. Let g be u(-9). Put 5, -18, g in increasing order.
-18, g, 5
Suppose 2*v = -3*s + 18, 5*v - v - 20 = 2*s. Let g(w) = -4*w**3 - 8*w**2 + 5*w + 2. Let h be g(1). Sort 0, v, h in descending order.
v, 0, h
Suppose 2*g + 8 = 2*y, -4*g - 2*y - 2*y = 0. Let q be 2 - (1016/255 + g). Let u = q + -2/15. Sort u, 0.4, 3 in ascending order.
u, 0.4, 3
Let s(j) = -j + 9. Let x be s(7). Suppose -3*d - 8 = -2. Sort -3, d, x in descending order.
x, d, -3
Let s = 0 - -3. Let p(o) = -2*o. Let f be p(3). Let g be 0 + 2/f - 0. Put g, 0, s in increasing order.
g, 0, s
Let b = -122 - -121.6. Put -2/3, 12, b in decreasing order.
12, b, -2/3
Let r(t) = 2*t**3 - 5*t**2 - 4*t + 1. Let p be r(-2). Let s be 6/p - (-29)/9. Put 2, 0, s in increasing order.
0, 2, s
Let k = 8 + -6. Suppose -k*p - p = 0. Put p, -5, 4 in ascending order.
-5, p, 4
Let s be (-143)/52 + 1/(-4). Put s, 1, 0 in decreasing order.
1, 0, s
Let q(r) = 3*r + 3*r - 4*r. Let a be q(1). Sort -5, -1, a in ascending order.
-5, -1, a
Let y = 2.9 - -16.1. Let b = -18.8 + y. Let n = 48 + -434/9. Put 1/3, b, n in descending order.
1/3, b, n
Suppose 2*h + 3*f = -10, -2*f - 2 + 7 = -h. Put -1, 3, h in increasing order.
h, -1, 3
Suppose u = 5*u + 4*j - 8, 4*u = -j + 11. Put 5, u, -3, 1 in decreasing order.
5, u, 1, -3
Suppose 3*m + 4*s = 16, -3*m + 0*s - 16 = -4*s. Let i = 13 + -8. Put m, 0.3, i in descending order.
i, 0.3, m
Let v = -