Let m = 3 - 0. Suppose v + 5 = 2*n + 1, 4v - 20 = -n. Let j be (-3)/(-4)(v + 0). Solve 0 = m*w - j + 6 for w.
-1
Let h be 12/(-8) - 5/((-10)/3). Solve -c - c = h for c.
0
Let v be (-6)/21 - (-16)/7. Let t be v + (-1 + -1)/(-2). Let c be (7 - 8) + t + 0. Solve -1 = p + c for p.
-3
Let t(p) = p3 + 5*p2 + 6*p + 13. Let w be t(-4). Solve 2 = w*k - 23 for k.
5
Let y = 191 + -189. Solve y*s = s + 2 for s.
2
Suppose 2*h - 94 = -5*p, 0*h - 103 = -5*p + h. Suppose -5*j = -p + 5. Solve j = q + 1 for q.
2
Let k(q) = 2*q**2 - 12*q - 6. Let y be k(7). Solve -y*z + 3*z = 0 for z.
0
Let q = 1 - -7. Suppose 0*t = 2*t - q. Solve 5 = -t*x + 1 for x.
-1
Suppose -k - o + 2 = 0, 0 = -5*k + o - 5*o + 10. Solve k*i + 2 = -8 for i.
-5
Suppose 6*d + 9 = -5*p + 2*d, -3*d + 12 = 0. Let z be ((-6)/(-4))/(p/(-10)). Solve 2*r + 15 = -z*r for r.
-3