Suppose z + 2 = 5. Solve 0 = r + z + 1 for r.
-4
Suppose 0 = -m - 4 + 6. Let i = 456 + -456. Solve i = m*v + 3*v + 5 for v.
-1
Let o(n) = 2*n - 7. Let i be o(-3). Let b = i + 17. Solve 0 = 2*x - b - 4 for x.
4
Let k be (0 - -1 - 1)/2. Suppose -4*o = -3*o. Suppose 5*g + o*g - 10 = 0. Solve -g*u - 6 = -k for u.
-3
Let u = 18 + -11. Let s = 11 - u. Suppose 5*a - v - 37 = -s*v, 2*a + 6 = 4*v. Solve 5*o + 0 = a for o.
1
Suppose -4*j - 11*j = 0. Solve 0 = -j*b + b for b.
0
Suppose -6*s + s = -j - 50, -2*s - 3*j + 3 = 0. Solve -2*b + 1 = -s for b.
5
Let b(d) = 2*d - 2. Let z be b(5). Suppose -4*n = -8*n + z. Solve j = -n*j - 3 for j.
-1
Suppose 2*t - 12 = -0. Solve b - t*b = 0 for b.
0
Suppose f - 20 = -m, 3*m + 0*f = 5*f + 52. Solve 4 = 3*w + m for w.
-5