4. Is 40 a factor of a(-2)?
False
Suppose 185*i = 75054 + 97774 + 11987. Is 7 a factor of i?
False
Suppose 0 = -7*i + 9*i - 4. Let g(q) = q + 1. Let m be g(-5). Does 17 divide (13 + 1)*(5/i - m)?
False
Let i be (-2)/(-9) + (-320)/(-18). Let d(c) = -38*c - 38*c + 35 - 6*c - 36*c + 123*c. Is d(i) a multiple of 10?
False
Let a be (-217)/(-8) + ((-8)/(-2))/(-32). Suppose -3 = -n + 5*u - a, -2*n - 5*u = -12. Does 31 divide (n/(16/(-186)))/(1/2)?
True
Let m = -15286 - -27142. Is 19 a factor of m?
True
Let o(v) = -5*v**3 - 343*v**2 + 20*v - 194. Is o(-69) a multiple of 30?
False
Suppose -u - 4*o = -38 - 14, -2*u + 114 = -2*o. Suppose 0 = -5*g - 4 + 34. Suppose u - 14 = g*x. Does 7 divide x?
True
Let p(d) = -d**2 - 2*d + 3. Let l be p(3). Let w = l - -15. Suppose -55 - 14 = -w*i. Is 12 a factor of i?
False
Let r(w) be the second derivative of -w**4/12 - 5*w**3/2 - 10*w**2 - w. Let t(o) = -49*o + 382. Let d be t(8). Is r(d) a multiple of 3?
True
Let r be 9*90/(-108)*272/(-20). Suppose 4*j = -17 - 3. Let n = j + r. Is n a multiple of 19?
False
Let r be 4/2*(556 + 3 + -3). Let g = r + -426. Let m = -482 + g. Is 51 a factor of m?
True
Suppose -z + 78 = 5*z. Let o be (-39)/z - (-1 + -20). Let u = 51 - o. Does 11 divide u?
True
Let j = -999 + 658. Let m = 461 + j. Is 8 a factor of m?
True
Suppose h - 3*o = 6231 + 7749, 0 = -5*h + 2*o + 69887. Does 8 divide h?
False
Suppose -55*z - 192*z = -23*z - 8555008. Is z a multiple of 14?
True
Suppose 6*d - 3*d = -3*b + 42, 94 = 5*d - b. Let n = d - 8. Let t = 17 + n. Is t a multiple of 9?
True
Let v be (-3)/(-1) + 0/8 - -1. Suppose v*k + 0*k = 72. Does 12 divide (-4)/k - 3/((-27)/1550)?
False
Suppose -8*z - 8*z - 2880 = 0. Let i = z - -342. Is 9 a factor of i?
True
Let j(f) = 9*f - 392. Let h be j(43). Is 1 + 20/h + 5 - -569 a multiple of 28?
False
Let l = 45 + -31. Suppose -459 = -l*b + 11*b. Suppose 2*d - b = -d. Is d a multiple of 27?
False
Let c(j) = -j**2 + 5*j - 17. Let g be c(7). Let t = -31 - g. Suppose v - 2*v + 120 = t. Is 35 a factor of v?
False
Let a(p) = 5*p**2 + 114*p - 969. Is 50 a factor of a(-99)?
True
Let g be 4/3*114/4. Let n = g + -26. Suppose 101 + 571 = n*r. Is r a multiple of 8?
True
Let g = -15560 - -24595. Does 10 divide g?
False
Does 8 divide -2 + ((21/(-14))/(6/8) - -1684)?
True
Let s(u) = -252*u + 20. Let z be s(-2). Let p = z - 139. Does 5 divide p?
True
Let i = 100453 + -59231. Is i a multiple of 119?
False
Let g be (-3 + 5)/(1/2). Suppose 0*s - g*p = 2*s - 278, 512 = 4*s - 3*p. Let r = 431 - s. Is 31 a factor of r?
False
Let v = 170 + 204. Does 2 divide v?
True
Suppose -4*d + 5 = 3*o - 8, -5*d + 5 = 0. Suppose 0 = o*s - 9, q - s = 5*q - 23. Suppose 3*n + q = 14. Is n a multiple of 3?
True
Let f(q) = 178 + 2*q**2 + 0*q**2 - 58. Suppose -7*a = -14*a. Is 40 a factor of f(a)?
True
Suppose 5*r - 17071 = g + 28684, -r = -2*g - 9142. Does 32 divide r?
True
Suppose -865*h - 54834 = -903*h. Is 2 a factor of h?
False
Suppose f = 6*f - 10. Suppose -4*o = -3*m - 19, -m = -f*o + 1 + 8. Is 812/8 - m/2 a multiple of 17?
True
Let r be (-27)/(-21) - -3 - 2/7. Suppose -464 = -4*u + 4*w, r*u - 176 = -4*w + 264. Does 15 divide u?
False
Suppose 29891 - 304451 = -65*a. Is 64 a factor of a?
True
Let a be (108/(-8))/(-3)*8/6. Is 21 a factor of (5 - a - 4) + 387?
False
Let r(k) = 13*k - 112. Let b be r(9). Suppose -i + b*d + 425 = 0, -25*i - d - 2005 = -30*i. Does 13 divide i?
False
Let q(x) = -36*x - 78. Suppose s + 4 = -2*k - 1, 2*s - 4*k + 10 = 0. Does 4 divide q(s)?
False
Let h(k) = 12*k - 82. Let f be h(-8). Let n = 338 + f. Does 16 divide n?
True
Let w(n) = 39*n**2 + 2*n - 32. Let b(g) = g**2 + 27*g - 156. Let i be b(5). Does 50 divide w(i)?
True
Let b be 4/(-30) + 109503/135. Suppose -b = -6*l - 235. Let m = -56 + l. Is m a multiple of 5?
True
Let k = 538 + -303. Let f = k + -188. Is f a multiple of 9?
False
Let l = 68 + -66. Suppose 0*g = -4*f - 4*g + 1048, -4*f - l*g = -1056. Is 19 a factor of f?
True
Let f(i) = 1176*i - 5587. Is 17 a factor of f(32)?
True
Suppose -5*k + 10*a - 8 = 6*a, 3*a = 2*k + 6. Suppose 80*j - 107*j + 21600 = k. Is 40 a factor of j?
True
Let v = -9 + -39. Let f = 42 + v. Is 32 a factor of (2/f)/((-3)/576)?
True
Let y = 74 - -20. Let d = 601 + y. Is d a multiple of 50?
False
Suppose -2*r - 4*m = 4, 5*r - 6 - 8 = 2*m. Suppose 5*l = -2*x + r + 2, -3*x = -6. Suppose -s = -2*i - 235, 0 = -3*s - l*s - 2*i + 681. Is 38 a factor of s?
False
Let f be -2 - (5 - 5) - 16. Let p(c) = -c**2 - 19*c - 6. Let x be p(f). Suppose x*j = 224 - 68. Is 6 a factor of j?
False
Let p(z) = 17*z**2 + 16. Suppose 5*r = 4*r, 2*r = j - 4. Does 9 divide p(j)?
True
Let o = 7908 + 13589. Does 60 divide o?
False
Let k be 10/(-45) + (-454)/(-18). Suppose k = -95*m + 96*m. Does 5 divide m?
True
Let k(l) = -2*l**2 - 9*l + 13. Let t be k(7). Let d = t - -235. Let p = 157 - d. Is 12 a factor of p?
False
Let o be (-9)/(54/(-30)) - 1. Suppose 0 = -2*k + 2*s + s + 588, 1156 = o*k - s. Is 12 a factor of k?
True
Let q = -79 - -71. Is 10 a factor of (-6)/q + 80424/288?
True
Let z(a) = 16*a**2 + 15*a - 15. Let f be z(7). Suppose b + 2*l = 437, -7*b + f = -5*b + 2*l. Is 27 a factor of b?
False
Suppose 0 = 36*p - 45*p + 1629. Suppose 173*q + 4872 = p*q. Does 10 divide q?
False
Let i = 437 + -855. Let o = 212 + i. Let m = o + 366. Is m a multiple of 20?
True
Suppose -5 = -5*d + 5*o + 5, d - 2*o - 2 = 0. Let t(n) = 0*n + 2 - d*n + 0 + n + n**2. Is t(-7) a multiple of 29?
True
Let g = -56 + 41. Let a be (g/(-10))/((-6)/(-208)). Suppose -10*r - a = -11*r. Is r a multiple of 10?
False
Let s = 1 - -1. Let y(g) = 13*g - 10. Let m be y(1). Suppose -m*t - 3*l = -387, -s*t = 5*l + 4 - 265. Is 49 a factor of t?
False
Suppose -3*b = 3*h - 129, -4*h + 3*h + 49 = 3*b. Is 29 a factor of (h/30)/(2 - 173/87)?
True
Is (36738/6)/((-12)/8*(6 + -8)) a multiple of 27?
False
Let p(z) be the first derivative of -325*z**2 + 109*z - 295. Does 29 divide p(-3)?
True
Suppose -o - a + 7849 = 4*a, 4*o + 4*a = 31348. Is 43 a factor of o?
False
Let q(a) = 428*a**3 - 3*a**2 + 8*a - 4. Let d be q(1). Let g = 481 + d. Is g a multiple of 46?
False
Let n(u) = 12331*u - 6654. Is n(2) a multiple of 83?
False
Let z(s) = 7*s**2 + 20*s - 14. Let c be z(11). Let i = c + -373. Is i a multiple of 16?
False
Suppose -5*m + 2*v = 7*v + 15, 2*v + 1 = -m. Let l = m + 97. Is l a multiple of 19?
False
Let f = 11526 - 5274. Does 40 divide f?
False
Suppose 6*o - 4417653 - 2742519 = -601*o. Is 11 a factor of o?
False
Suppose h + 3*h = -2*h. Suppose h = 2*u - y - 78 - 37, 5*y = u - 71. Is u a multiple of 26?
False
Let i = 5274 - -15351. Does 125 divide i?
True
Let c(s) = -6*s**3 - 3*s**2 - 2*s. Let n be c(-1). Suppose 3*q + 3*m = m + 698, 2*q = n*m + 440. Is 10 a factor of q?
True
Suppose 26637 = 5*w - 3*u, -18*w + 21311 = -14*w - u. Is 111 a factor of w?
True
Let f(w) = w**2 - 3 - 7 - 45. Let n be 12/2 + (0/(-14) - -11). Does 13 divide f(n)?
True
Suppose -4*h + 145 - 133 = 0. Suppose 2*c = 4*c, 0 = -y + h*c + 232. Is y a multiple of 12?
False
Let j = -230 - -48. Let o = 124 + j. Let h = o + 104. Is h a multiple of 17?
False
Let f = 77 + -50. Let v(a) = -a**3 + 28*a**2 - 29*a - 30. Let u be v(f). Is (u*1)/(51/(-34)) a multiple of 14?
True
Suppose 3*r = -7*r + 50. Let l(f) = 44*f - 94. Is l(r) a multiple of 11?
False
Let q be -8 - 203/(-35) - 1/(-5). Let m(b) = 15*b. Let o(l) = l - 1. Let p(d) = -m(d) + 2*o(d). Does 15 divide p(q)?
False
Let o(p) = 3*p**2 - 16*p - 24. Let d be o(6). Let a(z) = 4*z**2 + 10*z - 37. Is 26 a factor of a(d)?
False
Let f be 8992/(-88) - (6/(-11))/3. Is 4 a factor of (4 - f/(-27)) + (-3236)/(-18)?
True
Suppose 0 = r + 4*a - 3516 - 3620, 0 = 5*r + 4*a - 35616. Suppose -82*n + 102*n = r. Does 15 divide n?
False
Let g(a) = -a**3 + 10*a**2 - 11*a + 20. Let h be g(9). Suppose h*y = -437 + 647. Does 15 divide y?
True
Let i = 81 + -62. Suppose 0 = -i*f + 18*f + 2. Is 20 a factor of ((-69)/f)/(-1)*14/3?
False
Let y = -221 + 107. Let l(z) = 15*z**2 - 1195*z - 110. Let j be l(80). Let d = y + j. Is 22 a factor of d?
True
Let o be (-8800)/9 - 34/153. Let j be 0 + o/(-16) - 1/8. Let r = -40 + j. Is r a multiple of 12?
False
Let l = 32338 - 17470. Is 28 a factor of l?
True
Let v(s) = -79*s - 5 + 26*s**3 - 10*s**3 - 82*s - 2*s**2 + 163*s. Is v(3) a multiple of 83?
Tr