Let r(t) = t2 + 1. Let k be r(3). Suppose -2*f + 4*v + 2 = 2*v, k = -2*v. Let b(o) = 2*o2 + 6*o. Let s be b(f). Solve 3*y = s*y + 15 for y.
-3
Let l(k) = -k**2 + 7*k - 6. Let f = 0 - -5. Let q be l(f). Solve -3*d - q = d for d.
-1
Suppose -r - 2 = q, r = -4*r - 4*q - 6. Solve r*u - 6 = 5*u for u.
-2
Suppose 2*t + 5*o + 35 = 7*t, 0 = 5*t + 5*o - 55. Let u = -6 + t. Suppose 0 = u*m + m - 80. Solve 3*w + 2*w = -m for w.
-4
Let a = 5 - 2. Suppose 4*o = 6*o - 2*m, 0 = a*m. Suppose -2*l - 2*l + 16 = o. Solve h - l = -h for h.
2
Suppose 4*x - h - 7 = 0, 4*x + x - 2*h = 11. Solve 4*o + x = 3*o for o.
-1
Let c = 7 + -2. Solve -2 - 8 = c*j for j.
-2
Let w be (2⁄6)/((-1)/3). Let d be -3*(2/(-1))/w. Let t = d + 14. Solve k = -k - t for k.
-4
Let a = -39 - -42. Solve y = -0*y + a for y.
3
Let n be 6⁄27 - 14/(-18). Let t = n - -8. Suppose 3 = 3*u - t. Solve -5 = -u*x - x for x.
1