Let t(l) = -l3 - 17*l2 + 16*l - 9. Let q be t(-18). Suppose -s + 5*s = n + 21, -2*n = -5*s + q. Solve 0 = s*g - g + 8 for g.
-2
Suppose -5*o + 25 = 4*g, -g + 2*o + 4 = 1. Solve g*p + 6 = -4 for p.
-2
Let u(i) = i**2 - 8*i - 9. Let b be u(9). Let n be 3 + -1 + b/3. Solve -n = 2*q - 4 for q.
1
Let f(g) = 7*g + 29. Let h be f(-4). Solve 5*c = -24 - h for c.
-5
Let n = 12 - 10. Suppose 5*x = n*x + 6. Solve -x*z - 9 = -5*z for z.
3
Suppose 0 = 4*m, 3*v + 0*m = 2*m + 12. Suppose 5*g - 6 = -3*d + v, -2*g + 4 = -4*d. Solve d = -3*b - 4 + 13 for b.
3
Let j(k) be the first derivative of k**2⁄2 - k + 2. Let t be j(5). Solve q - t = -2 for q.
2
Suppose 0 = 2*t - 5*j - 7, -4*t + 2*j + 11 + 11 = 0. Solve t = 5*w + 1 for w.
1
Let v(o) = 2*o**2 + o - 2. Let b be v(-2). Suppose 0 = b*n - 15 - 5. Solve -2*h = -n*h - 9 for h.
-3
Suppose 2*d + 0*d + 30 = 0. Let g = -9 - d. Solve 3*v - g = 6*v for v.
-2