Let z be (2/(-2))/(2/(-4)). Let w = -16 - -24. Solve -w = z*p - 4 for p.
-2
Suppose 0 = 2*z - z - 13. Let i = 8 - z. Let h = 9 + i. Solve -y = -h*y - 15 for y.
-5
Let r(t) = -t3 + 3*t2 - t + 3. Let h be r(3). Let m = -25 - -30. Suppose m*j - 60 = j. Solve -3*l - 2*l - j = h for l.
-3
Let v(a) = -9 + 2*a - 6*a - 4*a - a**2. Let g be v(-6). Solve g*s + 1 = -11 for s.
-4
Let b be ((-12)/18)/((-2)/6). Suppose 3*o = -4*w - 20, -o + 4*w + b = -18. Suppose -4*c + 0*c = o. Solve c = -2*p - 4 - 4 for p.
-4
Suppose 0 = -0*u - 3*u + 78. Let b = -12 + u. Let p = -9 + b. Solve -r + 4 = p for r.
-1
Suppose -m = -2*n - 1, 2 = -n + 4*m - 2. Suppose n = 6*r - 11*r + 15. Solve r*w + 7 + 8 = 0 for w.
-5
Let f be (0*(-5)/(-30))/5. Let w be 4⁄2 - (1 - 0). Solve f*b = b - w for b.
1
Let u be (-1 - -2)/1*1. Let n = 30 - 27. Solve n = -o - u for o.
-4
Let x(d) = -d + 6. Let n be x(0). Let u be 14*3⁄6 - 1. Solve -3*z + u = -n*z for z.
-2