Let f(o) = 2*o + 1. Let u be f(1). Solve -3 = -u*r + 6 for r.
3
Suppose 2*t + f = 3*f - 6, -4*f + 12 = t. Solve -2 = -2*p - t*p for p.
1
Let p(a) = a + 6. Let v(t) = -t - 7. Let u(w) = -5*p(w) - 6*v(w). Let z be u(0). Solve 0 = 5*j - 2*j + z for j.
-4
Suppose -3*r + 5*p = -41, 5*p - 34 = -3*r + 57. Suppose 0 = -5*k - 7 + r. Solve -2*z = k*z for z.
0
Suppose 6*q - 2*q = 12. Solve -q*c = -2*c for c.
0
Let j be 5 + 0/(-2) + 0. Suppose -j*x + 35 = v - 5*v, -2*v = 3*x + 1. Let y be (-70)/(-9) + (-4)/(-18). Solve l = x*l - y for l.
4
Suppose 0 = 2*h - 3*s - 13 + 4, 3*h = -3*s - 9. Suppose -q = 3*q - 16. Solve -3*t + 1 - q = h for t.
-1
Let b = 18 - 14. Suppose -4*c + 19 = -v, -2*v = -5*c + b + 19. Solve k + 0 = v for k.
1
Suppose -5*j = -2*j - 12. Suppose -j*x - 17 = 7. Let h be 4/(-6) + (-16)/x. Solve 7*b - h*b = 0 for b.
0
Suppose 4*b + 4*z = 5*b + 12, 5*z - 65 = -5*b. Let t(j) = -j3 + 12*j2 - j + 12. Let a be t(12). Solve f + b - 4 = a for f.
-4