4. Let f be q(v). Solve 3*m - f = 5*w, 4*m + o = -3*w - 2 for m.
1
Let m be 18/3 + (1 - 2)*3. Solve -z + 13 = 3*u, 0 = 3*z - 5*u - m + 6 for z.
4
Suppose 2*m - 2*n = 2*n + 10, 2*m + 5*n = -8. Let j = -9 + 3. Let q = m - j. Solve -5*i - 3 = -l - 6, 4*l - i - q = 0 for l.
2
Suppose 2*h - 25 - 23 = 0. Solve -4*u = 2*q + h, -u = -5*q + 4*q for u.
-4
Suppose 0 = 2*i - 6*i + 4*q + 12, -6 = -2*i - 3*q. Solve 3*f + u + i = 0, -f = u + u + 6 for f.
0
Suppose 0*v - 18 = 5*v - 4*q, -v = 4*q + 18. Let a = 9 + v. Solve a*k - 3 = 0, t - k + 1 = k for t.
1
Let c = -24 + 34. Suppose 0*z + 3*a - c = z, -3*a = z - 14. Solve -4*i + 9 = z*k - 5*i, 0 = k + 5*i + 1 for k.
4
Suppose 13*l + 47 - 151 = 0. Solve -2*h - 2*h - 4*j - l = 0, -5*j - 14 = 3*h for h.
2
Suppose -t + 369 = 8*t. Solve 5*z = -4*c - t, -3*z + 2*c - 3*c - 19 = 0 for z.
-5
Suppose 3*v + 6 = h + 2*h, h - 8 = -5*v. Let c be 4/(-14) + (-120)/(-28). Suppose -3*p = -2*p - 4. Solve 0*l + 28 = c*l - 5*o, 4 = -p*l - h*o for l.
2
Let v = 27 - 11. Suppose -13 = -3*y + 5. Let l be 1/(-3) + 2/y. Solve -o + 3*x - v = 0, l = 5*o + 3*x - 0 + 8 for o.
-4
Let o be (-160)/28 - (-2)/(-7). Let x = o + 11. Let n = -1 + 9. Solve -2*h + 3 = 3*c, -n*c + 4*h = -3*c - x for c.
1
Let r = 2 + 1. Suppose -3*g + 18 = -a - 0*a, 0 = -a - r. Solve -g*w - 13 = -4*n, -2 = -0*n - n for w.
-1
Let h(a) = -15*a - 8. Let b be h(-1). Solve 3*v = 4*k + b, 0 = 2*k - v + 2*v + 11 for k.
-4
Suppose y = -4*y + 25. Suppose -y*i - 5 = -25. Solve 4*g + i*l + l + 36 = 0, 5*g = 5*l for g.
-4
Let f be ((-4)/((-16)/(-3)))/((-2)/8). Solve 4*o = f*c + 1, 3*c + o = 6*o - 5 for c.
5
Let u = -18 - -21. Solve 0 + 16 = 4*o + 4*i, -12 = -u*o - 4*i for o.
4
Suppose 0 = -3*r - r. Let s be r/(-6 + 4) - -15. Solve 2*q = -3*u + 15, 2*u + q - s = -u for u.
5
Let u = 16 + -11. Suppose u*d - 8 = 3*d. Suppose 2*g + 0*g = d. Solve 5*y + 16 + 4 = -g*r, -8 = 2*y + 3*r for y.
-4
Suppose -3*a = 7*a - 20. Solve v = 0, -a*v = 2*c + c for c.
0
Let r(h) = h**2 - 6*h - 7. Let z be r(7). Let w(j) = -j**3 - j**2 + 4. Let d be w(z). Solve d = -y + k, 6*k = 3*y + 2*k + 14 for y.
-2
Let n(u) = -4*u - 1. Let h be n(-1). Let b = 8 + h. Solve 3*v = -5*k + 11, -b = -6*v + v - k for v.
2
Let p(g) = -3*g**3 - 15*g**2 - 5*g - 9. Let q be p(-5). Solve 2*y + 4*i - q = y, -2*y = -3*i + 12 for y.
0
Suppose 0 = -4*d - 20 + 32. Solve -4*n - 5*i + d = -2, -5*n + 2*i + 31 = 0 for n.
5
Let s be (-94)/(-18) + 4/(-18). Let m be 2/5 + 48/30. Suppose -s*l = -m*g - 30, 0*l - 3*l + 5*g = -37. Solve 2*c = -5*p, -4*c + l*p + 30 = -p for c.
5
Suppose 4*q + 4*v - 76 = 0, -2*q - 3*v + 5*v = -22. Solve 3*n + 5*m = 5*n - q, -5*m = 4*n + 15 for n.
0
Let d = -8 + 11. Suppose j + r - 3 = 0, 0 = -d*j + 5*r + 17 + 16. Let x be (4/j)/(3/9). Solve 3*p + 14 = 2*a + x*a, -4*p = 3*a + 2 for p.
-2
Let k(z) = 2*z**2 + 0*z**3 + 2*z**3 - 1 + 2*z**3. Let y be -1 - 2*-1 - 0. Let c be k(y). Solve -i = f - 4*f + 6, i = 2*f - c for i.
-3
Let s be (0 - -5) + (-13 - -10). Solve 5*a = s*y, a = -a for y.
0
Suppose -6*x + 3*x + 81 = 0. Suppose 3*m = 5*j - x, 0*m + 4*m = -16. Solve -j*w - 1 = w + 5*i, 5*w + i = -17 for w.
-4
Let a be (-3)/((-12)/80) - 1. Solve -v + 2*h - 6 = -4*v, -v + 5*h + a = 0 for v.
4
Let a(b) = -b**2 + 7*b + 10. Let d = -2 + 9. Let p be a(d). Suppose 6 + p = 4*s. Solve 0 = -3*y - 3*r + 3, -s*y + 3*r + 2 = 5*r for y.
0
Suppose -5*l - 25 = 3*o, -20 = 3*o + 2*l + 2*l. Solve -5*i - d - 4*d = o, d = -2*i - 1 for i.
-1
Let n(v) = -v**3 + v**2 + 2. Let a be n(-2). Let d = -61 - -65. Solve -x = -y + 6, d*x - 4*y = -5*y - a for x.
-4
Let w be (-2)/9 + 130/18. Suppose 2*u + w + 10 = f, u = -f + 14. Let b be 3*-1*2/(-2). Solve b*r + 2*p = -f, 2*r = -2*r - 4*p - 24 for r.
-3
Let u(f) = 2*f - 3. Let h be u(3). Let p(o) = -o + 3. Let b be p(h). Let t(i) = -i + 4. Let y be t(b). Solve m + m + 3 = x, -4*x = -y*m for x.
-3
Let l(b) be the third derivative of -b**4/24 + b**3/3 + 3*b**2. Let k be l(2). Solve 3*a - 4*o - 7 = k, 3*a + o - 2 = -0 for a.
1
Let y(q) = 3*q - 2. Let s(m) = 4*m - 2. Let f(c) = -4*s(c) + 5*y(c). Let h be f(-6). Solve u + 3*j = -u + 5, 0 = h*j - 4 for u.
1
Let j = -66 - -44. Let k = 15 + j. Let r = 11 + k. Solve -10 - 14 = -4*o - r*x, 15 = -5*o + 4*x for o.
1
Suppose 4*d = -5*k + 11, 2*k + 0 = -2*d + 4. Let p = 0 - -8. Suppose -3*s + 4*s - p = 0. Solve -5*y - k*n - 3 = -21, 2*y + 2*n - s = 0 for y.
3
Let b(x) = -x + 13. Let o be b(9). Solve 3*w + 2*w = -3*v - 12, -3*w - o = v for w.
0
Suppose 5*a + 0 = 25. Suppose -2*l + 3 = l. Suppose q + r - l = -0, -5*r = 2*q - 2. Solve -a*x = -3*s - 6, -3*x - 11 + q = 5*s for x.
0
Let u be 0/(1 + 3) + 4. Solve -15 = 5*b + u*d - 2*d, 0 = -b + 3*d - 3 for b.
-3
Let z = -6 - -11. Solve -3*n = -4*h + z, 2*h + 2*h = -2*n - 10 for n.
-3
Let g be 72/48*16/6. Solve -r - w = 5, -2*r - 3*w = -g*r - 5 for r.
-4
Let b(x) = -3*x - 13. Let i be b(-5). Let y(q) = -q. Suppose 3*u + 26 = 5*a, -3*u + 3*a - 22 = 2*u. Let h be y(u). Solve -2*d - 5*s + 1 = i, 7 = -h*d + s for d.
-3
Suppose 3*l = l + 4. Let d = 4 + l. Let m be 4 - d/3*1. Solve -6*x + 2*x = -5*n + 10, m*n - 4 = 2*x for x.
0
Suppose p - 2*p - 4 = 0. Let n be (-1)/p + (-90)/(-24). Let b be (0*(-2)/n)/(-2). Solve -d + b*v = 4*v, -4*v = -d + 8 for d.
4
Suppose -4*a + 6*a = 22. Suppose 13*o = a*o + 10. Solve -4*d = d + o*r - 5, -5*d + 5*r = 45 for d.
-4
Let j = 3 + -1. Suppose 0 = -j*z - z - 9. Let m = -1 - z. Solve 0 = -5*x + 6*b - m*b + 18, 2 = -4*x - 5*b for x.
2
Let u be (3/1)/(18/12). Let s = u + 2. Solve -3*z - s = -b - 7, 3*b - 11 = -z for z.
2
Let m be (12/(-10))/((-20)/150). Suppose 3*u = h - 5*h + 26, -4*h = -4*u + 16. Let b = m - u. Solve i + 5*w - 26 = 0, i + 5*w - 11 = b*w for i.
1
Let f = 10 - 7. Suppose 2*r = -3*r + 2*d - 53, f*r + 39 = 3*d. Let l be r + 18 + (-3 - -1). Solve -3*v - 2 = -t, -2*v = -l*v + 5*t + 10 for v.
-2
Let u(n) be the first derivative of n**4/4 - 2*n**3 + 3*n**2/2 - 4. Let t be u(5). Let o be -3*(-3)/(-15)*t. Solve -o*r = -3*r, 5*r = 5*v for v.
0
Let r(i) = i**3 - 5*i**2 + 3. Let a be r(5). Solve 6*c + 5 = v + a*c, -4*v + c = -20 for v.
5
Let s(x) = -34*x. Let c be s(-1). Suppose -14*y + 11*y = -12. Solve -4*m - 2*f + c = 4, -40 = -y*m - 4*f for m.
5
Let w be (6/7)/((-3)/(-21)). Let r(g) = -g + 1. Let z be r(-2). Suppose -n = -z*n + w. Solve -2*u + 3*u = -5, -n*u = 3*j for j.
5
Let s(z) = z + 5 + 2*z + 2*z. Let r be s(4). Solve 26 = 3*x + 4*v, v - r = -4*v for x.
2
Let d(o) = 5*o**3 + o**2 - 1. Let q be d(1). Suppose 0 = v + n - 2, 5*v + 4*n - 5 = 4. Solve -2*u + 3 = -5*f, -3 = -3*f + q*u - v for f.
-1
Let d be 1 + 21 + (-2)/1. Solve -3*i = s + 2*i + d, -3*s + 5*i = 0 for s.
-5
Let m = -32 - -55. Suppose 4 = 5*a - 1. Let p be (-2)/4*(-3 - a). Solve -5*v + p*k = -25, 0*v - 4*k = -v + m for v.
3
Let p be 12/(-16)*32/(-6). Solve -p*i + 15 = 5*y, -5*i = -30 + 5 for y.
-1
Let s = 33 - 60. Let m be (1/3)/((-3)/s). Solve -4*t = -12, -m*t = n + t - 17 for n.
5
Let s = 0 + 6. Let o = s + -2. Suppose 0 = -o*g + 6*g + 10, -k - 5*g = 23. Solve -h - k*v = -4*h - 6, -h = v + 2 for h.
-2
Let v(t) = 2*t**3 + 17*t**2 + 8*t + 7. Let i be v(-8). Solve 4*k = u + i, -2*k = -4*u - 7*k - 7 for u.
-3
Let m be (-152)/5 - (-6)/(-10). Let h = -22 - m. Solve -v - 5*b = 9, -5*b - 15 = 4*v - h*v for v.
1
Let t = -45 + 81. Suppose -3*y - y = -t. Solve d = -j - y, -j + 2*d = 6*d + 21 for j.
-5
Suppose o - 17 + 1 = 0. Solve -4*y + o = 4*m - 12, 0 = m - 3*y + 5 for m.
4
Let r = 95 + -95. Solve r = -4*x + 2*b - 0 - 22, -3*x - 2*b = 6 for x.
-4
Suppose x = -2*x + 6. Suppose -x*t = 3*t - 15. Solve -p + 3*b = -5*p - 9, -5*p = -b - t for p.
0
Let x be 38/9 + (-4)/18. Let w be (-8)/6 - (-4)/(-6). Let q = w + x. Solve m + q*m - 11 = 4*b, -m + b + 3 = 0 for m.
1
Suppose 2*o + 3*h + 6 = 0, -3*o - h = 4*h + 11. Suppose o*y = -y + 12. Suppose l + y*l - 20 = 0. Solve -l*u + 2*f = 5, 26 - 7 = 2*u - 5*f for u.
-3
Let x(g) = g**3 + 7*g**2 + 5*g - 3. Let o be x(-6). Let w = -16 + 18. Solve -w*p + 7*p - f = -10, 2*f + 1 = o*p for p.
-3
Let z = 67 + -48. Suppose 0 = 4*h - u - z + 4, -2*u + 22 = 5*h. Suppose 5*d = h*d + 3. Solve 4*a + 2*t = -t + 10, -2*t + 1 = -d*a for a.
1
Let t(x) = x**3 - 2*x**2 - x - 2. Let d be t(3). Suppose 0 = d*y - 16 - 0. Solve -5*f = y*g - 11, -2*f - 3*f = 5 for g.
4
Let x = 8 + -5. Suppose x*s = s. Suppose -4*u + 7 