Let q = 152 - 147. Solve 0 = -q*v - 15 for v.
-3
Suppose 5*u - 3*s = 2*s, -5*s = -4*u - 3. Suppose -3*a = -11 - 10. Suppose -a*n + u*n = -12. Solve -n*q = -0*q for q.
0
Suppose 0 = -4*z + 2*p + 18, z - 3*p = 15 - 3. Solve -z*k = 1 - 13 for k.
4
Suppose -2*p - 1 = -9. Solve 0 = 6*u - p*u + 4 for u.
-2
Let p(l) = -13*l - 27. Let k be p(-3). Solve t + 3*t = -k for t.
-3
Let s be (2/(-4))/((-2)/12). Suppose -3*r = -3*i + 18, 0 = 2*i - 4*r + 3*r - 14. Solve -s*c + i*c = 0 for c.
0
Suppose 0*i + 5*i = 0. Suppose -5*h + g - 28 = i, 3*h - h = -g - 14. Let s(u) = -u**2 - 7*u - 2. Let b be s(h). Solve b*y - y = 0 for y.
0
Let o = 6 + -4. Suppose o*u = 4*u - 4. Suppose -3*n + 4*n - u = 0. Solve -z = -n*z for z.
0
Suppose 2*h - 1 = h, -4*b + 18 = -2*h. Let y be 4 - (2 - 1) - -1. Suppose y*x - 30 = -x. Solve b*q - 1 = x*q for q.
-1
Let d = 29 + -29. Solve d*h - 15 = -5*h for h.
3