Suppose -3*f = -15, 0*f - 20 = -2*t - 2*f. Let n be (-2)/5 + 7⁄5. Solve -3*v + n + t = 0 for v.

2

Let z be (-2 - (3 + -3))/(-1). Suppose -z*i - i = -24. Solve 3 = -j + i for j.

5

Suppose 3*s - 8*s = 50. Let b(j) = j + 15. Let z be b(s). Solve -z = 5*g + 15 for g.

-4

Let m(u) = -2*u - u3 + 5 - 1 - 5*u2 - 3 + 3*u. Let f be m(-5). Let s(k) = k + 4. Let d be s(f). Solve 2*x + d = -4 for x.

-2

Let t = -10 + 12. Solve t = 2*j - 2 for j.

2

Let t = -4 + 8. Suppose -5*o + 21 = -g, t - 3 = -5*g - o. Let r be (2 + -3)/(g/3). Solve j = 2*j - r for j.

3

Suppose 3*u - 2 = -5*i, -3*u - 4 + 12 = 2*i. Suppose 4*s - 5 - 11 = 0. Let v(m) = -m**2 + 5*m - 4. Let g be v(s). Solve g = -w - u*w for w.

0

Let a(k) = k**2 + 5*k - 6. Let u be a(-6). Let r be (3 + -2)/(1/(-2)). Let y = r - -2. Solve y = -u*s + s for s.

0

Let y(w) = 5*w + 67. Let b be y(-13). Solve 4 = c + b for c.

2

Suppose -5*k + 11 + 4 = 0. Solve 0 = w - k*w + 6 for w.

3