-b - 9. Is 3 a factor of d(p)?
True
Let z = 29 + 188. Is z a multiple of 20?
False
Let k(c) = 14*c - 2. Let v be k(-5). Suppose 176 = -3*o - o. Let d = o - v. Is 17 a factor of d?
False
Let n(t) = -t**2 + t + 2. Let x be n(0). Let z be 13 - (-3)/(x + 1). Let c = z + -2. Does 10 divide c?
False
Let w(u) = -u - 1. Let f be 1 + (0 - -1 - 5). Let t be w(f). Suppose c - 16 = -2*h, -t*h = -c + 5*c - 64. Is 16 a factor of c?
True
Let v(r) = 5*r**3 + 15*r**2 + 4*r + 9. Let i(k) = 9*k**3 + 29*k**2 + 9*k + 17. Let q(y) = 4*i(y) - 7*v(y). Does 10 divide q(-10)?
False
Let u = 0 - 1. Let k = u - -9. Suppose -2*s = 2*s - 4, g - k = -s. Does 3 divide g?
False
Suppose -9*l + 440 = l. Is 12 a factor of l?
False
Suppose -p + 1 + 4 = 0. Suppose w + w - 4 = 4*o, 0 = -p*w + 3*o + 17. Is 4 a factor of w?
True
Let q be 45 - (-2)/3*-3. Let p = q + -27. Is (p/(-10))/(2/(-5)) a multiple of 4?
True
Let p = 10 - 12. Let j(z) = -19*z + 1. Is j(p) a multiple of 13?
True
Let g(s) = 2*s**3 + 25*s**2 + 13*s - 24. Is g(-11) a multiple of 28?
True
Let b = 17 + -11. Suppose b*h + 28 = 8*h. Does 8 divide h?
False
Let g(y) = -34*y - 5. Let w be g(-3). Let t = w + -58. Is 18 a factor of t?
False
Suppose 0 = 5*o + 11 - 1. Let m be (-8)/28 + o/(-7). Suppose 2*b - 5*h + 19 = m, -2*b + 15 = 3*h - 6. Does 3 divide b?
True
Let k(u) = -u**2 - 5*u + 7. Suppose 5*s + 24 = s. Let o be k(s). Is 7/o + (-3 - -1) a multiple of 2?
False
Let m = -92 + 160. Is 34 a factor of m?
True
Let f(o) = -o**3 - 5*o**2 + 12*o + 5. Is f(-9) a multiple of 13?
True
Suppose -16*z = -26*z + 980. Is z a multiple of 35?
False
Suppose -l - 45 = 80. Let i = l + 227. Is 26 a factor of i?
False
Let v(s) = -4*s**3 - 2*s**2 - s + 1. Let a be v(-2). Suppose -4*r + a + 9 = 0. Does 9 divide r?
True
Let l(s) = -2*s - 11. Let q(o) = -4*o - 23. Let y(g) = -7*l(g) + 3*q(g). Let i = 12 - 3. Is 13 a factor of y(i)?
True
Suppose 4*k - 5*u = -3*u + 12, -6 = -3*u. Suppose -k*h + 2*p = -7 - 31, 15 = 2*h + 3*p. Does 3 divide h?
True
Suppose y + 3*f - 27 = 0, 0 = 7*y - 3*y + 2*f - 138. Does 12 divide y?
True
Let f = 8 - -3. Let t(r) = r**2 - 7*r + 7. Is 15 a factor of t(f)?
False
Suppose -2*k - 5*r + 36 = 0, 2*k = 4*r + 43 - 7. Suppose k = p + 3*s, 6*p = p - s + 48. Does 9 divide p?
True
Let y(j) = 41*j**3 + j**2 + j - 1. Let f be y(1). Suppose -66 = -4*i + 2*h, -3*i = 2*h - f + 3. Does 4 divide i?
False
Let n be (-4)/(8/5)*-2. Let z(k) = 0*k - n - k + 13. Does 11 divide z(-7)?
False
Let o be 2/(-2 + 168/81). Suppose 4*s = -33 - o. Is 13 a factor of (-231)/s - (-2)/(-5)?
False
Let j = 6 - 3. Suppose 0 = -v + j*v - 46. Is v a multiple of 14?
False
Suppose -3*j = 9 - 21. Let m be (-2 + 38)*(-2)/j. Let p = -5 - m. Is p a multiple of 11?
False
Suppose -o + 2*x - 24 = 0, 3*o + 68 - 5 = -3*x. Let s be 122/4 + 3/6. Let v = o + s. Is 4 a factor of v?
False
Let v = 14 - 9. Suppose o - 4*o + v*j = -64, -j = 2. Does 18 divide o?
True
Suppose 3*l = 3*h + 111, -2*l - 4*h = -2*h - 58. Is l a multiple of 8?
False
Let h(d) be the first derivative of d**2/2 + 2*d + 8. Let s be 4/6 - 8/(-6). Is h(s) even?
True
Suppose -j = -2*t + 117, 4*j = 2*t - 0*t - 132. Is t a multiple of 14?
True
Suppose 4*f + 5*v - 12 = 0, 3*v = 3*f - 0*f - 36. Let u = -192 - -62. Does 16 divide 3/4 - u/f?
False
Suppose 0*d + d = -5*v + 12, v + 4*d = 10. Suppose -4*z + v*u + 54 = u, 4*z + u = 50. Is z a multiple of 5?
False
Does 4 divide -4 - 3/((-6)/16)?
True
Let w(o) = o**2 + 12*o + 5. Let n be w(-12). Suppose n*v + 0 - 10 = 0. Suppose v + 8 = i. Does 10 divide i?
True
Let r(p) = -p**2 + 8*p + 1. Let f be r(9). Let z = 9 + f. Is 7 a factor of ((-2 - -23)/3)/z?
True
Suppose -5*j + 36 = -a - 5, j = 5*a + 85. Let i = 22 + a. Is i a multiple of 3?
True
Suppose -10 = 3*y + 14. Is (y/(-6))/(10/180) a multiple of 12?
True
Let o(v) = -8*v - 4 + 0*v + 0*v. Let l be o(-5). Suppose 17 = r - 3*w, 3*r - 4*w - l = -0*r. Is 5 a factor of r?
False
Suppose 3 = o - 1. Suppose -8 - 2 = s - 4*d, o*d = -s - 2. Let j = 23 - s. Is j a multiple of 13?
False
Let s(w) = w**2 - 7*w - 8. Does 13 divide s(-5)?
True
Let j(y) = -y**3 - 4*y**2 + 4*y + 1. Let o be j(-5). Let t(w) = w - 2. Let v be t(o). Suppose 5*m = v*a - 12, -m + 4 = -0. Is 4 a factor of a?
True
Let b(a) = -a**2 + 14*a + 4. Let y be b(14). Suppose 0 = -2*x - y - 6, k = 2*x + 48. Is k a multiple of 13?
False
Let z = 174 + -152. Is z a multiple of 3?
False
Let t(b) be the second derivative of -b**5/10 - b**4/3 - 2*b**3/3 - b**2 + 6*b. Does 7 divide t(-3)?
True
Let b(p) = p**3 - p**2 + 6*p - 6. Suppose -4*m - 4*d - d = -11, 4*m = 4*d + 20. Is 22 a factor of b(m)?
True
Let k = 40 + -17. Suppose 3*q = 2*c - 0*c + k, -4*q + 4*c = -32. Does 2 divide q?
False
Suppose 0 = 4*w + 5*v - 821, 5*w - 44 = 3*v + 936. Suppose -x = 2*y - 195, -x - 4*y = -3*y - w. Is 19 a factor of (-6)/(-15) - x/(-5)?
False
Let f(t) = t**2 - t - 1. Let y be f(0). Let m(x) = 25*x**2 + 2*x + 1. Does 12 divide m(y)?
True
Suppose -1 - 7 = -2*u. Suppose 0*n + 20 = -4*n - 5*s, n = s + u. Suppose 0*h + 5*d + 185 = 5*h, n = 5*d + 5. Is 18 a factor of h?
True
Does 7 divide ((-156)/(-10))/(14/35)?
False
Suppose -2*w - 2 = j, -24 - 2 = 4*j - w. Let k = 18 + j. Let c = -5 + k. Does 7 divide c?
True
Let h be (-18)/24*(20 - 0). Let i = -31 + h. Let t = -19 - i. Does 11 divide t?
False
Let v(b) = 2*b + 5. Let n(d) = 3*d + 2. Let x be n(2). Let l be 3 - ((1 - x) + 0). Is 25 a factor of v(l)?
True
Let z(p) = -p + 8. Let t be z(7). Let o(q) = 3*q + 1. Let s be o(t). Suppose -5*i = -v, s*v + 3*i + 0*i = 46. Is 4 a factor of v?
False
Suppose 3*f + 13 = -5. Let o(l) = l + 8. Let m be o(f). Suppose -m*n + 31 + 25 = 0. Is 12 a factor of n?
False
Suppose 4*h + 5*u = -9, 0 = 2*h + 2*h + u - 11. Suppose -3*f - 16 = -h*f. Is f a multiple of 3?
False
Let o = 1 - -2. Suppose o*h = -3*f - 3, -2 = 2*h + 4. Suppose -f*n + 4 = -16. Is n a multiple of 5?
True
Suppose -4*z = 5*z - 180. Is z a multiple of 11?
False
Let f(v) = v**3 + v. Let d be f(-1). Let j be d/((-6)/369)*1. Let h = -73 + j. Does 19 divide h?
False
Suppose 5*h + 5*n = 115, -3*h + 41 + 30 = n. Is 21 a factor of h?
False
Let t = 2 - -2. Suppose 4*z - t*q = 4, 29 = 5*z - 2*q + 5*q. Suppose 44 - z = a. Is a a multiple of 14?
False
Let h = 31 - -15. Is 4 a factor of h?
False
Suppose -o = -4*a + 4*o + 121, 5*a - 130 = 2*o. Does 13 divide a?
False
Suppose -17 = l + 27. Let n = l - -73. Does 14 divide n?
False
Let r(c) = -21*c**3 - 2*c**2 - 2*c - 1. Suppose 0 = 3*l + 2*m + 7, l + l = m. Let s be r(l). Suppose s + 0 = d. Is d a multiple of 8?
False
Suppose 4*t - j - 12 = 0, -5*t - 4*j + 32 = -j. Let u(x) = 12*x**3 - 5 + 1 - x**2 + t. Is u(1) a multiple of 11?
True
Let n be (-471)/(-15) + 2/(-5). Suppose -n + 109 = 3*t. Is t a multiple of 13?
True
Suppose -o - 5*a = 0, 0*o + 2*a = -5*o + 23. Suppose 3*z - 33 = -o*n, -4*n + z = -3*z - 20. Does 2 divide n?
True
Suppose 4*t - 236 = -4*d + 2*d, -5*d = -3*t - 538. Does 22 divide d?
True
Let x(q) be the first derivative of q**6/120 + q**5/12 - q**4/6 - q**3 + q**2/2 + 2. Let o(v) be the second derivative of x(v). Does 5 divide o(-5)?
False
Suppose 5*u + 80 = -0*u. Let w be (u/6)/(4/(-6)). Suppose w*r + 53 = 189. Is r a multiple of 17?
True
Let q(p) be the second derivative of p**5/20 - 7*p**4/12 + 5*p**2 + 2*p. Let m be q(7). Suppose -2*s - m = -58. Is s a multiple of 12?
True
Does 5 divide -3*-10*(-3)/(-9)?
True
Let j(t) = 2*t**2 - 2*t + 1. Let i be j(2). Let x = 11 - i. Is 2 a factor of x?
True
Let v(j) = -4*j - 10. Is v(-15) a multiple of 10?
True
Let i(h) = -h**3 + 8*h**2 - 9*h - 6. Is 2 a factor of i(6)?
True
Suppose q + 1 = l, -6*q = -2*q - 4. Suppose l*r = 5*m - 122, 5*r + 0*r - 91 = -4*m. Does 6 divide m?
True
Suppose 5*g - 7 = -h, 1 + 0 = -4*g - 3*h. Suppose -43 = -z - g*f, -1 = f - 5. Does 12 divide z?
False
Let k be 16/10 - (-4)/10. Suppose 0*y = -k*y + 54. Is y a multiple of 18?
False
Suppose -2*b = 2*b - 80. Does 5 divide b?
True
Let l(i) = -7*i**3 - 2*i**2 + 2*i - 5. Does 40 divide l(-3)?
True
Let g(n) = -131*n**3 + 2*n + 1. Does 13 divide g(-1)?
True
Let l = -82 + 143. Is l a multiple of 6?
False
Let n be (3/(-12))/(3/(-36)). Suppose -w + n = -0. Is 3 a factor of w?
True
Let p = -2 + 3. Does 12 divide (-477)/9*(0 - p)?
False
Suppose 2*g = -1 - 3. Is ((-4)/2 + -3)*g a multiple of 6?
False
Let