Let a® = 2*r - 4. Let w = 21 + -13. Let m be a(w). Solve 4*x = -m - 0 for x.
-3
Suppose -3 = 3*j - 5*w + 2, w = 5*j + 23. Suppose -2*b - 48 = -5*s, -2*s + 0*b - 4*b = 0. Let n = s + j. Solve -12 = t + n*t for t.
-3
Let o = 612 + -223. Suppose 5*x + 39 = o. Suppose 3*p = -2*p + x. Solve 1 + p = -5*g for g.
-3
Let m(g) = -g3 + 7*g2 + 9*g - 1. Suppose -38 = -4*s - 6. Let w be m(s). Solve 0 = -w*i + 2*i for i.
0
Suppose -o = -220 + 220. Solve s = 2 - o for s.
2
Let i(j) = 6*j2 - 4*j + 1. Let g© = -5*c2 + 3*c - 1. Let f(p) = -3*g(p) - 2*i(p). Let d be f(1). Suppose -2*m - d = -13. Solve m = -4*q + 1 for q.
-1
Let x© = -2*c3 - 2*c2 + 3*c + 2. Let p be x(-2). Solve 2 = -p*w - 2 for w.
-1
Let y = -75 - -75. Solve y = 3*l - 2*l - 5 for l.
5
Let z(p) = -2*p - 11. Let k be z(-9). Suppose -b + 3 = 4*r - 2, 0 = -r - 3*b - k. Suppose -12 = -r*i - 2*i. Solve 0 = -i*w + 4*w - 4 for w.
4
Let d = 8 - 1. Let x(k) = k**2 - 8*k + 9. Let y be x(d). Solve y*m - 12 = -m for m.
4