Let b = 9 + -4. Solve -b*s + 25 = -0*s for s.
5
Let d(t) = -t3 + 6*t2 + t - 4. Let l be d(6). Let h be (-1)/((-4)/(30 - -2)). Solve l*r + 0*r = h for r.
4
Let x be (-4)/(-10) - (-38)/(-95). Let h(z) = 2*z - 4. Let b be h(3). Suppose b*m = -x*m. Solve m*w - 2 = w for w.
-2
Let z(i) = 14 - i2 + 0*i2 + 0*i**2 - 11*i. Let y be z(-12). Solve -y*g - 14 = -4 for g.
-5
Let j© = 2*c - 5. Let v be j(4). Suppose -22 = 2*a - 4*a. Suppose v*k + m - a - 6 = 0, -3*k + 2*m = -29. Solve -k*l = -2*l - 5 for l.
1
Let o(j) = j3 + 7*j2 - 7*j + 11. Let x be o(-8). Suppose 4*m - 17 = -5*u, 0 = -6*u + 2*u - x*m + 14. Solve -5*z + 4*z = -u for z.
5
Suppose 0 = 2*x - 27 - 7. Solve x + 3 = 4*o for o.
5
Let y(t) = t**2 + 3*t + 2. Let g be y(-1). Solve -3*m + g*m - 9 = 0 for m.
-3
Let q be (-1 + -1)/2*-4. Solve -1 = -q*x - 5 for x.
-1
Suppose -3*t + 7*t = 20. Suppose -10 - t = -3*c. Solve c*v - 15 - 5 = 0 for v.
4