Let n = 7 + -5. Let v be (-2 + 8)*4⁄8. Suppose -5*x = -25, -4*y - x + 15 = 2*x. Solve y = v*a - n*a - 4 for a.
4
Let j = 28 - 20. Let d(u) = -u + 11. Let b be d(j). Let r = -2 - -4. Solve -b*a = r*a for a.
0
Suppose -3*t - 3*f + 7 = -2, f = -3*t + 17. Solve 20 = -t*s + 2*s for s.
-4
Let c = 55 - 36. Let g = 27 - c. Let v = -5 + g. Solve -v*b - 8 = b for b.
-2
4
Let n = 15 - 10. Suppose 7 = -3*u + 1, 2*c - 14 = n*u. Solve 5*p - c = 4*p for p.
2
Let s(y) = y + 4. Let w be s(-2). Solve -w = 2*g - 4*g for g.
1
Let q(d) = d**2 + 9*d - 8. Let h be q(-10). Let u = 4 + -2. Solve u*z = -h*z for z.
0
Let v(y) = 4*y - 2. Let c be v(3). Suppose c*d = -5*m + 5*d + 5, 3*d - 5 = -5*m. Suppose m - 9 = -4*i. Solve -2 = -j + i*j for j.
-2
Suppose -56 = -5*n + 3*l, 3*n + 0*l = -2*l + 26. Solve 4*t - n = 2*t for t.
5