Let t(f) = f**2 - 6*f - 9. Let d be t(7). Let o be 1/d*0 - -3. Let p be (o + (-3 - 0))/(-1). Solve -c - c + 6 = p for c.
3
Let l = -1 + 4. Suppose 0 = -l*m - 5*g - 19, 0 = -0*m + 3*m + 4*g + 14. Solve 4*o + m = 6 for o.
1
Let x = 3 + -7. Let s = x - 28. Let q be s/(-4)*6⁄8. Solve -h = h - q for h.
3
Suppose 0 = -x + 5 - 2. Suppose -x*l = -1 - 5. Solve -15 = -l*u - u for u.
5
Let b = 14 + -8. Suppose -o - o = -b. Solve 7 = -4*c + o for c.
-1
Let m be (-1)/(258⁄87 + -3). Suppose -39 = -4*a + 3*x, 5*a - 37 - m = -2*x. Solve 3*p = -0*p - a for p.
-4
Suppose 0 = 3*s + 4*g, 0 = -4*s - 3*g - g + 4. Suppose -s*r = r. Suppose r = 5*p - 4*p. Solve 3*z - 9 + p = 0 for z.
3
Let b be (4 - 4) + 1 + 3. Suppose -11 = -b*f - 3. Solve -f*k = -1 - 1 for k.
1
Suppose 5 = -o, 6*o = -3*l + 3*o - 27. Let r = l - -4. Solve r = 5*s - 2*s + 9 for s.
-3
Let i(d) be the first derivative of -d4⁄4 + 3*d3 - 7*d**2⁄2 - 7*d - 4. Let g be i(8). Solve 0*z + z = -g for z.
-1