/14. Suppose s*x - 3*x = -5*h - 22, 4*x = -3*h - 16. Sort b, x, -3.
-3, x, b
Let c(m) = m. Let d(j) = -6*j + 12. Let h(u) = -4*c(u) - d(u). Let w = 1 - -7. Let f be h(w). Put f, 5, 2 in ascending order.
2, f, 5
Let u be ((-2)/25)/((-76)/95). Sort u, 5, 2 in decreasing order.
5, 2, u
Let c(f) = 16*f**3 - f. Let t be c(1). Let s = t + -18. Sort -4, s, 3.
-4, s, 3
Suppose m = 2*p + 2*p - 8, -4*m + 5*p + 1 = 0. Let i = 3 - m. Sort 0.5, i, -0.1.
i, -0.1, 0.5
Let p = 86.3 - 86. Put -2, p, 0 in ascending order.
-2, 0, p
Let w = -271 - -3525/13. Let p be 0 - (1701/5)/3. Let l = -113 - p. Sort w, -2/5, l in descending order.
l, w, -2/5
Let x(f) = f**3 + 5*f**2 - 6*f + 1. Let u be x(-6). Let p be (-1)/(-7) + u/91. Sort -9, p, -4 in decreasing order.
p, -4, -9
Let w = -3.2 - -3. Let j = -7 + 7. Sort j, -1/4, w in decreasing order.
j, w, -1/4
Let y = -1.8 - -4.8. Sort -1, y, 5, 2 in decreasing order.
5, y, 2, -1
Let k = 0.4 + -0.58. Let p = -0.22 + k. Sort 2, -0.3, p in increasing order.
p, -0.3, 2
Let c = 3 - 4. Let t = 174 - 523/3. Put t, c, 3 in ascending order.
c, t, 3
Suppose 0*g + 8 = 2*g. Suppose -l - g = l. Let r be l/7 + (-60)/(-14). Put r, 3, -1 in increasing order.
-1, 3, r
Suppose 0 = -p + 2*n, -2*p - 3*n - 20 = -p. Let j be 50/(-18) + p/36. Let c be ((-2)/6)/(2/(-12)). Sort 0, c, j in decreasing order.
c, 0, j
Let x = -1.5 + -4.5. Put 3, x, 0.1, 4 in descending order.
4, 3, 0.1, x
Let d be (-1 - 1/8) + 3. Let t = 37/24 - d. Sort 4, -3, t in descending order.
4, t, -3
Suppose -6*g = -g. Suppose 4 + 4 = -4*x. Sort g, x, -5 in decreasing order.
g, x, -5
Let m = -2 + 1.5. Let p = 0.76 - 0.7. Let b = -3.94 - p. Sort b, -1, m.
b, -1, m
Let j = -0.9 + 1. Let h be (2/2*-1009)/45. Let r = -111/5 - h. Put j, r, -4 in descending order.
r, j, -4
Let g = 5 - 7. Put 5, g, -3 in decreasing order.
5, g, -3
Let j = 2.6 + -12.6. Let x = j - -8. Let s be 8/(-30) - (-4)/6. Put s, 0.1, x in ascending order.
x, 0.1, s
Let k(i) = i - 9. Let v = -10 - -5. Let u be (-42)/v + 2/(-5). Let s be k(u). Sort s, -2, -3 in increasing order.
-3, -2, s
Let i = 18 - 10. Let u = -5 + i. Sort -3, -2, u in decreasing order.
u, -2, -3
Let o be -1 + (4 - 1) + 0. Let a be 3/2 - o/(-4). Let k be (2 - 1)/(1*-1). Sort 3, k, a in descending order.
3, a, k
Suppose -4*p = y - 2*y + 41, -4*p + 4*y = 56. Let r = p - -13. Let v be (-6)/8*r/1. Sort v, 5, -0.3 in descending order.
5, -0.3, v
Let m = -6 + 6.14. Let q = m + 12.86. Let d = 8 - q. Sort d, 0.5, -2/3 in increasing order.
d, -2/3, 0.5
Let p = -5 + 4. Sort 4, -4, 2, p in increasing order.
-4, p, 2, 4
Suppose 0 = -2*p - 2 - 2. Put 5, -5, p in decreasing order.
5, p, -5
Let o = -26 + 24. Sort -4, 0, o, -1 in decreasing order.
0, -1, o, -4
Let b be 2 + (-7)/(21/9). Sort b, -20, 1 in increasing order.
-20, b, 1
Suppose -4*d - 9 = -61. Let t = 6 + d. Suppose 5*y - 2*q - 1 = -5, 5*y + 3*q = -t. Sort y, -1, -5 in ascending order.
-5, y, -1
Let n = 0 - -4. Let y be (-5)/20 - (-13)/n. Let u = 18 - 13. Sort y, -2/19, u in increasing order.
-2/19, y, u
Let j = 8.94 - 9. Let x = j - -4.06. Put x, 0, -1/6 in decreasing order.
x, 0, -1/6
Let y be (-7)/(9 - -5) - 9/(-2). Sort y, -3, -4 in decreasing order.
y, -3, -4
Suppose 2*m - 19 = -5*g, 4*m + 0*m = 8. Suppose -g*b + 10 = 2*b. Sort 0, -3, b.
-3, 0, b
Let w = -30 - -27. Put -7, -5, w in decreasing order.
w, -5, -7
Let h = 153/7 - 22. Sort 5/3, h, 0.07 in increasing order.
h, 0.07, 5/3
Let a be 8/(-30) + 26/(-65). Let s = 13.2 - 9.1. Let h = -0.1 + s. Sort 1, h, a in descending order.
h, 1, a
Let m = 30.02 + -28. Let i = -0.02 + m. Sort i, 0.4, 3 in ascending order.
0.4, i, 3
Let j be 2*(1 - 2/4). Suppose 3*t + 0*t - f - 7 = 0, -2*f - 2 = 0. Suppose -3*r + 1 = 10. Put j, t, r in increasing order.
r, j, t
Suppose 3 = q - 2. Suppose 0*z = -q*z + 5. Put -3, z, 2 in decreasing order.
2, z, -3
Let m be 2/4*4/(-2). Suppose -5*h + 0*h - 45 = 0. Let z = -4 - h. Sort 2, m, z.
m, 2, z
Let d = 0.464 - -0.036. Put -0.4, 5, -0.6, d in descending order.
5, d, -0.4, -0.6
Let z(w) = -w + 18. Let v be z(15). Sort 0.1, v, 0.3 in decreasing order.
v, 0.3, 0.1
Suppose 2*p - 10 = -0*p. Let j = p + -4. Let t(n) = 3*n**2 + n + 1. Let l be t(-1). Put l, 5, j in descending order.
5, l, j
Suppose -3*h = 3*g + 6, -g + 22 = -6*g - h. Sort 4, g, -1 in descending order.
4, -1, g
Let y be (-42)/(-12)*(-8)/(-14). Put y, 4, 5 in descending order.
5, 4, y
Suppose 5*u + 8 = 7*u. Let s be 51/(-12) + u + 0. Let j = -0.1 - 0.9. Put j, -2/5, s in decreasing order.
s, -2/5, j
Let r(g) = -3*g + 4. Let b be r(3). Let h(p) = -p**3 + p**2 - p - 15. Let c be h(0). Let t be (-4)/6 + (-10)/c. Sort 1, b, t.
b, t, 1
Let f = -21/5 + 194/45. Suppose -5*l = -h, -4*l + 0*h + 16 = -4*h. Sort f, l, 1/2 in ascending order.
l, f, 1/2
Let f be (-1 + 2/(-4))/(-6). Suppose -3*h = -0*h + 30. Let i be (-2 + (-6)/(-4))*h. Sort f, -0.1, i in increasing order.
-0.1, f, i
Suppose -4*t = -4 + 16. Sort 2, 3, t, 0 in decreasing order.
3, 2, 0, t
Suppose 2*m = 14 - 4. Let j be (-2 + 0)/(-3 + m). Suppose 0 = o + k + 4, -o - 8 = -3*k - 0*k. Sort 1, o, j.
o, j, 1
Let m = 11 - 11. Let l = -0.4 + 0.7. Sort m, -0.1, l.
-0.1, m, l
Suppose 5*d + 21 = -4*o, 0 = -5*o + d - 6 - 13. Let s be 2 + (-2 - o - 6). Let f be s/5*5/9. Put f, -0.5, 3/2 in decreasing order.
3/2, f, -0.5
Let j = 166.9 + -156. Let f = 11 - j. Let u = 11 - 21/2. Put 0.3, f, u in descending order.
u, 0.3, f
Let i = -0.05 + 0.15. Sort -4, i, -5.
-5, -4, i
Suppose 2*t = -4*z - 3 + 13, -25 = -5*z - 5*t. Put -2, 1, -3, z in descending order.
1, z, -2, -3
Let z(v) = 2*v**2 + 13*v + 4. Let t be z(-6). Let j = 2 + -1. Let k be 1 - 0*(0 + j). Sort k, t, 4.
t, k, 4
Let s = 20 - 24. Sort s, -3, 1 in increasing order.
s, -3, 1
Let z be 6/(-21) - 15/21. Suppose h + 4 = 8. Sort 0, h, z in decreasing order.
h, 0, z
Suppose -5*z - 11 = -2*f, 0*f = -z + 5*f - 16. Let a = z + -4. Suppose 0*b = -5*p - 4*b + 30, p - 2*b + 8 = 0. Put a, p, -2 in increasing order.
a, -2, p
Let z(v) = v**2 + 3*v + 7. Let u be z(-3). Suppose -3*a - 18 = 4*g - u*g, g + 18 = -5*a. Let t = -168 - -1180/7. Put 2, a, t in ascending order.
a, t, 2
Let m(z) = z - 1. Let t be m(6). Let h(n) = 4*n**2 + 5*n + 1. Let k be h(-2). Sort k, t, -1.
-1, t, k
Let a = -2/17 - 24/85. Let w = 9.5 - 14. Let m = -5 - w. Sort a, m, -3.
-3, m, a
Let c be 3/9 - 5570/42. Let s = -132 - c. Let f = 0.5 - 5.5. Put s, f, 5 in decreasing order.
5, s, f
Suppose 5*z = 19 + 1. Suppose 3*j + 10 = -4*u, -u = -4*u - 3. Sort -1, z, j in increasing order.
j, -1, z
Let a = 0.3 - 0.2. Let u = 5 - 5.1. Let f = 51 + -457/9. Sort a, f, u in decreasing order.
f, a, u
Let n be (-3)/(-2)*(-7)/21. Let r = -5 - -10. Sort n, r, -4 in descending order.
r, n, -4
Let w(u) = u**2 - u - 2. Let b be w(3). Suppose -v + 8 = 3*q, v - b*q = 2*v - 9. Sort 3, v, 0 in descending order.
v, 3, 0
Let k = 2 + -2. Sort -5, k, -0.5, -1.
-5, -1, -0.5, k
Let r = -4/39 - 3/13. Let h = 67 + -466/7. Put h, r, 1 in descending order.
1, h, r
Suppose 3*l - 6*l - 3*y = -12, -5*y = -3*l - 28. Let i be l - (36/10)/(-3). Let b = -2 - -1.9. Sort i, b, 0.1 in ascending order.
b, 0.1, i
Let t be 2 + -1 - 0/(-2). Let p = -2.8 + 2.3. Sort 4, p, t in decreasing order.
4, t, p
Let k be (-91)/(-21) + 2/3. Put k, 6, -4 in decreasing order.
6, k, -4
Let q = -8.1 - -8. Let z = q + -2.9. Put -1, 4/9, z in increasing order.
z, -1, 4/9
Let r be (-2)/(-3) - (-40)/12. Let l be (-6)/9 + 16/6. Suppose 3*t = 3*z - r - 11, 4 = 5*z + l*t. Sort z, 4, 0 in increasing order.
0, z, 4
Suppose 2 = -8*a + 18. Sort -11, a, -2 in descending order.
a, -2, -11
Let k = 501/10 + -50. Sort 1, k, 4, -3/4 in increasing order.
-3/4, k, 1, 4
Suppose 6*t - 6 = 3*t. Sort 3, -1, t in descending order.
3, t, -1
Let a be 2/(-1) + (-209)/(-99). Put 0, a, -7 in increasing order.
-7, 0, a
Let r = -6.4 - -6. Let z = 0.2 + r. Let y = 1 + -6. Sort z, 0.3, y in decreasing order.
0.3, z, y
Suppose n + 0*n = 0. Let f(u) = u + 3. Let c be f(-7). Sort 3, n, c.
c, n, 3
Suppose 4*r + 20 = 5*d - 5, 2*d - 5*r - 10 = 0. Sort -5, 2, -3, d in increasing order.
-5, -3, 2, d
Let m(s) = s**2 + 2*s - 3. Let d be -2*(3 + -3 + -1). Let f be m(d). Sort 2, f, 0 in decreasing order.
f, 2, 0
Let r(l) = l**3 - 4*l**2 - 11*l - 2. Let f be r(6). Put -5, 6, f, 2 in increasing order.
-5, 2, f, 6
Let 