Let a(y) = 2*y**2 - 3*y + 2. Suppose 5 - 1 = 2*v. Let k be a(v). Suppose -2*u + 0*u = -10. Solve 3*x = -k - u for x.
-3
Let u be (-3)/12 + (-26)/(-8). Solve -2 - u = -5*l for l.
1
Suppose -33 = -5*y - 0*c + c, -3*y + 4*c + 30 = 0. Let b = 9 - y. Solve -6*r - 12 = -b*r for r.
-4
Let j = 0 - 4. Let m(g) be the third derivative of g6⁄120 + g5⁄20 - g4⁄6 + 2*g3⁄3 + g**2. Let w be m(j). Solve w*d + 8 = -8 for d.
-4
Let a = 6 - 5. Suppose -w = -3*w + 8. Solve -w = -r - a for r.
3
Let s(g) = -g - 7. Let m be s(-11). Solve 3 + 5 = m*t for t.
2
Let d be (-2 - (-9)/6)*4. Let l(u) = -u**2 - u + 2. Let s be l(d). Let k = -5 + 7. Solve -2*o - k = -s for o.
-1
Suppose 2*a - 7 - 1 = 0. Solve -a*r + 20 = -0*r for r.
5
Let a be 0 + 1 + 0 - -7. Suppose 0*o + 3*o - 7 = -2*q, q = -3*o + a. Solve 0 = o*j + 1 + 2 for j.
-1
Suppose -4*f = -4 - 12. Suppose 5*w - 5*j = 110, 5*w = -f*j + 103 + 7. Suppose w = 5*h - 33. Solve -1 = 3*x + h for x.
-4