Let g(m) = m + 10. Let s be g(7). Let q = -7 + s. Solve -4*i + 26 = q for i.
4
Let b be (-2)/(1 - 3)*0. Solve b = -x - x + 8 for x.
4
Let t = 6 - 1. Solve -4*b = 17 - t for b.
-3
Suppose 0*j + 3*j = -9. Let a(u) = u3 + 3*u2 + 1. Let h be a(j). Let r = 2 - h. Solve -7 = 2*g - r for g.
-3
Suppose -5*d + 39 + 26 = -y, -d - 5*y - 13 = 0. Suppose d = v + v. Solve v + 9 = -3*n for n.
-5
Let s(m) be the first derivative of -m**2 - 10*m + 3. Let a be s(-7). Suppose d - a = -1. Solve -2*x = d*x + 5 for x.
-1
Let n = 4 - 3. Let y(u) = -2*u - 3. Let m be y(-5). Solve -n = 3*l - m for l.
2
Let w be -2 + -1 + 0 + 4. Suppose -w = -5*s + 24. Solve 0 = s*k - 0*k + 20 for k.
-4
Let v(g) = g3 + 15*g2 + 13*g - 14. Let p be (14/(-3))/((-1)/(-3)). Let r be v(p). Let y be 11⁄4 + 2⁄8. Solve 3*k - y = -r for k.
1
Suppose 2*f - f = 0. Suppose 10 = 5*m - f*m. Solve -m*c + 15 = c for c.
5