24 - 23. Put i, -0.2, 3 in decreasing order.
3, i, -0.2
Suppose 6*j + 160 = 2*j. Let b be j/3 - 2/(-6). Let i = b - -40/3. Sort i, 2, 1 in decreasing order.
2, 1, i
Let b = 74 + -75. Sort b, 2, 8, 4 in ascending order.
b, 2, 4, 8
Let v = -9 - -9.8. Let t = 0.3 - v. Sort 0.3, t, -2/5 in descending order.
0.3, -2/5, t
Let x = -6.42 - -1.31. Let m = -0.11 - x. Let u = -0.7 + 0.3. Sort u, -4, m in ascending order.
-4, u, m
Suppose 2*h + 2 = 6. Let z = -1 + h. Let g = z + -6. Sort -2, -1, g.
g, -2, -1
Let d = 4 + 1. Sort -0.5, 0, d.
-0.5, 0, d
Let f(b) = -b + 1. Let d be f(-5). Suppose 1 = g + d. Let r(s) = -s**2 - 10*s + 9. Let x be r(-11). Sort g, 5, x in increasing order.
g, x, 5
Let f be 8/10*30/(-12). Let l be 2/(-3)*(-54)/(-12). Suppose 2*j - 2*y - 5 - 3 = 0, -4*j - y + 1 = 0. Sort j, f, l in descending order.
j, f, l
Suppose -2*g - 11 = 5*f - 4*g, -2*f - 5 = -g. Suppose -n = 5, b + b = 2*n + 20. Sort b, f, 2 in decreasing order.
b, 2, f
Let s be 1/(-4) - (-38)/(-8). Suppose -5*r - 2*m + 3 + 2 = 0, 5*m = 5*r - 5. Suppose -5*y = -4*y + 1. Put y, r, s in increasing order.
s, y, r
Let g(w) = 2*w - 5. Let s be g(5). Suppose 8*f + 2*f + 40 = 0. Sort s, -1, f.
f, -1, s
Suppose -3*l - 6 = -x - 0*x, -4*l = -5*x - 3. Let h be -1 - -3 - 4/(-1). Let g = h - 4. Sort -5, g, l in decreasing order.
g, l, -5
Suppose 12 = 2*a - 4*n, 3*n = -3*a + 2*n + 11. Suppose -18*f + 14*f = 12. Put a, -1, f in ascending order.
f, -1, a
Let n = 0.24 - 0.24. Sort n, -9, -6/7, -2 in ascending order.
-9, -2, -6/7, n
Suppose 3 - 27 = -4*o. Suppose -3*b + 11 = u, 4*b - 2*u - 2 - o = 0. Sort b, 4, 5.
b, 4, 5
Let r = -286 - -282. Let m be (10/8)/((-2)/(-8)). Sort r, -1, m in ascending order.
r, -1, m
Suppose 0 = -0*v + 4*v - 16. Suppose 0 = 4*g - 2 - 10. Put -5, v, g in ascending order.
-5, g, v
Let x = -0.103 - -10.803. Let k = x - 0.7. Sort k, 1/4, 0 in ascending order.
0, 1/4, k
Let n = -3 - 2. Let b = -47/18 - -10/9. Sort 0.2, n, b in increasing order.
n, b, 0.2
Let p(a) = -a**2 + 6*a - 4. Let c be p(4). Suppose -5 = -3*o + c*o. Sort 0, 1, o in increasing order.
o, 0, 1
Let v be (-36)/54 + (-7)/(-24). Put 1/2, v, -0.2 in descending order.
1/2, -0.2, v
Let q = 0.58 + -0.18. Sort 1, q, -1/3.
-1/3, q, 1
Suppose 5 - 2 = -w. Put 3, 2, w in ascending order.
w, 2, 3
Let o be (0 - -9 - 4)/(-1). Let y = 6 + -3. Suppose 3*u - 4*p - 14 = 0, 0 = 4*u + u - y*p - 16. Sort u, -1, o in descending order.
u, -1, o
Suppose 4*g + 9 = 5*p - 0, -3*p - 1 = -4*g. Sort -3, g, 2 in descending order.
g, 2, -3
Suppose 5*v = -4*k + 40, -4*k - 4*v + 28 = -2*v. Suppose -5*y + 15 = -k. Put -5, 2, y in decreasing order.
y, 2, -5
Let m = -0.07 - -2.07. Suppose 2*t + 0*v = -3*v - 5, 0 = -2*t + 3*v + 1. Put m, 5, t in increasing order.
t, m, 5
Let g = -1.4 - -5. Let k = g - 0.6. Put 2, -4, k in increasing order.
-4, 2, k
Let b = -0.038 + -0.062. Suppose 0 = -3*x + 6. Sort -3, x, b in increasing order.
-3, b, x
Suppose -3*z + 9 = -0*z. Suppose q = -2*q - z. Sort q, -5, -2 in descending order.
q, -2, -5
Let h = 0.81 - 6.81. Sort h, -5, -1 in increasing order.
h, -5, -1
Let b = 119 + -118.6. Sort -4, 6, b, -0.5 in descending order.
6, b, -0.5, -4
Let o = -10 + 7. Let k = o + 2.5. Put 4, k, 2/17 in descending order.
4, 2/17, k
Suppose -z = -0*z. Suppose z = -5*n - 5*m + 9 + 11, 4 = 4*n + m. Sort n, -3, -4.
-4, -3, n
Suppose 15 = 5*a - 10. Suppose 25 = a*g + 6*v - v, 2*v = 3*g - 5. Suppose -g*m = -4*u + 15, m - 5 = 3*m - u. Sort m, 1, 2.
m, 1, 2
Suppose -a - 4 + 3 = 0. Suppose -v - 2*v = -12. Suppose -v*x = -5*d - 29, 0*x - 2*x + d = -7. Sort -3, x, a in ascending order.
-3, a, x
Suppose 0 = -5*w + r - 1, -2*w + 0 + 3 = 3*r. Let i(u) = -16*u + 133. Let a be i(8). Put w, -5, a in descending order.
a, w, -5
Let x = 13.9 + -14. Put x, 5, -1/4 in ascending order.
-1/4, x, 5
Let i = 0.04 + -0.14. Let q = 3.1 + i. Put -0.4, 1, q in decreasing order.
q, 1, -0.4
Suppose 5*l + 5*i - 5 = l, 5*l - 22 = -i. Suppose -3*j + 7 = 5*h - 0*j, l*h = 2*j - 13. Let k(m) = m - 20. Let r be k(18). Put h, r, 3 in increasing order.
r, h, 3
Suppose 0 = -3*t - 2*t. Put t, 1, -3 in decreasing order.
1, t, -3
Let x = -8 - -9. Sort -3, 4, x in descending order.
4, x, -3
Let k = -6.7 + 7. Let j = k + -0.1. Sort -0.3, j, 2/11 in ascending order.
-0.3, 2/11, j
Suppose 4*s = -f - 0*s - 1, 0 = 2*f + 4*s + 2. Let c be (-24)/(-10) - (-2)/(-5). Let n(p) = -p**2 - p + 4. Let z be n(0). Put z, f, c in increasing order.
f, c, z
Let h be ((-6)/(-3) - 0)/(2/3). Let a = 9 + -4. Put 1, a, h in descending order.
a, h, 1
Suppose -4*z + 3*n = -3*z - 4, 0 = z + 5*n + 12. Let b = -0.3 - -0.1. Sort b, z, -0.4 in decreasing order.
b, -0.4, z
Let x be -1 - ((2 - 0) + -11). Suppose t = -t - x. Let k be 6/t*(-30)/9. Sort k, -5, 1.
-5, 1, k
Let l(j) = -j**3 - 8*j**2 - j - 11. Let v be l(-8). Put v, -2/49, -2/5 in increasing order.
v, -2/5, -2/49
Let u(g) = 4*g - 25. Let f be u(7). Put 52, -2, f in increasing order.
-2, f, 52
Let i = 91.6 + -92. Let m = 1.3 - 1. Sort m, -1/3, i in decreasing order.
m, -1/3, i
Let s(n) = n**3 + 4*n**2 - n. Let v be s(-4). Suppose 3*i + 9 = -4*o, 3*o + 6 = -2*o - 2*i. Let w be 5 + 1*o/3. Put -3, v, w in ascending order.
-3, v, w
Let d = 16 + -15. Let z = -2 - d. Sort 3, z, 1 in decreasing order.
3, 1, z
Suppose -2*i + 5*l - 81 = 2*i, -4*l = -3*i - 62. Let m be ((0 + -2)*1)/i. Let o = -4.7 - -0.7. Sort o, m, 5 in descending order.
5, m, o
Let x = 21 + -25. Sort x, 4, 0 in decreasing order.
4, 0, x
Let w = -0.052 + -0.348. Put 0.1, 2/5, w, -3 in decreasing order.
2/5, 0.1, w, -3
Let v(f) = f**2 - 7*f - 16. Let q be v(9). Let r = 1 - -1. Suppose -y + 4 = y, -3*p + 1 = r*y. Put -4, q, p in descending order.
q, p, -4
Let w be (-2)/(-12) - 152/48. Sort 4, w, 0 in increasing order.
w, 0, 4
Let b = -0.892 + -0.108. Put 1/8, b, -3 in decreasing order.
1/8, b, -3
Let s = -8 + 12. Let k(l) = 2*l**2 + 38*l + 5. Let n be k(-19). Sort s, 3, n.
3, s, n
Let d = -62 - -69. Sort -2, d, -1 in ascending order.
-2, -1, d
Let j = 248 + -1236/5. Let z = 0.08 - -4.92. Sort j, z, 1 in decreasing order.
z, 1, j
Let g(k) = -k**2 + 8*k + 10. Let v be g(8). Let d be (-24)/(-135) - v/25. Sort d, -4/5, 0.
-4/5, d, 0
Let x be 105/(-28) + (-2)/8. Let b be 6/4*(-2)/x. Let t be (2/18)/((-3)/(-6)). Sort b, t, 5 in decreasing order.
5, b, t
Suppose 0 = -m - 9*m. Sort -5, 3, m, -1.
-5, -1, m, 3
Suppose -3*s + 15 = 0, 2*b + 13 = 2*s - s. Let d = -8 - b. Sort d, 0, 2 in descending order.
2, 0, d
Let z = -6 + 8. Put z, 3, -1 in increasing order.
-1, z, 3
Let m = -12.7 + 13.2. Put -2, -1/11, m, -1/2 in increasing order.
-2, -1/2, -1/11, m
Let c = 566/3 - 186. Let z = c - 13/6. Sort z, 0, -5 in decreasing order.
z, 0, -5
Let r = -0.06 + -0.04. Let t(v) = v + 6. Suppose -4*o = 19 + 1. Let a be t(o). Sort r, a, -0.4 in descending order.
a, r, -0.4
Let o(f) = -f**2 - 5*f - 2. Let v be o(-6). Let w be (-4)/3*(-1)/v. Sort w, 0, 3/2 in descending order.
3/2, 0, w
Let o(i) = 3*i - 4. Let r be o(1). Sort -2, r, 1.
-2, r, 1
Let k = 42 - 125/3. Let u = k - 1/9. Suppose -5*r - 15 = -2*r. Put -2, u, r in descending order.
u, -2, r
Let s = -99 + 95. Sort 6, 0, s, 4 in increasing order.
s, 0, 4, 6
Let l be 12/6 + 4/(-2). Suppose -3*g + 6*g = l. Put g, 4, -2 in increasing order.
-2, g, 4
Let i = 51/7 - 7. Let y(r) = 3*r + 1. Let z(t) = -4*t - 1. Let f(j) = 6*y(j) + 5*z(j). Let n be f(3). Put i, 1, n in decreasing order.
1, i, n
Let c be 0 + 2 + -5 + 6. Sort c, 1, -4, 2 in descending order.
c, 2, 1, -4
Let o = -0.11 - 0.29. Sort 4/7, o, -0.2 in decreasing order.
4/7, -0.2, o
Let k = -23 - -23.33. Let l = 0.23 - 0.3. Let n = l - k. Sort 2/3, -0.3, n in decreasing order.
2/3, -0.3, n
Let i = -1 - 0. Suppose 0 = -n + 2*f + 6, -f = -3*f. Let b be 1/n*3/(-2). Sort i, -4, b in descending order.
b, i, -4
Suppose 30 = l - 0*l. Suppose 5*i = -4*k + 11 + l, -k - 6 = -2*i. Suppose 2*b - 6 = 0, -5*b + 0 = -2*v - 5. Put -2, v, k in descending order.
v, k, -2
Suppose 0 = -11*w - 66. Sort 2, 5, -4, w in increasing order.
w, -4, 2, 5
Let a(t) be the second derivative of t**5/10 + t**4/3 + 2*t**3/3 + 3*t**2/2 - 2*t. Let z be a(-2). Let q(h) = -h**3 - 5*h**2 - h. Let o be q(-5). Sort z, -1, o.
z, -1, o
Suppose -3 - 23 = 13*u. Put 1, 13, u, -1 in decreasing order.
13, 1, -1, u
Suppose 0*p + 4*p = 4. Suppose -4*i