Suppose -8 = -3*l + p, -5*l - 4*p + 20 + 16 = 0. Solve 0 = 4*t - 12 - l for t.
4
Suppose 18*m = 10*m + 16. Solve -5*z + m*z = -12 for z.
4
Let x(n) = n - 13. Let h be x(13). Suppose h*s + s = 3. Suppose -s*w - o + 11 = 0, -3*w + w - 5*o = -16. Solve -w*u + 4 = -4*u for u.
-4
Let d be 3/(61)-2. Let o be 2/(d/(-6)*4). Suppose -o*s + s + 4 = 0. Solve -s*k = -4*k + 10 for k.
5
Suppose 5*c = 23 + 7. Solve 0 = c*m - 2*m - 4 for m.
1
Let t = 30 + -26. Solve -t*n - 14 = 2 for n.
-4
Let v = 4 - 5. Let z = -4 + v. Let r(o) = -o**2 - 4*o + 5. Let j be r(z). Solve j = u + 1 for u.
-1
Let o be ((-40)/12 - -3)/(2/(-30)). Solve -2*j - o = -3*j for j.
5
Let b(y) be the first derivative of -y**2 - 12*y + 1. Let u be b(-8). Suppose 0 = -o - 3 + u. Solve -5*s - 9 - o = 0 for s.
-2
Suppose -6*d + 11*d = 10. Suppose 0 = -5*w + 3*h + 1, 4*h = 4*w + d + 2. Solve -6 = -0*r - w*r for r.
3