(r) = 2*d(r) + m(r). Let y be c(-10). Is 2 a factor of p(y)?
False
Let g(a) = -5*a**2 - 14*a - 10. Let r be g(-9). Let h = -223 - r. Is 9 a factor of h?
False
Let f(l) = -4*l - 18. Let n be (-13)/(-65) - (-62)/(-10). Let j be f(n). Suppose -j*t = -7*t + 42. Is 21 a factor of t?
True
Let s(n) = 57*n - 2462. Is s(61) a multiple of 35?
True
Suppose 3*n = -5*a + 52509, 5*n + 21047 = 2*a - 0*n. Does 8 divide a?
False
Suppose 0 = -c - 2*p - 50, 2*c + 115 = -0*p - p. Let i = 1383 - 1383. Is 50 a factor of (i + c)/((-7)/((-350)/(-15)))?
True
Suppose 12*s - 14*s = 10*q - 14224, 0 = -5*q - 2*s + 7114. Is 79 a factor of q?
True
Let q(p) = p + 1. Let h(s) = -4*s - 268. Let y(m) = -h(m) + 3*q(m). Is y(0) a multiple of 20?
False
Let w = -5967 - -14524. Is 40 a factor of w?
False
Let q = 22439 + -14582. Is 74 a factor of q?
False
Let v = 15277 + -11036. Does 83 divide v?
False
Let u = -668 + 1178. Let p = u + 718. Is p a multiple of 12?
False
Let n be 1/((-2)/(-12)) + 2*-2. Let l(j) = 4 - j - 18*j**2 - 30 + 19*j**n. Is l(14) a multiple of 13?
True
Is 25 a factor of (1200/(-3))/((-32)/208)?
True
Let i be (28/8)/(-7) + (-210)/(-4). Let n = 14 + -12. Suppose -n = -2*m + i. Is 9 a factor of m?
True
Let j(m) = 31*m**2 + 41*m + 150. Does 170 divide j(22)?
False
Suppose 337*o - 1997 = 336*o + g, -4*o = 5*g - 7970. Is 17 a factor of o?
False
Let z(w) be the second derivative of -w**3/2 - 3*w**2 + w + 2. Is 8 a factor of z(-10)?
True
Suppose -197507 = 115*l - 389688 - 395354. Is l a multiple of 99?
False
Let a(l) = 62*l - 26. Let j be a(6). Suppose -289 = 4*o - 2*n - 981, 0 = 2*o - 2*n - j. Does 19 divide o?
False
Let r = -96080 - -135460. Is 10 a factor of r?
True
Let n be (-14)/(-8) + (-5)/(-5 + -15). Suppose -o - 184 = -n*b, 4*o + 0*b = 2*b - 718. Let h = o - -310. Is 22 a factor of h?
True
Let n = -693 + 380. Let p = n - -495. Is p a multiple of 13?
True
Let h(d) = -d**2 - 16*d + 40. Suppose 7*g + 17 = 45. Suppose 7*p - 2*s = 2*p - 86, 5*p - g*s + 82 = 0. Does 2 divide h(p)?
True
Let h be 2 + 24/(-14) - (-364)/98. Suppose -h*y + 0*f = -4*f + 48, 2*y = -f - 15. Is 13 a factor of y/(-6)*104/6?
True
Suppose 3*i - 21 = 3*w, -2*i - 3*w - 17 = -41. Suppose 0 = x - 13 + i. Suppose -x*c + 9*c - 240 = 0. Is 24 a factor of c?
True
Let t = 4925 - -2543. Does 8 divide t?
False
Suppose -3*t + 4 = -t. Let f be (-75)/(-15) + (-1)/(t/(-2)). Suppose f*a = -6 + 84. Is 6 a factor of a?
False
Let t(v) = -v**3 - v**2 - 9. Let k = 35 - 27. Suppose 4*s + 4*w + k = 0, s - 2*w = -4 - 4. Is 17 a factor of t(s)?
False
Suppose -168690 = -374*a + 252*a + 94464. Is a a multiple of 3?
True
Let o(q) = 8*q**2 + 18*q - 17. Suppose 9*c + 109 - 37 = 0. Is 13 a factor of o(c)?
True
Let h be ((-6)/(-3))/((-6)/(-9)). Let g(p) = 27*p**2 + 12*p - 3. Let n(y) = 15*y**2 + 6*y - 1. Let x(u) = 3*g(u) - 5*n(u). Is 9 a factor of x(h)?
False
Suppose 118521 = 8*s + 31*s. Is s even?
False
Suppose -577*q = -603*q + 68406. Is 6 a factor of q?
False
Let i(d) = -10*d - 52. Let n be i(-8). Is (-66)/(-55)*(2 + n) a multiple of 36?
True
Let b(n) = -n**3 + n**2 - 1. Let a(v) = 4*v**3 + 31*v - 4. Let f(i) = -a(i) - 5*b(i). Let g = -5364 + 5373. Does 9 divide f(g)?
True
Suppose -9*c - 7660 + 50050 = -41931. Does 22 divide c?
False
Let v be (-1120)/(-30) - (-16)/(-12). Suppose -v*y + 10801 = -4463. Is y a multiple of 53?
True
Let j(u) = 52*u - 2519. Is j(53) a multiple of 24?
False
Suppose -8*w + 11*w - 963 = 0. Suppose -5*a + w = -59. Suppose -3*m + 125 = 5*j, -5*j + 2*m - a = -8*j. Is 11 a factor of j?
True
Suppose 4*c + 2*l + l = 413, 0 = -3*l - 3. Suppose -208 = 6*f - 1168. Let s = f - c. Does 8 divide s?
True
Suppose 18 = 7*r - 4*r. Let m be (-1*4/r)/(4/(-30)). Suppose m*v = 2*v + 126. Is 14 a factor of v?
True
Suppose 345*v - 350*v = 5, -3*v = -6*a + 165483. Is 35 a factor of a?
True
Suppose -11*j = -3190 - 2486. Let y = j + 240. Is 72 a factor of y?
False
Let u be 3 - (14/2 + -4 + 3). Let g be (u - -4) + (36 - 1). Let v = 63 - g. Is 9 a factor of v?
True
Suppose -y = -3*b - 528, -b = y + 4*b - 520. Let j = y - 296. Is j a multiple of 18?
False
Let k = -3847 - -4447. Does 40 divide k?
True
Let p(i) = 212*i + 464. Is 76 a factor of p(10)?
True
Let x = 1 + 3. Suppose 2*m - 3*m + 20 = 3*n, 5*m - 3*n - 136 = 0. Suppose x*w = -l + 1, 0*l + 4*l + 5*w - m = 0. Does 3 divide l?
True
Is 309/(20/(-805)*36/(-48)) a multiple of 161?
True
Let i(c) = -c**3 - 3*c**2 + 6*c + 9. Let y = 10 - 14. Let t be i(y). Does 11 divide (-1)/t + -2 + 28?
False
Let g(p) = 141*p**2 - 102*p + 191. Does 29 divide g(2)?
True
Does 5 divide ((-3043)/5)/(-1) + -2*11/(-55)?
False
Let b be 0/(12/4) - 0. Let a(k) = k**2 + 23*k - 91. Let f be a(-31). Suppose 5*n = r + 271, b = -3*n - 3*r - 2*r + f. Is n a multiple of 18?
True
Let f = -6725 + 7113. Is f a multiple of 6?
False
Suppose -2*p = 6*h - 7226 - 11344, h - 1 = 0. Is p a multiple of 174?
False
Suppose 2419095 + 691305 = 77*c - 5*c. Is c a multiple of 50?
True
Let j = 2061 - -4609. Is j a multiple of 46?
True
Let h(p) = -13*p - 154. Let m(r) = -12*r - 153. Let x(u) = -3*h(u) + 2*m(u). Is x(6) a multiple of 82?
True
Suppose 19*z - 12*z + 131964 = 10*z. Does 14 divide z?
True
Let z(q) be the third derivative of 13*q**5/60 + q**4/2 + 6*q**2 - 6*q. Is 11 a factor of z(-6)?
True
Let j(r) = -3*r**2 - 31*r - 57. Let n be j(-8). Is (-8 - 18117/9)*n a multiple of 47?
True
Let t(f) = -875*f - 295. Does 42 divide t(-28)?
False
Let h be (0 - (-3 - 2)) + 3/(-1). Let t(w) = -3*w. Let l be t(5). Is (-28)/6*l*h a multiple of 14?
True
Let j(o) = 5*o. Let i(n) = 473*n + 8. Let l(x) = -2*i(x) + 6*j(x). Is 20 a factor of l(-1)?
True
Let m = -95 - -96. Is 5 + (12 - 4) - (-1)/m a multiple of 7?
True
Let x = 80 + -76. Is 10 a factor of x/(6/(-306)*-3)?
False
Let d(p) = -10*p + 220. Let u be d(14). Let r = 2 + -5. Does 24 divide r + 2 - u*-1?
False
Let m = -3473 + 6231. Is 10 a factor of m?
False
Suppose 17*a - 152 = 19*a. Let h = -94 - a. Does 12 divide 18/h + 12*6?
False
Suppose -9*s - 751 + 10147 = 0. Does 12 divide s?
True
Suppose 189*f - 390747 = 466767 + 631806. Is f a multiple of 131?
False
Let l(s) be the second derivative of 11*s**2 + s**3 + s**3 - 12*s**2 + 6*s - 3*s**3. Is l(-7) a multiple of 10?
True
Let o(n) = 5*n**2 - 3*n - 3. Let i(x) = x. Let w(a) = a + 3. Let c(p) = 6*i(p) - 3*w(p). Let d be c(4). Does 11 divide o(d)?
True
Let d(p) = 20*p**2 - 34*p + 24. Let f be d(20). Suppose 23*o = 50*o - f. Does 68 divide o?
True
Does 155 divide (1 + (-1424)/(-6))*(-465)/(-5)?
True
Let s = -13056 + 29696. Is 26 a factor of s?
True
Suppose 40*l - 36*l - 16 = 0. Let h(t) = -t**2 - 7*t + 4. Let p be h(-7). Suppose -p*k + 44 = 8*m - 4*m, -l = -m. Is 7 a factor of k?
True
Is 28 a factor of (-12)/(-4) + -1*19725/(-5)?
True
Suppose 6 - 72 = -2*m. Suppose -m - 10495 = -28*z. Is z a multiple of 12?
False
Let x = 1368 + 640. Let i = -1021 + x. Does 30 divide i?
False
Suppose 5*c - 4*l - 61868 = 0, 0 = 3*c + 2*l - 0*l - 37112. Is c a multiple of 12?
True
Is 5 a factor of (-3)/(-17) + 2911020/1785?
False
Let o(w) = -387*w - 97. Is o(-50) a multiple of 30?
False
Let f(x) = 334*x + 7261. Is f(-11) a multiple of 26?
False
Let j(m) = -51*m**3 - 5*m + 2. Let w be j(-3). Suppose -4*b = -2*b - w. Is 41 a factor of b?
True
Suppose 0 = -b - 2*i + 3443 + 4981, 0 = -4*b - i + 33696. Is 36 a factor of b?
True
Let v(t) = t**3 + 22*t**2 - 47*t + 52. Let k be v(-24). Is -6*904/(-84) - (-12)/k even?
False
Suppose 2*o + 3*p - 36936 = 0, p + 14527 = -3*o + 69931. Is 26 a factor of o?
False
Suppose 4*n = -4*d + 16, -8 = 2*d - 4*d - 3*n. Suppose -4*c + 5*l = -6241, d*c - 5*l + 7835 = 9*c. Does 27 divide c?
False
Let k = 63 - 17. Is (k/(-6))/((-22)/1452) a multiple of 46?
True
Suppose -7*r + 3207 + 2281 = 0. Does 16 divide r?
True
Suppose -13*g + 17*g = 0. Suppose g = 4*v + 4. Is 16 a factor of (-3 + -79)*v - 2?
True
Let k be ((-11)/((-55)/(-50)))/(-2). Suppose 2*w - 5*v = 21, 0*v = -5*w - k*v. Suppose 7 = -w*l + 127. Is 8 a factor of l?
True
Let o(q) be the third derivative of 67*q**6/40 - q**5/10 - q**4/8 + q**3 + 9*q**2 + 1. Is o(2) a multiple of 16?
True
Suppose -2*c - 420 = -44*c. Suppose -3*k + 2 = -10. Is ((-6)/(-10))/(k/c)*42 a multiple of 9?
True
Suppose -14*g + 17832 - 4532 = 0. Is g a multiple of 23?
False
Let c(r) = r**3 - 2*r**2 + r - 1