Let b(x) = -x + 4. Let p be b(0). Let f = 4 - p. Suppose v - 25 = -f*v. Solve -6*i = -i - v for i.
5
Suppose -2*q - 4*y - 28 = -4*q, 0 = -3*y. Let x = -8 - -5. Let j be q + (-3 - -3)/x. Solve 2 = -3*z + j for z.
4
Suppose 3*o - 3 = 2*o. Suppose 3*i - t - 10 = 0, -5*t = oi - 4 + 18. Let w be 28(3 + ((-231)/(-12))/(-7)). Solve w = -3*z - i for z.
-3
Let l = 8 - -4. Let u(y) = y3 + y2 - 12*y + 2. Let t be u(-4). Solve l = x + t*x for x.
4
Suppose 2*t + 10 = 0, -3*t = -3*u + 2*u + 19. Let o be ((-2)/4*0)/(-2). Solve 2*f + o = u for f.
2
Suppose 5*k = v - 3*v + 4, 2*k + 2 = v. Suppose 2*b + 3*p = -15, 5*p + 20 = -5*b + p. Solve 3*o + v + 4 = b for o.
-2
Let i = 76 - 71. Solve -5*j = -25 + i for j.
4
Let t(m) be the first derivative of m4⁄4 + m3 - 2*m**2 + 2. Let l be t(-3). Let i be (8/(-6))/((-4)/l). Solve 7 = i*o + 23 for o.
-4
Suppose -t + 13 - 8 = 0. Solve 5*w + t - 10 = 0 for w.
1
Suppose 0*l - 4*b - 25 = -5*l, -3*b = 0. Solve 2*h + l = h for h.
-5