Suppose 5*c = c + 68. Solve 5*f = -2 + c for f.
3
Let m(y) be the second derivative of y5⁄20 + y4⁄3 + y**2 + y. Let h be m(-4). Suppose -h*a + 34 = 3*b + 2*b, -b + a + 4 = 0. Solve 6*r = 3*r + b for r.
2
Suppose 9*c + 20 = 4*c. Let y = -2 - c. Suppose y*a + a = 0. Solve a = 3*u + 3 - 18 for u.
5
Let a = 35 - 30. Solve 11 = a*o - 4 for o.
3
Suppose 4k - 2 - 6 = 0. Let c be (-3)/9 - 20/(-6). Let q be 23 + 6(-3)/6. Solve -q = c*w + k*w for w.
-4
Let z(a) = -5*a3 + 4*a2 - 4*a + 2. Let h be z(2). Let u = h - -42. Solve u = -2*p - 2*p for p.
-3
Suppose -2 - 13 = 5*j. Let z be j/(-9) + (-2)/6. Suppose 0 = -z*l - 3*l + 3. Solve -1 = g + l for g.
-2
Let h(n) = -n - 8. Let d be h(-11). Let o be 4 + (-3 - -2 - 0). Solve -d = 2*j + o for j.
-3
Let d(h) = -h**2 + 14*h - 2. Let v be d(12). Suppose -8 = -3*i + v. Solve -l + i = l for l.
5
Let v(u) = -u + 10. Let p be v(7). Suppose p*m - m = 6. Suppose 4*c - 11 = -m. Solve 0 = -c*z + 4 for z.
2