Let l = -26 - -30. Solve -l*p - 12 = -0*p for p.
-3
Suppose -4*c + 11 + 25 = 0. Solve 0 = r + 2*r - c for r.
3
Suppose -4*s = -4*w + 24, -2*w = 3*w - 2*s - 21. Solve 0 = -w*u + 9 for u.
3
Suppose -d = -4*m - 5, -5*d + 4*m + 25 = -0*m. Solve -d*g - 5 = -0*g for g.
-1
Let k = -6 + 11. Suppose 0*z = -2*z. Solve -u = -z + k for u.
-5
Suppose 2*j - 4 = -0. Suppose 0 = -z + f + 5, 0 = j*f + f + 12. Solve z + 4 = 5*v for v.
1
Suppose -r - 8 = -2*r + 2*n, -5*r = 5*n - 70. Solve 0 = 3*k - 0 - r for k.
4
Let m = -16 + 10. Let y(i) = -i3 - 5*i2 + 4*i + 1. Let c be y(m). Solve 5*f - c = -3 for f.
2
Let c be (-14)/2*-1 + -2. Let v be 2/c + 13⁄5. Solve -a - v = -1 for a.
-2
Suppose 0 = -0*n + 3*n - 18. Let a = 11 - n. Solve a*b - 17 = 8 for b.
5