Let t(x) = -x + 20. Let y be t(0). Suppose 3*i = 55 + y. Suppose 0 = 4*f + f - i. Solve -f*g + 10 = -0*g for g.

Let g be ¹⁄₂*(13 + -7). Suppose -3*s + 4*r + 15 = 0, -4*r = 3*s + g + 6. Let w be (52/(-2))/(-1 - s). Solve 0 = -4*y - 3 - w for y.

-4

Suppose g - 5 = 5*o - 4*g, -3 = -5*o + g. Let m(u) = u**2 - 2*u. Let a be m(o). Let n be (⁹⁄₆)/(a/(-2)). Solve n = -4*b + 7 for b.

1

Let z = -5 - -6. Let b = z + 2. Let n be 3/(b/(-2)) + 2. Solve -3*c + 5*c + 8 = n for c.

-4

Let m = -14 - -16. Solve 0 = 3*z + 1 + m for z.

-1

Suppose 4 = -x, 39 + 53 = 4*r - 4*x. Solve -4 + r = -3*t for t.

-5

Let j be 2 + -5 - -5 - -10. Let s = -2 - -2. Suppose -2*k - 18 = 4*y - 46, 4*k - 41 = -5*y. Solve -k*h + s*h = j for h.

-3

Let x be (39/(-2))/(-3)*2. Solve 0 = 4*i + x + 7 for i.

-5

Let c(m) = m**2 + 3*m + 5. Let q be c(-2). Suppose 0 = b + 2*b - 63. Suppose b = q*k - 0*k. Solve 0 = 2*v + k + 3 for v.

-5

Suppose -d - d = -10. Suppose d*u = 2*t + 19, 0*u + 5 = 3*u + 2*t. Suppose 5*o = 3*j + 57, -o + 3*j + 45 = u*o. Solve -z - 2*z = -o for z.

4

Suppose 5*t + 2*f = 86, 0*t = -5*t + 2*f + 74. Let k© = c3 - 10*c2 + 2. Let q be k(10). Let d be 1 + 0/(-1) + q. Solve -d*o - o - t = 0 for o.

-4