15. Suppose 2 = -4*f + t*f. Let o be f*2 + 2 + -1. Put o, -2, 2 in descending order.
o, 2, -2
Let b = -34 + 38. Let s be (-1)/(-4) - (-8 + 6). Put -1/8, 0.5, s, b in descending order.
b, s, 0.5, -1/8
Suppose -5*v - j + 18 = 0, 2*v - 14 + 0 = 3*j. Suppose 2*r = -r + 15, -5*r + 37 = -v*h. Put -1, h, -5 in decreasing order.
-1, h, -5
Suppose 0 = -3*d + 2*f - 15 + 3, -4*d - 4*f = -4. Sort 2, -4, d, -6 in descending order.
2, d, -4, -6
Let t = -0.35 - 8.65. Let m = t + 13. Put m, 5, 2 in ascending order.
2, m, 5
Let t = 110 + -109.33. Let s = t - 0.57. Put 8, s, 1/4 in decreasing order.
8, 1/4, s
Let m = 1/1734 + -193/578. Let v(q) = -q. Let w be v(-6). Sort m, 3, -4, w.
-4, m, 3, w
Let m be (-2 - -3)*(-4 - (-14)/2). Sort 6, m, -1 in ascending order.
-1, m, 6
Let r = -0.41 - -0.91. Let u(p) = -p**2 + p + 3. Let z be u(0). Suppose -2 = -z*h + h. Put -0.3, r, h in descending order.
h, r, -0.3
Let x = 1328 - 1331. Let d be 2/(-8) + (-62)/8. Let r be 6/4*d/6. Sort 3, r, x.
x, r, 3
Let y be (-2 - (-88)/45) + (-168)/(-378). Let l = 6 - 6.3. Let u = -0.1 - l. Put u, y, 2/7 in decreasing order.
y, 2/7, u
Let v = -1 - -13. Let o be 2*(-4)/(32/v). Let u be ((-1)/3 + 1)*-3. Sort 0, o, u in decreasing order.
0, u, o
Suppose 2*i = 4*q + 14, q + 1 = -0*q. Let t = -4086 - -4086. Sort 4, t, i.
t, 4, i
Suppose 2*m + 3*m + 2*a + 68 = 0, -4*m = -2*a + 40. Put -4, 5, m, -1 in decreasing order.
5, -1, -4, m
Suppose -21*s - 6*s = -27. Sort 1/4, s, 0.3 in decreasing order.
s, 0.3, 1/4
Let l be 284/32 + (-8)/(-64). Let u be 1/(2*2 + (-39)/l). Sort 1, u, 3 in descending order.
3, 1, u
Let z(a) = 5*a + 3*a + 5*a**2 - a + 2 - 6*a. Let w be z(-1). Let c be (-85)/15 - 2/w. Sort c, -5, -3 in decreasing order.
-3, -5, c
Let n = 45 + -45. Suppose n = -7*x + 30 - 142. Sort x, 4, 2 in decreasing order.
4, 2, x
Let k(u) = -1. Let z(p) = -p + 7. Let y(i) = -5*k(i) - z(i). Let q be y(4). Let l = -337 + 335. Put 1, l, q in descending order.
q, 1, l
Let m = -0.4 + 0.4. Let b = -3531.3 + 3531. Sort m, b, -6.
-6, b, m
Let u = -343 + 340. Sort 5, 6, 7, u.
u, 5, 6, 7
Suppose 0 = 5*c + 4*t - 17, -t + 3*t = -4*c + 10. Put 4, 5, 68, c in increasing order.
c, 4, 5, 68
Suppose -3*w + 6*w - 9 = 0. Let o be 1/(2/(-7 - w)). Let u be ((-3)/o)/(1 + -2). Sort 5, -1/4, u in descending order.
5, -1/4, u
Suppose 3*z - 5*z - 3*f - 22 = 0, 4*z + f + 24 = 0. Sort 0, z, 3.
z, 0, 3
Let k(h) = h**2 - h + 1. Let z be k(1). Suppose 3*v + 3*d - 31 = -2*v, 5*v + d = 27. Let s be 2/2*-1 + 4. Sort z, s, v.
z, s, v
Let a(r) = 16*r - 118. Let q be a(8). Sort 13, q, 1 in increasing order.
1, q, 13
Let z = -0.55 - -0.28. Let h = z - -1.27. Let j be (-3)/(-7) + (-68)/224. Put h, j, 0.2 in decreasing order.
h, 0.2, j
Let q = 15.9 - 13.9. Put 20, q, -3 in increasing order.
-3, q, 20
Let j = -242 - -244. Put 0.2, -2/15, -1/11, j in increasing order.
-2/15, -1/11, 0.2, j
Let l be (-2)/7 - 2/((-770)/(-1115)). Let s = l - -617/187. Sort 2/11, s, -4 in decreasing order.
2/11, s, -4
Let t = 2 - 5. Suppose -57*y - 3*b - 39 = -54*y, 4*y + 40 = -2*b. Put 0.1, t, y in descending order.
0.1, t, y
Let r = 2.5 - 2.9. Suppose 0*a = 2*a. Sort -1, r, a in ascending order.
-1, r, a
Let d(n) = 2*n**2 + n - 52. Let h be d(5). Put h, -2, -4/9, -3/2 in ascending order.
-2, -3/2, -4/9, h
Let m(f) = -f**3 + f**2 + f - 2. Let x be m(0). Suppose -4*u - 219 = -231. Sort x, u, -4.
-4, x, u
Let t = -1.12 + 0.12. Let p = 87 + -86.9. Sort t, 2, p in decreasing order.
2, p, t
Let j be -4*((-3)/12 - 2). Suppose -j = -q - 2*a, 2*q - 7 = a - 4. Sort 0, 4, q in descending order.
4, q, 0
Suppose -8 = -3*w - 11, c - 5*w = 0. Sort -124, 1/4, -1/7, c.
-124, c, -1/7, 1/4
Let b(s) = s**2 + 2*s - 10. Let y = 40 + -37. Let k be b(y). Sort k, 0, -6 in ascending order.
-6, 0, k
Let t = 18 + -18.018. Let m = t + 2.318. Let v = m + -0.3. Sort 0, 0.9, v in ascending order.
0, 0.9, v
Let r be 45/(-30)*-8*4/(-24). Suppose i - 2 = -2*y - 4, 2*y = -2*i + 4. Let d be (2/i)/(r/(-30)). Put 3, d, -4 in decreasing order.
d, 3, -4
Suppose 0 = -4*g + 563 - 59. Suppose 5*b - g = -b. Put -1, b, 5 in descending order.
b, 5, -1
Let r(y) = -56*y + 1006. Let x be r(18). Sort -1, -21, x, 4.
-21, x, -1, 4
Suppose -2 = 4*h + 3*w, h + 2*w + 5 = 2*h. Let k be 2 - h - (3 + 0). Let c be 3 - 0 - (-3 + 4). Sort 1, k, c in ascending order.
k, 1, c
Suppose -3*f = 2*k - 11, 0 + 12 = 3*k. Suppose -o + 0 + 2 = 0. Put 3, -3, f, o in ascending order.
-3, f, o, 3
Let r = 0.87 + -0.07. Put r, -2, -0.1 in ascending order.
-2, -0.1, r
Let q = 5 + -8. Let v be 2 + 280*(-20)/1224. Let u = v + 40/17. Sort u, q, 0.5.
q, u, 0.5
Suppose 6*r + 5*b - 7 = 2*r, 5*b + 11 = 2*r. Suppose -12*k - 10 = -17*k. Put r, -3, k, 0 in ascending order.
-3, 0, k, r
Let x = -247 + 247.5. Put -0.01, 2/9, x in increasing order.
-0.01, 2/9, x
Suppose 6*h - 5*h + 2*a = 13, 5*h - 2*a = 5. Let d be (-2)/(-7) - (-52)/14. Sort h, -2, d.
-2, h, d
Let d be (3/5)/((-4)/40). Sort 8, 1, d in descending order.
8, 1, d
Suppose 0*y = 5*y - 10. Let a = -1729 + 1727. Sort y, 4, a.
a, y, 4
Let r be 2*5*(-5)/(-10). Suppose 2*a - 5 = 3*h - 15, -5*h = -2*a - 18. Put a, r, 4 in decreasing order.
r, 4, a
Let n = 25 - 23. Let m be (-2)/(-2*n/10). Let h = 0 - 4. Put m, h, -5 in descending order.
m, h, -5
Let b = -0.102 + -5.298. Let l = 6.4 + b. Sort 8/5, l, 0 in increasing order.
0, l, 8/5
Suppose -10*z - 52 = -2. Let d(x) = x**2 - 2*x - 11. Let i be d(5). Suppose -3*j = -4*j + i. Put j, z, -3 in increasing order.
z, -3, j
Let y(q) = 18*q**2 + 26*q + 41. Let s be y(-2). Sort -4, -5, s in decreasing order.
s, -4, -5
Suppose 2*f - 38 = 3*p, -5*p = 5*f - 70 - 0. Let q = 2657 + -2657.3. Put 0.5, f, q in decreasing order.
f, 0.5, q
Suppose -40*x + 20 + 20 = 0. Sort x, 1/35, 3/5 in increasing order.
1/35, 3/5, x
Suppose -46 = -19*o + 49. Put o, 1, 122 in descending order.
122, o, 1
Let z(c) = -c**2 + 10*c - 11. Let p be z(9). Let k(s) = -s**3 - 3*s**2 - 3*s - 1. Let a be k(p). Sort -1, a, -7 in increasing order.
-7, -1, a
Let t = -441 - -440.6. Put -10, t, 1, 1/2 in decreasing order.
1, 1/2, t, -10
Let d = -0.3071 - -0.0071. Sort 0, -11/4, d in increasing order.
-11/4, d, 0
Let z be 60/((-20)/(-5)) - 1. Let j = z - 9. Put -1, -4, 0, j in increasing order.
-4, -1, 0, j
Let u = -7021 - -7017. Suppose j + 1 = 2. Sort -5, u, j in increasing order.
-5, u, j
Let b be 0/1 + (-18)/42. Sort 0, b, 3/143 in increasing order.
b, 0, 3/143
Let o(h) = -h + 7. Suppose -21 + 9 = -2*p. Let t be o(p). Let q = -0.23 - -2.23. Put t, 5, q in ascending order.
t, q, 5
Suppose -88*k + 92*k = 5*d + 12, 12 = 4*k + d. Suppose 2*h = -3*h - 25. Sort k, h, -2.
h, -2, k
Let t = -165.2 - 53.8. Let n = t - -205.1. Let f = n + 14. Sort f, 4/5, 0.4 in increasing order.
f, 0.4, 4/5
Suppose -o + 6*u = u + 23, -2*u - 4 = 4*o. Sort 1, o, 4, 3.
o, 1, 3, 4
Suppose -5*l + 21 - 23 = 2*b, 3*b + 3*l = -3. Suppose 0 = -3*i - 2*v + 3*v + 11, 4*i - 12 = 2*v. Put b, 21, i, 1 in decreasing order.
21, i, 1, b
Let r(q) = -q**3 - 5*q**2 + 2*q + 11. Suppose -j = l + 2, 6 = 4*l - j + 29. Let y be r(l). Sort -4, y, -3, 3.
-4, -3, y, 3
Let f = -32.022 + 0.022. Let c = -1071 - -1103.5. Let w = c + f. Put 6, w, -0.1 in ascending order.
-0.1, w, 6
Let g be (2/(-3))/(6/(-45)) + -3. Let v be 42/(-10) + g/10. Let l = -2.92 + -0.08. Put l, -1/6, v in ascending order.
v, l, -1/6
Let d be (0 - 15) + -1*3. Let f = d + 23. Suppose f*g - 8 = 2. Sort 0, 4, g in decreasing order.
4, g, 0
Let g = 913 - 915. Put g, -5/16, -0.2 in descending order.
-0.2, -5/16, g
Suppose 4*q + 37 = 3*o, -3*q + 2*o = o + 29. Let j = q - 3. Let u = -53/4 - j. Sort 4, u, -2 in descending order.
4, u, -2
Let z = 0.014 + 1.286. Let j = 1 - z. Put 0, j, 2/5 in descending order.
2/5, 0, j
Let a = -2.61 - 2.39. Sort a, 10/7, 3 in decreasing order.
3, 10/7, a
Let c = -6 - -8. Let u(s) = s**3 - 3*s**2 + 1. Suppose m + 2*m - 8 = 2*x, 2*m = -2*x + 12. Let q be u(x). Sort c, -4, q.
-4, q, c
Suppose -q + 10*y = 11*y - 6, -y = -q + 2. Sort 0.03, -1/3, -2/7, q.
-1/3, -2/7, 0.03, q
Let u = 215 - 210. Sort u, -3, 7 in decreasing order.
7, u, -3
Let n(o) = 2*o**2 + 0*o**2 - 3*o + 6 - o - 3. Let g be n(2). Suppose g*k + 8 = -a, -2*k - k = 6. Sort 0, 6, a.
a, 0, 6
Let z = -2 + 2.2. Let k = 2645 - 23833/9. Let c = -26/9 - k. Sort 5, c, z in increasing order.
z, c, 5
S