Suppose 5*u - 5*c - 25 = 0, 3*u + 0*u - 11 = c. Let v(s) = -s**2 - 5*s + 5. Let m be v(-5). Solve -4*p = -u*p + m for p.

-5

Suppose 3*s = s + 6. Suppose 0 = -s*o + 15, -3*i - 2*i + 15 = o. Suppose 4 = i*t - 0. Solve -t*l + 0 = 8 for l.

-4

Let q© = c + 1. Let m(t) = -1. Let o(a) = -m(a) + q(a). Let b be o(-5). Let r = 7 + b. Solve r*z = -z + 25 for z.

5

Let k(x) = 2*x**2 - x - 2. Let q be k(2). Suppose 0 = -9*n + q*n. Solve n*o = 4*o for o.

0

Let s = 1 + -1. Let d = 4 - 2. Let i be 6 - ((d - s) + 0). Solve i*a = -0 + 8 for a.

2

Let f = 16 + -3. Let x = f + -28. Let q be (-1 - x) + (1 - 0). Solve z = 6*z + q for z.

-3

Suppose 12 = 4*y + 2*y. Solve -5 = y*t + 1 for t.

-3

Let b be -10*((10 - 6) + (0 - 6)). Solve -11*j + b = -16*j for j.

-4

Let x = -108 + 118. Solve -5*v - 5 - x = 0 for v.

-3

Suppose 1 = q - 0. Solve -w - q = -2 for w.

1