Let y = -34 + 21. Let r = y + 21. Solve c - 5*c = r for c.
-2
Let t(m) = 4*m**2 - m + 1. Let v be t(1). Suppose -v*n = -n - 6. Suppose -4 = -n*w + 2. Solve -w*i = 2*i - 5 for i.
1
Suppose -19*b + 18*b = -4. Solve 2 = -2*k - b for k.
-3
Let k(n) be the first derivative of n**2⁄2 - 4*n + 1. Let s be k(6). Suppose 46 = 4*i + s*z, 0 = 4*z - 5*z - 1. Solve 13 = -5*o - i for o.
-5
Suppose 3*y + 0*y = 15, 4*n + 3*y + 5 = 0. Let c(u) = -3*u + 3. Let v be c(n). Let j = v - 6. Solve 0 + j = 4*h for h.
3
Suppose -d + 4*d = 9. Solve d*y = -2*y + 15 for y.
3
Suppose -4*h - x = 4*x - 36, 4*h - 4*x = 0. Solve h*g - 6*g = -8 for g.
4
Suppose 0 = -52*s + 53*s - 6. Solve s*o = o - 25 for o.
-5
Let j = 0 - 0. Let z = 32 - 17. Let b = z + -11. Solve j = -b*f + f - 12 for f.
-4
Let v be 1 + (-36)/(-3) + -5 + 8. Solve 6*k - v = 2*k for k.
4