Let y(f) = -f**2 + 6*f + 7. Let d be y(7). Solve d = 3*t - 7*t + 4 for t.
1
Let t(z) = 3 - 5 + z + 0*z + 11. Let w be t(-7). Solve -3 = -w*q + 5 for q.
4
Suppose 0 = v - 1 - 3. Let l = v - 2. Solve -l*o + 3 = o for o.
1
Let f(a) = 27*a**2 + 1. Let o be f(1). Suppose 0 = -3*h - 10 + o. Solve -g = -3*g + h for g.
3
Let o = -20 + 45. Solve -2*w + o = -7*w for w.
-5
Suppose 5*f = 39 + 36. Solve 0*h + f = 5*h for h.
3
Let o = 4 + -2. Suppose k + o = 2*k. Solve -k*s + 15 = 3*s for s.
3
Let m = -30 - -35. Solve -15 = -5*f + m for f.
4
Let z = 7 - -1. Let i be 39/(1 + (2 - 2)). Let v be (-1)/4 - i/(-12). Solve v*y + z = 5*y for y.
4
Let i be 102⁄14 - (-4)/(-14). Suppose -3*b - 5 = -b + 3*m, -m - i = -2*b. Suppose -o - 3*y = -8, -2*y = -o + 3*y - 8. Solve b*a + o*a = 4 for a.
1