Let w = 16 + -11. Suppose 0 = -3*q - w*a - 9, 3*q + 5*a - 2*a = -3. Solve 0*m = m - q for m.
2
Let m(f) = f2 + 5*f + 5. Let t be m(-5). Let v(b) = -2*b3 + 3*b3 + 2 - 6*b + 2 - t*b2. Let q be v(6). Solve -q*c + 4 = -2*c for c.
2
Let c(t) = -t3 - t2 + t + 25. Let y be c(0). Let g = 5 + 0. Solve -g*n + y = 5 for n.
4
Suppose 0 = -3*s - 8 - 4, -w + 4*s + 17 = 0. Solve -w - 3 = -r for r.
4
Let z(d) = -3*d. Let q be z(-3). Suppose 2*w - t - 21 = -w, 42 = 5*w - 4*t. Let g = w + -3. Solve g = 2*m + q for m.
-3
Let f(a) = 2*a**2. Let i be f(1). Solve 0 = 2*w - w - i for w.
2
Let c(d) = -d2 - 8*d - 7. Let i(l) = l2 + 8*l - 3. Let x be i(-6). Let o = -21 - x. Let j be c(o). Solve -6 = 2*p - j*p for p.
2
Let s(z) = z**2 + z. Let m be s(-1). Suppose -d - 2 + 5 = m. Suppose 5*o = -2*r - 3*r - 20, -5*r - 15 = 4*o. Solve -r = -d*c - 16 for c.
-5
Let g be -1 + -1 + 1 + 4. Suppose 2*o - 16 = 3*q, 0*q - 26 = -4*o + 3*q. Suppose 3 + 1 = -2*z - o*n, -2*z + 5*n = -16. Solve -z - 3 = g*x for x.
-2
Suppose 0*b + 2 = -5*b - 3*c, -3*b - 10 = 4*c. Suppose 0 = 2*x - b*l - 8, -2*x + 5*l = -5 - 0. Solve 2*r = -x - 3 for r.
-4