Let j be (15 + -15)*1/1. Solve -f - 1 - 1 = j for f.

Let l(q) = -q3 + 3*q2 + 3*q - 7. Let i be l(3). Solve 2 = -i*u - 0*u for u.

-1

Let q(p) = -4*p + 3. Let g be q(2). Let r(k) = k3 + 6*k2 + 4*k - 3. Let s be r(g). Solve -5*i + s*i + 15 = 0 for i.

5

Let l = 11 - 7. Let a(y) = y**3 + y - 2. Let t be a(1). Suppose -3*h = -l*s - 5*h + 60, t = -3*s - h + 45. Solve -2*j = j + s for j.

-5

Suppose -2*b = -6 - 0. Suppose 20 = g - b*k, 4*k - 22 = -4*g + 10. Let w = g - 8. Solve -6*a = -w*a + 9 for a.

-3

Let z(f) = -f**2 - 4*f + 7. Let v be z(-5). Suppose -2*w = v*w + 3*s - 24, -s + 1 = -w. Solve 3 + 3 = -w*u for u.

-2

Let p = 5 + 4. Suppose 0 = -b - 3 + p. Solve -2*f = -b - 4 for f.

5

Let a = -3 + 7. Let p be 4/a + (-1 - -3). Suppose 0 = -p*z + 19 - 4. Solve -2*s - 6 = -z*s for s.

2

Let u be (3 + -2)*(2 - 1). Suppose 5*l - 4*s = 53 + 2, -3*l - 4*s = -u. Suppose 0 = -5*g - 4*r + 9, 2*r = -7*g + 4*g + l. Solve 4*a - g = -1 for a.

1

Let y be (-3 + 3 + -6)/2. Let r be (-6)/(-3) + y + 37. Suppose 6*p - 2*p - r = 0. Solve -3*v - 3 = p for v.

-4

Suppose 0 = -9*z + 28 + 26. Solve -4 = -z*n + 2*n for n.

1