 16 a factor of 30/(x/(-4)*r)?
False
Let p = 0 - 2. Let j = 4 + p. Is 15 a factor of (j - 0)*(-108)/(-6)?
False
Let u = -45 - -26. Let x be -8*((-102)/8)/(-3). Let f = u - x. Is 8 a factor of f?
False
Suppose 0 = 4*a + 2*f - 80, 0 = -a - 3*f - 0*f + 30. Let i = a + 12. Does 15 divide i?
True
Let v = -53 - -193. Is 28 a factor of v?
True
Suppose -14 = 5*s + 16. Let v(a) = 2*a**2 + 8*a + 10. Let g(h) = h**2 + 4*h + 5. Let m(b) = -5*g(b) + 3*v(b). Is m(s) a multiple of 8?
False
Suppose -237 = -8*n + 547. Is 49 a factor of n?
True
Let y(r) = r**3 + 6*r**2 + 4*r + 2. Suppose -5*l + 4*s - 40 + 9 = 0, 0 = 2*l - 2*s + 14. Is 6 a factor of y(l)?
False
Suppose -y - 14 = -3*z, -y = 6*z - 4*z - 1. Suppose -67 = -z*m + 17. Is m a multiple of 14?
True
Suppose -h - 2*m + 142 = 0, -166 = -h + 4*m - 0*m. Is h a multiple of 10?
True
Let o be 25/(-1) - 3/1. Let c = -19 - o. Is c a multiple of 9?
True
Suppose 24*p - 228 = 22*p. Is p a multiple of 27?
False
Suppose -5*f - 157 = -4*a - 0*f, a - 28 = -f. Let g = a - -7. Is g a multiple of 13?
False
Let b be (-20)/(-2)*(-6)/(-15). Let q = b - 2. Let m = q - -4. Does 6 divide m?
True
Let p be (1 - 0) + (4 - 1). Suppose -p*t + 0*t = -24. Is t a multiple of 4?
False
Suppose -1 = -3*x + 155. Let s = x - 16. Does 10 divide s?
False
Let v = -4 + 2. Let b be (1/v)/(1/(-52)). Is (-4)/(-2)*(b - 0) a multiple of 19?
False
Suppose 1 = -q + 5. Let h(a) = -q - a**2 - 2*a + 2*a**3 - a**2 + 5. Is h(3) a multiple of 15?
False
Suppose z = 2*x + 3*z + 16, 2*x + 22 = -4*z. Let b = -2 - x. Does 6 divide ((-2)/b)/((-4)/72)?
True
Let x(j) = j**2 + 7*j + 8. Is 13 a factor of x(-9)?
True
Let x be (4/5)/((-4)/(-70)). Let t = x + -8. Suppose -35 = -t*u + u. Is 2 a factor of u?
False
Let v = -2 + 90. Does 22 divide v?
True
Let z be 3 + -1 + 0 - 31. Let w = 108 - z. Is w a multiple of 35?
False
Let v(r) = 3*r - r**2 + 1 + 6*r**2 - 4*r**2. Is 10 a factor of v(-7)?
False
Suppose -2*n + 9 = -5*n. Let z = n - -63. Is z a multiple of 12?
True
Let f(y) = -y**2 - 12*y - 13. Let a be f(-11). Let n(q) = q**3 + 3*q**2 - 1. Does 3 divide n(a)?
True
Let l be 2 - (-2 - 21)*-1. Let j be (-2 - (-6)/9)*l. Is 13 a factor of 623/j + (-1)/4?
False
Suppose 5*i = 3*v + 2*v - 20, v - 4 = 2*i. Let x = i - 3. Is 3 a factor of (-1)/(x/21) - -1?
False
Let c = -25 + 45. Does 4 divide c?
True
Suppose a - 3*a = 2. Is a/(4/(-12)) - -57 a multiple of 14?
False
Let f(s) be the first derivative of s**3/3 - s**2/2 - 6*s - 8. Is f(-6) a multiple of 36?
True
Let h(u) be the first derivative of u**2/2 + u + 3. Let x = -2 - -9. Is h(x) a multiple of 8?
True
Let x(o) = -o**3 - 6*o**2 - 9*o - 11. Is x(-5) a multiple of 3?
True
Let j(x) = -12*x - 2. Let g be ((-35)/14)/(1/2). Is 20 a factor of j(g)?
False
Let l(v) be the third derivative of -3*v**2 + 0*v + 0*v**3 + 0 + 5/24*v**4. Is l(3) a multiple of 15?
True
Let u = 11 + -18. Let j = u - -60. Is j a multiple of 20?
False
Let g = -226 + 342. Suppose 0 = 4*b - 8 - g. Is 15 a factor of b?
False
Suppose -4 = 2*x - 0*x. Let z be x/(-5)*-1*-10. Suppose 44 = -2*c + z*c. Is c a multiple of 11?
True
Let m(o) = -o**3 + 6*o**2 + 2*o - 3. Let r be m(6). Suppose -s + 39 = -r. Is 11 a factor of s?
False
Let y(b) = -6*b**3 - 3*b - 5. Is 13 a factor of y(-2)?
False
Suppose -5*h + 891 = 4*h. Does 33 divide h?
True
Suppose -q + 13 = 11. Suppose 0 = c + q - 36. Is 17 a factor of c?
True
Let l = 861 - 1289. Is 15 a factor of l/(-10) + (-3)/(-15)?
False
Suppose 0 = 4*p - 41 - 7. Does 12 divide p?
True
Suppose 4*u = -2*f + 324, -f + 3*u + 2*u = -176. Does 19 divide f?
False
Let o(l) = l**3 - 8*l**2 - 8. Let t be o(8). Let h = t + 9. Does 8 divide 20 - h - (-2 + -1)?
False
Does 6 divide 6/((-1 + 2)*(-6 - -7))?
True
Is 15 a factor of (0 + 1)/(-3 + (-1040)/(-346))?
False
Let t(o) = -o. Let j be t(2). Let m be 1 - 2/2*j. Is 10 a factor of 29 + 0*1/m?
False
Suppose 5*z + 5*r = 275, -4*r = -4*z + 121 + 83. Let c = z - 18. Is c a multiple of 14?
False
Let p be (-3 - -3)/(2 + 0). Suppose 5*k = 5*f, -2*f = 3*f + 2*k. Suppose f*x = 5*x + 3*d - 98, d - 1 = p. Does 8 divide x?
False
Let f(h) = h**2 + 12*h + 18. Is f(-12) a multiple of 6?
True
Let v(r) = r + 7. Let a be v(-7). Suppose 4*y - 195 + 3 = a. Is 24 a factor of y?
True
Let g = 22 - -3. Does 16 divide g?
False
Let l(v) = -v**3 - 4*v**2 + 8*v - 4. Let z = 0 + 3. Suppose 12 = -z*a + a. Is l(a) a multiple of 6?
False
Let h(b) = 3*b**3 - 8*b**2 + 6*b + 9. Let r(p) = -4*p**3 + 9*p**2 - 6*p - 10. Let f(v) = 3*h(v) + 2*r(v). Let s = 3 - -2. Is f(s) a multiple of 5?
False
Let v = -23 - -26. Suppose 25 = -4*y - 27. Let k = v - y. Is 8 a factor of k?
True
Let f = -27 - -43. Suppose f = 3*o - 116. Does 22 divide o?
True
Suppose -3*i + 5*j = i, 5*j - 15 = i. Does 2 divide i?
False
Suppose 0*g - g - 20 = 0. Let a = -36 + 66. Let t = a + g. Is t a multiple of 4?
False
Let t(g) = -45*g**3 + 2*g**2 - 4*g + 3. Let j(k) = -k**3 - k + 1. Let w(u) = 4*j(u) - t(u). Let l be w(1). Suppose l = 6*b - b. Is b a multiple of 4?
True
Let k = -50 - -116. Is 21 a factor of k?
False
Let b be ((-2)/(-3))/(4/150). Let x = -13 + b. Does 12 divide x?
True
Suppose 2*o - 36 = -12. Suppose 0 = -5*x + 2*x + o. Is 2 a factor of x?
True
Let t(a) be the second derivative of a**5/20 - 3*a**4/4 + 3*a**3/2 - 5*a**2/2 - a. Is 3 a factor of t(8)?
True
Let w be ((-10)/(-4))/5*10. Suppose 3*s = 4*i + i, -i + 28 = w*s. Suppose s*l + 4 = -2*h + 98, 5*l - 82 = 4*h. Is l a multiple of 9?
True
Let x(f) be the third derivative of f**6/120 - f**5/10 - f**4/24 - 5*f**3/3 - f**2. Is 16 a factor of x(7)?
True
Let d(o) = -o**3 + 8*o**2 + 1. Let b be d(8). Let n = -3 - -5. Suppose 5*u + 3*h = 58, -3*h - b - 39 = -n*u. Is u a multiple of 14?
True
Let h = 30 + -16. Let g be 2 + h + -2 + 1. Does 7 divide (g - -2 - -2)*1?
False
Let y(a) = 0 + 4*a**2 + 2 - 3*a**2 - 4 - a. Is 6 a factor of y(5)?
True
Let s(l) = 14*l + 6. Let g(r) = 14*r + 5. Let o(i) = -5*g(i) + 4*s(i). Let y(u) = u**2 + 7*u - 1. Let c be y(-7). Is 8 a factor of o(c)?
False
Is (-3)/(-3)*-3*-69 a multiple of 23?
True
Let y(n) be the first derivative of 2/3*n**3 - 2 + 0*n - 1/2*n**2. Is y(2) a multiple of 3?
True
Suppose -5*m + 2*m = s - 14, 0 = -4*m - 5*s + 4. Suppose -3*l = -4*l + 25. Suppose a + l = m*a. Is a a multiple of 3?
False
Suppose 4*h - 2*h = 124. Let g(t) = t + 1. Let u be g(2). Suppose -5*i + h = u*d, 22 = 2*d - d + 2*i. Is 12 a factor of d?
False
Let w(o) = o**2 + 8*o + 3. Let q be w(-8). Suppose -p + 6 = -q*p. Does 6 divide 0 - 1 - (p - 4)?
True
Suppose 4*k = -2*d - 20, 2*d = -5*k + 10 - 31. Does 13 divide (-74)/((-7)/((-28)/d))?
False
Let i(o) = 3*o**2 + 2*o + 6. Does 46 divide i(-4)?
True
Suppose -d + 2*d + 4 = 0. Let w = d + 6. Suppose 2*f - 62 = p, -5*p + w*p + 6 = 0. Is 13 a factor of f?
False
Let n(a) be the second derivative of -a**5/60 + 8*a**3/3 + a**2/2 - 2*a. Let y(f) be the first derivative of n(f). Does 13 divide y(0)?
False
Let q = 13 + -13. Suppose -p + 2*h + 27 = q, 3*p + 0*p = 5*h + 86. Is p a multiple of 13?
False
Suppose -5*x + 232 = -x. Is -2 - 5/((-10)/x) a multiple of 12?
False
Let p be (-3)/(-6) + (-159)/(-6). Suppose -s - 2*s = p. Does 10 divide 4*(s/(-2) - 2)?
True
Suppose 10 = 2*l + 3*l + k, -2*k + 6 = -4*l. Let d(g) = 3*g**3 - g**2 + 2*g - 1. Is 3 a factor of d(l)?
True
Let o(l) = -10*l - 1. Let f(j) = 12*j + j**2 - 13 - 3*j + j + 0*j**2. Let b be f(-11). Is o(b) a multiple of 7?
False
Let p = 16 + -10. Is p - 3*(-1)/(-3) a multiple of 5?
True
Let j(t) = 4*t**3 + t**2 + t + 1. Let x(y) = -y. Let n(c) = j(c) + 3*x(c). Let b be n(1). Suppose b*m - 4*q - 73 = 43, -2*q + 20 = m. Does 13 divide m?
True
Let p(r) = -r**3 + 10*r**2 - 8*r - 7. Suppose 3*k = -5*m + 8, -6 + 2 = -3*m - k. Let o be m/(6/9)*6. Is 2 a factor of p(o)?
True
Let v(m) = -3*m - 4. Is 7 a factor of v(-6)?
True
Let q(b) = -12*b**3 - 2*b**2 - 2*b. Is 4 a factor of q(-1)?
True
Let u(l) = -l**3 - 11*l**2 + 13*l + 15. Let v be u(-12). Suppose -179 = -v*b + 2*k, 5*b + 2*k - 116 = 3*b. Is 23 a factor of b?
False
Suppose -14 = -2*b + 3*b - k, 5*k - 16 = -b. Let g = b + 19. Is g a multiple of 5?
True
Suppose 5*w + 0*w - 15 = 0. Let v(h) = 40*h + 4. Let t be v(w). Suppose d + d = t. Does 24 divide d?
False
Let i = -1 + -1. Is 8 a factor of (i + 2/2)*-17?
False
Suppose 2*d + 5*c - 35 = 0, 4*d - 2 - 8 = 2*c. Su