Let a = 13 - 7. Solve -y + a = y for y.
3
Let z = 10 - 9. Let r(l) = l + 8. Let t be r(0). Suppose t*f = 3*f. Solve -x + 2*x - z = f for x.
1
Let n be 8/(-3)*(-6)/4. Suppose 5 = n*g - 7. Solve -2*q = g*q + 10 for q.
-2
Let z = 25 - 20. Solve -3*s - z = -2*s for s.
-5
Let t = 38 + -34. Solve 4*i + 0 - t = 0 for i.
1
Let u(y) = y - 1. Let h be u(1). Let t be (0 - 15)/((-3)/4). Suppose 4*c + 4*b - t = h, c = 2*b - b + 5. Solve -c*s = -3*s + 8 for s.
-4
Let q = -22 - -25. Suppose 7 = q*d - 8. Solve -d*f + 3 = -7 for f.
2
Let j = -13 + 14. Let n(s) = 4*s**2 - 1. Let d be n(j). Solve d*p = -p + 4 for p.
1
Suppose -2*w + 20 = 2*h, h - w = 1 + 7. Suppose 4*g = 2*l - 18, -4*g + l - 6 - h = 0. Let j(u) = -u**2 - 4*u + 1. Let n be j(g). Solve -n*o - 9 = 3 for o.
-3
Let z(g) = 5*g3 - 8*g2 - 4. Let j(w) = 6*w3 - 8*w2 - 4. Suppose -3*u - 4 = 17. Let p(h) = u*z(h) + 6*j(h). Let i be p(-8). Solve 7 = i*d - 13 for d.
5