Suppose 0*c + 6 = c. Solve c*a + 3 = 3*a for a.
-1
Let r(h) = 5*h - 2. Let j be r(2). Let v = -11 + j. Let g = -3 - v. Solve y + y = g for y.
0
Let w(q) = -q3 - 5*q2 + 5*q - 2. Suppose -4*j - 9 = o + 9, 2*j = 3*o + 12. Let b be w(o). Suppose -5*y + 2*r = r - 5, 4*y = -b*r + 28. Solve -y*m = m for m.
0
Let v(y) be the third derivative of y6⁄120 + y5⁄15 + y4⁄8 - y2. Let s be v(-2). Solve s*z = 4*z for z.
0
Let t(p) = -p**2 + 2*p + 2. Let d be t(2). Suppose 0 = y - 6*y + 75. Let i be 3/y + (-2)/10. Solve -d*a + i*a = -10 for a.
5
Let m(y) = y - 3. Let p be m(7). Suppose -2*h = -0*h - p. Solve 3*d + 1 = -h for d.
-1
Suppose 5*d = -4*h + 3 + 1, -4*d = -2*h - 24. Suppose d*c = c. Solve -y - 2 + 7 = c for y.
5
Suppose 0 = 4*i - 13 + 1. Let q(f) = 2*fi + 3 - f3 - 2*f**3 + f. Let b be q(0). Solve 5*a - b*a = -2 for a.
-1
Suppose 2*k - 11 = 1. Suppose -b - 2*b + 5*x - k = 0, -x = -b. Suppose b*a = -a. Solve -4*y + 14 + 2 = a for y.
4
Suppose 0*s + s = b - 7, -3*b = 5*s + 11. Suppose -y + b*y = 6. Solve -i + 4*i = y for i.
1