Let v(j) = j - 3. Let l be v(5). Solve 0 = l*r + 2*r for r.
0
Let q(x) = 2*x + 5. Let s be q(-4). Let k = s + 5. Solve -3*j + 8 = k for j.
2
Let z(g) = 2*g + 32. Let t be z(-14). Solve -f - 3 = -t for f.
1
Let i(w) = w3 - 7*w2 + 7*w - 2. Suppose -m + 5 = -1. Let a be i(m). Solve -6*o + 2*o = a for o.
-1
Suppose 3*c + 12 = 0, 3*o - o + 2*c - 2 = 0. Solve -3 = 2*f - o for f.
1
Let q(f) = f - 9. Suppose 0*v = -v + 9. Let g be q(v). Solve g = -m + 2 - 7 for m.
-5
Let b(h) = -h3 + 5*h2 + h - 1. Let k be b(5). Suppose -u - u - 4*v = -20, -k*u - 20 = -4*v. Let f be (-2)/3 + 11⁄3. Solve 5*q - f*q + 4 = u for q.
-2
Suppose -a + 4*a + 3*l - 15 = 0, 5*a + 4*l - 25 = 0. Solve 3 = -t + a for t.
2
Let n(k) = k**2 - k - 2. Let m be n(2). Suppose 0*c + 5*c = m. Solve q - 4*q - 12 = c for q.
-4
Suppose -5*w + 745 = -5*q, -3*q = -3*w + 2*w + 143. Let s = -101 + w. Let n = s - 26. Solve 5*d + n = -0*d for d.
-5