Let n(p) = 8*p + 2. Let c be n(-4). Let s be 12⁄15*c/(-4). Let r = s + -6. Solve -2*a + 10 = -r*a for a.
5
Let u = -8 + 10. Let t be (-2)/(-10) - (-28)/10. Solve 4 = u*n - t*n for n.
-4
Let q be 1 - (-2)/((-4)/2). Solve q*f - 12 = 4*f for f.
-3
Suppose -4*z + 5*p + 21 = 0, 3*p + 17 - 2 = 3*z. Solve -2*a + z*a = 6 for a.
3
Let l = 1 + 1. Suppose -l*n - 2 = -12. Solve b - 2*b = -n for b.
5
Let a(f) = f**2 + 6*f + 3. Let k be a(-7). Suppose -7*r = -k*r. Solve -4*g + 0*g + 12 = r for g.
3
Suppose 3*s - 20 = -2*a, -2*s + a = 6*a - 28. Suppose 14 = s*z + 2. Suppose -6*c + 12 = -z*c. Solve 4 = -c*g + 5*g for g.
4
Let m(n) = -n - 5. Let q be m(-7). Let j be q1/(-2)-1. Suppose v = -0*v + j. Solve 0 = t - v for t.
1
Let d(v) = v2 - 8*v - 9. Let b(h) = h2 - h - 3. Let z be b(4). Let o be d(z). Solve o = 2*x - 10 + 2 for x.
4
Let p(b) = 15*b. Let c be p(2). Let o = 20 - c. Let d be (o/4)/(2/(-4)). Solve d*h - h = -12 for h.
-3