Let n(y) = -3*y + 1. Let m be n(-4). Let h = -10 + m. Solve -h = -5*b + 7 for b.

2

Let s be 1/(-5) + (-22)/(-10). Suppose -3*o = -s - 1. Solve 6 = -x + o for x.

-5

Let v(t) = t**2 - 3*t - 5. Let n be v(4). Let h = n - -2. Solve -h - 4 = -5*b for b.

1

Let s(k) = k3 + 5*k2 + 3*k + 1. Let y be s(-4). Suppose 0 = 4*x + x - 160. Suppose -2*p = -2*t, 5*t = p - 4*p + x. Solve -y*r = -r - t for r.

1

Let y = -49 - -49. Solve -5*g + 5 = -y*g for g.

1

Suppose 0*l = -l, -2*u + 6 = -3*l. Suppose 1 = o - 6*p + p, 0 = -p. Solve o = -u*d - 2 for d.

-1

Let p(m) = -6*m3 - 4*m2 + 5*m3 - 1 + 2*m2 + 2 - m. Let f be p(-2). Solve f = 2*l - 1 for l.

2

Let m be -2*((-10)/4)/5. Suppose 7 = t + m. Solve -3*q + 5*q = t for q.

3

Let j be -1 - 9/(-3) - -18. Let o = -1 + 5. Suppose -o*q + 2*q = 0. Solve -i - 4*i + j = q for i.

4

Suppose -y + 3*y = 0. Let z = y - -2. Suppose 5*x = 4*t + 16, t + 4 = 2*x - 0*t. Solve z*k - 3 + 1 = x for k.

1