Suppose 25 = 5*t + 2*c, -4*c + 0*c + 26 = 2*t. Let l = t + 1. Suppose k - 2*k = -l. Solve k = -2*u - 2 for u.
-3
Suppose 0 = -5*c, x + 3 = 2*x - c. Solve 6 = x*v - 0 for v.
2
Suppose u + 155 = 5*b, 2*b - 54 = -0*b + 2*u. Let q be (-3)/(-4) - (-8)/b. Suppose -2*j + 7 = q. Solve -t = j*t - 16 for t.
4
Let y = 2 + 1. Let f(n) = -n3 - n2 - n + 1. Let v(q) = 5*q3 + 9*q2 + 8*q - 2. Let t(j) = 6*f(j) + v(j). Let u be t(y). Solve z = -4*z - u for z.
-2
Let c(p) = 2*p + 2. Let h be c(5). Let u = -9 + h. Solve 0 = u*q + q for q.
0
Suppose 102 = -5*y + 22*y. Solve -34 + 10 = y*s for s.
-4
Suppose 0 = -4*q - 3*i + 7, -3*i - 29 + 0 = -5*q. Suppose q*h - 16 = -0*h. Solve -2*x - 2*x + h = 0 for x.
1
Let p = 34 + -29. Solve -p*f = -2*f for f.
0
Let q = -4 + 3. Let d be (-27)/6 - q/2. Let a = 4 + d. Solve -2*r = -a*r - 8 for r.
4
Suppose 2*c = 3*k - 21, 3*c = -5*k - 20 + 74. Suppose 4*n + 18 = -x, -3*x = -3*n + 5*n + 14. Let p = n + k. Solve -a = 4*a + p for a.
-1