Suppose -2*y + 7 + 3 = 0. Solve -5*f + 0*f = y for f.

-1

Let c(s) = s**2 - 3*s + 3. Let t be c(3). Let m = 6 - t. Suppose -m*x = -5 - 1. Solve -x*k + 2 = -3*k for k.

-2

Let l(t) = t3 - 7*t2 + 5*t + 8. Let n be l(6). Suppose -2*j + 3*x + 21 = 0, 5*j - x = n*x + 30. Solve -j*o = -2*o - 2 for o.

2

Let u(x) = x + 2. Let k be u(-2). Suppose 5*p - l = 7, -2*p - 2*l + 0 = 2. Solve 5*o + p + 4 = k for o.

-1

Suppose -2*p = -10 - 22. Solve 2*q = -2*q - p for q.

-4

Let p(x) = -5*x3 + 2*x2 + x. Let d be p(-1). Suppose 4*n = -3*o + 23, -2*n = 2*o - d*o - 28. Solve -7 = -5*c + n for c.

3

Suppose -36 = -4*c - 4*f, 4*c - 3*f = -0*f + 8. Suppose -3 = -c*w + 2. Solve -3*j + 2 + w = 0 for j.

1

Suppose 0 = -2*g - 5*t + 16, 11 = g + 5*t - 2. Suppose 0 = 3*j + 4*x - 5, -j - g*x = x + 1. Solve 2*n + j*n = -20 for n.

-4

Let j = -11 + 16. Solve j*t - 12 = -32 for t.

-4

Let j(l) = -l3 - 4*l2 - 3*l + 2. Let c be j(-2). Solve c = 4*i + 8 - 0 for i.

-2