Suppose -5*y + 15 = -10. Suppose -y*x - 15 = 0, -2*f + 4*x = 2*x - 12. Let d = 7 - 5. Solve -d*u = -f*u for u.
0
Suppose -2*l = -l. Suppose z + l = 4. Let w be (4/(-2 + z))/1. Solve -w*v + 1 + 5 = 0 for v.
3
Let v(n) = n**2 - 5*n + 8. Let g be v(2). Solve -4 = g*j - j for j.
-4
Let p be 2/(-3)*(-30)/5. Let y = 9 - p. Solve 0 + 10 = -y*l for l.
-2
Let v be (-5)/2*-2 + 1. Suppose -3*d + v = -9. Suppose z = 2*g - 7, 0*g + d*g = -2*z + 13. Solve -j - 2 = -g*j for j.
1
Let b be 0*(-2)/(-4 - 0). Solve 5 = n - b for n.
5
Let d(a) = 2*a**2 + 5*a - 3. Let o be d(3). Suppose 0 = -7*j + 2*j + o. Suppose 0*y - j = -2*y. Solve -r = y*r for r.
0
Let v(w) = -5*w + 13. Let n(d) = -3*d + 7. Let y(a) = 7*n(a) - 4*v(a). Let f be y(-3). Suppose -q - 2 + 5 = 0. Solve -q*l - 3 = -f for l.
-1
Let h(s) = -s3 + 9*s2 + 2*s - 5. Let u be h(9). Let f = u - 7. Solve -k + f*k = 20 for k.
4
Let h(y) = y**2 - 5*y - 6. Let d be h(7). Solve d*f = 3*f for f.
0