i a multiple of 6?
True
Let d(x) = 7*x - 10. Let v be d(3). Is 11 a factor of 0 + (-2)/v - (-730)/22?
True
Let i(f) = 80148*f**2 + 107*f + 2. Is i(-1) a multiple of 38?
False
Let y = -29 + -38. Let p = y - -193. Is p a multiple of 7?
True
Suppose -3*s = -n + 62, 5*n = s + 294 + 72. Suppose -7*z - 31 = n. Let w = 77 + z. Is 3 a factor of w?
False
Is (-4 - 98/(-28))*(-17421 - 3)/3 a multiple of 44?
True
Let m = -907 - -911. Suppose -d - m*x + 503 = 0, 3*d = d + 3*x + 973. Is 8 a factor of d?
False
Suppose 0 = 4*i - 31 + 7. Suppose -i*u + 182 = u. Let a = 6 + u. Is a a multiple of 17?
False
Is 39 a factor of (95 + -5)/((-72)/(-1248))?
True
Let c = 59 + -46. Suppose -870 = -8*d + c*d. Let s = 303 + d. Does 29 divide s?
False
Suppose -1319 = -4*c - 1191. Suppose -29*f - c = -31*f. Does 4 divide f?
True
Is 7605 + -7 - (-8)/(-24)*-9 a multiple of 79?
False
Let h(l) = 6*l**2 + 88*l - 28. Let a be h(-15). Suppose a*s = 108 + 576. Is s a multiple of 28?
False
Suppose -3*b = 3*m - 6*m - 19137, 3*b = -5*m + 19145. Is b a multiple of 44?
True
Suppose 139*s - 26044 = 63*s + 72*s. Does 17 divide s?
True
Let v = 126711 - 84669. Is 231 a factor of v?
True
Let l(q) = 7*q**3 - 11*q**2 - 2*q - 14. Let g = 221 + -216. Is l(g) a multiple of 24?
True
Let j(z) = 920*z - 2040. Does 179 divide j(8)?
False
Suppose 10*n = 5*a - 22100, -4*n + 3*n = -4*a + 17708. Is a a multiple of 57?
False
Suppose -8*h + 6145 = -17991. Suppose -48*u + 7625 = h. Is 24 a factor of u?
True
Let w(n) = n**3 - 19*n**2 + 17*n + 22. Let p be w(18). Suppose -p*f + 8 + 12 = 0. Suppose -144 = 4*r - f*r. Is 24 a factor of r?
True
Let o = 66 - -13. Let c = 151 - o. Is 24 a factor of c?
True
Suppose -6*x + x = -5*h - 95, 5*h = x - 79. Let f(l) = l**3 + 15*l**2 - 5*l - 12. Let t be f(h). Let c = 111 - t. Does 24 divide c?
True
Suppose 0 = -128*r + 134*r - 12060. Suppose 0 = -4*l - 4*u + 1608, -11*l - u - r = -16*l. Is 12 a factor of l?
False
Let z be (-4 - -5)*(-5 - -17 - 1). Suppose -10*q - 219 = -z*q. Does 12 divide q?
False
Let g be ((-2 + 1)*-32)/((-24)/(-2508)). Suppose -g + 576 = -16*c. Does 57 divide c?
False
Let v(x) = -18*x**3 + 32*x**2 + 31*x. Is v(-8) a multiple of 68?
True
Let b(t) = -t**3 - 11*t**2 + 41*t - 14. Let u be b(-14). Is 78 a factor of u + 3 + 2 + (29 - -910)?
False
Let v(y) = 129*y - 269. Let i(h) = -64*h + 137. Let u(k) = -9*i(k) - 4*v(k). Is u(4) a multiple of 19?
False
Is 29 a factor of 29*(-471)/9*(-18)/6?
True
Does 109 divide 320 - 28/8*4/((-8)/4)?
True
Suppose -2*x + 10368 = 10*x + 4*x. Does 9 divide x?
True
Let j(q) be the third derivative of -q**4/4 + 10*q**3/3 + 5*q**2. Let y be j(5). Let h = y + 46. Is h a multiple of 18?
True
Suppose 124*m - 114*m = 53750. Is 9 a factor of m?
False
Suppose 0 = -11*k + 169809 + 38509. Does 27 divide k?
False
Let m(o) = 1042*o**2 - 54*o - 280. Does 210 divide m(-5)?
True
Suppose 0 = -17*i + 3*i + 4690. Let a = 551 - i. Does 27 divide a?
True
Let i = 87 - 117. Is (36/8)/(i/(-160)) a multiple of 2?
True
Let l be 25/(-1 + -4) + (-2 - -1). Suppose 3*y + 158 = -10. Let n = l - y. Is 10 a factor of n?
True
Let q be (-12)/(-3 - 0) - 4. Suppose -5*i + 4 + 6 = q. Is 20 a factor of 2622/22 + (-1)/(11/i)?
False
Let z = -43 + 46. Suppose 309 = z*x - 3. Is x a multiple of 17?
False
Suppose 3*m + 5*k = 860, 4 = -5*k + 3*k. Does 29 divide m?
True
Let u(i) = 6*i - 21. Suppose 7*v - 24 = 2*v - 3*j, -v - 4*j - 2 = 0. Let t be u(v). Suppose -t*h + 10*h + 640 = 0. Is 13 a factor of h?
False
Let v(n) = 4080*n**2 - 10*n + 10. Is 60 a factor of v(1)?
True
Suppose 48*w + 1185 = 53*w. Suppose -2232 = w*v - 240*v. Is v a multiple of 12?
True
Let n(r) = -r**3 + 10*r**2 + 6*r. Let o be n(7). Suppose -191*i + 78 = -o*i. Is 10 a factor of i?
False
Suppose -4*d - y = -25, 0 = 2*d - 3*d - 5*y + 30. Let g(m) = 43*m**2 + 10*m - 10. Is 62 a factor of g(d)?
False
Suppose -99*g + 19722 = -93*g - 67452. Is g a multiple of 87?
True
Let g be 0 + -1 + -3*(-30)/18. Suppose g*y = -y + 970. Is 28 a factor of y?
False
Suppose -27*b + 10*b = 21*b - 271776. Does 48 divide b?
True
Suppose 16 = 4*p - 0. Let r be ((-30)/p)/((-15)/20). Suppose -4*q - 15 = -d + r, -3*q = 3*d - 30. Is 6 a factor of d?
False
Suppose 3*x + 5*q = 3*q + 10127, q = x - 3379. Let s = x - 2181. Does 92 divide s?
True
Let x = 4592 - 2120. Suppose -x = -11*l + 2478. Is l a multiple of 18?
True
Suppose -3418 - 2602 = 7*g. Let w = -420 - g. Suppose 3*m = -8*m + w. Is 5 a factor of m?
True
Let l(n) = -8*n - 214. Let k be l(-33). Let o be -2 + 46 + 2 + -1. Let a = k - o. Is 5 a factor of a?
True
Suppose 480 = -5*w + 12*n - 7*n, 5*n = w + 96. Is 12 a factor of w/(-5)*345/6?
True
Suppose 3*g - 724 = -t, -4*g + 2*t + 154 = -808. Let z = -193 + g. Is z a multiple of 6?
True
Let s(d) = 44*d**2 - 38*d**2 - 37 + 15 - 4*d. Does 9 divide s(-4)?
True
Suppose 2 = -2*c, -6*c = 4*h - 2*c - 16. Suppose -4*p = -h*w - 971, -3*w = -3*p + 350 + 382. Is 3 a factor of p?
True
Suppose 4*j - 6*j - 6646 = -4*j. Is j a multiple of 35?
False
Let w(q) = 5*q**2 - 18*q + 7. Let t(v) = -26*v**2 + 90*v - 34. Let o(r) = -3*t(r) - 16*w(r). Let x be o(7). Let f = x - 6. Does 12 divide f?
True
Let a(x) = -x**2 + 10*x - 20. Let t be a(7). Let s be -5*3*(-2)/3. Is 9 a factor of t/(s/45)*10?
True
Let s(m) = -3*m + 7*m**3 - m**3 - 9*m**2 - 75 + 74. Let u be (0 - 2)/((-2)/4). Does 13 divide s(u)?
False
Let b = -36 + 59. Suppose 3*d - 681 = 3*t, 25*t + 684 = 3*d + b*t. Does 46 divide d?
True
Let v(t) = 2*t**2 - 5*t + 5. Let o be (1 + 1 + -1)*42/42. Let b be ((-9)/15)/(o/15*-3). Does 8 divide v(b)?
True
Suppose -4*m = 0, -2*f + f - 2*m - 28 = 0. Let g = -69 + 117. Let h = f + g. Does 3 divide h?
False
Suppose 2*f + n + 3 = 0, -2*f - n - 2*n - 9 = 0. Suppose -r - 3*r + 3*t = -7, f = r - 2*t - 3. Suppose -4*s - 5*g = r - 49, -4*g = -16. Is 7 a factor of s?
True
Suppose 0 = -11*p + 3*p + 1224. Suppose 3*i - u + 5*u = 337, -3*u = 3*i - 342. Suppose o - p = i. Does 59 divide o?
False
Suppose m + 5*d + 0*d + 12 = 0, -4*m = -5*d - 27. Suppose -m*g = -q + 841 - 283, -2*g - 1100 = -2*q. Is q a multiple of 26?
True
Let p = -966 - -970. Suppose -5*f + 5*l = -7870, -5*f = p*l - l - 7838. Is f a multiple of 39?
False
Does 6 divide ((-77)/(-14) - 7)*-380 - 3?
False
Suppose -9*p = -4*p + 5*d + 125, 0 = 4*p - 5*d + 127. Is (-8981)/p + 2 - 3/4 a multiple of 78?
False
Is 54 a factor of (-5 - -1) + (15886/6 - 220/330)?
False
Let c(j) = 15*j + 110. Let s be c(-25). Does 90 divide 19227/21 + 7 + s/35?
False
Suppose -5*r = -r - y - 169, 4*y + 143 = 3*r. Suppose -6*a + r = -13. Suppose 257 = a*w - 121. Is w a multiple of 25?
False
Let k(m) = 2448*m + 10094. Does 62 divide k(19)?
True
Suppose 5170 + 28550 = j + 5*j. Is 20 a factor of j?
True
Suppose 2*v - 5*d = -18, v + 2*v = -6*d. Let k(p) = 5*p**2 - 4*p + 24. Is k(v) a multiple of 2?
True
Let l(a) = a**3 - 168*a**2 - 813*a + 144. Is l(173) a multiple of 20?
True
Let p(g) = -21*g**2 + 2*g + 112. Let r be p(-9). Let u = -1092 - r. Does 28 divide u?
False
Let y be (13 + -3)/(2/((-10)/(-1))). Does 45 divide (-360)/(-7)*525/y?
True
Let f be (672/(-18))/(2/174). Let j be f/(-40)*(2 - (-6)/2). Suppose -522 = -16*w + j. Does 19 divide w?
False
Let u = -207 - -212. Suppose 0 = -4*x + u*a + 483, 2*a + 0*a - 391 = -3*x. Is x a multiple of 10?
False
Let f be 8*4/4*2. Let a be (17 - f)/(2/8). Suppose j + j - 404 = -a*l, 5*j = 3*l - 316. Does 17 divide l?
True
Suppose -5*o + 14 + 16 = 0. Suppose 4*z + 2*m - 732 = 0, -3*m + 555 = -o*z + 9*z. Is z a multiple of 22?
False
Let b(d) be the third derivative of -d**5/60 - d**4/24 + 7*d**3/6 + 28*d**2. Let n be b(3). Is 27 a factor of n/2 + 4 - (-1611)/6?
True
Let s(t) = -t**3 - 7*t**2 + 5*t + 2. Let g be s(-9). Suppose -48*b = -49*b + g. Suppose -114 = -2*u + 3*w, -4*u - b = 3*w - 311. Does 17 divide u?
True
Let k(a) be the second derivative of a**7/504 + a**6/360 - 17*a**4/12 - 14*a. Let z(s) be the third derivative of k(s). Is z(-2) a multiple of 2?
True
Let s(y) = y**3 - 6*y**2 - 5*y + 30. Let t(u) = -u**3 + 9*u + 6. Let m be t(-3). Let x be s(m). Does 12 divide (-3)/((-6)/116 + x)?
False
Suppose -166 = -15*q + 59. Let c(d) = 16*d - 112. Does 32 divide c(q)?
True
Suppose -m + 6*m = 10. Is 16 a factor of m/((-14)/(-21)) - -509?
True
Suppose -5*v = -3*h - 17673, -12498 = -3*v - 4*h - 1929. Does