Suppose 0 = 2*q - 4*x + 8, x + 0 = 2*q - 1. Let v be 1/(1⁄12*2). Solve q = 4*o - v for o.
2
Let v be (20⁄3 - 0)*-3. Let y = -15 - v. Solve 2*f + 1 = y for f.
2
Suppose 5*j = -3*t - 146, 0*t + 3*t - 106 = 4*j. Let g = 47 + j. Let l = g + -9. Solve 30 - l = 5*d for d.
4
Suppose v = -v + 10. Let m(i) = 2*i**2 + 2*i. Let w be m(2). Let t = w - -4. Solve -9 - t = -v*f for f.
5
Let d(o) = o**2 + 11*o - 9. Let u be d(-12). Let t = 2 - 0. Solve t*i = 3*i + u for i.
-3
Let k be (-2)/(-1)*(2 - 4). Let d(o) = o - 3. Let a(q) = -q + 1. Let u(m) = 2*a(m) + d(m). Let j be u(k). Solve -j = 4*p + 1 for p.
-1
Suppose o = -3*o + 12. Solve o*f + 12 = -0*f for f.
-4
Suppose -15 = -0*z - 3*z. Solve 3*r = 14 - z for r.
3
Suppose -2*b = -b - 1. Solve -2*u = 3 + b for u.
-2
Suppose -2*u = -0*u - 3*k - 39, -u + 5k = -23. Let v be u + -3(-2)/3. Solve 0 = -2*l - 2*l + v for l.
5