Suppose 0*b + 4*c = -b - 1, -3*c = -b + 13. Let g = 10 - b. Solve -m - g*m = -20 for m.
5
Let a(g) = -g - 7. Let i be a(-9). Solve 0 + 2 = i*h for h.
1
Suppose -4*b + 30 = -2b. Let r be 1(1*b)/3. Suppose 2*m - 2*x - 2*x = 0, -2*x + 4 = 0. Solve -r*f + m + 6 = 0 for f.
2
Suppose -4*u + 115 = u. Suppose -2*v - 4 = -4*h, -2*v - 2*h + u = 3*h. Suppose 2*b = -5*g - 15, 2*g + 4 + 2 = 0. Solve b = p - 5*p + v for p.
1
Suppose 3*d = -6, -p - 5*d = 4p + 30. Let j be 2/(-1)(-5 - p). Suppose 4*z = 4*t - 36, 0 = -t + j*z + z + 17. Solve -t*l = 10 - 5 for l.
-1
Suppose 3*r + 3 = 2*t - 3*t, 0 = -4*t - 3*r + 6. Suppose 0 = t*n - 4 - 8. Solve n*v = -5 - 7 for v.
-3
Let t be ((-27)/12)/(6/(-80)). Suppose -5*i - t = -0. Let l(p) = -p - 6. Let u be l(i). Solve u*f = -4*f + 12 for f.
3
Let z(j) = j**2 - 10*j + 5. Let i be z(10). Suppose t - i = 5*s + 16, -s - 5*t + 1 = 0. Let x = 4 + s. Solve x = -w - 1 + 3 for w.
2
Suppose z + 2*x + 2 = 13, x = 3. Let d(l) = 2*l - 7. Let f be d(z). Solve -f*t = -3 - 0 for t.
1
Let k(o) = o3 + 3*o2 - 2*o - 3. Let z be k(-3). Suppose 0*b + 3 = z*y - 3*b, b = 4*y - 7. Suppose 0 = 5*x - 17 + y. Solve -x*t = 10 - 4 for t.
-2