Let q(b) = -b**2 + 22*b - 14. Let i be q(21). Suppose i = k - m. Is 2 a factor of k?
False
Suppose -4*m + 3*y + 1305 = 0, -y = -5*m + 647 + 976. Does 54 divide m?
True
Let x(c) = 12*c**2 + 14*c + 39. Is x(-8) a multiple of 22?
False
Let i = -62 - -61. Is 3*i + (-3 - 0 - -45) a multiple of 3?
True
Let j be 124*(-5)/60*-9. Suppose 5*x + 3 = j. Is x a multiple of 4?
False
Suppose 68 - 371 = -3*t. Is t a multiple of 9?
False
Suppose -v - 7051 = -4*u, 1231 = -5*u - 2*v + 10035. Is u a multiple of 40?
False
Let w(p) = -4*p**2 + 15*p + 7. Let h be w(14). Let c be ((-2)/6)/(7/h). Suppose 91 = 2*y + c. Is 9 a factor of y?
False
Suppose 0 = 5*b + 4*g + 507, 5*g = -4*b - 258 - 153. Let y(k) = -k**3 - 13*k**2 + 19*k + 4. Let w be y(-14). Let r = w - b. Does 11 divide r?
True
Suppose 36 = -b - b. Let c = b + 5. Let q = -9 - c. Does 2 divide q?
True
Suppose 7*z - 2*z - 535 = 0. Suppose 19 = 2*m - z. Does 26 divide m?
False
Suppose 2*m + q - 6 = 0, 3*q - 3 = -m - 0. Suppose 4*z = 2*d, -m*d - 5*z + 11 = -0*d. Suppose -4*k = -d*k - 70. Is 13 a factor of k?
False
Let i = 10 + -3. Suppose 3*t = i*t. Suppose t = 2*r + 2*g - 16, 0*r + 56 = 4*r - 2*g. Does 3 divide r?
True
Suppose -5*u + 946 = -1324. Suppose u = 7*a - 218. Is 13 a factor of a?
False
Let b be 54/(-42) - (0 + (-6)/21). Let o(l) = -l**2 - l + 1. Let w(k) = 40*k**2 - 2. Let f(q) = o(q) + w(q). Does 19 divide f(b)?
False
Is 15 a factor of (-12)/(-20) - 8082/(-30)?
True
Is 47 a factor of -329*(0 + 3 + -5)?
True
Suppose 4 + 0 = 4*z - l, -z + 5*l + 1 = 0. Does 51 divide (1*414)/2 - 3/z?
True
Let f(n) = -6*n**3 + 2*n**2 - 6*n - 12. Does 19 divide f(-3)?
False
Let l = 69 + -66. Does 3 divide l?
True
Suppose w - 15 = -4*q, 6*w - 15 = -q + 2*w. Suppose q*a = -4*h + 44 - 5, -4*h + 5*a - 1 = 0. Is 2 a factor of h?
True
Suppose 2*l = -8 + 14. Suppose j + d = l*d + 94, 5*j = -4*d + 400. Is j a multiple of 28?
True
Suppose 4*w = -3*p - 67, -3*w - 45 = -0*p + 4*p. Is 16 a factor of ((-4 - -3) + w)*8/(-10)?
True
Let s(b) = 36*b + 8. Does 18 divide s(12)?
False
Let b be (-6166)/(-26) + (-22)/143. Is 3/(b/(-80) + 3) a multiple of 20?
True
Let r(y) = 5*y**3 + 3*y - 5. Let v(u) = 6*u**3 - u**2 + 4*u - 6. Let g(p) = 5*r(p) - 4*v(p). Let h be g(-4). Let i = 5 + h. Is 3 a factor of i?
False
Suppose -k = -1, z - 4*k - 5 = -2*z. Suppose -2*p + z = -4*l - 1, 10 = p + 2*l. Suppose -66 = 3*y - p*y. Does 5 divide y?
False
Suppose -12136 = -10*j + 21524. Is j a multiple of 102?
True
Let s = 7 - 5. Suppose -7*g = -s*g - 60. Does 12 divide -1*g/15*-45?
True
Let l(b) = 2*b**3 - 5*b**2 + 5*b - 2. Let s be l(3). Let v = 19 + -6. Let z = s - v. Is z a multiple of 3?
True
Let n be (-30)/2 - (3 + -4). Let o = 16 + n. Suppose -o*u = -2*r + 63 + 51, -5*r + 312 = 4*u. Is r a multiple of 30?
True
Let u(q) = -q**2 - 17. Let f be u(0). Let l = f - -78. Is 12 a factor of l?
False
Suppose 3*b + 951 = 7*z - 3*z, -4*b - 4 = 0. Is z a multiple of 29?
False
Is (-5)/(-2)*((-2238)/(-10) + -1) a multiple of 34?
False
Suppose 2*p = -5*u + 6*p + 1770, -p - 355 = -u. Is 25 a factor of u?
True
Let v(x) = -x**3 + 4*x**2 - 3*x + 4. Let y = 10 + -7. Let j be v(y). Suppose -r = -j*r + 162. Is 27 a factor of r?
True
Let l(p) = 2*p**3 - 55*p**2 - 17*p + 21. Is 8 a factor of l(28)?
False
Let j = 17 - 12. Suppose 15 - j = 2*r. Suppose r*t = 4*g + 196, -5*g + 12 = 4*t - 112. Does 18 divide t?
True
Suppose 25 = 10*g - 5. Let o(k) = 43*k - 42. Does 8 divide o(g)?
False
Let z(n) = -n**3 - 4*n**2 - 3*n + 3. Let v be z(-3). Let j be 134/(6*(2/(-3) - -1)). Suppose 0*g - g = -2*l + j, v*g = -l + 23. Is l a multiple of 6?
False
Suppose -41 = -5*b - 1. Let r(s) be the second derivative of 2*s**3/3 - s**2/2 - 13*s + 2. Does 11 divide r(b)?
False
Is (-4617)/(-15) - 318/(-265) a multiple of 7?
False
Let w(m) = 65*m - 6. Let b(s) = -s**2 - 11*s - 23. Let d be b(-8). Is w(d) a multiple of 15?
False
Let n be -2 - 214 - (-5)/((-25)/(-10)). Let l = -109 - n. Is l a multiple of 7?
True
Let z = 3 + 0. Let y(h) = h + 1. Let s(l) = -19*l - 2. Let c(m) = -s(m) - 6*y(m). Is 7 a factor of c(z)?
True
Suppose -4 = -2*b - 2*y, -5*b - 9 + 46 = -4*y. Suppose b*m = -3*h - 93, 0*h - h - 2*m = 32. Let j = 11 - h. Does 16 divide j?
False
Suppose -19*t + 17*t + 160 = 0. Is 3 a factor of t?
False
Let i = 385 + -268. Does 39 divide i?
True
Suppose -3*k = -4*t - 890, 4*t = 5*k - 909 - 569. Is k a multiple of 5?
False
Let h be (9/(-2) + -2 + 6)*4. Is 10 a factor of -4 - (-169 + (3 - h))?
True
Does 66 divide (-954)/(-2 + 6/12)?
False
Let i(j) = 6*j - 5. Let t(q) = q. Let a(h) = -i(h) + 5*t(h). Let g be a(3). Suppose 16 = -g*p + 3*p. Is p a multiple of 11?
False
Suppose 1154*t - 1143*t - 4620 = 0. Is t a multiple of 20?
True
Let b = -15 + 18. Suppose -n = -6*n + 60. Suppose b*d = -d + 3*u + 87, 0 = 4*u - n. Does 8 divide d?
True
Suppose -7*d + 96 = 19. Suppose 0 = 4*w - 43 + d. Is w a multiple of 5?
False
Suppose 3*i - 6 = 0, -5*f + 3*i - 35 = -14. Does 4 divide f/(-3) + -4 + 49?
False
Suppose -5*a + 1159 = -41. Suppose -a = -4*j - 0*j. Does 12 divide j?
True
Let t be 1/3*(-1 + 2 + 284). Suppose t = 2*d - 3. Is d a multiple of 4?
False
Let v be ((-9)/3 - -2*1)*-19. Let o = v - -77. Is o a multiple of 12?
True
Let a(s) = 4*s**2 - 3*s. Let z be a(2). Let n(t) = t**2 + 13. Is n(z) a multiple of 53?
False
Suppose -2*s + 3806 = 7*j - 4*j, 1262 = j - s. Is j a multiple of 66?
False
Let d = -4351 - -6199. Does 22 divide d?
True
Let w = 15 + -32. Suppose 5*r + 320 = -5*i, 3*r - 3*i + 16 = -200. Let t = w - r. Is t a multiple of 19?
False
Let c(i) = 5*i**3 - 13*i**2 + 6*i + 1 - 4*i**3 + 3 + 4*i. Let n be c(12). Is (-2)/8 - 285/n a multiple of 9?
False
Let l(a) = -2 + 19*a + 2*a**2 + 17 - 9*a. Does 21 divide l(-7)?
False
Let k = 21 - 13. Let n(x) = -x**3 - 10*x**2 - x - 14. Let q be n(-10). Is (-1)/q - (-62)/k a multiple of 2?
True
Suppose 4*w + 9*v - 12*v - 1455 = 0, -3*w = 4*v - 1060. Does 30 divide w?
True
Let n be (0/(-9 - -4))/2. Let y(v) be the second derivative of v**4/12 + v**3/6 + 27*v**2/2 - 2*v. Is y(n) a multiple of 9?
True
Suppose -6*c - 2*i + 130 = -c, 2*c = -2*i + 58. Let p = c - -58. Does 5 divide p?
False
Suppose r = 5*j - 3*r - 1554, -2*r + 928 = 3*j. Suppose -b + 6*b = j. Is 12 a factor of b?
False
Suppose 21*g - 35*g = -12992. Is g a multiple of 80?
False
Does 6 divide 5*(4 - 10)*-1?
True
Suppose -8 = -2*l, -2*s - 4*l + 163 = -3*s. Let h = s + 246. Is h a multiple of 15?
False
Let p(a) = a**3 + 4*a**2 - 3*a - 4. Let h be p(-4). Suppose h*d - 68 = 7*d. Suppose i + d = 2*i. Does 16 divide i?
False
Let t be (4 - 29) + 1 + -2. Let q = -23 - t. Does 13 divide q/9 - (-114)/9?
True
Suppose 0 = 4*l - 107 - 9. Suppose 3 = -8*g - 37. Let f = g + l. Is f a multiple of 13?
False
Let p(y) = -21*y**3 + 2*y**2 + 9*y + 2. Does 47 divide p(-5)?
True
Let c = 1208 - 1005. Is 14 a factor of c?
False
Suppose -16402 = -14*v - 456. Is v a multiple of 6?
False
Let b be ((-2)/(-4) + 2/(-4))/2. Suppose 4*s - 76 - 19 = -g, b = g - 4*s - 103. Does 33 divide g?
True
Let z = 28 + -26. Suppose -z*j + 3*j = 0. Let y = 8 - j. Is 3 a factor of y?
False
Let d be (-30 - 5/(-5)) + 4. Let u = 35 + d. Let l(k) = -k**2 + 12*k + 5. Is 6 a factor of l(u)?
False
Suppose -a + 2*q - 4 = 0, 3*a + 9 = 5*q - 0. Does 10 divide 29 + (-2 - a - -8)?
False
Let f(m) = 11*m**2 + 3*m + 2. Suppose u - 3*u + 8 = 0. Suppose 3*t = u*r + t + 6, 3 = r + 4*t. Is f(r) a multiple of 5?
True
Let t(w) be the first derivative of -17*w**4/8 + 5*w**2/2 - 3. Let u(o) be the second derivative of t(o). Is u(-1) a multiple of 16?
False
Let t(h) = h - 1. Let u(o) be the third derivative of o**4/8 - 17*o**3/6 - 10*o**2. Let f(n) = 2*t(n) - u(n). Does 10 divide f(0)?
False
Let s be 5/(-10) - (-173)/2. Suppose -u - s = -3*g, g - 3*g + 79 = -5*u. Is g a multiple of 9?
True
Let b be (-1)/2 + (-85)/10. Let m(j) = j**2 + 2*j + 4. Let c be m(b). Let y = c - 32. Does 7 divide y?
True
Suppose -4*m + 0*m + 73 = 5*r, -3*m - 4*r = -56. Suppose 7*l - 3*l = o + m, 23 = o + 3*l. Is o even?
True
Let d(m) be the second derivative of m**5/20 + 5*m**4/6 - m**3 - 7*m**2/2 - 6*m. Is 13 a factor of d(-9)?
False
Let f be 5/(-20) + 393/4. Let w = 25 - f. Let y = w - -107. Is y a multiple of 11?
False
Suppose 3*p - 4 + 13 = 0. Is 84 + (p - (2 + -3)) a multiple of 14?
False
Suppose -3*a + 1