Let r(h) = h**2 - h. Let k be r(3). Solve 0 = -4*d + k + 2 for d.
2
Suppose -4*z + 3*z = 6. Let t = z + 8. Suppose -4*c - c = 5*o - 25, -7 = -c - t*o. Solve 0 = -c*v + 2*v for v.
0
Let b(p) = -p**2 - 2*p - 1. Let i be b(3). Let w = 4 - i. Solve 4*z = -z + w for z.
4
Let v(i) = -i2 + i + 5. Let r(o) = -o2 + 4. Let a(d) = 5*r(d) - 4*v(d). Let c be a(-4). Solve -5*l + 10 + 5 = c for l.
3
Suppose 4*w - 4*k + 20 = -0*k, 0 = -w - k + 5. Solve -d - d = w for d.
0
Let u = -19 - -22. Solve t = -u*t - 20 for t.
-5
Let j = -22 + 26. Solve -j*f + 2*f = 0 for f.
0
Let l = 14 - -2. Solve -5*s - 9 - l = 0 for s.
-5
Let c be -3 + (-2 - (-9 - 1)). Solve -5*v + 4*v = -c for v.
5
Suppose -2*n + 7 - 1 = 0. Suppose 6 = m + n. Solve 0 = 2*x - m*x - 1 for x.
-1