Suppose -5*x - 5*c = -0*x - 95, 3*x - c - 37 = 0. Let d = x + -12. Let q(b) = b**2 + 2*b. Let w be q(-3). Solve -w*v - 4 = -d*v for v.
-4
Suppose -45 + 10 = a. Let j be (42/a)/((-3)/10). Let w = j + -4. Solve -d + 6*d - 10 = w for d.
2
Suppose 2*k + 2 = 26. Suppose -8 = -5*t + k. Solve 0*u + t*u + 12 = 0 for u.
-3
Let x be 24⁄11 + (-81)/(-99) + -1. Suppose 5*c = -21 + 6, 5*c + 36 = 3*w. Solve -x = -f - w for f.
-5
Let i be 3*(1 - 8/(-6)). Let s(m) = -m + 0*m - m - i. Let r be s(-5). Solve -r*k - 6 = -k for k.
-3
Suppose -4*d - 12 = -44. Suppose -u + d = 3u. Let r be (-16)/(-5)(u - -3). Solve -2*l - r = 2*l for l.
-4
Suppose 0 = -4*u + 12, 3*g - u + 3*u = 24. Suppose -h = 5*q - 6, -3*q = 5*h + 8 + g. Solve -q*z = -6*z - 8 for z.
-2
Let s(h) be the second derivative of h4⁄12 + 4*h3⁄3 - h**2 + 2*h. Let j be s(-8). Let x = j + 2. Solve -c = -x*c + 4 for c.
-4
Suppose -2*i - 19 = -2*z - 5, -3*z = 5*i + 19. Solve -3 = -z*n + 1 for n.
2
Let g(w) = -w + 5. Let f(y) = y**2 - 3*y - 5. Let v be f(5). Let o be g(v). Let b be (-1 + -3 - 0)/(-2). Solve b*c + 2 + 6 = o for c.
-4