b for p.
3
Suppose 7*p - 9*p = 0. Let y(n) = 4*n**2 + p*n**2 - 23 + 12 + 10. Let g be y(1). Solve -g*v + 4*h + 5 = -0, 4*v = 2*h - 10 for v.
-5
Let v(y) = -y**3 + 4*y**2 + y - 9. Let q(j) = -j**2 - 3*j + 13. Let o be q(-5). Let r be v(o). Solve 3*l - 5 = -u - 0*l, r*u = 2*l + 15 for u.
5
Let o(v) = v**3 - 8*v**2 + 2*v + 38. Let a be o(7). Suppose 2*l + 1 + 11 = 4*d, a*l + 14 = 5*d. Solve 2 = -h + l*n, 3*h - 4*n = 3 - 9 for h.
-2
Suppose 0 = -2*w + 5*b + 74, w - 2*b - 36 = -0*w. Let f = w + -28. Let r be (18/24)/(1/f). Solve 2*d - 14 = r*q - 6*q, q - 1 = 3*d for d.
1
Let h(f) = 14*f**2 + 10*f - 10. Let k be h(4). Let q = -248 + k. Solve -2*b + d = 1 - q, -5*d = -b + 25 for b.
0
Suppose -u - 2*o - 8 = 0, o + 322 = 2*u + 308. Let s(x) = 3*x**2 - 2*x - 2. Let y be s(2). Solve -4*p = -p + y, -3*p + u = 5*f for f.
2
Suppose 0 = 5*k - 25, 3*j - 2*k + 56 = 55. Solve -2*g + 8 = 2*i, -j*g - 5*i + 3*i + 8 = 0 for g.
0
Let v be -5 + 2 + (-2 - 102). Let t = v + 112. Solve 4*s = -5*q - 0*q + 21, -4*q + 25 = -t*s for s.
-1
Let j be 33 + (-8)/(-12)*-3. Suppose -8*l + 83 = 283. Let b = l + j. Solve 12 = -3*m + 6*m, -3*a + 3*m = b for a.
2
Let x be 8/4 + -22 + -22 + 49. Solve 7 = -7*l, 21 = -5*z - x*l + 6*l for z.
-4
Let z be (272/(-12))/(-2)*-3. Let h = z + 47. Suppose 249*u - 128*u - 131*u = 0. Solve 2*r + 3*w + 4 - h = u, 0 = -2*w + 2 for r.
3
Suppose -4*r + 15 = 3. Suppose -3*m + 84 = -m. Suppose -2*x + 9*x = m. Solve -r*b = -2*c + 4, -2*c - c = 5*b - x for c.
2
Suppose -10*m - 10 = -15*m. Let p(f) = f**3 - 2*f**2 + 3*f - 4. Let o be p(m). Solve -5*c + 17 - 1 = -2*i, o*c = -3*i - 5 for c.
2
Let v = 37 + 8. Let o be 0*(3 - (-78)/(-24)). Suppose -v = -4*x - g, 2*x + 2*g - 18 = -o*g. Solve -3*r + 0 = -s - 4, x = -3*r - 3*s for r.
0
Let j(y) = -y**2 + 10*y - 7. Let d be j(9). Suppose -15 = -o - 2*s, -2*o + d*s - 5 = -o. Solve -5*v - 13 = 2*q, 7 = -3*q - o*v - 5 for q.
1
Let q = 48 + -31. Let h(z) = -3*z**2 + 27*z + 1. Suppose -5*m + n = -7*m + 15, 3*n = -3. Let x be h(m). Solve q = 3*w + 4*l - 2, 5*w + 5*l = x for w.
1
Suppose 423 = -4*d + 44*d + 7*d. Solve 3*s + d = g, 3*s = -68*g + 71*g - 3 for s.
-4
Suppose -19*w + 108 - 22 = -28. Solve w*n - y - 23 = 11*n, -9 = 3*y for n.
-4
Let m = 139 - -5. Let j = 148 - m. Solve 0 = -3*v + j*b + 4, 4*b - 6 = 2 for v.
4
Let y(a) = -3*a**2 - 31*a + 27. Let h be y(-11). Suppose -h = 8*x - 29. Solve -2*g - x*n - 3 - 4 = 0, 0 = n + 5 for g.
4
Let w(u) be the third derivative of u**6/120 - 23*u**5/30 + u**3/3 - 91*u**2 - 2. Let l be w(46). Solve 2*r = 4, 14 = 4*j + l*r + 3*r for j.
1
Suppose 4*x - 673 = 5*s, 294*x - 296*x = 3*s - 287. Solve -7 = -3*k + 5*n, -154*k - 14 = -x*k - 2*n for k.
4
Let n(h) = 4*h + 29. Let m be n(-6). Suppose -3*l + x = -5, 2 = l + m*x - 5. Suppose -8*c + 30 = l*c. Solve -j + 4 = 3*s + 2*s, -c = 4*j + s for j.
-1
Let m = -18 - -37. Suppose -16*k - 14 - 172 = -442. Solve -5*q + m = -3*o - k, q = 4*o + 24 for q.
4
Let d(y) = y + 1. Let j be d(4). Suppose 0 = -b + 15 - 11. Let u be 247/7 + (-2)/7. Solve -3*i + u = 5*w, -4*w + j*w - b*i + 16 = 0 for w.
4
Let s be 2 - ((-4)/1 - (-9 - -21)). Solve -5*t - 13 = -i, 4*t + s - 6 = 0 for i.
-2
Suppose -2*u = 3*y - 2, 0 = -2*u - 6*y + 7*y + 10. Solve v + 8 = u*n, 21*v = 26*v + 3*n + 17 for v.
-4
Let g(p) = 2*p + 34. Let y be g(-3). Suppose -y + 30 = r. Solve -5*q - r*c - 26 = 0, -6*c = 5*q - 11*c + 5 for q.
-4
Let n be (-234)/(-65) + 1/(5/2). Suppose 0*r + r - 113 = -2*w, -w + n*r + 70 = 0. Let d = w + -53. Solve -p + 4*i - 1 = 0, -5 = -4*p + d*i + 2 for p.
3
Suppose 2*a + 0*r - 52 = 3*r, a - 31 = -r. Suppose -a = -k + 5*o - 0*o, -o + 15 = 5*k. Solve -4*s - 12 = -2*z, -z + 5*s = k*s - 4 for z.
2
Let u = -322 - -240. Let y be (-1107)/u + (-1 - 1/(-2)). Solve y = 5*v - 5*q + 3, -5*v + 22 = -q for v.
5
Let t(u) = -u**3 - 5*u**2 + 13*u + 68. Let f(l) = -l**2 - 26*l - 74. Let w be f(-3). Let v be t(w). Solve x - 24 = -4*o + v*x, -o + 1 = 2*x for o.
5
Suppose 2006 = 22*z + 67 + 311. Solve -6 = -2*g + 5*t, 4*g - z*t = -72*t + 12 for g.
3
Let o be (-3 - -3)/(166/747*1*9). Solve -4*t + k = o, -10*t + 5*t = -5*k for t.
0
Let c be (-8)/(-20) + -7 + 464/40. Solve -8*m - 15 = -3*m + c*d, -7 = -m + d for m.
2
Let z be (-5 - -10 - 60/(-6)) + 3. Suppose -2*r + 7 = 3*t, -16*t = -z*t - r + 6. Solve 2 = -4*m + 2*w, 2*m - t*m = 5*w - 31 for m.
2
Suppose 12*u - 1817 = -101. Let o = 146 - u. Solve -5*n = 4*z + 7, 0 = -0*z - z - o*n - 7 for z.
2
Let y = 23 + -11. Let j be ((-18)/y)/(-1 - 34/(-40)). Let x be 3 - ((-4)/j - (-6)/15). Solve -5*v + 2*w = -x*w + 35, 5*w = 4*v + 33 for v.
-2
Suppose -4*m - y + 9 = 2*y, -4*y + 12 = 0. Suppose m = -4*g + 10*g - 18. Solve -5*r + 8 = -2*h, 16 = -2*r - g*r - 4*h for r.
0
Let d(o) = -2*o**2 + 28*o + 28. Let k be d(14). Suppose k*m + 0*m - 84 = 0. Solve 2*g = -m*n - 0*g + 18, 0 = -n + 3*g - 5 for n.
4
Let p be (-4)/2*(-17)/2 - 14770/(-7385). Let w = 8 - -4. Suppose 5*g + 25 = 2*o, -o + 5*g + w = -8. Solve -k + o*h = p, 2*k - 2*h + 9 = 3*k for k.
1
Suppose -18*b = -5 - 33 - 16. Solve 3 = -3*t, 2*k + 3*k + 18 = -b*t for k.
-3
Let k be (-36)/66 + 562/22. Let n be (k - 30)*(-1 + 0). Solve -3*i + 4*h - 7 = -0, n*h = -10 for i.
-5
Let o = 594 - 998. Let w = 407 + o. Solve 12 = 4*t - 7*t - w*x, -2*x = 3*t + 7 for t.
1
Suppose -134 = -31*l - 111*l + 292. Solve -3*a = 3*w + 18, -l*a + 30*w = 28*w + 13 for a.
-5
Let n(v) = -3*v**2 - 2*v + 2. Let i be (-2)/(32/36) + (-1)/(-4). Let c be n(i). Let t be c/(-8) + 24/(-32). Solve u - 2*z + 8 = t, -3*z + 15 = -4*u + 3 for u.
0
Let h be (-1)/(-2 - (-2 - -1)). Suppose -5*m - 2*p = -15, -564*m + 10 = -569*m + 3*p. Solve 15 = u + 5*v, -m = -v + h for u.
5
Let c be ((-185)/(-333)*(-9)/(-30))/((-3)/(-54)). Solve 4*t = 4*w, 4*w = c*w - 5*t + 18 for w.
3
Let c be ((-4)/6)/(24/(-288)). Let i = -2 + -1. Let v be i + 1 + (c - 4). Solve -v*s - 3*x - 1 = 0, -3*s + 6 = -x - 2*x for s.
1
Suppose 2*p = w + 8, 22*w + 29 = 24*w + 5*p. Solve -3*v = f + 1, -w*v = -3*f + 8*f - 8 for v.
-1
Let s be (13/7 - 1)*(266/6 + -42). Solve -t - 5*h + 6 = -7, -3*t + 5 = -s*h for t.
3
Suppose -4*b - 4*p + 28 = 0, 0 = -2*b - 3*p + 378 - 366. Solve -d + b = -v, -3*d + 6*d - 3 = -5*v for d.
6
Let t(z) = -163*z**2 - z + 4. Let h be t(0). Solve -3*a + 2*p = -5*a - 16, -h*a + 3*p = 4 for a.
-4
Let z be -13 - (528 - 3)/(-15). Solve 0 = -3*m + 2*t - 8, m + z - 8 = -5*t for m.
-4
Suppose -15*z - 39 = 6. Let w be (-10)/(-85) - ((-18)/51)/z. Solve 5*s - 5*f = w, 2*s + 5*f = -0*s - 35 for s.
-5
Let a = 23 - 20. Suppose -r = -3*b - 2*r + 38, 0 = 4*b + a*r - 44. Let u = b + -10. Solve 3 = 3*c - u*m, -3*c = c + 3*m - 29 for c.
5
Let s = 536 + -540. Let a be (18/s)/((-39)/104). Solve -3 = 5*z + 5*f + a, 0 = 4*f for z.
-3
Let o = -76794 - -76797. Let a(z) = 2*z - 9. Let i be a(6). Solve -4 = -o*g + 2*w, -g + i*w - 8 = 7*w for g.
0
Suppose -2*k + 1 = -k. Let z be 7/(35/30) - (4 + -2). Let j(m) = -m**2 + 7*m + 5. Let s be j(7). Solve 2*c + 5 = 4*v - k, -z*v = s*c + 1 for v.
1
Suppose -4*z + 26 = t, -4*z = 5*t - 7*z + 8. Solve 0 = -4*f - p + t, -2*f + 5*p - 6 = -18 for f.
1
Let u be 1138/6 - 2/(-6). Suppose -10*y + u = -20. Let h = 17 + -13. Solve 0 = -j - h*j - 3*z + y, -4*z = 5*j - 23 for j.
3
Suppose 5*a - 11*l + 7*l - 21 = 0, -13 = 3*a + 4*l. Let f be 17 + -8 - -15 - (3 + a). Solve -4*s = 4*c - 0 + f, -5*c = s + 25 for s.
0
Suppose 0 = 4*g - 5*b + 12, -b + 4*b = 12. Suppose c + s - 11 = 0, -19 = -3*c + g*c - 5*s. Solve -h - 11 = -5*x + c, -20 = -h - 5*x for h.
0
Let b(d) = -d**3 - 13*d**2 + 45*d + 228. Let i be b(-15). Solve 2*z + i*z + 3*o = -5, 5*o + 21 = -2*z for z.
2
Let k = 652 - 647. Let d(g) = g**2 + 2*g + 5. Let m be d(-5). Let w = k + m. Solve 4*p = -2*u + 8, -4*p + w - 5 = -u for u.
-4
Suppose 31 = -5*t - 2*m, -3*t - 7*m - 30 = -2*m. Let q(i) = i**2 - 22*i - 116. Let z be q(t). Solve -g + 2*o + 5 = 0, -2*o = -4*g - 7*o - z for g.
-1
Let s = -5191 + 5192. Solve -4*n = -z + s - 12, 0 = -4*n - 3*z + 15 for n.
3
Suppose 47*w - 1668 = 41*w. Let l = 288 - w. Solve -4*p = -3*y + y - l, -5*y - 5 = -5*p for y.
3
Let v = 3 - -4. Suppose 8*a + 44*a = 1918 - 1554. Solve -2*p = -5*u + a, 5*p = -u + 3*u - v for u.
1
Suppose 0 = -2*c + 3*c + 1. Let y be c*11/((-33)/30). Let o be (-13)/(-5) + 4/y. Solve 5*j + 3*k = -26, -5*k - 18 = o*j - j for j.
-4
Let c(j) = -j**3