Suppose 4*k - 1 = 3. Let x(t) = 5*t**2 - 1. Let g be x(-1). Let c = k + g. Solve 10 + 5 = -c*u for u.
-3
Let z(t) = -t3 - 5*t2 + 6*t + 4. Let c be z(-6). Suppose -4*r = 4*l - 12, 5*l + 3*r - 15 + 4 = 0. Solve b + c - l = 0 for b.
-3
Suppose 15 = -0*y - 5*y. Let u be -3 - (-3 + y - -1). Solve -2*f + u = 6 for f.
-2
Let n = 34 + -31. Solve -4*z + n = -5*z for z.
-3
Let g(a) = -a3 - 5*a2 + 4. Let j be g(-5). Suppose j*n - 9 = 3*n. Solve 3*h + 6 = -n for h.
-5
Let l = -11 - -22. Let n = -7 + l. Let c be (3 - 22/n)*-4. Solve c = k + 4*k for k.
2
Suppose -3 = 4*m - 15. Suppose 5*d = -4*q + 46, 5*q - 5*d - 24 = 11. Solve -6 = m*c + q for c.
-5
Let g = -9 + 19. Let q = g + -9. Solve 2*p = -q + 3 for p.
1
Suppose 0 = -2*b - 8, q - 3*b + 2 = -8*b. Solve q = 5*d - 2 for d.
4
Suppose -6 = -4*h + 10. Suppose -4*s + 0 + 12 = h*m, m = -4*s + 6. Let n(i) = i**2 + 34*i - 62. Let r be n(-36). Solve 0 = -m*d + r - 0 for d.
5