*m + 3*p for m.
-5
Let v(g) = g**2 + 5*g + 3. Let f be v(-5). Solve 2*k = -3*w - 16, -2*k = f*k + 2*w + 29 for k.
-5
Suppose 2*x = -x + 4*x. Solve -3*l + 2*n = -11, -3*l = -x*l - 5*n - 5 for l.
5
Suppose -s = 5*x + 10, 10*s - 5*s + 4*x + 8 = 0. Suppose 2*d + d = s. Solve d = 4*h - 16, v + 3*v + 16 = 3*h for v.
-1
Let g = 2 - -5. Suppose 5*c - g = 4*c. Solve 0 = -z + j, 3*z - c*z + j = 0 for z.
0
Suppose 0 = -4*v + v + 3. Solve -1 = -o + 4*a, 0 = -2*a - 3 + v for o.
-3
Suppose -9 = -2*h - 2*v - 1, h - 10 = 5*v. Suppose 4*a - 6 = 2*w, -22 - 2 = -h*w - 3*a. Solve 4*b + 5*c + 1 = 21, -12 = -w*c for b.
0
Let x(w) = w**2 + 3*w - 1. Let z be x(-4). Suppose 1 = z*n - 11. Solve n*j = 5*y + 40, -5*j + 6*j = 4*y + 21 for j.
5
Suppose 56 = 2*j - g, -4*j - g = 2*g - 132. Suppose 8*u - 3*u = -j. Let p be (4 - 5)/(2/u). Solve 3*d - p*l + 2*l = 14, -3*d - l = -10 for d.
4
Suppose 3*m = 4*x - 6, -m - 3 = -2*x + 1. Solve m*k = -2*v - 10, 3*v + 2*v + 17 = 3*k for v.
-4
Let x(r) = -3*r - 11. Let l be x(-5). Solve -2*q - 5*p = 9 - 23, l*q + 2*p = 12 for q.
2
Let p = -5 + 10. Suppose -7*k + 2*d + 31 = -2*k, -2*k + p*d = -25. Let t(m) = 4*m**2 - 2*m + 1. Let z be t(-2). Solve -2*o + z = -k*r - 12, 3*r + 19 = o for r.
-5
Let s(a) = 7*a**3 + a**2 - 2*a + 1. Let w be s(1). Let q = w + -4. Suppose z - q*u = 12, -3*u + u = 4*z - 6. Solve -12 = -z*f + 5*p, -5*f + 0 - 2 = -p for f.
-1
Suppose -n + 3*l = n - 24, l + 11 = n. Solve -3*c = 5*i - 1 - n, -3*i = 3 for c.
5
Let f be 10 + -4 - (2 + -1). Solve -6*r - 7 = f*s - 2*r, -5*s + 2*r - 19 = 0 for s.
-3
Let g be 1*(0 - (-2)/2). Let z be 0 + -2 + 1 + g. Let r = z - -4. Solve 0 = c + r*q - 21, 0*c + 6 = -2*c + 4*q for c.
5
Let z(u) = 2*u**3 - 7*u**2 + 3*u + 5. Let w be z(4). Let f be (-2)/(-11) + 159/w. Solve 0 = -r - f*c + 15, -4*c = -2*r - 7*c + 2 for r.
-5
Suppose 2*y = 7*y. Let g = y + 4. Solve 3*x = 4*h + 12, -x + 0 = h - g for h.
0
Let l(g) = g**3 + 5*g**2 - 7*g - 6. Let h be l(-6). Suppose -q = -3 - h. Let b be q/(-6) + 9/2. Solve -b*j = o + 1, -2*o + o = -3*j + 1 for j.
0
Let d(t) = t**2 - 10*t + 5. Let b be d(11). Solve 4*h - b = 2*g, -9 = 4*g - 2*h + 11 for g.
-4
Suppose 17 = 6*m - 13. Solve -2*t + n = -11, m*t - 4*n - 35 = n for t.
4
Suppose 3*w - 27 = 2*r + r, 0 = -2*w - 4*r + 30. Solve -d = q - 4, 0*q = 2*q + 5*d - w for q.
3
Let r(f) = -f**2 - 17*f - 52. Let v be r(-13). Solve 10 = 3*n - v*n - b, -4 = b for n.
2
Let q = -19 + 19. Suppose -3*u + 18 = 4*r - 7, q = -4*u + 5*r + 85. Solve h + 30 = 4*h + 3*y, -3*y = -u for h.
5
Suppose 2*j = -0 + 10. Solve j*v - 2*o = -8, 5*v + 4*o = -13 - 1 for v.
-2
Let f = -3 + -1. Let q(t) = -t**3 - 2*t**2 + 5*t - 5. Let r be q(f). Let c be (-1)/(1*2/(-8)). Solve -c*n - 16 = y, 4*y - n - r = -3 for y.
0
Let y(k) = -6*k + 8. Let c be y(1). Solve s = -c*v + 14 - 3, -3*v = -s - 9 for v.
4
Suppose 2*l + 48 = 4*l. Solve 4*a - a - 4*v = -l, -4*a - 1 = 5*v for a.
-4
Suppose z + 15 = 2*p, 3*p - 2 = 5*z + 3. Solve 4*j - 14 = -4*x + p, 5*x - 21 = 4*j for j.
1
Let k = 12 + -10. Solve -k*a + 2*c + 13 = -c, c = 2*a - 11 for a.
5
Suppose 3*a - 9 - 180 = 0. Let s = a + -42. Let c = s + -13. Solve 0 = -2*k - 4*x - c, -x - 3*x = -2*k - 8 for k.
-4
Let t(y) = 26*y**2 - 1. Let g be t(1). Suppose 6*w - g = w. Solve -3*r + c - 7 = 0, -w*c + 15 = -2*r - 3*r for r.
-2
Let w be 4 + (-4 - -5) + 0. Solve -4*z + 11 = w*g, -7*z + 2*z = -5*g + 20 for g.
3
Suppose 5*o = 2*y - 34, -y - 85 = -6*y - 2*o. Solve -5*f - 4*g = y, -g - 5 = -f + g for f.
-1
Let i be (-1 + 2)/((-4)/(-24)). Let k = i - 6. Suppose 3*p + 2*p - 25 = k. Solve 0 = -3*a - t + 14, -p*a - 3 = -a - 3*t for a.
3
Let c(b) = -b**3 - b**2 - 2*b - 1. Let m be c(-1). Let q be (4 - 6)*(-2 + m). Solve 3*w - 2 = -n, -n + q*w - 2 = -9 for n.
5
Suppose -y + 5*u = 2, -3*u - u = -2*y + 2. Let z(n) = -n**3 - n**2 - 2. Let g be z(-2). Solve y*j = g*h + 3*h, 2*j - 2*h - 4 = 0 for j.
5
Let f be (1 + 1 + 1)*1. Suppose f*j + 1 = 10. Suppose 0*d + j*d = 18. Solve -14 = 5*v - 4*n, -v = -d*v - n - 9 for v.
-2
Let r = 81 - 81. Solve 4*t + a - 5*a = 0, r = 5*t + 5*a - 50 for t.
5
Suppose -4*j + 2*w = -0*j, 2*j + w = 4. Solve -j = -u - 3*v, 3*u + 2*u - v = 5 for u.
1
Let j be (1/2)/(1/2). Suppose -j - 1 = -q. Solve -q*w = -2*s, 4*w - s - 12 = -0*w for w.
4
Suppose -5*w = -2*n + 19, 0 = -5*n + 4*n + 4*w + 14. Solve 20 = -4*s, 0 = n*p - 2*s - 2 - 10 for p.
1
Suppose 19 - 4 = 3*x. Solve t + 4 = -3*z - 13, 5*z = -x*t - 35 for t.
-2
Let v = -6 - 5. Let o = v + 11. Solve o = 3*n - 4*q - 24, 2*n + 4*q = -q - 7 for n.
4
Let b(h) = 3*h - 4. Let o be b(3). Let j(w) = w**2 - 5*w + 6. Let u be j(4). Suppose -u*x + 78 = 26. Solve o*i - 2*q - 2 = 0, 0 = i + 4*q + 8 - x for i.
2
Suppose 4*l = -3 + 7. Suppose -l = -2*k + 7. Solve 0*t + 4*d - k = 3*t, -5*d + 5 = -3*t for t.
0
Let n(d) = d**3 + 5*d**2 + 3*d - 3. Let o be n(-4). Let w be (-11 + 6)*-1*o. Solve 0 = -4*k + w*j - 0 + 33, -5*j = -2*k + 29 for k.
2
Let g = -14 + 14. Solve n + 4*l + 2 = g, -l = 2*n + 3 + 1 for n.
-2
Let q(p) = -2*p - 6. Let b = -8 + 15. Let t(a) = a**3 - 7*a**2 - a + 3. Let k be t(b). Let o be q(k). Solve o*s - 4 = 3*r, -5*r - 14 = 5*s - s for r.
-2
Let b be 3 + (-2 - (-3 - -3)). Suppose -w - 6 + b = 3*a, -2*a + 2*w = -10. Solve 3*x + 4*h - 13 = a, -4*h + h = -4*x + 9 for x.
3
Let l be (-3)/2*4/3. Let o be (l + -1)/(1 - 2). Suppose -5*t + o = -2*t. Solve -3*f + t = 2*c - 2, f - 1 = -4*c for c.
0
Suppose v = -0*v + 5. Let z(l) = -l**3 + 5*l + 2. Let b be z(-3). Let q = b + -12. Solve -4*d = -5*r - 2, -q*r + 7*r = v*d - 5 for r.
2
Let r(k) = k**2 + 2*k + 1. Let h = 1 - 4. Let b be r(h). Suppose -b*o = -3*o - 3. Solve 0 = o*n - 5*t - 22, 4*n + 4*t + 24 = -0*t for n.
-1
Let a(w) = -7*w**3 - 3*w**2 + 1. Let s be a(-2). Suppose -2*i + m + 37 = -0*m, 5*m = 3*i - s. Solve -5*n - 4*r = -r - 25, 4*n - i = 2*r for n.
5
Let y be 4/16*-6*(-16)/(-6). Let f be 3/((-9)/(-7))*-3. Let a be y/6*(1 + f). Solve -z = z - n - 8, -5*z = -a*n - 26 for z.
2
Suppose -2*g + 17 = 5. Solve -5*y = 4*p - 13, -4*p + 16 = 2*y + g for p.
2
Suppose 3*p - 9 = 4*c, 0*c - 2*c = 0. Let h = 0 + p. Let m be (5/h)/((-3)/(-9)). Solve 0 = m*v - 25, v = -4*b - 0*v + 13 for b.
2
Suppose 4*m + 8 = 0, 5*s + m - 5*m - 33 = 0. Solve 4*r + 23 = p - 4*p, 25 = -s*p for r.
-2
Let h(s) = -s**3 + 7*s**2 + 8*s + 3. Let b = 6 - -2. Let p be h(b). Solve 0 = 3*j - 5*x, 5*x = p*j - j for j.
0
Suppose 8 + 6 = 7*d. Solve -v + d*v - 2*p = -4, -3*v = -5*p + 9 for v.
2
Let k be (-88)/(-8) + -4 + 0. Suppose 0 = -k*y + y. Solve -3*i - i - f + 16 = 0, f = y for i.
4
Let x be 12/(-8)*(1 + -3). Solve 0 = -4*j + 4*k - 16, 4*j = x*j - k + 4 for j.
0
Suppose -4*i = -6*i + 4. Solve i*v = -n + 2, n + 8 = 3*v - 5 for v.
3
Suppose -2*l + 20 = 4*s, -s - 9 = -3*l - 0*l. Solve -c + 4*c = s*u, 0 = 5*c - 4*u for c.
0
Let x = 0 - -4. Suppose 3*n - x = 2*n. Suppose -3*t = -4*w + 29, 4*t = 4*w - 0*w - 24. Solve 5*h + n*y + w = -0*y, 2*h = -y - 2 for h.
1
Suppose 0 = 3*l + 12, -5 = 4*n - 3*l - 25. Suppose n*f + 23 = t - 2*f, -5*f - 25 = 0. Solve -4 = -5*d - t*a + 1, 0 = -2*a + 10 for d.
-2
Suppose 4*n = -2*p - 2, 4*p - p = -3. Suppose n*g = -g. Suppose d + 4*d + 15 = g, 5*a - 16 = 2*d. Solve -2*l + 22 = -5*x + a*l, -2*l - 2 = 4*x for x.
-2
Suppose -4*h = -h - 15. Suppose k = 2*w - 4, 5 = h*k - w - 11. Solve 5*x - k*v + 4 = 0, 16 = -2*x - x - v for x.
-4
Let i be (3 - 2)/((-1)/(-6)). Solve i*a - a - 6 = 3*q, a = q for a.
3
Let a(i) = i**2 + 5*i + 2. Let u be a(-5). Solve 31 = -3*h + 5*c + 7, 3 = -u*h - c for h.
-3
Let u = 10 + -8. Solve 3*o = -0*o + y + 14, -o - y = u for o.
3
Let r(x) = 3*x**3 - 4*x + 3. Let s be r(2). Let h(f) = f - 4. Let g be h(6). Solve 3*c - 2*w - s = 0, g*w = c + 6*w + 3 for c.
5
Suppose -q = 3*q. Solve -5*k - 2 = s + 5, -k - 4*s + 10 = q for k.
-2
Let x(z) = z**3 - 8*z**2 + 10*z - 17. Let q be x(7). Solve -4*u + 29 = 3*f, -22 = -2*f - q*u + 4 for f.
3
Suppose 19 + 51 = 2*p + 2*s, 0 = 3*p + 5*s - 95. Suppose -9*k + 5*k + p = 0. Solve 0 = -5*n + 5*a - 5, -4*a = -2*a - k for n.
4
Let d(g) = 12 - 3*g - 2*g + 4*g. Let h be d(8). Solve -4*f - 5*r = 8 + 17, -20 = h*r for f.
0
Suppose 12 = -4*o + 5*i, 0 = o - 4*i - 4 + 18. Solve y - 4*n + 8 + 12 = 0, -5*y + o*n - 10 = 0 for y.
0
Let t(w) = w + 7. Let z be t(-3). Suppose -q + z*n = 4, -n = -4*q - 5*n + 24. Solve 31 = -3*v + 5*h -