Let l be 6/(-4)*100/(-15). Suppose 5*a - 3 = 4*a. Solve -a*t - 2*t = -l for t.
2
Let k = -4 + 7. Suppose 4*q = -w + 112, 2*w = -5*q + w + 139. Suppose -6*o + q + 15 = 0. Solve -2*l - k = o for l.
-5
Suppose -3*z + 23 = 8. Let c = 7 - z. Solve -2*g = -4 + c for g.
1
Suppose 34 + 2 = 6*x. Suppose -2*i = -3*i. Solve -j - x + 1 = i for j.
-5
Let m be ((-1)/2 + 1)/((-21)/(-252)). Solve 16 = -m*t + 2*t for t.
-4
Let i(d) = -d**2 + 13*d - 11. Let m be i(12). Solve m - 10 = 3*c for c.
-3
Let l = 46 - 32. Solve 0 = -4*x - 2 - l for x.
-4
Let h = 40 - 40. Solve -k = -h - 1 for k.
1
Let w be (5⁄3 + -2)*-3. Suppose 12 = 3*y - 0*y. Suppose y = q + w. Solve -5*v - q = -13 for v.
2
Suppose 5*s = -0*s. Suppose -3 = -p + 2. Let x = -3 + p. Solve -x = -2*j - s for j.
1