Let y be ((-21)/3)/(2 + -3). Let q = y + -4. Solve 17 - 5 = -q*c for c.
-4
Let r(a) = 2*a**2. Let h be r(-2). Let k = -1 + 5. Let c = 1 + k. Solve -m + h = -c*m for m.
-2
Let k(b) = b - 11. Suppose -3*g - 76 = -5*x - 30, -5*g - 29 = -4*x. Let v be k(x). Solve -2*r + v = 4 for r.
-2
Let g(s) = s3 + 6*s2 - 10*s + 4. Let h be g(-8). Let d be h/(-8) - 3/(-2). Solve 5 = 4*l - d for l.
3
Suppose -18 = -10*z + 2. Solve 3*x + z + 10 = 0 for x.
-4
Suppose d - 9 = -3*z, 3*z = 7*z + 3*d - 17. Solve z*x = x + 1 for x.
1
Suppose -u = 2*u - 12. Suppose -u*n = -4*a - 32, 3*a = -2*n + 6*n - 28. Solve -x + 6 = -n*x for x.
-2
Let m(p) = p**2 + 1. Let f be m(-4). Solve f = 4*x + 5 for x.
3
Let q = -7 - -10. Suppose 0 = q*p + 5 - 14. Solve p*v = 2*v - 5 for v.
-5
Let c be (-18)/(-9)*(1 - -5). Solve -c = -2*f - f for f.
4