- 12*m + 11 + 2*m**d - 3*m**2. Does 9 divide q(-8)?
False
Let b(g) = 3*g**2 - g + 17. Let n be b(-4). Let d = n + 54. Is d a multiple of 24?
False
Suppose -2*r - 72 = -0*j + 2*j, -3*r = -3*j + 84. Let n = 32 + r. Suppose h - 144 = -3*w + 28, n = 5*w - 4*h - 281. Is 16 a factor of w?
False
Let m = 1 + 3. Suppose m*l - 60 = 3*l. Suppose 0*o + 2*o = l. Is 15 a factor of o?
True
Is 12 a factor of ((-3)/(-3) + -6)/(7/(-203))?
False
Let w(x) = -14*x - 7 - x**2 - 2 - 4*x. Let l be w(-12). Suppose -l = -2*g + 207. Is 28 a factor of g?
False
Suppose -3*c = -2*l - 0*c - 8, -c = 4*l + 2. Let n(p) = -76*p**3 + p + 1. Is n(l) a multiple of 19?
True
Let u(a) = -a - 11*a**2 + 6*a**2 - 32 + 8*a**2 - 2*a**2. Is 4 a factor of u(-6)?
False
Let b(l) = -47*l + 76. Is b(-10) a multiple of 13?
True
Let v be 18/27 - 352/(-3). Suppose 2*x + 126 = 2*u, 3*x - x + 118 = 4*u. Let h = x + v. Is h a multiple of 17?
True
Suppose 11*h + 7290 = 20*h. Does 27 divide h?
True
Let y(g) = 6*g + 7. Let b(h) = -13*h - 15. Let t(p) = 6*b(p) + 14*y(p). Let l(s) = 9*s + 12. Let m(j) = 5*l(j) - 8*t(j). Does 10 divide m(-9)?
False
Let j(k) = -k**3 + 8*k**2 + 9*k - 3. Let u be j(9). Let l(h) = 3*h**2 - 3*h - 3. Is l(u) a multiple of 9?
False
Let p = 350 - -859. Is p a multiple of 39?
True
Let j(i) = -i**3 + 19*i**2 - 8*i - 1. Let o be j(5). Suppose 2*t + 103 = x, -t - o = -5*x + 2*x. Is x a multiple of 36?
False
Let x = -1 - 1. Let q be ((-6)/x)/(18/(-12)). Let y(u) = -10*u - 1. Is 10 a factor of y(q)?
False
Let j = 10 - 11. Let d be (3 - j) + (-8)/(-4). Let k(c) = 2*c + 3. Does 6 divide k(d)?
False
Let n(m) be the first derivative of 6*m**3 - 4*m**2 + 17*m + 27. Does 61 divide n(5)?
True
Suppose 5*f = -5*q + 2615, -14*q = -9*q + 25. Does 48 divide f?
True
Let n(k) be the first derivative of -k**2 + 16*k + 4. Let b be n(12). Let g(o) = -16*o - 13. Is 16 a factor of g(b)?
False
Suppose -4*k + d + 27 = -40, 0 = -2*k + 3*d + 31. Let l = k - 34. Let h = -3 - l. Is 4 a factor of h?
False
Let v = 62 + -126. Let s = v + 139. Is s a multiple of 15?
True
Suppose r - 150 = -5*p, r + 3 + 2 = 0. Suppose 3*q + 3*i = i + p, 5*q = 4*i + 59. Is q a multiple of 11?
True
Let o(l) = -2*l**2 + 21*l - 4. Let a be o(10). Does 8 divide (188/a + 4)/(2/3)?
False
Let x(t) = 1. Let v(c) = -9*c + 9. Let l(f) = -v(f) + 18*x(f). Let w be l(-10). Let g = -53 - w. Does 14 divide g?
True
Let o be (36/10)/((-16)/(-240)). Let g = o - -74. Is 14 a factor of g?
False
Let h be (308/(-55))/(12/(-5) - -2). Suppose -o + 2 + h = 0. Is o a multiple of 16?
True
Suppose 0 = -v - j + 15, -4*j = 4*v - 7*j - 53. Does 14 divide v?
True
Suppose 5*c + 10 = 0, 9714 = 4*k - 10*c + 13*c. Is 20 a factor of k?
False
Suppose 727 = -12*a + 2131. Is a a multiple of 21?
False
Suppose 16 = -2*u + 42. Let l(c) = -c**3 + 14*c**2 - 9*c - 2. Is l(u) a multiple of 5?
True
Suppose -2444 = -5*j + 646. Is j a multiple of 41?
False
Let w(o) = 5*o**2 + o - 1. Let d be w(2). Suppose 12*l = d*l - 621. Does 25 divide l?
False
Let b(r) = r**2 - 13*r + 5. Let n be b(13). Suppose n*w + 10 = -4*v, -2*w + 5*v = w + 6. Let j(k) = -31*k - 4. Does 17 divide j(w)?
False
Is 373 - (2 + (-7 - -1)) a multiple of 8?
False
Let s(g) = 169*g**3 + 2*g**2 - 2*g - 1. Is 6 a factor of s(1)?
True
Let y be 1/5 + (-2232)/(-40). Suppose -341 = -3*i - y. Does 17 divide i?
False
Let d = -1087 + 766. Let u = d - -450. Is u a multiple of 42?
False
Suppose 10*z - 17664 = 876. Is 103 a factor of z?
True
Let f be (-7)/(-35) - 19/(-5). Let z be 138/18 - f/6. Is (-49)/14*(-12)/z a multiple of 2?
True
Let r(a) = 36*a**2 - 2*a - 1. Let z be r(-1). Suppose z = s - 26. Suppose -s = -7*l + 4*l. Does 6 divide l?
False
Let s(k) = -2 + 1074*k - k**3 - 1077*k - 5*k**2 - 1. Does 6 divide s(-5)?
True
Let n(d) = 5*d - 3. Let j be n(1). Does 5 divide j/4 - (6 - 141/2)?
True
Let s be -1 + (1806/10 - 2/(-5)). Let t = s + -138. Does 14 divide t?
True
Let p(g) = -g**3 - 7*g**2 - 8*g + 4. Let u be p(-6). Suppose -2 - u = 2*o. Does 13 divide -1 + 21*(-12)/o?
False
Let o(g) = 21*g**2 + 2*g + 38. Does 26 divide o(6)?
True
Let d = 2305 + -1470. Is 36 a factor of d?
False
Does 39 divide (86814/168)/(2/8)?
True
Suppose -6*f = -3*f - 6. Let w be (f/6)/(1/(-3)). Let d = w + 11. Is d a multiple of 6?
False
Let y = 0 - -3. Let x be 3/(432/(-148) + y). Suppose t - 2*i = 13, 3*t - x = -0*t + 4*i. Is t a multiple of 11?
True
Suppose 5*t = -2*j - 3*j + 25, -2 = 2*j - 4*t. Let s be 5*(j + -6 - -4). Suppose 13 = s*d - 7. Does 4 divide d?
True
Let q be (406/3)/(-1) - 16/(-48). Let h = 195 + q. Is 15 a factor of h?
True
Let x = -752 + 852. Is x a multiple of 10?
True
Let b be 223/9 - 44/(-198). Does 34 divide ((-165)/b - -6) + (-2726)/(-10)?
True
Let v(k) = k**2 - 6*k + 74. Does 28 divide v(12)?
False
Is 22 a factor of (33117/56)/3 - 2/16?
False
Let s(c) = -c**3 - 12*c**2 + 13*c - 19. Suppose -k - 26 = k. Let v be s(k). Let q = 47 + v. Does 14 divide q?
True
Let r be (-34)/(-1) + -1 + 5. Suppose r - 29 = l. Is 9 a factor of l?
True
Suppose -14*o = 1963 - 26449. Is o a multiple of 71?
False
Let o = -113 + 311. Is 22 a factor of o?
True
Suppose -11*s - 630 = -16*s. Suppose 5*k - 4*k = -2*u + 5, -2*u + 7 = -k. Suppose f - 62 = o, u*f - 307 = 4*o - s. Is 20 a factor of f?
False
Let t(z) = -z**3 + 11*z**2 + 12*z + 3. Let s be t(12). Suppose 0 = -5*u + 6*u - 4. Suppose -h = -s*h + u. Does 2 divide h?
True
Let p(t) = 3*t**2 + 71*t + 31. Does 29 divide p(-36)?
True
Suppose 5*q + 6*r - 5*r = 12905, -10323 = -4*q - r. Does 21 divide q?
False
Let l(y) be the second derivative of -y**5/20 - y**4/3 - y**3 - 2*y**2 + 27*y. Let d = 4 - 8. Is l(d) a multiple of 8?
False
Let l(k) be the first derivative of k - 9. Let b(y) = 72*y - 3. Let i(w) = b(w) + l(w). Is i(1) a multiple of 11?
False
Suppose -2*x + r - 16 = 0, 3*r = x + 2*r + 9. Suppose w - 214 = 3*w. Let l = x - w. Is l a multiple of 30?
False
Let g(j) = -7*j + 7. Let y be 1 - 6/3 - -3. Suppose 3*p = -y*w - 17, -w + 16 = -4*p + 3*w. Is 14 a factor of g(p)?
True
Let m be 10/(-4)*-2 - 2. Suppose -m*r - 3 - 3 = 0. Is (-10)/(-2) + 0/r even?
False
Let c(r) = 10*r**2 + 9*r - 20. Is c(8) a multiple of 86?
False
Suppose -t + 3*t + 36 = 0. Let h = -19 - t. Is (h - 8)/(3/(-21)) a multiple of 22?
False
Suppose -34*n - 2737 = -39*n - 4*f, 1647 = 3*n + 4*f. Is 7 a factor of n?
False
Let f(q) = 4*q**2 - 17*q + 4. Let y = -40 + 45. Does 4 divide f(y)?
False
Let z = 61 - 61. Suppose -584 = -4*r - 0*r - 4*d, z = -3*d - 12. Does 25 divide r?
True
Suppose -d + 4 = 0, 1300 = -3*u + 2*d - d. Is 11 a factor of 20/3*u/(-60)?
False
Let t = 19 - 5. Suppose 4*o = -5*y - 26, y = 4*o - 0*o + t. Is 7 a factor of (-1)/(-3 - o) + 22?
True
Let t(v) = -v**3 + 38*v**2 - 98*v - 32. Is 60 a factor of t(34)?
True
Let k(z) = 3*z**2 + 15*z + 4. Let w be k(-5). Let s(p) = 3*p + 12. Let c be s(10). Suppose -w*n = -70 - c. Is 12 a factor of n?
False
Let x be 4/18 - (-17274)/27. Suppose -8*s + 12*s = x. Is s a multiple of 14?
False
Suppose d - 190 = c + 1178, -2*c - 8 = 0. Is 57 a factor of d?
False
Let y = 12 + -13. Let m be (3*y)/(21/(-14)). Suppose -o - 78 = -m*o + 4*s, -4*o = s - 244. Does 24 divide o?
False
Let a be 8/6*(-36)/(-24). Suppose 5*j = a*j - 2*h + 187, -1 = h. Is 19 a factor of 4/(-18) + 5369/j?
False
Let a be (-1 - 6/(-3))*0. Suppose 6 = 2*j - 4*u, -4*j + 3*j + u + 3 = 0. Suppose a = -y + j + 22. Is y a multiple of 25?
True
Let d be (-13)/(-3) - 10/30. Suppose -m + 30 = -5*b, -4*m = -m + d*b - 52. Suppose -k + s + 11 = 3, 0 = 3*k + s - m. Does 7 divide k?
True
Let n be 5*((-39)/15 - -4). Suppose 548 = -3*u + n*u. Suppose -5*b + u = -33. Is b a multiple of 17?
True
Let s(r) be the first derivative of 1 - r + 19/2*r**2. Is s(1) a multiple of 9?
True
Let z = 21 - 18. Suppose -2*n - z*n = -15, 4*n - 111 = 3*c. Let s = -1 - c. Is s a multiple of 10?
False
Let j = 64 + -32. Suppose s - j = -3*s. Does 10 divide (s/2)/(-2) - -26?
False
Suppose -6*k - 8 = -10*k. Suppose -2*n = n - k*j - 330, -3*n + 4*j = -336. Is 12 a factor of n?
True
Let b(z) = 20*z**2 - 3*z - 3. Let t be b(-1). Suppose 5*s + t = 0, 6*q - 7*q + 76 = -4*s. Does 5 divide q?
True
Suppose 2*c + 0 = -40. Let l = 8 + c. Let p = l - -23. Is 4 a factor of p?
False
Suppose 0 = -2*w + 4*o + 608, 4*w = 3*o - o + 1216. Does 45 divide w?
False
Let m be 1 + (9 + -10