Let x = 7 - 3. Suppose x*i = 5*i. Solve i*z = z for z.
0
Let z(x) = x + 12. Let q be z(-9). Let u be 24/(-14)*(2 + -9). Suppose 0 = -r - q*l - 4, -r + 10*l + u = 5*l. Solve -3 = r*o - 5 for o.
1
Let h = -16 + 8. Let l(b) be the first derivative of b4⁄4 + 3*b3 + 7*b**2⁄2 - 5*b + 3. Let m be l(h). Solve -x + m = 2*x for x.
1
Suppose -4*b + w + 4 = 0, -5*w - 1 = b - 2. Let d = 6 - 5. Let x = b + d. Solve v = -0*v + x for v.
2
Let t be (-10)/1 + (-15)/(-5). Let v be 48/t*(1 + -8). Let i be (-1)/(3 - 147/v). Solve -3*j + i = 4 for j.
4
Let x® = r3 - 6*r2 + 6*r. Let l be x(5). Suppose z + z + 5*z = 0. Solve -f + l*f - 4 = z for f.
1
Suppose -10*p + 24 = -2*p. Solve 6 = p*m - 0 for m.
2
Let q be (5 + -5)*(0 - -1). Solve -s - s + 2 = q for s.
1
Suppose -10 = -r + 3*r. Let t = r + 5. Solve 0*l + l - 1 = t for l.
1
Let r = -1 - 9. Let x be 4⁄10 + (-16)/r. Solve -x*n + 6 - 2 = 0 for n.
2