Let o(l) = l3 - 10*l2 - 11*l + 4. Let r be o(11). Solve 2*j = r + 4 for j.
4
Suppose 4*r = 3*s + 5, -2*s = -4*s + 2*r. Suppose -s*z + 4*l = -58, -3*l + 8*l + 60 = 5*z. Solve -6*g + g = -z for g.
2
Let r(g) = g + 6. Let f be r(0). Suppose 0*o - 2*o = -f. Solve -2*m = o*m - 5 for m.
1
Suppose 15 = 17*x - 14*x. Solve x - 2 = 3*d for d.
1
Suppose -5*l + 0*l + 20 = 0. Solve m + l = 2*m for m.
4
Let m = -4 - -4. Suppose m = -x + 4 + 1. Suppose x*r + j = 5*j, r = 5*j. Solve 0*b + b + 4 = r for b.
-4
Let s(x) = x2 + x - 1. Let a(y) = -3*y2 + 6*y + 7*y**2 + 6*y - 7 - 5*y. Let v(h) = -a(h) + 5*s(h). Let u be v(4). Solve u = o + 4*o for o.
2
Suppose -3*v = -2*v + 3. Let s = 4 + v. Solve 0 = 3*n - 2*n - s for n.
1
Suppose -p + 4*p = -g + 15, 3*g - 15 = -4*p. Suppose s + p = -0*s. Let d = s + 11. Solve -2 = -d*a + 8 for a.
2
Let h be 8⁄28 - 670/(-7). Suppose a - h = -2*a. Let y = -22 + a. Solve -2*p = 3*p + y for p.
-2