Let f = 4 + -8. Let v = f + 8. Solve 0 = -3*h + 5*h + v for h.
-2
Let o be 0/((12⁄4)/3). Solve o = -4*b + 4 for b.
1
Let m(s) = -s - 17. Let t be m(-17). Suppose -3 = -b - t*b. Solve b*f + 8 = f for f.
-4
Suppose -5*y - 9 = -2*y, 3 = 4*b + 3*y. Let p = b - -2. Suppose 5*s = -p*x + 120, -32 = -s + x - 4*x. Solve 0*j + 4*j + s = 0 for j.
-5
Let i(g) = 5*g2 - 9 + 3*g + 5*g + g3 - 2*g**3. Let j(q) = 9*q - 3. Let v be j(1). Let t be i(v). Solve t*y = 2*y - 3 for y.
-3
Let s be (-2)/(-6) - 1⁄3. Suppose 0 = w - s*w - 4. Suppose -4*k + 20 = w. Solve -k = -3*t + 2 for t.
2
Let v = 26 + -24. Solve 4 + 0 = -v*f for f.
-2
Suppose -l = -1 - 1. Let z(s) = l - 2 - s. Let i be z(-3). Solve -6 = -0*c + i*c for c.
-2
Suppose -u + 6 = 2*u, -5*u + 60 = 5*a. Suppose -2*r - 3*r + a = 0. Solve -r*k - k = -3 for k.
1
Let q be (-8)/3*(-15)/4. Suppose 4*g + 12 = g. Let y = g + 6. Solve y*l - q = -0*l for l.
5