Let l = 15 + -13. Suppose -2*f = -0*f - 6. Solve f*v = -l - 13 for v.
-5
Let x = 9 + -5. Suppose -x*z - 4 = -5*z. Suppose -4*g + 2*b = -b - 5, -2*b = -2. Solve 0*q = -g*q - z for q.
-2
Let v(n) = -n**2 - n + 2. Let r be v(-2). Solve r = 4*q + q + 5 for q.
-1
Suppose g - 22 = -3*g - 2*m, 0 = 3*g + 5*m - 34. Suppose -4*t + t + 30 = g*v, v = t. Solve 3*y - v + 14 = 0 for y.
-3
Suppose -8 - 12 = -5*p. Solve 3*f + p = f for f.
-2
Suppose q + 1 = 4, -5*q = -5*b. Let v(o) = -o**2 + 5*o - 4. Let d be v(b). Solve 16 = -d*k - 2*k for k.
-4
Let v be (0 - -1)/(2 - 3). Let x be 11 - (0 - (2 + v)). Solve 3*p + x = 3 for p.
-3
Suppose -3*l - 6 = -4*f + f, f - 20 = -5*l. Suppose l*y + t - 6 + 1 = 0, 3*t + 3 = 0. Solve -b - y = -0 for b.
-2
Suppose 0 = 4*p - 0 - 12. Solve 0 = -p*d - 2*d + 15 for d.
3
Let d(f) = -f + 1. Let p(z) = -z. Let c be p(-5). Suppose -5*r = -10*r + c. Let a be d®. Solve -h + 5 = -a*h for h.
5