Let h be 11⁄3 - 2/(-6). Suppose -t - v + 3 = 0, -h*t + 2*t + 4*v = -12. Solve -j + 1 - t = 0 for j.
-3
Let a = -12 + 20. Suppose 6*u = u. Suppose -3*h + 2*h + 5 = u. Solve 12 = h*l - a for l.
4
Let b be 2⁄1 - 2*-3. Let p = b + -7. Solve 0 = -2*n - p + 11 for n.
5
Suppose 0 = -2*b - 2*w, 0*b - 4*b = -4*w - 16. Solve -2*u - 2 = b for u.
-2
Let z = -7 - -10. Let u be 0*(1 + z/(-6)). Solve u = -3*f + 6 + 3 for f.
3
Suppose 4*a = -0*w - 4*w - 4, a = -2*w - 1. Let p = 17 - 12. Solve w = p*o - 1 + 6 for o.
-1
Let q be ((-4)/(-10))/(1⁄10). Suppose 5*b + 5*x = -25, x + q = -4*b - 1. Solve b*k - 3*k = -12 for k.
4
Let n be (-2)/3 + (-148)/12. Let x = 19 + n. Let t = -4 + x. Solve t = -2*c - 2 for c.
-2
Let h = 5 - 2. Suppose -h*k - 2 = -14. Solve 3 = k*x + 11 for x.
-2
Let l(a) = a + 7. Let t(b) = -b - 7. Let w be t(-7). Let g be l(w). Let j be (-1)/2*(-35 - 1). Solve -5*v - j = g for v.
-5