Let i be (30⁄4)/5 + (-5)/(-10). Solve 10 = i*l + 3*l for l.
2
Let i = 6 - 5. Let y be 2 - (-16 + 2 + i). Let o = y + -6. Solve 0 = -o*q + 4*q - 10 for q.
-2
Let x(u) = u**2 - 4*u + 1. Let j be x(3). Let k = 6 + j. Suppose 0 = -p - k*p + 85. Solve -4*v + p - 5 = 0 for v.
3
Let b = -3 + 5. Suppose 6 = 6*f - 3*f. Solve 2 + f = -b*w for w.
-2
Suppose -k - 2*k = 0. Suppose -4*a = -k*a. Suppose 0*l - l = a. Solve l = 2*p - 12 + 4 for p.
4
Let a be 0 + (-4 - -5) + 16. Suppose 0*g = g - 5. Solve -3 - a = -g*z for z.
4
Suppose 8 = n + 1. Let c = 5 - n. Let r be (9/c)/((-5)/10). Solve -p = 2*p + r for p.
-3
Let x = 5 + -15. Let t = 14 + x. Solve t*g = -0*g - 12 for g.
-3
Suppose -b = 2*i + 16, 0 = 3*i - 3*b + 3 + 3. Let d = i + 10. Solve 5 = u + d for u.
1
Let k = 14 + -10. Solve -k*w - 25 = w for w.
-5