Let l(i) = -i3 + 2*i2 + 4*i - 3. Let n be l(3). Solve n + 10 = 2*x for x.
5
Let d(x) = -2*x + 3. Let u be d(-1). Solve n - u + 1 = 0 for n.
4
Let d = -70 - -76. Solve -10*o - d = -7*o for o.
-2
Let p(k) = -8*k - 20. Let m be p(-5). Solve -m = -6*d + d for d.
4
Suppose 0 = -4*c - 6 + 18. Solve c*t - 2 = t for t.
1
Let n = 32 - 29. Solve -6 = -n*u + u for u.
3
Let j = 19 + -14. Let z = 23 - 8. Solve j = -5*w - z for w.
-4
Let v(t) = 5*t - 2. Let b be v(1). Suppose 3*x = -0*x + b*d, -5*d = 5*x - 30. Solve x*o = 7*o for o.
0
Let n(o) = o2 + 7*o + 8. Let b be n(-6). Let u(i) = i3 - 2*i**2 + 2*i + 1. Let c be u(b). Solve 0 = -j + c*j for j.
0
Suppose 0*o - 3*o - 21 = 0. Let g(s) = s3 + 8*s2 + 6*s - 3. Let v be g(o). Suppose 3*d + 2 = -4, 0 = -5*c + v*d + 13. Solve -3*b - c = 5 for b.
-2