Suppose -7*k = -5*k - 4. Let t = 2 - 2. Solve t = j + k for j.
-2
Let k(i) = 16*i**2. Let c be k(-1). Solve 4*v + 0 + c = 0 for v.
-4
Suppose w - 51 = -2*m, -2*m = 3*w - 10 - 47. Solve 5*o = m + 1 for o.
5
Let h(f) = f3 - 5*f2 - 15*f + 8. Let r be h(7). Solve -x - r = -4 for x.
3
Let y(h) = -h3 - 2*h2 + 1. Let o be y(-1). Suppose 0*s + s = o. Solve -c - 1 = -s*c for c.
-1
Suppose -4*c + 9 + 3 = 0. Suppose 0 = 3*o + 5*b - c, -4*o - 5*b - 9 = -3*o. Suppose v = 4*v - o. Solve 2 = 4*k - v for k.
1
Let k = 18 + -11. Solve 2*v - k*v - 5 = 0 for v.
-1
Let i(x) = -x**2 + 5*x + 5. Let z be i(5). Solve 8 = z*c + 33 for c.
-5
Let l® = 2*r. Let n be l(1). Suppose 3*s = 2*f + n, 0*f + 5*s = -3*f + 35. Solve -3*o + 1 + f = 0 for o.
2
Let g be 6/(5⁄2 + -1). Solve -2 = u - g for u.
2