 = 27*p + 13 - 14*p**2 - 16*p + 1 - p**3. Does 13 divide s(-15)?
False
Let x = 17 - 11. Let i(u) = -u**3 + 6*u**2 + 4*u - 8. Let g be i(x). Suppose p - 2*p = -g. Is 9 a factor of p?
False
Let p = -19 - -120. Suppose 0 = 3*g - p + 17. Is 18 a factor of g?
False
Let z be (-4)/10 + 51/15. Suppose 20 = z*y + y. Is -3*((-35)/3)/y a multiple of 3?
False
Suppose 0 = -25*g + 23*g + 152. Does 6 divide g?
False
Suppose 2*s + 0 = -4*n + 6, -3*n = 0. Suppose 4*t - 3*t = s*r + 12, -r = 3*t - 6. Let j = 1 - r. Does 4 divide j?
True
Is (-4 + -6 + 7)*5/(-3) a multiple of 4?
False
Let r(c) = 45*c**3 - c**2. Does 22 divide r(1)?
True
Let z(a) = -a + 1. Let d be z(-7). Let r = d + 8. Is 13 a factor of r?
False
Let s(p) = -37*p + 5. Is 17 a factor of s(-4)?
True
Let p be (4 + -5)/((-1)/(-5)). Let u(h) = -h**2 - 6*h + 1. Let d be u(p). Is 10 a factor of 44/d*(-6)/(-4)?
False
Let z(b) = -2*b - 1. Let g be z(-2). Suppose -97 = -y + g*u, -4*y = -6*u + u - 374. Is 2/(-10) + y/5 a multiple of 18?
True
Let v(i) = i**3 - i**2 - 4*i + 1. Let k(f) = f**3 + 2*f**2 - 4*f + 1. Let a be k(-3). Does 9 divide v(a)?
False
Let o(m) = -3*m + 21*m**2 + m + 3*m. Is 11 a factor of o(1)?
True
Let j(x) = x - 3. Let m be (7/(-3))/((-4)/12). Let v be j(m). Suppose 20 = 4*n, -v*f + 2*n + 44 = -78. Is f a multiple of 16?
False
Suppose 21*n = 17*n + 360. Is n a multiple of 15?
True
Let m = -10 + 85. Suppose -230 = -5*i + m. Is i a multiple of 18?
False
Suppose -5*t = -1234 - 26. Is 36 a factor of t?
True
Let k(q) = -q**2 - 13*q - 11. Does 29 divide k(-8)?
True
Let k = 1 + -1. Let c(n) = 2*n**2 - 2 - n**2 - 6*n + k*n**2. Is c(7) a multiple of 4?
False
Let c = -17 - -24. Let x = c - 5. Suppose 5*j = -x*u + 46, 115 = 5*u - 3*j + 5*j. Is u a multiple of 6?
False
Suppose g + 29 = -23. Is 12 a factor of (0 - 0) + -2 - g?
False
Suppose -34*p + 222 = -33*p. Is p a multiple of 37?
True
Let j = -4 - -8. Let z(x) = -2*x + 6. Let i be z(j). Let u = 39 - i. Is u a multiple of 17?
False
Suppose 2*h - 17 = -2*p - 7, 4*h - 4*p = 20. Suppose -h*u = -v - 163 - 87, u - 66 = -3*v. Is u a multiple of 17?
True
Let p(y) = 3*y + 1. Let w be p(1). Suppose -w*q = -42 - 50. Is q a multiple of 14?
False
Suppose -6*l + 58 + 68 = 0. Is l a multiple of 21?
True
Let n = 202 + -92. Does 11 divide n?
True
Let w(x) = x + 2. Let j be w(4). Let d = 13 + j. Is d a multiple of 19?
True
Suppose 0*q - 3*q + 6 = 0. Let h(o) = 7*o**2 + o - 1. Does 20 divide h(q)?
False
Is 16 a factor of 1600/30 + (-2)/(-3)?
False
Is (-3 + 2)/(3/(-87)) a multiple of 12?
False
Suppose 0 = 2*n - 5*z - 39, 3*n + z - 4*z - 81 = 0. Is 8 a factor of n?
True
Let t(m) be the third derivative of 7*m**6/40 + 10*m**2. Is 7 a factor of t(1)?
True
Is 6 a factor of (-7)/((-28)/152)*1?
False
Suppose -n + 71 + 13 = 0. Suppose -n = 2*g - 5*g. Does 14 divide g?
True
Let r(c) = 17*c**2 - 1. Is r(-2) a multiple of 7?
False
Is 2 a factor of (-1)/(-2) - (-11)/2?
True
Let b(c) = 2*c**2 + 14*c + 6. Does 15 divide b(-9)?
False
Suppose -z + q = z - 41, 3*z = -3*q + 39. Does 9 divide z?
True
Let y(g) = -8*g - 6. Does 5 divide y(-3)?
False
Let w be 58/(6/(0 + -3)). Let f = w - -46. Does 4 divide f?
False
Let c(w) be the second derivative of -w**5/20 - w**4/12 - 3*w**2/2 + w. Let b be c(-3). Let j = 24 - b. Is j a multiple of 9?
True
Let y(m) = -m**2 - 18*m - 19. Does 3 divide y(-14)?
False
Let l(g) = -7 + 6 - 8 + 4*g. Let a be l(6). Suppose -2*d = -a - 25. Is 10 a factor of d?
True
Let t(u) = u**2 + 3*u - 22. Is 24 a factor of t(14)?
True
Suppose 3*r = -0*b + 4*b + 2, 2*b = -5*r + 12. Suppose -5*v + v + 204 = -3*p, -4*v + 208 = -r*p. Does 18 divide v?
True
Suppose -5*a - 456 + 146 = 0. Let m be 1/3 - a/3. Suppose 121 = 5*s + 3*w + m, s - 32 = -3*w. Is 12 a factor of s?
False
Suppose -3*d - 12 = 0, 0*d - 2*d = -3*l + 23. Suppose 0 = l*v + 4 - 14. Suppose 87 = 4*u + 3*x + v*x, 3*x + 127 = 4*u. Is u a multiple of 10?
False
Does 35 divide ((-2)/(3 + 3))/(1/(-105))?
True
Let i = 8 - 5. Let z(d) = 0*d + 2 - d - d**i + 2*d + d**2 - 4. Is z(-3) a multiple of 16?
False
Let o = 0 + 3. Suppose l + 44 = o*l. Does 11 divide l?
True
Let v(i) = 2*i + 2. Let q(r) = r**2 + r + 3. Let p be (-10)/4 - 8/16. Let y be q(p). Does 20 divide v(y)?
True
Suppose -2*h - 2*h = -8. Suppose -4*n + 84 = -h*n. Is 21 a factor of n?
True
Let d be (10/(-4) + -2)*-2. Is 12 a factor of (72/10)/(d/45)?
True
Suppose -3*w - 14 = -5. Is 5 a factor of (-46)/w - 4/12?
True
Let z(r) = 13*r**2 + r - 15. Is 27 a factor of z(-4)?
True
Let i(z) = 2*z**3 + 3*z**2 + 5*z - 1. Let q(f) = -2*f**3 - 2*f**2 - 4*f + 1. Let x(o) = -2*i(o) - 3*q(o). Let n be x(3). Let l = -31 + n. Is 13 a factor of l?
False
Suppose 0 = -6*u + 10*u + 28. Let n = 22 + u. Is 15 a factor of n?
True
Let b(d) = -d**3 + 6*d**2 - 4*d + 1. Suppose -o + 2*v = -2, -4*v - 4 = -2*o - 9*v. Let k be o*(-3)/(-6)*4. Is 17 a factor of b(k)?
True
Is 14 a factor of ((-56)/10)/(22/(-55))?
True
Suppose 5*s = -3*f - 6, -4*s + 5 = -5*f - 5. Let w be 4/f*1 + 20. Suppose 0 = 3*v - 12 - w. Is v a multiple of 5?
True
Suppose 0 = 11*w - 10*w - 117. Is 12 a factor of w?
False
Suppose m - 3*m = -6. Does 2 divide -6*(-3 - (-8)/m)?
True
Suppose -3*r = -3*m + 120, 0 = m + 3*r - 12 - 48. Does 15 divide m?
True
Let q(k) = -1 + k + 4*k - 1. Is 6 a factor of q(5)?
False
Let i = -27 - -45. Suppose 2*h + 2 = i. Is h a multiple of 8?
True
Suppose 4*d - 7 = 3*y, 0*y = 5*d - 4*y - 8. Let g(f) = f**3 + 7*f**2 - 11*f - 5. Let s be g(-8). Suppose x = 5*j + s, 60 = d*x - 0*x - 4*j. Does 10 divide x?
False
Suppose 54 = 5*j + 4. Let h = 14 - j. Is h a multiple of 4?
True
Let v(b) be the second derivative of 1/20*b**5 + 2*b - 3/2*b**2 - 1/4*b**4 + 1/2*b**3 + 0. Is 2 a factor of v(3)?
True
Suppose -5*v - 137 + 27 = 0. Let o = 38 + v. Does 6 divide o?
False
Let f = 7 - 3. Suppose 5*u + 3*b = 362, 3*b - 4*b = -f*u + 276. Is u a multiple of 14?
True
Let a(l) = l**2 - 16*l - 9. Let b(s) = s**2. Let d(n) = a(n) - 2*b(n). Suppose 8*t = 4*t - 52. Is d(t) a multiple of 10?
True
Let b = 5 - 2. Is (5 - 3 - b)*-29 a multiple of 9?
False
Is -1 - -3 - 18/(-2) a multiple of 5?
False
Let t(g) = -1 + 5 + 29*g + 0 - 5. Let x be t(3). Let v = x - 38. Does 17 divide v?
False
Suppose -h + l + 2*l + 43 = 0, l - 149 = -3*h. Suppose 0*s = 2*s - 3*g - h, -4*g - 71 = -3*s. Is 7 a factor of s?
False
Suppose 5*d - 3*r - 89 = 123, -2*r + 152 = 4*d. Is d a multiple of 10?
True
Suppose -5*p = 5*s - 850, 27 = 4*s + 7. Suppose -5*c + p = 15. Does 15 divide c?
True
Let h(s) = 30*s**2 + 2*s + 6. Let l(j) = -29*j**2 - 2*j - 5. Let c(n) = -4*h(n) - 5*l(n). Is 7 a factor of c(-1)?
False
Suppose -3*r + 7 = -s - r, -4*s = 4*r - 20. Let o(f) = 6*f**2 + 11*f - 3. Let d(b) = -b**3 - b. Let a(z) = s*d(z) + o(z). Is 14 a factor of a(7)?
False
Let x(n) = -n + 40. Is 12 a factor of x(28)?
True
Suppose -78 = -2*z - 18. Is 15 a factor of z?
True
Suppose -3*f + 52 = -5*r - 7*f, -5*f - 38 = 4*r. Let p = r + 7. Let g(b) = b**2 + 4*b + 6. Is 11 a factor of g(p)?
True
Let q = 557 - 328. Does 21 divide q?
False
Suppose 4*a - 11 = 5. Suppose -a = i - 22. Does 6 divide i?
True
Let a = -65 + 105. Does 12 divide a?
False
Suppose 0 = b - 2. Suppose 3*t + l + 2*l - 57 = 0, 3*t - 57 = b*l. Is 15 a factor of t?
False
Let u = 3 - -315. Is u a multiple of 19?
False
Suppose 2*k - 20 - 78 = 0. Let a = -35 + k. Is a a multiple of 7?
True
Suppose -4*k - 38 = -142. Is 13 a factor of k?
True
Suppose -w + 9 = -1. Suppose -4 = -h - h + r, w = 5*h + 5*r. Does 6 divide h*5*(3 - 2)?
False
Let f(c) = -c**2 - 2*c + 1. Let t be f(1). Let j = -65 + 29. Is 6 a factor of ((-8)/(-12))/(t/j)?
True
Does 21 divide 4/6 - 1212/(-18)?
False
Suppose x + 1 = -0*x - q, q = 5*x + 23. Let s be (-9)/x + 2/(-8). Suppose 2*p = -s*y + 4, 3*y - p = 4 + 6. Is y a multiple of 2?
False
Let r(c) = -c + 35. Is 3 a factor of r(9)?
False
Suppose 0 = -5*a + 3*k - 4 - 3, -2*a - 8 = 4*k. Let n be -1*((-3 - a) + 4). Let x = 2 - n. Is x a multiple of 3?
False
Let h(x) = -17*x - 14. Is h(-6) a multiple of 22?
True
Suppose -3*g - 1 = 5, 2*p + 4*g = -76. Let q = p - -48. Does 9 divide q?
False
Suppose c + 1 = 0, 3*c = -2*a - a + 33. Is a a multiple of 12?
True
Let h = 54 + 88. Is 19 a factor of h?
False
Let j(i) = -i**2 - 2*i + 13. Does 4 divide j(0)?
False
Is 10 a factor of ((-4)/8 - 202/(-4))*2?
True
Let h(