Let x(t) = 9*t + 12. Let c be x(-5). Let y = -27 - c. Solve 15 = -k + y*k for k.
3
Suppose -l + 3*l = -5*o - 5, 6 = 3*l + 3*o. Let z = 7 + -7. Suppose z = 3*u + f - 29, u - 5*u + 12 = -4*f. Solve -17 - u = -l*d for d.
5
Suppose -5*a - 5*g - 15 = -a, -4*g = -5*a + 12. Solve 0 = x - a*x for x.
0
Let c be (4⁄8)/(1/(-4)). Let l be 3*(5/(-3) + c). Let q = l + 15. Solve v = -v + q for v.
2
Suppose -203*u + 207*u - 40 = 0. Solve 2*k + u = -0*k for k.
-5
Suppose -n = n - 10. Solve 4 = -n*q + 29 for q.
5
Suppose -13*l - 30 = -18*l. Solve l*t = 5*t - 1 for t.
-1
Let c be (11 - 8)/(-6*3/(-12)). Let y(v) = -6*v - 2. Let q be y(-2). Solve -c*t + 0*t + q = 0 for t.
5
Suppose 3*i = -1 + 10. Solve w + i*w = -16 for w.
-4
Suppose 5*b + 3 - 23 = 0. Let k be 0/b + 3*2. Let h = k - 3. Solve 2*w + 5 = -h*w for w.
-1