(-1). Is 12 a factor of f(a)?
True
Let m(n) = 14*n - 3. Let p be m(-3). Let t = p - -42. Let g(s) = -2*s**3 + s + 3. Is g(t) a multiple of 11?
False
Suppose -240*o - 751168 = -628*o. Is o a multiple of 67?
False
Suppose 0 = 4*g - 5 - 3. Let n be (g + 0)*((-75)/6)/(-5). Suppose k = n + 65. Is k a multiple of 11?
False
Suppose 3*k = -2*l + 41580, -83160 = -4*l + 24*k - 19*k. Is l a multiple of 14?
True
Let c(b) = -13*b + 681. Let r be c(52). Let u(h) = h**3 + 2*h**2 - 3*h - 3. Let y be u(-2). Suppose -110 = -y*w + r*m, 66 = 3*w - 2*m - 41. Does 7 divide w?
True
Let z = -123 + 148. Let b = 70 + z. Does 9 divide b?
False
Let d(i) = 49*i - 12. Suppose 20 = -7*v + 76. Does 76 divide d(v)?
True
Let s = 38376 - 13448. Is 143 a factor of s?
False
Suppose 0 = 3*h - 2*l - 44, 2*h + 2*l - l = 34. Suppose 0 = -15*d - h*d + 6045. Does 4 divide d?
False
Suppose 0 = 9*i + 1 - 19. Suppose 3*p = i*q + 1217, -3*p + 2*p + 402 = 3*q. Is 11 a factor of p?
False
Suppose -2*h - 3*o = 98, -5*h + 2*o - 245 = -3*o. Let b be (-1)/(1 + (-100)/(-915)*-9). Let g = h - b. Is 2 a factor of g?
True
Suppose -91*a = -95*a + 4*o - 24, 2*a + 2*o = 12. Let d(h) = 2*h**2 + 128 - h - 2*h**2 + 2*h**2. Is d(a) a multiple of 16?
True
Suppose -2 = 4*w - 14. Suppose 5*h = -2*d + 762 - 302, w*d = -2*h + 668. Let b = -108 + d. Is b a multiple of 11?
False
Let r(n) = -3*n**2 + n + 85. Let y be r(0). Let m = 116 - y. Is 4 a factor of m?
False
Suppose -w + 392 = 141*v - 137*v, -2*w + 5*v + 849 = 0. Is w a multiple of 2?
True
Let u be -137 + (-56)/(-8) - 1/1. Let c = u + 145. Is 7 a factor of c?
True
Suppose -k + 0*k + 66 = 0. Suppose -4*g = 4*g - 992. Let z = g - k. Is z a multiple of 21?
False
Let q = -276 + 281. Suppose 8*d + 8 = 7*d + q*w, 4*d - 40 = -4*w. Is 7 a factor of d?
True
Suppose -6883 = -2*v + 9581. Suppose 11*h = -3*h + v. Is h a multiple of 14?
True
Suppose -3*a - 3*i + 184 = 13, 0 = 4*a - i - 248. Let x = -21 + a. Let w = 79 - x. Does 39 divide w?
True
Is (0 - -29)/((-12)/(-8700)) a multiple of 29?
True
Let a be 36 + (0 - 0 - 3). Suppose 4*q - 6*o = -3*o + a, 5*o = 4*q - 39. Let d(y) = y**3 - 4*y**2 - 6. Is 14 a factor of d(q)?
False
Let p = 645 - -1875. Is p a multiple of 14?
True
Let l be 22*((-10)/(-4) + -2). Let p(o) = 8 + 2 + l - 8*o + 11. Is p(-15) a multiple of 24?
False
Let w(x) = -6*x + 86. Let n be w(14). Is 542 - ((5 - n) + 2) a multiple of 21?
False
Let y(j) = 7*j**3 + 10*j**2 - 31*j - 20. Let p(k) = 13*k**3 + 21*k**2 - 61*k - 40. Let i(c) = 6*p(c) - 11*y(c). Is 29 a factor of i(-15)?
True
Suppose -17*s + 296 = -16*s. Suppose -3*c + 76 + s = 0. Is (1/8)/(1/6)*c a multiple of 37?
False
Suppose 0 = -89*g + 66781 + 260027. Is 27 a factor of g?
True
Let p(s) = -2*s + 19. Let c be p(-12). Let w = -45 + c. Let x(n) = -20*n - 3. Does 3 divide x(w)?
False
Is 301522/(-91)*(-5)/(5/7) a multiple of 45?
False
Suppose 36634 = 3*o - 2*w, 0 = -15*o + 5*w + 87734 + 95411. Is o a multiple of 16?
True
Suppose 28*u - 27*u = -3*i + 6009, 2*u = -3*i + 12021. Is u a multiple of 40?
False
Let q = 40658 + -24516. Is 6 a factor of q?
False
Let a(f) = -f**3 - 9*f**2 - 2*f - 3. Let c(q) = q**2 + 21*q + 24. Let k be c(-19). Is 76 a factor of a(k)?
False
Let p = -2833 + 3615. Is p a multiple of 61?
False
Suppose -4*u + 0 = -m - 19, -4*u + 24 = 4*m. Suppose -3*z - 2*z = u*n - 5, 5*z - 2*n - 12 = 0. Suppose -z*b + 95 + 81 = 0. Is b a multiple of 11?
True
Let d(a) = 4*a**3 + 22*a - 26. Is 9 a factor of d(9)?
False
Let n be 73/2 + 4/8. Let v be 5/20 - (-106)/(-8). Let g = v + n. Is g a multiple of 6?
True
Let i = 4332 + -3453. Is 39 a factor of i?
False
Let s = 4939 - -3018. Is s a multiple of 73?
True
Let d = -541 + 957. Suppose 61*t - d = 53*t. Is t a multiple of 2?
True
Let j(b) be the third derivative of b**5/60 + b**4/4 + 27*b**3/2 + 57*b**2. Does 14 divide j(0)?
False
Let r(j) be the second derivative of j**5/20 - 7*j**4/4 - 23*j**3/6 + 31*j**2 + 61*j - 1. Is 4 a factor of r(22)?
True
Suppose -2866*t = -2793*t - 896732. Is 83 a factor of t?
True
Suppose 4*o = -2*p + 73670, 288*p - 292*p = -5*o + 92055. Is 29 a factor of o?
True
Let t be ((-7)/2)/(14/28). Let r be (-1792)/(-98) - (-2)/t. Suppose o - 2*o = -4*v - r, 0 = -o - 2*v. Is o a multiple of 3?
True
Suppose 13 = 26*i - 91. Suppose i*r - 156 = 108. Does 33 divide r?
True
Let n(q) be the third derivative of 13*q**6/120 - q**4/12 + q**3/2 - 21*q**2. Let f be n(3). Suppose 4*x - 16 = f. Does 24 divide x?
False
Let b be (8 - 2)*44/(-6). Let p be (-1)/(10/(-1415)) + (-3)/(-2). Let s = b + p. Is 11 a factor of s?
True
Let l = -2 + 2. Let i(z) = 43*z - 64. Let t(j) = 28*j - 66. Let h(m) = 4*i(m) - 6*t(m). Is 37 a factor of h(l)?
False
Let x(k) = -11*k - 146. Let w be x(16). Let j = -74 - w. Does 14 divide j?
False
Let x be 3/6*(10 - 0/(-3)). Suppose 2*v - 3 + x = 3*i, 29 = i + 5*v. Suppose -2*b + i*c - 161 = -3*b, 3*b + 2*c = 483. Does 24 divide b?
False
Suppose -50*g - 354 = -56*g. Suppose 4*h = j - 60 + 25, -2*h + g = j. Does 17 divide j?
True
Let p = -995 - -1001. Let u(c) = 5*c + 13*c + 3*c + 6. Is 33 a factor of u(p)?
True
Is 6 a factor of (90/(-35))/((-9)/7497)?
True
Suppose 40*x - 25 = 35*x. Suppose -x*k = -7*k + 60. Does 7 divide k?
False
Let u(w) = 254*w - 271. Let j = -846 + 851. Is 27 a factor of u(j)?
True
Suppose 0 = -3*d - 5*j + 2, d - 17 = 3*j - 7. Suppose 0 = 3*f + 4*u - 61, -d*f + 42 = 2*u - 36. Suppose 0 = f*c - 17*c - 142. Is 7 a factor of c?
False
Let k = -7761 - -12453. Is 68 a factor of k?
True
Let g(s) = s**3 + 6*s**2 - 7*s - 3. Let x be g(-7). Let w be (-2 + 2 - 3 - x)/(-1). Suppose -5*m - 540 = -5*v, 4*m = -w*v - 2*v + 228. Is 8 a factor of v?
False
Let w(j) be the third derivative of -j**6/120 + 7*j**5/60 + j**4/2 + j**3 - 60*j**2. Does 45 divide w(7)?
True
Let x(r) = 102*r - 71. Let a be x(1). Is 19 a factor of (-938 - a)*8/(-6)?
True
Let n be -1*(-3 + 1) - (1 - 65). Let k = -65 + n. Is 8 a factor of k - ((-22)/8)/(7/140)?
True
Suppose 679 = l - 707. Is 33 a factor of l?
True
Suppose -l = 2*l, 23 = -t - 2*l. Let w = 72 + t. Suppose 2*o - 13 - w = 0. Is o a multiple of 5?
False
Let y(v) = v - 4. Suppose -2*n + 3*u + 2 = -14, u = -n + 13. Let d be y(n). Let g(f) = -f**2 + 9*f + 3. Is g(d) a multiple of 17?
True
Suppose -5*f - 20111 = -94*z + 92*z + 13067, 0 = -f. Is z a multiple of 100?
False
Let h = 3 + 2. Suppose 5*d = 73 - 48, 4*i + 3*d - 67 = 0. Suppose i = h*t - 82. Does 6 divide t?
False
Let n(r) be the first derivative of 91*r**5/10 - r**4/12 + r**2/2 + 16*r - 4. Let f(i) be the first derivative of n(i). Is f(1) a multiple of 13?
True
Let p(y) = -15*y + 31. Let d(w) = 15*w - 29. Let v(c) = 4*d(c) + 3*p(c). Suppose -q - 4*l - 1 = 0, -3*q + 2*l + 11 = 7*l. Does 9 divide v(q)?
False
Let v(s) = s**3 - 16*s**2 + 18*s + 3. Let c(l) = 2*l + 15. Let m = -17 + 17. Let r be c(m). Does 4 divide v(r)?
True
Let b(n) = 112*n**3 + 3*n**2 + 21*n - 24. Is 77 a factor of b(3)?
False
Suppose 72 - 99 = -9*l. Suppose -l*t + 707 = 5*o, -5*t + 3*t - 2*o + 478 = 0. Does 32 divide t?
False
Let l be 3*10/(-12)*-24. Is 15 a factor of (l/9)/(10/855)?
True
Suppose h = -3, 0 = k - 6*k - 4*h - 12. Suppose -3*q + x - 7 = k, 0 = -x + 2*x + 2. Is -50*(-4)/(-8)*q a multiple of 15?
True
Let s(b) = -210*b - 835. Let j be s(-4). Let g(a) = -a - 6. Let d be g(-6). Suppose d = -l - 5*u + u + 11, -3*l + j = -2*u. Does 2 divide l?
False
Suppose 116*b + 3513 = 117*b + 5*y, 0 = -5*b - 5*y + 17585. Does 5 divide b?
False
Does 26 divide (-31833)/(-1) - (7 - (7 - 9))?
True
Let r(n) = n**2 - 13*n + 43. Let y be 23/4 - 42/56. Suppose 0 = y*p + 14 - 69. Does 3 divide r(p)?
True
Let v be (-6)/((-580)/(-295) - 2). Let a = v + -87. Is 9 a factor of a/4*(-5 - 217/(-35))?
True
Suppose -2*m + 25 = 17, -3*m - 298 = 5*f. Let q = f + 296. Does 18 divide q?
True
Let p be 4/(-14) + 23/7. Let v be (1 + 0)/(-1) + (289 - 120). Suppose -5*x + v + 105 = p*f, x - 65 = 2*f. Is 7 a factor of x?
False
Is -8 - ((-8 - -10) + -9334) a multiple of 13?
False
Suppose 5 = -3*d - w, 9 = d + w + 14. Suppose -5*v = 6*o - o - 1720, d = o - 2*v - 356. Is 12 a factor of o?
True
Suppose 0 = -69*o + 12779 + 11026. Does 69 divide o?
True
Let b = -18 - -186. Suppose b = 7*o - o. Let n = o - -20. Is 7 a factor of n?
False
Suppose 3*x + 29136 = 4*o, 2*o - 12052 = -2*x + 2530. Is 31 a factor of o?