Let k(x) = 3*x**2 + x - 5. Let b be k(-2). Solve 0 = -b*s + 30 - 10 for s.

4

Let s be (-2)/2 + -25 - -1. Let c = -11 - s. Solve -11 - c = 5*f for f.

-5

Let w = 122 + -122. Solve -z - 1 + 3 = w for z.

2

Let t(l) = -l3 + 5*l2 - 3*l + 2. Let u be t(4). Suppose -4*c = -c - 21. Suppose -4*m = -c*m + u. Solve -4*y + m = -2*y for y.

1

Let v be 28312-3. Let g = 23 + v. Solve 0 = -h - h + g for h.

1

Let g(o) = -o + 22. Let v be g(19). Solve -v*r + 6*r + 6 = 0 for r.

-2

Let r be (-16 - -10)*(-2)/4. Solve -12 = -3*b + r for b.

5

Let z(p) = -p**2 + 8*p + 6. Let v be z(8). Solve 0 = -v*q + 2*q for q.

0

Let h be (-7)/(144) - -3. Solve 4*d = h + 3 for d.

1

Suppose 5 = 3*f - 1. Suppose 2*n = -4*j + f + 2, -23 = -5*j + 2*n. Let i(u) = -2*u - 5. Let d be i(-6). Solve -j*y + d = -8 for y.

5