+ 15. Sort i, t, o.
o, t, i
Suppose 3*b - 5 = -q - 0*q, 0 = -4*b - 4*q - 4. Let a = -2931 + 2933. Sort a, b, -1.
-1, a, b
Let x = 338 - 356. Sort -5, -4, x.
x, -5, -4
Let h(r) = r + 7. Let w be h(-6). Suppose k - 223*o + 6 = -218*o, -3*k - 4*o = 56. Put k, w, -5 in increasing order.
k, -5, w
Let d = 0.25 - -25.75. Let l = d - 26.4. Suppose -2 = 5*s - 0*g - g, 0 = 4*s + 5*g + 19. Put s, l, -2/7 in increasing order.
s, l, -2/7
Let k = -1750 - -1753. Sort k, -298, -3 in decreasing order.
k, -3, -298
Let r = -63 - -63. Let d = -0.525 + 0.025. Put d, r, 0.2, 1/9 in increasing order.
d, r, 1/9, 0.2
Let n(r) = -2*r - 55. Let i be (70/42)/((-2)/36). Let u be n(i). Put -2, u, -4, 11 in increasing order.
-4, -2, u, 11
Let a = 3.01 - 0.01. Let o = a + -5. Let m = 1.6 + o. Sort m, -1/2, 1/7 in decreasing order.
1/7, m, -1/2
Let a = -1222.4 - -1222. Suppose -5*b = -2*f + 1, -6*b = -b - f - 2. Sort 18, a, b, 6/5 in descending order.
18, 6/5, b, a
Suppose 0 = 7*s - 77 - 35. Sort 2, -1, s in descending order.
s, 2, -1
Let q(g) = g**3 - 6*g**2 + 5*g - 1. Let r be q(5). Let y = 1652/11 + -150. Let v be (-1)/1*2/(-8). Sort y, r, v.
r, y, v
Let k = 627 - 643. Sort -10, 2, k.
k, -10, 2
Let c = 0.259 + -0.066. Let n = 2.003 - c. Let b = -0.19 - n. Sort b, 0.4, -15.
-15, b, 0.4
Let y = 6 + -5. Let o be (-2)/8 - (-33)/(-12). Put y, 0, o in descending order.
y, 0, o
Let a = 305 + -310. Put -1/7, 3.2, a, -1/5 in decreasing order.
3.2, -1/7, -1/5, a
Let j be (4/6)/((-9)/27). Let r be (-1 - j)/((-2)/(-2)). Sort -3, -11, r in increasing order.
-11, -3, r
Suppose 28 = 4*o + 4*b, -2*o + 13*b - 17*b = -24. Put o, -4, -2, -3 in decreasing order.
o, -2, -3, -4
Let r = 0.09 + 1.91. Let o = 1 - 1.1. Let y = -202.95 - -203. Put o, r, y in decreasing order.
r, y, o
Let l = 7.1 - 11.1. Sort l, 12, 0.1, 0.3.
l, 0.1, 0.3, 12
Suppose -s - 5 = 4*d - 3, 3*s = -4*d + 2. Suppose s*b + l = b - 4, -5*l - 20 = 3*b. Sort -3, 4, b, -5 in increasing order.
-5, -3, b, 4
Let i(n) = n + 11. Let z be i(-9). Let x(m) = 2 + 2*m**3 - 14*m**2 + 10*m**2 + 4*m - m**3 + 0*m. Let c be x(z). Sort c, 4, -4 in descending order.
4, c, -4
Let b = 3247/6 + -541. Put 0, b, -1, 3 in descending order.
3, b, 0, -1
Let r be (1 + -1)/(0 - -1). Let y(s) = s - 1. Let p(t) = t**3 - 11*t**2 + 11*t - 4. Let n be p(10). Let j be y(n). Put j, r, -4 in descending order.
j, r, -4
Let d be 2/4 + (-3)/(-6) - -7. Suppose 0 = -13*v + d*v. Suppose 6*f - f - 3*t = -21, 7 = -3*f - t. Sort v, f, -1 in ascending order.
f, -1, v
Let p = 1225 - 1224.81. Sort -3, p, 2/3 in decreasing order.
2/3, p, -3
Let l(c) be the third derivative of c**5/30 - 13*c**4/24 + 5*c**3/6 + c**2 - 18*c. Let t be ((-2)/5)/(1/(-15)). Let d be l(t). Sort d, 3, 0 in decreasing order.
3, 0, d
Suppose -4 + 5 = 3*u - 2*m, 5*m - 26 = -2*u. Suppose 5*z - z + 2 = 2*y, -u*y = z - 17. Sort 2/5, -4, z, -3 in ascending order.
-4, -3, 2/5, z
Let l be (8 + -9)/(-1 - 2/(-4)). Let p(i) = i**3 - 2*i**2 + 4*i - 5. Let z be p(l). Sort z, 10, -4 in ascending order.
-4, z, 10
Let s = -991/2 + 511. Let l = 15 - s. Suppose -4*k = 9 + 7. Sort l, 0.3, k in decreasing order.
0.3, l, k
Let s(y) = -y**3 - 3*y**2 + 15*y + 6. Let b be s(3). Let u = 6 + -2. Sort u, 5, b.
b, u, 5
Suppose -19*i = -146 - 196. Sort -0.1, 0, i in descending order.
i, 0, -0.1
Let a = -15 - -16. Let s be a/(2 - (-3)/(-3)). Let m be s/(-2)*7/7. Put m, -2, -5 in increasing order.
-5, -2, m
Let d(o) = -5*o + 59. Let t be d(11). Suppose 0 = t*b - f - 16, 2*b - 2*f + 1 = 3. Let s be (3 + 2/(-1))*4. Sort -3, b, s in decreasing order.
b, s, -3
Suppose -3*r = -5*w - 119, -3*r = 6*w - 2*w + 79. Put -2, 1, w, -3 in increasing order.
w, -3, -2, 1
Suppose 10*u + 6 = 16. Let x = -6 + 10. Sort x, 3, u, -3 in descending order.
x, 3, u, -3
Let j(t) = -2*t**2 - 10*t - 1. Let r be j(-4). Suppose 12 + 23 = -r*c. Put 5, 0, c, -6 in increasing order.
-6, c, 0, 5
Let i = 82 + -81.967. Let l = i + 0.167. Sort -27, -2, l in decreasing order.
l, -2, -27
Let a = 5.342 + -0.342. Sort a, -1/6, 0.01, 0.2.
-1/6, 0.01, 0.2, a
Let a = 334 - 176. Let h = a + -162. Let t = -16.85 - 0.15. Put t, h, 4 in increasing order.
t, h, 4
Let v = 4.8318 + 0.1682. Sort 30, v, 3 in descending order.
30, v, 3
Let y(l) = 75*l + 231. Let p be y(-3). Sort 18, 0, p in decreasing order.
18, p, 0
Let i = -87.1 - -90. Let g = -111.7 - -112. Sort -4, i, g, 2 in decreasing order.
i, 2, g, -4
Let w = -37 + 71. Suppose -5*o + 2*u + w = 10, u - 14 = -4*o. Suppose 3*n + 11 = -o*z - 11, 0 = z - 2*n. Put 7, 0, z in descending order.
7, 0, z
Suppose -i = -3 + 1. Let n = -59857/18 - -18451/6. Let l = 250 + n. Put i, l, -1 in decreasing order.
i, l, -1
Suppose 10 = f - 2*w, -4*w = 2*f + 16 - 4. Put -3/5, f, 1/8, 0.02 in ascending order.
-3/5, 0.02, 1/8, f
Let u = 21 - 21.02. Sort 2/15, u, 4, 3 in decreasing order.
4, 3, 2/15, u
Let c = 10453/9 + -1161. Sort -4, -34, c in increasing order.
-34, -4, c
Suppose 0 = -10*n + 9*n + 2. Suppose h = -0 + n. Let c be ((-3)/(-6))/((-7)/70). Sort -4, c, h.
c, -4, h
Suppose -3*m - 3 + 0 = 0. Let h(s) = -s**2 + 3*s + 7. Let z be h(5). Let g(r) = -r**2 + 20*r - 61. Let n be g(17). Sort z, n, m in increasing order.
n, z, m
Let l be 2/(-5) + (-51)/(-15). Suppose -d = -10 + 6. Sort d, -5, l in decreasing order.
d, l, -5
Let l(a) = 10*a + 24. Let h be l(-8). Let k = h + 279/5. Sort k, 0.5, 4 in ascending order.
k, 0.5, 4
Suppose b - 3 - 2 = -n, 2*n = b - 2. Suppose b*m = -12 + 32. Suppose -m*c + 3*c = -6. Sort 4, c, -2.
-2, c, 4
Suppose -3*v - 20 = -23. Let j = 1.5 - 1.9. Put -0.5, j, v in decreasing order.
v, j, -0.5
Suppose -z - 2*f = -0*z + 3, -f + 1 = 3*z. Let b be 13/40 + (-1)/5. Sort -5, b, z in decreasing order.
z, b, -5
Let n = 2 - 4. Let t = -43/63 - -1/63. Let h = -0.77 + 3.77. Sort n, t, h in increasing order.
n, t, h
Let p(b) = b**3 - 4*b**2 + b. Let v be ((-1)/4)/((-4)/48). Let q be p(v). Let y(c) = -c - 5. Let k be y(q). Put k, -9, 2 in descending order.
2, k, -9
Suppose 3*s = -2*v - 6, -v = v - 3*s + 6. Suppose 12 = 5*r - 8. Let l(w) = -w**2 - 8*w + 2. Let t be l(-8). Sort r, t, v in decreasing order.
r, t, v
Let f be (-98)/(-6) - (-4)/6. Suppose 3*n = -5*l + 31 - 5, 0 = -5*n - 5*l + 30. Sort n, f, -3, 1.
-3, 1, n, f
Suppose -9 - 11 = 4*t. Let r be 0*((-25)/t)/20. Sort 3, 6, r in descending order.
6, 3, r
Suppose 12*c = 18*c - 30. Suppose -8 = 5*s - 4*u + 2, -2*u = -10. Sort c, s, -2 in descending order.
c, s, -2
Let g(o) = -o**3 - 10*o**2 - 13*o - 5. Let i be g(-9). Suppose i*b - 12 = 34*b. Suppose 0 = -0*w - 4*w + 12. Put w, -3, b in decreasing order.
w, -3, b
Suppose 2*u + 0*u + 17 = f, -3*u + 60 = 3*f. Suppose -4*p - 7 = -4*r - f, 3*p = -6. Sort r, -4, -1 in descending order.
-1, -4, r
Let v(m) = -4*m**2 - 3*m + 4. Let w be v(2). Let t be w/36*(6/4 + -1). Sort 2/9, 0, t in descending order.
2/9, 0, t
Let g = -284 + 284.17. Sort -4/7, g, -0.1 in decreasing order.
g, -0.1, -4/7
Let p(z) = z**2 + 8*z - 33. Let o be p(-11). Sort 114, o, 2 in descending order.
114, 2, o
Let d = 8911/4 - 2228. Sort 181/4, -1/5, d in increasing order.
d, -1/5, 181/4
Let h be ((36/(-8))/(-3))/((-16)/(-32)). Sort -3, -622, h in descending order.
h, -3, -622
Suppose 19 = -2*h + 5*g, 3*g + 2 = 5. Put 0, h, 4 in decreasing order.
4, 0, h
Let q = 2688 - 2690. Let b = 3 - 1. Sort b, q, 6.
q, b, 6
Let y(p) = p + 3. Let x be 12/(-36)*-3*2. Let j be y(x). Sort 9, 1, j in ascending order.
1, j, 9
Suppose -7 = -5*l + 4*l. Suppose -2*i + l*i + 28 = -4*u, 0 = -2*i + 4*u. Sort -2/7, i, -5/3.
i, -5/3, -2/7
Let t = -28.7 - -25.7. Sort -1, t, 1.7, 5.
t, -1, 1.7, 5
Let d = 4.89 - 6.89. Suppose 4*g - 2*o - 7 = 9, 4*o + 8 = 0. Let r be ((-18)/8)/(-2*g). Put 5, r, d in ascending order.
d, r, 5
Let s = -0.78 - -0.48. Put 0.5, 45/2, s in ascending order.
s, 0.5, 45/2
Let o be (-5 + 0)/((-2)/(-1) + -1). Let p = 79 - 82.92. Let m = -0.08 + p. Sort o, m, -9 in descending order.
m, o, -9
Let i = -469 - -452. Sort 4, 1, i in descending order.
4, 1, i
Suppose -2*s + g - 7 = 0, 2*s + 3*g + 4 - 1 = 0. Suppose 28 - 28 = -9*n. Sort n, 13, s, 3 in ascending order.
s, n, 3, 13
Suppose -5*w = -6*i + 7*i + 3, -5*w + 12 = -4*i. Suppose -7*n = 5 + 9. Sort i, 12, n, 3 in increasing order.
i, n, 3, 12
Let n(k) = 6*k**2 - k - 2. Let s be n(-1). Suppose 6*f = 3*f + 3, 4*f = -s*j + 9. Suppose 