Let v = 16 - 12. Solve j + v*j = 0 for j.
0
Let l(z) = -z**2 - 4*z + 5. Let p be l(-4). Let n = 9 - p. Suppose -3*u = -4*q - 7 + 22, 3*q - 30 = -4*u. Solve 2*x - n = q for x.
5
Let m = 7 + -16. Let p(t) = -t - 5. Let o be p(m). Solve 0 = o*f - 4 for f.
1
Suppose -5*p + 4*a + 24 = 0, -p + 2*a = 3 - 9. Solve -3*r - p = 2 for r.
-2
Let h = 143 - 61. Let x be (-2 - 1)/6*0. Suppose -4*m - 22 + h = x. Solve -3*v + m = 2*v for v.
3
Let s be (12 - 7) + 1 + -2. Solve -l = s*l for l.
0
Suppose w - 3*w = 0. Solve w = b - 3 + 1 for b.
2
Let g = -12 + 17. Suppose g*m = 5 + 15. Solve -z = -m*z + 6 for z.
2
Suppose 4*s = -d - 4, -4*d + 0*d + s + 18 = 0. Suppose 3*g = -4*f + 20, 0*g = 2*f - 2*g + d. Solve f*o = o for o.
0
Let f = -133 - -137. Solve -s = -f*s for s.
0