2*i + 5*b - 5, -4*i = -4*b + 4. Put 3, i, r in decreasing order.
r, 3, i
Let v = 12 + -12. Sort v, -0.2, 1/6 in ascending order.
-0.2, v, 1/6
Suppose 17 = 5*n - k, 4*n + k - 4 = -3*k. Let z be 2 - 1 - (n + -2). Put 1, -3/2, z in descending order.
1, z, -3/2
Suppose -4*j - 12 = 4*h - 0*h, 5*h + 8 = 2*j. Suppose 1 = -y - 2*n - 11, 5*n = -y - 21. Put -2, j, y in descending order.
j, -2, y
Let x(w) = -w**3 + 10*w**2 - 23*w - 9. Let g be x(6). Let y(l) = l**3 - 3*l**2 - 5*l + 2. Let t be y(4). Put -5, t, g in ascending order.
-5, g, t
Let n = -15/7 - -96/35. Sort 1, 68, n in descending order.
68, 1, n
Let n(k) = 2*k**3 - 2*k**2 - k. Let c be n(2). Let d be 3/(-6) + 9/c. Sort 4, d, -3 in descending order.
4, d, -3
Let g = 41 - 28. Let b = 18 - g. Put b, -2, 4 in descending order.
b, 4, -2
Let h = -103 + 109. Sort 2, h, 5 in ascending order.
2, 5, h
Let m = 7 + -17. Let y = -28/3 - m. Sort 3, -5, y.
-5, y, 3
Let d = -4 + 8. Let o(n) = -n**3 - 6*n**2 - 5*n - 5. Let r(b) = -b**3 - b**2. Let u(g) = o(g) - 2*r(g). Let v be u(5). Put 1/4, d, v in ascending order.
v, 1/4, d
Let i be (-37)/(-60) + 6/(-8). Let q be (-1)/5 - (-3)/15. Let a = q - -2. Put a, i, -0.5 in descending order.
a, i, -0.5
Let r(d) = d**2 + d + 1. Let t be r(-3). Suppose 3*j - t = -22. Let n be 7/21 - 1/2. Sort j, n, 0.3 in ascending order.
j, n, 0.3
Let w(z) = -1 + 7 + 3*z**2 - 4 - 2*z**2 - 8*z. Suppose 2*a = 4*a - 14. Let i be w(a). Sort 2, i, 3 in decreasing order.
3, 2, i
Suppose 4*k - k - 6 = 0. Sort 0, k, 7 in descending order.
7, k, 0
Suppose 0*h = 4*h, -5*h - 20 = -4*c. Let m = 0.3 + -1.3. Put 0.2, m, c in descending order.
c, 0.2, m
Let n(w) = w**3 - 9*w**2 + 10*w - 11. Let o be n(8). Suppose -o*t - 18 = 4*h + 12, -5*h - 23 = -t. Put 4, h, 1 in increasing order.
h, 1, 4
Let v = 9 + -5. Let y = 0.56 + -0.46. Let s = 1 + -2. Sort v, y, s in ascending order.
s, y, v
Let m = 3 - 2.9. Suppose -4*z + 856 = -4*i, -3*i + 0*i - 1074 = -5*z. Let g = 2370/11 - z. Put g, m, -2 in decreasing order.
m, g, -2
Let v(c) = -c**3 - 4*c**2 + 4. Let n be v(-4). Sort n, 1, -2.
-2, 1, n
Suppose 9 = -4*m - 7. Sort m, 1, 22 in decreasing order.
22, 1, m
Let f(o) be the second derivative of o**4/3 + o**2/2 - 3*o. Let m be f(1). Let g = 1 + -3. Put g, -1, m in ascending order.
g, -1, m
Let c = 5.094 + -0.094. Put 1.2, -5, c in increasing order.
-5, 1.2, c
Let p(q) = -q**3 - 7*q**2 - 7*q - 3. Let w be p(-6). Let b be (-2)/(-3) - 17/w. Sort b, 5, -0.2.
b, -0.2, 5
Let v = 7 - 6.7. Let n = -0.69 + 1.09. Sort -5, v, n.
-5, v, n
Let q(n) = -2*n + 5. Let m be q(3). Put -4, -5, 2, m in decreasing order.
2, m, -4, -5
Let i(f) = 42*f**2 + 1. Let s be i(-1). Suppose -3*m - 31 = 4*d, -d + s = -3*m - 13. Let x be (m/(-15) - 1)*3. Put x, -0.4, 5 in increasing order.
-0.4, x, 5
Let g(j) = -j - 2. Let w be g(-3). Suppose -4*a - w - 19 = 0. Let f = -0.2 + -0.3. Put a, 5, f in decreasing order.
5, f, a
Suppose 0 = -11*d + 9*d + 4. Sort -4, -2, d.
-4, -2, d
Suppose -c + 18 = 3*c - 2*u, 2*c + 2*u = 0. Put -2, c, -39 in decreasing order.
c, -2, -39
Let x(s) = s**2 - 11*s - 16. Let d be x(12). Sort 4, -3, d in ascending order.
d, -3, 4
Let r = 5 + -5.5. Let h = 4 - 3. Let v be (-9)/(-3)*(-3)/(-12). Put r, v, h in descending order.
h, v, r
Let h(m) = 2*m**3 - m**2 - m + 2. Let v be h(2). Suppose 0 = 3*c + v + 3. Let f be -2*(-1)/(-2) + 1. Sort f, -4, c in increasing order.
c, -4, f
Suppose -q = -5*q + 8. Let j be (q/(-4))/((-1)/2). Let u be j/6*(-12)/(-16). Sort u, 0.1, -1/8.
-1/8, 0.1, u
Let y = 17 + -18. Let i be 30/14 + y/7. Put 4, i, -2 in descending order.
4, i, -2
Suppose 5*c - 7*c = 0. Let j = 11 - -1. Put j, c, 5 in decreasing order.
j, 5, c
Let t = 0.9 + -0.4. Let r be -1 + -4 + 8 + -3. Put r, -0.2, t in descending order.
t, r, -0.2
Let y be 2/(-40) - (-1)/4. Suppose 2*u + 0*w - 8 = 2*w, 0 = -5*w - 20. Suppose u = -5*l - 1 + 6. Sort y, l, 2 in ascending order.
y, l, 2
Let n = -0.53 - -0.13. Sort 4, 1, n in descending order.
4, 1, n
Let c(n) = -4*n + 3. Let m be c(2). Suppose -15 = 5*t - v, t + 3 = -7*v + 4*v. Sort m, t, 3 in descending order.
3, t, m
Let h = 117 - 1405/12. Suppose p + 3*k + 4 = 0, 0 = 4*p - 4*k - 12 - 4. Let j be p/8 + (-7)/(-4). Sort j, h, -1/3 in decreasing order.
j, h, -1/3
Let b(g) = -g**2 + g + 2. Let c be b(3). Let m(w) = -w**2 - 2*w + 10. Let s(d) = d. Let y(r) = m(r) - 2*s(r). Let l be y(-5). Sort 3, c, l in ascending order.
c, 3, l
Let o be 8/10*(-60)/8. Put -4, 5, o in descending order.
5, -4, o
Let o be 4/(8/47) + 1. Let i = o + -74/3. Sort i, 0.4, -3 in ascending order.
-3, i, 0.4
Let g(s) = -s**2 - 3*s - 2. Let i be g(-2). Let x = 10 + -15. Sort i, x, -1 in decreasing order.
i, -1, x
Suppose -3*j = 2*m + 1 + 37, -m = 3*j + 37. Let a be (j/(-10))/((-2)/5). Let w be (-9)/(-20) - a/(-15). Sort w, -2, -3 in descending order.
w, -2, -3
Let w = 29 - 34.6. Let j = w - -6. Let f = -0.7 + j. Put 0, f, -3/8 in descending order.
0, f, -3/8
Let a = -1.44 - -1.84. Put 5, -0.1, a, 0.03 in descending order.
5, a, 0.03, -0.1
Let o(d) = 4*d - 3. Let r be (-98)/(-21) + 2/(-3). Suppose -2*q - r = -4*q. Let c be o(q). Sort -5, c, 1 in descending order.
c, 1, -5
Let n be (-11)/((-220)/(-32)) + 1/1. Let i = -0.5 + 0.5. Put 3, n, i in decreasing order.
3, i, n
Let h = 4 + 0. Let w = -7 + 6.8. Sort w, h, -0.4 in increasing order.
-0.4, w, h
Let h(u) = -u. Let m be h(-4). Suppose -2*l - 8 = o + 1, -4*o + m = -2*l. Put o, -2, 5 in descending order.
5, o, -2
Suppose t + 4 - 5 = 0. Sort -2, t, 0 in descending order.
t, 0, -2
Let s = -23 - -22.7. Sort 3, s, 1/3 in increasing order.
s, 1/3, 3
Suppose 4 = 2*g - 3*n - n, 3*g - 10 = 4*n. Let h be g + (-1)/((-3)/9). Let a be (-3)/h - (-7)/39. Put -4/5, a, 3 in ascending order.
-4/5, a, 3
Let o = -23 - -23. Suppose t - 4*t - 24 = o. Put 1, -4, t in decreasing order.
1, -4, t
Suppose -6*m = 25 - 25. Suppose -3*a - 2*u = -2*a + 3, 13 = a - 2*u. Let v = -10 - -6. Put a, m, v in decreasing order.
a, m, v
Let v(u) = -u + 0*u + 0 - 1 + 2*u. Let h be v(-2). Sort -5, 2, h in decreasing order.
2, h, -5
Let w = 3.2 + 0.8. Let u = -29 - -25. Put w, u, 3 in increasing order.
u, 3, w
Let s be 6/((-4)/(-2 - 2)). Let f(a) = -10*a**2 - 17*a - 4 + 0*a**3 + 7*a - a**3. Let y be f(-9). Sort y, -1, s in descending order.
s, y, -1
Suppose c + 6 = 8. Sort -4, -2, c.
-4, -2, c
Suppose -3*d + 6 = -d. Suppose 2 = p - d. Let a be (-75)/45 + (-1)/3. Sort p, 3, a in decreasing order.
p, 3, a
Suppose -3*m = -0 - 6. Suppose 37 = 3*o + 4*j - 51, -3*o - 2*j = -80. Let z = 27 - o. Put z, -2, m in increasing order.
-2, m, z
Let f = -81176/63 - -8255/7. Let m = f + 109. Put m, -0.3, -0.2 in descending order.
-0.2, m, -0.3
Suppose 0 = -25*l + 32*l + 14. Let h = -16 + 22. Put l, -5, h in descending order.
h, l, -5
Suppose -3*d = -g - 4, -4*g = -3*d - 5*g + 14. Suppose -2*f + 7*f + 10 = 0. Suppose -12*j + 4*j = -16. Sort f, d, j in descending order.
d, j, f
Suppose -3*t + 2*w + 0*w = -28, 2*t = 4*w + 32. Suppose 4*x - 3*a - 2 = 0, 5*x + 4*a + t + 7 = 0. Let p be 1*2 - (x - 1). Put 0, 3, p in ascending order.
0, 3, p
Let o = 39/5 + -227/40. Let c = o + -15/8. Sort 4, 5, c.
c, 4, 5
Let o = -0.8 + 1.8. Put o, -0.5, -1/3 in decreasing order.
o, -1/3, -0.5
Let b = -3 - -1. Let x = 4 + b. Let f = -5 + x. Sort f, 2, -5 in decreasing order.
2, f, -5
Let l be ((-4)/8)/(2/4). Sort -3/7, 4, l in descending order.
4, -3/7, l
Let y = -15/19 - -56/95. Sort -2, 4/3, y, -4 in decreasing order.
4/3, y, -2, -4
Let k = -0.27 + 2.97. Let a = -3 + k. Sort -0.2, a, -4/5 in decreasing order.
-0.2, a, -4/5
Let j = -8/13 + 37/39. Suppose 3*t - 9 = 3*v, 7 = 5*v - 2*v + t. Sort v, 5, j.
j, v, 5
Let q be 2/2*(-2 - 2). Let i(c) = -2*c - 2. Let o be i(-2). Suppose 0 = 2*a + 4 - o. Sort 3, q, a in decreasing order.
3, a, q
Let d(r) = r**3 - 7*r**2 + r - 7. Let z be d(7). Sort -2, z, 2 in descending order.
2, z, -2
Let v = -57.5 + 57. Put -0.2, v, 0.3 in descending order.
0.3, -0.2, v
Suppose 5*i + 3*w = 3, 2*i = 4*w + 15 + 7. Let n = 18 - 20. Let r be -3 - (-1 - (-5 - -2)). Sort n, r, i in decreasing order.
i, n, r
Let y = -2 - -1. Let b = -0.1 - -0.17. Let x = b + -5.07. Sort y, -0.3, x in decreasing order.
-0.3, y, x
Suppose 0 = -3*g + 3*x, 4*x - 32 = -2*g - 8. Let i be (0 - 10)*2/4. Put -4, i, g in ascending order.
i, -4, g
Let v be