Suppose 3*n = 12, 4*u - 4*n = 33 + 31. Suppose -4*q + u = 0, -2*d + 3*q + 3 - 8 = 0. Solve -6 = d*a - 1 for a.
-1
Suppose 0*d = 5*d - 10. Suppose d*v = 1 + 1. Solve 0 = -5*n - v - 4 for n.
-1
Let k(s) = 3*s - 57. Let u be k(20). Solve 5*w = u - 18 for w.
-3
Let i = -56 + 56. Solve 4*d + 20 = -i*d for d.
-5
Suppose 5*w - 21 = 3*y - 4, -3*y = -3*w + 9. Solve b + 0 - w = 0 for b.
4
Suppose 0 = 5*b + 8 + 17, 4*x + b = -5. Solve x = -0*d + 2*d + 4 for d.
-2
Suppose -3*l = -4*j + 8, 0 = 2*j - 5*l + 3 - 7. Solve -j*g = -5*g for g.
0
Suppose 0 = -j + 1. Suppose 4*r = -4*v + 32, 4*r = r + 2*v - j. Solve 5*n - r*n - 10 = 0 for n.
5
Let c(k) = 4*k2 - 2*k2 - 5*k - k2 + 3 + 3*k. Let h be c(2). Let z(m) = 2*m2 + 7*m + 4. Let j be z(-4). Solve -j*a = -h*a for a.
0
Let k be -1*(-1 - (2 - 0)). Solve -y + k*y - 6 = 0 for y.
3