Let s = 3 + 0. Solve -s - 1 = -m for m.
4
Suppose -3*u + 14 = t, -3*t - 3 = 4*u - 25. Let h = 0 + u. Suppose 0*n = n - h. Solve -q - 15 = -n*q for q.
5
Let i(v) = v**2 + 4*v + 2. Let g be i(-6). Suppose r - 20 = 6*r. Let o be r/g + (-46)/(-14). Solve -4 = -o*m - 1 for m.
1
Let v(i) = -i + 13. Let u be v(6). Let r = u - 3. Solve -2*x + 2 = -r*x for x.
-1
Suppose 4*k - 8 = 0, 0*k = -2*j + 4*k - 4. Let s be 10 + j/(-3)*3. Let n = -2 + s. Solve n*r + 15 = r for r.
-3
Let p(q) = q + 2. Let t be p(11). Suppose 0 = -2*b + 2*h - 5*h + t, 4*b - 23 = -3*h. Let k = 1 + -1. Solve -25 = b*c - k*c for c.
-5
Suppose -10 = -4*q + 6. Let x = -3 + q. Let o = 0 + 1. Solve -x - o = k for k.
-2
Suppose 0 = 5*q + 3*v + 5, 3*q - 18 = 4*q + 4*v. Solve 0 = l + q - 0 for l.
-2
Let m = 16 - 14. Solve m = -2*n - 0*n for n.
-1
Let f = 5 - 2. Solve 2*y = -f*y - 10 for y.
-2