Let n = -26 + 25. Suppose -20 = 3*g - 0*h + 5*h, -5*g - 5*h - 20 = 0. Let a be 7 + -4 - (n + g). Solve a = -3*w + w for w.
-2
Let c(u) = 2*u + 2. Let a be c(0). Solve 0 = a*v + 3*v + 15 for v.
-3
Let m(o) = o3 - o2 + 2*o - 2. Let v be m(2). Suppose 3*g - 2*d - v = -4*d, 0 = -5*g - 4*d + 8. Suppose 0 = 2*f - g*f. Solve f - 1 = -k for k.
1
Suppose w + 1 = 0, -w + 7 = u + 2*w. Suppose -u = -6*o + 4*o. Solve 9 + 6 = o*f for f.
3
Let n(q) = q3 - 14*q2 - 12*q - 2. Let v(m) = m3 - 15*m2 - 12*m - 2. Let i(h) = -4*n(h) + 3*v(h). Let k be i(12). Solve -2*s + k = -s for s.
2
Let o(d) = -3*d - 14. Let v be o(-6). Solve -2*x + x = -v for x.
4
Suppose 2*a - 6 = -4*t, 2*t - 4*t + 23 = 5*a. Let j(x) = x**2 - x. Let o be j(t). Solve 3*z - o = z for z.
1
Let s(i) = 7*i2 - 11*i + 14. Let r(p) = -20*p2 + 33*p - 42. Let x(q) = 6*r(q) + 17*s(q). Let g be x(10). Let w = g + 8. Solve -w*v = -8*v - 20 for v.
-5
Let c be (-2)/7 - (-745)/35. Let f = c + 19. Suppose g + 3*g - f = -3*j, -j = -2*g. Solve -j = 6*s - 2*s for s.
-2
Let w(t) = -t + 8. Let x(i) = i3 + 5*i2 - 7*i + 2. Let y be x(-6). Let h be w(y). Suppose h = 2*u - 6*u + 4. Solve 14 + u = -3*j for j.
-5