Suppose 0 = -4*z - 0*z. Let n = 2 + -1. Suppose 5*y = 2 + 3. Solve z = -r + n + y for r.
2
Let t(z) = z3 + 5*z2 - z + 1. Let l be t(-5). Suppose -5*v + 2*v = -l. Solve -v*s = -5*s - 6 for s.
-2
Let z(b) = 2*b**2 + 4*b + 4. Let x be z(-3). Suppose x = -p + 3*p. Solve -3*r + 7 = -p for r.
4
Suppose 3c = -c - 8. Let v be (c - -3)(0 + 1). Solve v = -d - 0 for d.
-1
Suppose -24 = -3*m - 0*m. Let a = -6 + m. Solve a*f = f for f.
0
Let f be (-4 + 5 - -2) + -1. Suppose -5*t = 20, 2 = 4*u - t - f. Solve -5*m + u*m = 0 for m.
0
Suppose 3*y = -y + 16. Suppose 2*l + 2 = -4*a, -y*a - 13 = -5*l - 5*a. Solve -5 = l*x - 2 for x.
-1
Let d(v) = -v3 + 8*v2 - 7*v + 1. Let l be d(7). Let p be (l - (-2 + 3))/(-1). Suppose -5*w - 2*k + 5 = p, 29 = 3*w - k - 3*k. Solve 0*z = w*z + 12 for z.
-4
Suppose -1 = t + 4. Let y = -3 - t. Solve 0 = y*o - 7*o - 20 for o.
-4
Suppose -5*h - 12 = -2. Let b be (-8)/32 - h/8. Solve -4*z - 6 - 6 = b for z.
-3