Suppose 5*k - 135 = -35. Solve k = t + 3*t for t.
5
Let l be ((2 - -8) + -6)*(-1 - -2). Solve -l + 6 = -k for k.
-2
Let c be (-9)/(-12) - 5/(-20). Solve 11 - c = -2*x for x.
-5
Suppose r + 12 = 2*t, -t - 4*r = -r - 6. Let s = -4 + t. Solve -1 + 3 = -s*q for q.
-1
Suppose -3*o = -u - 4*u + 60, 0 = 5*u - o - 70. Suppose -5*j + 0*j + u = 0. Solve 17 - 2 = j*b for b.
5
Let x be (-35)/(-14) + 6⁄4. Let l(u) = u**2 - 3*u - 3. Let h be l(4). Let k = h - 1. Solve k = -x*j + j for j.
0
Let i(k) = 4*k + 7. Let q(d) = d + 1. Let n(s) = -i(s) + 5*q(s). Let b be n(3). Solve 0*l = l + b for l.
-1
Suppose 0*q + 4*q + 2*s = 8, -4*q - 5*s = -2. Suppose q*m - 2*c - 4 = 0, -c = 2*c - 12. Solve -h = h - m for h.
2
Let k® = r3 + 6*r2 - 6*r + 4. Let h be k(-7). Let b be (h/2)/((-4)/40). Solve 0 = 5*n - 2*n + b for n.
-5
Let k = -9 + 30. Let i be 2⁄2*(-2 + 5). Suppose 0 = -5*l - 3*h + i + 31, -4*l + 35 = 5*h. Solve -4*r + l - k = 0 for r.
-4