Let z = 0 - -4. Suppose 4*t + 21 = -k + z*k, -3*t - 7 = -k. Suppose 0 = k*p - 2*p. Solve s - 2*s + 5 = p for s.
5
Let g(m) = m - 9. Let j be g(13). Solve 5 = j*v - 3*v for v.
5
Let v(n) = -3*n - 4. Let i be v(-2). Solve 0 = -i*r + 1 - 11 for r.
-5
Suppose -a + 9 = -0. Solve 3*z = -0 + a for z.
3
Suppose 3 - 13 = 5*m. Let u = 4 - m. Let j(d) = d3 - 6*d2 - d + 8. Let t be j(u). Solve -8 - t = 5*r for r.
-2
Let y = -2 + 4. Let v = -2 - -5. Suppose 2*j + 0*j - r = 8, 8 = 2*j - v*r. Solve -j*d = -y*d + 8 for d.
-4
Let y be (6 - 1) + (3 - 0). Suppose -a = a - y. Solve -7*z = -a*z + 12 for z.
-4
Let g be 3 + (-12)/4 - 0. Solve g = -5*p + p - 20 for p.
-5
Let y be 1*(0 - (-22 - 1)). Let k = -18 + y. Solve -2*u = 3*u + k for u.
-1
Let j(w) = -w + 27. Let q be j(21). Solve -3*a + q*a = 0 for a.
0