Let m(f) = -f - 1. Let s be m(-10). Let p = 13 - s. Suppose -z = -p*z. Solve -5*r + 10*r + 10 = z for r.
-2
Let u = 21 + -20. Solve 0 = -m - 1 - u for m.
-2
Suppose -16 = -4*z - 0*z. Let s = -18 - -31. Let y = s - z. Solve -2*o + y = 3 for o.
3
Let x(g) = 105*g. Let w be x(1). Suppose -5*v - 5*l + w = 0, 4*v - 68 = -3*l + 15. Solve -3*c - v = 2*c for c.
-4
Let r = 8 - 6. Suppose -r*n = -0*b - 5*b + 22, 3*n = -2*b + 24. Solve -b = -4*i + 6 for i.
3
Let n be 5⁄2 + (-3)/(-6). Suppose -1 + n = -v, 5*t + 4*v - 17 = 0. Solve t*l - 29 = -4 for l.
5
Let s = 10 + -7. Suppose 2*j - 15 = -z, 0 = 2*z + 2*z + 3*j - 85. Solve -s*b = 2*b + z for b.
-5
Let l = -74 + 94. Solve -6*v + 11*v = l for v.
4
Suppose 4*l - 41 = -p, 2*l + 7 + 4 = p. Solve -p + 1 = 5*j for j.
-4
Let s(w) = -2*w + 16. Suppose -3*f = -a - 7 + 27, -3*a - 2*f = -16. Let g be s(a). Solve h + 4*h + 15 = g for h.
-3