Let h = -9 + 24. Suppose 0 = -r + h - 3. Solve -k + r = 3*k for k.
3
Let k(u) = u**2 + 13*u + 12. Let p be k(-12). Solve 4*h + 0*h - 12 = p for h.
3
Let p(i) = -i + 14. Let d be p(10). Solve 18 = d*r + 6 for r.
3
Let p be ((-8)/(-6))/(1⁄6). Let s = -7 + -4. Let i be s + p - (-12)/2. Solve 3 - 9 = -i*h for h.
2
Let t be 8 + 1 + -3 + -1. Suppose 0 = -t*k + 14 + 6. Let h = 4 - 0. Solve k*a - 3*a = -h for a.
-4
Suppose 4 = 3*r + 1. Let t be -2 + r + -3 + 10. Suppose 2*k = t*k. Solve k = -4*q - 0*q - 4 for q.
-1
Suppose 0 = z + 3 - 4. Solve -y - 3 = z for y.
-4
Let q(a) = 3*a - 2. Let v be q(2). Suppose 0 = 3*n + 5*l - 29, 0 = v*n + 3*l - 26 + 2. Let s = -342 + 344. Solve -10 = -n*r - s*r for r.
2
Let q(g) = -g**2 - 14*g - 13. Let h = 2 - 12. Let v be q(h). Suppose -5*p - 12 + 3 = 2*x, -v = -4*x + 5*p. Solve -x*i = -5 - 7 for i.
4
Suppose 4*h = -2*i + 278, -5*i + 2*i = 15. Let v(p) = -p3 - 4*p2 - 4*p - 2. Let c be v(-2). Let k be 128/h - c/9. Solve 2*n - 12 = -k*n for n.
3