Let r = 31 - 21. Solve -2*i = -r + 2 for i.
4
Let t(g) = g3 + 20*g2 + 18*g - 15. Let c be t(-19). Suppose -19 = -i - 0*d - 5*d, 0 = 3*i - 2*d - 40. Solve c = 2*q + i for q.
-5
Suppose x = -4*l + 3*l - 2, -8 = -l + x. Suppose 4*m = 5*o - 28, 3*o - m = 8*o - 18. Solve -2*f + o = -l*f for f.
-4
Suppose -2*x - 47 = 4*v - v, 71 = -5*v + 4*x. Let y = v + 18. Solve 12 = y*k - 7*k for k.
-3
Suppose 0 = -2*i + 2, -2*i + 6 = -4*s + 16. Suppose -2*t = 4*l + 5 + s, 0 = -4*t + 4*l + 20. Solve -3*z = t + 4 for z.
-2
Suppose -2*j + 14 + 10 = -5*i, -3*j - 4*i - 10 = 0. Solve -3*k = j*k for k.
0
Suppose -10*n + 50 = -5*n. Solve -3*m + m = n for m.
-5
Let c(s) = s**2 - 11*s + 1. Suppose -22 = -3*q + 14. Let r be c(q). Solve 0 = 5*n + 12 + r for n.
-5
Let p(h) = -h3 + 3*h2 + 2. Let l be p(3). Let t(b) = b3 - b2 - b - 1. Let c be t(l). Let a = 27 + -22. Solve 0 = n + a - c for n.
-4
Let x(u) = 3*u3 + u2 - u. Let b be x(1). Solve n = -b*n - 12 for n.
-3