Let j(t) = -2*t. Let u be j(-2). Let q = u + -4. Suppose q = 2*w - 6*w. Solve -5*l - 20 = -w*l for l.
-4
Let x be 6/(-4)16/(-12). Let j be -3(1⁄1 - x). Solve j + 7 = 2*k for k.
5
Let x be (-4 - 2)*(2 - 1). Let c = x - -6. Solve -5*l + 2 - 12 = c for l.
-2
Suppose 5 - 1 = 4*c. Suppose 2*t + t = 42. Solve -5*q = -c - t for q.
3
Suppose -6 = 3*r - 9*r. Solve d - r = 4 for d.
5
Let d = 6 + -2. Let w be 1 - (-1 + d/1). Let m(h) = 5*h**2 - h - 2. Let j be m(w). Solve 3*u = -u + j for u.
5
Let l = 11 + -9. Suppose d + l = 5. Solve -d*r + 5 = -10 for r.
5
Suppose 2*j + 21 = j + 3*q, 4j - q + 106 = 0. Let i be -2(j/(-6))/(-3). Solve 0*a + 12 = -i*a for a.
-4
Suppose 4*t - 13 - 15 = 0. Solve -12*n - 10 = -t*n for n.
-2
Suppose -5*z + 34 = 3*s, 2*z - 3 + 2 = 3*s. Let o = 18 - 13. Suppose -20 - 5 = -o*a. Solve -s*h - 14 = -a for h.
-3