 16. Suppose 2*t + 15 = t + 4*a, 2*a = 3*t + 5. Sort m, 2, t in decreasing order.
m, 2, t
Suppose -w = -l + 168, -5*w + 3*l - 1009 = -165. Sort 3, w, -2.
w, -2, 3
Suppose 0 = -5*d - 3*l + 5, -3*l + 0*l - 3 = -3*d. Let k be (d/(-2))/((-3)/(-12)). Let j = -10.7 + 11. Sort j, 3, k in decreasing order.
3, j, k
Suppose 5*w + y - 34 - 79 = 0, -4*y - 54 = -2*w. Let l = 26 - w. Sort -0.1, 4, l in descending order.
4, l, -0.1
Let z = 339 + -335. Sort -3, 3, 0, z.
-3, 0, 3, z
Let p = -19.17 - -0.17. Let u = -15 - p. Let j = 4.2 - u. Put j, 0.3, -0.2 in increasing order.
-0.2, j, 0.3
Let y = -11431 + 11429. Suppose -5*r = -4*r - 4. Sort -3, r, y, 1 in increasing order.
-3, y, 1, r
Let u = -1321 - -1322. Put 34, u, 0.1 in increasing order.
0.1, u, 34
Let u = 2879 + -2882. Sort u, 14, 2, 9 in descending order.
14, 9, 2, u
Let v = 0.007 - -0.393. Put -0.108, v, -0.5 in increasing order.
-0.5, -0.108, v
Suppose 4*h = 12 + 8. Suppose h*r = 4*r - 2. Let l = 18 + -22. Sort l, 2, r.
l, r, 2
Let k be (-189)/(-12) - (-1)/4. Suppose 8*s - k = 4*s. Sort s, 6, -2 in increasing order.
-2, s, 6
Let j = -122 - -60. Put -2, -5, 0, j in decreasing order.
0, -2, -5, j
Let s be (1/2)/((-1)/10). Suppose 0 = 25*t + 44 + 31. Sort t, s, -4.
s, -4, t
Suppose b = -5*r + 40, 2*b - 16 = -r - r. Suppose -5*c - 3*f - f + 9 = 0, -4*c - 4*f = -r. Suppose 3*z - 4 = 8. Put z, c, 5 in increasing order.
c, z, 5
Suppose -k + 1 = -2*z, -4*z - 5 = -9*k + 4*k. Suppose -4*y = -0*y - 4. Let v(a) = 2*a**2 + 2*a - 1. Let p be v(y). Sort k, -4, p in descending order.
p, k, -4
Suppose 3*t = i - 0*i - 5, t = -5*i + 9. Suppose 8*q = 15*q - 14. Sort q, 4, -3, t.
-3, t, q, 4
Suppose 10 = -2*n + 20. Suppose 20 + 20 = 10*x. Sort n, -12, x in decreasing order.
n, x, -12
Let y(a) be the third derivative of a**6/120 + 2*a**5/15 + 3*a**4/8 + 3*a**3/2 - a**2. Let v be y(-7). Put 1, v, 0 in decreasing order.
1, 0, v
Let s be (3 - 2) + (-8 - -3). Suppose -4*r + 3 = 5*x, -2*x + 4*r = 6*r. Let k(v) = v**3 - 3*v**2 - 5. Let p be k(x). Put p, s, -1 in decreasing order.
-1, s, p
Let k = 2.3 + -0.3. Let i = 0.056 - -21.944. Let j = 21.9 - i. Sort k, 1/10, j in descending order.
k, 1/10, j
Let n(i) = -i**3 - i**2 - i. Let y = -4 - -8. Let u = y + -4. Let z be n(u). Sort 2, -5, z in increasing order.
-5, z, 2
Suppose -p = -3*n + 4*p, 4*p = -n. Suppose -t - 4*t - 5 = n. Suppose -3*s = 3*s. Sort s, t, -5 in descending order.
s, t, -5
Let s = 0.04 - 1.04. Suppose -5*y = 4*n - 2, 0 = -2*n + 4*y + 16 - 2. Sort -3/2, s, -2/3, n in decreasing order.
n, -2/3, s, -3/2
Let p = 0.63 + -44.63. Let t = p + 46.7. Let y = 0.7 - t. Sort -4, y, 4/3.
-4, y, 4/3
Let n = -1887 + 1890. Put 0.03, n, 0.5 in ascending order.
0.03, 0.5, n
Let u(k) = 2*k**3 + 18. Let a be u(0). Sort -2, a, -5, 2 in ascending order.
-5, -2, 2, a
Let a(z) = z + 13 - 8*z - 486*z**2 + 477*z**2 - z**3. Let q be a(-8). Let v be (-4)/(-2)*(-6)/4. Put 3, q, v in descending order.
q, 3, v
Let x = -208 - -203. Sort x, 3/4, 3, -2/13.
x, -2/13, 3/4, 3
Let b = 4/17 + -33/68. Let f = -0.056 - -2.056. Put 1.4, b, f in ascending order.
b, 1.4, f
Suppose 0 = 21*y + 316 - 925. Sort y, -2, 5 in decreasing order.
y, 5, -2
Let s = -7 - 0. Let i(d) = -d - 2. Let y be i(s). Let g be (8/(-10))/((-2)/(-5)). Put 0, y, g in increasing order.
g, 0, y
Let u(c) = -c**3 + 9*c**2 + 11*c - 14. Let f be u(10). Sort f, 19, 5.
f, 5, 19
Let y be 1*(8/6)/(-4). Let o = -39 + 38. Put o, y, -2 in descending order.
y, o, -2
Suppose 0 = 3*t - 0*t - f - 9, 0 = f. Let b be -1 + ((-12)/2)/3. Let q be 9/b + 5 + 2. Sort t, q, 2.
2, t, q
Suppose -u + 0*x - 3*x = -10, -u + 15 = 4*x. Let w be 1/2 + (-11)/(-2). Put u, 3, w in ascending order.
u, 3, w
Let n(b) = -b**3 - b**2 - 2*b - 1. Let g be n(-2). Let f be 6 - g - (4 + -1). Let l be (-2)/5 + (-9)/(-60). Sort l, -0.07, f in decreasing order.
-0.07, l, f
Let a(g) = -24*g - 6. Let l be a(-2). Let k be l/(-110) - (-3)/(99/6). Sort 2/9, -8, k in descending order.
2/9, k, -8
Let o = 2.76 - -0.24. Sort 5, -3, o, -4 in decreasing order.
5, o, -3, -4
Let y = -2 - -6. Let a = -16 + 20. Suppose a*w - 8 = -24. Put y, 0, w in decreasing order.
y, 0, w
Let o = 0.7 + -0.4. Let p = -1.7 - o. Suppose 4*m + s - 14 = 0, 0 = 2*m + 9*s - 5*s - 14. Put -0.4, m, p in decreasing order.
m, -0.4, p
Let y = -0.54 - -11.34. Let o = y - 11. Sort -0.3, -3, o in increasing order.
-3, -0.3, o
Suppose -2*a + 5*n + 14 = 3*n, 0 = -5*n - 25. Suppose 0 = a*i + 18 - 10. Sort 2, i, -3.
i, -3, 2
Let b be (-1057)/119 + 9 + (-16)/(-153). Sort -6/5, 3, 5, b in decreasing order.
5, 3, b, -6/5
Let j = 15 - 14.14. Let h = 0.14 + j. Sort 2/19, -2, h.
-2, 2/19, h
Let y be (36/270)/(18/15 - 2). Put -4, 1/3, y, -1/2 in descending order.
1/3, y, -1/2, -4
Let i = -32 + 35. Put i, -1, -4, -2 in descending order.
i, -1, -2, -4
Suppose 181*s = 184*s - 15. Put -5, s, -9 in ascending order.
-9, -5, s
Let t be 6/8 - 28/(-112). Suppose 0*d - 2*d = 0. Sort d, t, -4 in decreasing order.
t, d, -4
Let c = 6 + -7. Let j = 0.3 + c. Let v be -1*(-1 - (-1 + -1)). Put j, -4, v in increasing order.
-4, v, j
Let k = -48 - -52. Put k, 5, 1 in ascending order.
1, k, 5
Let q = 4/3 - 17/15. Let n = -76.05 + 76. Let x = n + -0.05. Sort q, 0.1, x.
x, 0.1, q
Let r = 1.74 + -1.5. Sort 3, -5, r in decreasing order.
3, r, -5
Let h(b) = 6*b + 155. Let q be h(-27). Sort q, 1, -2, -4 in increasing order.
q, -4, -2, 1
Let v = -926 - -3705/4. Put v, -1, 0, -7/2 in increasing order.
-7/2, -1, 0, v
Let r = -16 + 17. Let z = 313 + -310. Sort -2/15, -2/3, z, r in descending order.
z, r, -2/15, -2/3
Let h = -1410.7 + 1411. Let g = 4 + -4. Let m = 5 + g. Sort -4, h, m.
-4, h, m
Let l = 0.2 - -0.8. Suppose 0 = x - 23 + 20. Suppose -x*y - 2 = 7. Sort y, l, -1.3.
y, -1.3, l
Let z = 66 - 70. Sort z, -1, 4, -2 in descending order.
4, -1, -2, z
Let o = 145 + -144.01. Let n = o - -0.01. Sort -0.03, n, 3 in increasing order.
-0.03, n, 3
Let r = 4.5 + -0.3. Let m = 0.2 - r. Let y = -647/483 + 1/161. Put 4, m, y in increasing order.
m, y, 4
Let d = 12 - 0. Let x be (-189)/(-18) - 1/2. Let q be (18/15)/(23/x + -2). Put d, q, -4 in decreasing order.
d, q, -4
Let z = 839/1245 + -3/415. Sort 5, z, -11, 6 in decreasing order.
6, 5, z, -11
Suppose 7*x - 8 = 3*x - b, 2*x + 2*b = 10. Sort -1, -0.1, -40/3, x.
-40/3, -1, -0.1, x
Let a = 2101 + -2094. Put a, 5, -7 in descending order.
a, 5, -7
Let t = -12273/367598 + 1/3038. Let z = -512/847 - t. Sort -3/5, 0.4, z in decreasing order.
0.4, z, -3/5
Let c = 17 - 17.4. Let v = 40 - 19. Let s be 4 - (-2)/(-9)*v. Sort 1/6, c, s in decreasing order.
1/6, c, s
Let z = 19 - 27. Let m(w) = w - 12. Let v(n) = 3*n + 2. Let r(s) = m(s) - v(s). Let c be r(z). Put -5, c, -4 in decreasing order.
c, -4, -5
Let k(n) = -n - 4. Let a be k(-5). Suppose -5*z - 5*f - 155 = 0, f + 120 = -4*z - 2*f. Let h = z + 80/3. Sort a, 2/13, h in ascending order.
h, 2/13, a
Let w = 6 - 16. Let h be (-8)/6*45/w. Suppose 5 = f + h. Sort -2, 3, f in ascending order.
-2, f, 3
Let o = -20 + -6. Let z = o + 18. Put 1, z, -5, 0 in descending order.
1, 0, -5, z
Let k be (-1)/((-10)/4 - -1). Put k, -5, 5, -1.2 in descending order.
5, k, -1.2, -5
Let h be (-66)/(-15) - (-4)/(-10). Suppose -h*s + 8 = -0*c + 2*c, c + 16 = 3*s. Let z be (-6)/4 + (-2)/(-4). Sort 3, s, z.
z, 3, s
Let v(t) = -t + 1. Let r be v(3). Let n(a) = -11*a**2 + 31*a + 10. Let y be n(3). Sort r, 5, -4, y in descending order.
5, y, r, -4
Let o = -68.24 - -68. Let p = 0.26 - o. Let s = -0.04 + 0.34. Put s, p, -5 in decreasing order.
p, s, -5
Let m = -2/41 + -68/287. Let h = 10.8 + -11. Sort m, 4/5, h in ascending order.
m, h, 4/5
Suppose -16*r = -33*r + 34. Sort -1, -4, r, 37.
-4, -1, r, 37
Let w = 0.33 - 3.13. Let a = w - -6.8. Put 3/2, a, 5 in descending order.
5, a, 3/2
Let w = 7.81 - -0.19. Let v = w - 7. Let j = -1.64 - 2.36. Sort j, v, 0.1 in descending order.
v, 0.1, j
Let p = -23 + 30. Let s = -4 + 9. Suppose -3*h = -5*b - 2, -2*b - 1 = -5. Put p, h, s in decreasing order.
p, s, h
Let y = 9.85 + -9.349. Let x = y + -0.101. Let o be (-2)/1 + 7*1. Sort o, 0.3, x in ascending order.
0.3, x, o
Let j = -109.9282 + -0.0718. Put 3/4, 3, j in decreasing order.
3, 3/4, j
Let l = -26 + 25. Let i be (10/8)/(11/(-44)). Sort i, 5, l, 4 in descending order.
5, 4, l, i
Let p be ((-64)/(-20))/((-1)/(-