Suppose 5*j = 15 - 0. Solve 0 = j*x + 7 - 1 for x.
-2
Let s be -20*(-2)/4*1. Solve -s = -v + 3*v for v.
-5
Let k(u) = u3 + 5*u2 + 4*u + 3. Let s be k(-4). Suppose -c + m = -s*c, -5*c - 5*m = 0. Solve 0 = q - c*q - 3 for q.
3
Let n = -2 + -2. Let u = n - -17. Solve -4*p - u - 3 = 0 for p.
-4
Suppose -4*k + 5*k - 2 = 0. Solve k*g - 2 = 4*g for g.
-1
Suppose -3*s - 3 = -4*s. Suppose -3*t - 5 = -20. Solve t*c + s = -2 for c.
-1
Suppose -2*z = -14 + 8. Let b(o) be the first derivative of -o4⁄4 - 4*o3⁄3 - o**2⁄2 - 2. Let d be b(-4). Solve z*k + 8 = -d for k.
-4
Let m = 6 + 0. Solve 2*p - m = -0*p for p.
3
Let s be 9/(-1)*20⁄6. Let b be (s - 0)*6/(-15). Suppose -3*x + b = 2*l, 0*x + 3*x - 4*l + 6 = 0. Solve -x*j - 2 = -0 for j.
-1
Suppose 0 = -4*b + 4*u, -4*b = -5*u + 1 - 0. Solve 2*j - 7 = b for j.
4