Let z be (-8)/20*(-15 - (-2 - -2)). Solve z = 2*r - 0*r for r.
3
Let b = 0 + 0. Let z = -6 + 9. Let i be z3/(-18)-20. Solve b = -6*g + g + i for g.
2
Let k = 4 + 0. Suppose q - 20 = -k*q. Solve 0 = q*p - 26 + 10 for p.
4
Let a(t) = -5*t2 + 4*t + 3. Let f(x) = -x2 + 1. Let s(h) = -a(h) + 6*f(h). Let y be s(-4). Solve -y*z = 2*z + 25 for z.
-5
Let v = 1 + 2. Suppose v*n - 9 = 9. Solve 0 = h - n*h - 10 for h.
-2
Suppose -10 = -5*q - 4*b + 38, 9 = -3*b. Suppose -17*p + 20 = -q*p. Solve -4*c - 4 = p for c.
-2
Let h be 4⁄10 + (-24)/10. Let k(g) be the first derivative of -g**2 - g + 2. Let x be k(h). Solve x + 1 = -l for l.
-4
Suppose -3*x = -4*x + 7. Solve 3*a - 8 = x for a.
5
Let k be ((-4)/14)/((-4)/56). Suppose -3*w - 8*x - 4 = -k*x, -4*w = 4*x. Solve 0 = n - w*n - 12 for n.
-4
Let f = -39 - -43. Solve f = -3*s + 2*s for s.
-4