9*v**2 + 11*v + 14. Let g(n) = n**2 + 12*n + 10. Let o be g(-10). Let c be r(o). Is 4 a factor of c/((-3 - 2)/(-50))?
True
Let n be (-50)/14 + 4 + 32/7. Suppose -n*f - d = d - 19, -5*f + d + 13 = 0. Does 13 divide -34*f/9*-9?
False
Let a = 13908 - 7122. Does 11 divide a?
False
Suppose 113*i + 12211 - 1461 = 118*i. Is 38 a factor of i?
False
Suppose 21 = 11*i - 1. Does 56 divide 2 + i*1675/5?
True
Suppose -5*z = 38183 - 41333. Does 6 divide z?
True
Let f(u) = 3*u**3 - 88*u**2 + 707*u + 20. Does 7 divide f(19)?
False
Let w = 8 + 277. Suppose -5*d + v + w = 6*v, v = 2*d - 111. Is 4 a factor of d?
True
Suppose -18562897 = -548*h + 4233355. Does 14 divide h?
False
Let s be 2 + (-1 - (0 + -1))/(-2). Suppose 5*f = -x - 264, 4*f + 4*x = s*x - 216. Let q = f + 111. Does 18 divide q?
False
Let k(b) = 3*b + 37. Let t be k(-5). Suppose 5*w = -v + 2, 0 = -3*v + 2*v - w + t. Is v even?
False
Let k(h) = 63*h**3 + h**2 - 13*h + 131. Is k(7) a multiple of 105?
False
Suppose -10529 - 20509 = -35*f + 60837. Does 35 divide f?
True
Suppose -7*t + 2150 = -8*t - m, -5*t + 5*m = 10760. Let s = t + 3115. Does 17 divide s?
False
Does 17 divide (70/(-105))/((-6)/23409)?
True
Let w(n) be the third derivative of 7*n**5/60 - n**4/2 + 11*n**3/6 - 6*n**2 + 3*n. Does 54 divide w(7)?
True
Suppose -l - 20 = -w, -5*w - 7 - 8 = 0. Is 6 a factor of ((-54)/3)/(2/l)?
False
Let g be 499*6/10 + (-9)/(-15). Suppose 5*i = 3*r + 385, i - g = -3*i + 4*r. Suppose 8*k = 4*k + i. Is 15 a factor of k?
False
Let v(w) = 153*w + 12540. Is 160 a factor of v(-60)?
True
Does 294 divide ((-1626669)/(-45) - (-3)/(-15))*12/42?
False
Let t(d) = -19*d**3 - 50*d**2 - 39*d - 300. Does 20 divide t(-8)?
True
Let x(n) = 395*n - 2128. Is x(65) a multiple of 20?
False
Let g be (20/4 + -3)/(2/4). Suppose q = 5*d + 15, d + 55 = 3*q - g*d. Let m = q - 4. Does 10 divide m?
False
Let p = -3406 + 4331. Is 2 a factor of p?
False
Suppose -w + 3433 = -4*a, 15344 - 1567 = 4*w - a. Is 9 a factor of w?
False
Is 5 a factor of 11342 + ((-32)/112 - ((-94)/(-14) + -2))?
False
Let b = 2531 + 2629. Is 81 a factor of b?
False
Let z be ((-12)/(-14))/((-96)/(-448)). Suppose z*l = -u + 2323, 5*l - 552 - 2354 = -2*u. Is l a multiple of 31?
False
Let c(i) = -2*i**2 - 17*i - 9. Let x be c(10). Let r = -328 - x. Does 3 divide r?
True
Suppose 0*k - k = 5*n + 25, k = -5. Let c be 153 - (-9 - (0 + n)). Suppose q + v = 24 + c, 2*q - 356 = 2*v. Is q a multiple of 22?
False
Let g = 29103 + -3525. Is 98 a factor of g?
True
Let z(s) = s**3 - 10*s**2 - 25*s - 3. Let d be z(12). Let m be d*((-6)/(-4))/((-9)/(-4)). Is 17 a factor of (25/m)/(4/(-136))?
True
Let k = -139 - -239. Suppose b + k = 556. Is b a multiple of 19?
True
Let n be 1/(-3) - 1/3*-46. Is 8 a factor of (40/n)/((-12)/(-900))?
True
Suppose 0 = -48*o + 43*o + 1035. Let s = o + 112. Is 29 a factor of s?
True
Let b(x) = -356*x - 803. Does 72 divide b(-12)?
False
Let m be 3*(-3 + (-35)/(-15)). Let u be (-6)/4*((-192)/(-9))/m. Suppose 7*y + u = 8*y. Does 8 divide y?
True
Let z(d) = -601*d**3 + d**2 - 19*d - 36. Is 83 a factor of z(-2)?
True
Let s(k) = k**3 - 6*k**2 + 10*k - 6. Let j be s(4). Suppose v = 2*w + 4*v - 15, -j*w - 4*v = -16. Is 3 - (-33)/w*6 a multiple of 4?
True
Suppose q + 5*i = 3554 - 467, i + 12411 = 4*q. Does 66 divide q?
True
Let u(m) = 51*m + 15340. Is 45 a factor of u(0)?
False
Is 86 a factor of 36582 + -5 + -2 + (-1 - (4 + -6))?
False
Let a = 3071 - -18114. Does 262 divide a?
False
Let l(p) = -93*p**3 + 6*p**2 + 10*p - 3. Let q be l(-2). Let z = q - 453. Does 39 divide z?
False
Let t = -695 + 55. Let m = t + 743. Is m a multiple of 13?
False
Suppose 5*r - 4*y - 20493 = -486, 4*y = 4*r - 16008. Is 43 a factor of r?
True
Suppose -4*u = -6*u + 4*v + 26, 0 = 2*u - 5*v - 24. Suppose u*c - 5568 = 15580. Is c a multiple of 11?
False
Suppose 48*m - 178751 = 94753. Does 74 divide m?
True
Let p(j) = -440*j + 454. Is p(-7) a multiple of 114?
True
Let i(d) = 116*d**2 - 31*d + 379. Is 39 a factor of i(9)?
False
Let u(n) = -146*n - 6562. Is 145 a factor of u(-182)?
True
Suppose -3*p + 4*q - 486 = 0, 5*p + 4*q = 3*q - 833. Let m = p - -336. Does 10 divide m?
True
Let a(i) = -i**3 - 27*i**2 - 2*i - 90. Let w be a(-26). Is (-1 - 20/(-14)) + (-49674)/w a multiple of 17?
False
Suppose -4*j + 20992 = 4*b, 57*b = 5*j + 56*b - 26216. Is j a multiple of 46?
True
Let d(s) = -662*s + 47. Is 4 a factor of d(-5)?
False
Let z(j) = -2*j - 17. Let k(a) be the first derivative of a**2/2 + 17*a + 9. Let d(s) = -2*k(s) - 3*z(s). Does 3 divide d(5)?
False
Suppose 0 = 103*o - 100*o - 12. Suppose -4*f - 2*y + 3*y = -3859, o*f - 3884 = -4*y. Suppose 2*m = 3*a - f, a = -2*m + 330 - 16. Does 16 divide a?
True
Is 18 a factor of (-228)/350 - 24/(-42) - (-455852)/25?
True
Suppose h + 4*a = -20, 10 = -5*h - 4*a - 42. Let g(x) = -x**3 - 5*x**2 + 5*x + 20. Let d be g(h). Is 43 a factor of d/(-2)*2/(-1)?
True
Suppose 1728 = 11*f - 9*f - 3*d, 3*f - 4*d - 2590 = 0. Does 9 divide f?
False
Let j be 141/27 - (-34)/(-153). Suppose -235 = -2*a + 3*y, y = 6*y - j. Is a a multiple of 7?
True
Let x = 3829 + -1717. Suppose 33*f - 36*f + x = 0. Is 44 a factor of f?
True
Let h be 3/(-1)*2/3. Let f = -188 - -194. Is h - (-376)/f - 5/(-15) a multiple of 18?
False
Let o = -300 - -302. Suppose o*i = -5*j + i + 1231, -5*j = 4*i - 1219. Does 9 divide j?
False
Suppose 0 = -5*r - 3*m + 29908, 30*m - 33*m = 7*r - 41864. Is 98 a factor of r?
True
Let k be ((-200)/(-15) - 2)*18. Let p = k + 90. Is p a multiple of 16?
False
Suppose -42*u = -38*u + 2*a - 11490, 14352 = 5*u - a. Does 33 divide u?
True
Let w be ((-19)/57)/((-1)/(-849)). Let v = 691 + w. Is v a multiple of 24?
True
Suppose 0 = -3*w - p + 1, 4*w + 2*p = -3*p + 5. Let d(v) = w*v + 2*v - 12*v + 6*v - 15 + 2*v**2. Is d(7) a multiple of 16?
False
Suppose 0 = 114*d - 5260 - 609428. Is d a multiple of 8?
True
Let y = 298 - -15489. Is y a multiple of 52?
False
Is (1284/(-8))/((-3)/(-15))*-2 a multiple of 87?
False
Let c = 11313 + -1276. Does 45 divide c?
False
Let c = 80642 - 55638. Does 19 divide c?
True
Let m(q) = 3*q**2 + 14*q + 3. Let l be m(-6). Suppose p = 4*w - l, -4*p + 5*w = p + 105. Does 19 divide 2*p/6*(-14 - -8)?
True
Let i be (-278)/8*4*(-4 - 2). Let g = i + -587. Does 47 divide g?
False
Let m(q) = -q**2 - 6*q + 16. Let w be m(-8). Suppose -4*n + 3*s + 1980 = 0, -n = -2*s - w*s - 495. Is 55 a factor of n?
True
Does 53 divide (-2 - (-114 - 0))/(530/44 - 12)?
False
Is 4017 + (13 - 8) + -2 + 5 a multiple of 23?
True
Let v = -421 + 425. Is 20 a factor of (-16 - -17)/(v/2880)?
True
Suppose v - 5*o + 48 = 0, 4*v - 5*o + 151 = -56. Let r = 780 + v. Is 22 a factor of r?
False
Suppose 3*m + 16 + 32 = 0. Let x = m + -31. Let v = 82 + x. Does 10 divide v?
False
Let f(q) = q**3 + 12*q**2 - 14*q - 19. Let z be f(-13). Let b be 5453/56 - z/(-16). Let t = 166 - b. Does 32 divide t?
False
Let f(n) = -300*n**3 - 3*n**2 + 60*n + 171. Does 14 divide f(-3)?
True
Let x(u) = -12*u + 5. Let b be x(2). Let q(o) = -2*o - 39. Let k be q(b). Does 17 divide 104 - (((-6)/k)/3 + 2)?
False
Suppose 0 = 2*v - 13*v + 253. Let d = v - 16. Suppose -2*f + 400 = -d*c + 3*c, -3*c + 225 = f. Does 15 divide f?
True
Let a = -1534 + 4730. Is 17 a factor of a?
True
Let f = 123 - 126. Does 77 divide (-1187)/f - 19/(285/10)?
False
Let q(y) = -y**3 + 40*y**2 - 5*y + 123. Let n(r) = 2*r**3 - 81*r**2 + 10*r - 249. Let j(g) = 6*n(g) + 11*q(g). Does 2 divide j(46)?
False
Let h(m) = 44*m**2 - 60*m + 48. Let g(b) = -23*b**2 + 30*b - 24. Let u(n) = 11*g(n) + 6*h(n). Is u(8) a multiple of 19?
False
Suppose -3*x = 5*x - 32. Suppose -5*y - 2*n + 503 = -x*y, -n = -5*y + 2460. Does 41 divide y?
False
Let m(h) = 3*h**2 - 13*h + 4. Suppose 5*f + 45 = -5*x, -2*x - 3*f - 3 = -6*f. Does 20 divide m(x)?
False
Let c(v) = -8*v**3 + 4*v - 2. Let a(t) = 9*t**3 - t**2 - 5*t + 3. Let s(g) = -3*a(g) - 4*c(g). Let d be s(1). Is 4/d + (-2)/(-6) - -110 a multiple of 15?
False
Let z(r) = -r**3 + r. Let y(g) = g**3 + 2*g**2 - 10*g + 1. Let b(d) = y(d) + 6*z(d). Let u = -395 + 392. Does 16 divide b(u)?
False
Suppose 133 - 37 = 8*g. Let k(u) = -u**3 + 15*u**2 - 15*u + 55. Does 33 divide k(g)?
False
Let x(b) = b**3 + 9*b**2 - 27*b - 18. Let s be x(-11). Suppose -42*c + s*c = -280. Is 14 a factor of c?
True
Let w = -230 - -90. Let a = -107 - w