-2*d**3 + 4*d**2 + 5*d + 5. Let y(p) = -2*p**3 + 4*p**2 + 4*p + 4. Let c(m) = 5*o(m) - 6*y(m). Is c(3) a multiple of 11?
True
Let b be (-3)/9 + (-5)/3. Let c = b + 10. Does 5 divide c?
False
Let l = 169 - 119. Does 10 divide l?
True
Suppose 0*x + 3*x = 9. Suppose -48 = -6*m + x*m. Is 8 a factor of m?
True
Suppose 7*i = 3*i + 196. Is i a multiple of 13?
False
Let m(s) = -17*s + 20. Does 19 divide m(-10)?
True
Let q(n) = 7*n**2 + 2*n - 2. Let m(u) = -u**2 + u - 1. Let b(g) = m(g) + q(g). Let z be b(-3). Let d = z + -27. Is 15 a factor of d?
True
Let l be (-6)/(-4)*(-9 - 1). Is 12 a factor of 4/(-10) + (-546)/l?
True
Suppose 21*m - 105 = 16*m. Suppose 28 + 11 = 3*p. Let t = m - p. Does 8 divide t?
True
Suppose 4*y - 5*m = -m + 112, 108 = 3*y + 3*m. Does 16 divide y?
True
Let a(n) = 4*n - n + 4 + 4*n**3 + 2*n**2 - 1 - 10*n**3. Is 20 a factor of a(-2)?
False
Let f(h) = -h**2 - h + 89. Is f(0) a multiple of 21?
False
Suppose -3*d - 59 - 114 = -5*a, -4*d + 16 = 0. Is a a multiple of 21?
False
Let f(g) = 2*g - 2. Suppose 3*n = 2*j - 3*j + 10, -3*n + 14 = 2*j. Suppose 0 = -j*k + 9 + 3. Is 3 a factor of f(k)?
False
Let m(r) = 3*r**3 - 7*r**2 + 7*r - 6. Is 34 a factor of m(4)?
True
Let c(w) = -16*w - 8. Is c(-7) a multiple of 13?
True
Suppose 0 = -p + 2*o + 14, 0*p - 3*p + o = -67. Let x be ((-1)/(-3))/(2/p). Is 9 a factor of (-1)/x - 207/(-12)?
False
Let b(p) = p**3 + p**2 - 1. Let v(g) = -4*g**3 + 5*g**2 + 10*g - 7. Let d(n) = -5*b(n) - v(n). Is 7 a factor of d(-9)?
True
Let p(q) = 2*q**2 - 2*q - 1. Let v(o) = -o**3 + 9*o**2 - 9*o + 10. Let t be v(8). Let w be t/((2 + 4)/(-3)). Is 3 a factor of p(w)?
True
Let n(b) = b**3 - 2*b**2 - 5*b - 3. Let i = -5 - -4. Let a be (-1 - -6) + -2 - i. Does 7 divide n(a)?
False
Suppose 2*i + 66 = q + 2*q, 0 = -4*q - 3*i + 71. Is 20 a factor of q?
True
Let d be 65/10 - 2/4. Let k be (-3)/6 + 117/d. Is 1/(-2) - k/(-2) a multiple of 8?
False
Let y(h) = 64*h**2 + 3*h + 3. Is 32 a factor of y(-1)?
True
Let j be (-36)/(-16) + 2/(-8). Suppose 3*m - m + 27 = d, 5*m = -j*d + 99. Does 11 divide d?
False
Suppose -200 = -2*j - 3*j. Suppose 7*f = 2*f + j. Is f a multiple of 2?
True
Suppose 2*n = 180 - 54. Is n a multiple of 21?
True
Let l(x) = 6*x**3 - 4*x**2 + 3*x - 2. Suppose p - 5 = -3*p - 3*j, 0 = 5*p + 3*j - 7. Suppose 11 = u - 3*d - 0*d, d = -p*u + 1. Does 13 divide l(u)?
False
Let y(f) = f + 3. Let r be y(0). Let c be r/(2 + 9/(-4)). Is 5 a factor of 2/8 + (-57)/c?
True
Suppose -91 + 301 = 5*c. Suppose c = -5*h - 38. Does 3 divide 7*(2 + h/14)?
True
Let k(q) = 16*q - 3. Does 22 divide k(3)?
False
Let k = -19 - 14. Does 17 divide 0 - -4 - k - 3?
True
Let s(v) = -2*v - 1. Let q be s(-3). Suppose -4*y + 2*w = -2*y - 66, 5*y + q*w = 135. Is 17 a factor of y?
False
Let n(v) be the third derivative of v**6/360 + v**5/120 + 43*v**4/24 + v**3/6 + v**2. Let p(g) be the first derivative of n(g). Does 16 divide p(0)?
False
Suppose 3*b - 25 = -1. Does 4 divide b?
True
Let v(b) be the second derivative of -3*b**2 + 5/6*b**3 + 2*b + 0. Is v(5) a multiple of 9?
False
Does 2 divide 5 + -1 - (-7 + 9)?
True
Let u(x) = 2*x**2 - 5*x - 1. Let i be (3 + (-1)/2)*2. Is 8 a factor of u(i)?
True
Let c(y) = -y**3 - 7*y**2 - 5*y + 4. Let g be c(-5). Let a = 64 + -29. Let k = g + a. Is k a multiple of 14?
True
Let w be (-61)/2 + (-4)/(-8). Let o = -18 - w. Let q = 5 + o. Is q a multiple of 17?
True
Does 22 divide (-4)/(-18) - (-5004)/81?
False
Suppose 10 = l - 0*l - 2*f, -4*f + 44 = 2*l. Let o = 26 - l. Is o a multiple of 10?
True
Let j = 3 - 1. Suppose -j*z + 36 = -12. Is z a multiple of 12?
True
Suppose 4*a = 28 + 152. Is a a multiple of 7?
False
Let p = 24 - 17. Let z = -46 - -68. Let o = z - p. Does 10 divide o?
False
Suppose 0 = -2*i - 4*l - 12, 2*i + l - 11 = -2*i. Suppose -4*c = -i - 84. Does 11 divide c?
True
Let m be 7/2 + (-2)/4. Let n = m + -2. Is (1 - -16) + 0 + n a multiple of 18?
True
Suppose 0 = 3*w - 24 - 60. Is w a multiple of 28?
True
Let b = 50 - 23. Is 9 a factor of b?
True
Let t = 387 + -235. Does 19 divide t?
True
Let p = 14 - 12. Suppose -z = -p*w + 15 + 46, -3 = -z. Is w a multiple of 8?
True
Let q(c) = c**2 - c. Let l(p) = -4*p**2 + 5*p + 4. Let d(n) = l(n) + 3*q(n). Let h be d(4). Let u(g) = g**2 - 7*g - 6. Does 14 divide u(h)?
False
Is (-5 + -5 + 2)*-22 a multiple of 22?
True
Let q(l) = -4*l + 1. Let s be q(-8). Suppose -5*n + 92 = -s. Does 14 divide n?
False
Let n = 174 + -124. Is n a multiple of 6?
False
Let k(p) = -9*p - 26. Is k(-8) a multiple of 23?
True
Let f(d) be the first derivative of -d**4/4 - 2*d**3 + 4*d**2 + 7*d - 1. Let i be f(-7). Does 11 divide 42 + i + (-3)/(-3)?
False
Suppose -j + 3 = -0*j. Suppose -j*o - 4*q = -155, 3*q + 43 = o - 0*q. Let w = -15 + o. Is 10 a factor of w?
False
Suppose -d = 3*c + 2*d - 51, 0 = 3*c - 4*d - 51. Is c a multiple of 17?
True
Let y(z) be the second derivative of 0 + 1/6*z**4 - 2*z**2 + 1/3*z**3 - z. Does 3 divide y(-3)?
False
Let b(f) = -4*f + 10*f + f + 2 + 11*f**2 - 10*f**2. Let k be b(-6). Let c = -1 - k. Is c a multiple of 3?
True
Let i(h) = 2*h**2 + 7*h - 6. Does 20 divide i(-6)?
False
Let k(d) = -d + 2. Let v(t) = t - 1. Let x(h) = k(h) + 3*v(h). Let g be x(3). Suppose -g*u = -164 + 4. Is u a multiple of 11?
False
Suppose -5*n + 21 = 5*c - 19, -2*c + 4 = -2*n. Suppose -c*r + 0*l = -3*l - 48, 4*r - 60 = -3*l. Does 6 divide r?
True
Let t = 238 + -125. Does 26 divide t?
False
Let x(q) = q**3 + 15*q**2 + 10*q - 20. Let k be 94/(-7) + 24/(-42). Is 18 a factor of x(k)?
True
Let s(v) = -2*v + 4. Let n be s(4). Let l(w) = -9*w - 6. Is 11 a factor of l(n)?
False
Let p = 0 - -3. Suppose p*a + 7 = 46. Does 4 divide a?
False
Let v(c) = -9*c - 2. Let d(f) = -26*f - 5. Let g(x) = -3*d(x) + 8*v(x). Let z be g(1). Suppose z*u - 13 = 22. Is u a multiple of 3?
False
Let x = -223 + 315. Suppose -d - x = -3*d. Suppose -48 = -2*q + d. Does 16 divide q?
False
Let r(f) = f**3 - 6. Let v be r(0). Let u = 12 + v. Does 3 divide u?
True
Let h = 76 + -57. Is h a multiple of 19?
True
Let b(l) = 7*l**2 + 4*l - 112. Let q(n) = -4*n**2 - 2*n + 56. Let y(r) = -3*b(r) - 5*q(r). Is 28 a factor of y(0)?
True
Suppose 0 = -7*a + 2*a. Suppose a = 2*g - 23 + 5. Is 5 a factor of g?
False
Let p = 8 - 6. Let g be p/4*(1 + -21). Is 12/30 + (-236)/g a multiple of 16?
False
Does 9 divide (-45)/10*(-1 - 3)?
True
Suppose 0 = 3*s - 4 + 1. Suppose -z - 5 = 4*z. Is 5 a factor of z*(2 - s) + 6?
True
Suppose -5*g - 3*h = -470, -344 = -4*g - 0*h + 4*h. Suppose -2*n = 2, o + 17 = 2*n + g. Is 24 a factor of o?
True
Suppose -4*p - 8 = -0. Does 6 divide (p - -1)*(4 + -27)?
False
Let i be (-4)/2*39/(-26). Suppose -i*k + 34 = 7. Is k a multiple of 5?
False
Suppose 5*c - 155 = -a, 2*c + 0*a + 2*a - 70 = 0. Suppose 10 = -2*v + c. Let y = 35 - v. Is y a multiple of 17?
False
Suppose 0 = -4*n + 20, -5*s - 4*n = -0*s - 35. Suppose -4*f + 33 = -s. Is f a multiple of 3?
True
Let q = 631 + -407. Does 16 divide q?
True
Suppose 4 = -l - 2. Let m be 8/(((-4)/l)/1). Suppose 4*r - 60 = m. Does 16 divide r?
False
Suppose 96 = 3*q - 57. Does 17 divide q?
True
Let u be ((-25)/(-3))/(1/12). Suppose -2*v - 3*v = -u. Is 10 a factor of v?
True
Suppose r + 3*r = 0. Let p be (-36)/(r - (-3)/(-4)). Suppose 0 = -2*c - 3*u + p, 3*c - u = u + 85. Does 13 divide c?
False
Suppose -4*a - 2*g = a - 82, 0 = a + 2*g - 18. Is a a multiple of 4?
True
Let j = -86 - -127. Does 2 divide j?
False
Let i = 15 - -6. Suppose -2*g - 5*z = -i, 4*g - 2*z = -0*g + 102. Is g a multiple of 13?
False
Let w(s) = -s + 17. Is 8 a factor of w(-7)?
True
Let g(y) = y**2 + y - 4. Let j be g(0). Let f(r) be the third derivative of -r**4/3 + r**3/3 - 5*r**2. Does 17 divide f(j)?
True
Suppose 0*r - 12 = -4*r. Suppose 3*m + r*i + 37 = -2*i, 0 = -5*m - i - 25. Does 7 divide (2/3)/(m/(-42))?
True
Let a be (10/(-4))/(-1)*2. Suppose 3*l - a*u - 26 - 30 = 0, 5*u + 22 = l. Is 9 a factor of l?
False
Suppose 5*h + i - 33 = 0, 4*i + 5 = 3*h - 1. Let t be -1 + h/(1 + -2). Is (-138)/t + (-4)/(-14) a multiple of 10?
True
Let s be 236/(-1 - -5)*1. Let a = s - 35. Is a a multiple of 18?
False
Suppose -5 + 3 = -t. Suppose -t*i + 1 = -67. Is i a multiple of 17?
True
Suppose 5*a - 2 = 3. Is (-11)/2*(-3 + a) a multiple of 2?
False
Suppose 5*h = -2*w + 5, -5*w = 3*h + 7 + 9. Suppose 46 = g - 5*r, -h*r = 