Let c(k) = k**2 - 4*k - 3. Let y be c(5). Let v = 4 - y. Solve s + v = -0*s for s.
-2
Let t = -14 - -15. Solve 2*c = -t - 1 for c.
-1
Let q(x) = -x3 - 8*x2 - 8*x - 7. Let s be q(-7). Solve 2*a = -s*a - 10 for a.
-5
Let z(t) = -16*t. Let l be z(-1). Let b(a) = -a. Let d be b(0). Suppose -3*u = -d*u - 9. Solve u*w - l = -w for w.
4
Let w be (-6)/(-10) + 2⁄5. Let a be -9 + 8 - (-3)/w. Solve 3*n = a*n - 5 for n.
-5
Let b(w) = 3*w**2 + 1. Let p be b(1). Let o = 5 - 0. Suppose 0 = a - o - 0. Solve -3*l + p = -a for l.
3
Let h be ((-3)/(-2))/((-3)/20). Let g = -6 - h. Let u = 35 - 18. Solve 1 = -g*i + u for i.
4
Suppose 6*y = 2*y. Let t be 19⁄1 - (y - -3). Solve 5*j + 1 = t for j.
3
Suppose 11 = 5*w + 1. Solve 0 = s + w - 3 for s.
1
Let q be (-4 - 21/(-6))*-16. Solve q = -5*p - 7 for p.
-3