Let n be -2 - -2 - -1*4. Suppose x = -17 - 7. Let c = -14 - x. Solve 3*v + c - n = 0 for v.
-2
Let u(n) = 3*n - 10. Let x be u(4). Solve w - 1 = x for w.
3
Let d = 8 - 5. Let j(o) = 9*o + 45. Let v be j(-5). Solve v = -d*z - 3 for z.
-1
Suppose r = -4*r + 90. Solve -5*t + r = 3 for t.
3
Let u = -15 - -16. Solve y = 2 - u for y.
1
Let h be 6/(-3) + 7 - 1. Suppose h*d + 0*d - 16 = 0. Suppose -d*w + 6 = -2. Solve -w*p = -3*p + 4 for p.
4
Suppose 20 = 5*f - 35. Let d(g) = 0 + 1 - g + 12. Let i be d(f). Solve -i*p = -p for p.
0
Suppose -5*s + 0*w = 3*w, -3*s + 24 = -3*w. Suppose -s*v = v. Solve -4*a = -v*a - 16 for a.
4
Let x(l) = -l - 10. Suppose 0 = -5*h + 5, -2*q - 4*h - 22 = -2*h. Let v be x(q). Let g = 6 + -3. Solve v*y - g*y = 3 for y.
-3
Let v(o) = -o3 - 9*o2 + 4. Suppose -t - 1 = 4*h, -t + 4 = 2*h - 3. Suppose -5*d - t - 30 = 0. Let j be v(d). Solve -j*u + 0*u = 4 for u.
-1