Let x = 58 - 15. Suppose 3*j = 5*m + x, -j - 4*m - 8 = j. Let z = j - 4. Solve z*w + 1 = -3 for w.
-2
Let n be (-2)/5 - 248/(-20). Let s(l) = -2*l**2 - l - 1. Let u be s(-2). Let c = n + u. Solve 1 - c = v for v.
-4
Let f(b) = -2*b + 15 + 3*b - 12 - 13. Let l be f(12). Solve t + 5 = l for t.
-3
Let t = 12 - -13. Let u = t - 10. Solve u = -n - 4*n for n.
-3
Let z = 12 + -8. Solve -z*n = -5*n + 2 for n.
2
Suppose -x - b = 11, 2*b = x + x + 6. Let z be 2/(-4)*56/x. Solve 0 = z*y + 8 + 8 for y.
-4
Let w = -51 + 55. Solve -1 - 7 = w*s for s.
-2
Let z = 18 - 9. Solve -6*f = -3*f + z for f.
-3
Suppose 10 = -8*r + 13*r. Suppose 4*u - 12 = -0*u. Solve -1 = u*a - r*a for a.
-1
Suppose 5*j - 18 + 3 = 0, -11 = -5*g + 3*j. Let z be (-4 - -5)/(3⁄6). Let s be 0/(-2 + 1) - 0. Solve z*i + s = g for i.
2