Let d = -11 - -31. Let l = -3 - -8. Solve b - l*b = d for b.
-5
Suppose 0 = r + 3*r - 12. Solve -r*b + 20 = b for b.
5
Let d be 2/(-3) + 2149/(-21). Let p be d/(-7) + (-12)/(-42). Solve -v - p = 2*v for v.
-5
Let l(z) = -2*z - 22. Let n be l(-13). Solve -n*i - i - 20 = 0 for i.
-4
Let o = -8 - -21. Let m = o - 22. Let t = -4 - m. Solve t*c = -19 - 6 for c.
-5
Let v(x) = -x**2 + 9*x. Let d be v(9). Solve 2*z + z = d for z.
0
Let s(f) = f. Let z be s(3). Suppose -4*n = 4*h - 8, 0 = -3*h + 2*h - 2*n - z. Suppose 3*g - h = -5*t, -3*g + 0*t = -3*t - 15. Solve 3*v = g + 5 for v.
3
Let f = -100 - -120. Solve 0*a - 4*a = -f for a.
5
Suppose a - 6 = 3. Let k be 3/((a/3)/21). Solve -k = -5*z + 4 for z.
5
Let z = 28 - 17. Let u(x) = -x - 2. Let h be u(-4). Suppose h*k = -3 + 15. Solve -z + k = p for p.
-5