Let k be -2 + (7⁄2 - 2/(-4)). Solve 7 = -k*x - 1 for x.

-4

Let x = 5 - 3. Let y(t) = 3*t - 3. Let q be y(x). Let n(g) = 3*g - 3. Let f be n(2). Solve -q*z + 0*z = f for z.

-1

Suppose -2*r + 4 = m - 6, -5*r = 3*m - 27. Let v = r + 0. Solve -9 = -3*x + v for x.

4

Let h be (-30)/(-7) + 10/(-35). Suppose -l - 13 = -5*k - 0*l, -5*l = 3*k + 9. Solve k = -2*f + h for f.

1

Let b = 7 - 4. Suppose 0 = b*a - a - 10. Suppose -3*q + 4 = 4*k - 5*q, 0 = k - a*q - 1. Solve 5*y - k = 4 for y.

1

Suppose 3*c - 24 = -4*b + c, -b - 3*c = -11. Suppose -5 - 7 = 4*r - b*f, 3*r = -2*f + 14. Solve r*z = -z + 15 for z.

5

Let l = -13 + 15. Suppose -d = 5*f - 12 - 12, 5*d = -l*f + 28. Solve d*j - 4 = 8 for j.

3

Let q = 14 - -3. Suppose -z - 3*o = -q, 7*z - 4*o + 10 = 2*z. Solve -2 - 6 = -z*y for y.

4

Let a(j) = -24*j - 2. Let g be a(-3). Suppose -g + 4 = -2*f. Suppose 4*n = f + 7. Solve -n = 3*s - 8*s for s.

2

Suppose -4*i - 20 = 0, 3*i - 10 = -3*z - 1. Suppose 0 = b + s, -z*s + 3*s = -b. Solve b = -d - 2*d + 3 for d.

1