Suppose 0 = 3*b + 4*q, 0 = 5*b - 0*q + 3*q. Let v = -1 - -4. Suppose 0 = 4*c - v*c - 3. Solve -c*t - 5 - 4 = b for t.
-3
Suppose -4*k - 2*z + 49 = -5*z, -5*z = -2*k + 35. Solve -a - 4*a = -k for a.
2
Suppose 9*d - 4*d = 30. Let g = -3 + d. Solve g = -z - 1 for z.
-4
Let k = 109 + -49. Let n be (-6)/(-4)*k/45. Solve 0 = 5*j - n*j for j.
0
Let o = 2 - 2. Suppose 3*g = -2*l + 11, -3*g = 2*l - g - 10. Suppose -4*s = l*h, 2*h + 4*s = -h. Solve u + 1 + h = o for u.
-1
Let t = 19 + -17. Solve -t*d + 8 = 2*d for d.
2
Let a = -1 - -1. Let z be 14 - 2*6⁄4. Let y = z - -4. Solve 3*o = -a*o + y for o.
5
Let b = 5 + -3. Suppose 10 = 4*l - b*l. Let v(q) = -q3 + q2 + q + 1. Let t be v(-1). Solve l = -j + t for j.
-3
Suppose -8 + 2 = -2*k. Suppose -4*z - 5 = -1. Let c be (-1)/(z/2) + -2. Solve p = -c*p + k for p.
3
Let w(y) = y**2 - 2*y - 3. Let b be w(4). Suppose b*n - 7 = 8. Solve -n*z = -6*z + 6 for z.
2