Let m(s) = -s + 10. Let z be m(8). Let r be (-2)/3*(-9)/6. Solve r = t - z for t.
3
Let s be (-6 + 3 - -2) + 3. Solve -3*b - s*b - 20 = 0 for b.
-4
Let j© = -c3 + 6*c2 - 2*c - 8. Let k be j(5). Suppose 30 = 12*h - k*h. Solve 0 = 4*o - o + h for o.
-2
Suppose 0 = 8*y - 3*y - 95. Let l = y + -13. Solve 0 = -x + l*x + 20 for x.
-4
Let q(g) = -g. Let l be q(-1). Let i = -1 + l. Suppose 3*f + f = i. Solve -o + f = -5 for o.
5
Let l(t) = -t + 12. Let c be l(9). Suppose -2*r = 2*b + 6, -c*r + 0*b - 19 = 5*b. Solve -i + r = i for i.
1
Let w(z) = z**2 - 2. Let q be w(2). Suppose q*y = 4*f + y - 19, 0 = 2*f - 3*y + 3. Solve -x - 10 = -f*x for x.
2
Let p be 3(-1)/((-3)/4). Let o be (19 - 1)(4 + -3). Let t = o + -18. Solve t*g + 12 = -p*g for g.
-3
Let q(o) = -o3 + 2*o2 + 4. Let u be q(0). Let y be u/(2⁄2) + 0. Solve y*m - 5 = 7 for m.
3
Suppose -27 - 3 = -5*r. Solve k - 25 = r*k for k.
-5