Let k = 3 - 0. Let r = -187 - -299. Suppose q = -3*q - 3*z + r, -q + 37 = 3*z. Solve 8*m + q = k*m for m.
-5
Let t = 6 - 4. Let r = -2 - -22. Let c = r - -5. Solve -c = t*p + 3*p for p.
-5
Suppose -3*x + 5*z + 21 = 0, z + 1 + 12 = 5*x. Solve 2 = -p + x*p for p.
2
Let y be -3 + 3 + 4 - -1. Solve -y*a + 8*a = 0 for a.
0
Let i(d) = -2*d**2 + 13*d - 6. Let f be i(5). Solve 0 = -f*y + 13*y - 12 for y.
3
Let g(o) = 9*o - 5. Let u be g(4). Suppose -u - 4 = 5*p. Let q = 7 + p. Solve n + 1 + 0 = q for n.
-1
Let o = 19 - 23. Let c be (-1)/(6/o - -1). Suppose 27 = -2*a + 5*a. Solve -n - c*n = -a for n.
3
Suppose -5*m + 8 = -2*m - 2*n, 3*m - 2 = -4*n. Let u = -32 - -10. Let f be u/(-10) - (-3)/(-15). Solve 0 = -f*v - m*v for v.
0
Suppose 3*k - 33 = 3*a, -5*k - 2*a + 5*a = -47. Let h = 2 - k. Let j(y) = -y**2 - 6*y - 5. Let n be j(h). Solve 5*o = -n*o for o.
0
Suppose -j - 4 = -3*b, j + 3*j = -3*b + 44. Suppose -r = -i + 9, 3*i - 14 = 2*r + j. Let t = -5 - r. Solve t*v = -v for v.
0