Suppose r = -0*r + 4. Solve -d = r*d - 10 for d.
2
Let x(n) = 4*n + 9. Let f(v) = 5*v + 10. Let l® = 5*f® - 6*x®. Let y be l(5). Solve j = -0*j + y for j.
1
Let i be (-10)/(-5 + (0 - -4)). Solve -2*q = -0*q - i for q.
5
Suppose 5 = 4*r - 7. Suppose 0 = -w + 5*m - 16, -4*w + 6*m = r*m - 4. Solve -3 = 5*k - w*k for k.
-3
Let l be (-3)/((-10)/(-4) + -3). Suppose l*p = 2*p + 12. Suppose 0 = 5*s - p - 7. Solve 0*n - s*n = -4 for n.
2
Let b = -13 + 11. Let q be (-2 - -8) + (b - 1). Suppose 0 = f + 2*z + q, 8*f + 3*z + 2 = 4*f. Solve -21 = -4*c - f for c.
5
Let v = -9 + 12. Let r = v + -2. Solve -2*b + 5 = r for b.
2
Let x(d) = d**2 - 3*d + 4. Let y be x(3). Suppose 4 + 11 = -2*r - 5*p, -5*r - 3*p - 9 = 0. Solve 0 = -r*v + y*v for v.
0
Suppose -4*c + 19 = 3. Let l = 5 + -3. Suppose 0 = -l*v - 3*v + 30. Solve 0 = -h + c*h + v for h.
-2
Suppose 0*u - u - 6 = 0. Let n = u - -23. Suppose 4*b + 3*x = n, 2*x + 2*x - 12 = 0. Solve 0*s = -s - b for s.
-2