Let f(n) = -n3 - 5*n2 - 3*n - 7. Let k be f(-5). Solve -y + 3*y - k = 0 for y.
4
Let t(v) = v3 + 6*v2 - 5*v - 3. Let i be t(-6). Let j = i - 23. Solve 2*c - c - j = 0 for c.
4
Let v(j) = -j3 + 6*j2 - 7*j - 4. Let h be v(4). Solve h = -3*a - 2 + 14 for a.
4
Let h(i) = -i**2 - 17*i - 15. Let r be h(-15). Solve -2*v - v = -r for v.
5
Let x = -10 + 11. Solve 0*b + x = b for b.
1
Suppose 2*q + 10 = 3*v + 3*q, v - 12 = 4*q. Solve b + v = -b for b.
-2
Let x be (-3)/2*(-24)/9. Suppose -3*z = 6, x*z + 2 = p - 3*p. Let l(f) = f3 + f2. Let a be l(0). Solve a = -p*r - 4 - 2 for r.
-2
Let n(t) = -3*t - 4. Let w be n(-4). Suppose -3*d - 4*h = -w*d - 7, 0 = d + 2*h - 7. Solve m = d - 3 for m.
-2
Let r = 6 - 8. Let t be ((-9)/(-6))/(-3)*r. Let w = t + 4. Solve -w*h = 4 + 1 for h.
-1
Suppose 4*b - 15 = -b. Let p(h) = h**2 + 5*h + 4. Let v be p(-4). Let k© = 4*c + 35. Let g be k(-8). Solve -b*f = -v*f - g for f.
1