Let x = 8 - 6. Suppose 0*y + 2*y = -x*m + 8, -y - 5*m = -12. Let z = 34 + -27. Solve y*q = z*q + 25 for q.
-5
Let l(t) = -t**2 - 8*t - 3. Let v be l(-5). Suppose 0 = v*z - 7*z. Solve -2*c + 0*c + 6 = z for c.
3
Let y = 15 + -15. Let n be (-1)/3*1*y. Solve 5*c - 2*c + 15 = n for c.
-5
Let r = -10 - -12. Solve r*h - 3 = 3*h for h.
-3
Suppose -2*g = -0*g - 12. Solve -j + g*j = 15 for j.
3
Suppose -5*r - 18 = -3*v, -5*v + 4*r + 11 = -19. Solve y - 3*y = v for y.
-3
Let c(v) = -3*v - 4. Let p be c(-3). Let q = p + -4. Solve 21 = -4*i + q for i.
-5
Let j be -1*(1 + -2 + 4). Let l = 2 + j. Let b = l - -4. Solve -r = b*r for r.
0
Let g = 11 + -1. Let x = -6 + g. Solve 4*l + x = -12 for l.
-4
Let q be -1*(2 + -7 + 2). Let b = -30 - q. Let d = 57 + b. Solve 0 = 3*y - 9 + d for y.
-5