Suppose d = 2*x - 3*x - 1, 5*d = x - 11. Let f(q) = -q3 - 4*q2 - 3*q + 1. Let p be f(-3). Let b = x - p. Solve -r - 2*r = b for r.
0
Let c be (-7 - 1 - -2)/(-2). Solve c*t = 2*t + 2 for t.
2
Suppose 3*l - 5*r = l, -l + 30 = 5*r. Solve l = 2*b + 6 for b.
2
Let c = 17 + -9. Solve -d + c = d for d.
4
Suppose -2*r = 2*u - 18, -2*r = 5*u - 3 - 27. Let j(v) = v3 - 5*v2 + 5*v. Let i be j(u). Let z(q) = 3*q - 6. Let k be z(i). Solve -k = 6*x - 4*x for x.
-3
Let v(i) = -i3 - 8*i2 - 8*i - 5. Let s be v(-7). Let b = 5 + -3. Solve 0*r + b = s*r for r.
1
Let k(a) = -a + 9. Let s be k(9). Solve 0 = w - s*w - 3 for w.
3
Let v = 1 - 1. Let i be 3⁄6*14 - -1. Suppose s = 3*s - i. Solve -p + s + v = 0 for p.
4
Suppose 0*z - 57 = 4*x - 3*z, -25 = 2*x - 5*z. Let p = 34 + x. Suppose -v + 1 - 3 = 2*q, p = 4*v - q. Solve c = -c + v for c.
2
Let x = -5 - -2. Let m be -2 - (-1 - x - 5). Suppose -3*c + 13 = -2*b - 4, 4*b = 4*c - 24. Solve 2*a - m - c = 0 for a.
3