Let s be 5220 + 410. Let k be (-1 + -1)*s/(-2). Suppose -k = j - 2*j. Solve 2*m - 5 = -j for m.

1

Let j = -25 - -29. Solve 0 = -j*x - 5 + 1 for x.

-1

Suppose 0 = 3*o - 5*o - 12. Let a be (0/(o/(-2)))/(-1). Suppose a*q = 3*q. Solve 0 = 3*n - q*n for n.

0

Let o© = 3c - 6. Let s be o(4). Let q be 2/s(2 + -2). Suppose q = -4*r - r + 25. Solve 4*b = -1 + r for b.

1

Suppose -7*v = -2*v. Let m = -16 - -25. Solve -3*r + v*r = m for r.

-3

Let c(b) = 2*b**2 - 10*b + 9. Suppose 5*j = -3*z + 43, 0*j + 35 = 5*z + j. Let m be c(z). Solve -6 + m = -5*d for d.

-3

Suppose -19 = -d + 4*y, 2*d + 0*y - 13 = 3*y. Let l = d + 3. Solve -l = -g + 2 for g.

4

Let i(h) = h3 - h2 - 4*h + 3. Let b be i(2). Let y(z) = -22*z3 - z2 + z + 1. Let r be y(b). Suppose 1 - r = -s. Solve 0*p + 4*p = s for p.

5

Let c = 1 + 3. Let g(q) = 2*q. Let l be g(0). Solve y - 2*y - c = l for y.

-4

Let w be (-128)/(-6) + 812. Suppose 0 = 2*q - 3*t - 12, -4*q + 0*q + 5*t = -w. Solve q*u + u = -12 for u.

-3