Let q = 21 - 16. Solve -q*z - 20 = -10*z for z.
4
Let t = 23 - 16. Suppose 0 = 3*h + 5*s - 9, -6*h = -3*h + 4*s - 9. Suppose -h*v + 8 = -v. Solve 0 = -v*k - t + 3 for k.
-1
Suppose -2*n + b - 9 = 2*n, 2*n + 8 = 4*b. Suppose -4*v = -3*c - 15, 4 = v - c - 0. Let j = n + v. Solve -3*a = -2*a - j for a.
1
Let t(q) = -q - 10. Let k be t(-13). Solve 0 = -i + k - 0 for i.
3
Let s be 6 + (-8)/(2 + -4). Solve -4*r - 30 + s = 0 for r.
-5
Suppose 0 = -2*i - 0*i + 3*a + 14, 20 = 4*i - 4*a. Solve -q + i = 2 for q.
-1
Let z(k) = -k**3 + 2*k - 1. Let o be z(1). Suppose -3*t + 4*w - 2 = -w, 4 = -2*w. Let r be 6⁄4*t/(-3). Solve o = -3*q + r + 7 for q.
3
Suppose 2*t = -4*a + 3*t + 22, 0 = -2*a + 3*t + 16. Suppose 6 = a*f - 24. Let k(l) = -l + 9. Let d be k(5). Solve f = -x + d*x for x.
2
Let p(l) be the second derivative of 5*l3⁄3 + l2⁄2 + 2*l. Let c be p(-1). Let y = c - -13. Solve -y*i - 2 = 2 for i.
-1
Suppose 3*b + 4 = -2*j + 17, -19 = -5*b - 2*j. Solve -2*r - 9 = -b for r.
-3