Let j(r) = 4*r**3 - 4*r**2 + 6*r - 5. Let m(d) = 8*j(d) - 3*v(d). Is m(6) a multiple of 9?
False
Suppose 9936 = 17*k + 7*k. Is 46 a factor of k?
True
Suppose 5 = 3*l - 10, l = 2*h - 35. Does 12 divide h?
False
Let v(t) = -39*t**2 - 6*t - 1. Let b(n) = -n. Let k(s) = 6*b(s) - v(s). Suppose -4*a + 19 = 3*p, -4*p - 1 = -a - 20. Is k(a) a multiple of 19?
False
Let p = -3 + 4. Suppose -p + 7 = 3*m. Suppose 0 = -5*k - m*c - 0*c + 40, -3*k = -c - 24. Is 4 a factor of k?
True
Is (-4)/10 + 539/35 a multiple of 11?
False
Let t(r) = 9*r**2 + 6*r + 7. Is 14 a factor of t(-3)?
True
Let o = 102 + -60. Is o a multiple of 13?
False
Let l(b) = -b**2 + 10*b - 14. Let r be l(10). Let o = -4 - r. Let j(q) = q + 8. Does 9 divide j(o)?
True
Let o(q) = q - 5. Let k be o(-6). Let r = k + 27. Does 16 divide r?
True
Suppose 2*g + 10 = 2*y, 3*g + 21 + 4 = 5*y. Suppose u + 1 - 3 = g. Suppose -16 = -l - 2*p, -u*l + 3*p + 0 = -4. Is 4 a factor of l?
True
Let a(p) = p**3 + 7*p**2 + 8. Let v(i) = -5 + i**3 + 4 + 0 + i + i**2. Let s be v(-2). Is a(s) a multiple of 5?
False
Let l(d) = -2*d - 12. Let x(r) = r**3 + 7*r**2 + 2*r + 4. Let k be x(-7). Is 4 a factor of l(k)?
True
Let o = 11 + -6. Let k(s) = 2*s - 9. Let q be k(7). Suppose 0 = -o*z + r + 31, 5*z - 37 = 2*r - q. Is 3 a factor of z?
True
Let w(o) = o - 6. Let m(s) = -s + 6. Let i be m(3). Let p be w(i). Does 13 divide 26 + p - 2 - 0?
False
Let p(b) = 5 - b**3 + 4*b + 2*b + 5*b**2 + 0*b. Let l be (-4)/18 + 112/18. Does 2 divide p(l)?
False
Is 6 a factor of 1/(((-6)/63)/(-2))?
False
Let b be (0 + -1)/(5/(-25)). Let z be (3 - (3 - b)) + -3. Does 10 divide (2/2)/(z/24)?
False
Suppose -3*o + 7*o = 4*r - 92, -3*o - 15 = 0. Is 9 a factor of r?
True
Let x be (-10)/(-15) - (-628)/(-6). Is 8 a factor of x/(-12) - (-4)/(-6)?
True
Suppose 97 + 5 = 6*w. Suppose 0 = -4*n + 20, -2*n + 32 = 4*u + 2*n. Let k = w - u. Does 14 divide k?
True
Let r = 5 - 3. Suppose 3*h = -4*p + 31, -4*p - r*h = -4*h - 6. Suppose -g + 137 = 4*d + p*g, 0 = -2*g + 10. Does 14 divide d?
True
Let q be (44 - 0)/(-3 + 5). Let n(f) = f**3 + 7*f**2 + 6*f + 3. Let y be n(-6). Suppose 5*p - y = q. Does 5 divide p?
True
Suppose 0 = -0*l + 5*l - 10. Suppose o = -2, 5*s - l*o + 8 = -6*o. Suppose s = -j, -3*f + f = j - 32. Is f a multiple of 6?
False
Let l(p) = p**3 - 6*p**2 + 6*p - 4. Suppose -5*a - 4 = 6, 4*u = -4*a + 16. Does 16 divide l(u)?
True
Let d(f) = 2 + 5 - 1 - 11*f + f**3 + 9*f**2. Let b = 8 - 18. Is d(b) a multiple of 8?
True
Let f(s) = -2*s**3 + 6*s**2 - 5*s + 8. Let b(d) = -d**3 + 3*d**2 - 3*d + 4. Let t(q) = -11*b(q) + 6*f(q). Does 9 divide t(3)?
False
Suppose 0 = 2*x - x - 144. Is x a multiple of 12?
True
Let j be (-1 - (-1 - 0))/(-1). Suppose -4*l = -2*p + 10, -2 = -4*p + 2. Is 18 a factor of j + (l - -2) + 48?
False
Let w(l) be the second derivative of l**5/20 + l**3/6 + 11*l**2/2 + 3*l. Does 5 divide w(0)?
False
Let y(f) = f**2 + 15*f + 15. Is y(10) a multiple of 20?
False
Let f(a) be the second derivative of a**5/20 - a**4/6 + a**3/6 + a**2 + 3*a. Let v be f(2). Suppose v*q - 93 - 35 = 0. Does 16 divide q?
True
Suppose 3*s + 1 = 4*n - 1, -2*s = 3*n - 10. Suppose -2*y = s*y - 68. Is y a multiple of 6?
False
Let c(z) = 5*z + 3. Suppose -5*j + 32 = -j. Let h(g) = -g**3 + 7*g**2 + 10*g - 10. Let f be h(j). Does 18 divide c(f)?
False
Is 32 a factor of (-582)/(-4) + 3/(-6)?
False
Suppose -2*p - 20 = -2*g, 3*g + 3*p = 5*p + 25. Is g a multiple of 2?
False
Let k be ((-66)/4)/(1/2). Let h = k + 46. Does 13 divide h?
True
Let q(z) = z**2 - 3*z + 2. Let l be q(2). Suppose -5*p + 5 + 15 = l. Suppose -p*r + 32 = -4*w, 2*r - 2*w = -3*w + 28. Is r a multiple of 6?
True
Let t = 147 + -108. Does 10 divide t?
False
Let b(z) = z**3 - 4*z**2 - 2*z + 5. Let l be b(4). Is 2 a factor of -3 + (9 - (-1 - l))?
True
Suppose -3*h + 2*h = -5. Let x be (-2)/h - (-62)/5. Suppose 3*t + 5*j - 12 = t, -j + x = 2*t. Does 6 divide t?
True
Let v(n) = n**3 - 3*n**2 + 6*n - 4. Is 12 a factor of v(4)?
True
Let t be 413/14 - (-2)/(-4). Let k = -18 - -7. Let g = k + t. Is 7 a factor of g?
False
Suppose 4*l - 17 = -5. Let v(z) = z - 6. Let a be v(6). Suppose 0*r + 30 = 2*f + 2*r, f + l*r - 23 = a. Does 7 divide f?
False
Let z = -55 - -97. Let d = z - 17. Is 9 a factor of d?
False
Let h = 14 + -9. Suppose -h + 3 = -a. Suppose 47 = 4*l - m, m + 3*m = a*l - 20. Is 12 a factor of l?
True
Let w be 118/(-3 + (-2)/(-2)). Let z = w - -133. Is z a multiple of 22?
False
Suppose -2*m = 870 - 354. Is 10 a factor of 14/91 + m/(-13)?
True
Suppose -25 = -5*x - 4*u, 2*x - 43 = 4*u + u. Is 3 a factor of x?
True
Let f = 2 + 2. Suppose 0 = -5*t - 5*c + 95, f*c - 81 = -4*t + c. Is t a multiple of 13?
False
Let g be 4 + (0 - -2) - 2. Suppose -3*z - g - 2 = 0, 2*a - 4*z - 48 = 0. Is 10 a factor of a?
True
Does 12 divide 1/7 - (-4530)/42?
True
Let w = 199 + -128. Does 16 divide w?
False
Is 30 a factor of 6/(-2) - (-53)/2*10?
False
Let j(t) = 35*t**3 - 2*t**2 - t + 2. Suppose 2 + 0 = 2*s. Is j(s) a multiple of 8?
False
Let x = 77 - 49. Is 14 a factor of x?
True
Let z be (1 - 5)*(-135)/12. Is 15 a factor of (2/(-3))/((-1)/z)?
True
Let r(m) = -11*m - 3. Is r(-1) a multiple of 2?
True
Suppose -3*z + 6*z - 9 = 0. Suppose -3*x + 60 = -z. Let v = -7 + x. Is v a multiple of 7?
True
Let l = -8 + 11. Suppose 0*t = l*t - 15. Suppose 0 = -t*r - s + 175, 6*r + 4*s = r + 175. Is 12 a factor of r?
False
Let v(u) = 2*u + 23. Does 17 divide v(31)?
True
Let j be (-2 - (-3 - -16))/(-3). Suppose 3*m = 2*v - 0*v - 36, 2*m = -j*v + 52. Is 4 a factor of v?
True
Let n = -37 + 56. Is n a multiple of 2?
False
Suppose 420 = g + 4*g. Is g a multiple of 42?
True
Suppose 4*p = 12, 5*y - 300 = 5*p + 310. Does 38 divide y?
False
Suppose -10 + 226 = 3*j. Suppose -4*v + v + j = 0. Suppose -u + v = u. Is 5 a factor of u?
False
Suppose 2*z = -v + 5 + 3, -1 = -z - 2*v. Is 1/z + (-447)/(-15) a multiple of 11?
False
Suppose h = -2*h, 5*h = -4*t - 72. Let l = t - -32. Is 7 a factor of l?
True
Suppose 3*k - 20 = -5*s, 0 - 8 = -k - 2*s. Suppose k = -h + 22 + 8. Is h a multiple of 7?
False
Does 12 divide ((-54)/4)/((-21)/378)?
False
Let x(t) = -4*t - 9. Is 15 a factor of x(-8)?
False
Let f = -2 + 6. Let a be (9/f)/(1/(-4)). Let u = -4 - a. Does 3 divide u?
False
Let y(l) = -l**2 - 10*l + 1. Suppose 0*q + 3*q + 21 = 0. Does 10 divide y(q)?
False
Is 17 a factor of (-3618)/(-36) + (-6)/4?
False
Let d be (5 - 0/(-3)) + -2. Is (d/(-6)*38)/(-1) a multiple of 5?
False
Suppose 10*k = 895 + 405. Is k a multiple of 26?
True
Let y(q) = 6*q**2 + 4*q. Let w(t) = 5*t**2 + 5*t + 1. Let n(p) = -4*w(p) + 3*y(p). Let r be n(-5). Let l = r + 25. Is l a multiple of 11?
True
Let o = 139 + -111. Does 7 divide o?
True
Let z(g) = 16*g - 3. Let m(y) = y**3 + 5*y**2 - 2*y - 6. Let j be m(-5). Does 20 divide z(j)?
False
Suppose -3*l - 3*l = -978. Is l a multiple of 30?
False
Suppose 3*n - 7*n + 20160 = 0. Suppose -4*q + n = -0*q. Does 14 divide q/25 - (-2)/(-5)?
False
Suppose d - 5*p - 7 = 0, -5*d - 5*p - 11 = 14. Let m(l) = 5*l**3 - 3*l**2 - 6*l**3 - 3*l + l**2 + 4. Is 11 a factor of m(d)?
True
Let x(m) be the second derivative of m**4/12 - m**3/6 + 6*m**2 + m. Does 12 divide x(0)?
True
Suppose -w + 4*f + 7 = 0, 118 = 4*w + 4*f - 2*f. Is 6 a factor of w + (-3*4)/4?
True
Let x be (-20)/(-1 + 3) - -1. Let j = 17 + x. Suppose -4*m + j = -28. Is 7 a factor of m?
False
Let x = -14 + 23. Suppose 153 = 3*w + 5*p, -3*w + x*p = 4*p - 123. Does 18 divide w?
False
Suppose -3*a + 5*c + 25 = 0, -4 = 3*c + 2. Suppose 15 = t + 5*w, -18 = -2*t - a*w + 22. Is 11 a factor of t?
False
Let v be 0/(-1) - 10/(-5). Let g(c) = 4*c - 3*c - v*c. Is g(-4) a multiple of 4?
True
Suppose 2*b = 5*k - 3*k - 144, -3*b + 274 = 4*k. Is k a multiple of 8?
False
Let g be 42/(-5) - (-4)/10. Suppose 3*b + 6 = -0. Does 11 divide 90/8 - b/g?
True
Let b(h) = 3*h - 3 - 10 + 1. Is 4 a factor of b(8)?
True
Let p be (-16)/40 - (-302)/5. Suppose p = -g + 6*g. Does 12 divide g?
True
Let w(n) = n**3 + 6*n**2 - 8*n + 5. Let u be w(-7). Let k = 20 - u. Suppose 2*y - k = 24. Is y a multiple of 8?
True
Let x(u) = 2*u**2 + 3*u + 4. Let v be x(4). Suppose -q - 3*q + v = 0. Is q a multiple of 4?
True
Let d(w) = w**3 + 8*w**2 - 11*w + 8. Suppose -4*i + 3*i = 9. Does 11 divide d(i)?
False
Suppose -271 = -4*q - v, 3*q + v + 4*v - 182 