Suppose 0 = s - 3*s + 24. Let h = s + -11. Solve -h = z + 2 for z.
-3
Let m = -2 - -2. Let z(v) = v**2 + v + 5. Let h be z(m). Solve 0 = -0*u - 5*u + h for u.
1
Let x(i) = -i - i2 + 0*i2 + 3 + 0*i + 5*i. Let u be x(4). Solve 2 - 5 = -u*y for y.
1
Let f = -77 - -79. Solve -f*d = d - 3 for d.
1
Suppose -4*z - 12 = -6*z. Let b be (-184)/(-10) - z/(-10). Let i(g) = g + 9. Let s be i(-5). Solve -5*m - s = -b for m.
3
Suppose -3*s + 1 = -2. Let g be (-3)/(-6)*6*s. Let p = -122 + 130. Solve a - g*a - p = 0 for a.
-4
Let l be (-106)/(-6) - 12⁄18. Let u = 29 - l. Solve 3*k + u = -k for k.
-3
Suppose -f = -6*f + 65. Let x = f - 8. Solve -x*i = -4*i + 1 for i.
-1
Suppose 10 = 90*k - 85*k. Solve -k*v - 3*v + 25 = 0 for v.
5
Let j = 3 - 0. Solve 0 = j*i + 3 for i.
-1