Let n(v) = -v**2 - 9*v - 9. Let k be n(-8). Suppose 2*q - 16 = -2*q. Let p = k + q. Solve 4*l + 7 = p for l.
-1
Let a = 7 + -5. Suppose -18 = -4*o - a*n, -7 = -4*n + 5. Suppose -18 = -51*y + 49*y. Solve 6 + y = -o*j for j.
-5
Let l be -2 - -1 - (-4)/2. Let q(y) = 10*y - 1. Let w be q(1). Let j = w + -3. Solve f + j = l for f.
-5
Let b be (-3)/12 + (-4)/(-16). Let t be ((-2)/(-6))/(1⁄9). Let p(j) = -j3 - 6*j2 + 8*j + 7. Let d be p(-7). Solve t*z + d*z = b for z.
0
Suppose 3*t + 18 = -3*w, 2*w + 3*t = -12 + 4. Let z = -10 - w. Solve z = 5*h - 0*h for h.
0
Let x(k) = k**2 - 2*k - 5. Let c be x(4). Suppose 0*w + 3 = c*w. Solve w - 5 = -b for b.
4
Suppose 4 + 20 = 6*j. Solve 0 = -4*d + 2*d - j for d.
-2
Suppose -160 = -0*u - 8*u. Solve 0*j + 4*j - u = 0 for j.
5
Let x be -6 + -8 + 10 + (15 - 1). Solve 5*o = -x - 10 for o.
-4
Suppose -4*o + 6*o + 10 = 0, -2*o = -3x - 8. Let m be (0 - -9)(-2)/x. Solve 3 = -0*n + m*n for n.
1