Let g(o) = -2*o. Let a be g(-2). Let d be (-4)/12 + (-116)/(-6). Solve 0 = -a*v + 1 + d for v.
5
Suppose -5*s - 4*c + 8 = -5*c, -2*s = c - 6. Suppose 4*q - 6 = s*q. Suppose 0 = -2*t - 31 + 37. Solve -3*v - q = t for v.
-2
Let z(y) = -y + 4. Let g be z(3). Suppose 15 = 4*o + 5*s, -o + s = 4 - 10. Solve -o + g = 2*l for l.
-2
Suppose 4*v - 5*n - 21 = 0, 5*v - 2*v - 4*n - 16 = 0. Suppose 29 = v*z - 4*g + 5, 2*g = -5*z + 2. Suppose -i - 7 = 2*x, -z*x = 10 - 2. Solve 3 + i = l for l.
4
Let b = 0 + 4. Suppose 27 = 3*w - 3*l - 15, 58 = b*w - 5*l. Solve -r = 2*r - w for r.
4
Suppose 0*z + 24 = 8*z. Solve -z - 1 = 2*q for q.
-2
Suppose 5*f - 10 = -0*f. Suppose -3*y = -0*y - 12. Let a be 46/y - (-2)/4. Solve -f*u + 6*u - a = 0 for u.
3
Let n(v) = 2 - v2 + 7*v + 3*v2 - 4*v + 0. Let c be n(-2). Solve a - c*a = -3 for a.
1
Suppose 3*f - 4 = -10. Let o be 8*1 - (-2)/f. Solve 3 = z + o for z.
-4
Suppose 643 = 3*q + 10. Suppose q + 69 = 4*r. Suppose -3*k + r = 2*k. Solve 0 = 4*z - k - 2 for z.
4