+ 38. Is 16 a factor of m?
True
Let z = -3 - -6. Suppose p + 5*r = 0, z*p - 2*r = -r. Suppose p*k - k = 2*n - 65, 5*n = -3*k + 165. Is 21 a factor of n?
False
Suppose -162 = -4*m + o, 5*m + 29 = -4*o + 221. Is m a multiple of 4?
True
Let d(o) = -4*o**3 + 2*o**2 - o. Let q be d(1). Let s be (-28)/(1 + (-3 - q)). Let a = s - -50. Is 11 a factor of a?
True
Suppose 3*m - 8 = 1. Is 3 a factor of m/5 + 27/5?
True
Suppose g - 18 = 54. Is g a multiple of 18?
True
Let k(y) = y**2 - 1. Let p be k(-1). Let d = 6 + p. Suppose -4*u = -d*u + 28. Is u a multiple of 6?
False
Let c be 0 - (-3 - -5) - -68. Suppose -3*n - y = -c, 2*n = -y - 32 + 76. Is 16 a factor of n?
False
Is (110/20)/(1/10) a multiple of 18?
False
Is -4 - (-3 - 1) - -88 a multiple of 33?
False
Suppose -5*o = -4 + 9. Does 4 divide -2 + (7 - -2) - o?
True
Let z = 11 + -5. Suppose -o + 2 + 4 = -3*h, 2*o - 3*h - 6 = 0. Suppose -z*s + s + 110 = o. Does 8 divide s?
False
Suppose -2 = -5*p + 3. Let d be (0 + 0)/(p - 3). Suppose k - 2*u + d = 16, -13 = 2*k + 5*u. Is 6 a factor of k?
True
Let v = -113 + 73. Let f be ((-6)/5)/((-6)/v). Let r = f + 22. Is r a multiple of 7?
True
Let q(u) be the first derivative of -u**6/120 + 7*u**5/60 + u**4/12 - u**3/3 - u**2 - 3. Let w(k) be the second derivative of q(k). Is w(7) a multiple of 4?
True
Let s(x) = -11*x - 6. Let k(u) = -4*u - 2. Let c(y) = 17*k(y) - 6*s(y). Is c(-7) a multiple of 9?
False
Let r(s) = 4*s. Let h(z) = -z**2 - 10*z - 8. Let x be h(-8). Is r(x) a multiple of 11?
False
Suppose 0*f + 1 = -f, 2*n + 5*f + 3 = 0. Suppose 74 = 3*s - 4*w, -4*s + 140 = -0*s + 5*w. Is 9 a factor of ((-3)/(-6))/(n/s)?
False
Suppose -2*p - 3*h = -14 - 3, -2*p + 16 = 2*h. Suppose -p = -r + 10. Does 13 divide r?
False
Let w = -69 - -97. Is 21 a factor of (w/2)/(2/7)?
False
Suppose n = 3*n. Suppose -4*r - r - 5 = n, r = 2*i + 73. Let b = 64 + i. Does 11 divide b?
False
Let x(y) = y**2 - 4*y + 3. Let q be x(4). Suppose -p = 3*k - 3, 4*k - 10 = 5*p + 13. Is (-136)/(-6) - k/q a multiple of 11?
True
Is (-2)/(-9) + (9800/(-45))/(-10) a multiple of 22?
True
Suppose -j = 7 - 1. Let a = 26 + j. Does 10 divide a?
True
Suppose 0 = 5*k + 3*m - 352 - 80, 172 = 2*k + 2*m. Is 16 a factor of k?
False
Is 7 a factor of ((-1)/1)/((-5)/35)?
True
Let h be (2/(-2))/((-7)/63). Is h/(0 - (-3)/12) a multiple of 13?
False
Suppose -x - 9 = -4*x. Suppose -g + 16 = s + 2*s, -x*s - 22 = -g. Is g a multiple of 19?
True
Let d be 25/10*8/10. Suppose 0 = -5*k + 2*a - 4 + 7, -d*k - 2 = -4*a. Is 19 + 0 + -1 + k a multiple of 13?
False
Suppose 51 + 9 = -5*u. Let z be (-21)/(-3)*u/(-14). Let d = z + 2. Is d a multiple of 8?
True
Let w(s) = -s**2 - s. Let u(a) = 54*a**3 + 2*a**2 + 2*a - 1. Let x(o) = -u(o) - 3*w(o). Suppose 0 = -3*y + 4*b + 17, 4*b + 11 + 7 = 2*y. Is 22 a factor of x(y)?
False
Suppose -1 = 4*g - 5, -4*g = -l - 40. Let p be (-2)/6*l/2. Suppose -35 = -p*x + x. Is x a multiple of 2?
False
Let k be (-1)/3 + 25/3. Is 6 a factor of 0 + 2 - (-1 - k)?
False
Let z = 4 - -1. Suppose -z*m + 16 = -9. Does 5 divide m?
True
Let z = -7 - -9. Let y = 22 - z. Is 8 a factor of y?
False
Let y(s) = -4*s + 2. Let v be y(-2). Let u(t) = -t**3 + 11*t**2 - 9*t - 7. Let c be u(v). Suppose a + c = 18. Is 5 a factor of a?
True
Let u(h) be the second derivative of h**4/6 - h**3/6 + h. Let w be u(-1). Suppose 0*l = -w*l + 135. Is 15 a factor of l?
True
Suppose 4*v - 266 = 3*h, -h - 338 = -8*v + 3*v. Let m = v + -27. Is m a multiple of 12?
False
Suppose -6 - 18 = -t. Is t a multiple of 12?
True
Let j(f) = -f + 13. Let y be j(14). Let n(s) = -14*s**3 - 2*s - 1. Is n(y) a multiple of 13?
False
Let w = -6 - -14. Does 2 divide w?
True
Let f(y) = y**3 - 1. Let l be f(1). Suppose 5*n + l*n = 35. Is n a multiple of 7?
True
Let j = -236 + 343. Does 11 divide j?
False
Is 22 a factor of (-4)/8*2*-103?
False
Let a = 117 - 34. Is a a multiple of 30?
False
Let y = -10 + 10. Let i(g) = -g + 33. Is 14 a factor of i(y)?
False
Let b(m) = m**3 + 67. Let x be b(0). Suppose -5*f - 7 + x = 0. Does 10 divide f?
False
Let k(o) = -18*o + 6. Is 14 a factor of k(-2)?
True
Suppose -1 = 2*i - n - 6, -3*i - n + 15 = 0. Suppose -4 = f - 2*c - 27, 57 = i*f - c. Does 13 divide f?
True
Let y = 273 - 129. Does 12 divide y?
True
Let h(r) = 4 - 4*r - 6 - 3*r - r**2. Does 4 divide h(-3)?
False
Let b = -7 + 37. Does 5 divide b?
True
Let p be -1 + (17 + 0)*1. Suppose 9 = -s - 1. Let t = s + p. Is 6 a factor of t?
True
Suppose -96 = 2*z - 6*z. Is (z/(-20))/(2/(-50)) a multiple of 15?
True
Let r = 5 + -4. Let q = r - 3. Let k(h) = -6*h**3 - h**2 - h - 1. Is k(q) a multiple of 15?
True
Suppose -s - s + h = -27, s - 4*h = 10. Is s a multiple of 7?
True
Let f = -108 + 231. Does 12 divide f?
False
Suppose 30*k - 27*k = 357. Does 24 divide k?
False
Let i(b) = b**2 - 2*b + 1. Let k be i(3). Suppose k*g + 22 = 114. Suppose -11 - g = -2*p. Does 12 divide p?
False
Let k(x) = -x**2 + 41. Let t be k(0). Let g = t + -22. Does 11 divide g?
False
Suppose -2*v - 3*v + 4*q = -16, -2*q - 8 = -v. Suppose v = -2*z + 5*z - 2*l + 15, 4*z = -5*l - 20. Is 5 a factor of (2/z)/((-3)/60)?
False
Let z = -10 + 4. Let q(y) = y**3 + 9*y**2 + 7*y - 7. Let c be q(-8). Is z/(-18)*27/c a multiple of 4?
False
Let f(s) = s. Let t be f(3). Let j be 2/(8/t - 2). Suppose j*w - 8 - 67 = 0. Is 13 a factor of w?
False
Let l(r) = -r**3 + 12*r**2 - 16*r. Does 14 divide l(10)?
False
Let q(j) = j**3 - 4*j**2 - 5. Let m(u) = 3*u + 2. Let r be m(1). Is 5 a factor of q(r)?
True
Let p(j) = -j**3 - 8*j**2 - 2*j + 7. Let f be p(-5). Suppose -3*q + 18 = -4*q. Is 7 a factor of 6/q + f/(-3)?
False
Let h = 39 - 20. Suppose -h = -2*f + 11. Does 9 divide f?
False
Let o = -33 + 69. Is o a multiple of 9?
True
Let y = 66 + -42. Is 18 a factor of y?
False
Let y(n) = 2*n**2 - 3*n + 13. Let r(g) = 3*g**2 - 5*g + 25. Let p(v) = 3*r(v) - 5*y(v). Let x = -2 - -2. Is p(x) a multiple of 5?
True
Suppose 2*i + 0*i = 12. Is (-3)/i + (-74)/(-4) a multiple of 6?
True
Let u be (44/(-8))/(2/64). Does 20 divide 10/(-15) + u/(-3)?
False
Let d(s) be the second derivative of s**4/12 + 5*s**3/6 + s**2/2 + s. Let h be d(-8). Suppose 0 = 3*b + 4*y - 26, -4*b + 13 = 2*y - h. Is 10 a factor of b?
True
Let y = -78 - -150. Does 8 divide y?
True
Suppose 0*f + 14 = 2*f + i, 4*f + 5*i = 40. Suppose -4*m - 4*y = -15 - 9, f*y = 20. Suppose -4*h + 5*p + 8 + 66 = 0, 0 = m*h + p - 30. Is 11 a factor of h?
False
Let j(n) = n**2 + n - 7. Let u(i) = i - 8. Suppose -6*b = -2*b + 20. Let l(m) = b*u(m) + 6*j(m). Is 20 a factor of l(-3)?
False
Let v(l) = l**3 - 8*l**2 + 7*l + 2. Let b be v(7). Suppose -2*f - b*f = -360. Does 30 divide f?
True
Suppose -5*n + 40 = -15. Is (0 - 1)/((-1)/n) a multiple of 10?
False
Let z = 38 + -19. Is 11 a factor of z?
False
Let s = 50 + 31. Is 17 a factor of s?
False
Let j(r) be the third derivative of r**6/120 - r**4/24 + 2*r**2. Let b(m) = -3*m**3 + m**2 + 5*m. Let u(f) = b(f) + 6*j(f). Is 3 a factor of u(1)?
True
Suppose 30 = 2*j - 14. Let o = -29 - -15. Let g = o + j. Is g a multiple of 4?
True
Let y(o) = 2*o - 3*o - o. Let s be y(-4). Suppose -q + s = -20. Is q a multiple of 14?
True
Suppose 5*x - 2*a - 5 = 0, -x = -4*a + 2*a - 9. Let d(f) = 17*f**2 - 2*f - 1. Does 9 divide d(x)?
True
Suppose 3*s + 2*s = -10. Let d be s/7 - 6/(-21). Suppose -4*x - 5*g + 26 = d, 0*g + 4*g = 8. Is 3 a factor of x?
False
Suppose -3 = 4*j + 5. Is 9 a factor of (-1)/(-1) + (-16)/j?
True
Let d(m) = 0*m - 1 + 3*m - m. Let a(s) = s**2 - 3*s - 3. Let x be a(5). Is 13 a factor of d(x)?
True
Let w(t) be the first derivative of 2 - 1/2*t**2 + t + 1/2*t**4 + 1/3*t**3. Is 3 a factor of w(1)?
True
Let v(j) be the third derivative of j**5/10 - j**4/8 - 2*j**3/3 + j**2. Does 15 divide v(3)?
False
Let l(i) = -i. Let z be 3 + 0 + (-27)/3. Is l(z) a multiple of 2?
True
Suppose 48 = 2*f - 0*f - 5*w, 3*w = f - 23. Suppose -5*y - 2*d + 4*d + f = 0, -2*y = 5*d. Suppose -5*g = -4*p - 61, 5*p - 13 = -y*g + 12. Is g a multiple of 9?
True
Let l = 232 + -159. Suppose -3*j - 11 = -d, 9*d - l = 4*d - 3*j. Is d a multiple of 8?
False
Let k be (-1 - 185)/(10 - 12). Suppose 0 = 3*j + 4*y + 11, 3*j + 0*y - 2*y = -35. Is 17 a factor of (k/j - 1)*-3?
True
Let c(x) = x**2 + 4*x - 5. Let b be c(-5). Suppose 30 = 5*m - b*m. Suppose 0 = m*g - 2*g - 40. Is g a multiple of 10?
T