Suppose -2*z - 2 = 2*y, z + 3*y = 5*z - 17. Solve l + z*l = 9 for l.
3
Suppose -2*p + 1 = 3*u - 4, -3*u - 4*p = 5. Suppose 5*h = -4*s + 20, s + 3*s = 3*h + 20. Suppose 0 = -s*l + 66 - 16. Solve -u*b = l + 15 for b.
-5
Let f(k) = -k + 8. Suppose 5*m - 80 = -c, -4*m = -4*c - 0*c - 64. Suppose -5*z = m - 56. Let j be f(z). Solve a + 1 = -j for a.
-1
Suppose 2*x - 5 + 1 = 0. Solve x*p - 7*p = 0 for p.
0
Let g = 5 - 3. Suppose 3*r - 19 = -p, -g*p + r + 35 = 6*r. Solve -z = -3*z - p for z.
-5
Let g be -4*(28/(-8))/7. Solve -g*y - 2 = -y for y.
-2
Suppose 2*b - 5 = -s, 4*b - 2*s - 12 = -6*s. Let q be (-2)/3 - 8/(-3). Suppose -3*i = 3*w - 8*w + 8, -w = -q*i + 4. Solve 0*x - b*x = -i for x.
2
Let o be ((-4)/(-8))/((-2)/20). Let d = o - -3. Let m be 5/d*12/(-15). Solve 3*x - m*x = 3 for x.
3
Let u(t) = 2*t - 13. Let x be u(9). Suppose -5*q = -x - 20. Let k = 12 - 8. Solve k*g - 3 - q = 0 for g.
2
Let l = 1 + 1. Let q be ((-10)/(-15))/((-1)/3). Let v = l + q. Solve v = -h - 5 + 2 for h.
-3