Let q(a) = -a**2 - 8*a + 5. Let c be q(-6). Let r = -6 + c. Solve -4*u - 3 = -r for u.
2
Let d(x) = -4 + 2 + 1 + 2*x. Let r be d(6). Solve -r + 3 = 4*q for q.
-2
Let g be 17⁄1 - 1 - 4. Solve a + 2*a = -g for a.
-4
Let r(y) = -y**2 - 4*y + 7. Let h be r(-5). Suppose 5*k + t + h = 42, -2*t = 3*k - 31. Let j = 5 - 5. Solve j = 3*i + k + 8 for i.
-5
Suppose 4*b - 9*b = 0. Solve 0 = 5*w - 5 - b for w.
1
Let y(f) = -5*f + 19. Let v be y(3). Solve 0*k - v*k + 4 = 0 for k.
1
Let a be ((-6)/(-5))/(1⁄5). Let r(s) = s**2 + s + 4. Let g be r(-3). Let x = g - a. Solve -4*z + 0 - x = 0 for z.
-1
Let d(s) = -s**2. Let t be d(0). Solve -2 = -t*l + l for l.
-2
Let z = 14 + -8. Suppose -z = 2*v - 24. Suppose 5*f - 26 = -4*y, 4*f - v = -2*y + 1. Solve -3*s - y = 3 for s.
-4
Suppose 4*a + 3*x - 20 = -x, 25 = -5*a + 5*x. Solve a = -3*s + 4 + 8 for s.
4