. Let w be 2/8 + 14/72. Sort q, w, 0.2 in increasing order.
q, 0.2, w
Let y(f) = f**2 + 5*f - 6. Let r be y(-6). Let u(a) = -a**2. Let q be u(r). Let i = 72 - 75. Put i, q, -2 in descending order.
q, -2, i
Let y(t) = -t**3 + 8*t**2 + 8*t + 10. Let r be y(9). Sort 7, r, -3.
-3, r, 7
Suppose -3*i + 2 + 10 = 5*b, b + 4 = i. Put i, 0, 2 in decreasing order.
i, 2, 0
Let m(h) be the first derivative of h**3/3 - h**2/2 - 2. Let b be m(0). Let g = b + 3. Sort 4, g, -2 in ascending order.
-2, g, 4
Suppose 4*g = 2*g, -3*h = -2*g + 15. Suppose 0 = -2*c - 3*f + 21 + 1, -5*f + 25 = c. Let t = 7 - c. Put 3, h, t in decreasing order.
3, t, h
Suppose 4*v + 13 = -3. Let l(q) = q + 6. Let s be l(-6). Let i(f) = f**2 - f + 2. Let m be i(s). Sort m, v, 0.3.
v, 0.3, m
Let q be 3 + 0 + 0 + -2. Put q, -3, 5 in decreasing order.
5, q, -3
Let c = 6944/23 + -302. Put 2, c, -0.3 in descending order.
2, c, -0.3
Let g = 0.3 - 0.2. Suppose 29 = 5*f + 5*i - i, 3*f - 10 = 5*i. Let d be f/((-25)/9) + 3. Put -1/10, d, g in ascending order.
-1/10, g, d
Let u = 2.945 - -0.055. Let z = -3 + 2.5. Let q = z + 0.3. Put q, -2, u in descending order.
u, q, -2
Let v(z) = z**3 + 2*z**2 - 4*z. Let n be v(-3). Sort 1, n, -5.
-5, 1, n
Let m = -4.3 - -4.8. Put -0.5, -0.4, m in increasing order.
-0.5, -0.4, m
Let u be 15/6 + 1/(-2). Let d(o) = -o**2 + 1. Let c be d(2). Put -5, c, u in descending order.
u, c, -5
Let f = -0.2 - 0.2. Let a = 0.2 + -0.2. Let l = f - a. Sort 0, l, 5 in descending order.
5, 0, l
Let x = 2 - 2. Sort x, 3, 1.
x, 1, 3
Let l(h) = -h**3 + 9*h - 4. Let b be l(-3). Suppose 2*q - 2*t - 8 = 0, -4*q - 5*t + 24 = -t. Put 0, q, b in decreasing order.
q, 0, b
Let a(r) = 11*r**3 + 2*r**2 - 2*r + 1. Let v be a(1). Let x be (-3)/v + (-33)/12. Let k(c) = c**3 + 3*c**2 + c + 3. Let j be k(-3). Sort j, x, -5.
-5, x, j
Suppose -4*b = -14 + 6. Let g be b/(-5) + (-68)/(-20). Sort -2, -3, g in increasing order.
-3, -2, g
Let i be (-12)/(-3) - (-12)/(-4). Put 5, i, -3 in decreasing order.
5, i, -3
Suppose -5 - 7 = 4*b - 4*g, 4*g - 20 = 0. Suppose 0 = -b*z - 0*z + 2. Sort 4, 0, z in descending order.
4, z, 0
Let z(b) = b - 4. Let v be z(2). Put 1/6, 2/3, 0.2, v in decreasing order.
2/3, 0.2, 1/6, v
Let x be 1 - 1 - (-16)/(-315). Let g = x + -6/35. Sort 6, -2, g.
-2, g, 6
Let a = 5 - 9. Let v = -2.4 + 2. Let h = 8/15 + -17/60. Put v, a, h in decreasing order.
h, v, a
Let m = 2 + 2. Let z = 2.85 - -0.15. Put z, m, -2/21 in descending order.
m, z, -2/21
Let v = -3310.9 + 3110. Let s = 191 + v. Let x = s + 10. Put -1, -6/5, x in descending order.
x, -1, -6/5
Let p be (-11)/(-33) + 8/3. Suppose 5*n = -0*n + 40. Suppose 2*j + 0*j + n = 0. Sort p, j, -2 in increasing order.
j, -2, p
Let c be (-6)/(-4)*(-92)/6. Let m = -89/4 - c. Put 1, m, -5 in ascending order.
-5, m, 1
Let s = 0.5 - 2.5. Sort s, 1, 2.
s, 1, 2
Let p(t) = 2*t**2 - t - 1. Let s be p(1). Put 3, 4, s in decreasing order.
4, 3, s
Let n be 2 - 5/(40/298). Let t = n - -36. Sort 1/4, 2, t in decreasing order.
2, t, 1/4
Let j(b) = 2*b + 5. Let x(h) = -9*h - 26. Let k(f) = 11*j(f) + 2*x(f). Let c be k(-2). Suppose -3*m + 1 = 13. Put c, 3, m in increasing order.
c, m, 3
Let w(y) = -y**2 + 14*y + 11. Suppose -41 = -3*s - 4*d, 0 = -3*s + 8*s + 2*d - 73. Let h be w(s). Sort -3, h, 2 in descending order.
2, -3, h
Let u be ((-1)/12)/(12/(-32)). Put 1/7, u, 2/11 in decreasing order.
u, 2/11, 1/7
Let l(g) = -g + 1. Let u be l(0). Suppose -3*o - 5 = -2*o. Let m = -8 - -13. Put m, u, o in descending order.
m, u, o
Let t = -0.06 + 1.06. Let g = -2 + 5. Let u = 0.2 - 0.7. Put t, u, g in decreasing order.
g, t, u
Suppose 0 = -7*h - 2*h + 36. Let c(g) = 2 + 6*g - 3*g - 2*g. Let v be c(-2). Put -2, v, h in decreasing order.
h, v, -2
Let r = -6.5 + 0.5. Sort r, -3, -5.
r, -5, -3
Suppose 4*d + 3*l - 7 = -19, -3*d - 4*l = 16. Suppose -5*t + t + 4 = d. Let s be 12/10 + (t - 3). Put -2/11, -1, s in descending order.
-2/11, s, -1
Suppose -k = -2*j, -3*j = 3*k - 4 - 5. Suppose 0 = -2*h - 3 - 3. Put h, j, -2 in decreasing order.
j, -2, h
Suppose -8*q + 9*q + 4 = 0. Sort -3, 4, q in increasing order.
q, -3, 4
Let w = 1551/110047 + -2/1393. Let q = w - -75/316. Sort -1/3, q, -1/4 in increasing order.
-1/3, -1/4, q
Suppose -s = -4*h - 5*s + 32, -5*h + 8 = -3*s. Sort -0.06, 1, 0.2, h in descending order.
h, 1, 0.2, -0.06
Let u = -1.6 - -2. Let q = 5 - 4.9. Sort -0.3, q, u.
-0.3, q, u
Let h be (-26)/(-7) + 4/14. Let m = 3 - h. Let t be (-1 - 7)*(-3)/12. Sort m, t, -4.
-4, m, t
Let j(t) = t**2 + t - 1. Let z be j(-2). Put 5, z, 2, -2 in increasing order.
-2, z, 2, 5
Let q(c) = -c**2 + 6*c + 6. Let i(n) = n**2 - 7*n - 7. Let b(s) = -5*i(s) - 6*q(s). Let z be b(0). Sort 3, z, -3.
-3, z, 3
Let v be -2 - (1 + 3)*-1. Suppose -25 = -5*j + 2*p, -p - 20 = 3*p. Sort 1, v, j.
1, v, j
Let x = -42 - -37. Sort 1, 8, 2, x in decreasing order.
8, 2, 1, x
Let j = -11 - -8. Let l = 2 - j. Sort l, 0.2, 0.
0, 0.2, l
Let x = -28.2 - -28. Let g = -3869/34 - -113. Let k = -12/17 + g. Sort x, 0.2, k.
k, x, 0.2
Let q = -3 + 3. Let h be ((-3)/(-2))/(3/2). Let l = -3 + h. Sort l, -4, q in increasing order.
-4, l, q
Suppose -t - 5 = 4*t. Sort 1, t, -7.
-7, t, 1
Let h = 9 - 4. Put h, 2/17, 2 in descending order.
h, 2, 2/17
Let o = 9.73 + 0.27. Let q = 10.2 - o. Sort -0.3, q, 4 in decreasing order.
4, q, -0.3
Let x be 2 - (-3 + 2 + -1). Suppose 2*y = 6*y - x*v - 28, -y - v = 1. Put y, 1, -1 in decreasing order.
y, 1, -1
Let o = 0.3 - 0. Let g = -0.6 + o. Let b = -9 - -5. Sort g, b, 0.1 in descending order.
0.1, g, b
Let i = 106 + -105. Sort 4, -6/5, i.
-6/5, i, 4
Let r = 7.06 - 7. Sort r, 5, -1/9.
-1/9, r, 5
Let x(d) = -3*d - 1. Let z be x(-1). Suppose 0 = -3*k - 3*o + 18, -z*k = 3*k + 2*o - 21. Put 1, k, 0 in decreasing order.
k, 1, 0
Let a be 1 - 4*(-2)/2. Suppose f - 7 = -0*y - a*y, 5*y = 3*f + 19. Put 4, -5, y in increasing order.
-5, y, 4
Let z = 28 + -28.38. Let g = z - 0.02. Let s = g - -0.6. Put 0.3, -2/5, s in increasing order.
-2/5, s, 0.3
Suppose 0 = 4*k + 4, -q - 3*k + 2 = 6. Let c(y) = 4*y**2 + 2*y + 2. Let f be c(-1). Put f, q, 0 in ascending order.
q, 0, f
Let p be (1 - (0 - -4)) + 7. Let q(d) be the first derivative of d**2/2 - 5*d + 1. Let s be q(5). Put s, 3, p in increasing order.
s, 3, p
Suppose -3*c = 4*i + 13, -2*c - c = -3. Put 5, 0, i in descending order.
5, 0, i
Let t = -7 - -12. Let v be 1 - (0 + 1)*-25. Suppose -5*j = x + v - 2, 4*x = 4*j. Sort t, 3, x in descending order.
t, 3, x
Let m = 2.21 + -0.21. Sort -3, m, -0.2 in increasing order.
-3, -0.2, m
Let l(v) = v - 5. Let z be l(4). Suppose -7*m = -4*m - 15. Sort z, -3, m.
-3, z, m
Suppose -c + 1 = -2. Let f be c*(2 - 2 - -1). Suppose -3*m - 10 = p, 6*p - 3*p = -f*m - 12. Sort 2/9, 0, p in increasing order.
p, 0, 2/9
Suppose -32 = -3*a - 5*g, -2*a = 3*g - 4*g - 4. Let m = -35 + 38. Sort m, -0.2, a in increasing order.
-0.2, m, a
Suppose -p + 6 = 2*p. Suppose -i - p = -0*i. Sort -3, 2, i in decreasing order.
2, i, -3
Let a = 652/5 - 131. Let b = 0.9 - 0.4. Let m = -0.5 + 0.2. Sort m, a, b in descending order.
b, m, a
Let f(d) = d**2 - 5*d - 4. Let n be f(6). Suppose -3*o = -3*v - 9, v = 4*o + n*v + 8. Let u be o/1*2/6. Put u, 0.2, -2 in decreasing order.
0.2, u, -2
Suppose 3*d + x + 12 = d, 5*d - 2*x + 12 = 0. Let f(o) = -2*o**2 - 1. Let k be f(-1). Sort k, d, -5 in increasing order.
-5, d, k
Let s = -1 + 3. Suppose 0 = -5*c + 4*c + s*j + 15, j = 2*c - 15. Suppose -m + 1 = 0, 2*q + m + 6 - 13 = 0. Put q, c, 0 in increasing order.
0, q, c
Let r be (-4)/6*15/5. Sort r, -3, 3 in decreasing order.
3, r, -3
Let r = 91 + -97. Sort 9, 0, r, -5.
r, -5, 0, 9
Let f(g) = g**2 + 2*g. Let y be f(-3). Let l be (-1)/(y/(-18)) + -3. Let j be 3/(9/(-6)) + 6. Sort l, -1, j in decreasing order.
j, l, -1
Let h(x) = 3*x - 21. Let w(s) = 2*s - 11. Let z(k) = -3*h(k) + 5*w(k). Let g be z(-10). Put 1, g, 0 in descending order.
1, 0, g
Let b be ((-3)/6)/(5/(-130)). Let c(u) = u**3 - 12*u**2 - 13*u. Let n be c(b). Sort 1, -1, n in increasing order.
-1, n, 1
Let b(z) = -z**3 + 6*z**2 - 4*z - 3. Let g be b(5). Let l = g + 0. Suppose -l*t + 10 = -4*t. Put t, 5, 4 in descending order.
5, 4, t
Let f be ((-2)/6)/((-5)/15). Put 0, 4, f in descending order.
4, f, 0
Let z = 7 - 6.7. Put z, -5, 2/9 in descending order.
z, 2/9, -5
Let t(b) = -b**2 - 