Let v = -3 + 5. Let m = 0 + 0. Suppose 3*k + m*k - 30 = 0. Solve v*l - k = -0*l for l.
5
Suppose -7*k - 20 = -3*k, 2*k + 13 = y. Solve 0*f = y*f for f.
0
Let x(z) = -10*z. Let j be x(-2). Let w(t) = -2*t + 5. Let g be w(-2). Suppose -4*d + g*d - j = 0. Solve -d = -2*m + 2 for m.
3
Let w = 1 + 0. Let k be 1/((-3 - -2)/(-9)). Suppose 4 = 13*r - k*r. Solve -l = -r - w for l.
2
Suppose -3*f + 4 = -f. Let d = -2 + f. Solve d*a = -2*a for a.
0
Let k = -80 + 80. Solve -3*r + 4*r - 2 = k for r.
2
Let i = -6 + 9. Suppose 5*f + 0*f - 20 = 0. Suppose -f*n + 9 = -11. Solve -i - 2 = n*u for u.
-1
Let u(p) = -2 - 3 - 4 - 2*p. Let t be u(-6). Suppose t*f = f. Solve f*d = 3*d + 15 for d.
-5
Suppose 0 = 2*t - 13 + 5. Let q = 3 + t. Solve 5 = -3*h - q for h.
-4
Let t(y) = 2*y**2 + 3*y + 1. Suppose -26 = -2*p + 5*o - 10, 2*p - 3*o = 8. Let x be t(p). Solve -x = -3*b - 0 for b.
1