Suppose 5*z + 1 + 9 = 2*w, w - 5*z = 15. Let t be w/(-10) + (-18)/(-4). Suppose 15 = -3*g, -17 = -t*u + g - 2. Solve 2*k - 16 = -u*k for k.
4
Suppose p - x - 7 = -2*x, -x - 2 = 0. Suppose 0*i - 20 = -4*i, 3v + i - 8 = 0. Let d be -6((-30)/p)/v. Solve 6*h = 2*h - d for h.
-5
Let c be (4 - (2 + -44))/(-2). Let s = c + 25. Solve 0*o = -s*o for o.
0
Let d(f) = -f - 3. Let r be d(-7). Let t(l) = -2*l + 2. Let u be t(-2). Solve -u = -2*c + r for c.
5
Let s be 104⁄18 - 4/(-18). Let g(y) = -y + 5. Let c be g(s). Let j = c - -1. Solve 0 = 3*k + 6 - j for k.
-2
Let p = 34 + -29. Solve -p*n + 5 = -0 for n.
1
Let i = -9 + 19. Let j be ((-3)/(-6) + 1)*i. Suppose q = 6*q - j. Solve 1 = 4*c - q for c.
1
Let k be 2*(9⁄3 - 2). Suppose 8 - k = -2*w. Let z be -2 + 0/w - -8. Solve -z = j + j for j.
-3
Let r(a) = 2*a**2 + 3*a + 6. Let b be r(7). Suppose -b = -6*h + h. Solve 3*t - h = -2*t for t.
5
Let x = 28 + -18. Suppose -a - 12 = 3*v, 0*v - 5*v - 34 = -3*a. Solve w - x = a*w for w.
-5