Let x(w) = w**2 - w + 2. Let r be x(2). Solve v - r = -3 for v.
1
Let w(v) = -v - 3. Let h = -15 - -11. Let d be w(h). Solve a - 2*a = d for a.
-1
Suppose -4*u + 2 = -58. Solve 0 = -7*k + 12*k - u for k.
3
Let c = -95 - -102. Solve -c*r + 20 = -2*r for r.
4
Suppose -9 = -i + 4*i. Let h be 5 - 1 - (i + 5). Solve 0 = -2*g - h*g - 8 for g.
-2
Let u = -7 + 14. Suppose 3*h + 12 = -4*t, -3*t + u*t = -5*h - 20. Solve t = -0*o + 2*o + 2 for o.
-1
Suppose -2*f + f - 4*w + 17 = 0, -2*f + 8 = -5*w. Solve -f + 24 = 3*g for g.
5
Suppose 0 = -2*c - c + 5*c. Let b be 166⁄7 - (-2)/7. Suppose -5*w + 20 = 3*r, 3*w - 7*w = 4*r - b. Solve -r*x + c*x = 0 for x.
0
Suppose 5*b = 0, 0*s - 4*b + 25 = 5*s. Suppose s*c + 2 - 12 = 0. Solve -7*t + c*t - 5 = 0 for t.
-1
Suppose 11*w + 60 = 23*w. Solve 4*a - 7 - w = 0 for a.
3