Let u(q) = q3 - 7*q2 - q + 10. Let c be u(7). Solve 16 = -c*x + 1 for x.
-5
Let a(v) = v**2 + 5*v - 3. Let y be a(-6). Suppose 3*r - 14 = 7. Solve -r*l + 20 = -y*l for l.
5
Let g be (2⁄4)/(6⁄36). Solve 0 = 2*b - g*b for b.
0
Suppose -2*q = 4*n + 36, 2*q - 45 = 5*n - 0*q. Let u be (n/(-1))/3 - -9. Solve 4*r - u = 4 for r.
4
Let x(u) = u + 9. Let v be -3 + (-1)/2*10. Let r be x(v). Let p = 3 - 1. Solve 7 - r = p*g for g.
3
Let r© = -c - 1. Let b(w) = 1. Let h(q) = -3*b(q) - r(q). Let i be h(5). Let x(t) = -t**2 - 5*t. Let f be x(-5). Solve 0 = -i*k - f*k - 9 for k.
-3
Let k = 8 + -3. Suppose 21 = 2*r - 5*o - 20, k*r - 15 = -5*o. Solve 0 = r*b - 4*b for b.
0
Let k = 20 - 16. Let d be -4 + 1/(k/24). Solve -6*l = -5*l - d for l.
2
Let i(l) = l**2 - 1. Let v be i(-1). Suppose 4*m + 12 = -4. Let z be (-1)/(-4) - 7/m. Solve v = -b - z*b for b.
0
Suppose 0*h = h + 3*h. Solve h = 4*v + 5 + 11 for v.
-4