Let t(v) = -3*v. Let q be t(-1). Let p = 4 - 3. Solve 0 = r - p - q for r.
4
Let q(g) = g**2 - 3*g + 8. Let b be q(7). Suppose -2*d + b = 2*d. Suppose -4*t + x - 4*x = d, -5*x = 4*t + 15. Solve t*y - y = 4 for y.
-4
Let d be 0 + (28⁄4 - -1). Let b = 9 - d. Solve 4*j + 5 = b for j.
-1
Let s = 9 + -5. Solve 10 + 6 = s*t for t.
4
Let b = 13 + -22. Let o = 13 + b. Solve -o*l = -9*l + 20 for l.
4
Suppose -v = -1 - 2. Suppose -19 = -2*j + 3*x, 2*j = x - v*x + 14. Solve -j = -5*a + 12 for a.
4
Let w be 1 - (-3 + 0 + 2). Suppose -4*t = -0*t. Suppose -w*y + 6 = -t*y. Solve -j - 4 = -y*j for j.
2
Let j(m) = m**2 - 11*m + 4. Let p be j(11). Solve b = p*b for b.
0
Suppose j - 3*j = 3*j. Solve j = -5*m + m + 4 for m.
1
Suppose 20 = -7*x + 3*x, 18 = q - 3*x. Suppose 2*i + 0 = q*l - 8, -4*l = 4*i + 16. Solve 0*v + 3*v = l for v.
0