 = 4*k**3 + 3*k**2 - 32*k + 629. Is 34 a factor of p(11)?
False
Let s be (-21)/(-12) - 30/(-24). Suppose -s*i + 10 = 5*w + i, -2*w - 3*i + 4 = 0. Let n(z) = -z**3 + 2*z**2 + 3*z - 3. Is n(w) a multiple of 3?
True
Let y = 1388 + -639. Does 2 divide y?
False
Suppose 0 = 16*p - 21*p + 25. Suppose 3*o = 5*t + 2703, -t + 78 = -p*o + 4561. Does 29 divide o?
False
Let f = 650 + -36. Suppose 6*t + 12 = 12*t. Suppose -f = -5*h - t*q, h = 2*q + 2*q + 136. Is 29 a factor of h?
False
Suppose 0 = 12*g - 56839 - 13664 - 46881. Does 55 divide g?
False
Let v(k) = 12*k + 66. Let s be v(-3). Suppose -1710 = 25*l - s*l. Does 18 divide l?
True
Let t(a) = 32*a + 7580. Is 17 a factor of t(-52)?
True
Suppose 8*u - 12*u - 1740 = -4*m, -2*u = 3*m - 1315. Is m a multiple of 112?
False
Suppose -68 - 560 = -2*j. Let a(w) = j*w + 2 - 314*w - w**3 - 5*w**2. Does 8 divide a(-6)?
False
Let o(u) = 3*u**3 + 24*u**2 - u + 5. Let h be o(-8). Suppose -4*z = -h*z + 756. Does 7 divide z?
True
Let z = -496 - -536. Suppose 15*p - z*p = -950. Is 19 a factor of p?
True
Let b = 44184 - 23766. Does 82 divide b?
True
Let i(j) = -155*j - 1195. Is 191 a factor of i(-77)?
False
Let x = -34351 - -52837. Is 6 a factor of x?
True
Suppose 193*v - 110*v - 880803 = 6*v. Does 123 divide v?
True
Let v(k) = -44*k - 1739*k**2 + 1742*k**2 - 145 + 11*k. Does 8 divide v(-7)?
False
Let i(x) = -x**2 - 6*x + 630. Let u be i(0). Let r = 48 + u. Is r a multiple of 21?
False
Let l be 25 + -26 + (-948)/(-1). Let c = l + -587. Is 8 a factor of c?
True
Suppose 0 = 3*s - 6*s - 216. Let w be (-18)/s - (70/8)/(-1). Does 26 divide (-3)/w - (-316)/12?
True
Suppose 8*b - 3*b + 7345 = 3*s, 9805 = 4*s + 5*b. Is s a multiple of 49?
True
Let a(h) = 364*h - 19. Let x be a(6). Suppose 3*v = -u + x, -4*v + 6*u - u = -2912. Is 16 a factor of v?
False
Let s(t) = 6*t**3 - t**2. Suppose 5*j = -5*y, 4*y + j + 2*j = 1. Let l be s(y). Suppose 2*f = 3*f + 3*v - 120, 116 = f + l*v. Is 9 a factor of f?
True
Suppose -w + 24 = -5*w. Let z(y) = -14*y + 6 + 7*y - 8 - 10*y. Is z(w) a multiple of 25?
True
Let r = -24 + -37. Let q = -54 - r. Suppose 4*i - q*i + 150 = 0. Is 13 a factor of i?
False
Let l(z) = 3*z**3 - 5*z**2 + 4. Let c be l(10). Suppose -2*h - 4*j = 3*h - c, h = -2*j + 502. Does 25 divide h?
True
Let k = 502 - 11. Let s = 148 + k. Is s a multiple of 35?
False
Suppose -154 = -28*m + 3766. Is m a multiple of 35?
True
Let o = -1778 - -6115. Is o a multiple of 37?
False
Let a be 91020/(-150)*-5*3/6. Suppose 0 = -15*r + 3433 + a. Does 30 divide r?
True
Let b = -10721 + 18071. Is 21 a factor of b?
True
Let u(y) = 571*y - 112. Let h be u(28). Suppose 20*o = 2*o + h. Does 14 divide o?
True
Suppose 2*q = -0*q + 312. Suppose 88*x - 80*x = 24. Suppose x*r + 0*r = q. Is 13 a factor of r?
True
Suppose 9*l + 7608 = -3*l. Let g = 421 + l. Let q = g - -335. Is 16 a factor of q?
False
Let h = -162 + 190. Suppose 0 = -7*u + 35 + h. Is u a multiple of 4?
False
Is ((-234559)/26)/(26/(-4) - -6) a multiple of 15?
False
Suppose 7 - 35 = 4*y. Let u(m) = m**3 + m**2 - m + 3. Let w(l) = -7*l**3 - 11*l**2 + 7*l + 5. Let d(z) = 6*u(z) + w(z). Is d(y) a multiple of 60?
False
Let i(f) = -2*f**2 - 76*f + 70. Let x be i(-39). Is 31 a factor of 7/(476/x) + (-171411)/(-289)?
False
Let u(f) = 4*f**2 + 106*f - 222. Is 4 a factor of u(-34)?
False
Let h be ((-2)/4)/(1/(-24)). Suppose -35*i + 21252 = -h*i. Is i a multiple of 14?
True
Suppose -125997 - 45590 = -13*g. Is g a multiple of 74?
False
Is (-770)/60*(-798)/7 a multiple of 77?
True
Is 19 a factor of 18864/(((-5)/30)/(3*(-2)/27))?
False
Suppose 0 = -3*a - 3, 0 = -215*i + 220*i - 2*a - 12392. Is i a multiple of 14?
True
Suppose 0 = 10*z - 15*z + 4*b + 2615, 3*z - 1591 = -2*b. Is 11 a factor of z?
False
Let o(p) = -p**3 + 12*p**2 - p - 13. Let k be o(11). Suppose k + 3323 = 6*w. Suppose t - 113 + 8 = -4*u, -5*t + w = 5*u. Is t a multiple of 39?
True
Suppose -4*s - 39 = -2*r - 5*s, 2*s - 57 = -3*r. Suppose -7252 = -r*g + 3584. Is g a multiple of 53?
False
Suppose 18*l - 19936 = 11*l - 25*l. Does 9 divide l?
False
Let q be (-11 - -6)*1 - -3482. Suppose -10*w = 597 - q. Is 18 a factor of w?
True
Let p be (-4)/8*(-120 - (-1 + -1)). Let y = 235 + p. Does 3 divide y?
True
Let q(r) = -r**2 + 9*r - 2. Suppose 0*k + 46 = 5*k + 3*f, 2*f = 4. Let j be q(k). Suppose 0 = -i + j*i - 10, 0 = 3*s - 4*i - 205. Does 10 divide s?
False
Suppose 2*q - q + 2 = 0, 2*f + 3*q = 2. Suppose -3*r - f = -m - 1, 9 = 3*m + 2*r. Suppose -32 - 43 = -m*d. Is d a multiple of 10?
False
Let u = 29537 - 17186. Is u a multiple of 69?
True
Suppose -48*q = 164*q - 342852 - 981300. Is 30 a factor of q?
False
Suppose 4*f - 3*y - 73 = 0, 2 = 4*y - 2. Suppose -4*l + f = -89. Is 15 a factor of 804/l - (-4)/18?
True
Suppose -y - 116 = -32. Is ((-60)/6*1)/(4/y) a multiple of 10?
True
Let s(a) = -a**3 + 23*a**2 - 16*a + 80. Suppose -16*v = 134 - 454. Is 16 a factor of s(v)?
True
Suppose 4*f = 8*f - 20. Is 6 a factor of (f - 1)*(-87)/24*-2?
False
Suppose -4*v - 4*v = -992. Suppose l - 166 = -3*d, 0*l - v = -2*d + 2*l. Let z = 163 + d. Is z a multiple of 44?
True
Let y = -1554 - -3108. Is y a multiple of 21?
True
Suppose 4*t + 17594 = 2*p, -5*t = 8*p - 12*p + 35191. Is p a multiple of 12?
False
Let r(q) be the third derivative of 1/2*q**3 + 8*q**2 + 0*q + 0 + 1/24*q**4. Does 4 divide r(5)?
True
Is 101 a factor of 6*(8/(-180)*-5 + 11731/9)?
False
Let c = 360 + -367. Is (-2)/c + ((-1004)/(-14) - 3) a multiple of 30?
False
Suppose 279174 = 1153*o - 1130*o. Is 43 a factor of o?
False
Let t(v) be the first derivative of -7*v**5/60 + 5*v**4/12 + 4*v**3 - 14. Let m(k) be the third derivative of t(k). Does 41 divide m(-11)?
True
Let x(s) = -s**3 + 9*s**2 - 19*s + 1. Let p be x(6). Does 8 divide p + (54 - -3) - -4?
True
Suppose 0*d + 5*d = 50. Suppose -4*c - q + 24 = -65, 19 = c - 3*q. Suppose -c + d = -i. Does 6 divide i?
True
Let y = 1594 - 1462. Does 66 divide y?
True
Let w be 4505/7 - (-45)/105. Let a = w - 416. Does 12 divide a?
True
Is 225/3600 - (-99)/(-16)*-2101 a multiple of 25?
True
Let a = 70856 - 42680. Is 44 a factor of a?
False
Suppose v + 776 = 5*o, 4*o + 4*v - 3*v - 628 = 0. Is 27 a factor of (o/30 + 6)/((-6)/(-405))?
True
Is (354 - 374)/(2 + 746/(-372)) a multiple of 120?
True
Let c = 1498 - 740. Does 7 divide c?
False
Is 13 a factor of (-1304)/5*-20*54/72?
False
Let x = -1247 + 2069. Does 3 divide x?
True
Let r = 34378 - 14235. Does 5 divide r?
False
Suppose -3*i = 5*x + 230, 0 = -x - 2*i - i - 46. Let l = x - -217. Does 10 divide l?
False
Let p = 10 + 48. Suppose -4*t + 3*b = 5*b - p, -3*b = 3*t - 39. Does 2 divide t?
True
Let s = 5182 - 2858. Is s a multiple of 14?
True
Let m(z) = 6*z + 31. Let g be m(14). Let q be ((-13)/39)/((-2)/18). Suppose 393 = 2*a + a - q*x, -3*x + g = a. Does 37 divide a?
False
Let r = 4641 + 1085. Is r a multiple of 54?
False
Let q(u) = -u**2 - 18*u - 20. Let g = 61 - 58. Suppose 44 = -3*i - 0*i - k, -2*i - g*k = 27. Is 20 a factor of q(i)?
False
Let t be 6/(-10) + (-6302)/230. Does 13 divide (7/(t/(-12)))/((-15)/(-860))?
False
Suppose -v = 5*b - 13959, -3*b + 3057 = v - 10900. Is v a multiple of 148?
False
Let k be 123*(-4)/(-9 - 3). Suppose -k*g = -26*g - 1185. Is 18 a factor of g?
False
Let l(i) = 2*i**3 - 9*i**2 + 9*i + 3. Let g be l(3). Suppose 0 = -5*h - g*a + 9975, 84*h = 83*h + 4*a + 1972. Is h a multiple of 12?
True
Suppose -3*m - b = 9 - 5, 4 = -b. Suppose -j = 4*z - 5, -4*j + 4*z - 2*z + 74 = m. Let q = j - 9. Is q a multiple of 3?
False
Let g be (126/(-4))/((-17)/(-68)). Let d = 146 + g. Is 7 a factor of d?
False
Let j(r) = 2*r**2 + 2*r + 4. Let h be j(-2). Suppose 4*p = -y + 293 - h, 2 = p. Suppose 14 + y = 3*k. Is 10 a factor of k?
False
Suppose -n + 2*b + 728 = 0, -3*n + 2422 = b + 252. Suppose -3*l = -4*x - 1661, 3*l - 3*x - 935 = n. Is l a multiple of 44?
False
Let z be -3*(0 - -2)*(-3310)/(-20). Let f be (-8)/32*-2 + z/(-2). Is 48/(-120) - f/(-5) a multiple of 33?
True
Suppose 18*z - 6*z - 36 = 0. Suppose -z*x - 584 = 5*l - 2355, 0 = -2*l + 5*x + 727. Does 27 divide l?
False
Let k(j) = j**3 + 19*j**2 - 41*j + 25. Let r be k(-21). Suppose -5*x = -20, -r*o - x + 2056 = -2*x. Is 30 a factor of o?
False
Suppose 0 = 2*m, y + 12*m = 10*m - 14. Let r = 8 - y. Does 11 divide r?
True
Let b(p) = -7*p**3 - p + 25*