4. Solve 4*m + t*a - 8 = m, 5*m = 3*a - 35 for m.
-4
Let h be 302/3 - 12/18. Suppose 5*q + h = 4*k + k, 44 = 3*k + 5*q. Solve -4*g + 18 = 5*f - k, 0 = -g + 3*f - 8 for g.
4
Let m = -5 - -8. Suppose -6 = -2*c, -3*c = -m*q + 2*c - 3. Suppose a - q*w = -3*a + 28, 12 = -3*w. Solve -2*l = -4*h + 14, -3*h + a*l + 12 = -0*h for h.
3
Let o(t) = t**2 - 9*t - 14. Let a be o(11). Let s(r) = -r**3 + 8*r**2 + 5. Let b be s(a). Solve 0 = 3*h - 4*l - 0 + 25, b*h + 5*l - 5 = 0 for h.
-3
Let t(w) = w**3 + 4*w**2 + 4*w + 3. Let g(u) = 3*u + 10. Let j be g(-4). Let q be t(j). Solve q - 1 = 2*x, -2*y - 6 = 4*x for y.
-5
Let s be (3 - 0)/3*12. Suppose -3*w = -0*w - s. Solve 0*x + 2*x = n - 11, -1 = 5*n + w*x for n.
3
Suppose 0 = -5*r + n - 52, 3*n - 7*n + 21 = -3*r. Let o = 23 + r. Let a be o/5 + 6/(-15). Solve -4*u - a*s = 4, -4*s = -2*u - 0*s + 8 for u.
0
Suppose -n + 13 = -0*n - 4*j, 0 = 2*n - 3*j - 11. Let z be (0/(-2))/(-3) + 10. Suppose -2 = 2*m - z. Solve s - m = b, -3*b = 5*s - n + 5 for s.
1
Suppose 54 = -2*d + 4. Let m be (-85)/d + 2/(-5). Solve -m*i + 3*w - 24 = 0, 5*i - 2*i - 4*w + 28 = 0 for i.
-4
Suppose -3*s = -5*y + 222, -198 = -7*y + 2*y - 3*s. Suppose 2*z + 0 = y. Solve 0 = t + 5*p - 2 - 21, -5*p + z = 2*t for t.
-2
Suppose 0 = 2*m + y - 0*y - 9, -y = -2*m + 3. Suppose -m*s = -4*x + 54, 4*x + 2*s = -2*s + 68. Solve h - 27 = -3*z - 2*z, 5*h - x = -z for z.
5
Suppose 11 = -2*l - 11. Let v = l - -15. Suppose -9 = 3*y - y + 5*d, -3*d = -y + 12. Solve v*h = 5*h - 4*n + 14, 3*n = y*h + 15 for h.
-2
Let v be (176/12)/(-11)*3/(-2). Solve -t - 6 = 2*d + v*t, 5*t + 10 = 0 for d.
0
Suppose 10*s - 19 = 1. Solve 0 = -s*m - 2*i - 16, 2*m - 7*m + i = 22 for m.
-5
Let o be (-5 - -8) + 1 + -1. Suppose -o*t + 18 + 9 = 0. Suppose -t = 3*g - 3*l, 0*g - 17 = -g - 3*l. Solve g*c - 3*x - 10 - 2 = 0, 0 = 3*x + 12 for c.
0
Let f(s) = -3*s. Let m be f(-1). Solve -3*r - m*q = 15, 2*r + 2*q + q + 11 = 0 for r.
-4
Let o(y) = -y**3 + 10*y**2 + 11*y + 4. Let l be o(11). Let w = -23 + 25. Solve -2*j = 3*r - l, -4*j + w + 0 = 3*r for r.
2
Suppose -3*b - 2*b = -80. Solve 2*i + 5*a = 6*i + 1, i + 4*a = -b for i.
-4
Suppose -3*g + 12 + 0 = 0. Let j = 19 + -11. Let o be (2/3)/(j/12). Solve -2*u + 3*u - 7 = -p, 5*u - g*p = -o for u.
3
Let d(h) = h**3 + 4*h**2 - 7*h - 6. Let t be d(-5). Solve -t*c + 10*o = 5*o + 30, -2*o + 4 = 0 for c.
-5
Let d(q) = q**3 - 8*q**2 - 9*q + 12. Let c be d(9). Suppose y - c = -2*y. Suppose -z = -2*z + 16. Solve 4*l - y*w = z, 2*w = 5*l + w for l.
-1
Let i = 15 - 13. Suppose 4*z - 2*j = 56 - 10, -2*z - 3*j = -11. Solve -i*k + 4*b + 0 - z = 0, -k - b = 5 for k.
-5
Suppose -2*r - 3*l + 37 = 11, -4*r - l = -42. Let o = r - 14. Let f = o + 14. Solve 0 = -5*p + 5*x, -f = 2*p - 0*p - 4*x for p.
5
Let a = -3 + 5. Let o be a + 12/(-4) - -3. Solve r = o, -h + 5*r - 3 = 6 for h.
1
Let k(l) = l**3 + 10*l**2 + l + 12. Let r be k(-10). Solve r*a = -5*p - 3, -3 - 5 = -5*a + 3*p for a.
1
Let d be (10/1)/(2 - 0) + 3. Solve -j - 9 = -5*g, 2*j + 0*g = -3*g + d for j.
1
Let u be ((-3)/(-4))/(1/4). Suppose 0 = 4*o + 4*v - 4, -u*v = 5*o - 13. Solve -h - 30 = 4*t + 4*h, -2*t - o*h - 20 = 0 for t.
-5
Let b = -7 + 12. Solve 1 = -d - f, -11 = -2*d - b*f - 4 for d.
-4
Let z be (9/6)/((-6)/104). Suppose 21*b - 16*b + 220 = 0. Let w = z - b. Solve -2*i = g - 3*g, 2*i + 4*g - w = 0 for i.
3
Let p = 2 - 8. Let k = p - -15. Solve -k - 1 = u - 5*m, -u + 3*m = 8 for u.
-5
Let c(w) = w + 14. Let g be c(-12). Solve g*h = -2*m - 10, h + h + 4*m + 16 = 0 for h.
-2
Suppose -21 = -2*b - 17. Solve 0 = -b*o + 4*j - 12, 3*o + 8 = 4*j - 4 for o.
0
Suppose 3*a = -0*a + 12. Let q be (1*a)/(1/(-2)). Let l = q + 17. Solve 2*z - 3*g = z + 6, l = -3*g for z.
-3
Let l(y) = y**3 + 8*y**2 + 6*y - 2. Let c be l(-7). Suppose c*v - 4 = 4*v. Solve v*r = 3*j + 3*r + 7, 2*j + 4*r + 14 = 0 for j.
-3
Suppose 7*n = 11*n - 72. Let z be ((-27)/(-12))/(n/24). Solve -t - z = 2*c - 0*c, 2 = -3*c - t for c.
1
Suppose -2*h = 5*h - 119. Solve 4*z = -m - h, z = -m + 2*z + 3 for m.
-1
Suppose -9 = -2*m - 3. Suppose y - 3 = -1. Solve -4*i = -2*f + 12, 2*f + m*i + 33 = -y*i for f.
-4
Let w be 7/28 + (-15)/(-4). Suppose 0 = -w*d + 8 - 0. Solve 2*j = 5*v - 1, -d*j = -4*v - 2 + 4 for j.
-3
Let a = -49 - -53. Solve 4*c + w + 10 = 1, a*w = -20 for c.
-1
Let p(y) = -y**2 + 12*y - 12. Let k be p(8). Let f be k*((-21)/(-6) + -2). Solve 2*i + f = -5*u, -4*u = -0*u - 2*i + 6 for u.
-4
Let a(m) = 6*m + 0 - 2*m**2 + 7 + m**2. Let w be a(6). Solve -2*p = -15 + 5, 0 = -4*g + 3*p - w for g.
2
Let b be 10 + (-3 - 0/(-2)). Suppose -22 = -3*u - b. Solve 3*x = -l - 16, -l = -3*l - u*x - 27 for l.
-1
Suppose 20 = 4*g - 5*n, -3*g + g - 2*n + 10 = 0. Solve -g*u - 24 = 4*p, -u - 1 = 3 for p.
-1
Let y(g) = g**3 - 4*g**2 - 4*g - 3. Let s be y(5). Let b be (-6)/8 - 213/(-12). Solve -3*t + 5*f + b = 0, -2*t = s*f + 3*f + 22 for t.
-1
Suppose -m = -2 - 3. Let g be (1/(-5))/(1/(-5)). Solve -4*q - 22 = 2*o, 5*q + m*o + 41 = g for q.
-3
Suppose 4*s - 6 = 10. Suppose -s*h = 5*y - 2, -4*h + 5*y + 18 = 2*y. Let r be 0 - -18 - (h + -1). Solve 3*u + 4 = 5*g - r, -2*g - 3*u = 13 for g.
1
Let i be (2/(-3))/((-4)/6). Let h(g) = g**3 - 15*g**2 - g + 18. Let t be h(15). Let n be -3*(2 - i) + t. Solve 2*w - 3*q - 11 = 0, n = w - 5*w + q + 7 for w.
1
Let p(w) = -7*w**2 + 3*w**2 - w**3 - 11 + 3*w**2 + w + 15*w**2. Let v be p(14). Solve -v*d + 5*m = 2*m - 9, 2*d + 6 = -2*m for d.
0
Suppose 83 + 92 = -5*a. Let u be 10/a - 32/(-14). Solve 3*d = b + 3, -3*b + 1 = -u*d + 3 for b.
0
Let h be 5 - -10 - (-1 + 4 + -3). Solve 5*j - h = 0, -4*j + 12 = -5*s - 0*j for s.
0
Let g(u) = -u**3 + 14*u**2 - 14*u + 15. Let p be g(13). Suppose -5*t + 55 = k, p*t - 244 = -5*k - 38. Solve o = 5*n + 7 - 37, -3*o = -5*n + k for o.
-5
Suppose q - 5 = -o, -2*q = o + 2*q - 14. Suppose -12 = -l - o*l. Solve -l*w = 3*n + 11, -3 = 3*w + 5*n + 19 for w.
1
Let w be ((-32)/4)/(-1*2). Let m be (-2 - -5) + (2 - 0). Solve -i - 22 = -m*i - 2*p, -3*i + w*p + 11 = 0 for i.
5
Suppose -i + 2*i = g + 4, -4*g = -4. Solve 3*k + 12 = 5*m, 0*m + i*m = 2*k + 13 for k.
1
Let p = -151 + 156. Let o(g) = 2*g - 1. Let t be o(1). Solve 0 = -w + 3*c - 12, -p*w - 4*c - 2 = t for w.
-3
Let b = 5 + -3. Suppose 2*p = -2*m + 14, -2*m = -b*p - 0 - 2. Suppose 81 = 3*x - 3*l, -p*l + 54 = 2*x - l. Solve o - 5 = k - 2, 5*o - x = -k for k.
2
Let u(k) = -k**2 - 5*k - 6. Let d be u(-2). Solve -20 = 3*h - 0*x + 2*x, d = -h + 2*x + 4 for h.
-4
Suppose 5*l = -0*l + 15. Suppose -l*g + 4 = -g. Solve -19 - 2 = -4*m - 5*q, 4*q = -g*m + 18 for m.
-1
Let f(j) be the third derivative of j**4/6 + j**3/6 + 4*j**2. Let c be f(1). Solve b - c*b + 5*p = -19, 3*p = -9 for b.
1
Suppose 275 = 4*i - 9*i. Let c be (-42)/(-11) - 10/i. Solve 0 = o - 6*m + 2*m - 15, -m = c*o + 25 for o.
-5
Let v = 51 - 34. Solve -2*s - 2*s - v = 5*f, 4*s + 11 = f for f.
-1
Suppose 4*b + 5*a = -12, 0 = b + 2*b + 2*a + 9. Let i be (-1)/b - 22/(-6). Suppose -k = i*k. Solve 0 = -2*u - q + 4, 5*u - q + 2*q - 7 = k for u.
1
Suppose 17 = 4*q - 3*p - 0, q = p + 5. Suppose -2 = -q*j + 8. Solve 2*x + 29 = 5*a, 0*a - j = -a for x.
-2
Let j = 22 - 15. Let x(p) = p**3 - 6*p**2 - 7*p + 4. Let c be x(j). Solve c*n + 4 = 5*w, 3*w - 2 = -5*n - 7 for w.
0
Let y = -2 - -13. Let z = 6 + -4. Suppose z*u = -0*u + 8. Solve -2*l + 4*b + 2 = 0, 0 = 4*l + 3*b - u + y for l.
-1
Let p(z) = -4*z - 3. Let v be p(6). Let j = -22 - v. Solve -35 = 5*l + 5*g, -3*l - g = -6*l - j for l.
-3
Let f(u) = -3*u**3 + 2*u**2 - 3*u - 4. Let c be f(-1). Solve -20 = -2*p - 3*p + 3*l, -l - c = p for p.
1
Let p = -29 + 29. Solve k + 2 = -3*q, -3*q + 6 = -p*k - 3*k for q.
0
Let y(i) = 3*i + 4. Let a be y(-3). Let c = a - -7. Solve 4*l - 5*v = 33, -2*v - 21 = c*l + 3*v for l.
2
Let w be -1 + 1 + 1 + 1. Let f be (-4 + 35/10)*(-10 - 0). Solve -b - 6 = -y, -f*y + w*y - 12 = 3*b for b.
-5
Let h(y) = -y**2 - 3*y + 2. Let t be h(-3). Suppose t = 2*f - f. Solve 0 = 3*g - 5*j - 3 - f, 3*g + 3*j = -27 for g.
-5
Let i be 1 + 0 - 2/2. Let t be i/(1/(-2)*-2). Let p = 34 - 29. Solve -2*y - 3*y + x - 1 = t, p*y - 3*x + 3 = 0 for y.
0
Let t(h) = -h**3 + 7*h**2 + 5*h - 3. Let f be t(7). Let q = 54 - f. Solve j - 4 = -4*y, -3*y + 3*j + q = 2*y for y.
2
Suppose 4*b + 1 = 3*l, 2*b + 0 = 2*l - 2. Solve -b*v = i + 2, 5*v - 3*i + 23 = -i for 