Let z be (-1)/(-3*3/(-45)). Let b = z + 7. Solve -2*t - b*t = 8 for t.
-2
Suppose 13 = 4*v + 5*w, v - w + 1 = 2. Suppose 10 = 6*t - v. Suppose 4*m - 4*j = 8, 4*j = 2*m - 3 - 5. Solve m = -c + t for c.
2
Suppose a + a - 12 = 0. Suppose 2*z = 8 + a. Suppose 32 = 5*l + z. Solve -l*v + 2 = 7 for v.
-1
Let i(m) = 5*m - 16. Let x be i(5). Solve 0*u - 3*u = -x for u.
3
Let c be ((-1 - -4) + -3)/1. Suppose c = 2*q + q. Solve -3*b = -q*b for b.
0
Suppose -3*j + 2*l - 1 = l, 0 = l - 4. Solve m - j = 2*m for m.
-1
Let m = 30 + -29. Solve -2 - m = -3*q for q.
1
Let w(p) = -3*p + 5. Let s be w(5). Let h(d) = -3*d - 2*d - 12 - d**2 - 7*d. Let r be h(s). Solve -3*o + r = -7 for o.
5
Suppose 0 = -13*y + 8*y. Solve 6 = -3*a - y for a.
-2
Let m be 4(-5)/30-9. Solve w + 2*w = -m for w.
-2