Let p(x) = x**2 + 12*x - 28. Let y be p(-14). Solve y = -2*r - 0*r + 8 for r.
4
Let s(p) = -p**2 + 16*p - 11. Let g be s(15). Solve -g*q + 3 = -q for q.
1
Let t(l) = l**2 - l. Let z be t(1). Suppose -3*h - h = 0, q + 3*h = 2. Solve -q*s = -2 - z for s.
1
Suppose -6*b + 6 = -24. Solve -2 = -z - b for z.
-3
Let t(l) = -l**2 - l - 2. Let i be t(2). Let k be 5⁄2*i/(-10). Let m be 2/(4/(-2)) - -1. Solve m = f - 0 - k for f.
2
Let q(n) = -n3 + 5*n2 + 5*n - 7. Let y be q(5). Solve -4*d - y = -6 for d.
-3
Let z = 2 - 0. Suppose r + r + 2 = -z*x, 5 = -r. Let b = x - 4. Solve b = m + 4*m for m.
0
Suppose 5*k = -0*k + 20. Solve 0 = k*r - 0*r for r.
0
Suppose 0 = -3*m - 5*f + 13, m - 2*f - 14 = -m. Let z = m + -4. Solve -s + z*s = 0 for s.
0
Suppose -5*w - 2*r - 2*r = -33, -4*w + 26 = 3*r. Suppose 0 = 5*t - 5*n + w, 3*t = -5*n - 0*n + 29. Solve y = -t*y + 20 for y.
5