Let s be -6*(8/(-12))/1. Solve -1 - s = -l for l.
5
Let i = 13 + -7. Solve 0 = d - i*d for d.
0
Suppose 0 = -12*i + 3*i. Solve 5*h - 5 - 5 = i for h.
2
Let b(l) = 2*l + 30. Let t be b(-13). Solve t*v + 0*v = 8 for v.
2
Suppose 8*a + 13 = 69. Solve -2*s - a = 3 for s.
-5
Let h = -14 + 16. Solve -6*r + h*r = 0 for r.
0
Let h = -9 - -9. Suppose -25 = -p - 0*p. Solve -4*w - w + p = h for w.
5
Let k(m) = m3 - 3*m2 - 5*m + 3. Let a be k(4). Let t = a - -5. Suppose 2*v - 4*v = 0. Solve o - t = -v*o for o.
4
Let a© = -1 - 11*c + c3 + 6 + 7*c2 - 5. Let r be a(-8). Solve -4*g + 4 - r = 0 for g.
-5
Suppose -20 = -7*r + 2*r. Suppose 0*x + x - r = -2*l, 4*x = -l + 2. Solve 5*y = -x*y for y.
0