e r*l - 9*p - 135 = -6*p, -5*l - p = -225. Is 5 a factor of l?
True
Let y(s) = s**3 + 89*s**2 + 223*s - 130. Is 15 a factor of y(-86)?
True
Suppose 35 = -6*g + g. Let l be (-3*(-4 - -2))/(g/(-602)). Suppose -4*f = u - 0*u - l, 5*f - 2*u = 632. Does 16 divide f?
True
Let i(y) = -y**2 - 4*y - 60. Let v be i(0). Let g be (v/(-9))/(2/12). Suppose 3*q - 5*q + g = 0. Is q a multiple of 10?
True
Let z = -22 - -27. Let b be 0*(4 + -8 + z). Suppose 3*x - x + 10 = b, -3*i + x = -149. Is 16 a factor of i?
True
Let z(k) = k - 5. Let v(d) = 8*d**2 + 1. Let c be v(1). Let p be z(c). Let f(y) = y**3 - 4*y**2 + 6*y + 4. Is f(p) a multiple of 7?
True
Let n = 44 - 32. Let d = n - -130. Suppose d = -2*r + 4*r. Is 16 a factor of r?
False
Let n(a) = -a - 16. Let h be n(-3). Let c = h + 21. Is ((-434)/(-2) - c/(-2)) + 3 a multiple of 14?
True
Let a be 6/4*(-172)/(-3). Let p = 16 + a. Let f = p - 93. Is 3 a factor of f?
True
Let s = -22625 - -26431. Is 4 a factor of s?
False
Let s = -808 - -822. Is (70/(-245) - (-1348)/s)*1 a multiple of 48?
True
Let i = -11 + 14. Suppose 4 = -i*g + 10, 4 = 2*d - g. Suppose d*h + 8*a = 4*a + 363, h + 5*a = 110. Is 30 a factor of h?
False
Let y(w) = -2*w - 3. Let o be y(-5). Let i(p) = p**3 - p + 236036*p**2 - 236037*p**2 - 16 - 4*p. Does 48 divide i(o)?
False
Suppose -3*w = -4*r + 525, 2*r = 79*w - 76*w + 273. Does 42 divide r?
True
Is 93 a factor of (286/(-66) - -6) + 86005/3?
False
Let j(b) = 4*b**2 + 9*b - 16. Let m be (40/75)/4 - 163/(-15). Is j(m) a multiple of 27?
True
Does 8 divide 11982 - (210/30)/(3 - (-3 + 7))?
False
Let t be -6*(-4 + 13 + -4 - 26/6). Suppose -2*d - 2*s + 4 = 0, -2*d + 4*s = 2*d - 40. Does 15 divide 34 - (-24)/(-9)*d/t?
False
Is 9 a factor of ((-1176)/7)/(22/(-33))?
True
Does 12 divide (5 + 4419/(-27))*(-4 + -116 - 3)?
False
Let z be (2 - 45/(-2))*2. Suppose -2*d + 43 + z = 0. Is 5 a factor of d?
False
Let q = 9 - 19. Let g = q + 15. Suppose g*l + 5*m = l + 44, -2*m - 8 = 0. Is 4 a factor of l?
True
Let l = 14052 - 6627. Is l a multiple of 33?
True
Suppose -4*d + 99 + 121 = 0. Let y = d - -522. Is y a multiple of 26?
False
Suppose -z + 4 = 1. Suppose h = -2*a + 142, -2*h = z*h + 2*a - 734. Is 7 a factor of h?
False
Suppose -2*h - 84 = -2*d, h - 2*d + 127 = -2*h. Let u = h - -45. Suppose 2 = -o, u*g - 7*g + 224 = 3*o. Does 23 divide g?
True
Let y = -72 + 76. Suppose 0 = y*i + 20. Is 6 a factor of -5*i/(25/44)?
False
Let i(v) = v**2 - 3*v - 16. Let s be i(-3). Let t(c) = 33*c**2 + 3*c + 7. Let j(y) = 33*y**2 + 2*y + 6. Let k(w) = 3*j(w) - 2*t(w). Is 33 a factor of k(s)?
False
Let l(b) = -4*b**3 - 7*b**2 - 17*b - 84. Is l(-8) a multiple of 59?
True
Suppose 2*h = -6, -6*s - 2*h - 342 = -10*s. Is 62 a factor of (1029/(-63))/((-2)/s)?
False
Suppose -4*s + 102208 + 6424 = -4*b, 0 = 2*s + 3*b - 54326. Does 28 divide s?
True
Is (3 - 15)/(-3) - -3906 a multiple of 17?
True
Let n(y) = -10*y + 145. Let d be n(14). Suppose 637 + 990 = 4*c + l, -d*l = 5*c - 2015. Is c a multiple of 24?
True
Suppose -2*m = u - 3658, -m - 14579 = -5*u + 3689. Does 25 divide u?
False
Suppose -2*h - 10541 = -3*b, -4*h - 11331 = -5*b + 6234. Suppose -k - 302 = 3*d - b, -4*d + 4280 = -2*k. Is d a multiple of 17?
True
Let o be (1 - 4 - -3)*5/15. Suppose o = -8*f + 1716 + 972. Suppose -4*n - 3*n = -f. Is 48 a factor of n?
True
Is 45 a factor of (-1715274)/(-1089) - 1/11?
True
Let y be 28/35 - 84/5. Let c be (-510)/y - 25/(-200). Is 32 a factor of 3076/c - 2/16?
True
Let q(d) = -10*d**3 - 27*d**2 + 13*d + 2. Is q(-9) a multiple of 4?
True
Let j be -1*14/1 - -7. Is 9 a factor of (-19)/(931/336)*j?
False
Let l(f) = 51*f**2 + 452*f + 19 - 897*f + 452*f. Is 9 a factor of l(-2)?
False
Let w(b) be the second derivative of b**5/10 - b**4 + b**3/6 - 2*b**2 - b - 23. Does 23 divide w(10)?
False
Let p(r) = -r**2 - 19*r + 56. Let t be (182/(-65))/(0 - 3/(-15)). Does 63 divide p(t)?
True
Let v be (-62502)/(-93) - (-76)/(-1178). Let t = 914 - v. Is t a multiple of 6?
False
Suppose 15*m = 12*m + 42. Does 42 divide 14234/m - -6*(-7)/(-147)?
False
Suppose 0 = 2*h + 4*n - 6, 25*h - 29*h - 2*n = -30. Suppose h*f + 302 = 2642. Is f a multiple of 25?
False
Let a(p) be the first derivative of -151*p**2/2 + 446*p - 99. Is a(-7) a multiple of 25?
False
Let w = -242 - -406. Suppose -w = u + 116. Is 9 a factor of (-2016)/u*1*1*5?
True
Is (-5584)/(-4) + (-3 - 9) a multiple of 3?
False
Suppose -163127 - 19513 - 88604 = -43*t. Is t a multiple of 166?
True
Let r be 4 + ((-4)/4 - -745). Suppose -b + r = 3*d, 1579 - 339 = 5*d + 5*b. Does 67 divide d?
False
Suppose -5*a - 13266 = 5*v - 68971, v = a + 11131. Is v a multiple of 24?
True
Suppose 9 = w + m - 564, w + 2*m = 570. Suppose w = 2*q + 2*h, 573 = -14*q + 16*q + 5*h. Is 13 a factor of q?
False
Let w be ((-204)/10)/((-18)/1140) + 5. Suppose -4*a + 6*s + w = 5*s, 3*s + 327 = a. Is a a multiple of 18?
True
Let f(b) = 348*b + 4739. Is 3 a factor of f(-6)?
False
Let u be (-6)/(-21) - 2320/(-14). Suppose w = -w. Suppose -4*c = x - 181, 0 = -x - w*x - c + u. Is 23 a factor of x?
True
Does 31 divide ((-1314)/4)/((-78)/(-6) + 10461/(-804))?
False
Suppose -2*n + 78 - 64 = 0. Let g(d) = -13*d + 3. Let y(c) = -6*c + 1. Let r(o) = n*y(o) - 3*g(o). Does 5 divide r(-14)?
True
Let a = -780 + 278. Is 42 a factor of (-4 - -5) + 4/(-8)*a?
True
Let x(t) = -2*t**2 - 48*t + 14. Let o be (-2)/2 - (-2 + 3)*-3. Suppose -j - o*r = -4*r + 28, r - 113 = 5*j. Is 11 a factor of x(j)?
False
Let r(y) = 13*y + y**2 + 27 + 50*y**3 - 14 - 53*y**3. Is r(-6) a multiple of 8?
False
Suppose 100*c = 95*c + 2*x + 25604, 5*c - 3*x = 25606. Does 10 divide c?
True
Let v(i) = 6*i**2 + 568*i - 245. Is 24 a factor of v(-100)?
False
Suppose -4 = -2*x - 20. Let g be -1*(-198)/x*-28. Suppose -12*r + r + g = 0. Is 5 a factor of r?
False
Let y = 4060 + -2495. Is y a multiple of 16?
False
Let r(a) = -21*a + 8. Let s be r(-3). Suppose j - 85 = -s. Suppose j*o - 6*o = 600. Does 15 divide o?
True
Let p(g) = -3*g + 5. Let h(x) = -4*x + 7. Let u(r) = 5*h(r) - 7*p(r). Let n(b) = -24*b + 25. Let v(o) = -n(o) - u(o). Is v(7) a multiple of 12?
False
Let z(n) = n + 6*n + 3*n**2 + 4*n - 3*n - 14*n. Is z(-2) a multiple of 14?
False
Let x be ((-582)/4)/(9*17/(-204)). Let f be (36/(-5))/((-8)/220). Suppose 4*j - x = f. Is 7 a factor of j?
True
Let s(w) = 2 - 5 - 45*w - 55*w + 144*w + 67*w**2 - 48*w. Suppose n - 4 = -2*r - 6, -3*n - 4 = 4*r. Is 39 a factor of s(r)?
False
Suppose 41*y - 152012 = 223121 + 182221. Does 14 divide y?
True
Let f(d) be the second derivative of d**5/10 - 3*d**4/4 + d**3/6 - 2*d**2 - 38*d. Is f(7) a multiple of 62?
True
Suppose -60*y = -79*y + 1577. Let o be (108/(-8))/((-2)/(-4)). Let k = y - o. Does 19 divide k?
False
Let v be (-4 + (11 - -2) - 0) + -8. Let a(g) = -261*g**2 + g - 3. Let n(k) = -174*k**2 + k - 2. Let m(f) = -5*a(f) + 7*n(f). Is m(v) a multiple of 10?
True
Suppose 22*p - 671782 = 606242. Is p a multiple of 309?
True
Does 10 divide (-141)/((-2)/(-36)*3*142/(-213))?
False
Let x(h) = 3*h**2 - 6*h + 20. Does 13 divide x(10)?
True
Let f be (3*12/9)/(2 - 1). Let a be f/((-28)/(-12) - 1). Is 13 a factor of -4 + 58 - 6/a?
True
Let n = 2042 + -734. Suppose n = 8*l - 2212. Does 20 divide l?
True
Suppose 9*s + 3*s = 17172. Let m = 2518 - s. Does 29 divide m?
False
Suppose -126*m - 15 = -121*m. Let n(p) = 57*p**2 - 26*p - 3. Is 53 a factor of n(m)?
False
Is (2/(-4))/((-6)/40)*(-293 + 2447) a multiple of 20?
True
Let o(f) = -f**3 - 17*f**2 - 16*f - 8. Let m be o(-16). Let h be 87/7 - m/14. Does 9 divide 5 + -2 + 6 + h?
False
Let v(w) = -154*w**2 + w + 12. Let k be v(-2). Is 9 a factor of k*(-6 - (-115)/20)*6?
True
Does 257 divide (38034 - 1) + 374/(-34) + 14/1?
True
Suppose 34 = 5*h - 26. Let j(q) = -8*q - 21. Let p be j(-3). Does 41 divide 116 - (8/h - 11/p)?
False
Let i(d) = 2*d + 26. Let y be i(-12). Let w(h) = -13*h**2 + 48*h**3 + 6 + y + 3*h - 49*h**3. Does 18 divide w(-14)?
True
Let u be 35130/(-48) + (-1)/8. Let n = 1062 + u. Does 55 divide n?
True
Let g = 342 - 337. Suppose g*v + 16065 = 40*v. Is v a multiple of 3?
True
Let z = 5932 - 3561. Does 4 divide z?
False
Let a = 6328 + -1148. Is 14 a factor of a?
True
Let a be (-3)/(-1) + (-1 - 2). Suppose -2*w + 3*i + 8 + 6 = a, -3*i + 12 = 0. Is w a multiple of 3?
False
Suppose 3*c - 580 = -2*z, 2*z - 7