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