2. Solve -4*p + 0*p = 0, j - p = f for j.
3
Let d be ((-28)/49)/(((-12)/(-14))/(-3)). Suppose -f + d*f + 4 = 4*k, 5*f - 14 = 3*k. Solve 4*j = j + k*v + 7, 0 = -2*j - 4*v - 6 for j.
1
Suppose 10 - 38 = -4*x. Let l = 44 + -24. Suppose x*d - 6*d = l. Solve 5*k - 22 = 5*y + 3, 0 = 3*k + 4*y + d for k.
0
Suppose 5*k - 3140 = -3*d, -5*d - 588 = -2*k + 699. Solve h + 633 = 5*m + k, 5*h = 3*m + 12 for m.
1
Suppose 5*h - 14 = -2*h. Let p be (-9 - -7)/(h/(-3)). Suppose 164*w = 155*w + 45. Solve -p*j + 0*j + w = 5*v, 5 = 5*v + 5*j for v.
1
Suppose -5*t + 3*c - 55 = 0, -3*c - 1 = 5*t + 24. Let d be (-35)/45 + 3 - t/(-36). Solve u - 3 = 0, 0 = -4*l + l - d*u - 6 for l.
-4
Let s(i) = 4 - 176*i + 50*i + 0 - 1. Let j be s(9). Let t be (-3)/7 + j/(-91). Solve -3*z + 5*n + t = 0, n + 4 + 0 = z for z.
4
Let j = 29481 - 29476. Solve -16*m + 20*m + 45 = 5*a, a = -2*m - j for a.
5
Let s(x) = 9*x + 174. Let k be s(5). Suppose 15 = 224*z - k*z. Solve 3*i = z*j + 9, 5*j + 7 = -8 for i.
0
Let s = 8742 + -8742. Let v = 15 + -13. Solve s = v*i - 4, -o + 2 = 2*i - 3*i for o.
4
Let a = -12230 - -12235. Solve 13*j - 6 = 9*j + m, -5*j + a*m + 15 = 0 for j.
1
Let t be 4 + (-8)/(4 + 0). Suppose 0 = -t*f - 8 - 4. Let u be (-3 + 4)*f/(-6). Solve 2*m - 4 = -x, 0*x - u = -5*m + 2*x for m.
1
Let p = 9 + -5. Let y(k) = -223*k + 3573. Let c be y(16). Solve 3*a = -c*w - 15 - 10, -p*a - 25 = 5*w for a.
0
Let s(t) = -53*t - 568. Let v be s(-11). Solve 0 + 5 = -d + g, 0 = -3*d - 3*g - v for d.
-5
Suppose -2*j - o + 54 = 0, 5*o = -3*j + 7*o + 81. Let z = -24 + j. Suppose 0 = -0*n + n - 3. Solve -2 = -b + z*b - n*x, 4*x = b + 1 for b.
-1
Let p = 7732 + -7702. Solve 4*d = 0, 27*h - 6 = p*h + d for h.
-2
Suppose 0 = 16*c - 74 - 86. Let k be (((-52)/(-8))/(-13) - -1)*c. Solve -6 = -4*y + 3*v, k*v + 0 = 4*y - 2 for y.
3
Suppose 5*s + 10 = -1560*t + 1558*t, 2*s = -12. Solve -4*u + 2*g = -2, 15*g = 17*g + t for u.
-2
Let i(v) = -v**3 + 2*v**2 + 5*v + 1. Let b be i(3). Let j be 93 + -95 + (b*1 - 1). Solve -l + 0*g + 1 = 3*g, l + j*g = 0 for l.
4
Let s be (1 + 0)*-7 - 6/2. Let q be (-6)/(-30) - (-2)/s. Suppose 4*l + 1 - 21 = q. Solve 4*i = -3*u + 11, -3*i + l = -u - 0 for u.
1
Let s(r) = 12*r - 7*r + 17 - 5*r - 3*r. Let o be s(-5). Suppose 16 = -4*k + o. Solve -d + 10 = k*u - 11, -22 = -2*d - 4*u for d.
1
Let p(i) = 12*i**2 - 2. Let c be p(2). Let v = 48 - c. Suppose v*w + 5*m - 8 = 6*m, 2*w + m = 4. Solve -4*g - 5 = w*k, 5*k + g - 40 = 4*g for k.
5
Let a be (-11 - 1)*(-17)/51. Let t(l) = l**2 + 4*l - 10. Let z be 1*2/(2/(-7)). Let i be t(z). Solve p - 4*n + i = 0, 2*p = -a*n - 0*n + 14 for p.
1
Let w be 5*(5 + -9 + 5). Let c(z) = -3*z + 12. Let o(s) = -s - 1. Let u(g) = c(g) - 6*o(g). Let p be u(-6). Solve p*a + w*l - 40 = -3*a, 4*a - 2*l = 10 for a.
5
Suppose 0 = 372*o - 415*o + 86. Solve -9*r + 4*r - 16 = 4*i, 0 = 2*i - o for r.
-4
Let m(l) = -l**3 + 2*l**2 + 11*l - 12. Suppose -161 + 157 = -t. Let d be m(t). Solve d = b - 3, -p - 3*p + b + 1 = 0 for p.
1
Let q = -5811 - -5820. Solve -3*y = 12, 12*d - 3*y - 24 = q*d for d.
4
Let m be -2 + 0 + 1 + -12. Let r(k) = -6*k**3 + 13*k**2 - k + 535 - 538 - k**3 + 8*k**3. Let o be r(m). Solve w = -y - o, -y - 2*w = 4*y + 35 for y.
-5
Let w(f) = -14*f**3 + 167*f**2 + 11*f + 17. Let o be w(12). Solve 2*m - 37 = o*k, 2*m - 10 + 8 = -2*k for m.
6
Let f(o) = 93*o**3 - 14*o**2 + 12*o - 1. Let i be f(1). Solve -i*p = -88*p - j - 7, -5*p - j = -21 for p.
4
Let n(y) = y**2 - 62*y - 1053. Let q be n(76). Solve -x = 3*o - q, 6*o - 2*x - 18 = 4*o for o.
5
Let k(h) = -h**3 + 8*h**2 - h + 11. Let g be k(8). Let i be (1 + 1 + 8 + -8)*115. Let v = i - 227. Solve 0 = -f + 2*f + g*b, -4*f = -v*b for f.
0
Let x = 308 + -301. Let z = x + 5. Solve 0*y - 5*f = y - 14, 0 = y + 4*f - z for y.
4
Let r(k) = -k**3 + 13*k**2 + 166*k + 59. Let s be r(21). Solve q + 5*v = -1, -5 = 4*q + 2*v + s for q.
-6
Let h be 6/(-14)*(-20020)/1716. Solve i - 10*q = -12*q - 2, -11 = i + h*q for i.
4
Let x be (-986)/20213 + (-84)/(-41). Let q(v) = v**3 - 3*v**2 - 4*v + 2. Let h be q(4). Solve 3*p + 5 = -x*g, -g + 2*g - 15 = h*p for g.
5
Let a(i) = i**3 - 26*i - 12. Let o be a(6). Suppose -37*u + o = -29*u. Solve 4 = 2*k - u*k + 4*p, -4*p = 3*k + 31 for k.
-5
Let k(j) = -j + 14. Let y = -129 - -141. Let t be k(y). Let z be (13/7 + -1)/((-50)/(-175)). Solve 0 = -t*v - 8, g - 18 = 3*g + z*v for g.
-3
Suppose 32*d - 52 = 34*d. Let z be d/((3 + 1)/(-2)). Let q(u) = 2*u**3 - 26*u**2 - u + 32. Let o be q(z). Solve -t - 3*t + o = 3*i, -5*i = 3*t - 17 for i.
1
Suppose 0 = -6*b - 6*b + 4*b. Let g(h) = 8*h. Let v be g(b). Solve -2*r - 10 = -o, -5*o + 5 = -v*r - r for o.
0
Let u = -2755 + 2758. Solve -2*k - 2*l = 10, -2*l + 11 = -4*k - u*l for k.
-2
Let c(x) = -2*x**3 + 6*x**2 + 5*x - 10. Let o be c(3). Solve -2*u - 7 = -h, 0 = -u + o*u + h - 1 for u.
-1
Let a be (14/4 + -4)*-2. Suppose -3*y = -a + 49. Let b be (-60)/y + -1 + (-1)/(-4). Solve b*i - 9 = -o, 4*o + i - 9 = -2*i for o.
0
Suppose 0 = 2*n + 35*n - 35*n - 4. Let j be ((-1)/2)/(1/22). Let a = -3 - j. Solve -z + a = -5*z + 2*s, 4*z + n = -s for z.
-1
Suppose -25 = -3*h - 4*k - 43, 0 = 5*h + 2*k + 2. Solve -3*q - 2*b + h = 0, -6*b - 2 = -4*q - 9*b for q.
2
Let o be ((-32)/(-28))/(32/112). Suppose -5*g + o*h - 2 = 0, 0*g - 3*g - 2*h + 12 = 0. Solve 17 = -g*a + 3*d, -11 = -3*a - 5*d + 11 for a.
-1
Suppose -29 = -3*s + 2*u, s - 3*u = -u + 19. Solve -c = -4*c + 2*n - s, 5*n = -c - 13 for c.
-3
Suppose 4*f - 210 = f. Let p = f + -68. Suppose -3 = -8*w + 21. Solve -3*k + p*t - 16 = -6, 0 = -w*k + 5*t - 25 for k.
0
Suppose 5*p - 11 = 24. Suppose 3*z + 2 + p = 0. Let w be 4 - (0 - z/3). Solve -2 = -w*a - 4*f - 10, a + 11 = -3*f for a.
4
Let c(d) = 6*d - 28. Let l(z) = -2*z + 9. Let o(h) = 3*c(h) + 8*l(h). Let w be o(8). Suppose 2 = 2*m - w. Solve p - 5*a = 25, -m*p + 2*a = -p - 18 for p.
5
Let r(c) = 10*c**3 - 9*c**2 + 5*c + 1. Let q be r(1). Solve -5*m + q = 4*i, 0 = -2*m - 9*i + 14*i + 16 for m.
3
Let o be (2/(-5)*-2)/((-1708)/(-10675)). Let x be -4*2*5/(-4). Suppose x = 4*j - 10. Solve -o*m = 3*y + 3 + 12, 0 = -2*m - y - j for m.
0
Suppose k - 5 = -0. Suppose k*y = -16*y + 63. Solve 0*r - y = -r + 2*w, 5*w = -15 for r.
-3
Suppose -x = -38*b + 41*b - 4, 5*b = 4*x + 35. Solve -5*s = 5, -3*s = b*o - 4*s - 16 for o.
5
Let x(u) be the second derivative of 11*u**3/6 - 33*u**2/2 - 156*u. Let o be x(3). Solve y - 9 = -4*l, -2*l + o*y + 6 = 2*y for l.
2
Let d be ((0/(-13 + 6))/(6 - 3))/(-2). Solve d = -2*v - 6, -28*n + 31*n + 2*v = 0 for n.
2
Let h be (4/5)/((-14)/(-175)). Suppose -h*k = -5*k - 15. Suppose -4 = 6*a - 16. Solve 3*p + a*p + k*j - 34 = 0, j + 12 = 3*p for p.
5
Let w(z) = z**2 + 35*z + 36. Let i be w(-34). Let u = -2 + 7. Suppose -1 = -q + u. Solve i*n + q = 5*f, 4*n = -2*f + 3*f + 6 for f.
2
Let n be (14/6)/((-1)/3). Let s be 1/n - 468/(-91). Suppose 24 + 91 = 5*m - 3*g, 0 = -2*m + 2*g + 50. Solve -20 = 3*a - 7*b + 2*b, m = 3*a + s*b for a.
0
Suppose q + 4*y + 8 = 0, -4*q + 5*y = 43 - 137. Solve q = 4*k + 5*z, 35*z = 33*z for k.
4
Suppose 5*z = -3*u + 43 + 3, -3*u + z + 34 = 0. Solve 16*s + 2*g + u = 11*s, s - 16 = -5*g for s.
-4
Let v be (0 - (16 + 0))*-1. Suppose 0 = -3*p + 4*w + 17, p + v = 3*p - 5*w. Solve -g - 4*x + 13 = 0, -p*x + 6 + 0 = 0 for g.
5
Let w = -9 + 17. Suppose k - 5*k + w = 0. Suppose 18 = -210*x + 216*x. Solve 0 = -x*h + 3*l + 21, -5*h + 1 + 28 = -k*l for h.
5
Let a(o) = o**2 - 9*o + 2. Let p be a(8). Let d(k) = -2*k**3 - 11*k**2 + 6*k + 1. Let x be d(p). Solve u = -4*s + 7, x = 7*u - 2*u + 3*s for u.
-1
Let r(b) = b**3 - 18*b**2 + 11*b + 107. Let p be r(17). Solve -2*l = p*t + 15, -4*l - 12*t = -7*t + 5 for l.
5
Suppose 3 = g - 3*o, -4*o - 8 = -2*g + 2. Suppose 4*f + 2 = 2*u, -4*f - g - 2 = u. Let y be (-3 - f)*(0 + -3). Solve 12 = -2*l + 2*m, m = -4*l - y*m + 16 for l.
-1
Let n(s) = -s**3 - 23*s**2 + 49*s - 20. Let r = -106 - -81. Let x be n(r). Solve 3*l - 17 = x*d + 6*l, -d = 2*l + 9 for d.
-1
Suppose 0 = 40*d - 35*d - 1230. Let v = 246 - d. Solve -3*r + 25 = -2*u - 2*u, v = 2*u + 2*r + 2 for u.
-4
Suppose -54*v = 1223*v - 3831. Let u be 16 - 0 - (-1 + 2). Suppose -5*z - u - 8 = i, -3*i = -4*z - 26. Solve i*r - 5*r - v = 3*t, 2*r + 4 = -t for t.
2
Suppose t = -4*z - 80, z + 0 + 39 = -5*t. Let c be (14/(-21) + z/(-15))*5. Sol