Suppose -4*n - n = -25. Let x be (-3 + 0)*16/(-6). Let v = x - 5. Solve n*g - 18 = -v for g.
3
Let b(n) = -n**2 + 2*n + 4. Let i be b(0). Solve -i*a = 3 - 11 for a.
2
Suppose 2*g - 15 = -d, 0*g + 3*g - d = 25. Suppose -5*f = 2*a - g - 1, 0 = 2*f + 3*a - 8. Solve -h + 5 - f = 0 for h.
4
Suppose 3*v = 3*b + 9, -3*v + 3 = 3*b - 8*b. Let z be 2 + (-10)/2 + v. Solve -z*t + 8 = -t for t.
4
Suppose f - 15 = -4*d, 5*f - 4*d - 5 + 2 = 0. Suppose 2*h + 3*u = -2*h + 20, -4*h + 16 = 2*u. Suppose r = h*r. Solve -f*j = -r*j for j.
0
Suppose h + 2*y = 18, 4*y = -0*y + 16. Solve 2*w = -4 + h for w.
3
Let s(a) = -a3 + 5*a2 - 2*a - 4. Let r(i) = -i3 + 6*i2 + 4. Let x be r(6). Let u be s(x). Suppose -b = -u*b. Solve b = -2*k - 3*k + 20 for k.
4
Let o(j) = 5*j - 63. Let y be o(15). Solve y + 12 = 6*x for x.
4
Suppose 12*z - 14*z = -4. Solve 5*k + z = -3 for k.
-1
Let h(f) = -f + 7. Let i be h(7). Suppose -5*k = 3*d + 5, k + 4*d + 1 = -d. Let a(z) = -3*z3 - 2*z2 - 2*z - 1. Let c be a(k). Solve -p + i = -c for p.
2