Let x(y) = y - 7. Let j be x(11). Solve 0 = h + j + 1 for h.

Let u(f) = 5*f2 - 4 - 3 - 2*f - f2 - 3*f**2. Let n be u(5). Solve 5*k - n = -28 for k.

-4

Let b be (0/3)/(12/(-6)). Solve 0 = p - 2 - b for p.

2

Let t = -1 - -3. Suppose -m + 0 = t*s - 8, -4 = -2*s. Suppose -m + 16 = h. Solve 5*z - 2*z = -h for z.

-4

Let u be 3 + -3 + -1 + 3. Suppose -3*s - 2 = -4*s - 2*x, 5*s - 10 = -4*x. Suppose 3*j = 2*j + s. Solve -u = f - j*f for f.

2

Let b be (2 - -1)*(-51)/9. Let v = b - -29. Let c be (-84)/(-10) - ¹⁰⁄₂₅. Solve 4*z - c*z = v for z.

-3

Suppose 3*p - 6*p = 0. Solve -2 = -z - p for z.

2

Suppose 0 = -5*y - h + 16, 0 = -2*y - h + 2 + 2. Solve -12 = y*w - 0*w for w.

-3

Suppose 0*m - 30 = -m + 5*s, -5*s - 40 = -3*m. Solve -2*y = -3 - m for y.

4

Let c be (0 + (0 - 1))*-4. Suppose -l - 2*a + 4 = l, -3*l = -c*a + 8. Solve l = s + 2 for s.

-2

Let h = -10 + 12. Solve -q + 3 - h = 0 for q.

1