Let f = 7 + -11. Let c be (-2)/(-5) - 36/(-10). Let m = c + f. Solve m*r + 9 = 3*r for r.
3
Suppose 2*w + 11 = 15. Solve 2 = -w*d + 10 for d.
4
Suppose 3*i = 2*i + 8. Suppose 3*s = -5*a + 27, 0 = -0*a + 2*a - 4*s + 10. Solve a*n + n = i for n.
2
Let v(h) = h**2 - 5*h + 3. Let y be v(5). Suppose 2*c = -y*c. Solve c = 4*i - 2*i for i.
0
Let m = -23 - -16. Let d be m + 3 - (-4 + -2). Solve d*u + 9 = 3 for u.
-3
Suppose a + 12 = 4*i, -2*i + 6 = 3*a + 2*a. Let y = 22 - -3. Let d be 3/(-12) - (-66)/8. Solve -d*w = -i*w - y for w.
5
Let y(x) = -x. Let d be y(-1). Let s(f) = f**2 + 3*f - 4. Let l be s(-5). Let b = l + -4. Solve -b*n + 5 = d for n.
2
Let t(a) = 4*a - 2. Let u be t(5). Suppose -3*c = 3*l - u, 3*l - l = -3*c + 15. Let n = -8 - -9. Solve c*b = n + 8 for b.
3
Suppose 5*k + 0*k = 0. Suppose -g + 1 = -8. Solve -5*h + g + 6 = k for h.
3
Let l(d) = -d**2 - d + 5. Let f be l(0). Suppose -5*m - 2*s + 8 = s, 0 = -m + 5*s + 24. Suppose m*r + 7 = -1, 0 = -f*q - 5*r - 10. Solve q = 2*y + 1 + 3 for y.
-2