Let y be 3/(-4) - (-62)/8. Let u = -5 + y. Solve 0 = 5*s - u + 12 for s.

-2

Let l be 1 + (1 + -2 - -1). Solve q - 2 = l for q.

3

Let m(i) = i3 - 4*i2 + 3*i + 1. Let o be m(3). Solve j + 0 = o for j.

1

Let k(z) = -z + 16. Let d be k(11). Suppose -2*r + 23 = d*x, 0*r - 14 = -2*x - 2*r. Solve -x + 19 = -4*c for c.

-4

Let h = -4 + -1. Let u be h/5*(1 + -2). Solve u = w - 0*w for w.

1

Let i(b) = 5*b**2 + b - 1. Let o be i(1). Let t(k) = k. Let v be t(o). Solve x - v = -0*x for x.

5

Let m be 3 + -2 + (6 - 5). Suppose 0*x = 4*x - 12. Solve m = -l + x*l for l.

1

Suppose 3*o + a = 38, -o + 1 = -a - a. Solve -o + 1 = -5*g for g.

2

Suppose w - 2 - 8 = 0. Let o = -6 + w. Solve d = -o*d - 15 for d.

-3

Suppose 3*v + 0 = 6. Suppose 0 = 3*i + 2*i + v*a, 0 = -2*a. Suppose -4*k + 4 + i = 0. Solve -t + 0 = -k for t.

1