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