Let f(v) = -v + 8. Let w be f(5). Solve 2*b - 13 = -w for b.
5
Let p(o) = -o + 23. Let n be p(11). Solve -n = 7*t - 3*t for t.
-3
Suppose -3*o = -0*s - s + 14, -2*s + 2*o = -12. Suppose 0 = 5*v - 0*v - 250. Suppose 4*c + 3*n = 100, -5*n = s*c - 4*c + v. Solve c = -m - 4*m for m.
-5
Let l(u) = u3 - 8*u2 - u + 7. Let o be l(8). Let w(x) = -x**3 + x. Let r be w(o). Suppose -3*i = i - n - 16, i - 5*n - 23 = r. Solve p = i - 8 for p.
-5
Let l be 2*2/(-4) - -2. Suppose 20 = -2*v + 28. Solve -5*j - l = -v*j for j.
-1
Let v(l) = l*3. Let t be v(2). Let b = t - 3. Let a be (-6)/(1-3) + b. Solve -5*z = -a + 22 for z.
-3
Let v(a) = 3*a**2 + 2*a - 1. Let d be v(1). Suppose -2*z - 2*z + d = 0. Solve 4 = -s - z for s.
-5
Let u = 4 - 3. Let v = 2 + u. Solve -v*s = 2*s + 10 for s.
-2
Let x(z) = 2*z - 2. Let m be x(-7). Let g be (-9)/(-3) + m/(-4). Solve -2*o + 20 = -g*o for o.
-4
Let z(u) = u3 - 3*u2 - 6*u + 2. Let m be z(5). Suppose 5*f - 11 = -4*w + 24, 0 = 5*w - f - m. Suppose -w*q + 10 = -0*q. Solve 0 = -n - 3 - q for n.
-5