pose -n = -p, -2*p + h = 2*n + n. Put n, 6, m in decreasing order.
6, n, m
Suppose 2*s = -5*s + 12*s. Sort -7, 4, 1, s in decreasing order.
4, 1, s, -7
Let b = -287.3 + 287. Put 13, 5, b in decreasing order.
13, 5, b
Let f = 15.1 - 15.81. Let y = f - 0.29. Suppose -3*u + 5 + 10 = 0. Sort u, 1, y in descending order.
u, 1, y
Suppose 5*m - 25 = 75. Suppose -m = 2*t + 2*t. Suppose 4*v = -3*v + 21. Put v, 2, t in decreasing order.
v, 2, t
Let s = 0.1 + -0.3. Let y = 2.7 + -32.7. Let a = 29.9 + y. Sort -0.3, a, s.
-0.3, s, a
Let j(s) be the first derivative of -s**4/4 + s**3/3 - s**2/2 + 1. Let b be j(0). Put 1, 3, b in descending order.
3, 1, b
Let d = 161 + -165. Sort d, 6, 4, -2/11 in decreasing order.
6, 4, -2/11, d
Let z = 94.5 - 95. Put 1, 6/11, z in descending order.
1, 6/11, z
Let v = -1.38 - -0.98. Let y = 3.8 - 8.8. Let d be (5/12)/((-3)/(-6)). Put d, y, v in descending order.
d, v, y
Suppose -3*z + 0*z - 6 = 0. Let r = 10.23 + -5.23. Sort z, -13, r.
-13, z, r
Let l = 14.8 + -30.7. Let n = -16 - l. Let b = -0.17 - -0.17. Sort -1/3, n, b in descending order.
b, n, -1/3
Let r = 14 + -14.5. Put r, -5, -3, 0.4 in descending order.
0.4, r, -3, -5
Let i = 534 - 533. Let d be 51/(-45) - 1/(-3). Let l = 3.4 - 0.4. Put l, i, d in decreasing order.
l, i, d
Suppose -4*w - w + 12 = -4*x, w = 2*x. Let l(i) = i + 9. Let j be (-1)/5 - 136/20. Let t be l(j). Sort w, t, 1 in descending order.
w, t, 1
Suppose 33*k = -49*k + 164. Let z = 2 + -1.9. Sort 1/8, z, k.
z, 1/8, k
Let o = 666 + -671. Sort -16, o, 2.
-16, o, 2
Let d = 518 + -522. Let j(c) = 2*c + 7. Let k be j(-5). Sort d, 3, k in descending order.
3, k, d
Let i = -26 + 9. Let q = 12 + i. Let z = 45 - 42. Put q, 1/4, z in descending order.
z, 1/4, q
Suppose 33 = 146*d - 135*d. Let t(z) = -z**2 + 6*z + 4. Let p be t(7). Sort p, 10, d, 0 in increasing order.
p, 0, d, 10
Let s(z) be the first derivative of z**2/2 - 11*z + 7. Let t be s(10). Sort t, -5, 4.
-5, t, 4
Let v be 1/((-2)/(-12)*3). Let n be 169/(-3) - (-5)/15. Let q = n + 53. Sort -1, v, q in ascending order.
q, -1, v
Let q = -0.136 - -0.336. Let h = 196 - 1370/7. Sort h, -6, q, -1/2.
-6, -1/2, q, h
Let h = 56 - 32. Let m = h + -26. Sort -4, 1/6, m in descending order.
1/6, m, -4
Let a be ((-10)/(-8))/((-3)/(-12)). Suppose -2*v = -3*n + 23, -6*n + 4 = -2*n. Let b = v + a. Sort b, -3, 3 in decreasing order.
3, -3, b
Let t = -16 + 12. Let h be (-1 + 0)*(-19)/76. Put 0, h, t in descending order.
h, 0, t
Let a = -33 + 98. Suppose -5*h + 5*v + a = 0, v - 27 = -5*h + 14. Let q be -2*(-1)/h*-3. Put 5, q, 0.4 in ascending order.
q, 0.4, 5
Let p(f) = f**2 + 6*f + 5. Let n be p(-6). Suppose 0 = 2*i + n*l + 9, -4*i + 5*l + 1 = 4. Let m = 247 + -242. Put i, m, -1 in ascending order.
i, -1, m
Let a(y) = y**2 + y - 10. Let k be a(-4). Suppose -5*u = -4*t + 37, 5*t = 5*u + k*t + 39. Let n = -0.03 - -0.43. Sort 0, u, n in decreasing order.
n, 0, u
Let z = -0.8 + 50.8. Let k = z - 49.7. Sort -1/2, 1/3, -0.4, k in increasing order.
-1/2, -0.4, k, 1/3
Let a = 254 - 301.95. Let c = a + 48. Sort c, -3, -0.4 in decreasing order.
c, -0.4, -3
Let p = 9 - 5. Let a = -68 + 70. Suppose -v + a = 2*o - o, -7 = v + 4*o. Sort 1, p, v.
1, p, v
Suppose 0 = -0*f - 5*f - 20. Let t = 1 - f. Suppose 0 = t*g - 30. Put 4, g, -4 in decreasing order.
g, 4, -4
Suppose 4*o - 10 = -5*b + 7, -o - 4*b = -7. Sort o, -1, 1, 4 in ascending order.
-1, 1, o, 4
Suppose -198 = 15*z - 13*z - 4*j, 0 = -4*z - 3*j - 418. Sort -2, z, 3.
z, -2, 3
Let r = -518 - -518.39. Put 17, -1, r in ascending order.
-1, r, 17
Let k(b) = 4*b**3 + b**2 - b. Let p be k(1). Suppose -3*g + 3*h - 8 = 19, 2*h = -2*g - 2. Let s(t) = -2*t**2 - 13*t - 12. Let m be s(g). Sort m, 0, p.
0, m, p
Let z(w) = 2*w**2 - 21 + 23 - 3*w**2 - 8*w. Let b be z(-7). Suppose -4*u = 36*h - 41*h + 4, -3 = h + 3*u. Put b, h, -2 in ascending order.
-2, h, b
Let z = -14 - -13.55. Let g = -170.05 - -170. Let v = g + z. Sort 4, -0.2, v in decreasing order.
4, -0.2, v
Suppose -1 = 3*i + 2, 5*i - 4 = -3*y. Let p be (-2)/(-5) + (-36)/(-60). Let u be -5 + 3 - -8 - 2. Sort u, y, p in increasing order.
p, y, u
Let j be 4/(-22) - (0 - 0). Let r = -1537 + 1519. Sort j, r, -1/4 in ascending order.
r, -1/4, j
Let a = 8 + -3. Let j(i) = 3*i**2 + 6*i - 4. Let q be j(-3). Suppose -q*n - 16 = -f, -f + 3*f + 4*n + 10 = 0. Put f, a, 0 in descending order.
a, f, 0
Let l = 18 - 2. Let a = l - 16.15. Let z = a - 0.25. Put z, -0.3, -1/3 in increasing order.
z, -1/3, -0.3
Let s = 728 + -731. Sort 2/3, -1/3, s, 0.4.
s, -1/3, 0.4, 2/3
Suppose 4*y + 1 = 5*b, -b = 4*y + 2*b - 39. Suppose -y*u + 7*u - 4 = 0. Put u, -1, 0 in ascending order.
-1, 0, u
Let v(g) = -g**3 + 8*g**2 - 16*g + 8. Let a be v(4). Suppose -3*u = -a*u + 15. Sort -0.2, 0.2, u, -0.6 in descending order.
u, 0.2, -0.2, -0.6
Let g = 10889.27 - 10951. Let j = g + 62. Let r = -0.2 + j. Put r, -0.5, 2/7 in descending order.
2/7, r, -0.5
Let p be -3 - ((-10)/15 - (-1)/(-3)). Suppose -o + 7 = -0. Let x = 13 - o. Sort p, 1, x.
p, 1, x
Suppose 32 = -2*u + 3*w + 38, -w = 5*u + 2. Sort u, 3, 11, -29 in ascending order.
-29, u, 3, 11
Let c(s) = -s**2 + 9*s - 2. Let z be c(8). Suppose -z*v + 4 = -4*v. Put 4, -5, v in ascending order.
-5, v, 4
Let s = 9 - 6. Suppose 0 = -2*y + 4*l - 2, 1 + 0 = -y + s*l. Let r(p) = 78*p - 5309. Let x be r(68). Put y, x, 1 in decreasing order.
1, y, x
Let t = -0.48 - -0.7. Let a = t + 0.08. Sort 5/3, -5, a in descending order.
5/3, a, -5
Let i be -5 - 20/5 - -1. Sort -1, -6, i in descending order.
-1, -6, i
Let p = -159 + 165. Suppose -j + 4*j - p = 0. Sort j, -6, -3 in increasing order.
-6, -3, j
Let w(b) = -10*b**2 - 3 + b**3 + 0*b + 14*b - 5*b + 6. Let t be w(9). Sort t, 1, -1 in decreasing order.
t, 1, -1
Let i be 0/(1/(-2 - -3)). Let w = 672.6 + -673. Sort -5/4, 0.4, i, w in increasing order.
-5/4, w, i, 0.4
Suppose -j = 2*i + 3, -3*j - i = 4*i + 11. Put 0, j, 5 in descending order.
5, 0, j
Let m = 492 - 488. Sort -0.06, 9, m, 2 in decreasing order.
9, m, 2, -0.06
Let d be 2/(-12) - (-1937)/(-78). Let m = -38 - d. Let w = m + 12. Sort w, -3, -7 in decreasing order.
w, -3, -7
Let p = 42 - 26. Let j = 19.2 - p. Let z = -2.7 + j. Put z, 2/31, -4/9 in decreasing order.
z, 2/31, -4/9
Suppose 0 = -3*x + 24 - 21. Sort -109, -4, x in increasing order.
-109, -4, x
Let j = -53 + 138. Let p be 408/j*15/4. Sort 3, 4, p, -5 in decreasing order.
p, 4, 3, -5
Let m(y) = -4*y**3 - 2*y**2 - 3*y - 2. Let l be m(-1). Let x be (l + -8)/(-2 - -3). Sort x, -4, -3 in increasing order.
x, -4, -3
Suppose 28 + 4 = 2*l. Suppose 3*h - 4*v - v = 22, -h - 3*v = l. Put 10, h, 4 in increasing order.
h, 4, 10
Let g = 0.4 + -6.9. Let l = -6.7 - g. Sort 2/19, l, -0.09, 4 in ascending order.
l, -0.09, 2/19, 4
Let p = -3.16 + -0.84. Let t = -103.7 + 108. Let h = t + -4. Sort p, -2/13, h in descending order.
h, -2/13, p
Let x be (3*2)/((-129)/(-860)). Sort -4, x, -3, -1 in decreasing order.
x, -1, -3, -4
Let h = 2 - 3. Suppose 5*l + 2*y - 63 = -0*l, -3*l + 29 = -y. Suppose -25 = -l*z + 6*z. Put z, 4, h in descending order.
z, 4, h
Let y(n) = -4*n**2 + 3*n**2 + 18*n - 13 - 22*n + 2*n**2. Let d be y(6). Sort -8, d, 0 in increasing order.
-8, d, 0
Suppose -c + k = 7, k = -2*k + 12. Sort c, 3, -4.
-4, c, 3
Let t = -23 - -33. Suppose f - 2*s = -3*s, -f + t = 3*s. Put f, 4, 0 in decreasing order.
4, 0, f
Let a = -1568/9 + 174. Let g = -135 - -1217/9. Let m = -496 - -497. Put m, g, a in increasing order.
a, g, m
Suppose -4*s = -n + 17, -3*n - s - 10 - 4 = 0. Let u be 1 + n + (-24)/(-10). Put -5/3, 0.3, 0.9, u in ascending order.
-5/3, 0.3, u, 0.9
Let r = 3 - 4.1. Let k = r - -2.7. Let d = -1.3 + k. Put 0, d, 1/4 in ascending order.
0, 1/4, d
Let f = -1637.8 - -1638. Let m = 21/95 - -1997/1710. Let i = 8/9 - m. Put i, 1/2, f in decreasing order.
1/2, f, i
Let c = 1.9 - -0.1. Let d = c + -1. Sort 1/6, -4/7, d.
-4/7, 1/6, d
Let v(p) = p**2 - 46*p + 1. Let a be v(46). Sort a, -4, 93 in descending order.
93, a, -4
Suppose b - 9 = -2*z, 2*b - 17 = b - 4*z. Let i(j) = 2*j**3 - 9*j**2 + 4*j + 4. Let l be i(4). Put 2, b, 5, l in ascending order.
b, 2, l, 5
Let m be 2/(3/2 + 0). Suppose -122*c - 407 - 1555 = 478. Put m, c, 2/3 in descending order.
m, 2/3, c
Suppose 3 = -3*x + 12. Let w be 2/(-4 - ((-33)/6 - -2)). Sort w, x, -2 in dec