Let y = 14 - 11. Suppose y*h - h - 32 = 0. Solve -2*u = 2*u - h for u.
4
Suppose 3 = -3*k + 15. Suppose 0 = -k*x + 9*x. Solve -2*c + 4 = -x*c for c.
2
Let s(f) = f + 1. Let v(g) = g**2 + 8*g + 2. Let b(d) = 6*s(d) - v(d). Let u be b(3). Let t = -1 - u. Solve -5*m = 15 + t for m.
-5
Suppose 4*c - 2*c - 4 = 0. Let t(k) = -k**2 - 4*k + 3. Let h be t(-5). Let f = h - -5. Solve -3*v = -c*v + f for v.
-3
Let a(m) = m + 9. Let t be a(-9). Let g be (-1 - t)*-2 - 0. Solve -g*k = -0*k + 10 for k.
-5
Let o = -15 + 1. Let g = o + 8. Let p be 0*(-2 + (-15)/g). Solve 3*i + p*i - 12 = 0 for i.
4
Suppose 6*j - 9*j = -6. Solve j*h = -2 - 2 for h.
-2
Let q(n) = -n**2 + 1. Let i be q(1). Suppose -2v + v = 9. Let z be -3(24/v + 2). Solve i*b - 10 = -z*b for b.
5
Let a = -14 - -2. Let q be (-3)/((-9)/2)*a. Let m = 11 + q. Solve m*t - 18 = -3 for t.
5
Suppose -3 = 5*b + 2, 1 = 4*z + 3*b. Suppose z - 7 = -3*q. Suppose -5*m = -5*v - 60 - 70, 0 = -v - 1. Solve -3*y = q*y - m for y.
5