Let v = -13 + 15. Solve 3*u - v*u = -3 for u.
-3
Suppose g - 13 = 4*z, -g + 15 = -4*z - z. Let t = g - 4. Let y = t + 7. Solve 3*d = d + y for d.
4
Suppose 6 = 3*r - 3. Let n = -31 + 32. Suppose -2*y + 13 = -o, 3*y - 2*o = 21 - n. Solve -3*g = -y*g + r for g.
1
Let m(d) = 6*d - 2. Let y be m(2). Suppose -3*u + 10 = 4*c, -5*c - 4*u = u - y. Solve s - 15 = -c*s for s.
3
Let h be (-4)/(-8) - 74/(-4). Solve 1 = -4*p - h for p.
-5
Let v© = 2*c**2 + 1. Let o be v(2). Suppose 5*x - 65 = -5*f, 0 = -f + x + o. Solve f + 9 = 4*u for u.
5
Let n(t) = 8*t**2 + 1. Let a be n(1). Let z be ((-20)/(-16))/((-2)/(-32)). Suppose 4*p - z = -p. Solve -p*u + a = -11 for u.
5
Let o be -7-1(-2)/(-2). Suppose -13 - o = -5*z. Solve -4*n = -20 + z for n.
4
Let a(l) be the third derivative of l4⁄8 - 2*l3⁄3 + 2*l**2. Let v be a(4). Let w be (2 - 1)*4 + -2. Solve -w*k - v = 2*k for k.
-2
Let r be 25⁄2*(-4)/(-5). Suppose 0 = -2*i + r, 3*p + i = 35. Suppose 6 = -2*n - 4*h, -4*n = -2*n + 5*h + p. Solve n*d + 2 - 7 = 0 for d.
1