Let x be (-28)/4*-1 + 3. Solve 2*j = x - 2 for j.
4
Let w(q) = -q**2 - 6q + 5. Let m be (-1 - -6)(5 - 6). Let u be w(m). Solve t + t = u for t.
5
Let t be -2 + (-9)/6*-4. Solve t = -w - 1 for w.
-5
Let a(w) = w3 + 6*w2 - 9*w - 10. Let n be a(-7). Suppose -n*m = -0*m. Solve d = -m*d for d.
0
Suppose 6 = 3*q - h, 4*q - h - h = 8. Solve z = q*z - 3 for z.
3
Let z(b) = -b3 + 5*b2 - 3*b + 2. Let h be z(4). Let d(y) = 2*y**2 - y + 1. Let j be d(-1). Solve -h + j = -p for p.
2
Suppose 0 = s - 0 - 2, 2*s + 51 = 5*z. Suppose -2*w = 4*c + 4, -5*w + 4*w - z = 5*c. Suppose -3*k - 5*l = 4, 0*k = -4*k - 5*l - 2. Solve w*a = k*a for a.
0
Suppose -14*f - 40 = -320. Solve f + 0 = -5*a for a.
-4
Let v(t) = -t3 - 10*t2 - 10*t - 7. Let b be v(-9). Suppose b*z = z + 2*n + 4, -3*z - 3*n = 15. Let c be z + 0 + 7⁄1. Solve 5 = -c*l - 5 for l.
-2
Suppose -108 = -y - 3*y. Suppose 1 = z - 2*h - 3, 3*h = 0. Solve -z*p + 11 = y for p.
-4