Let k be ((2 - 0) + -1)*-3. Let t be (-20)/k - 2/(-6). Suppose 3*j + 5*m - 14 = -0, -4 = -j - m. Solve j*f + t = -5 for f.
-4
Let j = 17 - 8. Let l be 9*(-2)/(-3) + -3. Let p be ((-2)/l)/((-2)/j). Solve -7*i - 20 = -p*i for i.
-5
Let s = -18 - -20. Solve 0 = s*c + 2*c for c.
0
Let z(t) = t3 - 7*t2 + 10*t + 6. Let f be z(5). Solve -f*b + 8 = -2*b for b.
2
Let s be (-1)/(-3) - 56/(-12). Suppose 5*b - 15 = s*d, -6*b + d + 11 = -b. Let y = 2 + b. Solve -2*g + y = -4 for g.
4
Let u be (-2)/(-5) + (-52)/(-20) + -1. Solve -h + 2*h = u for h.
2
Let t be -4*(0 + 2 - 3). Suppose 0 = -k - 3*o + t, 0 = -5*k + 2*o + 3*o + 80. Solve 4*m = k + 3 for m.
4
Let t be (-1 + -3 + 2)/(-1). Let b(u) = -u + 4. Let r be b(4). Suppose 0*f + t*f = r. Solve -d - d + 4 = f for d.
2
Let c(n) = n. Let u(t) = -t**2 - 6*t - 6. Let k be u(-4). Let w be c(k). Solve -2 = 2*o + w for o.
-2
Let y = -16 - -20. Solve y*n - 13 = -1 for n.
3