Let a be 3*1 - 8⁄4. Let m = -13 - -16. Solve m = t + a for t.
2
Suppose 2*r + 1 = 5. Solve r*w = w + 1 for w.
1
Suppose 3*m - 3*u - 9 - 39 = 0, 0 = -3*m - 5*u + 80. Let f be ((-36)/(-30))/(6/m). Solve -3*g = -f - 2 for g.
2
Suppose -6 + 0 = -3*j. Suppose -2*v = f - 21, -2*v = 4*f + 2*v - 72. Suppose -2*d + j = -3*k - 21, f = 5*d + k. Solve 0*o = d*o + 20 for o.
-5
Let k(j) = -5*j + 79. Let l be k(15). Solve l + 0 = -g for g.
-4
Let c = -43 - -46. Solve 4*g - c*g = -4 for g.
-4
Let t be 3 + (0 - 4⁄2). Solve -m = -t + 3 for m.
-2
Let b be 13⁄5 + 1/((-15)/(-6)). Let h(k) = -k**2 + 8*k. Let u be h(7). Solve u = -j + b for j.
-4
Let p be (1⁄3)/((-10)/(-150)). Suppose -4*l + 4*z = -9*l + 10, p*l - 10 = -z. Solve -k = l*k for k.
0
Let q = 5 + 4. Let k = -6 + q. Solve -k*u - u = 16 for u.
-4