
False
Let v(k) = k**3 - 7*k**2 - 5*k - 16. Let i(b) = b**3 - 2*b**2 + b + 2. Let j be i(0). Suppose 3*p - 3*h - 23 = -j, -6 = -2*h. Is 26 a factor of v(p)?
True
Let t = 12678 - 6542. Is 14 a factor of t?
False
Suppose -26*s - 5820 + 82588 = -145896. Is s a multiple of 45?
False
Let r = -50 - -84. Let q = -24 + r. Suppose 0 = -6*g - q*g + 576. Does 12 divide g?
True
Let l be 3/(-21) + 5/(140/1964). Let g = l + -30. Does 20 divide g?
True
Suppose 0 = 3*w + 7*w + 102687 - 309017. Does 24 divide w?
False
Let c = -776 - -1450. Suppose 3*p = s - c, 10*s + p = 14*s - 2663. Is 12 a factor of s?
False
Suppose -5*i = -144 + 9. Suppose d - 4*a - i = 0, 4*a = 2*d + 2*d - 144. Is d a multiple of 39?
True
Suppose -5*j + 3*j - 10 = 0, -j - 3615 = -5*x. Let s = x + -316. Is 29 a factor of s?
True
Let q = 492 + 1. Is q a multiple of 2?
False
Let d(m) = m**3 - 7*m**2 + 12*m + 1. Let x be d(4). Does 12 divide x/6*-2 + (-770)/(-6)?
False
Let g be (-8)/(-10) - -2 - (-120)/100. Suppose -g*q + 73*h = 68*h - 469, 0 = -4*h - 20. Is q a multiple of 5?
False
Suppose -4*m = -3*h + 2*h - 32, -5*m + 57 = 3*h. Let b be ((-12)/24)/(7/(-42)). Suppose 0 = -2*a - 4*v + 26, -b*a + 18 = 2*v - m. Is a a multiple of 4?
False
Suppose 0 = 6*n - 9*n - 5*m + 3805, 2*n + 3*m = 2535. Suppose 24*r - 1524 = n. Is 15 a factor of r?
False
Let m(n) = n**2 - 10*n - 38. Let z be m(-4). Does 32 divide (2 + (-44)/10)/(z/(-240))?
True
Suppose 90 = 3*o + 2*o. Suppose -d - o = -26. Suppose 472 = 5*u + 2*v, 4*v = -4*u + d*v + 400. Is u a multiple of 33?
False
Suppose 7*h = 12*h - 25. Suppose 4*m - 38 = -2*t + 1090, 4*t + 1410 = h*m. Suppose 4*w = m + 226. Is 26 a factor of w?
False
Suppose -8*f = 8*f - 1760. Let h = -56 + f. Is 3 a factor of h?
True
Suppose -88*z - 1547 = -100*z + 3253. Does 16 divide z?
True
Let n(m) = 81*m + 13*m**2 + 0*m**2 - 99*m + 33. Is n(3) a multiple of 4?
True
Does 10 divide 38/(-4)*(-28)/10*10?
False
Let a = -9930 + 12603. Does 17 divide a?
False
Is 1 + -2 - (7 - 3810 - -6) a multiple of 26?
True
Let k(w) = 3*w**2 + 5*w + 3*w - 4*w**2. Let y be 98/245*(17 + -1 - 1). Is 2 a factor of k(y)?
True
Is 31 a factor of (-2430)/(-2) - -1 - (-66)/(-55)*-5?
False
Suppose -2*d - 4 = -2*l + 6, -3*d = 3*l + 15. Suppose l = -0*u - 19*u + 10469. Is 15 a factor of u?
False
Let c = -82 - -87. Let f(m) = -6*m + 30. Let j be f(c). Suppose j*z + 4*z - 456 = 0. Is z a multiple of 19?
True
Let u = -65 + 67. Suppose z - 45 = -u*c, 5*c - 152 = -2*z - 41. Is 7 a factor of c?
True
Let g be 2 - (-33)/(-15) - (-33)/15. Suppose 3*h + 2*z = 3*z + 12, 5*h + g*z - 9 = 0. Suppose -912 = -h*x - 3*x. Is 32 a factor of x?
False
Suppose -3*i = -2*h + 315 + 135, -h + 299 = -2*i. Let b = 269 + i. Is 9 a factor of b?
False
Let s(l) = 3*l**2 + 13*l + 28. Let o = -13 + 33. Suppose o = -17*q + 12*q. Does 8 divide s(q)?
True
Let h be ((-54)/24)/(6/(-72)). Suppose 0 = 18*v - h*v + 846. Is 12 a factor of v?
False
Let a(o) be the second derivative of 11*o + 0 - 1/3*o**3 + 43/2*o**2. Is a(0) a multiple of 13?
False
Let b = -999 - -583. Let w = 679 + b. Is w a multiple of 7?
False
Let x be 876/511*(-7)/(-3). Suppose 3*y - 20*n + 19*n = 588, 5*y - 980 = x*n. Does 14 divide y?
True
Suppose 0 = -4*m + 2*m + 10. Suppose -3*z = z + m*l - 21, -2*z = -l - 7. Suppose 3*b - 347 = -2*s, 5*s - 464 = -z*b + s. Does 11 divide b?
False
Suppose -10*m = -46 - 14. Is 6 a factor of ((-667)/(-174))/(1/m)?
False
Let x be ((-46)/4)/((-3)/6). Suppose 4*z + 3*t - 336 = 0, -3*z = -4*t - x - 229. Suppose z = -7*s + 8*s. Does 21 divide s?
True
Let b be (-2)/(-8) + 7/4. Suppose b*s = 4*s + 20. Does 6 divide 2/s + (1692/20)/3?
False
Suppose 2*r + 38*r - 142177 = 72463. Is r a multiple of 14?
False
Let f(c) be the first derivative of -c**4/4 - 17*c**3/3 - 3*c**2/2 + 23*c - 35. Is f(-17) a multiple of 22?
False
Suppose -14*x = -26*x - 20*x + 260704. Is 20 a factor of x?
False
Let y = -5339 + 61724. Is 179 a factor of y?
True
Let v(h) = 267*h**2 + 66*h + 94. Is 10 a factor of v(-4)?
False
Suppose h - 3*h = 4*l + 1224, -5*h + 20 = 0. Let p = l + 554. Does 6 divide p?
True
Suppose d - 10 = r, 5*d = -0*d - 4*r + 14. Let j(z) = -4*z + 102. Does 5 divide j(d)?
False
Is (-14)/(-2) - (0 + 7485)/(-15) a multiple of 11?
True
Let r(a) = 506*a**2 - 24*a - 24. Is r(-1) a multiple of 46?
True
Let x(w) = -w**3 - 6*w**2 + 13*w - 1. Let z(u) = u**3 + 7*u**2 - 14*u. Let d(k) = 4*x(k) + 5*z(k). Is d(-12) a multiple of 11?
False
Let m(f) = -f**3 - f - 2. Let v be m(6). Let g(z) = -z**3 - 4*z**2 + 62*z + 13. Let s be g(-9). Let j = s - v. Is j a multiple of 28?
True
Suppose 1 = u - 4. Suppose 5*n - 98 - 82 = -u*i, 2*n = -i + 68. Suppose -4*x + n = -4. Is x a multiple of 4?
False
Let l = 298 - 281. Let x(z) = 9*z - 69. Is x(l) a multiple of 21?
True
Let f = -1425 + 2413. Let c = 5 + -7. Does 10 divide f/11 + c/(-11)?
True
Suppose 2*v + 2*g - 4798 = 7978, -g + 4 = 0. Is 24 a factor of v?
True
Suppose 7*s - 30145 = 4820. Is 5 a factor of s?
True
Let s(i) be the first derivative of i**4/4 + 7*i**3 - 31*i**2/2 - 73*i + 221. Is 3 a factor of s(-22)?
False
Let h(y) = 12*y - 11. Suppose 0 = m + 3*d + 3 + 3, 5*m + 3*d + 18 = 0. Let s be h(m). Let p = 69 - s. Is p a multiple of 25?
False
Let t(n) = n**3 - 15*n**2 + n - 20. Let l be t(15). Let o(d) be the third derivative of d**4/24 + 16*d**3/3 - 13*d**2. Does 27 divide o(l)?
True
Let t = -32 - -34. Suppose 0 = -t*u + 3*x + 273, -2*u - 3*u + 708 = x. Let v = -81 + u. Does 12 divide v?
True
Let m be 4/(-30) - (-13686)/45. Suppose 0*o + 2*s - m = -3*o, -3*s + 508 = 5*o. Let j = o - 41. Is 27 a factor of j?
False
Let l(b) = -b. Let i(f) = -f**3 - 34*f**2 + 42*f + 91. Let p(k) = -i(k) + 2*l(k). Is p(-35) a multiple of 16?
True
Let n(j) = -2*j - 10. Let q(a) = -a**2 + 19*a + 57. Let o be q(22). Let w be n(o). Is 10 a factor of ((-42)/(-7) - w) + 412/2?
False
Let f = 1491 + -966. Is 75 a factor of f?
True
Suppose -4*r = -9*r + 75. Suppose 2*k = 4*h - 2, -3*k = -0*k - r. Suppose 0 = -2*f - h*f + 4*s + 245, -2*s = 2*f - 80. Is 8 a factor of f?
False
Does 7 divide (-9 - (-2)/9*39) + 435714/18?
True
Let u = 2551 - 735. Is 18 a factor of u?
False
Let x(r) = -9*r**2 + 15*r + 52. Let y be x(-7). Let d = 649 + y. Is 3 a factor of d?
False
Let m = -50 - -79. Let z(v) = v**2 - v - 6. Let d be z(3). Suppose -m = -a - d*a. Is 4 a factor of a?
False
Let c be (0 - -1)/(-2)*-30. Suppose -c*j = -16*j + 1. Is 2*3 - (j - -2) a multiple of 2?
False
Let x(y) = -3205 + 3241 + 4*y**2 + 3*y + y - 3*y**2. Is x(-15) a multiple of 50?
False
Let q(j) = j**3 + 3. Let y = 58 + -53. Does 73 divide q(y)?
False
Let o(j) = 8*j**2 + 48*j - 4. Let u(h) = -3*h**2 - 17*h + 1. Let n(q) = -5*o(q) - 14*u(q). Is n(-6) a multiple of 37?
False
Suppose -81 - 75 = -c. Let g = -221 + c. Let h = -5 - g. Is 13 a factor of h?
False
Suppose -m = -5*p + 85, 5*m - m + 84 = 4*p. Suppose 12*g - p*g + 5*v + 88 = 0, 3*v = -3*g + 66. Is g a multiple of 7?
False
Let g = -38 + 63. Let z = -20 + g. Suppose 0 = -6*n + z*n + 18. Is 9 a factor of n?
True
Let n be 1/(-5) - 612/(-60). Suppose 0 = 15*k - n*k - s - 490, 5*k - 2*s - 485 = 0. Is 33 a factor of k?
True
Suppose 50*i - 22*i - 263029 = 1395355. Is 52 a factor of i?
True
Suppose 19 = -6*j + 9*j + 4*k, -k = -2*j + 9. Suppose o = -j*b + 1079, b + o - 431 = -b. Is 12 a factor of b?
True
Let h be (-2 - 3)*-1 + -38 + 60891. Is (-2)/10 - h/(-115) a multiple of 20?
False
Let d(o) be the third derivative of -o**6/120 - 13*o**5/60 + 17*o**4/24 + 13*o**3/6 + 3*o**2 - 23. Is 13 a factor of d(-15)?
True
Let p(i) = -28*i + 8. Let j be p(-9). Suppose -j = 2*q + 2*q. Let o = q + 123. Is o a multiple of 29?
True
Let n = 641 - 229. Let l = 464 - n. Is l a multiple of 11?
False
Suppose 4*l - 22 = -2*x, -4*x = -2*x + 3*l - 19. Suppose 2*u - 2*w + 2884 = 0, -x*w - 724 - 742 = u. Is u/(-10) - 45/75 a multiple of 36?
True
Let k = 2228 - 2161. Is k even?
False
Let p = 1791 + -901. Is 2 a factor of p?
True
Let r be (-2)/(-4)*-3 - 308/(-8). Let d be 3 + -2 - (-2 - (r + 0)). Let k = d - 36. Does 4 divide k?
True
Is ((-3044)/16)/(11/(-176)) a multiple of 9?
False
Suppose 9*g + 5 = -13. Is g*6*2/(-8) even?
False
Let d = 3569 - -19605. Is d a multiple of 239?
False
Suppose 0 = 7*o - 336 - 616. Let h be 10/(-30)*(1 - o). Suppose 5*b + h = 600. Is 37 a factor of b?
True