p - 5. Let f(l) = -6*l**2 + 10*l + 7. Let b(o) = -5*f(o) - 7*z(o). Is b(x) a multiple of 6?
False
Let m(o) = 7*o**2 - 2 + o**3 + o + 2*o + 2*o. Let r be m(-6). Let g = r - 0. Does 3 divide g?
False
Let u(w) = 3*w**2 - 13. Is u(-5) a multiple of 11?
False
Let t(f) = 13*f - 17. Let c(g) = -7*g + 8. Let j(n) = -5*c(n) - 2*t(n). Let l be -3*(-1 + 3/(-3)). Does 20 divide j(l)?
False
Let k(s) = -4*s + 20. Is 15 a factor of k(-10)?
True
Suppose 5 = -o, -o - 1 = -2*i - 2*i. Let a be 78/2 - i/1. Does 7 divide (-4)/(-12) + a/6?
True
Let s be (0 + 1)/(2/(-12)). Let x be (-2 - -3) + (1 + 2)/(-1). Let c = x - s. Does 4 divide c?
True
Let l = 10 - -26. Suppose 2*z = -2*z + l. Does 3 divide z?
True
Suppose 3*g = -6 - 3. Let c be 16/6 + (-1)/g. Suppose 5*s = -c*u + 55, -3*u = -4*s - 2*u + 27. Does 8 divide s?
True
Let u = -296 - -439. Is 9 a factor of u?
False
Let c be 4/(-18) + 0 + (-2270)/(-90). Let d = -2 - -5. Suppose 29 + c = d*r. Is r a multiple of 9?
True
Let w(r) = -13*r**2 - 2. Let b be w(-2). Is (5/((-15)/b))/1 a multiple of 9?
True
Suppose -2*n = -6 + 2. Suppose 3*p - n = 7. Suppose -4*f + p*q = -109, f = -0*q + q + 28. Is 17 a factor of f?
False
Let k = 6 - 1. Let x(j) = 4*j**2 + 12*j - 16. Let c(p) = 5*p**2 + 13*p - 17. Let l(s) = k*c(s) - 6*x(s). Does 10 divide l(8)?
False
Let x = 2 - -1. Is (-193)/(-4) - x/(-4) a multiple of 17?
False
Let g(x) = x + 4. Let v be g(-6). Let w be 3 + v + 0 + 2. Suppose -w*t - 2*t = -45. Is 9 a factor of t?
True
Let q(m) = 2*m**3 + 8*m**2 - 5*m + 9. Let k(h) = -5*h**3 - 24*h**2 + 16*h - 27. Let t(g) = 3*k(g) + 8*q(g). Let c be t(7). Is (5/(-1))/(c/6) a multiple of 9?
False
Suppose -n + 30 - 7 = 0. Let a = 46 - n. Does 9 divide a?
False
Let p(w) = 2*w**3 + 10*w**2 - 3*w - 3. Let c(a) = 5*a**3 + 29*a**2 - 9*a - 10. Let n(k) = 3*c(k) - 8*p(k). Let u be n(6). Let l = 27 - u. Is 8 a factor of l?
False
Let b be (-6)/3*2 - -1. Does 7 divide (-1)/b*3*7?
True
Does 5 divide (72/(-108))/(1 + 34/(-30))?
True
Let n(b) = -b**3 + 5*b**2 - 5*b + 4. Let s be n(3). Suppose -4*z - 261 = -s*z. Let f = -57 + z. Does 13 divide f?
False
Suppose -6 = 4*o + 4*n + 2, -5*n - 30 = -5*o. Let m = 0 - -5. Suppose -m*h + 46 = 2*q, q + o*q - 34 = -4*h. Is h a multiple of 3?
False
Let f = -71 - -123. Does 17 divide f?
False
Let s = -9 + 15. Let f(r) = 2*r**2. Is 20 a factor of f(s)?
False
Let k = 110 - 14. Is 8 a factor of k?
True
Let l = 12 - 9. Suppose 165 = l*x + 2*h + h, 0 = -5*h - 25. Does 30 divide x?
True
Suppose 5*m + 415 = 5*v, -6*m + m + 415 = 5*v. Let p = -32 - -65. Let y = v - p. Is y a multiple of 15?
False
Let p = 0 - 7. Let h(i) = -i + 2. Does 9 divide h(p)?
True
Let h(l) = -l**3 - 4*l**2 - l - 7. Let s be h(-5). Let a = 34 - s. Does 11 divide a?
True
Let h be (-3)/(-5) - (-346)/(-10). Does 5 divide (-4)/1*h/8?
False
Suppose -3*q - l = -265, 0*q - 5*l = 3*q - 281. Does 45 divide q?
False
Let n(c) = c**2 - c - 1. Let u be n(-3). Let k(b) = 23*b - 2. Let t(h) = -8*h + 1. Let l(m) = u*t(m) + 4*k(m). Does 7 divide l(3)?
False
Suppose 6*j - 123 - 447 = 0. Is 12 a factor of j?
False
Suppose k - 2*k = -5. Suppose 0 = k*r - 126 - 84. Does 18 divide r?
False
Let n be -4*(-2)/4 - 8. Let l = 2 + n. Is 3*(l - -1)*-1 a multiple of 9?
True
Suppose -146 = 4*o - 6*o. Does 18 divide o?
False
Suppose b = -0*b + 8. Suppose -3*a - b = -5*a. Suppose 22 = 5*m + 4*d, 0*d - 2*d + a = -m. Does 2 divide m?
True
Suppose 16 = 3*q - q. Let u = q + 14. Is u a multiple of 13?
False
Let r(a) = 5*a**2 + 5*a + 2. Let t be r(-3). Suppose -3*d + 3*i - i + 126 = 0, d = 4*i + t. Is d a multiple of 22?
True
Let c = -15 - -29. Is 6 a factor of c?
False
Suppose 3*o + 30 = 2*n, -5*o = n - 6*n + 75. Let d = 25 - n. Does 3 divide d?
False
Suppose 3*w = 5*w - 4. Suppose -2*y - 3*g + w*g = -22, -2*y - 5*g = -30. Is y a multiple of 4?
False
Suppose 2*f - 3*w = w + 240, 3*w + 12 = 0. Let x = f + -64. Is x a multiple of 16?
True
Suppose -3*k + 9 = 0, 13 = u + 5*k - 66. Is u a multiple of 15?
False
Let h be (-84)/(-15) + 2/5. Is 13 a factor of (-4)/(h - 2) + 53?
True
Let f = -11 + 17. Is f a multiple of 6?
True
Let p be 4/(-22) + 138/33. Suppose -p*z + 28 = 5*g, -4*g = 2*z - 1 - 19. Suppose d = 2*d - 3*l - 8, -z*d + 36 = -2*l. Does 15 divide d?
False
Does 25 divide -17*(-1 - 1 - 0)?
False
Let h = -12 + 73. Suppose 3*b = -1 + h. Is b a multiple of 5?
True
Let b(x) = -x**3 + 4*x**2 + 5*x + 1. Let g be b(5). Let u = g + 8. Is 3 a factor of u?
True
Suppose 0 = 8*y + 123 - 475. Is y a multiple of 11?
True
Let g = -7 - 7. Let u be 1/4 - 262/(-8). Let z = g + u. Is 6 a factor of z?
False
Suppose 0 = -4*p + 2*p + 6. Suppose -5*z + y = -p*y - 20, 4*z + 5*y = 16. Is z a multiple of 4?
True
Suppose 0 = -h - 3*f + 10, -4*h + 93 = -2*f + 11. Is 19 a factor of h?
True
Suppose 174 + 12 = 6*p. Is 16 a factor of p?
False
Let j = 141 + -99. Does 14 divide j?
True
Let b(r) = r - 32. Let s = 2 - 2. Let v be b(s). Does 13 divide (v/5)/((-2)/10)?
False
Let q = -1 - -5. Is 3 a factor of q?
False
Suppose -o - 12 = -3*c - 4, 3*c + 8 = 5*o. Suppose 2*z + 2*y + 116 = 0, z + 46 = y + c*y. Let p = -32 - z. Does 12 divide p?
True
Let p(u) = -1. Let y(z) = z**3 - 5*z**2 + 4*z - 4. Let n(r) = 2*p(r) - y(r). Is 8 a factor of n(3)?
True
Suppose 1 = 3*u - 5*o - 5, 0 = -3*u + 3*o + 12. Is u a multiple of 2?
False
Let j be (-446)/(-34) - (-16)/(-136). Let w(d) = d**2 - 12*d - 5. Is w(j) even?
True
Suppose -4*b + 40 = -3*b + 5*x, -5*x = 20. Is 10 a factor of b?
True
Suppose -2*f - 162 = -3*k, 236 = 5*k + 4*f - 12. Suppose 0 = 3*j - k - 53. Is 10 a factor of j?
False
Let d be 3*7/(63/(-30)). Let n = 13 - d. Let z = -8 + n. Does 13 divide z?
False
Let r = -5 - -7. Suppose 2*o + 4*m - 152 = 0, -3*o + 3*m + 228 = -r*m. Is o a multiple of 20?
False
Suppose -20*k + 1120 = -15*k. Is 43 a factor of k?
False
Let a(q) = -7*q**2 - 7*q - 5. Let b(z) be the first derivative of z**3 + 2*z**2 + 3*z - 2. Let w(g) = -4*a(g) - 7*b(g). Is w(-1) a multiple of 4?
False
Let b = 2 - -2. Suppose -i + 160 = 4*x, b*i - 407 - 177 = -2*x. Suppose -4*g = 4*d - d - i, 3*g - d - 121 = 0. Does 19 divide g?
False
Let b(k) = k**2 - 19*k + 47. Does 4 divide b(19)?
False
Let d(q) = 4*q + 10. Let l(u) = 9*u + 21. Let x(s) = 13*d(s) - 6*l(s). Does 4 divide x(-4)?
True
Suppose 0 = -5*l - 2*r + 179, 4 = -r + 3*r. Does 5 divide l?
True
Let a be 0*(0 - 1/(-2)). Suppose a = 4*h - 9 - 111. Suppose -t + 0*t = 3, -3*q + 3*t + h = 0. Does 4 divide q?
False
Suppose -1 - 9 = -2*l. Let u = l + 0. Suppose 0*j + u = j. Is j a multiple of 2?
False
Suppose 2*q + 2*q = 40. Let m(y) = -y**2 + 13*y - 5. Does 8 divide m(q)?
False
Suppose 22 = -o - 4*f, -1 = -4*o + 2*f - 35. Let k = o - -28. Does 12 divide k?
False
Let g = -804 - -1173. Suppose -3*n + o = -660, g = 5*n - 2*o - 731. Suppose -n = -4*y + 2*a, 4*y + 3*a - 263 = -33. Is 20 a factor of y?
False
Let t be (-28)/(-6)*3*1. Let j = t + -2. Is 8 a factor of j?
False
Suppose 5*n - 2*n = 0. Let f be (n + 0/2)/3. Is 2 + f + 1*2 a multiple of 2?
True
Let p(l) = 15*l**3 - 3*l**2 - 5*l. Let s be p(-2). Let d = -87 - s. Is 6 a factor of d?
False
Suppose -2*p - 152 = -5*b, 4*b = 5*b - 5*p - 12. Does 8 divide b?
True
Does 22 divide -5 + 2*(2 + 104)?
False
Let w = -199 + 38. Does 19 divide (-18)/(-24) + w/(-4)?
False
Let s(n) = n**2 + 2*n. Let m(a) = -a**2 + 5*a - 3. Let t be m(2). Does 15 divide s(t)?
True
Let s = 960 + -667. Is s a multiple of 14?
False
Let w(i) = i**3 + 8*i**2 + 6*i + 9. Suppose 2*t + v + 14 = 2*v, 5*t - 2*v = -35. Is 8 a factor of w(t)?
True
Let y(h) = -3*h - 10. Does 4 divide y(-7)?
False
Let s(k) be the second derivative of k**4/12 - 11*k**3/6 + 7*k**2 - k. Let x be s(10). Suppose 3*h - 13 - 1 = -x*l, 4 = -l. Is 5 a factor of h?
True
Let q(r) = -r**3 - 2*r**2 - 3*r - 3. Let d be q(-3). Suppose d - 1 = 2*j. Let w = j + 2. Is 9 a factor of w?
True
Let d be (-2)/8 + 455/(-20). Is -2 - (-4 + -1 + d) a multiple of 13?
True
Let o be ((-3)/6)/((-2)/36). Let a(s) = s**3 - 9*s**2 + s - 7. Let n be a(o). Suppose 0 = -n*c + 19 + 23. Does 12 divide c?
False
Let m(p) = 5 + 7*p**2 + p**3 + 5 + 7*p - 1. Let u be m(-6). Suppose 0 = -3*l - h + 45, u*l - 79 = -2*l - 3*h. Does 6 divide l?
False
Let d = -19 - -50. Is 9 a factor of d?
False
Let x(y) be the third derivative of 3*y**4/8 + y**3/6 + y**2. Let p be x(-3). Let j = 