Let t be (2 - (-2 + -1)) + 0. Suppose 5*j - t - 10 = 0. Suppose 5*a - f + j - 7 = 0, -5*a - 16 = 4*f. Solve a = -3*q + 2*q - 4 for q.
-4
Suppose 4*v + 0*y - 16 = -5*y, 16 = 4*v - y. Solve 2*c + v = 14 for c.
5
Let u = 132 + -78. Suppose -4*q - 3*h = -u, -2*q + 26 = 5*h - 3*h. Solve -2*o = -5*o - q for o.
-5
Suppose 0 = 3*g - 0*g. Let r = g + 2. Solve 0 = -0*l - r*l + 4 for l.
2
Let c(n) = -2*n - 7. Let h be c(-5). Solve -h*g - 8 = g for g.
-2
Let t = 7 + -2. Suppose 4*r - t*r = 0. Solve r = -4*n - 8 for n.
-2
Let j(k) = k3 - 5*k2 + 5*k - 2. Let i be j(4). Suppose 3*p = -0*p - 6. Let z = p + i. Solve -3*l + 4*l - 1 = z for l.
1
Let x(n) = n3 - 4*n2 + 2. Let v be x(4). Let q = 2 + 1. Suppose q*m - 5 - 1 = 0. Solve m*r - 4 = -v*r for r.
1
Let g(t) = 2*t + t**2 - 2 - t + t + 0*t. Let c be g(-3). Solve 0 = -w + 5 - c for w.
4
Let u(n) be the third derivative of -n6⁄120 - 2*n5⁄15 - n4⁄3 - 7*n3⁄6 - 2*n**2. Let i be u(-7). Suppose 15*t - 2 = 14*t. Solve i*z + 8 = t*z for z.
4