15. Let w = h - 17.2. Put 5, w, -1 in decreasing order.
5, w, -1
Let r = 8 - 1. Let s = -7 + r. Let y = -1 + 1.3. Put y, 2, s in ascending order.
s, y, 2
Suppose 0 = -4*z - 7 + 15. Suppose 3*q = q + 2*x, q + 3 = -z*x. Put -2, 5, q in ascending order.
-2, q, 5
Let p be (4 - 505/75) + (-4)/(-10). Sort -2, 0.3, p in increasing order.
p, -2, 0.3
Let k = 1.1 - 2.2. Let a = -33 + 38.1. Let h = a + k. Put -4, h, -2/11 in descending order.
h, -2/11, -4
Let o be (-2 + 1)*(3 - -1 - 3). Suppose -10 = -f - 3*b, 0 = -8*f + 4*f - 2*b - 10. Sort -4, f, o.
f, -4, o
Suppose -8 = -5*r - 33. Sort 0, r, 1 in ascending order.
r, 0, 1
Suppose 3*p - 51 = -5*j - 16, -2*p + 10 = 0. Let h = -6.1 - -1.1. Let y = -5.2 - h. Put j, -0.4, y in ascending order.
-0.4, y, j
Suppose -2 = -3*g - 2*h + 7, 2*g - 13 = h. Suppose 1 = g*a + 6. Let o(l) = -l**2 - 4*l + 6. Let j be o(-5). Sort j, a, 0 in decreasing order.
j, 0, a
Let h = 26/35 - 3271/210. Let b = h + 15. Sort b, 5, -3.
-3, b, 5
Let d = -71 + 70.43. Let v = d - -0.07. Sort -0.1, 4, v.
v, -0.1, 4
Let z = 27 + -18. Let q = z + -8.6. Sort q, 0, -4 in descending order.
q, 0, -4
Let a = -0.6 + -2.4. Let q = a - 2. Put -4/7, 4, q in ascending order.
q, -4/7, 4
Suppose -15*v = 155 - 50. Sort 5, v, 4 in descending order.
5, 4, v
Let g = 1.9 - -7.1. Let q = g + -5. Put q, -3, 0 in decreasing order.
q, 0, -3
Let q = 7 - 6.7. Put -0.4, 3, q in increasing order.
-0.4, q, 3
Let u = -5.16 + 5. Let z = u + -0.04. Sort -2/3, -2, z in ascending order.
-2, -2/3, z
Let t be (-1)/(-3) + (-7)/3. Suppose -3*q + 9 - 3 = -3*v, -5*v - 10 = -q. Suppose 3*n = 3*d, -2*d + 3 = -n - q. Put d, t, 1 in increasing order.
t, 1, d
Suppose 0 = 8*j - 4*j - 8. Let a(b) = -b**2 + b + 2. Let s be a(-2). Put s, j, -1 in ascending order.
s, -1, j
Let g = 20 - 2. Suppose 3*w + 3*h = -0*h - g, 5*w - 5*h + 20 = 0. Suppose 3*x + x = 0. Put w, -3, x in descending order.
x, -3, w
Let h = -11.5 - -12. Let r = 0.08 + 4.92. Let l = 0.19 - -0.21. Sort l, h, r in descending order.
r, h, l
Let f = 428/1045 + -2/209. Put -0.5, f, 5 in ascending order.
-0.5, f, 5
Let d = -7 + 7.5. Let c = -1 + d. Sort 0.2, 0.1, c in descending order.
0.2, 0.1, c
Let r = -72 + 71.7. Let k = 0 + 0. Sort k, 0.4, r in descending order.
0.4, k, r
Let l = 0 + -2. Let d(f) = -14*f - 1. Let g be d(-1). Let r = g - 12. Sort 2, r, l in descending order.
2, r, l
Let j(r) be the third derivative of -r**6/20 + r**5/60 + r**2. Let t be j(1). Suppose 0 = -9*i - 6*i + 45. Sort 0, i, t in descending order.
i, 0, t
Let f(j) = j**2 - j - 3. Let h(w) = -w - 1. Let o be h(-1). Let g be f(o). Suppose 21 = 3*n + 3*m, -3*n + 3 = -2*m - 8. Sort g, 1, n in ascending order.
g, 1, n
Let l = -0.6 + 0.5. Sort 5, l, 0.5, -4.
-4, l, 0.5, 5
Suppose 4*n + 3*k = 0, -k + 2*k = 2*n + 10. Let v = 8 - 8. Sort n, v, 5.
n, v, 5
Let n = -20 - -15. Let k = n - -10. Put 3, k, -2 in decreasing order.
k, 3, -2
Let r = 1/14 - -11/42. Let y = -15913/7350 + -2/1225. Let s = -5/6 - y. Put s, -2/5, r in ascending order.
-2/5, r, s
Let a = 10.1 + 1.9. Let s = a - 17. Sort 4, s, 0.3 in descending order.
4, 0.3, s
Suppose 22 = -2*i - 2*h, -i + 4*h - 14 = 7. Let y = i + 9. Sort y, -0.3, -2/9 in descending order.
-2/9, -0.3, y
Let o = 7.4 + -7.4. Sort -3/2, -5, o, 1/2 in increasing order.
-5, -3/2, o, 1/2
Let k = 10 - 10. Suppose k = -t - 0 + 2. Suppose 3*o = -3*f - t*f - 27, -3*f - 5*o = 29. Put 0.5, 2, f in descending order.
2, 0.5, f
Let l = -0.18 - -0.18. Put 0.3, l, -3 in ascending order.
-3, l, 0.3
Let q = 0.1 + -0.2. Let u = 0.15 - -0.15. Let l = 253/240 - 19/16. Sort u, l, q in decreasing order.
u, q, l
Let k be (-68)/(-7) - 18/(-63). Put -4, 2, 3, k in descending order.
k, 3, 2, -4
Suppose m + 6 = -5*f - 26, 2*m = 3*f + 14. Put -3, f, 4 in ascending order.
f, -3, 4
Let a be (-2)/((-1)/(-2)*-1). Let t = a + -9. Let o = 43.1 + -42.1. Sort -2, o, t.
t, -2, o
Let i = 2.7 + -2.7. Put -2/3, i, -1/4 in descending order.
i, -1/4, -2/3
Suppose -l = l + 56. Let g be ((-3)/(-2))/(21/l). Put g, 3, -10 in descending order.
3, g, -10
Let n(j) = -3*j**2 - 23*j - 42. Let k be n(-4). Suppose -2*h - 3*h = -5. Sort h, 3, k in descending order.
3, k, h
Suppose -4*h - 16 = 3*a, 5*h + a = -6 - 14. Let i = -19.6 + 20. Sort -0.3, h, i.
h, -0.3, i
Let o(j) = -j**2 - 3*j + 6. Let u be o(-5). Put u, -1, 0 in descending order.
0, -1, u
Let n be ((-10)/(-25))/((-1)/5). Put 2, 0.4, n, -5 in increasing order.
-5, n, 0.4, 2
Suppose 3*u + 1 + 5 = 0. Let f(c) = 2*c**2 + 2*c - 1. Let w be f(u). Let o = -9 - -4. Put -4, w, o in descending order.
w, -4, o
Let t(u) = u**3 - 5*u**2 + 3*u + 4. Let c = 0 + 3. Let f be t(c). Suppose 8 - 23 = -3*k. Sort k, 2, f in ascending order.
f, 2, k
Let n = -46 + 97/2. Put 0, n, -4 in decreasing order.
n, 0, -4
Let n be 75/(-40) - (-3 + 3/3). Put n, 2.5, -2/5 in ascending order.
-2/5, n, 2.5
Let u = -12 - -26. Let n be (-1 - (-634)/u)/2. Let h = -22 + n. Sort h, -1, 4 in increasing order.
-1, h, 4
Suppose 12 = 2*w + 6. Put w, -3, -2 in ascending order.
-3, -2, w
Let w = 1 + 2. Suppose 0 = -2*b + 2*i + 30, 2*b = -3*b + w*i + 65. Put b, -2, 0 in decreasing order.
b, 0, -2
Let c be 9 - 10 - (-482)/(-6). Let d = c - -82. Sort 1/11, d, 0.4 in descending order.
d, 0.4, 1/11
Let j = 0.32 - 0.02. Sort 3/4, j, 5.
j, 3/4, 5
Suppose 9*f - 8*f - 1 = 0. Let y = -1 + f. Sort -3, y, 4 in descending order.
4, y, -3
Let t = 0 + -4. Let i = t + 3.8. Let u = i + 0.2. Sort u, 4/3, -2/11.
-2/11, u, 4/3
Let t = 0.5 + -2.5. Let w be (-4)/(-6) + (-140)/165. Let f = w - -15/22. Put t, f, 1 in increasing order.
t, f, 1
Suppose 0*y - 3*y - 12 = 0. Sort -1, 5/2, y in descending order.
5/2, -1, y
Let z(g) = 6*g - 4. Let v be z(2). Suppose 4 - v = 4*j. Let t = 1 - 1. Sort 1, j, t in ascending order.
j, t, 1
Suppose -5*p + 5 = 10. Put 3, 5, p in descending order.
5, 3, p
Let t(x) = -x**2 + 6*x - 8. Let k be t(6). Let j = 4 + k. Sort -1/8, -0.2, j in decreasing order.
-1/8, -0.2, j
Let l = -118 - -1179/10. Let p = 7/5 - l. Put -2/9, 1, p in ascending order.
-2/9, 1, p
Let u be -17 + (-1 - 1 - -3). Let a = 31 + u. Let y be (-3 + 39/a)*-5. Sort 5, -2, y in decreasing order.
5, y, -2
Let m(r) = r - 4. Let n be m(5). Let v be (3 - -1)*n/(-2). Put 3/5, v, -4 in descending order.
3/5, v, -4
Let t = 1 + 15. Suppose 18 = -2*q + 5*z - 2, -4*z + t = -3*q. Sort -1, 7, q.
-1, q, 7
Let x = -8 - -9. Sort 4, 2/9, x in descending order.
4, x, 2/9
Let s = 29 - 29.4. Put -2, -4, s, -2/3 in decreasing order.
s, -2/3, -2, -4
Let j be (-4)/(-14) + 12/56. Let q be 4/(-10) - (-22)/5. Let m = 111/2 + -54. Sort j, m, q in ascending order.
j, m, q
Let k be (-1 - 1 - -2)*1. Put 4, k, -4 in increasing order.
-4, k, 4
Let b = 5 + -5. Put b, 1, 4, -3 in increasing order.
-3, b, 1, 4
Suppose -20 = 3*n - 4*i, 3 = 4*n + i - 2. Suppose -5*j + 8*j - 6 = n. Sort -3, -2, j in descending order.
j, -2, -3
Let d = -9 - -24. Suppose g = 6*g + d. Let c be (2/4)/((-1)/(-6)). Sort 1, g, c.
g, 1, c
Suppose -3*l + 201 = 795. Let t = 1780/9 + l. Put -0.4, t, -1 in descending order.
t, -0.4, -1
Let u(b) be the second derivative of -b**4/12 + b**3/3 - b**2/2 + 6*b. Let n be u(2). Let m(g) = -g - 1. Let j be m(3). Put n, j, -3 in ascending order.
j, -3, n
Let i = -1/2 - 1/6. Let d = -0.4 - 0.6. Sort 2, d, i in ascending order.
d, i, 2
Suppose 0 = x - 4*x. Suppose y - r - 3 = 0, -4*y + 0 = -5*r - 14. Let h be x*y/(0 - 1). Put 3, 4, h in decreasing order.
4, 3, h
Let w be (-23)/7 - 4/(-14). Let i = 2 + w. Let s(m) = -m**3 + 3*m**2 + 3*m + 5. Let n be s(4). Sort i, 2, n.
i, n, 2
Let w = 6 + 4. Let r = w - 13. Sort r, 4, -0.1.
r, -0.1, 4
Let l be (7 + -3)/((-5)/(-10)). Suppose 2*i + l = -4*h - 2*i, -4*i = 16. Put h, 1, 0 in ascending order.
0, 1, h
Let q be (0 - 2)*(-17)/34. Put 0, -6, q in decreasing order.
q, 0, -6
Suppose 3*y = 15 + 27. Suppose -s - 3*b + 7*b + 4 = 0, 2*s + 3*b + y = 0. Sort 1, s, -3 in descending order.
1, -3, s
Let w = -0.3 - -0.8. Suppose -29 = -3*f - 20. Sort w, 0.4, f in descending order.
f, w, 0.4
Let n = -448 - -1358/3. Suppose 28 - 3 = -5*o. Let q = o + n. Sort -3, q, 0.4.
-3, q, 0.4
Let i = 4 - 6. Let g be (0 + -1)/((-42)/15 + 3). Put 5, i, g in descending order.
5, i, g
Let i be 162/(-30) + (-6)/10. Sort i, -1, -4 in ascending order.
i, -4, -1
Let f = -2.5 - -2.6. Sort f, 0, -3/4 in descend