Suppose 8*l + 20 = 3*l. Let n = l + 7. Solve n*b + 2*b + 20 = 0 for b.
-4
Let m be 1/(-5) - 147/(-35). Solve -m*a + 2*a = 4 for a.
-2
Let u be (-5)/(-3) - (-2)/(-3). Solve -2 - u = -3*t for t.
1
Suppose -47 - 34 = -3*a. Let l be (-2)/6 - (-549)/a. Solve 0 = -5*t + t + l for t.
5
Let d = 12 + -12. Suppose -3*f + 0 = -5*b + 21, -b + 4*f + 11 = d. Solve -10 = -2*q - b*q for q.
2
Let t be (-1 - -3)*(6 - 8). Let k be 68⁄20 - t/(-10). Suppose 0 = 5*p + 3*z - 17, 0*z - k = 3*z. Solve 0 = p*m - m + 3 for m.
-1
Suppose 0*r = -4*r + 16. Suppose r = 3*s - s. Solve 5*g + s = -3 for g.
-1
Let r(j) = -j**2 - 8*j - 13. Let v be r(-4). Solve v = -w + 7 for w.
4
Let f be (2 - 5) + 11⁄1. Let v = 13 - f. Suppose -v*t = -t. Solve -2 + t = -2*i for i.
1
Suppose h + 43 = 3*j + 2*h, -3*j + 3*h = -27. Let i = -10 + j. Solve 0 = -3*s + 3 + i for s.
2