Let n = 12 + -3. Solve 0*j = -3*j - n for j.

-3

Let a be -2-2(0 - -1). Suppose -5*z + 25 = -p, 3*z + z = a*p + 4. Suppose -i + 3*m + 4 = -z, -4*m - 20 = -3*i. Solve 16 = i*c - 0*c for c.

4

Let d = -10 - -23. Solve -2*g = d - 9 for g.

-2

Let h(i) = -i3 + 3*i2 + i - 3. Let u be h(3). Let w be ((-3)/6 - 0)*u. Suppose 2*r = g - w*g, -r + g = 0. Solve 3*y + r*y = 6 for y.

2

Let y(v) = -3*v - 10. Let a be y(-6). Solve -2*x + 0 = -a for x.

4

Suppose 14 = 2*y - 18. Let d = y - 8. Solve 3*u - d = u for u.

4

Let n(s) = -s3 + 6*s2 + 4*s - 3. Let r be n(7). Let l = r + 38. Solve -2 = 4*h + l for h.

-4

Let t = 4 + -4. Suppose -5*u = -o + 23, 0*o + 4*u = -3*o - 7. Suppose -y = -o - 0. Solve t = y*j - 0*j for j.

0

Let y = 9 + 0. Suppose 3*i + 0 - y = 0. Solve -i*d - 13 + 4 = 0 for d.

-3

Suppose 26 = j + 6. Let b = 16 - 23. Let t = b + j. Solve -4*q + t = -7 for q.

5