Suppose 3*v - 20 = 28. Let y = v - 15. Solve -3*z = y + 5 for z.
-2
Suppose 0 = -2*r + r. Solve -4*p + 2*p + 8 = r for p.
4
Let c = -3 + 5. Solve c*s - 7*s - 10 = 0 for s.
-2
Suppose 3*h - n + 6*n - 26 = 0, 0 = -n + 4. Solve h*x = -7 + 17 for x.
5
Suppose 4*t = -s - 3 + 4, 22 = 4*s - 2*t. Solve -1 = 4*i - s for i.
1
Let v be (-2 + 1 - 3) + 1. Let u(t) = t3 + 5*t2 + 4*t - 1. Let p be u(v). Solve -p*x + 10 = -0*x for x.
2
Let n(d) = d. Suppose -v = 2*v. Let m = 4 + v. Let i be n(m). Solve -i*k + 5 = k for k.
1
Suppose 3*n + 0*r = -2*r - 5, -4*r = 16. Let c(t) = 5*t3 - 2*t2 + 2*t - 1. Let o be c(n). Suppose 9 = m - 6. Solve b + m = -o*b for b.
-3
Suppose -2*g + 2 = -2. Let k(j) = j + 1. Let p be k(g). Solve -p*b - 9 = -0*b for b.
-3
Suppose v + 5*w = -v + 33, 5*v - w = 15. Solve -4 = v*h + 16 for h.
-5