Let s(r) = r - 3. Let w(t) = 3*t - 8. Let b(l) = 8*s(l) - 3*w(l). Let n be b(-1). Let f = 0 + 0. Solve -x + f = n for x.

Let n = 1364 + -879. Let v be 2/(-12) - n/(-30). Solve -5*j = -9 - v for j.

5

Let m(k) = -k**2 + 6*k - 3. Let h be m(3). Let j be (-20)/30 + 16/h. Solve 0 = 3*c + j + 13 for c.

-5

Suppose -5*h - 3*i + 60 = -i, -5*i = 0. Solve 0 - h = -4*l for l.

3

Suppose -2*k = -2*y + 4, 6*y + 4*k = 3*y + 20. Solve -f - y = -5 for f.

1

Suppose 0 = 4*a - 9 - 15. Let r(b) = 0 - 5*b3 + 6*b3 + 2 + b. Let h be r(0). Solve -h*s - 2 = -a for s.

2

Let p = -15 - -16. Solve -z - p = 1 for z.

-2

Suppose -3*f + 534 = -0*f. Let c be f/6 - (-2)/6. Suppose a = -a + c. Solve -4*o = o - a for o.

3

Let a = 12 + -12. Solve 2*v = -a*v - 8 for v.

-4

Let i be -1 + (⁴⁄₂ - 0). Let g = 47 - 47. Solve n + i + 0 = g for n.

-1

Let r be -2 + (-3)/3*-1. Let x be r/4 + (-3)/(-12). Solve x = -4*t - 10 - 6 for t.

-4