Suppose -2*j - 12 = -6*j. Solve -j*f + 0 = -3 for f.
1
Suppose 0 = 3*j, -25 = -3*x - 2*x + 2*j. Suppose 2*s + 9 = x*s. Let f be 0 + (-1 - (-3)/3). Solve -s = -k - f*k for k.
3
Let d = 14 - 11. Suppose 0*b = -d*b + 12. Solve -5*u = -b - 1 for u.
1
Let n(k) = k + 8. Let o be n(-4). Let h = 36 + -4. Suppose -3*i + 3*j + h = -2*i, 18 = i + 4*j. Solve o*z - 10 = -i for z.
-4
Suppose -44 = -3*t - t - 4*h, -3*t - 5*h + 31 = 0. Let n be 4⁄6 - 8/t. Let a be (-1*3)/(-1 - 0). Solve -a = -n*r - r for r.
3
Let j = -83 - -89. Solve 2*x + j + 4 = 0 for x.
-5
Suppose -3*p = -14 - 4. Suppose 4*f = -2*b - 0*f + 10, 0 = -4*f. Let j = b - 3. Solve -m = -p + j for m.
4
Let c be 3 - (-9)/7 - 2⁄7. Let a(y) = -y - 1. Let i be a(-3). Solve -3*x = -c - i for x.
2
Let i = -31 - -39. Solve -4*f = -i*f + 20 for f.
5
Let a(h) = -h3 - h2 + h - 1. Let c be a(1). Let s be 0*c*1⁄4. Solve -5*j - 12 - 8 = s for j.
-4