Let z = -53 + 32. Let x be (-6)/z + 12⁄7. Suppose 2*h - 5*t + 17 = x, -5*h - 2*t = -6. Solve h = -2*f - 0*f + 8 for f.
4
Let n(p) = p. Let l be n(5). Let s = 21 - 14. Let m = s + 8. Solve m = 2*b + l for b.
5
Let p = -4 - -3. Let f = p + 7. Let b(t) = t3 - 6*t2 - 8*t + 10. Let x be b(7). Solve x*v - 6 = f for v.
4
Suppose 15*l - 30 = 10*l. Solve 0 = s - l + 9 for s.
-3
Let u(j) = j**2 - 3*j + 1. Let k be u(4). Suppose -k*r = -0*r - 20. Suppose 3*o + 5*x = x + 8, -4*x + 8 = 0. Solve -4 = -r*l - o*l for l.
1
Suppose -2*i + g = -0*i - 7, 0 = i + 4*g + 10. Suppose 2*p + 2*p = 84. Let u = p - 20. Solve -3 = -i*j + u for j.
2
Suppose 0*c = -2*c + 3*t + 6, c = -2*t + 3. Suppose c*l + 0*l = 0. Suppose -3*r = -6*r + 6. Solve l = -4*g - 2 - r for g.
-1
Suppose 0 = -6*g + 9*g. Let f be g/(-3 - (-1 + -1)). Solve q - 6*q + 20 = f for q.
4
Suppose 4*q - u = 130, 0 = 2*q + u + 2*u - 72. Let o be 72/q + (-4)/22. Suppose 6 = o*p + p. Solve 5*n - p*n - 6 = 0 for n.
2
Suppose -3*u - 5*c - 10 = 0, 2*c = u - c - 20. Solve -1 = -2*f - u for f.
-2