Let n(y) = -2*y + 2. Let c be n(0). Suppose 10 = -c*v + 4*v - 3*a, 3*a = -2*v - 2. Solve -9 = i + v*i for i.
-3
Let m(a) = -a3 - a2 + a - 1. Let k(f) = -7*f3 - 12*f2 - 13. Let w(d) = -k(d) + 6*m(d). Let r be w(-5). Solve -3 = -3*y + r*y for y.
3
Let v = -31 + 33. Solve -4 - 4 = -v*l for l.
4
Let n = -80 - -86. Solve -3 - n = -3*w for w.
3
Suppose 4*z - 40 = -4*b, -4*b = -z - 24 - 21. Suppose -2*n = -29 - b. Let y = n + -8. Solve -4*h + y = 4 for h.
2
Let r = 11 + -7. Let z(y) = y3 + 8*y2 - 11*y - 13. Let k be z(-9). Solve k*g = -1 - r for g.
-1
Suppose 3*r + 79 = 4*l, r + 40 + 45 = 5*l. Suppose 5*i - l = i. Suppose 2*p + 60 = 3*h, -4*h - i*p + 20 = -3*h. Solve 2*b = -2*b - h for b.
-5
Let n(b) = -b2 + 5*b. Let z be n(4). Let k(h) = -h2 + 5*h - 2. Let l be k(z). Solve 0 = -0*r - 2*r + l for r.
1
Suppose -6*g + 2 = x - g, 5*x - 2*g - 91 = 0. Solve 0 = -4*y - 1 + x for y.
4
Let n be ((-1)/2)/(4/(-8)). Solve n = f - 2 for f.
3