2. Let a be k(-2). Let c be (-10)/55 - a/(-11). Solve 4*p + 4*h + 28 = 0, p + 4*h + c = 2*h for p.
-4
Let j be (3/(-9))/(2/(-24)). Solve -2*n + j*v + 2 = 3*v, -2 = -2*n - 5*v for n.
1
Let a(m) = m**2 - m - 1. Let p be a(-2). Let w be (2/p)/((-1)/(-5)). Let t = 1 + -1. Solve 30 = -w*l + 5*x, t = -4*l + x - 2*x - 16 for l.
-5
Let q = 4 - 0. Solve -2*j - 14 = q*v - 2*v, 2*j = -3*v - 17 for j.
-4
Let f = -52 + 79. Suppose 3*s + 15 = f. Solve -3*v - 13 = s*o, 4*v - 14 = 2*v + 3*o for v.
1
Suppose 0 = 3*g + 1 - 4. Solve -5*c = -q - g, 5*q + 4 + 1 = 2*c for q.
-1
Let j be ((-12)/(-9))/(18/27). Let a = 1 + -1. Solve -j*b - i = 1, -2*b - 5*i = -a*b - 11 for b.
-2
Suppose -k - 7*a = -6*a - 7, -3*k + 24 = 4*a. Let y be 0 + 2 + (5 - k). Suppose 0 = -0*h - y*h + 6. Solve -v + 4*p = -h*v - 5, 2*p + 5 = -3*v for v.
-1
Let m = -5 - -21. Let w = 22 - m. Suppose -2*q - s - 2*s = -19, 0 = -3*q + 3*s + w. Solve d + 2 = 0, q*p - p - d - 14 = 0 for p.
3
Let b be (2 + 0)/((-4)/6). Let f be (b + 1)/(-2) + 2. Let w(r) = r**3 - r**2 - 5*r + 2. Let p be w(f). Solve -3*i + 0 + 14 = 5*d, 4*d - 3*i = -p for d.
1
Let v be 1/2 - 42/(-4). Suppose -a - 16 = -4*x, -2*x + 4*a = -x + v. Solve 4*u + 1 = -4*h - 7, u + x*h = -14 for u.
1
Let l be (-5)/3*(-45)/25. Solve -4*k = -k + i - 16, -2*i = l*k - 20 for k.
4
Let g = -29 + 29. Solve 3*h + 23 = 2*q, g = 4*q - 4*h + 5*h - 11 for q.
4
Let i be (-1 + (-2 - 4))*(-5)/5. Solve -3*v - i = 5*n, 0 = -3*n + 2*v + 2*v + 19 for n.
1
Let k(w) = -2*w**2 - 10*w + 13. Let n(c) = 3*c**2 + 20*c - 26. Let q(x) = 5*k(x) + 3*n(x). Let r be q(8). Solve -3*l = -5*d - 10, r*l = -l - 4*d + 24 for l.
5
Suppose 5*o - 15 + 0 = 0. Suppose 5*j - 112 = -g, 64 = 4*j - 2*g - 20. Solve -4*w = -2*f + o*f - 7, -w - j = 5*f for f.
-5
Let v be -1*(2 - 1)*11. Suppose -5*s = -z + 2 - 14, -2*s = -4*z - 30. Let h = z - v. Solve 5*f = -4*m - 1 + 6, -h*f = 2*m - 4 for m.
0
Let z be (-28)/(-8)*-2*1. Let p(s) = s**2 - 3*s + 1. Let h be p(5). Let x = z + h. Solve 3*y = -w + x*w + 15, 4*w = 5*y - 22 for y.
2
Let m be 2 + -2*((-5)/2 + 1). Solve 0 = -m*t - 4*u - 0 - 1, -14 = -2*t + 2*u for t.
3
Suppose -16 - 14 = 3*m. Let n be (-1 + 2/4)*m. Solve p = -2*s - 14, 4 + 6 = 2*s - n*p for s.
-5
Let y(d) = -2*d - 3. Let i be -2 - 0*2/(-2). Let t be y(i). Suppose -g - t = -2*g. Solve u - 2 = 2*x - 5, 2*x - g = -u for x.
1
Suppose -26 = -3*j - 11. Solve 5*l = 4*f + 27, j*f + 22 = 3*l - 2 for f.
-3
Suppose 5*s - 2*j + 12 = s, 0 = -2*s - 2*j + 6. Let w = -1 - s. Solve 0 = 3*d - 6*d + 2*z - 15, d - 2*z + 5 = w for d.
-5
Suppose 2*m = 3*m - 4. Suppose -m*v = -2*v - 4. Solve -2*f + v*h = 8, 3*f = 6*f + h + 8 for f.
-3
Let f(a) = a**3 + 2*a**2 - 3*a - 3. Let y be f(-2). Let b = -11 - -25. Let w be 2/8 + b/8. Solve -y*r + k = 2*r + 14, -w = 3*r + k for r.
-2
Let m(u) = 4*u + 30. Let p be m(-7). Solve 5*g + 5*k + p + 3 = 0, 0 = 3*g - 3*k + 9 for g.
-2
Suppose 0 = -3*t + 4*t - 1, -3*u - 2*t = -14. Solve 4*i + u = 4*h, -3*i - i - 5*h = -41 for i.
4
Let f(b) = b + 8. Let m be f(-6). Solve -2*z - m*n - 10 = 2*z, 0 = 3*z - n for z.
-1
Let k be 4 + (-10 + 11)*1/1. Solve -r + 2 = x - k, -2*x = -4*r + 16 for x.
2
Let i(r) = r - 3. Suppose -v = -5*k + 41, v + 25 = 2*k + k. Let q be i(k). Solve 2*o + 27 = 7*o - 2*d, -3*o - q*d + 10 = 0 for o.
5
Let d = 3 + -7. Let w(h) = 1. Let m(k) = k**2 + 5*k + 1. Let y(f) = m(f) + 5*w(f). Let v be y(d). Solve -4*i - v*o - 2*o = 20, -o = 2 for i.
-3
Let x(g) = -g**3 - 6*g**2 - 2*g + 3. Let s be x(-6). Let u = 1 - 1. Let l be (u - 9/(-1)) + -2. Solve 3*o + v - s = l*o, 3*o = -2*v - 3 for o.
-3
Let f = -27 + 31. Solve 2*j = -8, -5*j - 32 = f*n - 0*j for n.
-3
Let c be 4 + (-4)/6 + 3/(-9). Solve -3*k - 15 = -q, q = c*k + 5*q for k.
-4
Suppose -s + 4 = -0. Let p be (10/s)/((-1)/(-2)). Let f = -9 + 16. Solve 2*h = 0, -p*y - h + f = 2 for y.
1
Let i be (22 + -6)/4 + (-1 - -2). Solve -2*g - 3*g = -5, i*o + 15 = 5*g for o.
-2
Let s(b) = -b + 2. Let w be s(-1). Solve 2*p = w*x + 11, -p + 6 = -3*x + x for x.
-1
Suppose 0*r - 16 = 2*r. Let q = 11 + r. Solve -q*w - 1 = -4*b - 8, 4*b = -4*w - 28 for b.
-4
Let x be (2/(-2) - 6) + 0. Suppose 0 = -s - 0 + 12. Let p = x + s. Solve p*t - m = -3*m - 17, -5*m - 14 = 3*t for t.
-3
Suppose -q = -0 - 5. Solve -2*c - n = -4*n + q, 5*c + 5*n = 50 for c.
5
Suppose 4*r + 13*w = 11*w - 6, r + 2*w + 9 = 0. Suppose 8*c - 3*c = 3*o - 16, -5*o + 4*c = -18. Solve -3*a = s + r, -o*a + a = -2*s - 2 for s.
-1
Let r(f) = 3*f**2 - 2. Let x be r(2). Suppose 4*s = 6*s - x. Let p = s + 0. Solve 3*d = 2*k + k + 24, -p*d + 10 = k for d.
3
Let p be -2 + -2 + 4/2. Let b = p + 6. Solve 2*r - 2*v = v + 10, r = b*v + 15 for r.
-1
Let h(a) = 29*a**3 + 2*a**2 - 2*a + 1. Let p be h(1). Suppose 11*m - 6*m - p = 0. Solve -2*o = n + 11, -2*n + m*n = 3*o for o.
-4
Let t be (4/10)/((-5)/(-25)). Solve -5 - t = 2*c - 3*s, -c - 5*s = -16 for c.
1
Let g be ((-10)/25)/(2/10). Let c = 2 + g. Solve 3*i - i = 3*k - 17, -5*i - k = c for i.
-1
Suppose -2*n + 10 = -0. Suppose 0 = p - n*p. Solve -2*x - 2*m - 3*m - 12 = p, 2*x = -3*m - 4 for x.
4
Let w = 19 + -15. Solve -r + w*m = 9, 2*r - 4 = -m - 13 for r.
-5
Suppose 5*i - 2*j - 3*j = 80, -i + 5*j = -16. Solve 0 = -2*v + 4*g + i, 2*v + 5*g = -0*v - 29 for v.
-2
Suppose -2*x + k + 20 + 2 = 0, 4*k = x - 4. Solve -3*o + x = -4*n + 2*o, 3*n = -2*o + 14 for n.
2
Let n = 31 + -30. Solve q - n = -5*d - 3*q, 4*q = 16 for d.
-3
Let v(x) = x**3 + 6*x**2 + 3*x - 6. Let k be v(-5). Solve 2*s = -5*q + 9, s = 4*q + k*s - 3 for q.
3
Suppose 2 = 5*h - 98. Solve 0 = -r, 0*v - 5*v - h = 5*r for v.
-4
Let l be (-123)/(-6) - 2/(-4). Solve i + 3*i + 5*o + 10 = 0, -5*i - 2*o = l for i.
-5
Suppose 0 = 3*r - 4*r + 6. Let s = r - 3. Solve 0 = -4*y + 3*i - 12, 0 = -y - s*i + 14 - 2 for y.
0
Let y = 5 + 1. Solve 5*q + 15 = 4*c + 50, -3*q = 3*c + y for c.
-5
Let i(m) = m**3 + 14*m**2 + m + 14. Let b be i(-14). Solve -3*w + 11 = -1, b = -3*r + 4*w - 19 for r.
-1
Let p = -9 + 14. Suppose 3*z - p = 1. Solve z*b + 5*f - 20 = 4*b, -2*b - 8 = -2*f for b.
0
Suppose -2*w = 3*w - 30. Suppose -j = w - 3. Let p be 3 - (j + (-2 - -3)). Solve p*r = -2*s, -2 = s + 4*r + 1 for s.
5
Let s = -1 - -6. Suppose 5*l - 30 = -s*y, -2*l - 3*l = 2*y - 27. Solve -2*b - l*z + 21 = -b, -b + 13 = 3*z for b.
1
Let y = 10 - -1. Let i = 10 - 3. Let k = y - i. Solve -3*r + 20 = -4*g, k*g - 2*r + 28 = 3*r for g.
-2
Let v(s) = -10*s - 7. Let h be v(-1). Solve -p + h*l + 8 + 2 = 0, 14 = -3*p - 2*l for p.
-2
Suppose 3*c + 2*n = -3*n + 10, -n + 2 = c. Let p be c/(1/(1/(-2))). Let o be 3/6*(13 + 1). Solve -t = -v - p*t + o, 3*t + 25 = 4*v for v.
4
Suppose i = -b, -b = -3*i - i - 15. Solve b*m + 5 = p, -12 = 2*p + m + 4*m for p.
-1
Suppose 3*u - g - 22 = -8, 2*g = -2*u - 4. Let q be 0/(-2)*1/2. Suppose u*t - 6*t = q. Solve -3*s + t = -f + 3, f - s = 1 for f.
0
Suppose -4*j + r - 1 = 0, -5*r + 0 = -j - 5. Solve -3*u - 4*w + 19 = j, u + w - 8 = -3*u for u.
1
Suppose 7 = 3*o + 1. Let i be o*2/1*2. Let l = i + -5. Solve j - q - 3*q = 4, -5*j + 3*q = -l for j.
0
Suppose -2*d + d = -7. Solve -2*t - 6*o = -d*o, -4*t + 5*o = -12 for t.
-2
Let r be (-78)/21 + 6/(-21). Let b be ((-8)/12)/(r/(-6)). Let a be 12 - (2 - (-1)/b). Solve -2*w + 0*y + 3*y - a = 0, y - 17 = 4*w for w.
-4
Let k = 40 + -27. Solve -p + k = -4*z, 4*z - 2*p - p = -23 for z.
-2
Let k be 4/14 + 38/14. Suppose -1 = -k*s + 5. Solve -5*z + 5*l = -7 + s, -2*z = 2*l + 18 for z.
-4
Let c = 57 + -40. Solve 4*g = 5*m + c, -2*g + 10 + 6 = -4*m for m.
-5
Let q(f) = -2*f - 4. Let k be q(-4). Suppose 0 = k*z + z - 15. Solve -2*p - 11 = -2*y + y, z*p = -9 for y.
5
Let w(n) = n + 5. Let o be w(-3). Solve -t - o*x = -2*t - 7, 5*x - 7 = -t for t.
-3
Suppose 29*z = 27*z + 2. Solve 1 = -3*q + w - z, 6 = q + w for q.
1
Suppose -81 + 78 = -x. Solve -4*a + 4 = -4*d, 0 = 3*d - x for a.
2
Let j be 6/(-14) - (-93)/21. Suppose -7 = -b - 3*t + 9, j*b - 29 = -5*t. Let k be ((-8)/(-20))/(b/10). Solve 4*a + 0*a + 22 = -3*s, -2*a = -k*s for a.
-4
Let m = 14 - 9. Solve l = 3*y - 23 + m, -5*l = -3*y + 30 for l.
-3
Let w = -120 + 124. Solve 12 = 2*i - 2*f, 5 + 23 = w*i - 5*f for i.
2
Suppose -5*f = 20, -l - 2*l + 17 = -2*f. Suppose -5*r = -4*u + 5, -3*u + r + 7 = -u. Solve 0 = -5*z + z + u*d + 17, 0 = -z + l*d + 13 for z.
-2
Suppose -3*f + 7*f - 2*h - 32 = 0, -42 = -3*f 