Let v = 1 + 3. Let t = -3 + v. Let b = t + -1. Solve -y + 4 = -b for y.

Suppose 0*h = -3*h + 9. Suppose -h*k + f + 2*f + 45 = 0, 4*k - 3*f - 55 = 0. Let j = k + -8. Solve 0 = -3*a + j*a + 1 for a.

1

Suppose 0*u + 5*u = -x + 9, -11 = -3*u + 5*x. Solve 0*i = -i - u for i.

-2

Let m be 6 - 2 - (0 - 0). Let t be 1*m/(0 + 2). Solve -2 = 3*z - t*z for z.

-2

Suppose w = 2*c - 3, 5*w - 2*c - 7 = 10. Let l(x) = -3*x - 5. Let z be l(-4). Solve w*h - 22 + z = 0 for h.

3

Let c(s) = -s3 + 10*s2 - s + 11. Let a be c(10). Solve 4*x + 15 + a = 0 for x.

-4

Suppose 4*f - 72 = i + 2*i, -4*f - 2*i = -52. Suppose 5*k = f, 6*k - 2*k = v + 7. Let z = 3 - 3. Solve -v*t - 2 - 23 = z for t.

-5

Suppose 4*b - 4*g = 92, g = -4*b + 4*g + 94. Suppose 0 = 2*q + 3*q + b. Let y = 11 + q. Solve -2*m + 12 = -y*m for m.

-3

Suppose 8*i - 15 = 5*i. Suppose -i*w = -w - 24. Solve 0*j - 3*j + w = 0 for j.

2

Let g = -18 - -19. Suppose -g = -d + 1. Solve -d*i = i + 15 for i.

-5

Suppose 4*a - 6*o + 4*o - 10 = 0, 15 = -a - 3*o. Solve 0 = -a*m + m + 2 for m.

-2