Let a(x) = -x**2 + 10*x - 5. Let t(l) = -l**3 - 7*l**2 + 7*l - 1. Let d be t(-8). Let w be a(d). Let k be (1 - 3)/((-2)/w). Solve -4*b - k = -0*b for b.

Suppose 0 = -3*c + 5 + 4. Solve 0 = -5*n + c - 8 for n.

-1

Suppose 4*y = -y + 15. Let h = -14 + 23. Let t be (1/y)/(1/h). Solve -4*d + t*d + 4 = 0 for d.

4

Let r = -10 - -15. Suppose -12 = 4*f - 3*i - 39, 5*i = -25. Let s = 1 + 1. Solve -s*t - f = -r for t.

1

Suppose 4*c + a = 18, -4*c + 0*c + 3*a = -26. Suppose -5*x - 4*t - 63 = -0*t, 57 = -3*x + 4*t. Let v = 21 + x. Solve -3*r = -c*r - v for r.

-3

Let x(o) = o**2 - 7*o + 12. Let g be x(5). Suppose 1 = g*s - s. Solve -3*y = -7 + s for y.

2

Let d = 15 - 15. Let m = -22 + 25. Solve 3*z = -d*z + m for z.

1

Let d = -3 + 6. Solve -13 + d = 5*l for l.

-2

Let t = 9 - 7. Let s be t + -1 + -1 - -2. Solve -s*u + 2 = -2 for u.

2

Let v be (¹³²⁄₆)/(1*2). Suppose -2*b + 15 + 6 = -3*m, 2*b - 28 = 4*m. Let f = v + m. Solve -f*s + 2 = -2 for s.

1

Suppose x + 2*x - 2*d = 12, -5*x + 20 = -5*d. Solve -q = x*q - 25 for q.

5