Let i(j) = 3*j. Let g(y) = 2*y + 1. Let s(o) = 4*g(o) - 3*i(o). Let f be s(2). Suppose -2 - f = -n. Solve 0 = -n*u + u + 9 for u.
3
Let r(l) = l3 - 8*l2 - l + 3. Let f be r(8). Let i = f - -5. Let x be -1 - 2 - (-9 + i). Solve -x*d + 20 = -2*d for d.
5
Let l(g) = 2*g**2 + 3*g - 15. Let d be l(-4). Solve 8 = 3*s - d*s for s.
-4
Suppose 5*w = -25, -2*d + 8*w + 25 = 3*w. Solve d = 2*l - 5*l - 6 for l.
-2
Let n be -115⁄6-2. Suppose 0 = 3*c + 3*r + 12, -r = 5*c + 3*r + 16. Solve c*m = -n*m + 15 for m.
3
Let t = -3 - -6. Let r be (2 - 1)/(1⁄12). Suppose -5*c - 7 = -4*j, -c + 2*c - 16 = -5*j. Solve j*l + r = t for l.
-3
Let v(i) = i - 1. Let d be v(-6). Let c = 1 - d. Solve c*h - 3*h = 15 for h.
3
Let y = 2 + 0. Suppose 0 = -3*g, -2*s + 18 = -y*g + 5*g. Solve -3*u = -s + 3 for u.
2
Let y = -15 + 15. Solve y*q - 4*q = 20 for q.
-5
Suppose -109 = -4*b - t, -b - 3*t + 19 = -0*t. Let g be (-2)/8 - (-45)/20. Suppose 2*q - g = 4*k, -2*q + 14 = q + 5*k. Solve q = 5*l + b for l.
-5