Let p(t) = t**2 + t - 9. Let z be p(-4). Solve -4*a = -z*a - 3 for a.
3
Let m(o) = 13*o - 4. Let r(p) = -13*p + 4. Let z(q) = 5*m(q) + 4*r(q). Let k be z(3). Let a = k - 23. Solve -4*b + a = -b for b.
4
Let p be (2 - (-1 - -4))*-7. Let v = p + -3. Suppose -1 - 2 = -y. Solve -v*r + 1 = -y*r for r.
1
Suppose 0 = -m + c + 5, -m = 3*m + 4*c + 4. Solve m = -n - 1 for n.
-3
Suppose -5*n + 4*n + 21 = 0. Suppose -4*l = 9 - n. Solve -l*c + 4*c = 3 for c.
3
Let t be -4 + 3 - (-1)/((-2)/(-4)). Solve -5*f + 4 = -t for f.
1
Let s(v) = v**2 - v + 2. Let r be s(2). Suppose 4*z + 20 = -2*c, -31 = -4*c + 4*z - 11. Solve c + r = -m for m.
-4
Suppose -s + 5*r + 12 = 0, 2*s = 4*s - r - 6. Solve 0 = h - s for h.
2
Let k be 470⁄30 - (-1)/3. Let f = 19 - k. Solve -m - f*m = -12 for m.
3
Let j = 26 + -23. Suppose -7*i + j*i + 8 = 0. Solve i = -b - 1 for b.
-3