Let i = 3 - 0. Suppose q = -2*d + 5, 3*d = 2*q + q + i. Let u = 0 + q. Solve -3 + u = -2*s for s.
1
Let p be ((-2)/(-1))/(-6)*0. Suppose r + 19 = c - 5*c, -r - 2*c - 9 = p. Solve -r - 3 = -4*y for y.
1
Let t(l) = l**2 + 2*l + 1. Let m be t(-3). Suppose m + 3 = -h. Let j = -2 - h. Solve 0 = j*r - 31 + 11 for r.
4
Let k be 1/(-4)*((-4 - -10) + -18). Solve -3*b - 3 = k for b.
-2
Suppose 0*a - 2*a + 4 = -k, -2*k = 5*a + 8. Suppose a*m = 3*m. Let w(x) = -x**2 + x + 4. Let i be w(m). Solve 1 = 3*o + i for o.
-1
Let l(t) = -2*t + t + 14 - 3 + 0*t. Let o be l(6). Solve -6 = -o*u - 16 for u.
-2
Let k = -32 - -37. Solve -4*s - k = 3 for s.
-2
Suppose -3*t = -g + 6, 0 = -g - 0*g - 2*t - 4. Solve 8 = 2*z - g*z for z.
4
Suppose y + 1 = 3. Solve y = -2*l + 10 for l.
4
Suppose 3*q + 6 = 2*q + 4*p, 2*q - 10 = -3*p. Suppose -3*t = -t. Suppose t = -4*s + s. Solve q = -y - s*y for y.
-2