Let n(x) = x3 + 7*x2 + 7*x + 4. Suppose 3*d + 0 = 6, -3*w - 22 = -2d. Let y be n(w). Let v be y + 3/(-2)-2. Solve 7 = 3*t + v for t.
2
Suppose g = 2*g - 3. Suppose g*d - 21 = 4*d. Let c = d - -30. Solve 4*r = -7 - c for r.
-4
Let p(o) = o3 + 4*o2 + 5. Suppose 12 = -5*y + 2*y. Let h be p(y). Suppose -4*s = 5*c - 6*s - 91, h*s = c - 32. Solve -5*i = 2 - c for i.
3
Let p(x) = -x - 20. Let y be p(-11). Let f(o) = 4*o - 1. Let c be f(-3). Let l = y - c. Solve 5*m = -l + 19 for m.
3
Let s(w) = -w**2 + 11*w + 12. Let d be s(12). Suppose d = x + 2, -f - f - 4*x = 0. Suppose o - f = -o. Solve -o*z - 5 = -3 for z.
-1
Let x = -15 - -17. Let f be (-1)/x0-1. Solve -4*v = -f*v + 20 for v.
-5
Suppose 1 = -y + 3. Let o© = y + 4*c2 + c + 2*c - 3*c2. Let d be o(-2). Solve d = 3*l - 0 - 3 for l.
1
Suppose 0 = 5*q + 5*f - 125, 0 = -5*q + 2*f - f + 125. Solve -6*i - q = -i for i.
-5
Let a = 49 + -45. Solve a*o = 2*o - 8 for o.
-4
Let p = 56 - 46. Solve 5*b - p = 10 for b.
4