Does 15 divide p?
True
Let u(o) be the third derivative of 7*o**5/20 - 3*o**4/8 + 3*o**3 - 219*o**2. Is 15 a factor of u(3)?
True
Let a(t) = -t**2 + 11*t - 21. Let p be a(5). Suppose -4*q = -5*m - p*q, -3*m = 2*q - 3. Is 34 a factor of 34/(-2 + 4)*m?
False
Let j = 17064 + -14256. Is j a multiple of 111?
False
Suppose q - h = 1541, -2*h - 6172 = -0*q - 4*q. Suppose 5*n - 2795 = q. Does 28 divide n?
True
Suppose -480 = -2*a - 4*g, 4*g + 154 + 92 = a. Let h be 2/(-10) + a/110. Is (-8 - -12)/(h/17) a multiple of 5?
False
Suppose -2*d + w + 56941 = 0, 13*d + 142240 = 18*d + 10*w. Does 37 divide d?
False
Suppose -28*c + 25 = -23*c. Suppose 58 + 1022 = c*f. Suppose -f = 4*t - 6*t. Does 9 divide t?
True
Let x be -12 - 539/(-44) - (-15)/4. Suppose -4*c + 2*u = -2288, -2*u + 2280 = x*c - 0*u. Is 14 a factor of c?
False
Suppose 0 = -5*p + f + 52161, p + 5*f = -2*p + 31291. Is p a multiple of 64?
True
Suppose 310*s - 21*s = 7274708. Does 29 divide s?
True
Let y(h) = -44*h + 54. Let w(z) = -47*z + 53. Let r(t) = 4*w(t) - 6*y(t). Is r(4) a multiple of 48?
True
Let o(l) = -l**3 - 15*l**2 - 21*l + 30. Let q be o(-11). Let d = 356 + q. Is 10 a factor of d?
False
Let o = 1365 + 507. Suppose -125*l + 129*l = o. Is 78 a factor of l?
True
Is ((-64)/(-672) + (-422)/21)*(-301 + 3) a multiple of 20?
True
Let z be 8/(-24)*(1609 + 2). Let q be (-12)/(-8) + -2 + (-1935)/6. Let b = q - z. Does 30 divide b?
False
Let a(p) = -92*p + 534. Is 13 a factor of a(-37)?
False
Suppose 51 = -s + 55. Let f be (-16)/(-8)*s/2. Suppose f*q + 4*q - 608 = 0. Is 19 a factor of q?
True
Let o be ((-43)/(-86))/(1/(-66)). Is (-6)/o - 14556/(-44) a multiple of 37?
False
Let o be 90/(-2)*120/30. Let v = o + 444. Does 6 divide v?
True
Does 13 divide 3071 - (29/11 - 156/(-429))?
True
Let b(q) = -14*q**2 - 13*q - 12. Let n(l) = -26*l**2 - 26*l - 23. Let y(a) = -5*b(a) + 2*n(a). Does 25 divide y(-4)?
True
Suppose 31*o - 255542 - 380598 = -47543. Is o a multiple of 45?
False
Let s(y) = 2*y**2 + 4*y + 3. Let r = -11 + 6. Let o be s(r). Let d = 36 - o. Is 3 a factor of d?
True
Let b = -2841 + 32551. Does 23 divide b?
False
Let h be (-38)/4*(-4 - (-2 - 0)). Let o = -37 + 80. Let j = o - h. Does 17 divide j?
False
Let v = 40 + -44. Let o be 1/4 + (-19)/v. Suppose 2*f = o*t + 225 + 39, -f + 132 = -5*t. Is 40 a factor of f?
False
Is 27 a factor of (3 - 4) + (-4)/(-4) - -54?
True
Let n(w) = 17*w - 92. Let o be n(7). Suppose 2*q = -q + o. Is q a multiple of 4?
False
Let z(t) = -t**2 + 25*t - 92. Let x = -10 - -29. Is 14 a factor of z(x)?
False
Is (626/4 - 1)*(-47 + 87) a multiple of 7?
False
Let s(y) = 2*y**2 + 3*y. Let n be s(-2). Suppose -4*k + 4 + 1 = -3*r, n*k + 15 = -r. Let g(m) = -m**3 - 4*m**2 + 9*m - 12. Does 24 divide g(r)?
True
Let x(w) = 10*w + 16. Let b(q) be the third derivative of q**5/60 - 5*q**4/6 - 31*q**3/6 + 17*q**2. Let i(a) = 2*b(a) + 5*x(a). Is 29 a factor of i(-10)?
False
Suppose 7*v - 8*v = -3. Suppose -2*h + 8 = -s - 2, -5*s - v*h + 15 = 0. Suppose 15*u - 16*u + 46 = s. Does 14 divide u?
False
Does 41 divide (-167)/((-8)/512*2)?
False
Suppose -5*x - 4210 = -5*i, -357 = -i + 4*x + 500. Is 33 a factor of i?
False
Suppose 31968 = -6578*n + 6614*n. Is 2 a factor of n?
True
Is 67 a factor of (-2006)/(-15) - 76/(-285)?
True
Let n be (1 + -4)*(-4)/4. Let j be (-4 + n + 1)/1. Suppose j = -6*s + s + 25. Is 2 a factor of s?
False
Suppose 2*u - 5750 = -b, -33*b + 28*b = -2*u + 5774. Suppose 0 = -7*k + u + 336. Is k a multiple of 11?
False
Suppose -15*i - 41983 = -7*i - 113583. Does 50 divide i?
True
Let y = 43 + -42. Let k be (20/5 - 2) + y*-2. Suppose k = 3*r - 3, 0*z - 3*z + 80 = -4*r. Is 7 a factor of z?
True
Let l = -4519 - -4852. Does 3 divide l?
True
Suppose -5*f + 25 = 0, 65*q = 63*q + 4*f + 3728. Is q a multiple of 42?
False
Let f be (0 + 3)*(-35)/(-21). Let k(y) = 7*y**3 - 3*y**2 - 14*y + 1. Is k(f) a multiple of 17?
True
Let a(k) = -2*k**2 + 31*k + 12. Let o be a(15). Is 13 a factor of o/(-15)*(4 - 29)?
False
Let f(o) = -o**2 - 18*o + 59. Let b be f(-21). Is 3 a factor of b/(-6) - (3360/(-18))/8?
True
Let s(q) = -9898*q + 2716. Is s(-3) a multiple of 13?
False
Let z be 0 - 16/(-1) - 15/5. Let y be 429/z - (-6)/(-2). Is 23 a factor of (-4)/10 + (3 - (-672)/y)?
False
Suppose 10 = 2*j - 3*y, -19*j - y - 3 = -20*j. Is (-2)/(-4) + j/((-2)/1149) a multiple of 69?
False
Let j = 68 - 46. Suppose -15*h - 382 + 427 = 0. Suppose h*a - j = 164. Is a a multiple of 4?
False
Let m(k) = -2*k**2 + k + 237. Is 3 a factor of m(-10)?
True
Let j(y) = 2*y**2 - 17*y + 27. Let g be j(7). Is 4 a factor of 36/10*220/g?
True
Suppose 2*b - 76 = -0*b + 4*n, 0 = -5*n - 15. Suppose -b*v + 2826 = 74. Is v a multiple of 12?
False
Let d be (-2)/((-10)/35) - -5685. Suppose d = 35*t - 2778. Is t a multiple of 16?
False
Suppose 2*f - 4384 = 5*p, 15*f + 2201 = 16*f - 4*p. Does 13 divide f?
False
Is 35946 + 12/4 + 3/(3/(-2)) a multiple of 258?
False
Let v(h) = -h**3 + 18*h**2 + 141*h + 29. Is 183 a factor of v(-22)?
True
Suppose -a + 9*i = 6*i - 19, 4*i + 2 = -2*a. Suppose -s - 26 = 9. Let m = a - s. Is m a multiple of 21?
True
Let j(w) = 38*w**2 - 98*w - 2055. Is j(-17) a multiple of 107?
True
Let r be (-15)/(35/6 + -6). Is 5 a factor of (-12 - 0)*(-75)/r?
True
Suppose 0 = t - 22 - 58. Let h be (-6)/4*t/(-30). Suppose 240 = h*r + 4*z, 3*r - 164 = 2*z + 3*z. Is r a multiple of 21?
False
Let x = 60344 - 28280. Does 59 divide x?
False
Let d = 7 - 5. Let w be (0 + 14)*33/(5082/44). Does 10 divide w + d + -2 + 43 + 3?
True
Suppose 4*j + 130292 = 4*q, 76*q - 3*j = 71*q + 162869. Is 124 a factor of q?
False
Suppose -a + 0*a = -13. Let f(t) = t**3 - 13*t**2 + 21*t - 28. Let c be f(a). Suppose 4*j + 5*m - 110 - c = 0, -465 = -5*j - 2*m. Is j a multiple of 5?
True
Let j = 33 + 8235. Does 52 divide j?
True
Suppose -91*b + 6 = -88*b. Let x be b/(-16) + (-175)/8. Let i = 48 - x. Does 14 divide i?
True
Let t(m) = 91*m**2 - 4*m + 3. Let l(b) = -2*b - 12. Let o be l(-6). Let z be (1/3)/(5/15 - o). Is t(z) a multiple of 30?
True
Let s be (9*14 - 5)*2. Suppose -s = -5*d + 638. Is d a multiple of 8?
True
Let v(w) = w**3 + 12*w**2 - 32*w - 49. Let n be v(-14). Let u(i) = 54*i - 239. Is u(n) a multiple of 31?
False
Does 66 divide (3 + -22 + -1)*1056/(-10)?
True
Suppose 5*z - 888 = -4*t, 4*t + 19*z = 18*z + 904. Does 32 divide -3 - (2 - (-12)/(-4))*t?
True
Is 3 a factor of -5 + (-3)/(-4 - (-186870)/46722)?
True
Let j be 6/4 - (189/(-14))/(-9). Suppose j = -6*y - y + 1722. Is 14 a factor of y?
False
Let h = 19212 - 11328. Is h a multiple of 219?
True
Let u be (2/(-18) - (-3794)/126)*-1. Is ((-39)/(-6))/((-1)/u) a multiple of 5?
True
Let y(p) = -p**3 + p**2 + p + 60. Let h be y(0). Let r be ((-17)/(-85))/(1/10). Suppose 0 = -2*a - r*a + h. Is 10 a factor of a?
False
Let u(n) = -1179*n**3 + n**2 - 2*n + 2. Let q be u(1). Let w = 1844 + q. Does 11 divide w?
False
Let i(r) = -2*r - 1. Let y(d) = -9*d + 135. Let o(z) = 3*i(z) + y(z). Is o(-14) a multiple of 19?
True
Suppose -87*d = -85*d - 4. Suppose 5*s = -d*v + 29, -2*s + 4*v + 0*v + 26 = 0. Suppose -310 = -s*p + 614. Does 44 divide p?
True
Let l = -253 - -231. Let h = 440 - l. Is h a multiple of 7?
True
Suppose 0*q + 1906 = x - 3*q, 5*q + 7589 = 4*x. Suppose -18*w = -x - 2393. Is w a multiple of 17?
True
Suppose -53*d + 24642 = -16*d. Does 9 divide d?
True
Suppose 0 = -9*m + 14*m + 2881 - 46901. Is m a multiple of 31?
True
Let b(g) = -1155*g**3 - 11*g**2 - 18*g - 6. Is 3 a factor of b(-1)?
False
Suppose 3 = 3*j - 12, 0 = 2*c - 2*j - 3704. Suppose -c = -18*z - 201. Is z a multiple of 3?
False
Let k(g) = g**3 - 11*g**2 + 10*g + 2. Let v be k(10). Suppose -3*u - 1776 = -3*a, u = v*a - 4*a + 1181. Suppose 0 = 4*f - 417 - a. Is f a multiple of 35?
False
Let x(p) = -967*p. Let m be x(-2). Suppose 638 = h - 2*u, -6*h + 3*h - 4*u + m = 0. Is 23 a factor of h?
False
Suppose 5*r - z - 117 = 0, -29 + 92 = 2*r + 5*z. Is 5 a factor of 2 + 19 - (-13)/(78/r)?
True
Let h = -399 - -406. Suppose h*c - 304 = 543. Does 13 divide c?
False
Suppose 2*o = 3*n - 104 + 10, -5*n - 3*o + 144 = 0. Let h = n - 15. Does 5 divide h?
True
Let o(w) = -4475*w**3 - 4*w**2 - 21*w - 20. Is 4 a factor of o(-1)?
True
Let l be 5/(5/2)*4938/12. Let k = -540 + l. Does 5 divide k?
False
Suppose -14 = i - 5. Let h(x) = x**2 + 8*x - 1.