Let k(i) = 2*i + 24. Let z be k(-12). Solve -3*v - 2*v + 10 = z for v.
2
Let a(l) = 3 - 5 - 1 - l. Let u be a(-3). Let k = 0 - u. Solve 0*w - 4*w + 8 = k for w.
2
Let b(l) = -l. Let d(y) = -y**2 + 11*y - 5. Let a(f) = -4*b(f) - d(f). Let r be a(7). Solve -r*j + 13 = 3 for j.
2
Suppose y = 0, -y - 20 = -5*r + 2*y. Solve 0 = -r*q + 1 + 3 for q.
1
Let c be 0 + (-3)/12*0. Solve 4 = v - c for v.
4
Let o(h) = -h**2 - 1 + 4 - h - h. Let s be o(-3). Suppose g = d - 3*g - 22, 16 = 2*d - g. Solve -2*i + d = -s*i for i.
3
Suppose 3*u = 3 + 6. Solve u*q - 8 = q for q.
4
Suppose -6 - 26 = -2*n. Solve 4*m - 8*m - n = 0 for m.
-4
Let y(n) = n**2 - 12*n + 7. Let c be y(9). Let d be c/(-3)*36⁄30. Let m = -5 + d. Solve k - 8 = -m*k for k.
2
Let c = 13 + -10. Solve -4*n + c = 11 for n.
-2