Suppose 0 = 5*t - 3 - 7. Suppose -4*a + 0 = -8. Suppose -a*q = -3*q. Solve t*v - 1 - 9 = q for v.
5
Suppose 5 = -l + 2*f - 1, -14 = -3*l - 2*f. Suppose l + 13 = 3*u. Solve -7 = -3*k + u for k.
4
Let o(n) = 2*n**2 - 3*n. Let w be o(3). Suppose 0 = -2*j - j + w. Solve -x = -2*x + j for x.
3
Let c be (2 - -1)/(4⁄4). Solve 0*t = -c*t for t.
0
Suppose 6*k - 3*k = 0, 0 = -5*i - 2*k + 35. Let f(o) = o - 4. Let b be f(i). Solve 5*d = -23 + b for d.
-4
Let c(f) = 2*f - 24. Let y be c(15). Solve 3*m - 6 = y*m for m.
-2
Let z = -25 + 25. Solve -w + z = 4 for w.
-4
Let i be 9⁄7 + 16/(-56). Solve -i = -5*x + 4 for x.
1
Let w(z) = -2*z + 26. Let y be w(12). Solve -y*r + 6 - 2 = 0 for r.
2
Suppose i = 1 + 3. Solve -i*b - b = 0 for b.
0