Let p = 0 + 2. Let n(i) = 3*i**2 - i. Let v be n(p). Let w = -6 + v. Solve -t - t = w for t.
-2
Suppose -4*v + 2 + 6 = 0, 2*p - v - 8 = 0. Suppose -5*d + 63 + 19 = 2*f, -2*d - 2*f = -34. Solve a + d = p*a for a.
4
Suppose 0 = 2*j + 3*j. Let a = 6 + -1. Suppose -a*g + 7 = -13. Solve j = -3*u + 5*u - g for u.
2
Let o be (2/(-6))/((-1)/3). Suppose 0*g + 6 = 2*g. Suppose g*v = 16 - o. Solve -v*j = -0*j for j.
0
Suppose -30 = -4*r + 3*r. Let z = -10 + r. Solve 2*o - z = 6*o for o.
-5
Let i(m) = -11*m**3 + m + 2. Let g be i(-1). Solve 0 = c - 5*c - g for c.
-3
Let d(y) = -y**2 + 3*y + 4. Let j be d(4). Let v = 0 - -12. Solve -3*l = -j*l + v for l.
-4
Let k(x) = -x**2 + 5*x + 6. Let l be k(6). Solve -5*y + l*y + 5 = 0 for y.
1
Let u(k) = k - 8. Let s be u(11). Solve -2*g + s*g = -4 for g.
-4
Suppose -4*n = -4 - 20. Let x(b) = -5*b2 - 20*b - 7. Let v(g) = -g2 - 5*g - 2. Let m© = 9*v© - 2*x©. Let l be m(n). Solve l*p = -p + 15 for p.
5