Let r(f) = f**2 + 5*f + 7. Let b be r(-5). Let q(j) = -j + 13. Let l(u) = -u + 14. Let k(v) = -3*l(v) + 4*q(v). Let m be k(b). Solve m = 4*a - 5 for a.
2
Let q be -2 + 2 + -2 + 4. Suppose -r + 1 = -q. Solve 2*s - r = -1 for s.
1
Let y be (-2 - 13)*(-1)/1. Suppose u - 15 = 2*m - 4*u, -u = 2*m - y. Suppose -4*r = 5*s - 13, 6 - 1 = m*s. Solve r*a + 3 = -a for a.
-1
Suppose 3*z + 0*z - 6 = 0. Solve 0 = z*b - 2 for b.
1
Suppose 3*l = -5 - 37. Let k = l - -18. Solve w + 1 + k = 0 for w.
-5
Let y(m) = -m**2 + 8*m - 7. Let d be y(6). Solve 4*r = d + 11 for r.
4
Let a = 15 + -11. Let s be (5⁄2)/5*6. Let u be 0 - -12 - -1*1. Solve a = -s*i + u for i.
3
Let x be (15⁄10)/(9⁄96). Solve 0*l - x = -4*l for l.
4
Let s(b) = 0*b + 8 - b + 2*b. Suppose -8 - 2 = 2*q. Let r be s(q). Solve p = -r*p for p.
0
Let r be (-7)/(-28) - (-15)/4. Solve -2 = -r*n + 3*n for n.
2