Let v = -1 - -7. Solve 1 = -5*a + v for a.

1

Suppose 2*f - 8 = -2. Suppose f*b = 13 - 1. Solve b*c + 6 = 7*c for c.

2

Let l be (-30)/4*(-12)/18. Suppose l*m - 3*f + 3 = m, m + 3*f - 3 = 0. Solve m - 12 = 4*x for x.

-3

Let k(j) = j3 + 12*j2 + 11*j + 7. Let y be k(-11). Let h = -5 + y. Solve 6*l + 20 = h*l for l.

-5

Suppose 3 = 2*s - 1. Suppose -s*h + 3*h - 2 = 0. Solve 2*r + h = r for r.

-2

Let x = -13 - -9. Let w be ((-6)/x)/((-6)/(-8)). Suppose -8 = -n + w. Solve n = 3*v + 25 for v.

-5

Let u = 4 + 10. Let m be -2*(2 - u/4). Solve m*o + 5 = -4 for o.

-3

Let c(z) = 17*z**2 - z. Let i be c(1). Suppose -b = 4*x - 30, 3*x - i = -2*b - 2*b. Solve -2*s + 4*s = -x for s.

-4

Suppose 4*t - 3 = 3*k + 8, 2*t + 1 = -5*k. Suppose -5*f - d = 2*d + 12, -2*d = 3*f + 8. Suppose f*x - 2 = -x. Solve -t*a + 2 = -x for a.

2

Let o(p) = p + 9. Let g be o(-7). Let a(z) = -z + 16. Let m be a(8). Suppose 0 = -3*d - k, -4*d + 5*d = -3*k. Solve 2*h + g*h + m = d for h.

-2