Let q(f) = f3 + 3*f2 + f + 1. Let b be q(-2). Suppose 3*o - 8 = o. Solve 5 + o = b*p for p.
3
Let t = 16 + -11. Suppose 3 = -t*f + 23. Solve f*k + k + 20 = 0 for k.
-4
Suppose 2*k + 8 = i, i = -0*k - 3*k - 12. Let q be -1 - 1 - (-1 + k). Solve -x = -q + 4 for x.
-1
Let h be 1/(-1*(4/(-3))/(-4)). Let q be -3 - 0/(0 + 1). Let v = h - q. Solve 0 = -3*p - v*p - 12 for p.
-4
Suppose 10*v + 18 = 13*v. Solve v + 2 = -4*y for y.
-2
Let g = -19 + 22. Suppose 106 = 4*o + 5*n + 16, -g*n = -6. Solve -o = -4*k - 0*k for k.
5
Suppose -3*k + 14 = 2*x, 2*k - 3*k + x + 8 = 0. Let w = 2 - 5. Let f be (w/2)/(k/(-12)). Solve -f = 2*m - 1 for m.
-1
Suppose -3*j = 5*v + j + 21, 3*v = j + 1. Let i be 0/(-2 + -1)*v. Solve -2*t = -2 - i for t.
1
Let u be 2/(4/(-2)) + 5. Suppose 3 + 1 = 2*t. Let l be 0 + 3 - (-2 + t). Solve 0 = u*d - d + l for d.
-1
Let c(h) = -h**2 - h - 7. Let v be c(0). Let s(x) = 11*x - 1. Let l be s(v). Let g be l/(-15) + 2/(-10). Solve -1 + g = -4*w for w.
-1