Let o(k) = 2*k3 + 5*k2 + 4*k - 1. Let w be o(5). Let v be (-4)/26 - w/(-26). Solve -4*z - v = -7*z for z.
5
Let h = -15 - -17. Solve 3 = -h*m + 9 for m.
3
Let p(t) = -t**2 + 13*t - 9. Let o be p(12). Suppose o*g + 10 = 25. Solve -g = -a + 2*a for a.
-5
Suppose -45 = -5*x + 2*p + 31, -2*p = 5*x - 64. Suppose 11 = n - 2. Suppose 2*w = w + f - 2, 2*f - n = -w. Solve 1 = w*b - x for b.
5
Suppose y + 0 + 3 = 0. Let o = y - -7. Solve -o*d - 6 + 2 = 0 for d.
-1
Suppose -24 = 3*u - 30. Solve d - 2 = u*d for d.
-2
Let m = -11 + 21. Let y = m - 7. Suppose -q - 6 = 2*x + y*q, 0 = x - 5*q - 11. Solve -x + 7 = -3*c for c.
-2
Suppose -15 = 5*r + 5*z, -5*r - 20 = -10*r + 2*z. Solve -2*m + 0*m + r = 0 for m.
1
Suppose x - 2 = -1. Solve k - 2*k = x for k.
-1
Let p = 1 - 0. Let s be (0 - -3)/(4 + -3). Let r = s - p. Solve 3*z = -r*z + 10 for z.
2