= 4*l - 16. Is m a multiple of 7?
True
Let i = -92 + 149. Is 25 a factor of i?
False
Let h = -4 + 6. Let r be 4/12 - (-6)/9. Is 2 a factor of r/(((-8)/(-12))/h)?
False
Suppose -c + 3*k - 7 = 0, -3*k + 2*k = -4*c + 16. Suppose -66 - 189 = -c*j. Does 13 divide j?
False
Let p(h) = h**3 - 12*h**2 + h - 5. Let n(c) = c**2 - 4*c - 11. Let o be n(8). Let u be 14/o + 34/3. Is p(u) a multiple of 3?
False
Is 17 a factor of (-6658)/(-14) + -3 - 9/(-21)?
False
Let f(t) = 83*t**3 - 3*t**2 + 3*t - 3. Does 39 divide f(2)?
False
Suppose -4*i + 16 = 8. Let f = i - 1. Is 17 a factor of 16 + f/(-1)*-1?
True
Is (-2)/8 - (-4)/((-160)/(-10290)) a multiple of 16?
False
Suppose -279 + 2655 = 8*d. Is 11 a factor of d?
True
Let j = -1419 + 1001. Let u = -198 - j. Does 25 divide u?
False
Let m be -3 + 4 + 3 + 4 - 3. Suppose m = 5*r, 3*s = r - 2*r + 274. Is s a multiple of 6?
False
Let p(n) = -n**2 + 488*n - 2 + 2*n**2 - 482*n. Let o(c) = c**2 + 6*c + 1. Let m be o(-7). Does 33 divide p(m)?
False
Let k(h) = -h. Let q(i) = 14*i - 1. Let j(u) = -5*k(u) + q(u). Does 9 divide j(1)?
True
Let x(s) = 131*s + 53. Let j be x(-1). Let n(b) = -133*b - 1. Let o be n(-1). Let l = o + j. Is 9 a factor of l?
True
Suppose 7*d + 6006 = 33*d. Is 21 a factor of d?
True
Let t = 14 - 11. Let l(k) = k**3 + 5*k**2 - t*k - k**3 + k**3. Is l(-3) a multiple of 22?
False
Let b(f) = 238*f - 104. Does 10 divide b(8)?
True
Let z be (312/36)/((-1)/(-3)). Suppose 3*i = -4*a + 10 + z, i + 3*a - 7 = 0. Is i a multiple of 3?
False
Let f(t) = 3*t + 0*t - 20 + 6 + 6*t. Does 11 divide f(13)?
False
Let l = 151 + 17. Is l a multiple of 6?
True
Is 8 a factor of 1021 + 2 + -5 + 5?
False
Suppose g = 19 + 65. Suppose 0 = 3*l - l + z - g, 5*l - 236 = 4*z. Is 10 a factor of l?
False
Let z = 225 - 79. Let g = z - 83. Suppose -2*a = a - g. Does 21 divide a?
True
Suppose -5*s + 5*g = -75, 81 + 6 = 4*s + 5*g. Is 7 a factor of (-237 + -1)/(s - 20)?
True
Suppose -2627 - 831 = -26*l. Is 19 a factor of l?
True
Suppose -3*s = -2*n - 706, 0*s + 439 = 2*s + 5*n. Is 5 a factor of s?
False
Suppose -20*s = 10*s - 3060. Is 17 a factor of s?
True
Let b = 18 + -16. Suppose -b*h - y - y + 50 = 0, h = -4*y + 19. Is h a multiple of 4?
False
Let w = 170 + -87. Let d = -55 + w. Is 5 a factor of d?
False
Let i(s) = -s**2 + 10*s + 11. Let p be i(11). Let k be p*((6 - 4) + -1). Suppose -2*u - 5 = -z - 17, -2*u - z + 16 = k. Is 4 a factor of u?
False
Let z = -174 + 416. Is z a multiple of 11?
True
Is 8 a factor of 219*(-85)/(-75) + (-1)/5?
True
Suppose -b - 9 = -4*b, -2*b - 6 = -2*p. Suppose 11*k - 65 = p*k. Suppose -6 = d - k. Is 3 a factor of d?
False
Let i be (-84)/72 + (-2)/(-12). Does 3 divide 1*(0 - -4 - i)?
False
Let l = 417 + 102. Is 11 a factor of l?
False
Let j be (6/4)/(3/24). Let u be (4/(-6))/((-3)/9). Suppose u*m - 80 = j. Is m a multiple of 23?
True
Is 10 a factor of 7 + 129 + 2*3?
False
Suppose -20 = a - 4*d, a - 3*d + 25 = 2*d. Suppose -4*c = -a*c - 12. Is -39*c/((-3)/2) a multiple of 22?
False
Let q = -108 + 271. Is 8 a factor of q?
False
Suppose 3*u = 2*n - 165 - 343, 4*n + 3*u - 1052 = 0. Is 2 a factor of n?
True
Suppose -3*l + 285 = -2*l. Suppose 5*n = -3*s - l, 4*s = -3*n - 117 - 274. Let y = s + 140. Is 11 a factor of y?
False
Let p(d) = 73*d**2 + 20*d + 10. Is p(-4) a multiple of 76?
False
Let d be 5/14*950 - (-2)/(-7). Let h = 573 - d. Is 39 a factor of h?
True
Let i = 29 - 25. Suppose -v - 3*d = -94, -5*d + 419 = i*v + 36. Does 7 divide v?
False
Let c be 0 - -3 - (12 - 7). Let k be 1/c + 14/4. Suppose -a + 5*a + m - 113 = 0, 0 = -3*a + k*m + 96. Is 7 a factor of a?
False
Let r = -2882 - -4312. Does 26 divide r?
True
Let i = 10 + 4. Let s = -3 + i. Does 10 divide s?
False
Suppose 0 = 6*r - 5*r - 644. Suppose 0 = -3*h + 86 - r. Let t = 282 + h. Does 26 divide t?
False
Suppose 4*m + 2*a = -0*m + 1436, -5*m + a = -1802. Is 24 a factor of m?
True
Let d = 5 + -6. Is 5 a factor of (46 + d)/(18/12)?
True
Suppose d = g + 4, -5*g + 4*g = -2*d + 6. Suppose 4*o - 10 = d. Suppose o*v - 207 = -81. Does 15 divide v?
False
Let g = 10 - 4. Suppose u = 3*l + 52, -l + g*l = 0. Is 26 a factor of u?
True
Suppose -6*c + 10*c - 20 = 0. Let u(q) be the third derivative of 3*q**4/8 + 7*q**3/6 + 4*q**2. Is 13 a factor of u(c)?
True
Let r(g) = g**3 + 19*g**2 + 2*g + 8. Does 61 divide r(-9)?
False
Suppose 6*f - 12*f = -2442. Does 10 divide f?
False
Let w = 2 + 3. Let j(u) be the third derivative of -u**6/120 + u**5/10 + 3*u**2. Is 25 a factor of j(w)?
True
Let d(b) = b**2 + 13*b + 15. Suppose -5*v - 11 = 49. Let o be d(v). Suppose -2*l - o*l + 55 = 0. Does 11 divide l?
True
Let u(h) = 2*h**2 - 28*h - 52. Is 21 a factor of u(-10)?
False
Suppose -4488 = 76*j - 82*j. Is 68 a factor of j?
True
Suppose 3*t - 10 = -4*h, -h = -0*h + 2*t. Suppose -5*l + h*o + 510 - 1 = 0, -2*l = 5*o - 197. Is 13 a factor of l?
False
Let u(t) = -t**2 + t + 1. Let b(h) = -5*h**2 - 4*h + 18. Let f(k) = b(k) - 6*u(k). Let x be f(10). Let z = x + 16. Does 20 divide z?
False
Let l(c) = -2*c**2 - 27*c - 27. Let k be l(-12). Let g(z) = -z**2 + 20*z - 4. Is 19 a factor of g(k)?
True
Suppose -4*z + p + 3*p + 8 = 0, 2*p = 0. Let y be (-1)/z + 2/4. Suppose -k - 2*k + 123 = y. Does 10 divide k?
False
Suppose 14*d = -27 - 155. Let f = -1 - d. Is f a multiple of 6?
True
Let h be (-2)/14*-18 + (-28)/49. Suppose h*x + 2*x - 96 = 0. Is 6 a factor of x?
True
Let p = -11 + 13. Let i(t) = -39*t + 2*t**p - 4 + 39*t. Is 14 a factor of i(3)?
True
Let m = -135 + 810. Is 11 a factor of 3 + -1 - m/(-9)?
True
Let y be (-4)/2 + 425 + -2 + 2. Suppose 8*w - y = -w. Is 9 a factor of w?
False
Suppose 2*f - 3*s + 2*s = 136, 5*f - 350 = 5*s. Suppose 29*q = 26*q + f. Is 5 a factor of q?
False
Let f be 3*(3 + 3 + -3). Let d be (-3)/2*(-42)/f. Suppose 13 = -r - 5*p + 32, -p + d = r. Is r a multiple of 2?
True
Suppose 2*w + 2*c - 104 = 0, -4*c - 134 = -4*w + 58. Does 5 divide w?
True
Suppose -5*j - 272 = 38. Let q = j - -85. Is 10 a factor of q?
False
Suppose 4*q - 6*q - 42 = 0. Let s = q - -29. Suppose 3*c - 2*b - 10 = s, -4*c = -5*b - 24. Is 6 a factor of c?
True
Let d(w) = 9*w**2 - 2*w - 24. Does 24 divide d(6)?
True
Suppose -2*t = -52 - 34. Let q be 1/(-2)*18/(-3). Suppose -t = -2*u - 0*z - q*z, -z = -2*u + 31. Does 17 divide u?
True
Is (39/(-2) + 0/1)*-12 a multiple of 16?
False
Let a(q) = 2*q**3 - q**2 + 4*q + 5. Is 10 a factor of a(5)?
True
Let c be (6/(-4))/(12/(-32)). Is (-1)/((-1 - c)/475) a multiple of 15?
False
Suppose -4*d + 9*d = 2*i + 430, -d + 64 = 4*i. Is 7 a factor of d?
True
Let o(y) = -y**3 + 9*y**2 - 11*y + 45. Is o(5) a multiple of 3?
True
Let i = 529 - 357. Is i a multiple of 5?
False
Suppose 0 = 8*o - 2*o + 18. Does 27 divide (-247)/o - 5/15 - 1?
True
Suppose 5*g = k + 25, -8*k + 4*g - 41 = -3*k. Let j = -4 - k. Is (-2 + j)/(1/(-73)) a multiple of 25?
False
Suppose -3*o + 64 = -7*g + 11*g, -5*o = 4*g - 56. Is 3 a factor of g?
False
Suppose 15*s - 14*s - 3 = 0. Suppose 250 = -i + s*i. Is 11 a factor of i?
False
Let l(m) be the second derivative of -m**5/10 - 2*m**4/3 + 5*m**3/6 - 3*m**2 - 22*m. Is 13 a factor of l(-6)?
False
Let j be 0/((-4)/(-4)) + 3. Suppose 1 = v - 1, -5*r = j*v - 6. Suppose r = -4*u - b - 15 + 36, 2*b + 8 = 2*u. Does 2 divide u?
False
Suppose 8*v - 17806 = -6254. Is v a multiple of 19?
True
Let u(n) = -n**3 + 20*n**2 + 53*n + 23. Does 13 divide u(22)?
True
Suppose -16 = -k + 147. Does 24 divide k?
False
Suppose -4*f + f - c + 1557 = 0, -9 = 3*c. Is f a multiple of 65?
True
Let f(y) = 6*y**3 - 4. Let b be f(3). Let u = -81 + b. Is u a multiple of 41?
False
Suppose 0 = -8*r + 689 + 863. Is 4 a factor of r?
False
Let v be (-42)/(-3) + 2/(-2). Suppose 3*f + a - v = -2*f, -4*f = -a - 14. Suppose 5*n = f + 17. Is n a multiple of 4?
True
Let t = 699 + -237. Suppose -17*p = -10*p - t. Is p a multiple of 10?
False
Let n = -258 + 434. Let u = -41 + n. Does 33 divide u?
False
Let w(k) = -3*k + 11. Let r be w(5). Let a = r - -9. Is (a*(-6 - -3))/(-1) a multiple of 11?
False
Suppose 6*z + z = 896. Is z a multiple of 8?
True
Suppose -2*z = -n - 2236, z + 9*n - 1108 = 12*n. Is z a multiple of 16?
True
Let x(c) = -c**3 - c**2 - 2*c + 99. Let b = -40 + 40. Does 15 divide x(b)?
False
Let h be 420/(-49)*42/(-4). Is 9 a factor of (-8)/((-16)/h) - 0?
True
Suppose -388 + 64 = -3*