10 for p.
-5
Let u = -1237 + 1240. Solve -u*n + 5*l - 1 = 1, 0 = -n - 4*l - 12 for n.
-4
Let v = 45 + -29. Suppose v = -3*n + 3*s - 8*s, 3*n = 4*s + 29. Solve -2*z = -0*z - 10, 4*f - 1 = n*z for f.
4
Suppose -j = 1 - 0. Let m(h) = -2*h**2 - 1 - 7*h - 6*h**3 + 0*h + 5*h. Let g be m(j). Solve -3*o - 5 = -5*u, -g*o = 5*u + 29 + 6 for u.
-2
Let j = -65 + 67. Solve -z + 7 = j*w + 1, 4*z = -3*w + 19 for w.
1
Let l be (0 - (-2)/(-4))*(3 - 3). Let v(x) = x**2 + 3. Let a be v(l). Solve 0 = -5*b - 3*k - 4, 5*b - a*b - 5*k - 17 = 0 for b.
1
Suppose -2*h - 25 = -3*c, 4*h + 25 = 3*c + 8. Suppose -56 = 3*s - c*s. Solve 0 = 2*d + 8, 3*q = -d - s - 6 for q.
-3
Suppose -36 = -5*o - 4*o. Suppose -3*h - h = p + o, 5*p + 2*h = 16. Solve 5*x = 3*x, 0 = -p*z - 4*x - 4 for z.
-1
Let j be 1*21/(3/(-1)). Let h be ((-2)/(-9))/(j/(-63)). Suppose -3*d = 2*d - 30. Solve 2*u + 4 + 0 = h*i, 5*u - i = -d for u.
-1
Let x(c) = -4*c**2 - 2*c - 3. Let a be x(3). Let y = -40 - a. Solve 4 = y*g + 2*j + j, -g - 5*j - 8 = 0 for g.
2
Let i(z) = -z**2 - 9*z - 3. Let w be i(-6). Let n(g) = g**3 - 107*g**2 + 114*g - 835. Let x be n(106). Solve -6*l - w = -l + 5*d, 4*l - d = x for l.
2
Let q = 55 + -114. Let a = q + 62. Solve a*b + 5 = -5*d, 0*d - 2*d + 14 = -2*b for b.
-5
Let b = 11 - 21. Let z = 12 + b. Let u = -1 + 1. Solve 4*i = z + 2, 3*o + i + 2 = u for o.
-1
Let o = -17 - -21. Suppose 5*w - 2*b - 18 = 0, 2*w - 7*b + 3*b - o = 0. Let c = -41 - -45. Solve 3*s = 5*g - c, 1 = -3*s + 4*g - w for s.
-3
Let y(c) = -19*c - 13. Let v be y(4). Let r = v + 89. Solve -i = -q - 4, r = -6*i + 4*i + 6 for q.
-1
Let v be ((-141)/(-21) - 3) + 12/42. Solve -4*n + v*x = 0, -2*n - x + 2 = -n for n.
1
Suppose 0 = -12*s + 15*s. Suppose s*p + q = 2*p - 8, 5*q + 13 = p. Solve -r = 1, 5*r - p*r = 4*c - 14 for c.
3
Let z be (1/2)/(7/28). Let x(c) = c**3 + 17*c**2 + 15*c - 14. Let l be x(-16). Solve -2*o - z = -0*u - l*u, 0 = -3*u + 9 for o.
2
Let f(h) = -2*h**2 + 13*h - 10. Let u be f(6). Let x be 12/u - 0 - -7. Solve -5*p = 3*r + 10, -x*p + 0 = 3*r + 11 for r.
-5
Let i(x) = 2*x**2 + 2*x - 6*x**2 + 8*x**2 + 1. Let w be i(-1). Solve -3*g - 9 = -3*p, 0*g = -g + w*p - 13 for g.
2
Let r(j) = 63*j - 185. Let q be r(3). Solve -5*t - 4*i + q = 0, -t - 11*i + 5 = -6*i for t.
0
Let l(r) = r - 6. Let z(i) = 1. Let x(a) = -l(a) + z(a). Let u be x(7). Suppose 3 = -w - 1, u = h - 3*w - 12. Solve -6 = 2*f + f + 3*j, h = -4*j - 8 for f.
0
Let d = 108 + -77. Suppose p = v + 61, -v + 5*p = -2*v - d. Let a be ((-48)/v)/((-6)/(-28)). Solve -a = g + 3*x, 0 = -3*g - x + 3*x - 12 for g.
-4
Let x be (-3)/12 - 7/(-28). Solve -4*v - 1 = 5*z + 3, x = -2*v + 2*z + 16 for v.
4
Suppose q + 6 = 3*y, 0*q + 18 = 5*q + y. Let i(a) = a + 3*a + 7*a**2 + 3 - 14 - 5 - a**q. Let p be i(7). Solve -4*o = -0*o + p, w - 10 = 3*o for w.
1
Let z(l) = -l**2 + 32*l - 55. Let t be z(30). Solve 5*d + i = 6*i + 15, 3*d = t*i + 5 for d.
5
Suppose -3*v + 3 + 6 = 0. Let u be ((-2)/(-5))/(v/45). Suppose -4*m + u*m = 0. Solve -g - 27 = -3*p + 3*g, m = 4*g + 12 for p.
5
Let s = 98 + -94. Let n be 30/(-45) + s/6. Solve -10 = 3*p + 5*t, n*p + p + 15 = -4*t for p.
5
Let t(n) = 5*n + 18 + n**2 - 2*n**2 + 5 - n. Let p be t(7). Solve j - 3 - 3 = -p*f, 4*f + 5*j = 12 for f.
3
Let f = 27 - 10. Suppose 2*h - f = -3. Let a = h - 4. Solve -4*i + 5*s - 12 = -a*i, -s + 6 = i for i.
3
Let m be (-6)/60 - 369/(-90). Solve 21 = 2*n - 5*q, -m = 5*n - 3*q - 28 for n.
3
Suppose p = 4*g + 310, -2*g = g + p + 236. Let x = g + 78. Solve 4*c + 2*y = 16, x*c + c = 4*y + 13 for c.
5
Let l(a) = a**2 + 31*a + 66. Let r be l(-29). Let c = -12 + 18. Solve -n + c = -3*n + 4*j, -4*n + r = -3*j for n.
5
Suppose 125 = 5*r - 135. Let c = r + -50. Solve 0 = -5*v - 4*m + 15, 5*v - 22 = -5*m - c for v.
-1
Let x(i) = 17*i - 164. Let p be x(10). Solve -o + p = -3*b, -6*o = -3*o + 5*b - 4 for o.
3
Suppose -3*r + 0 = 9. Let m be r - (-3)/((-12)/(-52)). Let o = -5 + m. Solve -4*b - 31 = -3*v, 3*b + b - o*v = -41 for b.
-4
Let f = -1 - -6. Let n(x) = -x**3 + 46*x**2 + 48*x - 45. Let m be n(47). Solve -9 = m*s + o, -f*s + 2*s = -o + 6 for s.
-3
Let d be 2/(-9) + (-440)/(-36). Suppose 0*h - 4*h = -d. Suppose -5*r + 30 = 5*f, 3*f + 2*f - 22 = -h*r. Solve -r*j - 2*n - n + 9 = 0, -5 = -3*j - 4*n for j.
3
Suppose -44 = -2*x - 9*x. Solve 3*o - 2 = -x*j, 0*j = 3*j + 3*o for j.
2
Let o be ((-88)/77)/(4/(-14)). Suppose 0 = -7*g + 11 + 24. Solve 0 = -5*f - 3*k - g, o*k = 2*k + 10 for f.
-4
Suppose z - 8 = 27. Let l be (z/15)/(1/3). Let s = 10 - l. Solve 2*b - 13 = s*f, f + 4 = 4*b - 7 for f.
-3
Let k = 151 + -147. Let d = 33 - 21. Solve 2*h = m + k, 0 = -3*m - h - 0*h - d for m.
-4
Suppose 8*v - 144 = -v. Solve -3*i = 5*k + v, -3*k - 9 - 1 = 2*i for i.
-2
Let f = 1609 - 1604. Solve f*g - 20 = 0, 2*g + 0 = i + 4 for i.
4
Suppose 9*r = -2*r. Solve -4*z + 4*f = -12, r = -3*z - 0*z + f - 1 for z.
-2
Let i be (-2)/(2/(0 - 8)). Suppose 2*n - i = 14. Solve -2*o + 5*z = 28, 17 + n = -4*o + 3*z for o.
-4
Let p(b) = -b**3 + 13*b**2 - 31*b + 14. Let m be p(10). Solve 4*d - 8 + 34 = -2*t, 3*d + 27 = -m*t for t.
-3
Let m(j) be the third derivative of j**5/60 + 5*j**4/12 + 13*j**3/3 + 14*j**2. Let f be m(-7). Solve 0 = 3*k - 15, 2*u - f*u + 4*k = 20 for u.
0
Suppose -29 = -4*s + 3*s. Let p = s + -25. Let b be 0 - (-2 + p + -2). Solve -4*j = -4, 4*m - j + 5 - 4 = b for m.
0
Suppose 0*s - 5*s = 0. Suppose 11 = 2*h - 2*k + 5, -h + 5*k + 11 = 0. Solve -5*y - 3*n = 8, s*n + n = -h for y.
-1
Let v(i) = -11*i + 4*i + 9*i + 27. Let q be v(-9). Solve -5*u - 19 = 3*y, -3 + q = -3*u for y.
-3
Let n = -36 + 11. Let o = n + 40. Suppose 3*d + 15 = 5*u, -4*d + o = 5*u - 3*d. Solve 2*t = -0*t + u*p - 3, 3 = 3*p for t.
0
Let d = 15 + -13. Suppose -r - d*r = -24. Suppose -2*m + 0*m + r = 0. Solve 0 = m*u + s + 13, -2*s = -5*u + 3*s - 10 for u.
-3
Suppose -2*i + 65 = -5*y, 29 = -41*i + 42*i + y. Solve 4*u - j = -8 + 27, -5*j = 5*u - i for u.
5
Suppose -4*j = -15 + 3. Suppose 2*h + j*i + i + 38 = 0, 2 = -i. Let r be 8/6*h/(-2). Solve -4*z = -16, 2*z + r = -y + 5*z for y.
2
Let w = 35 + -33. Solve -4*c + 7 = 5*p, 0*p = -2*p - w for c.
3
Let o = 7 - 1. Suppose -4*b = -3*n - 7 - 2, 2*n + b + o = 0. Let s be 0/n - (-5 - -2). Solve -12 = -5*x + 2*v, -2*v - s = -3*x + 1 for x.
4
Let y be (4/6)/((-4)/18). Let x be (1 + y)*(-27)/(-6). Let s be x*(-8)/6 - -3. Solve 5*k - 4 - s = -4*c, -2*c - 1 = -k for k.
3
Let n = 79 - 76. Suppose -n*w + 4 + 8 = 0. Solve 3*t + 10 = 3*x + 1, -w*t = -x + 18 for x.
-2
Let p = 67 - 58. Suppose 0 = -5*h - 5*b + p + 21, -2*h - 3*b = -13. Solve h*m + 4*i + 6 = 0, -2*i + 4 - 2 = 0 for m.
-2
Let d(h) = -3*h**3 - 2*h**2 - h. Let k = 1 + 0. Let j = 0 - k. Let y be d(j). Solve -13 = 3*s + 3*r + 8, 3*s + y*r + 17 = 0 for s.
-3
Suppose 8 = 4*q - 0*q. Suppose 0 = q*n + 2, 0*t + 2*t = -5*n + 5. Suppose 7*s - t*s = 8. Solve 8*j = s*j - 2*l + 14, -5*j + 3*l = -1 for j.
2
Let b(u) = -4*u**3 - u**2 - 3*u - 1. Let l be b(-1). Let s = 29 + -16. Suppose -l*h + 12 = -s. Solve 3*z = 4*j - z + 8, -11 = h*j - 4*z for j.
-3
Suppose -4*s = -3*h + h - 40, h - 4 = 0. Solve 0 = -3*g + s, 3*x + 4*g = g for x.
-4
Let k be (-3*3/6)/(6/(-40)). Solve 0 = q - 2, -q - 3 = -f - k for f.
-5
Suppose 12*l + 5*l = 68. Solve -2*f + 2*q + 16 = 0, -25 = -l*f + 3*q + 4 for f.
5
Suppose 0*t = -2*t - 0*t. Solve -1 = -m - 4*d, 2*m + t*m - 5*d - 2 = 0 for m.
1
Let p = -22 - -16. Let w = 7 + p. Let l = w - -2. Solve 3*v = 3*g + 9, -2*v - 4*g = l*v + 21 for v.
-1
Let x = 14 - 9. Let g(d) = d + 13. Let a be g(3). Solve -x*q + q - a = 0, -2*q = -5*f + 28 for f.
4
Let y(k) = -128*k - 252. Let i be y(-2). Solve 3*w = -b + 2, i*w - 16 = 6*w + 5*b for w.
2
Suppose -33*v = 4*a - 29*v, 4 = -a - 5*v. Solve a = s - 5*w - 7, 0 = 5*s + 2*w - 13 for s.
3
Let x(n) = n - 3. Let o be x(7). Suppose o*d = 33 + 51. Suppose 2*w = -4*s + 20, 2 = -w + 43*s - 41*s. Solve -5*h + 2*j - d = 0, h + 5*j = w*h + 24 for h.
-3
Let j = -1299 - -1301. Solve 0*u - j*g = 4*u, 0 = 5*u + g for u.
0
Suppose 240 = 71*l - 115. Solve -l*r = -3*u + 20, u - 4 = r + 2*u for r.
-4
Suppose 3*l + 20 = 4*f, 0*f = 2*f - 2*l - 10. Solve f*z - a = -0*a - 19, -z + 9 = 3*a for z.
-3
Suppose -7*f + 4*f = -12. Solve f*n - 13 = 4*c + 7, n = 2*c + 7 for c.
-2
Let y be (-47 - -49)*(-1)/((-1)/5). Solve y = -4*p + 2*j, 1 = -5*p 