Let x(a) = -a**2 + 15*a + 6. Let z be x(15). Solve 0 = 5*t - 31 + z for t.
5
Suppose -2*r - h + 5 = -r, 2*h - 14 = -4*r. Solve m - r = 2 for m.
4
Let v be (-6)/12 + (-63)/(-6). Solve 0 = -h - 4*h + v for h.
2
Let v = -5 - -11. Solve -v*f + 3*f = 12 for f.
-4
Let p be 8/(-12) - 16/(-6). Solve 0*j - p*j = 2 for j.
-1
Suppose -5*k - 2*q - q - 134 = 0, -5*q = 5*k + 140. Let y = k - -27. Solve -3*g + 2*g + y = 0 for g.
2
Let a = -3 + 7. Let u = 2 + a. Solve 4*v = -6 - u for v.
-3
Let d® = r - 2. Let j be d(6). Suppose 7 + 5 = j*w. Solve w*u + 11 - 5 = 0 for u.
-2
Suppose 0 = -c - 1 + 4. Solve -c*x = -x for x.
0
Let t = -14 + 17. Solve k - 8 = t*k for k.
-4