Let t(s) = s**2 + 9*s + 16. Let j be t(-8). Suppose 2*r - 2 = -3*k, k = 4*r + 3 + 7. Let w = 3 - k. Solve -3*i = -j - w for i.
3
Suppose 0 = 5*i - 3*s - 10, 3*i = -2*i + 5*s + 10. Suppose i*n = 3*l - 46, 2*l + 3*n - 9 = 26. Solve 5*v + 4 = -l for v.
-4
Suppose 0 = -v + h - 4*h + 15, 5*h = v + 9. Suppose -2*o = 3*b - v*b + 12, 5*b = -o + 7. Let n = b - 0. Solve -j = -n*j + 5 for j.
5
Let a = -1 + 9. Let y = 5 - 3. Let t(p) = -p - 7. Let h be t(-7). Solve h*u = -y*u - a for u.
-4
Suppose 3*m = 3*y, 4*m = -6*y + y + 27. Solve m*w = -2 - 4 for w.
-2
Suppose d = -4 - 1. Let k = 7 + d. Solve -2*h - k = 8 for h.
-5
Suppose -2*y + 3*g = -12, g = -3*y - 0 - 4. Solve y = 3*j + 26 - 11 for j.
-5
Let r be 8 - 7 - (-3 - -1). Solve -3*j + r = -0*j for j.
1
Suppose 0 = -2*a + 5*a. Suppose a*r = -r + 1. Suppose -4 = -3*u + 2. Solve -u*b - r = -9 for b.
4
Let g(a) = 2*a + 7. Let b be (27⁄15)/((-4)/(-20)). Let h be g(b). Let n = -7 - -11. Solve -h = n*t + t for t.
-5