Let r = 15 + -15. Solve -i + r*i = -1 for i.

1

Let x be (25/(-30)*-3)/(2⁄4). Solve -x*m + 4 = -6 for m.

2

Suppose 0 = -3*y - 4*x + 20, 5*y = -5*x - 2 + 32. Solve 0*d - 4 = -y*d for d.

1

Let a(k) = k**2 + k + 5. Let l be a(0). Suppose 2*s - 4 = -0. Solve l*j - s*j = 15 for j.

5

Suppose -3*l - 4*w - 2 = 5, -w = 2l + 3. Let r be l/2(1 - 1). Solve r*x = -5*x + 5 for x.

1

Let j = 14 - 23. Let n(q) = -q - 5. Let o be n(j). Solve 6*z = o*z + 10 for z.

5

Let s = -20 + 29. Suppose 0 = -0*n + n + s. Let z = n + 13. Solve 0 = -r + z*r for r.

0

Let r = 13 + -8. Suppose -r*c - 3 = -8. Solve -4*w = -c - 11 for w.

3

Let q = -33 + 38. Solve q*c + 11 - 1 = 0 for c.

-2

Let i(j) = -j3 - 6*j2 + 7*j - 4. Let u be i(-7). Let x = u - -6. Suppose 2*t - 12 = -x*t. Solve 0 = t*v + 1 + 2 for v.

-1