Let l = -36 + 52. Let x = 414 - 409. Solve 1 = -x*i + l for i.
3
Let n = -6 + 6. Suppose -4 + 2 = -3*y + 5*z, y - 2*z = n. Solve -y = -c - 0 for c.
4
Suppose -7 = -w + 5*r - 1, 4*r = 2*w - 6. Let i = w + 3. Suppose 4*y + 0*y = 8. Solve v = -i + y for v.
-2
Suppose 0 = -0*n - n - u, 5*n - 21 = 2*u. Solve n*t + 8 = t for t.
-4
Suppose -4*o = 7 - 19. Solve n = o - 0 for n.
3
Suppose 3*r + 0*r = 9. Suppose 0 = 4*m - x - 31, -45 = -5*m - r*x - 2*x. Solve 0*f = 2*f + m for f.
-4
Suppose 70 = -8*f + 3*f. Let y = -4 - f. Solve -t + 3*t = -y for t.
-5
Suppose -2*k = -2*r - 34, 5*r - 2*r + 45 = 5*k. Let m = r - -35. Solve -m - 1 = -4*l for l.
4
Let l(b) = b2 + 4*b3 - 5*b3 - 3*b2 - b. Let m be l(-2). Suppose c + 5*n = -5, 3*c - 3*n + n - m = 0. Solve c*u - u + 3 = 0 for u.
3
Suppose 0 = -d + 1. Let v(w) = 2*w3 + w2 + w - 1. Let a be v(d). Solve -a*y + 1 = 7 for y.
-2