 Is n(k) a multiple of 9?
False
Suppose -7*a + 6*a = -5. Suppose 4*s - 139 = -5*p, -3*s + 4*s = a*p - 134. Is 27 a factor of p?
True
Suppose n - 4*n = t - 23, 0 = -3*n + 15. Let o be (-563)/(-4) + 2/t. Suppose 95 = 4*y - o. Does 16 divide y?
False
Suppose -4*c + 10*c = 0. Suppose c*m + h - 151 = -3*m, 2*m - 89 = -3*h. Is 13 a factor of m?
True
Suppose -5*b = -9*b + 248. Suppose 5*m - 343 = b. Is m a multiple of 14?
False
Suppose -101 = -10*u + 109. Is 8 a factor of u?
False
Let j(m) = 18*m - 32. Is 12 a factor of j(14)?
False
Suppose -4*b + 78 = 18. Does 3 divide b?
True
Let r = 6 + -1. Suppose 4*a - 2*k - 18 = 0, -r*a + 15 + 7 = -3*k. Suppose a*y + 2*h - 3*h - 133 = 0, -5*h = -3*y + 71. Does 16 divide y?
False
Let y = -100 + 256. Is y a multiple of 14?
False
Suppose q = -5*z + 112, z + 4*z = -4*q + 478. Does 42 divide q?
False
Let r(f) = -5*f**3 - 19*f**2 - 6*f + 4. Let o(b) = 2*b**3 + 9*b**2 + 3*b - 2. Let k(w) = 7*o(w) + 3*r(w). Does 9 divide k(6)?
False
Let r(m) = -m**3 + 2*m**2 + 35. Is r(0) a multiple of 22?
False
Let b = 26 + -9. Is 6 a factor of b?
False
Suppose -4*y + 3*y + 2*l = -40, -4*y = -4*l - 144. Is 17 a factor of y?
False
Let h(b) = -b - 9. Let g be h(-10). Suppose 2*s - g = s. Is 6 a factor of (6/(-9))/(s/(-18))?
True
Is (28/6)/((-13)/(-78)) a multiple of 26?
False
Suppose 5*j = -2*n + 3039, -j + 4*n + 242 = -357. Suppose -157 = 5*y - j. Suppose -3*o + y = 2*o. Does 9 divide o?
True
Let n(x) be the third derivative of x**4/6 - x**3/3 - 2*x**2. Let u(k) = -k - 1. Let m(b) = -2*n(b) - 6*u(b). Does 15 divide m(-10)?
True
Suppose 4*m - 37 = -3*s, -3*m + 3*s = -25 - 29. Let v = 22 - m. Let f(g) = g**2 - 8*g + 9. Does 9 divide f(v)?
True
Suppose -3*h = 15, 6 - 35 = d + 5*h. Does 16 divide 2/d*6 - -19?
True
Suppose -l - c = -27, 3*l + l - c = 123. Is l a multiple of 15?
True
Let f(i) = i**3 - 4*i**2 - 6*i. Let v be f(5). Let q = v - -11. Suppose -d = -5*t - q*d + 120, -d - 90 = -5*t. Is 11 a factor of t?
False
Let f(c) = 2*c**2 - 6*c - 12. Is f(10) a multiple of 22?
False
Let y(p) = p - 3. Let l be y(7). Suppose 0*g - 23 = -g - 5*o, -35 = -l*g - o. Does 4 divide g?
True
Let h(w) = -w**3 - 9*w**2 + 6*w + 9. Let t be h(-10). Let n = -33 + t. Suppose -d = d - n. Is d a multiple of 4?
True
Suppose -905 = -5*c - 0*l + 2*l, -544 = -3*c + l. Is 22 a factor of 6/(-3)*c/(-6)?
False
Let z be -3*(10/(-3))/1. Suppose 2 + z = 2*l. Suppose -3*g + l*g + 2*a - 22 = 0, -3*a + 36 = 5*g. Is 6 a factor of g?
True
Let s be (3/3)/(1/7). Suppose 0 = 4*y - s*y + 30. Is y a multiple of 5?
True
Let h = -25 - -40. Let j = h + -10. Does 5 divide j?
True
Suppose a - 5*r + 0*r - 28 = 0, 0 = 3*r + 15. Let f(p) = -p**3 + 3*p**2 + 2*p - 1. Does 2 divide f(a)?
False
Let f be 3/(-12) + 291/12. Suppose 3*z = -2*c + 3 - 1, -4*c + f = z. Does 4 divide c?
False
Let k(t) = -2*t**2 - 3*t + 2. Suppose 0 = o - d + 7 - 2, -7 = 3*o + d. Let b be k(o). Does 4 divide (-120)/(-28) - (-2)/b?
True
Suppose 11 = 4*v - 1. Suppose o - v = -0*o. Suppose o*j - 5 = 2*j. Does 2 divide j?
False
Let h(m) = -4 + 0 + m - 18*m**3 + 3. Let n be h(1). Does 2 divide (-112)/n - (-2)/(-9)?
True
Let f = -20 - -12. Let z be ((-6)/f)/(1/(-4)). Is 5 a factor of 2/z*312/(-16)?
False
Suppose 0 = -2*n - 3*t - 90, 3*n - 5*n - 4*t - 86 = 0. Let d = -88 - n. Is (2/(-2) - d) + 2 a multiple of 13?
False
Let g = 13 - 5. Is g even?
True
Suppose 3*c - 64 + 7 = 0. Is c a multiple of 5?
False
Suppose -3*n + n - 4*v = -28, -v = 3*n - 62. Suppose n = i + 2. Is i a multiple of 10?
True
Let x = 57 - 37. Is x a multiple of 5?
True
Suppose -g = -2*g. Suppose -24 = 3*r - g. Let c(m) = -3*m - 7. Does 15 divide c(r)?
False
Suppose -5*r - 24 = -2*l, 5*r + 2 + 18 = 0. Does 13 divide l - 46*(-4)/8?
False
Is ((-48)/(-20) - 2)*85 a multiple of 13?
False
Suppose -t + 3*t - 222 = -3*p, 4*p + t = 296. Does 3 divide p?
False
Let f(s) = s + 12. Let p be (-20)/(-3)*(-24)/20. Let m be f(p). Let g = 2 + m. Does 3 divide g?
True
Let s = -40 + 127. Is s a multiple of 23?
False
Does 13 divide 1410/27 + (-2)/9?
True
Let f = -33 + -39. Is (-1928)/f - (-4)/18 a multiple of 10?
False
Suppose 2*x = 6*x - 84. Let u = 36 - x. Is 5 a factor of u?
True
Let f(m) = -4*m + 7. Let n(h) = -10*h**2 - h. Let l(w) = w + 5. Let p be l(-4). Let u be n(p). Is 14 a factor of f(u)?
False
Let c(x) be the second derivative of -7*x**5/120 - x**3/6 + 2*x. Let p(a) be the second derivative of c(a). Does 11 divide p(-2)?
False
Let z = 10 + -7. Suppose 64 = 2*v - 4*q, -2*q = z*v + 3*q - 52. Is v a multiple of 9?
False
Suppose -5*v = -m + 2*m - 22, 0 = 3*v + m - 14. Is 22 a factor of (2/5)/(v/440)?
True
Suppose 15 = 4*q + 5*x - 12, -q = 4*x - 15. Is q a multiple of 3?
True
Let t(g) be the first derivative of 3*g**3 - g**2/2 + 2. Suppose 2*l + 2 = -3*j - 3, 4*j = l + 8. Is t(j) a multiple of 3?
False
Let u = -24 - -40. Suppose -x = -3*x + u. Suppose 49 = 4*c + 3*g, -x*g + 4*g = 4. Is c a multiple of 13?
True
Suppose 45 = 5*m - 40. Is 7 a factor of m?
False
Let w be (64/(-2))/(-3 + 2). Suppose 3*y = -y. Suppose -4*h + 0*h + w = y. Is 8 a factor of h?
True
Suppose -4*f - 22 - 38 = 0. Does 12 divide 18/(-1)*20/f?
True
Suppose -3 = 5*y - 23. Suppose -4*k = -20, y*k - 2*k - 38 = -4*f. Is 7 a factor of f?
True
Let o(y) = y + 8. Let s be o(-4). Suppose 3*j - 6 = -0*j. Suppose 22 = -j*u + s*u. Is u a multiple of 7?
False
Suppose -4*b + 6*w + 328 = 8*w, 0 = 5*b + 3*w - 408. Is 6 a factor of b?
True
Let v = 165 - 69. Suppose -3*f + 5*w = -v, -4*f + 4*w + 3 + 125 = 0. Is f a multiple of 12?
False
Is ((-210)/8)/(18/(-96)) a multiple of 25?
False
Let r = 15 + -11. Suppose -3*p + 2*m + 10 = 0, 2*p + 2 = r*m + 6. Suppose 2*j - p*j + 115 = -3*s, 3*s = -j + 35. Is j a multiple of 13?
False
Let f = -21 + 51. Is f a multiple of 10?
True
Suppose 22 = n - 26. Is 24 a factor of n?
True
Let n(s) = -s**3 - 8*s**2 - 7*s - 9. Is n(-8) a multiple of 9?
False
Suppose 5*a - 62 = -87. Suppose -g + 3 = 9. Is 3 a factor of 9 - g/(3 + a)?
True
Suppose 4*z + 0*z = 0. Suppose 2*u + 3*s - 99 = z, -4*s + 252 = 5*u - s. Is 9 a factor of u?
False
Let p(k) = -2*k**2 - 8*k + 8. Let y be p(-7). Let d = y + -8. Let h = -21 - d. Is 17 a factor of h?
False
Let t(f) = 84*f**2 - 4*f - 2. Does 19 divide t(-1)?
False
Let r be 3/((1 - 2)*-1). Suppose -r*n + 0*l = 5*l - 14, 2*n + l = 7. Does 12 divide 14*(-2 + n) - 0?
False
Suppose -5*w = 3*n + 12 - 64, 5*n + 3*w = 60. Is n a multiple of 2?
False
Suppose 0 = 2*l - 8 + 2. Suppose 3*x = j - 2*x - 23, l*j - 88 = -4*x. Let o = -1 + j. Is 12 a factor of o?
False
Suppose 3*u + 0*u - 12 = 0. Let m(k) = -7*k**3 + 15*k**2 - 9*k + 5. Let y(t) = -3*t**3 + 7*t**2 - 4*t + 2. Let i(g) = -2*m(g) + 5*y(g). Is i(u) a multiple of 7?
False
Let t(u) = 3*u**2 - u + 2. Is 12 a factor of t(2)?
True
Let t = 3 + 4. Let r be t + -4 - (-1 - 1). Suppose 0 = -c - 5*g + 44, 0*g - r*g + 20 = 0. Does 12 divide c?
True
Suppose 0 = 4*m, -5*h - 2 = -3*m + 3. Let n = h - -6. Suppose n*r = 253 + 7. Does 22 divide r?
False
Suppose -2*d + 3*d - 53 = -5*h, 5*d = 4*h - 25. Does 5 divide h?
True
Let i(b) = b**3 + 12*b**2 + 9*b + 6. Does 14 divide i(-11)?
True
Let m(w) = 5*w + 22. Is 27 a factor of m(7)?
False
Suppose -17 + 2 = -3*c. Suppose 6 = 2*r, -c*n + 0*r + r = -22. Is n even?
False
Suppose 0 = 5*a + 3*w - 40, -3*w - 4 = a - 24. Suppose 105 = -a*t + 10. Let r = t - -43. Is r a multiple of 12?
True
Let z be 3 + -12 + -3 - -3. Let g = 25 - z. Does 17 divide g?
True
Let m be 5 + 5/(15/(-6)). Suppose 4*y = m*y - 1. Is 1*14*y/(-2) a multiple of 7?
True
Suppose -2*l + 22 = -3*l - 5*z, 2*l + 2*z + 4 = 0. Let i(j) = -j**3 + 5*j**2 - 3*j + 4. Is 13 a factor of i(l)?
True
Let m = 53 + 7. Does 12 divide m?
True
Suppose -4*n + 208 = 4*r, n + 0*n = 2*r - 92. Is 24 a factor of r?
True
Suppose -2*v + 3*l + 1239 = -0*v, 0 = -3*v + 2*l + 1871. Is 14 a factor of 1/5 + v/15?
True
Suppose -2*j = -5*j - p + 185, 5*j - 309 = -p. Does 4 divide j?
False
Suppose -13 = -2*y - 3*u, -5*y - u + 46 = 2*u. Is y a multiple of 3?
False
Suppose 3*o - 3*t + 3 = 0, 3*o - 4 = -6*t + 2*t. Let c = 3 + 4. Suppose -9 = 2*d + 3*a, -4*d + o*d - a = -c. Is d even?
False
Let q be (-14)/(-8) + 30/(-40). Let x(h) = 20*h**2 - 1. Is x(q) a multiple of 19?
True
Does 11 divide 241/2 + 6/12?
True
Suppose -12*o = -11*o - 4. Let c(t) = t**3 + 3*t**2 + 2*t