Suppose k + 5*q + 19 = 0, -3*q + 14 = 4*k - q. Let i be (14/(-4) - -3)/(3⁄18). Let a = i + k. Solve -a + 1 = 2*n for n.
-1
Let a(p) = p**2 + 2*p + 2. Let v be a(-2). Solve -v*o = -o for o.
0
Let t(b) = -b - 4. Let x be t(-6). Suppose -15 = 4*c + 5, -5*z = -c - 15. Suppose o - 12 = -0. Solve -z*y - x*y = -o for y.
3
Suppose 0 = 3*i + 5*x - 35, 2*x - 17 - 35 = -5*i. Let v = -7 + i. Solve -4 = v*f - 1 for f.
-1
Suppose -4*d + 3*d = b - 10, -3*b = -5*d + 42. Solve -5*x + d*x = 16 for x.
4
Suppose -5*b - 31 = -4*j, -5*j + 8 = -5*b - 37. Suppose f - 14 = -4*i, 2*f = -2*i + j - 4. Solve i*l + 2*l = 10 for l.
2
Let c be -6*(-2 + 4⁄3). Suppose 32 = -4*v - 0. Let b be 5⁄2*v/(-10). Solve 3*w = -b - c for w.
-2
Suppose -2*c - 2*o = o - 25, -5*c - 5*o + 50 = 0. Suppose 0 = c*g - 0*g. Solve g = -m - 2*m - 6 for m.
-2
Let n = 4 - 1. Let a(g) = n + 5 - 1 - 5 + 2*g. Let f be a(2). Solve 7*d = 4*d + f for d.
2
Suppose -2*c = -28 - 30. Suppose 5*i - 5*r = i + 32, 3*i - 5*r - c = 0. Solve -i*q - 4 = -1 for q.
-1