der.
h, -2/11, 1/4
Let v be 6/(-4)*17/204*-8. Put 5, v, -4, -5 in decreasing order.
5, v, -4, -5
Let n(x) = -x**3 - 7*x**2 + 28*x + 92. Let p be n(-9). Suppose 2*k - 15 = -k. Put p, -3, -2, k in ascending order.
-3, -2, p, k
Let f = 16 - 12. Suppose f = -5*l - 21. Put 4, 5, -3, l in descending order.
5, 4, -3, l
Let h = 2.9 + -3. Let f = h + 4.1. Let c be 6650/1862 - (4 - 0). Put c, -0.1, f in increasing order.
c, -0.1, f
Let a = 0.2 - -0.8. Let c = 15594.8 - 15595. Put c, a, -0.3, -5 in ascending order.
-5, -0.3, c, a
Let i = 66 - 8. Let t = i - 59. Let n = 257/3 - 84. Sort 0.3, n, t in descending order.
n, 0.3, t
Let r(y) be the third derivative of -y**5/60 + 7*y**4/12 - 29*y**3/6 - 21*y**2. Let a be r(12). Put -0.5, -1, a, -4 in ascending order.
a, -4, -1, -0.5
Suppose 15 = 3*r + 4*j + 26, -6 = r - j. Sort r, 1/4, 0.55 in descending order.
0.55, 1/4, r
Suppose 4*l = q, 154*l + q = 157*l. Let r(t) = t**2 + 3*t - 2. Let x be r(-3). Let n be 1/2 - (-11)/x. Sort -2, n, l in decreasing order.
l, -2, n
Let s be (-8)/(-282)*(-12 - -9). Let h = 122/329 + s. Sort 0.4, 3, -2/5, h in increasing order.
-2/5, h, 0.4, 3
Suppose 0 = 36*y - 19*y - 34. Sort -3, y, 54.
-3, y, 54
Let p = -1.679 + 1.679. Sort 1, 14, p.
p, 1, 14
Let w = 6.6 + -46.6. Let r = 40.3 + w. Sort r, -0.3, -6 in decreasing order.
r, -0.3, -6
Let u be (-4)/1 - (-9 + 18). Let y = u + 37. Let i = -21 + y. Put -1, i, 1 in increasing order.
-1, 1, i
Let z = 4.48 + -2.48. Suppose 0 = -q - 5. Let h = -0.3 + -2.7. Sort z, q, h in increasing order.
q, h, z
Let c be (3/(-2))/((-4)/56). Suppose -u + 5*x = -c, 0 = x + 1 + 4. Suppose 1 = 4*n - 3. Put u, n, 5 in descending order.
5, n, u
Let c = 4.6 + -4.22. Let b = c - -12.62. Sort -4/3, b, -3 in descending order.
b, -4/3, -3
Let s = -4.06 - -0.06. Let g = 0.007 + 0.093. Let y = -1.9 - g. Put y, s, 7 in ascending order.
s, y, 7
Let s = 193 - 187. Put 2, 1, s, 4 in ascending order.
1, 2, 4, s
Suppose -5 = 4*p - 13. Let h = 2888 - 5775/2. Sort -0.06, p, h, 3 in increasing order.
-0.06, h, p, 3
Let m(q) = q**2 - q - 17. Let f be m(8). Suppose -5*h = -f - 6. Suppose -4*d = -h - 3. Sort d, 5, 2.
2, d, 5
Let i(m) be the first derivative of -m**3/3 - m**2/2 + 9*m - 24. Let c be i(3). Sort -1, c, -24 in decreasing order.
-1, c, -24
Suppose 2 = -3*x - 4. Let y = -5 + 1. Let f = -136.9 + 137. Put f, y, x in decreasing order.
f, x, y
Suppose 0 = -5*d + 10, 5*d = h - 16 - 27. Suppose 2*b + h = 2*x + 7*b, 13 = 2*x - 3*b. Suppose 0 = -2*c - 4*u + 2, -5*u - x = -2*c - 3*u. Sort -5, 0, c.
-5, 0, c
Suppose 0 = 3*r + r + 20. Let b be ((-2)/(-6))/((-5)/(-30)). Let f = 89 + -89. Put f, r, b in decreasing order.
b, f, r
Let c = 3 + -2. Let w(v) = 2*v**2 + 48*v + 4. Let a be w(-24). Suppose a*m + 34 = -2*f, 23 = 2*m - 4*m + f. Put c, -3, m in decreasing order.
c, -3, m
Let i(u) = 2*u - 3. Let d = -7 - -18. Let p = -7 + d. Let y be i(p). Sort y, -1, 0.
-1, 0, y
Suppose -k - 159 = 8*g - 7*g, 2*g - 5*k + 297 = 0. Let p = g - -159. Let i = 2 + -2. Put p, i, 11 in increasing order.
i, p, 11
Let h = 1106 - 1105. Let x be ((-2)/4)/(3/(-30)). Sort h, x, -5 in increasing order.
-5, h, x
Suppose 0 = 3*z - 8 + 2, -3*z = -5*v - 21. Suppose -2*n + 4*d = 4, 0 = 4*d - 2*d + 8. Put 3, n, v in descending order.
3, v, n
Let l = 17.9 - 1.9. Let n = 14 - l. Let d be 0/(-7) - (-1)/3. Put 2/11, n, d in decreasing order.
d, 2/11, n
Let j = 15 - 31. Let x = 444 - 447. Sort x, j, 1/2.
j, x, 1/2
Let f be -9 + -1*40/(-5). Suppose 0*j = 4*j + 16. Put 3, j, f, -2 in increasing order.
j, -2, f, 3
Let t = -310 - -910/3. Let c = t + 6. Let r = -0.14 - -0.34. Put r, 1/3, c in descending order.
1/3, r, c
Let a = 91 - 83. Suppose a*p - 70 = -6*p. Put p, 11, 0 in decreasing order.
11, p, 0
Suppose -5 = 2*x - 3*x. Let g be (-18)/4*(-34)/(-51). Put x, g, -5 in descending order.
x, g, -5
Let y(s) = -s**3 - 15*s**2 - 2*s - 26. Let d be y(-15). Let g(o) = -2*o**3 + 3*o**2 - 2*o + 3. Let v be g(2). Sort d, v, 2 in decreasing order.
d, 2, v
Suppose 41*f - 39*f - 2 = 0, -56 = 3*y - 2*f. Put y, 4, 2 in ascending order.
y, 2, 4
Let k = -0.55 + 0.05. Let p = 546.7 + -547. Sort k, -0.4, p in ascending order.
k, -0.4, p
Let m = -299 - -208. Let r = m + 70. Sort 0.2, -0.5, 5, r in decreasing order.
5, 0.2, -0.5, r
Let m = 162 - 490/3. Let n = -747/5 + 149. Put -1, n, m, 0.5 in descending order.
0.5, n, -1, m
Let v(m) = -m**3 - 7*m**2 - 6*m - 1. Let a be v(-7). Suppose 13*k - a - 50 = 0. Put -1, 0, k in descending order.
k, 0, -1
Suppose 0 = 3*r + 3, 0 = s - 3*r + 5*r - 2512. Let p be 2 - -3*s/63. Let g = 122 - p. Sort -2/9, g, -0.04 in ascending order.
-2/9, -0.04, g
Suppose -2*h = -11 - 3. Let f be (4 - h) + 7 - -1. Let j(x) = -x**2 - 3*x + 5. Let k be j(-5). Put k, -3, f in increasing order.
k, -3, f
Suppose 20 = -2*y - 2*y, 4*q = 4*y + 116. Suppose q + 60 = -3*x. Let g be -5*(2 - x/(-10)). Sort 2, g, -1/3 in ascending order.
-1/3, 2, g
Let z = 555/2 - 278. Let k = -3 + 0. Sort k, z, 1/11 in descending order.
1/11, z, k
Let h = -137 + 136. Suppose s - 15 = -4*s. Sort h, 0, 11, s in decreasing order.
11, s, 0, h
Let j = 195 + -213.3. Sort 1, j, -0.5 in increasing order.
j, -0.5, 1
Suppose 5*a - 9*a - 4*w + 4 = 0, -4*a - 17 = -3*w. Put -1, -3, a, 18 in descending order.
18, -1, a, -3
Let o(q) = q**3 + 3*q**2 + q + 1. Let t be o(-3). Let l(r) = -17*r + 131. Let p be l(8). Sort p, 4, t in descending order.
4, t, p
Let b = 693 - 702. Put 1, -8, -3, b in ascending order.
b, -8, -3, 1
Let s = -197 - -198. Sort -3, s, -5, 6 in increasing order.
-5, -3, s, 6
Let v = -42 - -43. Let m = -7 - -4. Put v, m, 5 in decreasing order.
5, v, m
Suppose 2*t = p + 29, 3*p + 87 = 5*t + 17. Suppose 3*w - 2*w - 11 = -5*a, -a - 9 = 3*w. Put t, a, 0 in decreasing order.
t, a, 0
Let n = 5.82 - 6.32. Put n, -3, 0.1 in increasing order.
-3, n, 0.1
Suppose 461*b = 459*b - 8. Sort -3, -1, -2, b.
b, -3, -2, -1
Let u = -1.989 - 0.011. Put u, 1, -102, 4/3 in ascending order.
-102, u, 1, 4/3
Let q = 2.51 - 2.41. Put q, -0.2, 0.02, 0 in descending order.
q, 0.02, 0, -0.2
Suppose 4*o - n = 15, 5*o = -14*n + 10*n + 24. Let y = 8 + -16. Let x be -1*y*(-1)/2. Put 1, x, o in decreasing order.
o, 1, x
Suppose -4*g + 9*g = 0. Suppose 4*k + 4*y - 48 = -g*k, -2*k - 5*y = -24. Let n = -16 + k. Sort n, 3, -1 in decreasing order.
3, -1, n
Suppose -5 = g, -d + 3 = g + 4. Suppose -2*p - 3 = -3*p. Suppose h + 1 = b, 2*b - 4*h - 6 = -b. Sort b, d, p.
b, p, d
Let n be (-10)/(-2) + -1 + 2 + -2. Suppose 0 = 2*v + 8, x - 5*x - n = v. Put -2, 3, x in ascending order.
-2, x, 3
Suppose -2*t + 0*t - 16 = 4*a, 4*a = -3*t - 16. Let i be 0 + (-5)/(-1) - (4 - t). Sort -1.2, -0.2, i in ascending order.
-1.2, -0.2, i
Suppose -12 = -6*d + 2*d. Suppose 2*u - v = d*u - 1, 5*u - 4*v = 23. Suppose 0 = -u*x + 5*x - 8. Put -1, x, 1 in descending order.
x, 1, -1
Let d be 0*(-1 + 0)*1. Let g = 10 + -8. Suppose -3*w - 2*w = g*v - 6, 9 = 3*v + 2*w. Put v, -5, d in ascending order.
-5, d, v
Let b = 0.4 - 5.4. Let s = b - -5.06. Let i = s - 0.46. Sort 0, i, -2 in ascending order.
-2, i, 0
Suppose 9*o + 48 = 17*o. Sort o, 1, -4 in descending order.
o, 1, -4
Let p(q) = -q**2 - 10*q - 3. Let v be p(-11). Let i = -1.9 - 1.1. Sort i, v, 4 in decreasing order.
4, i, v
Let k(w) = w + 3. Let i be k(-5). Suppose -6 = -5*l + 34. Suppose -7*g = -l*g. Put g, i, 1 in decreasing order.
1, g, i
Let o(g) = 11*g**2 - 18*g + 54. Let z be o(3). Sort -3, 0, z in increasing order.
-3, 0, z
Suppose 0 = 3*v - 2*k - 12, -5*v + 3*v = -2*k - 10. Let l be (-15)/((21/v)/(-7)). Suppose 15*a - l*a - 20 = 0. Sort 1/11, -1, a in descending order.
a, 1/11, -1
Suppose 40 - 4 = 2*l. Let c = -4.859 - -4.759. Sort l, -3, c in descending order.
l, c, -3
Let p = -3.387 + 0.387. Sort 109, -0.3, p in increasing order.
p, -0.3, 109
Let n = 29.8 - 34.8. Put n, 1/8, 0 in increasing order.
n, 0, 1/8
Let c be (5/15*1)/((-2)/24). Suppose -2*p + 3*p = 5, 2*p = 4*t + 34. Sort 0, t, c in increasing order.
t, c, 0
Let f(w) = 2*w + 5. Let b be f(-4). Suppose -27*t + 240 = -57*t. Put 0, t, -4, b in increasing order.
t, -4, b, 0
Let l be 12/46*(40/12)/(-5). Put -1/4, l, -1 in decreasing order.
l, -1/4, -1
Let l(a) = -19*a + 2. Let h be l(-3). Let w = h - 59. Sort 2, 1, 4, w.
w, 1, 2, 4
Suppose -5 - 5 = 5*f. Let d be (f/2)/(3/12). Let y = d - 1.