*2 - 3*c - 14. Let h be v(13). Let k = 26 + h. Let p = k + 41. Is p a multiple of 14?
True
Let l = 2633 + 445. Is l a multiple of 38?
True
Let u = 46194 + -35289. Is u a multiple of 15?
True
Let m = 41 - 38. Suppose -13*p + 360 = -m*p. Does 13 divide (122/8)/(9/p)?
False
Suppose -2*p + 4*q - 1526 = 0, -4*p + q - 4*q = 3052. Let h = 1133 + p. Suppose 9*y - 386 = h. Is y a multiple of 7?
True
Suppose -3*f + 28*f - 4*f = 51786. Is 4 a factor of f?
False
Let i = 45 + -9. Let x be (98/(-14))/(2/(-2)) - 1. Let z = i - x. Is z a multiple of 10?
True
Suppose -9 = -38*p + 37*p - 3*b, p = 3*b + 21. Suppose -p*j + 9393 = 198. Is j a multiple of 20?
False
Does 9 divide (-37584)/(-44) + 8/(-44)?
False
Suppose 24*j = 19*j - 75*j + 850080. Does 138 divide j?
True
Let y be ((-8)/(-5))/((-4)/(-10)). Suppose 25 = -y*t - t, -j + 4*t = -57. Is 26 a factor of j?
False
Let r(w) = 3*w**2 - 10*w - 72. Suppose -13 = -2*d - 5*g - 0*g, -g - 46 = -5*d. Is r(d) a multiple of 9?
True
Let d(o) = -8*o**2 - 89*o + 84. Let u be d(-12). Let h = -4 + 7. Suppose h*r - 175 + 4 = u. Is 8 a factor of r?
False
Suppose -501 = -2*x + 5*a + 4, 3*a = -15. Suppose 3*p = 7*b - 8*b + 17, 0 = 5*p - b - 23. Suppose x = p*o + 5*n, -5*o + 188 = -n - 40. Is o a multiple of 8?
False
Suppose 2*i = -4*u + 18, -2*u + 2*i = 2 - 20. Suppose u*w = 5*w + 4*n + 11, 0 = -3*w - 5*n - 35. Let v = w - -29. Is 4 a factor of v?
True
Let d(t) = -t**2 + 12*t - 12. Let m be d(10). Let j(l) = 12 - l**3 - 26*l**2 + 5 + m. Is 5 a factor of j(-26)?
True
Suppose 2*k - k + 5 = 0. Let n(w) = -w**3 - 17*w**2 + 19*w - 7. Let u be n(-18). Is 4 a factor of ((u/(-5))/k)/((-2)/24)?
True
Let f(x) = -x**3 - x**2 + x - 5. Let s be f(-4). Let z = 42 - s. Suppose 0 = z*a - 3*k - 54, -4*k = -3*a - 2*k + 54. Is 5 a factor of a?
False
Let a = -804 - -1205. Let t = a + -212. Does 35 divide t?
False
Let p = 347 - 341. Suppose -3302 = -p*s + 1402. Is 49 a factor of s?
True
Let p = -50 + 50. Suppose p = 13*j - 6*j - 2737. Does 53 divide j?
False
Let z(u) = 65 - 2*u**3 - 249*u - 5*u**2 + u**3 - 16 + 252*u. Does 21 divide z(-7)?
True
Suppose 4*i + 2*g - 26 = 0, 0 = -2*i - i - g + 20. Suppose 3*v - i*v + 2*b = -60, v = b + 14. Suppose -v*d + 14*d + 58 = 0. Is d a multiple of 4?
False
Suppose 636 - 4485 = -3*t. Let q = -637 + t. Does 12 divide q/6 + -4 + 10/3?
False
Suppose -c = 28*c - 116. Suppose 5*h = c*x + 3788, h = -0*x + x + 758. Is 63 a factor of h?
True
Let k(x) be the second derivative of -55*x**3/6 - 72*x**2 - 19*x. Is 15 a factor of k(-5)?
False
Suppose 6069*s - 6082*s + 80795 = 0. Is 31 a factor of s?
False
Let f be ((-23)/(-115))/(1/5) + -1. Suppose 3*s - 12 = f, 8*c - 10*c + 4*s = -48. Does 8 divide c?
True
Let g be -45*(60/25 - 4). Let p = -68 + g. Suppose -u = -p*f + 2*u + 199, -5*f + 235 = -u. Is f a multiple of 15?
False
Is 15 a factor of -315*12/((-540)/255)?
True
Suppose 0 = -4*a + 5*t + 19153, -3*t - 1973 = -2*a + 7600. Does 28 divide a?
False
Let m(i) = 4*i**2 + 3*i + 1. Let b be m(-1). Suppose 16*c - b + 2 = 0. Suppose 14*j - 11*j - 87 = c. Is 16 a factor of j?
False
Suppose 0 = -10*i + 19*i + 9. Let n(z) = 545*z**2 + 9*z. Let j(q) = 272*q**2 + 5*q. Let h(t) = -7*j(t) + 4*n(t). Does 25 divide h(i)?
True
Let m be -5*(2 + -1) + 5 + 1. Does 27 divide m - -619 - (-4 - -6)?
False
Let s(i) = -i**2 + 6*i + 3. Suppose -3*j - 21 = -5*z, -2*j - 4 + 0 = 0. Suppose 3*k + 22 = z*g + 7, 4*k - 4 = 0. Does 2 divide s(g)?
False
Suppose -3*i - 1136 = -5*i + 4*l, 4*i + 5*l = 2246. Let v = i - 270. Is v a multiple of 9?
False
Suppose 5*t = -4*c + 7742, -5*c - 1560 = 2*t - 3*t. Let l be t/30 + (-1)/(-3). Let b = l - 33. Is 8 a factor of b?
False
Suppose k = 16*k + 18*k - 90321. Is k a multiple of 63?
False
Suppose -68697 + 402667 = 100*x - 131030. Is 15 a factor of x?
True
Suppose -11*i + 14*i + q - 6799 = 0, -2*i = 2*q - 4538. Is i a multiple of 4?
False
Let j(v) = 63*v + 22. Let y = -173 + 177. Does 16 divide j(y)?
False
Let a(w) = -12*w + 163. Let u be a(10). Suppose -9*n - u = -5713. Is 42 a factor of n?
True
Let l = -788 - -4064. Does 70 divide l?
False
Suppose 3*s + 4*q - 2756 = 6*q, 2750 = 3*s + 4*q. Suppose -4*d + 5*k = 226 - s, -5*d + 882 = -2*k. Does 9 divide d?
False
Suppose 11*c - 6*c - 14921 = -2*b, 0 = -5*c - 5*b + 14915. Suppose 25*q - 10*q = c. Is q a multiple of 47?
False
Let y(q) = 3*q**3 - 120*q**2 - 71*q + 28. Does 11 divide y(41)?
False
Is 2 a factor of ((-62)/(-6))/((-85392)/9504 + (-18)/(-2))?
True
Suppose 0*x - 35*x = 9*x - 35596. Does 2 divide x?
False
Let s = 796 - 227. Suppose -280 = -3*m + s. Is m a multiple of 4?
False
Suppose 18*q + 24083 - 115361 = 0. Does 156 divide q?
False
Let o(t) = 16*t**2 + 70*t + 1447. Does 3 divide o(-17)?
True
Let s(c) = 2*c**3 + 7*c**2 - 8*c - 2. Let r be s(-4). Suppose r*t = -5*u + 11*t + 559, 553 = 5*u + t. Is u a multiple of 5?
True
Let g = -4647 - -9183. Suppose 0 = -11*z + 5*z + g. Does 12 divide z?
True
Let h = 132 - -34. Suppose 3*m - 150 = 41*w - 42*w, 0 = -w + m + h. Is w a multiple of 75?
False
Let p(n) = 7*n + 4543. Does 91 divide p(-116)?
True
Suppose -5*p = 2*v - 26, -3*p + 7*p + 5*v - 14 = 0. Suppose -c + 3 = -p. Let h = c - -86. Is h a multiple of 19?
True
Let l = 2341 + -937. Is 43 a factor of l?
False
Suppose v - 2*x - 14 = 0, -4*v - 38 = -7*v + 2*x. Let t be ((-4)/3)/(v/18). Is t/(500/(-165) - -3) a multiple of 11?
True
Let w be 1*-2*(-58 + 19). Is (w/12 - 6)/(1/54) a multiple of 24?
False
Let t be (4 + -7)/6*14. Let y = t - -7. Suppose -s = 3*q - 17, y = 3*q - 0 + 3. Is s a multiple of 10?
True
Let x be (-3)/(8/(-4 - 4)). Suppose -3*n = -x*y + 1854, n = -y + 119 + 505. Does 27 divide y?
True
Let c(n) = 185*n - 837. Is 8 a factor of c(21)?
True
Let o = -240 - -710. Suppose -o = -14*f + 4*f. Is 22 a factor of f?
False
Let c(y) = -8*y**3 - 11*y**2 - 12*y - 260. Does 26 divide c(-10)?
True
Is 21 a factor of (-51 - -59) + 8161/1?
True
Suppose 39*d = 35*d, 0 = -2*r + 5*d - 260. Let z = r - -229. Does 11 divide z?
True
Let w(i) = -14*i**2 - 2*i + 2. Let r be w(1). Let m be 23/5 + r/(-35). Suppose 0 = -2*d - 3*a + 80, -a + 200 = m*d + 3*a. Does 21 divide d?
False
Does 10 divide 161/46*(-878760)/(-63)?
True
Let l = -420 - -943. Does 58 divide 30/45*(-1 + l)?
True
Let z(o) = -2*o**3 - 2*o**2 - 3*o. Let g be z(-2). Let p = g - 9. Is 2/p + 6192/120 a multiple of 35?
False
Let n(s) = 2*s**3 - 8*s**2 - 26*s + 2. Let y be n(10). Suppose -3*v + 1575 = -y. Is v a multiple of 39?
False
Let g = 66 - 80. Let f = 9 - g. Suppose 5*j = 4*j + f. Is j a multiple of 2?
False
Let o(z) = -5*z**3 - 9*z**2 + 20*z + 62. Does 2 divide o(-5)?
True
Let n(f) = -3*f**3 + 58*f**2 - 44*f + 37. Let b be n(18). Suppose -2*y + i = -397, -5*y + b + 449 = -2*i. Is y a multiple of 12?
False
Let c(j) = -5*j**3 - 7*j**2 + 34*j + 167. Is 2 a factor of c(-6)?
False
Let a = -67 - -67. Suppose v + 0 - 6 = a. Suppose -v*n + 269 - 89 = 0. Does 19 divide n?
False
Suppose -80*u + 468043 = 25*u + 7408. Does 42 divide u?
False
Suppose 2*j + 224 = 34*j. Suppose -j + 303 = h. Is 19 a factor of h?
False
Let m = 48 + -26. Suppose m = -2*y - 28. Let g = 133 + y. Is g a multiple of 36?
True
Suppose 5*p + 18353 = -4*h + 98849, -3*p = -5*h - 48305. Is 11 a factor of p?
False
Let j be 21/(-7) - (4 + -1 + -13174). Is j/80 + (4/5)/2 a multiple of 3?
True
Let g be (1 + -3)*(44 - 10). Let m = -80 - g. Let k(p) = 2*p**2 + 21*p - 13. Does 23 divide k(m)?
True
Is (((-3368220)/(-50))/3)/(3/(30/4)) a multiple of 307?
False
Let t = 8490 - 4890. Is t a multiple of 120?
True
Is 1539/18*14*4 - (-5 + 9) a multiple of 13?
True
Is 25 a factor of (-4 + 0)*((-1833500)/40)/19?
True
Let j(y) = -16*y + 13. Suppose o - 8 + 1 = 0. Let u be j(o). Let p = 120 + u. Is 5 a factor of p?
False
Let g(f) be the second derivative of f**5/20 + 13*f**4/12 - 5*f**3/3 + 5*f**2/2 + 44*f. Is 15 a factor of g(-13)?
True
Suppose 0 = 99*i + 50*i - 4866489. Is 106 a factor of i?
False
Let s(x) = 11*x + 29. Let l(y) = 12*y + 30. Let a(m) = -4*l(m) + 5*s(m). Let d(f) = -12*f - 50. Let k be d(-5). Is a(k) a multiple of 29?
False
Let y = 130 + -127. Suppose -y*a - a = 536. Let l = -70 - a. Is 16 a factor of l?
True
Let n = -1236 - -12387. Is 21 a factor of n?
True
Suppose -948*m + 3780 = -945*m. Is 7 a factor of m?
True
Let q(u) = 7*u**2 + 20*u + 14. Let f(g) = -6*g**