Let r(n) = -n**2 - 12*n + 25. Let u be r(-13). Solve 5*v + 13 = -u for v.
-5
Let r = -15 + 19. Solve -z = -r*z - 6 for z.
-2
Suppose -4 = -4*q - 0. Suppose -3*u - q = -16. Solve 0 = -3*f - 10 - u for f.
-5
Suppose 7*z - 9*z = -24. Solve 6*m = 3*m - z for m.
-4
Let x = 2 + 10. Solve -5*b - 2 = -x for b.
2
Let o be -1 + 4 + -13 - 2. Let x be 14⁄5 - o/60. Solve x*p + 2 = -4 for p.
-2
Suppose 0*d + 52 = 3*w + 4*d, -5*w + 125 = -d. Suppose -4*m + 4*k + w = -2*m, 3*m = -k + 8. Solve -m*z = 2 + 2 for z.
-1
Let x(w) = w - 8. Let p be x(9). Solve -p = 5*d + 19 for d.
-4
Suppose 2 = -9*t + 4*t - h, -4*t + h = 7. Let y be (1/(-6) - (-8)/12)*2. Let v = y + t. Solve v = -m + 3*m - 4 for m.
2
Suppose 0 = -3*g - j + 6*j + 31, 3*g + 4*j + 14 = 0. Solve g = 3*u - 4 for u.
2