Let r(k) = -2*k2 - 2*k2 + 5*k**2. Let a be r(-4). Suppose -4*s + 0 + a = 0. Solve -s = 5*w + 6 for w.
-2
Suppose -3*l = -q + 3, -4*q = 3*l - 2*l - 12. Solve l*y = -4*y - 16 for y.
-4
Let b = 5 + -3. Suppose -6*y + 9 = -10*y - 5*n, y + 4*n + 16 = 0. Solve 0 = b*z - y - 0 for z.
2
Let n = -46 + 63. Solve -5*y - n - 3 = 0 for y.
-4
Let g® = -7*r - 2. Let f be g(-4). Suppose 0*n = -3*b - n + 34, 0 = b + 4*n - f. Let y be (-16)/b*5/(-2). Solve 11 = -3*q - y for q.
-5
Let d = -439 - -442. Suppose 0 = -5*x + 26 + 24. Solve x = -d*p - 2 for p.
-4
Let g be (1 + (-5)/3)*-3. Suppose -g = 2*u + 3*r, -4*u - 4*r = -u + 2. Let o be u/(-7) - 32/(-14). Solve -o*x = -5*x for x.
0
Let o = 12 + -9. Solve i + o*i = -20 for i.
-5
Suppose 5*j - 17 = -2. Suppose j*l + 14 = 5*x, -l + 1 = -0*l + 4x. Let n be (-6)/l-1 - -5. Solve -2*s = -n*s for s.
0
Let c(u) = -u**2 + 9*u - 10. Let n be c(6). Solve -5*l - n = 17 for l.
-5