Suppose 2*t = t. Suppose -w + t*w = -4. Solve c - w*c = -9 for c.
3
Suppose 0 = x - 5*r - 14, 3*r + 14 = -2*x + 4*x. Suppose -1 = 4*v - 2*l - 7, 4*v - 13 = -5*l. Solve -10 = x*t + v for t.
-3
Let h be (6 - 2) + -1*1. Solve 0 = -h*v - 0*v - 12 for v.
-4
Suppose -5*h + 10 = -0. Solve -h + 8 = 2*u for u.
3
Let k = -52 - -52. Solve k*l - 3 = -l for l.
3
Suppose 3*a = -3 + 9. Suppose -a*b - b = -48. Suppose -2*y - b = -4*y. Solve -p + 3 = y for p.
-5
Let b(x) be the second derivative of -x4⁄12 + x3⁄6 + x**2⁄2 + 4*x. Let t be b(0). Suppose 2 = y + t, -2*s + y + 5 = 0. Solve 0 = p + s*p for p.
0
Let u = 54 + -51. Solve u*g = -3 - 3 for g.
-2
Let a = -1 - -1. Suppose -5*t - 2*c + 21 = 0, -2*t = t - 5*c - 25. Suppose -d + 5*d - 8 = -4*q, -t*d + 40 = -5*q. Solve -d*r + 9 + 11 = a for r.
4
Let n be (-8)/(-20) - 6⁄15. Suppose 0 = -n*x - 3*x - p + 26, 5*x = 4*p + 32. Solve -x = o + o for o.
-4