-6)/2). Let w = -146 - -145. Put 5, w, 2, o in decreasing order.
5, 2, o, w
Let o = -739 - -734. Put -1, 3, -2, o in descending order.
3, -1, -2, o
Let x(h) = 6*h - 14. Let s be x(7). Let p = s - 23. Put -2/9, 1, p in increasing order.
-2/9, 1, p
Let i(f) = -19*f - 11. Let y be i(3). Let v = -64 - y. Sort v, -4, -1, 0.
-4, -1, 0, v
Let z = 41 + -41.064. Let l = z - -0.044. Put 5, l, 1 in descending order.
5, 1, l
Suppose 166*f = 173*f + 259. Sort 2, f, -3 in increasing order.
f, -3, 2
Let n = 109.5 - 103.5. Put n, 10, 1, 3 in increasing order.
1, 3, n, 10
Let g be (8/(-40)*0)/(-5). Put 35, -5, g, 3 in decreasing order.
35, 3, g, -5
Let z be 5/(-22)*36/45. Let o = -5 - -5.3. Put o, 2/5, z in ascending order.
z, o, 2/5
Let v = 0 - -5. Let a = 8 - v. Let p be (1/(-4))/((-1)/1). Sort a, -4, p.
-4, p, a
Let q = 1 + 11. Let a = q + -23. Let x = a - -16. Put x, -7, -0.2 in descending order.
x, -0.2, -7
Let a be 6 + (-138)/(-9)*(-192)/496. Sort a, 4/9, 0.03 in decreasing order.
4/9, a, 0.03
Suppose -2*g = -5*m + 12, -g - 12 = -3*m - 4. Sort 0.2, 0.767, g in decreasing order.
g, 0.767, 0.2
Let k = -0.2 + -5.8. Let y = 2.9 - 2.5. Sort -3/4, k, y in ascending order.
k, -3/4, y
Let l be (2 - 11) + 0 + 20. Sort 5, -2, l in ascending order.
-2, 5, l
Let d = 26 - 24. Suppose 2*g + 2*t = 4*g + 16, 0 = g + d*t - 4. Sort 4, -2, g, 2 in decreasing order.
4, 2, -2, g
Suppose 4*o = 3*r - 5 + 3, -4*r = 8. Put -3, 5, o, -1 in descending order.
5, -1, o, -3
Let b be ((-20)/(-8) + -1)*-40. Let k be 56/10 + (-24)/b. Suppose -5*a - 5*l + 5 = 0, 5*a = 2*a - 4*l + k. Put a, -1, 2 in increasing order.
a, -1, 2
Let u = -2.9296 + -0.0704. Sort 3, 2/3, -3/2, u in descending order.
3, 2/3, -3/2, u
Suppose 5*i = -4*t - 28, 5*i = -t - 0*i - 22. Put 4, -5, t, 3 in ascending order.
-5, t, 3, 4
Let j(p) = -p**2 - 6*p - 3. Let b be -9 + (3 - 4)/(-1). Let q = b + 3. Let y be j(q). Sort -2, -1/5, y in ascending order.
-2, -1/5, y
Let n = 623 + -1864/3. Sort -1/4, n, 11 in descending order.
11, n, -1/4
Let q = -10 + 4. Let v be 18/(-81) + ((-87)/(-27))/1. Let d = v + q. Sort 2/3, 1/2, d in ascending order.
d, 1/2, 2/3
Let o be (-4)/(-12) - (-10)/(-3). Let w = 37 + -36.55. Let p = 5.55 + w. Sort -5, p, o.
-5, o, p
Let x be -12*(-5)/(16 - -4) - -1. Sort x, -2, 16 in decreasing order.
16, x, -2
Suppose -2*m - 7 = 4*r - 3, -5*r = 3*m + 1. Put m, 0, -3 in decreasing order.
m, 0, -3
Let a = 33 - 25. Suppose -11 - 13 = a*m. Put m, -5, 2 in descending order.
2, m, -5
Let w = -9.05 - -13. Let h = -0.05 - w. Let s(r) = r**2 - 15*r + 11. Let o be s(14). Sort 0, h, o.
h, o, 0
Let h(s) = -s**3 + 8*s**2 + 8*s + 4. Let c be h(9). Let m = c - 0. Suppose 8 = -8*t + 4*t. Sort t, m, -1 in descending order.
-1, t, m
Let s = 333 + -333. Sort -2, -1, 1, s in increasing order.
-2, -1, s, 1
Let d(f) = -8*f. Let z = 24 + -25. Let j be d(z). Suppose 0 = -5*m + 2*s + j, -2*m - m + 5*s + 20 = 0. Put 5, m, 3 in ascending order.
m, 3, 5
Let n = 386.8 + -386. Sort -3/4, 3, 0.5, n in descending order.
3, n, 0.5, -3/4
Let g = -889 - -887. Let l(i) = -2 + 2 - i + 4. Let j be l(2). Put j, g, -3 in increasing order.
-3, g, j
Let x = -3 + 6. Let b(r) = r**3 + 6*r**2 + 4*r + 9. Let g be b(-5). Let y be 230/(-630) - (-2)/g. Sort -8, y, x in decreasing order.
x, y, -8
Suppose 5*i + 10 = 5*d, -4*i - 3*d = -2*i + 14. Let y be (-5 + 4)/((-14)/i). Let c be 3 - ((-4)/(-18) - (-13)/9). Sort y, 0, c in increasing order.
y, 0, c
Let s = 493 - 476. Sort -5, s, -2, 0 in descending order.
s, 0, -2, -5
Let n be 2 - 4 - (2 - 8). Let c(q) = -9*q + 3. Let r(z) = z**2. Let m(s) = -c(s) - r(s). Let y be m(9). Put -1, n, y in decreasing order.
n, -1, y
Suppose 0 = 4*b - 8, 2*s - 7*s = b + 103. Let t = 13159 - 13160. Sort t, -2, s, -3.
s, -3, -2, t
Let s = -0.3 + -6.9. Let f = s + 6.4. Sort -4, 1/8, f in increasing order.
-4, f, 1/8
Let h = 1 + -6. Suppose -2*i = 5*u - 3*i - 41, 0 = 4*u - 4*i - 36. Suppose -12*o = -u*o. Sort o, -4, h in ascending order.
h, -4, o
Let u = -2.1 - -2. Let c(t) = t**2 + 13*t + 32. Let h be c(-10). Suppose -10 = 4*y + h*w, 2*y - 2*w = 6 + 4. Sort -1, y, u in increasing order.
-1, u, y
Let n = -2 + 0. Let w(z) = -2*z**2 - 2*z + 2*z - 2*z - 1. Let p be w(n). Sort -3, 4, p in increasing order.
p, -3, 4
Let t = -0.0169 + 0.2169. Put t, 0.5, -2, -11 in ascending order.
-11, -2, t, 0.5
Let v be (4/16)/((-1)/(-20)). Suppose 17 = 5*r + 2*q, 0*r + 2*r - v*q - 30 = 0. Sort 1, r, 2, -3 in ascending order.
-3, 1, 2, r
Let o(z) = z**3 - 16*z**2 + 2*z - 37. Let g be o(16). Sort 5, -4, 8, g in decreasing order.
8, 5, -4, g
Let o = -12 - -22. Let z = -0.347 - 0.053. Sort o, z, 5/2 in ascending order.
z, 5/2, o
Let y be (-224960)/28 + (-6)/(-21). Let o be y/40 + (-2)/(-8). Let d = 200 + o. Put 0.03, -0.2, d in decreasing order.
0.03, -0.2, d
Let s be 27*(6 - (-197)/(-33)). Sort -0.1, s, 6 in increasing order.
-0.1, s, 6
Let y = -21 + 21.4. Let b = 200.1 - 229. Let r = 29 + b. Sort r, 1, y in decreasing order.
1, y, r
Suppose 2*z - 5*z + 2 = -2*m, 0 = -4*m + 5*z - 2. Suppose 15 = 4*o - 3*w, -m*o = -6*o - 5*w - 25. Suppose -6 = -2*h + 2. Put -5, o, h in descending order.
h, o, -5
Let c(m) = -m**2 + 7*m + 2. Let u be c(5). Let p be (1/(-1))/((-3)/u). Let s(t) = -t**3 - 4*t**2 - 4*t - 1. Let d be s(-3). Sort p, -1, d in increasing order.
-1, d, p
Let m = 590/3 + -197. Sort -0.1, 0.4, m, 0.5 in descending order.
0.5, 0.4, -0.1, m
Let m(n) be the first derivative of n**4/4 - n**3 + 5*n**2/2 - 4*n - 4. Let i be m(2). Sort i, -0.3, 1/3, 0.4 in descending order.
i, 0.4, 1/3, -0.3
Suppose 4*f + 30 - 20 = 3*l, 5*f = -4*l + 3. Put 4, l, -57 in descending order.
4, l, -57
Suppose 5*r = 5*i + 20, -3*i - r = -0*r + 20. Let d(h) = -h**2 - 7*h - 10. Let b be d(i). Sort 2, 8, b, -3 in increasing order.
b, -3, 2, 8
Let j = -62 + 126. Let a = j + -47.6. Let f = a - 16. Put -2/19, -2, f in descending order.
f, -2/19, -2
Suppose -2*l - 2 - 2 = 0. Let y be -16*(-2)/(-4) - (-6)/2. Put y, 4, 2, l in descending order.
4, 2, l, y
Let p = -1 - -2. Suppose -19*b - 75 = -18. Sort -1, b, 3, p in descending order.
3, p, -1, b
Let f(c) = -c**3 + 8*c**2 - 8*c - 18. Let t be f(8). Let o = -491/6 - t. Sort -3, o, 4 in decreasing order.
4, o, -3
Suppose -63 = 3*u + 33*o - 36*o, -2*u = 2*o + 42. Put 2, 0, u, -3 in ascending order.
u, -3, 0, 2
Let c(t) = t**3 - t**2 + t - 5. Let n be c(0). Suppose -4*h + 46 = -5*b, 2*b - 35 = -3*h + 6*b. Suppose 3*p + 0*p - 9 = 0. Sort h, n, p in descending order.
h, p, n
Let h = 10 + -8. Let u be -4 - 18/(6/(-2)). Suppose u*w + 40 = 7*w. Put h, -1, w in decreasing order.
w, h, -1
Let i(x) = -5*x**2 - 38*x - 14. Let w(m) = 2*m**2 + 13*m + 5. Let c(z) = -4*i(z) - 11*w(z). Let r be c(4). Put r, 4, 3, -3 in descending order.
r, 4, 3, -3
Let p = -843 - -848. Sort 1, 4, -1, p.
-1, 1, 4, p
Suppose -3*m - 25 = -22. Sort m, 2, 4.
m, 2, 4
Let f(z) = 24*z - 940. Let b be f(39). Suppose -8*g = -3*g + 25. Put 5, -3, g, b in decreasing order.
5, -3, b, g
Let l be ((-3)/2)/((-60)/(-160)). Sort -2, l, 16, 1 in descending order.
16, 1, -2, l
Let t = 115 + -921/8. Let v = 44.5 + -44.8. Sort 0.4, t, v, -5 in decreasing order.
0.4, t, v, -5
Let l(c) = -c**3 + 9*c**2 - 2*c - 43. Let d be l(8). Suppose 2*s = -s - 3*b, -b - 3 = 2*s. Put 6, d, s in decreasing order.
6, d, s
Let n be (12/(-9))/4*-9. Suppose n*q - 16 = -q. Suppose -1 = i - 6. Put q, -4, i in descending order.
i, q, -4
Let k(s) = 2*s + 11. Let z be k(-6). Let i be 3*(-1)/2*2. Let x = 464 + -461. Sort i, x, z in descending order.
x, z, i
Let j be (-6)/4 - (-78)/(-52). Put -5, 3, -19, j in decreasing order.
3, j, -5, -19
Suppose 5*w + 0*w = 0. Suppose -n = -w - 3. Suppose n*t - 6 + 3 = 0. Put 8, 2, t in ascending order.
t, 2, 8
Let v(m) be the first derivative of -m**5/20 - 5*m**4/12 - 2*m**3/3 - m + 6. Let u(s) be the first derivative of v(s). Let l be u(-4). Sort -4, l, 1.
-4, l, 1
Let m be (3 - (4 + 0))*12/2. Let s be (-7)/m*(-76)/(-133). Sort -5, -0.4, s, -1 in increasing order.
-5, -1, -0.4, s
Let p be 4/18 + 1/(18/(-382)). Let a = 18 + p. Put 3, a, -5, -23 in increasing order.
-23, -5, a, 3
Let q be (4 - 2)/(4/(-10)). Let y = 107 - 106. Sort -4, q, y in ascending order.
q, -4, y
Suppose -5*k - 2*k = -21. Put -1, -2, k, 2 in descending order.
k, 2, -1, -2
Let m be 3 + (-15)/((-60)/(-8)). 