Let p(i) = 3*i**3 - i - 2. Let g be p(2). Let j = 13 - 7. Suppose 0*v - j = -v. Solve l - v*l + g = 0 for l.

Let v = 34 + -31. Solve 0 = y - 0 - v for y.

3

Let c(u) = -2*u - 3. Let w be c(-4). Suppose x - i - 4*i = -16, 0 = 5*i - 20. Suppose -2*y - 2*y + x = 0. Solve 3*r = y + w for r.

2

Let d(i) = i3 + 8*i2 - 8*i + 13. Let s be ((-7)/2 - 1)*2. Let o be d(s). Let u = 4 - o. Solve u = -2*x - 12 + 4 for x.

-4

Suppose -u - 3 = 0, -4*p - 4*u - 3 + 7 = 0. Solve -p*h = -h - 15 for h.

5

Let g be 0 + -1 - -5 - 2. Suppose 6*s - 16 = g*s. Solve s*u - 3 = 3*u for u.

3

Let p = 166 + -158. Solve -f + 3*f = -p for f.

-4

Let x(k) = -10 + k + k - 3*k. Let a be x(-12). Solve -6*h + a*h = 8 for h.

-2

Let w(y) = y**2 + 2*y - 2. Let x be w(2). Let u = 0 - -2. Suppose -3*h - 2*g - 20 = -x*g, -h - u*g = -10. Solve h = -3*t + 5*t + 10 for t.

-5

Let o be ((-40)/(-25))/((-1)/(-25)). Let y = o + -22. Suppose 3*x - 5*v = 2*x - 14, 0 = 5*x - 3*v - y. Solve x = 3*m - 9 for m.

5

Let n = 38 - 33. Suppose 2*r + 0*r = -3*j + 11, 30 = 5*r + 5*j. Solve -n*m = 2 - r for m.

1