Let v(p) be the first derivative of p3⁄3 + p2⁄2 + p + 2. Let h be v(-2). Let n(g) = 9*g**2 + 1. Let l be n(1). Solve 0 = h*u - 5*u + l for u.
5
Let m(i) = -i + 14. Let b be m(11). Let j be (1 + 23)/b - 0. Suppose -20 - j = -2*f. Solve 0 = 3*y + f - 5 for y.
-3
Let h(g) = 2*g - 32. Let n be h(17). Solve -3*m = -n - 13 for m.
5
Let f(k) = -k3 + 8*k2 - 8*k + 1. Let m be f(7). Let d(l) = -2*l + 5*l - 2*l + 6. Let h be d(m). Solve 2*a = -h*a for a.
0
Suppose -3*w = -4*w + 6. Suppose -5*i + w = -2*i. Suppose 5*c + 4*x - 2 = 0, 0 = i*x + 7 - 3. Solve 0 = c*l - 3*l + 5 for l.
5
Let p(s) = -s**2 + 5*s - 4. Let b be p(3). Suppose b*v - 2*x - 2 = 4*v, 4*x + 4 = 4*v. Suppose 3*u = v, i - 2 = -u + 5*u. Solve 0 = d + d + i for d.
-1
Suppose -q - 6*q = -7. Solve -w - q = -0 for w.
-1
Let t = -9 + 13. Solve -t*k - 10 = k for k.
-2
Suppose -2*p - x = -2 + 1, -2*x = 5*p - 5. Solve p*g = 6*g + 15 for g.
-5
Let j(p) = p3 - 10*p2 + 10*p - 6. Let v be j(9). Suppose -v*u + 2 + 25 = 0. Let h be u/12 + (-51)/(-12). Solve -2*g + 3 = -h*g for g.
-1