Let q = 28 + -20. Let g = q + -8. Solve -5*o - 25 = -g*o for o.

-5

Let z(j) = -j**2 + 5*j + 15. Let u be z(7). Solve 2*o = o + u for o.

1

Let v(x) = x. Let w be (-5 + 4)/((-2)/20). Let j be v(w). Solve 3*m = m + j for m.

5

Let l(x) = 2*x - 1. Let m be l(1). Let i = m - -7. Suppose 12 = -0*o + 4*o. Solve -10 = i*b - o*b for b.

-2

Let d = -40 - -20. Let j be 174/(1 - -2)*(-3)/(-6). Let z = j + d. Solve -3*n + z + 6 = 0 for n.

5

Let s(b) = b**2 + 5*b. Let r be s(-5). Suppose r*h = -h + 3. Solve 0 = -0*u - u - h for u.

-3

Suppose 0 = 4*z - 5 - 23. Suppose 0*g + 5*g - 10 = q, -2*g + z = -q. Solve 3 = f + g for f.

2

Suppose 0 = -3*a + 2*g + 1, -a = 3*g + 7 - 22. Let i = 43 - 20. Solve -i + a = 5*c for c.

-4

Let u(p) = p3 - 7*p2 - 7*p - 5. Let c be u(8). Suppose -4*v - 3*i + 10 = 0, i = -3*i + 8. Let m be 0/(v - 0 - 3). Solve -12 = -m*t - c*t for t.

4

Let m© = -8*c3 - 2*c2 - 2*c - 1. Let j be m(-1). Suppose j*q = 3*q + 8. Solve 0*y + q*y = 0 for y.

0