Let k be 1⁄4 + (-12)/(-16). Let o be -1 - (-10 + k/(-1)). Solve -4*v = -2 + o for v.
-2
Let u = 10 + -8. Solve u*p + 1 - 5 = 0 for p.
2
Suppose -2*r = -5*u + 100, 2*u + r = -3*r + 40. Suppose 7 = k - 5*t, u = k - 5*k - 4*t. Let v = k + 3. Solve 2*w + 0*w + 6 = v for w.
-3
Let l(y) = -10*y**2 + y + 3. Let n be l(-3). Let c be (n/(-3))/(6⁄4). Suppose 2*s + 2*s - c = 0. Solve -5 = s*x - 0 for x.
Suppose i - 5*i + 4*f = 0, -5*f = 5*i - 10. Suppose -6*s + 10 = -2*s - 2*c, 0 = s + 5*c - 30. Solve -11 = s*d - i for d.
-2
Suppose 0 = -4*d + 6 + 2. Suppose -b - 8 = -5*b. Solve -2 = -b*j + d for j.
2
Let j(q) = -q3 + 7*q2 - 6*q + 3. Suppose -36 = -5*k - 3*r, -5*k + 2*r = -r - 24. Let i = 0 + k. Let g be j(i). Solve s + g*s + 20 = 0 for s.
-5
Let m = -11 + 11. Solve -4*a + m = -20 for a.
5
Let f(o) = o**2 - 2*o + 1. Let l be f(3). Let a be 18/l - 4⁄8. Solve -9 = n - a*n for n.
3
Suppose -5 = 5*j - 6*j. Suppose m = -0*m - 3*v - 10, -j*v = -m + 30. Solve -m*u + 7 + 3 = 0 for u.
2