Let v be (0/(-4))/(1*-1). Let h be (-10)/30 + 46/(-6). Let j = -8 - h. Solve v = 2*t - j*t - 2 for t.

1

Suppose -6 = -2*d - d. Suppose d*r - 7*r + 10 = 0. Suppose 3 = r*o + o, -4 = -5*z - 4*o. Solve -k + 0*k = z for k.

0

Let b = 45 + -45. Suppose -26 = -2*g + 4*t, 4*g = 4*t + 17 + 19. Suppose c + b = i - 3, -g*i - 3*c + 7 = 0. Solve -10 = -i*s - 3*s for s.

2

Let x = 59 + -38. Solve 5*u = 4 + x for u.

5

Let v(o) = 0*o + o + 9 + 0*o. Suppose 185*m + 14 = 183*m. Let n be v(m). Solve -n*u + 10 = -0*u for u.

5

Let t(m) = m**2 - 4*m. Let h be t(4). Suppose -4*y - 3 = 3*o - 7, -o - 2*y = h. Solve -o*d = d - 15 for d.

3

Suppose -3*i + 27 = -4*z - 24, 7 = i + 2*z. Suppose i = 2*w + 5. Solve 7*t = w*t + 9 for t.

3

Let y be 2 + (-2 - -1 - -2). Let u be ((-6)/(y + -2))/(-1). Solve u = -5*b - 4 for b.

-2

Let t(m) = m - 8. Let a be t(9). Suppose -a = 3*c - 10. Suppose -q - c*q + 3*v + 7 = 0, -3*v + 1 = -2*q. Solve -q*y + 0*y + 8 = 0 for y.

2

Let b(a) = -14 + 6 + 2*a + 1. Let v be b(5). Solve 5*g = -v - 2 for g.

-1