Suppose 25 - 7 = 3*v. Suppose -5*p + p + 32 = 0. Let b be (4/p)/((-1)/(-6)). Solve 6*w - b*w - v = 0 for w.
2
Let q(l) = 4*l + 4. Let n be q(4). Solve n = 3*w - 8*w for w.
-4
Let g(n) = 4*n - 11. Let z be g(8). Suppose j - k = 2, -5*j + 3 + z = 2*k. Solve j*q = q for q.
0
Let q(i) = -i3 - 8*i2 - 6*i + 9. Let u = -9 - -2. Let j be q(u). Let y(n) = n**2 + 15*n + 40. Let b be y(-12). Solve 0 = j*o - b - 6 for o.
5
Let l(k) = -1. Let j(q) = -q + 12. Let w(d) = -j(d) - 6*l(d). Let v be w(6). Solve -u = -v*u + 1 for u.
-1
Suppose -f + 6 - 4 = 0. Suppose 7*u - f*w = 6*u, -u - 2*w = 0. Let r = 11 - 9. Solve -2*t + r = -u for t.
1
Let q = 4 - 1. Suppose -y = q*p - 15, 0*y - 2*p = 5*y - 10. Solve y = n + 1 + 4 for n.
-5
Suppose -15 = -5*r + 5. Suppose f + r*f = -4*m, -4*f + 2*m + 26 = 0. Solve -f*v = v + 10 for v.
-2
Let j(q) = 2*q**2 - 2*q - 2. Let w be j(2). Suppose w*r + 5 = -y - 0*r, -5*r = 4*y + 5. Let a(m) = m - 2. Let i be a(14). Solve -y*s = -s - i for s.
3
Let k(y) = -y3 + 6*y2 + 2*y - 9. Let o be k(6). Solve -o = x - 2 for x.
-1