Let s = 8 + 1. Let z(x) = -2*x**3 + x**2 + 3*x. Let d(l) = 5*l**3 - 2*l**2 - 7*l. Let q(r) = s*z(r) + 4*d(r). Let i be q(1). Solve v - i = -v for v.

Suppose 5*a = 5*x - 135, -3 = -5*a - 13. Suppose 0 = -b - 4*b + x. Solve -2*m + b = 3*m for m.

1

Suppose 7*i - 64 = 3*i. Solve 0*q = -4*q - i for q.

-4

Let l(t) = t**2 - 12*t + 1. Let a be l(12). Solve a + 3 = 4*k for k.

1

Let a(b) = b3 - 2*b2 - 3*b + 4. Suppose 8 = 5*d - 7. Suppose d*t = -4*l + 13, 3*t - 2*t = -3*l + 6. Let w be a(t). Solve -4 = w*f - 20 for f.

4

Suppose -3*w + 6 = -6*w. Let g(q) = 3 + 0 - 2 - 3*q. Let a be g(w). Solve -2*c = -a*c + 20 for c.

4

Let t be 23 + 6*(-1)/2. Solve -l = -6*l + t for l.

4

Suppose 0 = -3*j + 2*j. Solve -3 = -h - j*h for h.

3

Let l be (4 - 3) + ¹⁵⁄₅. Let j be (-2)/l - (-20)/8. Solve n = -1 + j for n.

1

Let m = 23 + -21. Let b be 2 + (2/(-2))/(-1). Solve 3*g = m*g + b for g.

3

Suppose -3 = -3*z + 4*s - 2, 0 = 4*z - s - 10. Suppose -t + f + z = 2*t, -2*f = -t + 1. Let w = t - 1. Solve w*x = 2*x for x.

0