Solve -4*p = b - t*b - 10, -2*p + 14 = -4*b for p.
3
Let h(z) = -11*z**3 + 2*z**2 - 1. Let v be h(-1). Solve -2*m = 4*l - v, -5*l = 3*m + 2*m - 5 for l.
5
Let w be -1*((-1 - 1) + -3). Let x be ((-1)/(-3))/(3/45). Solve -4*j = 5*i + w, 0 = -i - 4*i + j - x for i.
-1
Suppose -4*g + 58 = -5*p + 2*p, 35 = 3*g + 2*p. Solve -5*m = -f - 7, 4*f - g = m - 3 for m.
2
Let p(c) = -c**2 + 15*c - 12. Let n be p(9). Suppose 0 = 5*r - 3*b - n, -r - 2*b + 14 = 3. Solve 0 = -0*o + o - 2*k + r, 4*o + 15 = k for o.
-3
Let v(k) = -3*k - 2. Let j be v(-4). Suppose -3*w + w + j = 0. Solve 2*x = b - 7, 4*x + x = -w*b - 10 for x.
-3
Let y(c) = c**2 - 8*c - 4. Let x be y(-4). Solve -4*a + 14 - x = -2*q, 3*a = -15 for q.
5
Let l = 3 + -3. Suppose 0 = -5*c + 8 + 2. Solve f = l, 0 = p + f - c*f for p.
0
Let h be (114/9)/((-1)/(12/(-8))). Suppose 3*s - 9 = -0*s. Solve 3*t = -4*y - h, -5*y - s - 19 = 2*t for t.
-1
Let u be (-12)/(9/12*-2). Let c be 8/5 - u/(-20). Solve q - 2*k + 9 = 0, c*k = -5*q + 2*q - 11 for q.
-5
Suppose -m = -2*k + 1, -3*m = 3 + 12. Let c be -2*(-3 + (-3 - k)). Solve -g - 3*v + c*v = 9, 2*g = v for g.
1
Let u(t) = -t - 6. Let b be u(-6). Suppose b = 22*r - 19*r. Solve 3*n - 7*n - 2*m = r, 3*n = -3*m + 6 for n.
-2
Let v = -8 - -7. Let f(x) = -3*x - 1. Let b be f(v). Solve -b*n - 29 = 2*n - 3*k, 0 = 5*n - k + 28 for n.
-5
Let h(m) be the third derivative of -m**5/60 + 7*m**4/24 + 7*m**3/6 + m**2. Let y be h(6). Solve -8 = v + z, 0*v - y = 5*v - 4*z for v.
-5
Let k = 6 + -3. Suppose j + k*j - 20 = 0. Solve a - 5*w - 23 = 0, j*a - 2*w + 4*w - 7 = 0 for a.
3
Let y = 21 + -7. Suppose -31 = -i - y. Solve 0*j = -w + 2*j - 11, 0 = w - 4*j + i for w.
-5
Suppose -2*q + 3 = -7. Solve -c = 4*i + 15, -2*c - i = -0*i - q for c.
5
Let c = -7 + 9. Solve c*n = -2*h + 6*h + 2, h + 23 = 5*n for h.
2
Let a = -36 + 38. Solve 2*t + 4 = -a*l, -5*t - 6 = l - 0*t for l.
-1
Let g(c) = -c**2 + 10*c - 12. Let x be g(8). Suppose -9*m + 10 = -x*m. Solve 2*d = -m*y, y + 4*d + 6 + 6 = 0 for y.
4
Let k = -27 + 38. Suppose 4*x + 3*l - 5 = 0, -4*x + 5*l = -x - k. Let m = 0 - -2. Solve -s - m = x*t, -2*t - s = 3*t + 5 for t.
-1
Let m = -9 - -15. Let s = -3 + m. Let g be s/(-12) + 39/12. Solve 3*f - 3 = 3*c, 8 = -4*c + g*f - 0*f for c.
-5
Let o = -41 - -49. Solve 3*w = 0, -5*w + o = -5*u + u for u.
-2
Let p = 21 - 19. Let d be (-14)/(-2) - 1*p. Solve -f = -0 + 3, d*w = 2*f + 11 for w.
1
Let d be ((-1)/3)/(148/(-48) + 3). Let j be (6/8)/(4/(-16)). Let x be 1/j - (-19)/3. Solve -2*t + 2*v + x = 0, -d*t + 7 = -2*v + 1 for t.
0
Suppose 9*x - 360 = x. Solve s - 4*q - q + 25 = 0, 0 = 5*s - 5*q + x for s.
-5
Let s = -13 - -38. Suppose 7*v = 2*v + s. Suppose 3*j = 4*j - 6. Solve 4*i = -v*g - j, 5*g + 3 + 10 = 3*i for i.
1
Suppose t + 24 = -4*s, -2*s = 3*t - s + 17. Let b = t - -7. Suppose -b*m + 2 = -13. Solve -5*c - 4 = -19, -m*p - 5*c = -35 for p.
4
Suppose -2*n = -10, -2*h + 2*n + 3 + 1 = 0. Suppose -5*d = -h*d + 4. Solve -5 = -2*b - t, -d*b + 5*b = -4*t + 10 for b.
2
Let k be 14/63 - (-86)/18. Let b = -46 + 48. Solve 20 = -5*y + 5*s, -5*s = -b*y - k - 6 for y.
-3
Suppose 31 = -2*m + 35. Solve -3*y = m*j + 8 + 5, 4*y + 17 = -3*j for y.
-5
Let b be 3/(-6) + (-7)/2. Let g = 7 + b. Solve -5*d + 35 = g*s, -s + 5*s = -d + 24 for s.
5
Suppose -5*b = -9*b + 12. Let p = 1 - -5. Let t = p - b. Solve t*x + 3 - 1 = 2*f, -4*f - 5*x - 18 = 0 for f.
-2
Let w(t) = t**3 + 12*t**2 - 14*t - 7. Let u be w(-13). Suppose -11 + u = -f. Solve 0 = -3*p - 12, -10 - 2 = 4*z + f*p for z.
2
Let g be 2/16 - 95/(-8). Solve 0 = 2*w - 8, -w + g + 8 = 4*b for b.
4
Let i(y) = 2*y**2 - 3*y + 2. Let c be i(2). Let d be 4 + 10 - c/2. Let g be 33/d - (-1)/4. Solve -5*h + 11 = -7*p + g*p, 2 = -2*h for p.
-4
Suppose 4*i = -g - 2, 3*g + 0*g = -4*i + 2. Let u(o) = o - 12. Let f be u(16). Solve 4 = -f*m - q + 7, -q = g*m - 3 for m.
0
Let q(b) = 2*b - 1. Let v be q(3). Suppose -4*r + 593 - 113 = 0. Suppose 0*t + 4*n - 48 = -2*t, -v*t + r = -n. Solve 3*l + 2 = w, 4*l - t = -5*w + 5*l for w.
5
Suppose 1 - 13 = 4*c, -4*q - 2*c = -70. Suppose 2*s - 6 = -0*s. Solve -7 = -3*p - s*r - q, -r - 19 = 4*p for p.
-5
Let i(x) = -x**3 + 6*x**2 - 6*x - 4. Let b be i(5). Let w be (-6)/b + (-2)/3. Let n be 2 - (-5 - (0 - 3)). Solve 3*o = -5*r, w*o - 2*o + n = 2*r for o.
5
Let l(k) = -k**3 + k**2 - k - 9. Let w be l(0). Let n be w/(-6) - 2/4. Solve 4*b + n - 6 = -3*h, h = b + 4 for h.
3
Let w be (2/(-3))/(((-3)/(-3))/(-6)). Solve w*j = -5*z, -2*z + 6*z - j = 0 for z.
0
Suppose -3*a = -3*t + 9, 0*t + 2*t - 6 = -2*a. Solve -2*w - 2*i - i = -7, t*w = -i + 7 for w.
2
Let f(v) = v**2 - 5*v. Let u be f(5). Suppose -2*y = -u*y - 6. Solve -3*j - 1 + 0 = m, y*j + 9 = -3*m for m.
-4
Let v(y) = -y**2 - y + 4. Let z be v(0). Let g be 74*(10/z + -2). Solve k - 5*f = -2*k + g, -k = -3*f - 19 for k.
4
Suppose -6*s = -4*s - 6. Suppose -2*d = 4*r - 32, s*d - r - 3*r + 2 = 0. Let a be 3/d - 2/4. Solve 3*b + 3*y = 9, b - y + 2 - 1 = a for b.
1
Let b(x) = -x. Let t be b(0). Suppose -5*p = 0, p = 5*i - p - 20. Solve -w + 2*n - 11 = t, i*n - 27 = 2*w - n for w.
-1
Let a be 2/4*(15 - 15). Solve a = -3*n + q + 14, -q - 3*q = 5*n - 12 for n.
4
Suppose -5*d + 10*d = 15. Solve 5*y + 5 = -3*s, 3*s + 4*y = 7*y + d for s.
0
Suppose -y = 2*h - 1, 4*y - 24 = -h + 3*h. Let q = 11 + -1. Suppose -q = x - 3*x. Solve -w = -x*m - 10, 5 + 19 = m + y*w for m.
-1
Let u(p) = -p + 23. Let v be u(17). Let r(s) = -3*s + 18. Let m be r(v). Solve g - 2*b - 7 = m, -3*b = -g - 3*g + 13 for g.
1
Suppose 0*s - 12 = -4*s. Let w be (6/(-4))/(s/(-18)). Solve -t - w = -r, 0*r + 6 = -r - 2*t for r.
4
Let l be (2/(-6))/((-2)/12). Suppose l - 11 = -3*m. Let y be (-2)/(m/((-9)/2)). Solve -2*c + 3 = 5, 3*a = y*c - 12 for a.
-5
Let f(z) = -5*z - 7. Let y be f(-2). Solve -3*q + 5*k = 10, 2 = -y*q - 4*k + 10 for q.
0
Let a = 147 + -103. Suppose 5*b - a = -14. Suppose -b = -4*k + 18. Solve -g = c + k, -4*g - 19 = c - 1 for g.
-4
Let m(v) = v**2 + 3*v - 1. Let j be m(-3). Let a = j + 1. Solve 3*b + a*b + 7 = 4*k, -k = -b - 2 for k.
1
Let g(y) = y + 1. Let s be g(1). Solve -14 = -3*d + 5*w, 2*d - 5 = -3*w - s for d.
3
Let p = -100 - -108. Solve p = -2*y, -n + 3*y + 2*y + 20 = 0 for n.
0
Suppose 0*h = h - 6. Let x be ((-21)/h - -3)*-10. Solve 2*u - 8 = -2*r, -x*r = 8 - 3 for u.
5
Suppose 2*a - 3*x - 8 = 0, -a - 2*x = -0*a - 4. Let s(i) = i**3 - 8*i**2 - 9*i + 2. Let u be s(9). Solve -6*o + a*o = -u*t, -t - 15 = 4*o for t.
-3
Let l be 9/(-27)*18/(-2). Suppose 4*s - l = j, -s + 5*s + 2 = 2*j. Suppose -11 = -4*r + 1. Solve r*n - s*n - 20 = 5*f, n - 2 = -f for n.
5
Suppose 0 = -5*h - 2*w + 41, -2*h - 1 + 18 = w. Suppose 0 = -h*x + 4*x. Let r be (-1 - 0)*x/2. Solve 0 = 4*a + 4*p + 20, -5*a + 3*p + 2*p + 5 = r for a.
-2
Let f(y) = -y**3 + 5*y**2 + 4*y + 14. Let l be f(6). Solve l = -2*a, 3 = w + w - 5*a for w.
-1
Let o(j) = -j**3 - 4*j**2 + 3. Let q be -1*(-12)/15*-5. Let r be o(q). Solve -3*c - 4 = r*s - 1, -2*s = 5*c - 4 for c.
2
Let k(o) = -o**2 + 13*o - 7. Let g be k(11). Suppose 2*h - 5*h = -g. Solve 0 = -3*f + n + 7, h*n = -4*f + 9*f - 5 for f.
3
Suppose -3*d + 2*d - 3*y = -3, 2*y - 16 = -3*d. Let c be 6/(-4) + 9/6. Solve -3*m + 12 = c, -6*j = -j + 4*m - d for j.
-2
Suppose 2*u - 11 = -w, -2*u - 12 = -3*w - u. Solve 2*l - 4 = 4*t - 2*l, w*l + 16 = -2*t for t.
-3
Let z(n) = n**3 - 3*n**2 - n. Let b be z(4). Let y(q) = -q**2 + 12*q + 5. Let p be y(b). Solve -j - 5*r = -3, -4*j - p*r + r = -12 for j.
3
Suppose -2*o + 2 + 14 = 0. Let n be 1/2 + (-204)/o. Let p be (n/3)/((-1)/3). Solve 0*d - 2*q = -3*d - p, d - 10 = -3*q for d.
-5
Let w be 5/2 + (-1)/2. Solve w*y + 4*v = -18, v - 1 + 7 = y for y.
1
Suppose 2*p = -p + 54. Solve 3*q + 3*i = -21, -4*q = -3*q - 4*i - p for q.
-2
Let q = -49 - -49. Solve -d - 3 = q, -o - 2*d + 5 = 12 for o.
-1
Let l = 19 + -17. Solve 5*f + l*k - 6*k = 33, -4*f + 26 = -3*k for f.
5
Let o be (-15 + 25)*(-1)/(-2). Solve -5*a + a + 5*w = 17, 0 = -5*a + o*w - 20 for a.
-3
Let q(v) = v**2 - 3*v - 4. Let p = -6 + 10. Let a be q(p). Solve -2*r - 5*x = 15, r - 3*x + 2 = -a*x for r.
-5
Suppose f + 2*f = -6. Let q be (f - 3/(-6))*-2. Suppose 4 = -4*j, u = -u - q*j + 23. Solve 0 = -2*x + 5*h + u, 4 = 6*x - 4*x + 4*h for x.
4
Let b(p) = p**3 - 11*p**2 - 27*p + 15. Let x be b(13). Solve -3*t + 23 = -g + x*