p + f*h - 23, 6 = -2*h + 4*h. Let g be b(p). Solve 4*l + 2 = g*l for l.
-2
Suppose -3*s = -7*s + 16. Let j(q) = -q**2 + 7*q - 9. Let u be j(s). Let o = -17 + 17. Solve o = -u*v - v - 12 for v.
-3
Suppose 21 = 5*y - 9. Suppose -y*u + 42 = -174. Solve -5*p = -u + 11 for p.
5
Let x(q) = -q**2 + 16*q + 39. Let u be x(17). Let s(g) = -g + 28. Let d be s(u). Solve -4*c = -d*c + 2 for c.
1
Suppose 0*u = 4*u - 44. Let q = u - 8. Solve -25 = -q*h - 2*h for h.
5
Let g(u) = u**2 - 23*u - 14. Let r be g(21). Let o = 56 + r. Solve j = -o*j for j.
0
Let b be (-6)/33 - 72/(-33). Suppose -6*n + b*c + 9 = -3*n, -c - 7 = -4*n. Solve r - 6 + n = 0 for r.
5
Let j be (-2)/7 - (-174)/21. Let u(f) = -3*f - 5. Let m be u(-3). Suppose -p = m*p. Solve p = s + s - j for s.
4
Suppose -5*i - 340 = 5*o, o + 8 + 59 = -2*i. Let d = 72 + o. Suppose -2*j + v + 4 = 0, -4*v + 0 = -j + 2. Solve -j*w = w + d for w.
-1
Let z be (12/8)/((-1)/(-10)). Suppose -4 + z = -o. Let i = o + 15. Solve i = -g + 1 for g.
-3
Suppose 5*k - 106 - 509 = 0. Let u = k + -91. Solve 5*o - u = -7 for o.
5
Let x = 3031 + -2968. Solve 24 = -71*l + x*l for l.
-3
Let z(l) = l**2 + 11*l + 15. Let y be z(-9). Let n be 9/y - (-2 - 13). Solve -5*d - 8 - n = 0 for d.
-4
Let f be (-7)/21 - (-50)/15 - -2. Solve -9*p = -f*p + 9*p for p.
0
Suppose 41*w + 119 = 48*w. Solve 0 = -4*r - 9 + w for r.
2
Let s(t) = -t**2 + 6*t - 3. Let w(r) = 4*r**2 + 1. Let d be w(1). Let c be s(d). Suppose 0*h = -z + 2*h + c, -4 = 3*z + 4*h. Solve z = -5*n - 1 + 6 for n.
1
Let l = -420 + 421. Solve -2 = 3*r + l for r.
-1
Suppose 0 = 2*h + 4*n - 2*n - 20, 0 = -2*h - 4*n + 10. Solve -8*c - h = -13*c for c.
3
Let k(q) = -q**2 + 7*q + 9. Let r be k(9). Let y be (-42)/r - 12/18. Solve 0 = w - y + 2 for w.
2
Let x(n) = n - 2 + 11 + 5*n - 4*n. Let v be x(-3). Suppose v*s = 2*s + 5. Solve 2*b + s + 3 = 0 for b.
-4
Let i = -85 - -42. Let m = i - -48. Solve m = -r - 0*r for r.
-5
Let x be (6 - 14)*25/(-2). Let g = x - 100. Solve g*m = m + 1 for m.
-1
Let a = 252 - 247. Solve -6*c - a + 23 = 0 for c.
3
Suppose -181*o + 169*o + 24 = 0. Suppose y = 2*y - 4. Solve y*v - o - 6 = 0 for v.
2
Suppose 0 = -p - 57 + 65. Solve -3*f + f = p for f.
-4
Let x be -1*1 + 6 + -2. Let v(f) = 131*f - 9. Let y be v(1). Suppose -5*u = -137 + y. Solve -x*g = -u - 3 for g.
2
Let b be 1/(-6) + 155/30. Suppose -4*r - 21 + 4 = b*a, -2*r - 5*a = 21. Solve -3*h - 25 = r*h for h.
-5
Suppose 5*u = -2*f + 18, -44*f + 47*f - 3*u - 6 = 0. Solve 3*j = 2*j + f for j.
4
Suppose p = -15*p. Solve -5*m + 7*m + 10 = p for m.
-5
Let g(l) = 8*l**2 + l**3 + 1 + 1 + 0 + 8 + l. Let v be g(-8). Suppose -5 = v*j - a, 15 = 5*j - 0*a + 3*a. Solve 4*n + 12 = -j*n for n.
-3
Let b(c) = c**3 + 3*c**2 - 5*c. Suppose 4*q - 2*f - 44 = 2*f, 3*q = -2*f + 33. Let v = q - 15. Let d be b(v). Solve -15 = d*m - m for m.
-5
Suppose 5*b - 18 - 7 = 0. Suppose 0 = b*s - 2*a - 13, 0 = 3*s - 5*a - 24 + 1. Solve 0 = -3*i + s - 16 for i.
-5
Let c be (-1 + 1)/((3 - 3) + 1). Solve c*s - 64 = -16*s for s.
4
Suppose -4*u = -16, 3*f + 63 = 2*u + u. Let o(r) = -4*r**2 + 38*r + 9. Let y be o(9). Let d = y + f. Solve -5*b + 5 = -d for b.
3
Let b = 21 - 19. Suppose 3*o - 94 = -2*h, 2*h - 66 = -o - o. Suppose -4*i - o = -3*c, -2*i - b*i = 16. Solve -c*a = -1 + 9 for a.
-2
Let r(n) = n**3 + 8*n**2 + 7*n + 2. Let c be r(-7). Suppose 5*p - 72 = c*p. Solve 4*j + 8 = p for j.
4
Suppose -3*j = p - 4, 5*j - 2*p = -4*p + 6. Let d(v) = 0*v**2 - 7*v**2 + 8*v**j + 1 - 5*v. Let c be d(5). Solve 0 = 3*m + c - 10 for m.
3
Suppose 68*f - 15 = 53*f. Solve -2*j + f = 3 for j.
-1
Let g = 57 - -29. Let f = 88 - g. Solve 0*j = f*j for j.
0
Let m be (6/(-4))/(1/(-18)). Suppose b + 3*d = -3 - 2, -m = -3*b + 5*d. Suppose -b*y = 2*a - 0*a + 2, 47 = 5*a - 3*y. Solve 0 = i - 2 + a for i.
-5
Let l = -948 - -969. Solve -6*o + l = 3 for o.
3
Suppose 5*t = 2*a + 14, -194*a + 196*a + 6 = 3*t. Solve -29 = a*z - 38 for z.
3
Let c(a) = 6*a - 2. Let u be c(-1). Let s = -2 - u. Solve -v = -3*v + s for v.
3
Let d = 18 - 12. Suppose -4*w + d*w = 0. Solve w*x + 2*x - 8 = 0 for x.
4
Let p(n) = -n**3 - 3*n**2 + 9*n - 3. Let b be p(-5). Let r be (-40)/(-15)*(8 - 2)/b. Solve r*d - 8 = 12*d for d.
-2
Let x be (-36)/27*9/(-4). Suppose -c - 2 = k, -x*c + 2 = c + 2*k. Solve 0 = c*s + s for s.
0
Suppose 4*s - 10 - 6 = 0. Let y be 6/(-15)*(-15 - 0). Suppose 0 = -s*j - 2*b - 0*b + y, 4*b = 5*j - 40. Solve -4*k = 4 + j for k.
-2
Let k(a) = -3*a + 64. Suppose -2*f + 5*f - 57 = 0. Let x be k(f). Solve -x - 2 = 3*o for o.
-3
Suppose -l + 1 = 0, 3*o - 3*l + 0*l - 18 = 0. Solve 0 = -o*z + 3*z - 4 for z.
-1
Let x(n) = -2*n**2 + 2. Let b be x(-1). Let k(m) = -m**3 - 8*m**2 - 5*m + 10. Let a be k(-8). Suppose 2*d = -b*d + a. Solve d = -4*j + 5 for j.
-5
Let p be 38/10 + 1/5. Let z = -102 - -107. Solve z*j = p*j - 1 for j.
-1
Let o(y) = -y**3 + y**2 + 5. Let r be o(0). Suppose -r*s + 8 + 7 = 2*q, -s = -3*q - 3. Solve q*k = 2*k for k.
0
Let a(o) = -o**3 + 11*o**2 - 2*o + 6. Let j be a(11). Let c = j + 18. Solve c*m - 3*m - 2 = 0 for m.
-2
Suppose 5*v - g = 3*v + 13, g = -3. Suppose m + i - 1 = 0, 0 = 3*m - v*m + 3*i + 22. Solve -4 - 21 = -m*p for p.
5
Let a = -207 + 208. Solve j - a = -2 for j.
-1
Suppose -8*h + 4*h - 5*y = 0, 0 = -2*h + 4*y + 26. Solve -10 = -h*a + 15 for a.
5
Let k = 121 - 114. Solve 0 = -2*s + k*s - 5 for s.
1
Suppose 16*c - 1 = 14*c - 3*j, 3*j = -3*c + 3. Solve w + c + 0 = 0 for w.
-2
Let o = -481 - -481. Solve 2 = -o*w + 2*w for w.
1
Let p be 0 + 5/(-2)*-2. Let i(m) = -m**2 - 92*m - 347. Let h be i(-4). Solve p*x + 10 = -h for x.
-3
Let o = 147 + -22. Let a be 4/18 - o/(-45). Suppose 5*u - 26 = -a*b, -u - u + 10 = b. Solve -w - b*w + 6 = 0 for w.
2
Suppose j + 0*j - 20 = 0. Suppose 5*d - 45 = j. Suppose u + 3*u = 12. Solve d - u = -2*c for c.
-5
Let n = 8 - -12. Let r = n - 20. Solve -s - 2 = -r*s for s.
-2
Suppose 4*y = 2*o + 22, y + 5*o = -y + 5. Suppose 0 = k - 5*k - 12, 5*f + 5*k - y = 0. Solve f*q = 2 + 2 for q.
1
Let i(f) = -3*f**3 - 99*f**2 - 2*f - 60. Let p be i(-33). Solve -p*a = 25 - 37 for a.
2
Let g(p) be the first derivative of p**3/3 + p**2/2 + 5*p + 3. Let f be g(4). Suppose 5*o = -f, -5*d - 2*o + 13 = -27. Solve 3*y - d = y for y.
5
Let g = -133 - -141. Solve g - 2 = 2*a for a.
3
Let q(o) = o**3 + 11*o**2 + 5*o + 16. Let v be q(-9). Solve 135*s - 8 = v*s for s.
4
Let k = 1081 + -1075. Solve -10*f - k*f = -15*f for f.
0
Let t(c) = 2*c + 17. Let h = -30 - -24. Let o be t(h). Solve -o*q + 8 = -7 for q.
3
Let r(x) = -x**3 + 5*x**2 - 9*x + 18. Let b be r(3). Solve b*q + 3 = 8*q for q.
-3
Suppose 292*u + 6 = 298*u. Let a(g) = g + 3. Let x be a(3). Suppose -5*b + x = u. Solve 0 = h - b + 6 for h.
-5
Let y(t) = 7*t + 6 + t**2 + 0 - 2*t**2 - 11*t. Let r(q) = -q**2 + 4*q. Let w be r(5). Let x be y(w). Solve 2 = -a + x for a.
-1
Let h(u) = -7*u + 4. Let o be h(4). Let t be o/14 + 2 - (-138)/7. Solve 3*q - t = -2*q for q.
4
Let a = -36 - -29. Let c(r) = -r**3 - 6*r**2 + 5*r - 8. Let h be c(a). Solve -4*y = h + 2 for y.
-2
Let w(t) = -t**3 - t**2 - 5*t - 6. Let d be (-4)/(-3)*3/(-2). Let k be w(d). Solve -4 - k = 3*r for r.
-4
Suppose -15*m + 437 = -58. Solve 11*w = -0*w + m for w.
3
Let a = 64 + -58. Suppose -2*m - 2 = -2*h - 16, -2*h = 3*m - a. Solve -4*s - m = -16 for s.
3
Suppose 30*h = 60 + 90. Solve -h*p + 7 = -3 for p.
2
Suppose -4*b + u + 2 + 23 = 0, 21 = 3*b - 3*u. Solve 0 = -b*j + 1 - 7 for j.
-1
Let i(b) = b**2 - 5*b - 4. Let r be i(6). Solve 43 = -r*d + 41 for d.
-1
Suppose -17*s = -14*s - 12. Solve s*k - 9 = k for k.
3
Suppose -r + 9*z = 6*z - 8, -2*r - 4*z = 4. Solve -r*t = -4 - 0 for t.
2
Let n = 921 - 921. Solve d + n*d = -2 for d.
-2
Let p(n) = n**3 - 5*n**2 - 6*n + 5. Suppose 2*m - m = -11. Let t = -5 - m. Let w be p(t). Solve -2*i - 3*i = -w for i.
1
Let g = 241 + -237. Solve g*q = 2*q - 6 for q.
-3
Suppose 0 = -2*d - 74 + 82. Solve -9 + 29 = -d*n for n.
-5
Let i = 33 - 30. Suppose i*o - 7 = g + 4*g, 2*g + 14 = 4*o. Solve o*q = -16 - 4 for q.
-5
Suppose -4*w + 12 = -4*g - 4, 0 = 4*g. Let u = w - 0. Let m = u + -3. Solve o = -5 + m for o.
-4
Let y be (-1 - (-12 + -1))/2. Suppose -2*d + y*d - 8 = 0. Suppose 2*f - g - 5 = 0, d*f = -6*g + 2*g + 30. Solve 16 + 4 = -f*h for h.
-4
Let d(s) = s**3 - 8*s**2 + 6*s + 10. Let a be d(7). Suppose a*z + 