Let j(b) = b3 + 5*b2 + 6*b. Let q be j(-3). Solve q*t + 2 = t for t.
2
Suppose -6*x = -2*x - 12. Suppose x*r = 16 - 4. Let s be 2 + -1 - (3 - r). Solve -2*l + s = -4 for l.
3
Let n = 36 + -33. Solve -q = -7 + n for q.
4
Let d(b) = -b**2 + 6*b - 1. Let c be d(5). Suppose 0 = 5*a - 3*w - 45, 3*a - 2 = -3*w + 1. Let x = a - -3. Solve c*t = t + x for t.
3
Let a(t) = -t**2 + 8t + 3. Let m be a(8). Let k be m((-14)/(-3) - 2). Solve 0 = 5*u - 28 + k for u.
4
Let g = 9 - 3. Let q(y) = y**2 + 2*y - 2. Let d be q(2). Let p = -3 + d. Solve -g = p*c + 9 for c.
-5
Let o = -1 + 2. Suppose -j = o, -3*w + 4*j + 0*j = -19. Solve i - w*i = 0 for i.
0
Suppose -n - 3*v + 6*v = -22, 5*n = -2*v + 76. Suppose 3*o + o = 16. Let k be 2 + (4⁄2)/2. Solve -k*u = -n + o for u.
4
Suppose 0 = -q - 6 + 19. Let v = -9 + q. Solve -5 = -v*r + 7 for r.
3
Let k be (-2)/2*(-1 + 1). Solve k*m - 5*m = -20 for m.
4