 + c = -4*m for p.
-5
Let b(z) = z**2 + 3*z - 10. Let p be b(-5). Solve -3*q = -m + 12, -m - 3*q = -p*q + 18 for m.
-3
Let m(q) = -3*q + 23. Let u be m(6). Solve h + u*l = 17, 2*l - l + 8 = -4*h for h.
-3
Let t(x) = 7*x + 15. Let d(i) = -15*i - 30. Let q(n) = 6*d(n) + 13*t(n). Let p be q(-11). Solve -2*s + 4*b + 4 = 0, -p*b = 5 - 1 for s.
0
Let z(f) = f + 38. Let y be z(-35). Solve -2*n = 3*n + 3*b + 1, y*n + 1 = -2*b for n.
1
Suppose -3*l = -7*l + 12. Let a(g) = 3*g + 2. Let h be a(l). Solve 0 = -5*n + 2*n + 5*b + h, 2*n + b = 3 for n.
2
Let j = -88 - -40. Let s be 1/5 + j/(-10). Solve -h + 4*d + 7 = 0, s*d + 0 = -4*h + 7 for h.
3
Suppose -a = -2*w + 6, 3*a + 2*a - 10 = 2*w. Suppose -19 + a = -5*i - 2*c, 4*c - 16 = 4*i. Solve 4*v + 2*s - 16 = 0, -3*v + 14 = s + i for v.
5
Let o be (0 - -1)/((-1)/(-5)). Suppose 2*p + 2 = 0, 4*p - 2 + 6 = -o*j. Solve 3*l + w - 9 - 4 = j, -w + 4 = 0 for l.
3
Let t(q) = q**2 - 4*q - 5. Let v be t(5). Let l be (v + 2 - -21)/1. Suppose 0 = 4*j - 18 + 10. Solve j*o - 4*s = -2, l = 4*o - s + 2*s for o.
5
Suppose -4*m + 12 = 0, 7*m + 20 = 2*b + 3*m. Solve 0 = -j - 3, -12 - b = 4*w + 4*j for w.
-4
Let r = 51 - 47. Let z(j) = j**3 - j**2 + 2*j - 1. Let i be z(1). Let d = i - 1. Solve -r*m + 2*l + 18 = d, -m - 9 = 6*l - 2*l for m.
3
Let g(f) = 0*f + f**3 - f**2 + 3 + f - 7*f + f. Let c be (6/(-8))/((-2)/8). Let h be g(c). Solve u + h = l, -l = -5*u - 0*u - 26 for u.
-5
Let b = -18 + 142. Suppose -5*h + b - 14 = 0. Let s be 13/5 + 4/10. Solve 5*u = s*r - 12 - h, r - 8 = u for r.
3
Suppose 2*g + 8 = -4*p, -1 = -3*g + 3*p + 14. Suppose -4*x + 18 = g. Solve -t = w + x, 3 = -0*w + 3*w for t.
-5
Let u(z) be the third derivative of z**4/12 - 7*z**2. Let k be u(1). Solve 2*v - j + 10 = 0, 4*v + k*j = -0*v - 4 for v.
-3
Let f be (-4)/(-14) + 2/(-7). Solve -2*k + 14 = -2*y, -4*y = -2*k - f*k + 22 for y.
-4
Let n(u) = u - 3. Let s be n(6). Let b = s - 1. Suppose -b*j + 4 = -2. Solve 2*c + 12 = -c - 5*v, 0 = 2*c + j*v + 8 for c.
-4
Let u = -4 - -4. Suppose -2*m + 2*w = 4, u = -3*w + 4*w - 5. Let h = m - 1. Solve -s = 2*q + q - 4, -6 = -h*q + s for q.
2
Let u be ((-28)/42)/((-8)/33)*4. Solve 4*o + 5*d - 4 = -u, -2*o - 5 = 3*d for o.
2
Let m(k) = -k**3 + 5*k**2 - k + 7. Suppose -3*b - 3*t = 0, -4*t = 2*b - 9*t - 35. Let y be m(b). Solve -4*j - 2*w = 10, 7 = -5*j - y*w - 8 for j.
-5
Suppose 5*b - 4*k - 1 = 34, -30 = -5*b + 3*k. Suppose b*x = 4*x - 2. Solve 4*h = 2*o - h + 18, x*o + 2*h + 4 = 0 for o.
-4
Suppose k = -2*c + 5*k - 14, -4*c = -k - 7. Solve 0 = r + c*v - 14, -r = 4*r + v for r.
-1
Let a(v) = -v. Let r(c) = -c - 2. Let h(d) = 6*a(d) - 2*r(d). Let w be h(-3). Solve 0 = -4*s + 3*u + w, 3*s - 5*s = -u - 6 for s.
1
Suppose -9*q = -5*q. Solve -3 = -2*c - 3*r + 7, -4*c + r - 8 = q for c.
-1
Suppose -6*n + n - 3*l + 19 = 0, -4*n + 5*l + 30 = 0. Solve 0 = b, 4*w + 0*w = -n*b for w.
0
Let x be 1/2 - (-490)/20. Let q = x + -23. Solve 0 = -b + 2*r + q, 2*b - 5*r - 3 = -0*b for b.
4
Let u be (-5)/(-2)*(-6)/(-5). Suppose 12 = x + u*x. Solve x*y = j + 4, 0 = -y - y - j + 11 for y.
3
Let i(x) = 3*x - 6 + 0*x + 8. Let c be i(2). Solve 10 + c = -2*s - 4*o, -o + 3 = -s for s.
-5
Let i(q) = -4*q + 8. Let k be i(6). Let r = -11 - k. Solve 4*p + 19 = 3*x, -6*x - p - 3 = -r*x for x.
1
Let x = 116 + -113. Solve 3*d + 6 = 0, -7 + 21 = -4*u - x*d for u.
-2
Let s = 4 - 7. Let m(x) = -3*x - 4. Let l be m(s). Let g be (2/4)/((-1)/(-12)). Solve l*k + 5*v + 0 + 5 = 0, 2*v = g for k.
-4
Suppose -4*q + 5*q - 2 = 0. Suppose c = -5*k + 30, -q*c + 9 + 6 = k. Let i(t) = -t - 5. Let b be i(-10). Solve -2*w + 3*u - 2 = 0, 0*w = b*w + c*u - 20 for w.
2
Let w be 24 + (1 - (-4)/(-1)). Let x = -18 + w. Solve -v + 0*v = -3*f - 8, 3*f = -x*v for f.
-2
Suppose z - 5*i - 2 = -6, 3*z = -4*i + 7. Suppose 5 = 3*m - z. Solve -4*c - m*o = -0*o + 10, -2*c - 23 = -5*o for c.
-4
Let p = -71 - -81. Suppose 6 = -3*c + 18. Solve 0 = 4*s - 3*h - 20, 2*s + 0*s - c*h - p = 0 for s.
5
Let l(g) = g - 4. Let v be l(6). Solve 3*b - m = -6, 0 = 4*b - v*b + 2*m + 4 for b.
-2
Suppose 0 = 2*m + r - 21, -2*r + 1 = m - 2. Suppose 5*x + 47 = -3*t, 5*t + 97 = -0*t + x. Let q = -13 - t. Solve 5*l - 27 = -3*v, -l - m = -q*v + 2*v for l.
3
Let x be (-1)/5 - (-483)/(-35). Let q = -12 - x. Solve 0 = -q*l - 3*a + 2, 4*l = -2*a - 0 + 12 for l.
4
Let o = 1 + -9. Suppose 3*g - z - 4 = 5*g, -4*z - 8 = 0. Let h be o/(g - 0/2). Solve s + 2*x + 5 = 0, -x = -s - 4*x - h for s.
1
Let o be 6/9 - 22/(-3). Let u(n) = -n**2 + 10*n - 12. Let w be u(o). Solve f - w*t = -3*t + 5, -2*t - 12 = -3*f for f.
2
Let x = 8 + 12. Suppose 10*n - x = 5*n. Solve 5*a - 12 = -0*m + 3*m, -m + n*a - 11 = 0 for m.
1
Suppose -2*a - a + 5*w - 8 = 0, 5*a - 2*w = 12. Let c be 5 + (-9)/(4 + -1). Suppose -a - c = -3*p. Solve 0 = v + p*s - 13, s + 0 = -v + 8 for v.
3
Let h = 15 - 7. Let f = h + -3. Solve 2*w - 3*v - 1 = 0, 8*w - 4*w - f = 5*v for w.
5
Let a(o) = -o**2 - 4*o + 3. Let w be a(-6). Let i be (-129)/(-27) + (-2)/w. Solve -2*v + 17 = -5*g - i*v, 0 = 3*g - 3*v - 9 for g.
-1
Let n(v) = v**3 - 5*v**2 - v + 7. Let m be n(5). Suppose -w + 6 = -m. Suppose -5*d + 7 = -w. Solve -f - 16 = -4*o + d*f, o = 2*f + 7 for o.
1
Let i = 0 + 1. Suppose -2*c - 3*w = -2*w - 15, 0 = 2*c - 2*w. Solve c*s - k = -i, 3*s - 2*k - 1 = -3*k for s.
0
Suppose -100 = -7*c + 2*c. Suppose -c = -4*r - 0. Solve -3*b = -2*d - 0*b + 1, 0 = -r*d + 5*b - 5 for d.
-4
Let k(h) = 14*h**3 - h**2. Let z be k(1). Solve -3*u + 2*r + z = -0, u - 2 = 3*r for u.
5
Let m(g) = -g**3 + 18*g**2 + 18*g + 19. Let d be m(19). Solve 5*k + 5*u = -5, k - 5*u - 11 = -d*k for k.
1
Let x be 9/5 + 15/75. Solve -2*v - y + 11 = 0, 3*v - 7*v + 2 = -x*y for v.
3
Let g(m) = -m + 2 - 8 + 8. Let j = -2 + 2. Let u be g(j). Solve 2*a + 4*l = l + 7, a + u = 4*l for a.
2
Let o(x) = -2*x - 2 + 4 - 4. Let z be o(-4). Let h(j) = -j + 19. Let f be h(17). Solve 5*p = -7*b + 2*b + 30, 0 = -f*p + 4*b - z for p.
3
Let j(h) = -h**3 - 3*h**2 + 3*h - 4. Let y be j(-4). Suppose f - w - 3 = 1, 4*f + 5*w = -2. Let v = f - y. Solve 0 = 2*a + x - 6, -v*a + 23 = a - 2*x for a.
5
Suppose z + 0*d - 3*d - 175 = 0, 0 = 5*z + 4*d - 875. Suppose 3*j = -2*j + z. Solve -9 = -y + c + 1, 5*c = 2*y - j for y.
5
Suppose 11 = -3*x - 4*w, 2*x - 3*x - 12 = 3*w. Let s(u) = -u**3 - u**2 + 2. Let p be s(0). Solve -x*i = p*c - 5*i + 16, 5*i = c + 24 for c.
-4
Let k(h) = h - 2. Let a be k(4). Let g be (-4)/a*65/(-26). Solve -5*o = -3*p + 10, p - g*o = 6 + 4 for p.
0
Let t(h) = -h**2 + 5. Let v be t(0). Solve 2*r - 5 = -3*x, 0 = -v*x - 4*r - 1 + 6 for x.
5
Let x be 10/15*3*2. Suppose -x*c - 7 = -27. Solve 3*z - g - g - 19 = 0, c*z - 2*g = 29 for z.
5
Suppose 3*l + 5*n = 107, -4*l + 72 + 56 = 3*n. Let x = -11 + l. Solve -3*t + 1 = c + x, 2*t - c + 3 = 0 for t.
-4
Let k be 2*2*2/4. Suppose -4*y + 18 = -3*j, k*j + y = -0*y - 1. Let z be (j/(-4))/(2/8). Solve -2*t = 4*l + 16, t - z*l = -0*l for t.
-4
Suppose 4*i + 5*d + 7 = -1, d + 7 = i. Solve i*m - 4*j + 3 = 0, -3*m + j = m - 9 for m.
3
Suppose 7*h = 2*h + 80. Let i = -13 - -5. Let m = i + 12. Solve -x - h = -4*d, m*x = x + 5*d - 27 for x.
-4
Let m be 0 + -4 + 0/2. Let g = 4 + m. Solve 2*r - 3*z - 20 = g, -3*r + 7*r - 2*z - 24 = 0 for r.
4
Let k(s) = 7*s + 3. Suppose -4*w = -3 - 9. Let j be k(w). Solve -5*p + 2*r = -27, 4*p + 3*r = 7*r + j for p.
5
Let x(n) = -n**2 - 4*n + 2. Let j be x(-4). Solve -3 = 3*t + j*v - 5, -2*v + 4 = 4*t for t.
2
Let l(t) = -t**3 - 3*t**2 - t - 4. Let j be l(-4). Let v be 16/j - (1 - 18). Solve -24 = -0*w - 5*w + b, 3*b = -3*w + v for w.
5
Let x = -20 - -28. Suppose -x = -7*m + 3*m. Solve -2*y + 9*f - 4*f = -13, -3*y + m*f + 3 = 0 for y.
-1
Let q = 5 - 8. Let a be (2/6)/(q/(-45)). Let b be (6/(-4))/(9/(-48)). Solve a*u = -3*k - 0 + b, k = u for u.
1
Let c be (-5)/3*-1*3. Solve c*n + 13 = -t + 3, 0 = 5*t - n + 24 for t.
-5
Let b = -10 + 19. Suppose o + 8 = 2*o. Let l = 20 - o. Solve -3*t - b = -3*k, -6*t - l = -2*k - 2*t for k.
0
Suppose 0*p + 5*p = 0. Let s(k) be the first derivative of k**4/4 + k**3 - 2*k**2 + 3*k - 1. Let m be s(-4). Solve x - 4*i - 24 = p, -27 = -m*x + 2*i + i for x.
4
Suppose 12 = -0*z - 3*z, 0 = -2*o + 2*z + 18. Let c(q) = q**2 + 3. Let x be c(0). Solve -2*p + 0*p = -5*u - x, p = -4*u - o for p.
-1
Let u(y) = 3*y - 1. Let x be u(2). Suppo