 = -96*p**3 - 25*p**2 + 7*p + 78. Does 54 divide d(-6)?
True
Let f = -80 + 90. Let a(b) = -b**3 + 9*b**2 + 8*b + 21. Let k be a(f). Is (0 + k + -3)*-21 a multiple of 3?
True
Let f = 54262 - 19188. Is f a multiple of 38?
True
Let g = 4394 + 1444. Is g a multiple of 39?
False
Suppose -3*y = 24 + 6. Let t = 132 - y. Let k = t + -74. Is k a multiple of 30?
False
Let v(j) = 18*j**3 + 2*j**2 - 12*j + 10. Let y be v(5). Is 30 a factor of (y/175)/(3/28)?
True
Let z = -125 - -193. Let j = -16 + z. Does 26 divide j?
True
Let l(h) = h**3 + 5*h**2 + 7*h + 6. Let f be l(-4). Let c be -1 - f*8/12. Suppose c*i - 189 = -0*i. Does 13 divide i?
False
Let k = 9672 - 6838. Is k a multiple of 7?
False
Let i be 2 + (4 - (-1 - -5)). Let j = 9 + -7. Suppose -j*m - i*u = -6*u - 12, 0 = -2*m + u + 24. Does 7 divide m?
True
Is 158/2*4*306/24 a multiple of 74?
False
Let o = -138 - -140. Suppose 0 = w - 5*w - 340. Is 14 a factor of (w/68)/(o/(-112))?
True
Let f = 1569 + -603. Does 3 divide f?
True
Let c = -2447 + 5883. Is 22 a factor of c?
False
Let i = -159 + 311. Let q be (i/10)/((-10)/(-25)). Suppose 5*p - 104 = -0*j - 4*j, q = 2*p - 2*j. Is 5 a factor of p?
True
Let y(i) = -11*i**3 - 2*i**2 - 12*i - 18. Is y(-5) a multiple of 23?
False
Let h = -420 + 425. Is 11 - (-12 - -9 - h) a multiple of 3?
False
Let x = 52175 - 36905. Does 30 divide x?
True
Let q be (-72)/(-27)*(-1 + 170/8). Suppose a - 5*u = 1, -3*a - 3*u = -q + 15. Suppose 0 = 5*c - 56 + a. Is 4 a factor of c?
False
Let i be (-20 + 15)/((-1)/19). Let d = 136 - i. Suppose -11 = 2*z + 2*c - d, 2*z = 4*c + 12. Does 12 divide z?
True
Let a(i) = 26*i - 70. Let h(y) = y**2 + 6*y - 48. Let b be h(5). Is 8 a factor of a(b)?
True
Is 128 a factor of (-76)/133 - 41220/(-7)?
True
Let q = 13 + 4. Suppose -q = 2*i + 13. Does 26 divide 86/(-8)*(-19 - i)?
False
Let t be -3 - (-38)/(-5) - (-6)/10. Let k = t - -130. Is 20 a factor of k?
True
Suppose 23 = 4*f + 11. Let y be 93*((-2)/f)/(-1). Is 21 a factor of 2/(-2) + 4/2 + y?
True
Is 218/(-1635) + (-106384)/(-30) a multiple of 5?
False
Is 188 a factor of (75944 - 2)*2*(-6)/(-24)?
False
Let a(y) = -11*y**3 - 3*y**2 - 3*y + 1. Let v be a(-3). Suppose x = c - 2*x + 188, -x = 5*c + 1004. Let s = c + v. Does 16 divide s?
True
Suppose 11*r + 0*r - 33 = 0. Suppose -r*z = -5*c + 9, 5*c - 2*z - 4 = 2. Is (-3 + 4 - -124) + c a multiple of 25?
True
Suppose -21 = -13*l + 6*l. Suppose 5*f - 3 = -l*x, -2*f + 3*x - 3 = -0*x. Suppose f = h - 50 - 110. Is h a multiple of 20?
True
Let g(y) = 1552*y**3 - 10*y**2 + 16*y. Does 31 divide g(2)?
False
Let l be (-801)/(-6)*(-12)/9*1. Let j = l + 214. Does 18 divide j?
True
Let c(a) = 99*a**2 + 6*a - 19. Is 19 a factor of c(12)?
False
Suppose -5*i + 101 = 5*t - 4*t, 2*t = -3*i + 202. Suppose 91*y + 4620 = t*y. Is y a multiple of 42?
True
Suppose 5*m = 3*y + 1316, 39*y = 3*m + 36*y - 786. Is 23 a factor of m?
False
Let j = 6000 - 3212. Suppose 0 = 5*z - j + 698. Is z a multiple of 19?
True
Let t(f) = -f**3 + f**2 - 2*f - 1. Let j be t(-2). Let d(s) be the third derivative of s**4/8 - 19*s**3/6 - 47*s**2 - 2. Is 4 a factor of d(j)?
False
Let s(l) = 131*l**3 + 2*l**2 - 2*l. Suppose 4*i - 3 = i. Let t be s(i). Let x = 231 - t. Is x a multiple of 13?
False
Suppose 0 = -5*f - 9 + 64. Suppose f*v - 16*v = -60. Is 12 a factor of v?
True
Let c(r) = 2*r + 7. Let a be c(19). Let o be (-36)/(-15)*a/18. Let s(i) = 34*i - 9. Does 38 divide s(o)?
False
Let k(a) = 3*a + 7 - 21*a**2 + 10*a**2 - 1 + 8*a**2 + 8*a**2. Does 5 divide k(-7)?
True
Let k = 492 + -368. Suppose 3*p = 71 + 16. Suppose 0 = 5*q - k + p. Is 12 a factor of q?
False
Suppose -5*d = 3*x + 13, -5*x + 15 = -7*d + 8*d. Let g be ((-8)/(-4))/(4/250). Suppose x*m + g = 9*m. Is 7 a factor of m?
False
Let p(v) be the second derivative of v**5/3 - v**4/8 + 10*v**2 + 18*v. Let r(t) be the first derivative of p(t). Is 16 a factor of r(2)?
False
Suppose 128889 = -8*v + 33*v - 18111. Does 43 divide v?
False
Suppose 35*l + 45907 = -4703. Let i = -858 - l. Does 21 divide i?
True
Suppose -5*h + 702 = 4*h. Let v = h + -46. Let n = 68 - v. Does 12 divide n?
True
Suppose 58425 = 6*s - 170325. Is 145 a factor of s?
False
Let g be -72*(123/18 + 2/3). Does 33 divide (440/15)/(-5*4/g)?
True
Let c(f) = 83*f + 647. Is c(17) a multiple of 14?
True
Let r = 8375 + 122. Does 12 divide r?
False
Suppose 11*j - 913536 = 8*j - 23*j. Is j a multiple of 16?
True
Let h be 12*(6/(-24) - (-21)/36). Suppose -7*k = -h*i - 4*k + 2188, 5*i - k = 2735. Is 61 a factor of i?
False
Let t(d) = d - 2. Let a(r) = r**2 + 40*r. Let s(k) = -a(k) - 2*t(k). Is 37 a factor of s(-22)?
True
Let h(y) = 5*y + 973 - y - 931 + y. Let f be h(-8). Suppose 2 = -i + 5*l, -f*l + 35 + 44 = 3*i. Is i a multiple of 11?
False
Let y = -69 + 59. Let z be ((-5)/(y/21))/((-15)/(-280)). Let h = -126 + z. Does 35 divide h?
True
Let q = 277 + -247. Suppose 2 = -4*i - 10. Is (76/(-5))/(i/q) a multiple of 31?
False
Let v(x) = 9*x**2 + 270*x - 924. Is v(68) a multiple of 14?
True
Suppose -13840 = -2*j + 4*v, -3*j - 4312 = 2*v - 25072. Does 20 divide j?
True
Suppose -3*t + 3079 = -2*s - 46411, s = -4*t + 65994. Is t a multiple of 73?
True
Suppose -24185 = 10*u + 9295. Let o = -1920 - u. Does 12 divide o?
True
Let g = -415 + 418. Suppose g*a - 650 = 4*l + 317, 5*l - 1012 = -3*a. Is 47 a factor of a?
True
Suppose 2565*h - 2563*h - 757 = -q, 3*q = 2*h - 745. Is h a multiple of 7?
False
Suppose -3*v - 2 + 58 = 4*p, -3*p - 5*v = -31. Let q be 2/2*(p + -15). Suppose q*t - 184 = -2*t. Does 23 divide t?
True
Let x be -2 - 24/(-13) - (-167)/(-13). Let k(d) = -6*d + 52. Let p be k(x). Let n = -42 + p. Is n a multiple of 22?
True
Suppose 0 = -j + 70 - 2. Suppose -k + 3*t + j = 0, -4*t - t + 246 = 3*k. Suppose 0 = k*x - 72*x - 320. Does 8 divide x?
True
Suppose 3*f - q = -0*f + 11, f + 4*q = 21. Suppose f*p - 5*l = -8*l + 7768, -5*p - l + 7776 = 0. Is 13 a factor of p?
False
Does 3 divide (-108)/(-27)*7821/36?
False
Let q be (1/2)/((-9)/144). Let h(f) = -4*f + 28 + 11*f - 14*f - 4*f. Is 19 a factor of h(q)?
False
Let n(y) = 29*y**3 + 5*y**2 + 16*y - 173. Is 132 a factor of n(5)?
False
Let a be (1 - (-146)/12) + 4/(-24). Let f(c) = -19 - a*c + 15*c - 6*c. Is f(-9) a multiple of 2?
False
Let i be 1/5*(-35)/14*-8. Suppose 5*y - 13 = -38, -5*p - i*y = -150. Is p a multiple of 8?
False
Let c = -2720 - -11058. Does 23 divide c?
False
Suppose -3*x + 5*d + 16470 = -12754, 5*x - 5*d - 48700 = 0. Is x a multiple of 9?
True
Is (-1324660)/(-75) + (-54)/405 a multiple of 134?
False
Let k = -713 + 269. Let g = -367 - k. Is g a multiple of 16?
False
Let g = 279 + -268. Suppose -g*x + 1036 = -482. Is 9 a factor of x?
False
Let m(h) = -h**2 + 22*h - 81. Let c be m(15). Suppose 13*o = 158 + c. Is o a multiple of 2?
True
Let t(d) = d**2 - 17*d + 56. Let o = 94 + -68. Does 19 divide t(o)?
False
Let t(l) = -2*l**2 - 9*l + 3. Let u be t(-3). Let f = -9 + u. Suppose -5*i = q - 2*q - 622, -f*q - 116 = -i. Does 12 divide i?
False
Let x = -32891 - -57685. Is 63 a factor of x?
False
Suppose 4*k - 2*k = 0. Suppose -11*g + 134 + 1912 = k. Is 25 a factor of -2*(g/(-4))/3?
False
Is 13 a factor of 11/((-198)/(-624))*(-12)/8*-42?
True
Let p = 9282 - 7654. Is 2 a factor of p?
True
Let f(o) be the third derivative of o**5/60 + o**4/24 + 25*o**3/2 + 329*o**2 + 1. Let r(p) = -p**3 - 4*p**2 - 4*p - 3. Let w be r(-3). Is 9 a factor of f(w)?
False
Let m(s) = -10*s - 40. Let w(q) = 2*q**3 + 5*q**2 + 8*q + 12. Let r be w(-3). Is 17 a factor of m(r)?
True
Suppose -14*u + 7140 = -4*u. Suppose -u = 24*v - 41*v. Is v a multiple of 6?
True
Suppose -58*r = -55*r - 39. Let n = r + -10. Suppose -5*b + n*b + 118 = 0. Does 10 divide b?
False
Let t be (-13)/(-26)*(1 + -1). Let l(z) = -z**2 + z + 871. Is 13 a factor of l(t)?
True
Suppose -5*g + 6 = -2*b, 2*g - 13 = b - 3*g. Is 31 a factor of b/((-49)/(-6041)) + 5?
True
Let y = 201 - 172. Suppose 27 = 4*h + 5*n, 4*h + 0*n = -3*n + y. Does 4 divide h?
True
Suppose -22 = -15*o + 4*o. Let l = 10 + -3. Suppose o*s - 504 = -l*s. Does 26 divide s?
False
Is (47495/(-14))/(170/(-408)) a multiple of 138?
True
Suppose -44*g - 29240 = -84*g. Let w = -675 + g. Is 8 a factor of w?
True
Let q be (5 - -1)*(-35)/(-30). Suppose 122 = l - h, -2*l + q*l = -2*h + 603. Does 5 divide l?
False
Let s(i) be the third de