Let z(j) = -184*j - 1. Let g be z(1). Let d be g/(-35) - 2⁄7. Suppose -5*i = 5*m - 15, -5*i - 8 = -d*m - 63. Solve -i*k = -2*k + 15 for k.
-3
Let h be 2 + (-4*1 - -1). Let j = h - -1. Suppose -a + 2*a = j. Solve c - 2 + 6 = a for c.
-4
Let x(i) = 2*i**2 - 21*i - 7. Let f be x(11). Solve f*z = -z - 15 for z.
-3
Let z(b) = 7*b3 - 2*b2 + 1. Let s be z(1). Let x be (3 + -9)/((-9)/s). Solve 20 = k + x*k for k.
4
Let k = -81 - -88. Solve 13 = -5*f - k for f.
-4
Suppose -4 = -7*g + 3*g. Suppose -o + 7 = g. Suppose -9 = -5*z + o. Solve 0 = -z*b - 0 - 3 for b.
-1
Suppose -3*h = 5*t - 63, 2*t - 5*h = 5*t - 25. Suppose 5 = y, 2*s - 3*y + 5 = -2*y. Suppose -u = -s*u - t. Solve 2*r - u = 5*r for r.
-5
Let m be (2 + -1)*(-1 + 18). Let r = m - 9. Solve -3*w = w + r for w.
-2
Suppose -3*h + 9 - 26 = -5*y, 5*h = -2*y + 13. Solve y = -0*u - u for u.
-4
Let d(b) = -b3 - 6*b2 - 9*b - 20. Let o be d(-5). Solve 0 = -o*k - 3*k - 6 for k.
-2