Let m = 2 - 10. Let c(k) = 7*k + 5. Let b(h) = 12*h + 9. Let n(v) = -3*b(v) + 5*c(v). Let s be n(m). Solve 4*x + 3*w = -0*x + 2, 0 = 3*w - s for x.
-1
Let z be (-2 + 1)/(6/18). Let u be 5 + 0*z/(-12). Solve -p + 16 = -4*j, -u*j - 12 = -2*j - 4*p for j.
-4
Let o = -23 + 38. Let c be 4/(-6) + o/9. Let l be (-22)/(2 + -3*c). Solve 5*p - 4*g + 3 + 12 = 0, 0 = -2*p - 4*g + l for p.
1
Let h(p) = -p**2 + 10*p + 10. Let m be h(10). Let j = m - 5. Solve -j*k - 15 = t, 0 = -3*k - t - 3*t - 26 for k.
-2
Let z(p) = p**2 - 11*p + 2. Let j be z(11). Solve -4*n - 5*r - 3 = 0, 3*n - 4*r = j*n + 15 for n.
3
Suppose -z + 1 = -3. Suppose z*r = 27 + 9. Suppose -11 = -4*i + r. Solve 3*y = 2*k + 3, -2*y + i*k + 8 + 5 = 0 for y.
-1
Let l(k) = -2 - 2 + 5 + 2*k**2. Let m be l(-2). Solve 0 = 2*c + 5*r + 23, -m = 3*c - r for c.
-4
Let l(p) = -p**2 + 9*p - 7. Let q be l(6). Suppose q = -3*g + 32. Let d(c) = c**2 - 2*c + 3. Let x be d(2). Solve 6 = -2*m, g + 5 = -x*b - 2*m for b.
-2
Let y be 13 + 1 - (-42)/(-14). Solve 0 = 3*f + 2*v - 15, -3*v + 14 = 5*f - y for f.
5
Suppose 0 = -5*d + 3*i - 9, 3*d - 2*d = 4*i - 12. Suppose -v = -d*v - 4. Solve -s + f = -9, -11 = -3*s + 4*s + v*f for s.
5
Let w(r) = -2*r**2 + 2*r. Let x be w(3). Let t = 10 - 16. Let k = t - x. Solve 4*v - k - 8 = 3*z, -v = -5*z - 12 for v.
2
Let l(y) = -y**2 - 7*y - 6. Let w be l(-6). Solve w = 4*p + 2*z - 0*z - 10, 4*p - 3*z - 35 = 0 for p.
5
Suppose -i = -5*q + 15 + 3, -q - 2*i - 3 = 0. Let b = -9 - -10. Solve j = -q*a + b, 0*j - 9 = -2*a + j for a.
2
Suppose 3 = b - 2. Suppose -2 = -3*d + 34. Solve -5*v + 16 = 4*o - b, 3*v = -3*o + d for o.
-1
Let a = -12 + 17. Solve -8*r + a*j + 5 = -3*r, -2*j = 3*r + 7 for r.
-1
Let n be (-16)/6*(5 - 2). Let y be ((-6)/4)/(6/n). Solve 5*a - 2*u + 6*u = 23, -y*a + u + 4 = 0 for a.
3
Let n(m) = -m**2 + 10*m + 16. Let a be (-4)/(-9 + 1)*22. Let v be n(a). Solve 0 = -0*j + 5*j + 4*s, -5*j = v*s - 5 for j.
-4
Suppose y - 2*y = -5*s + 26, -3*s - y = -14. Suppose 0 = 3*k - s - 10. Solve -20 = 5*a + k*n, -2*n = 3*a + 5 + 2 for a.
1
Let n(k) = k**2 - k + 1. Let r(q) = -q**3 + 11*q**2 - 9*q + 12. Let c(s) = -6*n(s) + r(s). Let g be c(4). Solve -5*l + u + 8 = 0, -2*l + 5*u = -7*l - g for l.
1
Let w(r) = 0 - r**2 - 3 + 1 - 11*r - 5. Let j be w(-10). Suppose 3*y - 5*i = -2*i + 18, -2*i = 5*y - 2. Solve 0 = -y*z - t - 4, j*z - 4 = -0*t - 4*t for z.
-4
Suppose 3*v - 5*o - 89 - 1 = 0, 37 = v - 4*o. Solve -4*z + 6*u + 30 = 4*u, 2*u + v = 3*z for z.
5
Let a = -2 - -4. Let s(n) = -16*n + 82. Let h be s(5). Solve a*o - 13 = -5*r, -2*r - h*r = -o for o.
4
Let s(h) = 5*h - 12. Let p be s(3). Solve 2*j = -p*f - 8, j - 16 = 4*f + 5*j for f.
0
Suppose -2*j = a + 6, -3*a - 14 = 2*j + 2*a. Let g = 5 + j. Solve 3*p + b = -11, -g*p - 19 = -b - 0*b for p.
-5
Let u be (2 - 2)/(1*-1). Let r = 261 + -257. Solve -5*y + 4*j = -8, -2 = r*y - u*j + j for y.
0
Let d be (8/(-3))/((-8)/12). Let n be (-20)/d*(-3)/5. Solve -4*q = 3*o + 25, 17 = -n*o + q - 3*q for o.
-3
Suppose -d + 2*x + 3 = 0, 4*d + 5*x - 14 + 2 = 0. Let c be (-2)/6 - (-19)/d. Solve -w = -3*z - 7, 4*z + c = -2*w - 0 for w.
1
Let t(x) = -7*x - 15. Let p(i) = -3*i - 8. Let b(w) = -5*p(w) + 2*t(w). Let d be b(-5). Solve -4*a - d*m = 19, -a + m = 2*m + 4 for a.
-1
Let j = 9 - 7. Let r = j - -1. Solve 2*a - 5*v = a - 5, -r = -5*a - 3*v for a.
0
Let g = 21 - 18. Solve 4*t - m + 18 = 0, 7 + 9 = -g*t + 2*m for t.
-4
Let z = 3 + 1. Let v = z + -3. Let n = 9 - -16. Solve 2*h - d + n = 4*d, -h = 2*d - v for h.
-5
Let q be 88/14 + (-4)/14. Suppose 2 = l + 3*r, 3*l + 3*r + 2*r = q. Suppose -l*p + 8 = -0. Solve 3*g - 22 = 4*g + 5*c, -5*c = -p*g + 12 for g.
-2
Suppose 2*m + 3*d - 30 = -3*m, -3*d = -2*m - 9. Suppose m*n = 7*n - 12. Solve -3*o + 2*o - 5*u = 27, -2*o + n*u = -11 for o.
-2
Let s(t) = -6*t - 7. Let y be s(-2). Solve -3*u = -4*x - 5*u - 12, y*x = -2*u - 16 for x.
-4
Let p(s) = s**3 + 5*s**2 + 6*s + 10. Let c be p(-4). Solve 3*f - n = 1, c*f = 2*n + 3*n - 8 for f.
1
Suppose -4*t + t - 118 = -5*p, -47 = -2*p + t. Solve 5*g + 2*z = p, 2*g - 2*z = 2 + 10 for g.
5
Let n = -1 - -6. Suppose -4*j + 4 = -0*j, x = -n*j + 3. Let r = x - -4. Solve -4*v = q, -2*q + v = 11 - r for q.
-4
Suppose -4 = -2*o + 2. Suppose -3*m + 25 = 4*f, -2*m + 0*m + 6 = 0. Solve -3*h + 4*v = f, o*v + 2 = 2*v for h.
-4
Let j(z) = z**2 - z - 3. Let k be j(-3). Let i = k - 6. Solve -18 = 3*o - i*m, 0 = -o - m + 6 - 4 for o.
-2
Suppose g - 2 = -0*g. Let d be (-4)/5*(-8 - g). Solve 5*k - l = -10, 4*l = 4*k + 2*l + d for k.
-2
Suppose -5*g = 4*q - 76, -g + 0*q = 3*q - 24. Solve 0 = n - 4*i + 22, 0 = n - i - 5 + g for n.
-2
Let k = -35 - -38. Solve 0 = -2*n - 5*s + 13, -4*n + k*s + 13 = -0*n for n.
4
Suppose -n - 23 = -3*h, -2*h - 37 = -6*h - 5*n. Suppose -2*g + h = 2*g. Solve -8 = -b - 4*x, -3*b = -b + x - g for b.
0
Suppose -2 = -5*t + 8. Suppose t*l + 1 = -2*h - 1, -4*l = 8. Solve k + 1 = 3*b + b, 0 = -5*b - k - h for b.
0
Let l(w) = -w**3 - 8*w**2 - 7*w - 5. Let k be l(-7). Let b be (-12)/(-10)*k/(-2). Suppose -b*g = -6*g. Solve -3*q + 0*q + 3*x - 6 = g, -5*q + 8 = x for q.
1
Let z(u) = 2*u - 7. Let b be z(7). Let p = -3 + b. Suppose p + 2 = 2*i. Solve -2*w + 18 = -3*m + w, 19 = -i*m + 4*w for m.
-5
Let t = -8 + 12. Let c be (-14)/t + (-5)/(-10). Let b be (1 - c - 3)*3. Solve -4*r - 1 = b*x - 4, -4*x + 29 = -3*r for x.
5
Suppose -3*y - 4 = 8. Let h be 255/20 + (-1)/y. Solve -2*m = -m + 4*b + h, 2*b = -5*m + 7 for m.
3
Let g = 79 - 64. Solve 3*v - g = -2*c, c - 5*v + 10 = -3*v for c.
0
Suppose -6 = 2*w - 4*w. Let j = 7 + -3. Let p = j - 0. Solve 0 = -y - 4*r + 9*r + p, 12 = 3*y - w*r for y.
4
Let c = 65 - 64. Solve 2*b + 7 = -c, -3*b - 20 = 4*p for p.
-2
Suppose 82 - 10 = 6*i. Let o = -7 + i. Solve -o*a + 3*j = -11, 0*a - 8 = -2*a + 3*j for a.
1
Let u(x) be the first derivative of -1/4*x**4 + 1/3*x**3 + 8*x + 0*x**2 - 1. Let a be u(0). Solve 4*t = 3*m - m + 10, a = 4*t for m.
-1
Suppose 0 = 2*b - 4*b - 16. Let n = -4 - b. Suppose r - n*r - 4*y = -12, 5*y = r + 15. Solve -26 = -5*d - 3*t, 0 = -2*d + 2*t - r + 4 for d.
4
Let j(o) = 2*o**2 + 6*o + 4. Let g be j(-4). Let y be (4/g)/((-2)/(-6)). Let p = -1 + y. Solve p = -k, -k - 20 = 5*f - 4*k for f.
-4
Suppose 0 = -5*o - 5*p + 85, o - p + 6*p - 5 = 0. Suppose 0 = 3*d + d. Solve -5*g - 45 = -d*g - 4*j, o = -g + 3*j for g.
-5
Let n = 9 - 6. Let a be 16/12*(-6)/(-4). Solve -2 = -y + 2*y, u - n = a*y for u.
-1
Let o be (-12)/4 - 1/1. Let f(n) = n**2 + 5*n + 6. Let q be f(o). Solve -q*c = -5*w + 11, 4*c = -2*w - 4 - 6 for w.
1
Suppose -4*m + n = 8, -4*n - 16 = 4*m - 3*n. Let y be 78/4*4/m. Let j = -18 - y. Solve -2*h + 4 = c, -c - c = j for h.
4
Let d be 80/8 - 1*3 - 2. Solve -d*p - 6 = -z - 35, -2*z = -5*p + 33 for z.
-4
Let s(a) = 4*a - 7*a**2 - 3 - a**3 - 3*a + 12. Let c be s(-7). Let n(o) = -o**3 - 7*o**2 - o - 1. Let h be n(-7). Solve -5*p + g - c = h, -2*p + 4 = 2*g for p.
-1
Let q(n) = -3*n - 7. Let g be q(-4). Solve 5*u - 2*w - 2 = -12, g = 2*u + w for u.
0
Let y = -30 - -53. Suppose k + 0*k - y = 0. Solve -5*n = 5*x + 25, 4*x + 0*x + 5*n = -k for x.
-2
Let b = -4 - -24. Let x be ((-36)/b)/(2/(-10)). Solve 2*z = -3*z + 4*m - x, 3*z + 2*m = -23 for z.
-5
Let c = 4 - 1. Solve c*d - 6*b + b + 25 = 0, -d - 11 = -3*b for d.
-5
Let y be (-6)/(-2 + 4)*-4. Let j = 7 + -1. Let n = 6 - j. Solve n*p - 3*v = -p + 17, 0 = 3*v + y for p.
5
Suppose 3 = 4*l - 21. Let b be 6 + (-4)/(-2 + l). Suppose 7 + 11 = 3*m. Solve 0 = 4*v + 2*a + 8, v = 4*v - b*a + m for v.
-2
Let y be 2 - 2 - 4/(-1). Solve -2*x - 6 = -y*j, 0*x - 3*x - 8 = -5*j for j.
1
Let x = -9 + 30. Let m be (-15)/(-21) - 4/(-14). Suppose -d + 3 - m = 0. Solve d*r - 4*i + x = r, 2*r - 13 = -3*i for r.
-1
Let c be 32 - (-2 - 0 - 0). Let b = -10 + 14. Suppose n - b = 1. Solve -3*t = n*d - c + 8, -5*t - 4*d = -26 for t.
2
Let d(g) = g**3 - g**2 + 2*g. Let z be d(1). Let l(x) = x + 8. Let r be l(-6). Suppose -r = 4*o - 10. Solve 3*y + z = -o*p + 23, 0 = -p + y - 2 for p.
3
Let b be 3/(6/(-8))*1. Let n(d) be the third derivative of -d**4/24 - d**3/3 + 4*d**2. Let l be n(b). Solve 0 = 5*y - 3*t - 30, l*y + 8 + 1 = -3*t for y.
3
Suppose r + 8 = 5*r - 5*k, 0 = -2*r + 3*k + 4. Solve 3*x = l - 2, -3*x + 0*x + 13 = r*l for l.
5
Let g(r) = -r. Let d be g(-2). Let y be (-2 + -19)*30/(-35). Let j b