Let y(f) = 5*f - 13. Let m be y(5). Solve 0*n + 4*n = m for n.
3
Let x = 16 + -4. Suppose x = 2*d + 8. Solve 0*r + d*r = 4 for r.
2
Let b be (-12)/18 + 4⁄6. Solve b = 2*l + 2 for l.
-1
Let q = -4 + 2. Let m be -4 - -3 - (q + -2). Solve m = -u + 7 for u.
4
Let q be (-3)/21 + (-6)/(-42). Solve 5 = 5*b - q for b.
1
Suppose 20 = -4*a + 4, -a = 2*f - 4. Suppose -5*j + f = -26. Suppose j*s = s. Solve 0 = -3*m - s*m - 3 for m.
-1
Suppose k + 5*c - 22 = -0*k, c = -k + 6. Suppose k*v - 3 - 5 = 0. Solve -5 = v*j - 5*j for j.
5
Let o(z) = z**2 - 5*z - 11. Let t be o(7). Solve t = p - 2*p for p.
-3
Suppose -b + 3*i = 4 - 0, -i + 12 = 5*b. Suppose b*k + 0*k - d - 1 = 0, -4 = k + 4*d. Solve -4*l - l - 10 = k for l.
-2
Suppose 3*x + 2 = 8. Suppose -8 = u - 2*v, -2*u = -3*v + 17 - 5. Let c = x + u. Solve 0 = r + c for r.
-2