Let y(p) = 12*p2 + 2 + 4 - 1 + 4*p - 11*p2. Let s be y(-4). Solve 0 = -s*t + 2*t + 3 for t.
1
Let k be (1 - 3)/((-2)/12). Let u be (k + -5)*2⁄7. Solve u = v + 3 for v.
-1
Suppose -6*r = -7*r - 29. Let g = -27 - r. Solve 0*n = -2*n - g for n.
-1
Suppose 3*a - 6 = -3*o, -o + 2*a + 2 = -0*o. Solve o*j = -0*j for j.
0
Let m = -22 + 24. Suppose -m*o + 0 = -6. Solve o*j - 20 = -j for j.
5
Let m(g) = g + 15. Suppose -4*x - 9 - 35 = 0. Let y be m(x). Suppose 0 = 3*n - n. Solve -c = y - n for c.
-4
Let y(a) = a3 + 11*a2 + 11*a + 9. Let g be y(-10). Let q(i) = -4*i + 1. Let n be q(g). Solve -2*m + 1 - n = 0 for m.
-2
Suppose 0 = -17*s + 16*s + 6. Solve -10 = -4*p + s*p for p.
-5
Let s(t) = t - 2. Let y be s(4). Solve 10 = -y*i + 2 for i.
-4
Let g be (-32)/(-14) + 18/(-63). Solve 0 = 4*o - 2*o + g for o.
-1