Let c = -7 + 10. Suppose 0 = -c*n + 18. Suppose -3*t + 2*t = -4. Solve -n = -t*j + 14 for j.
5
Suppose -5*g - 55 = 5*l, 3*l + 19 = 2*g - 4*g. Let f(t) = -t - 2. Let v be f(g). Solve -4*a + v = -0 for a.
3
Suppose 10 = 5*p - 5*k - 25, -12 = 3*k. Solve -p*r + 6 = -3 for r.
3
Let u = 18 + -12. Suppose u - 1 = h. Suppose -10 = -5*v - h*o, 2*v + o - 1 = 4. Solve 17 + v = -5*r for r.
-4
Let b(f) = 2*f**2 - 13*f - 5. Suppose -j - 5*j = -42. Let s be b(j). Solve -3*i + s = 14 for i.
-4
Let u = 1 + 2. Suppose -4*w + 13 = -u*w - 5*n, 5*w - 13 = -n. Suppose -a - w*z + 1 = 0, -5*a + z = -a - 4. Solve -a = q + 2 for q.
-3
Suppose -5*z = -10*z + 125. Solve 4*r - z = -r for r.
5
Suppose 8 = -2*i, 4*l - 2*i = 63 + 13. Solve 5 = 4*p + l for p.
-3
Suppose 0 = q - j + 3, 3 = 3*q - 0*j + 3*j. Let k = 3 + q. Solve 0 = -k*b - 1 + 9 for b.
4
Let i = -131 + 142. Solve 14*h = i*h - 15 for h.
-5