t l = 5 + k. Put 4, 1, l in decreasing order.
4, 1, l
Let g = 5 + -3.4. Let u = g + -1.1. Sort -2/5, u, -1.
-1, -2/5, u
Suppose -4*d + 5 = 1. Let k be d - 0 - (4 - 5). Sort -1, 0, k in decreasing order.
k, 0, -1
Let o = -11 + 7. Suppose -2*l + 3*h = -3, h - 2 = -3*l - 14. Sort l, o, 4.
o, l, 4
Let z(m) = -m**2 - m + 4. Let k be z(0). Suppose 0 = -0*n - k*n - 4*c - 8, -2*n + 3*c = -1. Let g be 3/2 - (-1)/(-2). Sort n, g, 4 in descending order.
4, g, n
Let n be 2/(-5) - (-3)/(-5). Let p be -2*(n - 1/(-2)). Suppose -2*y = 2 - 12. Put 3, p, y in descending order.
y, 3, p
Let a be 38/9 - 2/9. Suppose 2*d - 2*i - 18 = 0, -2*d - i + 4*i = -20. Let m = d + -4. Sort m, a, 1 in increasing order.
1, m, a
Let r = 11 - 16. Sort 1, 5, r.
r, 1, 5
Suppose 2*n = 3*x + x - 2, 0 = -x - 4*n - 4. Suppose -3*d = -18 + 6. Put 5, x, d in descending order.
5, d, x
Let v(q) = 2*q + 12. Let s be v(-5). Suppose 0 = g - 2*g. Sort s, g, -1 in descending order.
s, g, -1
Let f be 30/9 - 2 - 0. Let i = -3 + 2. Let c be 2 + i - (-9)/(-7). Put 2/5, c, f in descending order.
f, 2/5, c
Let l be ((-6)/9)/((-2)/(-12)). Let f = -22.6 + -1. Let r = 24 + f. Sort r, -3, l in decreasing order.
r, -3, l
Suppose -2*k + 6 = k. Suppose -u - 3 = x, -u + k = 2*x + 3. Put 1, -3, x in descending order.
x, 1, -3
Let r = 52 - 54. Put -10, r, 4 in increasing order.
-10, r, 4
Let b = -1.6 + 19.6. Let h = 13 - b. Let v = -0.3 + 0.2. Sort v, h, 1/3 in ascending order.
h, v, 1/3
Suppose 0 = a - 7*a + 30. Let d(h) be the third derivative of h**6/120 - h**5/15 - h**4/8 - 7*h**3/6 - h**2. Let g be d(5). Sort g, a, -4 in increasing order.
-4, g, a
Let s(i) = i**3 + 16*i**2 + 3. Let y be s(-16). Let p(v) = v**3 - 8*v**2 - 10*v + 5. Let r be p(9). Let t be (-19)/(-4) + (-1)/r. Sort -5, t, y.
-5, y, t
Suppose 0 = -5*t + 3 + 22, -3*t + 24 = r. Let m be (r - 6)*(2 + -1). Let c be 2*(m/6 + 2). Put -3, 1, c in descending order.
c, 1, -3
Let h = -172 - -167. Put 12, 0, -0.3, h in increasing order.
h, -0.3, 0, 12
Suppose p = 5*s - 27, 23 = -5*p + 3*s - 2. Suppose -12*j + 40 = -56. Let q be p/j*(-24)/39. Sort -3/8, q, -0.4.
-0.4, -3/8, q
Let l be 3 + (3 - 5/1). Put 2, l, 5 in ascending order.
l, 2, 5
Let q(l) = -2*l**2 - 2*l - 3*l + 3*l. Let c be q(-2). Let z(v) = -10*v + 30. Let d be z(3). Put 3, c, d in descending order.
3, d, c
Let a = 1 + -1. Let m be -1*(a - -1 - 0). Suppose 5*d - 1 - 4 = 0. Put d, m, 0 in increasing order.
m, 0, d
Let k = 4.5 + -4. Let a = k + -0.3. Sort 1, 3/2, a in decreasing order.
3/2, 1, a
Let o = 8 + -3. Let b = -0.6 + 9.6. Let d = o - b. Sort d, -0.1, 2/3 in decreasing order.
2/3, -0.1, d
Suppose -7*f = -73 + 52. Let r = 10 + -5. Sort 1, r, f.
1, f, r
Let w(b) = -b + 1. Let u be w(-4). Suppose -5*o - 3 = 7. Sort 4, o, u in descending order.
u, 4, o
Let a = 34 + -65/2. Sort a, 2/5, 0.1 in decreasing order.
a, 2/5, 0.1
Let p = -8 + 8. Let f = p - 0.3. Put -0.4, f, 0.3 in ascending order.
-0.4, f, 0.3
Suppose -n = -4 - 0. Let s be n/18 - 4/6. Put 2/7, s, 0.5 in ascending order.
s, 2/7, 0.5
Let v = 0.074 + 6.726. Let g = v - 7. Sort 2, g, 1 in descending order.
2, 1, g
Let i = 7 + -1. Let w = i - 1. Let f = 4 - 2. Put -2, f, w in decreasing order.
w, f, -2
Let d = -1/24 + 3/8. Let h(b) = b**2 - 10*b + 8. Let g be h(10). Suppose 0*l + 5*i = 2*l + g, 2*l + 4*i - 10 = 0. Sort d, l, 2/3 in descending order.
l, 2/3, d
Suppose -2*q + 4*b = -3*q - 40, 0 = 3*b. Put -3, q, 3 in decreasing order.
3, -3, q
Let p(y) = y - 9. Let i be p(9). Sort -19, 5, i in descending order.
5, i, -19
Let h = 1.6 + -2. Let n = 3 - 2.7. Let y = -0.3 + n. Sort -1, h, y.
-1, h, y
Let q be (-1)/(-1 + 4) - -1. Suppose -5*x + 4*x = -2. Put x, q, -5 in descending order.
x, q, -5
Let b be (-4)/20 - 28886/(-105). Let w = b - 275. Let q = 7/10 + -1/5. Sort 2/5, q, w in ascending order.
w, 2/5, q
Suppose d + 0*d - 3 = 0. Suppose 2*n - 6 = r, -d*r = -2*n - 0*r + 6. Let c be (-10)/4 + (-2)/(-4). Sort n, -1, c.
c, -1, n
Let d be (26/65)/(1/(-2)). Let g = 2.05 - 0.05. Let w = g + -2.5. Sort d, -0.3, w in decreasing order.
-0.3, w, d
Let x = 9.5 - 9. Suppose 0 = 2*t + 4*y - 6*y + 2, -2*t - 5*y = 9. Let j = 0.2 + -1.2. Put j, x, t in ascending order.
t, j, x
Suppose 5*m = 34 - 14. Let k be -6*(-1)/m*2. Suppose -i = -k*i - 8. Sort -1/5, i, 2/15 in ascending order.
i, -1/5, 2/15
Let k = 43 + -40. Put -54, k, 5 in decreasing order.
5, k, -54
Let l = 41.5 + -42. Let g = 15 - 9. Sort 2/13, l, g.
l, 2/13, g
Let m be 27/(-21) + (-4)/(-14). Let n(r) = r**2 + r. Let x be n(-1). Put x, m, 4 in increasing order.
m, x, 4
Let c be (6/(-12))/(1/24). Let q = c - -13. Sort 3, q, 5 in descending order.
5, 3, q
Let j(u) = -u**3 - 9*u**2 - 7*u + 11. Let h be j(-8). Suppose 5*a - 18 - 7 = 0. Put h, -2, a in ascending order.
-2, h, a
Let b be -4*(-4)/48*-3. Let c be 1/((3/(-6))/b). Suppose -4*a + 0*a - 4*d = 12, -d + 13 = -3*a. Sort -2, c, a.
a, -2, c
Let j = -0.09 + 4.09. Let y = -11.7 + 11. Let q = 0.4 + y. Sort -0.5, j, q in decreasing order.
j, q, -0.5
Let n = -0.9 + -0.1. Let t = -4.9 + 5. Put t, -3, n in decreasing order.
t, n, -3
Let t = 0.19 - 0.69. Let s = 0.1 + 4.9. Let p = 3 - s. Sort t, 1/3, p.
p, t, 1/3
Let o be -4 + 74/14 + -1. Let p = -2.99 - 0.01. Sort 4, p, o in ascending order.
p, o, 4
Suppose -12*y = -6*y. Put 12, 1, y in increasing order.
y, 1, 12
Let i be 3*3*(-1)/(-9). Let s(w) = 2*w - 1. Let j be s(i). Sort 5, j, 3 in decreasing order.
5, 3, j
Let g be 6/(-45) + (-496)/(-120). Put g, 7, 0 in increasing order.
0, g, 7
Let d = -1 - -1.1. Let u = d + -0.2. Let n(x) = x**3 + 5*x**2 + 6*x + 5. Let f be n(-4). Put f, 1/3, u in ascending order.
f, u, 1/3
Let w = -9 - -8.85. Let d = -0.05 - w. Put -4, d, 3/5 in descending order.
3/5, d, -4
Let y = -0.5 - 0.5. Let l be (-4)/(-5)*(0 - 5). Sort l, 0.1, y in decreasing order.
0.1, y, l
Let l(d) = -2*d**2 - 3*d + 3. Let p be l(-3). Let v be (-54)/(-15) - p/15. Sort -5, 0.3, v in descending order.
v, 0.3, -5
Suppose v + 5*v = 30. Sort -0.07, 0.5, v in increasing order.
-0.07, 0.5, v
Suppose 2*t = -2 + 12. Suppose 5*w - 3*l + t*l = -5, l = 4*w - 9. Let o be 2*(5/2 + -1). Sort o, w, 4 in increasing order.
w, o, 4
Suppose 0 = -79*v + 74*v + 5. Sort 5, -2, -3, v in decreasing order.
5, v, -2, -3
Let g = -0.945 + -0.055. Sort -2/11, 2/3, g in increasing order.
g, -2/11, 2/3
Let b = 56/11 - 191/44. Let d = -1 + 0. Put b, -2, d in increasing order.
-2, d, b
Let s = 5 + -1. Let p = -9 + 4. Put s, p, 1 in descending order.
s, 1, p
Let d(s) = -s**3 - s**2 - s + 1. Let x be d(0). Put x, 0, 4, -2/11 in increasing order.
-2/11, 0, x, 4
Suppose -5*l + 4*t - 21 = 0, 0*l - t = 3*l + 16. Put l, -3, 4, -1 in descending order.
4, -1, -3, l
Let r be ((-1)/2)/(7/(-14)). Let d be (r/2)/(0 + -1). Put -0.2, d, -0.3 in descending order.
-0.2, -0.3, d
Let f = 0.6 - 0.3. Let p = -0.7 - f. Let v be (-2)/(-6) + 2/(-18). Put p, v, -3 in increasing order.
-3, p, v
Suppose t + 12 = 2. Let n be (-42)/(-30) - (-4)/t. Let g be n/4 - (-1)/(-4). Put g, -4, 5 in decreasing order.
5, g, -4
Let w be -1*5*(-144)/120. Put w, -5, -3 in descending order.
w, -3, -5
Let u = -51.4 - -51.8. Let s = 4/33 + -5/11. Sort s, 2, u in descending order.
2, u, s
Let q = 5/18 + -1/9. Sort 0, q, 1 in ascending order.
0, q, 1
Let l be (-3 + -2)*-2 - 0. Let n be (18/15)/((-4)/l). Put 0, n, 1 in decreasing order.
1, 0, n
Let i be (-1)/(-7)*7*3*-1. Put -5, -14, i in increasing order.
-14, -5, i
Let o(b) = b - 7. Let l be o(7). Let r(h) = h**2 - 3*h. Let n be 9/2 - (-1)/(-2). Let s be r(n). Put l, s, -3 in increasing order.
-3, l, s
Suppose -6*m + 4*m - 12 = 0. Let x = 6 + m. Suppose 5*p = -x*p + 20. Sort 3, 5, p.
3, p, 5
Let a = -3 - -9. Suppose -a + 31 = -5*q. Let u(m) = m**2 + 3*m - 5. Let f be u(q). Put 0, f, -3 in decreasing order.
f, 0, -3
Let o be -4 - (0 + -4) - 0 - -3. Let y be 1 + 18 - (-2 - -1). Let j be 12/y - 2/(-5). Sort j, o, 4 in descending order.
4, o, j
Suppose -11*t + 0*t = 0. Let o = -0.03 + -2.97. Sort 1, o, t in decreasing order.
1, t, o
Suppose 4*b - 40 = 14*b. Put -51, 0, b in decreasing order.
0, b, -51
Let f be (2/(-4))/(10/40). Sort -6, f, 1, -5.
-6, -5, f, 1
Let f be 4 - (-7)/(14/8). Sort 2, 0, f in decreasing order.
f, 2, 0
Let r = 5 - 9. Let a be (-28)/(-10) - (-3)/15. Suppose 1 = j + 2*b, -4*j + 5*b + 15 = -a*j. Sort j, -3,