Let w = -3 + 7. Suppose -x + w*x = 15. Suppose -2*f + x*s = -6*f + 8, 0 = 3*s. Solve -f*a + 4 = -a for a.
4
Let k(b) = b - 4. Let o be k(6). Suppose o*t = -2*t. Solve t = -0*g + 5*g - 25 for g.
5
Let n be 2 + (4 - 2) + -3. Let k = n - 1. Solve k = -0*w - 3*w + 6 for w.
2
Let x = 26 - 26. Solve 5*q + 0*q + 15 = x for q.
-3
Suppose 5*x + 5*c = 80, -c + 3 + 1 = 0. Suppose -3*o - g + 17 = 0, -2*o - 4*g = -3*g - x. Let q(h) = -h**2 + 8*h + 2. Let i be q(8). Solve o = z - i*z for z.
-5
Let t(i) = -2*i**2 - 18*i + 12. Let p be t(-9). Solve -2*x - 2 + p = 0 for x.
5
Suppose -5*c = -0*i - i - 33, 4*i - 43 = -5*c. Suppose 0 = -26*u + 25*u + 3. Let b = c - u. Solve 2 = -2*g - b for g.
-3
Suppose 4*t - 24 = 5*u + 15, 0 = 2*t - 4*u - 24. Solve 0 = -2*c - c + t for c.
2
Suppose -v = -2*v + 24. Let b be (7/(-21))/((-2)/v). Solve b*l = -0*l - 12 for l.
-3
Let i = 14 - 9. Suppose 0 = -i*u + 3*u + 8. Solve -u*j - 9 = 7 for j.
-4