2*a + 2. Let l(d) = d**3 + 6*d**2 - 6*d + 3. Let p be l(-7). Let h be z(p). Solve -4*f = 2*y + y - h, 2*y = 4*f for y.
2
Suppose -j - 2*y - 18 = 0, -2*y + 32 = -6*j + 2*j. Let m = 11 + -18. Let q = m - j. Solve 3*x + 12 = q*c, 0 = 4*c - 0*x + x - 21 for c.
5
Let w(g) = -g + 11. Let q be w(7). Solve -6 = t - 4*d - 1, -3*t + q*d = 15 for t.
-5
Let i(q) = -q**2 - 4*q + 1. Let h be i(-4). Solve -3*u + p + 4 = -3, -u = p - h for u.
2
Let u(j) = -j**3 + 6*j**2 + 5*j + 18. Let z be u(7). Solve z*k - 8 = 2*k, -2*k = -o - 6 for o.
2
Let b = 10 + -2. Suppose i - 3 = -2*i. Suppose 3*f = 5 + i. Solve -f*p + 5 = -r, 7*r - p - b = 3*r for r.
3
Suppose -n + 6 = -1. Let m(v) = -v**3 - 9*v**2 - 9*v - 12. Let t be m(-8). Let w = n + t. Solve 0 = -p - w*q + 10, p + 2*q = 6*p + 1 for p.
1
Suppose 5*u - n = 23, 5*u + 2*n - 10 = 19. Solve -3*t = i + 4 + 3, u*t = i - 1 for t.
-1
Let q(w) = 5*w**2 - w - 1. Suppose -t + 3*t = -2. Let c be q(t). Solve 3*b = -p + 8, 2*p + c*b - 10 = 4 for p.
2
Suppose -2*i + 0 = -2*x + 18, -2*x + 4*i = -24. Solve v = -4*u - 3, -x*u + 2*u - 6 = 2*v for v.
-3
Suppose 4*i = -i - 5. Let u = 3 - i. Solve -u*j - 5*k - 20 = 0, -j - k + 15 = -4*j for j.
-5
Let s = 12 - 12. Solve 2*r + 35 = -s*r + 5*a, -2*r - 2*a = 0 for r.
-5
Let d be (-14)/35 + (-44)/(-10). Let h = d + -4. Suppose h = -2*m + 5 - 1. Solve -30 = -5*n + 3*s, 3*n + 0*s = m*s + 19 for n.
3
Let o(k) = -k**3 + 10*k**2 + 10*k + 10. Let b be o(11). Let s be (-2)/3 + 14/3. Let m = b + s. Solve 4*w - 9 = 4*q + w, m = w for q.
0
Let y = -13 + 18. Suppose 9 = 4*k + l - 15, 5 = y*k - 5*l. Solve 40 = -3*q - k*h, 0*q - 25 = q + 4*h for q.
-5
Let y(x) = -9*x**2. Let a be y(-2). Let j be (-1 + 4)*a/(-12). Solve 5*o = -2*s - 8, 0 = s + o - 5*o - j for s.
1
Let k be 66/17 + (-6)/(-51). Solve k*n - m + 7 = 0, 5*n + 0*m + 40 = -5*m for n.
-3
Let q = 47 - 42. Solve -15 = q*s + 5*w - 0, 0 = s - 4*w - 17 for s.
1
Let j(f) = f + 5. Let c(h) = h + 5. Let k(x) = 6*c(x) - 7*j(x). Let b be k(-9). Solve d + 16 = -5*w, 0*w = d + 2*w + b for d.
4
Let t = 7 + -4. Suppose -62 = -10*s + 108. Solve -3*d - h + 0*h = -s, t*d - 7 = h for d.
4
Suppose -2*p + 12 = 2*p. Suppose 0 = 3*g + 3*t, g + 5*t + 6 + 6 = 0. Let n = 1 + g. Solve 2*y - 7 = 5*q, -p = -2*y - n*q + 5*q for y.
1
Suppose 2*d + 4 = 14. Let n = -5 + 8. Suppose 99 = 5*v - v + 3*l, 0 = -n*v - 3*l + 78. Solve r - 10 = -3*s, -2 + v = d*s + 4*r for s.
3
Let b be -1*(-4)/3*3. Let u = 0 - -1. Let j = b - u. Solve -j*g - 2*a + 11 = 0, -4*g + 0*a + 11 = -a for g.
3
Let h be (4 + -2)/(1/8). Let n = h + -16. Solve n = c + 3*t - 10, 4*c + 5*t = 13 + 6 for c.
1
Let s(q) = 3*q + 2*q - 5*q**2 + 2*q**3 - 2 - 1. Let n be s(3). Suppose -2*v - x = 4*x - n, 4*x = 5*v - 3. Solve 3*r - 12 = 3*a, a + 5 = v*r + 3 for a.
-5
Let w = -54 + 57. Solve 4*s + s + 3*c = 9, -w*c = -9 for s.
0
Let d(k) = k**3 + k**2 - 4*k. Suppose 2*g = -3*g - 15. Let f be d(g). Let b be (4/f)/(7/(-42)). Solve 4*o = -4*j - j + 6, 3*j + b*o = 2 for j.
2
Suppose 0 = -3*w - 0*w. Solve w = 3*j, z - 16 = 5*z + 4*j for z.
-4
Suppose 0*k + 3*k + o - 6 = 0, -4*k + 4*o - 8 = 0. Let m be 0 + -1 + (k - -2). Let f = -1 - -5. Solve 12 = f*a, -m*z + 10 = a + a for z.
2
Let t(y) = y**2 + y - 3. Let h be t(-3). Solve p + h*k + 2*k = 21, k = 5 for p.
-4
Let i be 2/2 - (2 + -4). Suppose -5*b + 8 = -i*b. Solve -2*l = -4*f + 16, b*l + 6 = -10 for f.
2
Suppose b = -4*b. Suppose 0 = -3*w + 4*w + 2*k - 8, -3*w + 4*k + 4 = b. Suppose 5*j - 2*j - 8 = a, -12 = -4*a + j. Solve l = -w*d + 5, -l - a*l = d - 25 for d.
0
Let d = -3 - -6. Let c be -2 - -8 - (-4)/(-1). Solve 5*f + 3 - 5 = -d*o, o + c = f for o.
-1
Suppose 3*t = -4*y, -5*y + t + 7 = 3*t. Let c be ((-18)/(-6))/(y/2). Solve -k = 4*m - 9, 0 = 6*k - 3*k + c*m + 3 for k.
-3
Let g(f) = -3*f**3 - 2 + 5*f**2 - 3*f - f**3 + 3*f**3. Let t be g(4). Solve 0*w + 2*w - t = -2*v, -5*v + 29 = -3*w for w.
-3
Suppose -15 = 3*b + 21. Let c be b/(-4 - -3) + 3. Let m = c + 1. Solve -2*n = x - 3*n + 4, -m = 4*x + n for x.
-4
Suppose -s - 1 = -2*s. Solve -2*b - 2*y - 14 = 0, b - 3*y = -b + s for b.
-4
Let b = -99 - -102. Solve -z = 2*q - 7, 1 = -b*z + 2*q + 3*q for z.
3
Let x = 6 - 6. Let s be -20*(-2 + (x - -1)). Solve -4*y = s, -2*d - d - 27 = 3*y for d.
-4
Suppose -3*l = o - 6, -5*l - 15 = -2*o + 19. Let r be (-2)/(-1 - 1)*(34 + -34). Solve r = -3*i + 2*h - o, -13 = 3*i + 3*h - 1 for i.
-4
Suppose 0 = -4*o - p + 10, -5*o = -7*o - 5*p - 4. Suppose -x = o*x. Solve w = 4*g, 2*g - 2 = -x*g for w.
4
Suppose 2*p = 4 + 2. Solve -5*w = 2*q + q + 19, -23 = p*w - 4*q for w.
-5
Let o(q) = -q**2 + q + 12. Let j be o(-3). Solve 5*p - 5 = 5*a, 4*a - 22 + 6 = j for p.
5
Let h be (-9)/(-18) + 54/4. Solve -a - h = -4*d, -d - 3*a - 12 = -3*d for d.
3
Let g be (-10)/3*42/(-35). Solve 3*i = -5*n - 31, -2*n + 2*i + i = g for n.
-5
Let h(i) = 7*i**2 - 2*i + 4. Let r be h(-2). Solve 4*u - r = -4*s, 0 = s - 2*s - 2*u + 13 for s.
5
Let j(p) = p + 11. Let r be j(-6). Suppose 4 + 6 = 2*g. Suppose -51 = -2*n + 5*z, g*n - 60 = -z - 0*z. Solve 3*s + 2*m + n + 10 = 0, r*m + 40 = -4*s for s.
-5
Let p(w) = -2*w + 31. Let v be p(14). Solve 2*t + d = -4, 2*t - 12 = -8*d + v*d for t.
-4
Let q(c) = c - 1. Let g be q(1). Let t be (3/6)/(1/12). Suppose g = t*i - 4*i - 6. Solve 3*v - i*k + 9 = 0, -11 = v + 4*k + 2 for v.
-5
Suppose -5*j + 2*j + 4*y = -22, -4 = -j - 2*y. Solve -3*n = -j*n - 4*s + 15, 0 = -3*s for n.
5
Suppose 0 = -4*d - d - l + 102, -5*l - 90 = -5*d. Suppose 0 = 5*y - 2*r - 6 - 11, -5*y + 5*r + d = 0. Solve -y - 2 = 5*u, -u = -2*z - 9 for z.
-5
Suppose 2*f - 10 = -0*f. Solve 3*p - 2*m + 4*m = 13, -f*p + 11 = -2*m for p.
3
Let o(k) = -k**2 + 6*k. Let b = 0 - -9. Let g(y) = -y**2 + 10*y - 4. Let w be g(b). Let a be o(w). Solve 0 = -4*l - a*c - 16, -2*l - c = -3 + 11 for l.
-4
Let c(w) be the second derivative of w**4/12 - w**3/2 + 9*w. Let k be c(4). Solve 4*o + 2 = l, 0 + 2 = k*o - 3*l for o.
-1
Suppose z + 3*o - 6 = -z, o = -4*z + 22. Let j = -15 + 18. Suppose -2*w = -5*h + j*w + 15, -2 = -2*h - 2*w. Solve -5*c - h*v = -14, z*c + v - 5 = 4*c for c.
4
Suppose -4*q + 5*o = -111, 0 = -2*o - 0*o + 2. Let k = q - 14. Solve 9 = -5*v + g + 34, -g = 5*v - k for v.
4
Suppose -2*q + 5 + 5 = 0. Solve o - 2 = 5*u, 0*o - 4 = -2*o + q*u for o.
2
Suppose -25 = -3*y - 4*w, y - w - 4*w + 17 = 0. Suppose 2*k = 4*k + 3*k. Solve 2*c + y*c + 2*p + 31 = k, 11 = -c - 2*p for c.
-5
Suppose -3*d = 3*j - j - 29, 0 = -j + 2*d + 11. Solve 5*s = 2*v + 31, 5*s = -0*s - 4*v + j for s.
5
Suppose 0 = -q - 3 + 1. Let z be 0 - (-3 + q/(-2)). Solve -1 = -x - 3*g + g, 3 = -5*x - z*g for x.
-1
Suppose 5 = -3*h - 1. Let f be h/(1 + -3) + 2. Let i = -1 + f. Solve 5*j + 5*u = 4*u + 1, 3*j - i*u + 2 = 0 for j.
0
Let v = -3 - -6. Suppose 2*d - 10 = -v*d. Solve -3*b + 6 = -k, 2*k + 3 = -b - d for b.
1
Suppose 2 + 1 = 3*d. Solve 19 = 5*f + r, -3*r + d = -0*f + f for f.
4
Let g(j) = -j**3 + 12*j**2 - 10*j - 6. Let p be g(11). Let r be 30/(-4)*(-6)/3. Solve v + p*d + r = 2*d, 2*d = -5*v - 10 for v.
0
Let n be 0*(0 - 1)*1. Solve n = -4*o + 2*d + 18, o - 4*d = d + 18 for o.
3
Let a be (-30)/(-4)*(-46)/(-69). Solve a*u = 3*y - 1 - 6, 2*u = 4*y for u.
-2
Suppose 0 = 5*o - 0 - 10. Solve 2*j + 2*j = a - 9, 3*j - o*a + 8 = 0 for j.
-2
Let i(j) = 4*j - 2 - 5*j + 2*j + 8. Let l be i(-6). Solve -5*c - 2 = 3*b - l, -c = -2*b + 3 for b.
1
Let m(k) = k**3 - 10*k**2 + k - 5. Let h be m(10). Solve -5*c = 3*p - 30, -3*c - 15 = -h*p + 1 for c.
3
Let p(d) = -3*d. Let w be p(-1). Solve s - 3 = k, 2*k + w = -s - 0 for k.
-2
Suppose 2*f + 34 = 4*f. Solve -d = -7*a + 3*a + 18, 3*a - f = -d for d.
2
Suppose g = 3*k + 2 - 6, -2*g - 8 = k. Let m = g - -8. Solve 2*b + 21 - 7 = m*w, 2*w - 2 = 0 for b.
-5
Let c(t) = 3*t**2 - t. Let y be c(1). Let r(w) = 6*w - 2. Let d be r(y). Let g = -7 + d. Solve -2*n + 2*a + 2 = -a, -6 = g*a for n.
-2
Suppose 0 = x - i - 0 + 1, -5*x + 3 = -3*i. Solve 2*o + 15 = -0*o + 5*w, 0 = x*o - w + 16 for o.
-5
Suppose 0 = 5*f + 10, -r - 3*r - 3*f = 6. Let k = 5 - r. Suppose -k*x = -0*x. Solve -3*q + 11 = 4*i - 8, -3*q - 3*i + 18 = x for q.
5
Let m = 0 + 8. Suppose 12 + m = 4*x. Solve 0 = -2*p - 2*a, -2*p + 5*p - 8 = x*a for p.
1
Let i = 15 - 13. Let a be (-20)/6*192/(-80). Solve i*k = -3*g - 16, -3*g + a = -2*k + 4 for g.
-2
Let a(t) = -t**2 - 11*t - 19. Let