Let w be (-2)/(-6) - 260⁄6. Let t = 63 + w. Suppose 5*s - s - t = -j, 20 = 3*j + 2*s. Solve 5*r = 11 + j for r.
3
Let r be 5 + -1*(2 + -1). Suppose 0*k - 8 = d + 3*k, 0 = -k - r. Suppose -1 = -p - i, d*i + 0 + 20 = 4*p. Solve -7*x + 16 = -p*x for x.
4
Suppose 2*c = 6*c + 104. Let z be c/(-10) - 6/(-15). Solve 0*b - z*b = 0 for b.
0
Let j(l) = -l3 - 2*l2 + 3*l - 1. Let z be j(-3). Let y = z - -3. Suppose p = -3*x - 2*p + 33, -2*x + 3*p + y = 0. Solve 1 = -2*b + x for b.
3
Suppose 2*x - 4*v + 5 = 1, -4*v = -5*x + 20. Solve -q - x = q for q.
-4
Suppose -3*b + 12 = -3*j, 4*j - 4 = -2*b + b. Suppose 12 = b*f - 0*f. Solve w = 5 - f for w.
2
Let m = 6 + -4. Let v be (-5)/(-10) - 1/(-2). Let g = m + v. Solve -g = 2*h - 5*h for h.
1
Let m be 0/(2*(-1)/(-2)). Solve -2*r + 5*r = m for r.
0
Let a(v) be the third derivative of v6⁄120 + v5⁄5 + 5*v4⁄12 - 11*v3⁄6 - 4*v**2. Let s be a(-11). Let n = s - -3. Solve -n*h - 2*h + 10 = 0 for h.
2
Let q(g) be the first derivative of g**2⁄2 + 10*g + 3. Let i be q(-7). Solve i*o - 4*o = 0 for o.
0