). Let p = -1530 - l. Does 19 divide p?
False
Let u = -323 + 326. Is 5 a factor of 854/u + 18/(-27)?
False
Let o(f) = f**2 - 2*f - 4. Suppose 2*p - 20 + 6 = 0. Suppose 3*y = k, 2*k + 10 = 3*y - p*y. Is 5 a factor of o(k)?
False
Suppose 0 = -3970*q + 4003*q - 24750. Is 15 a factor of q?
True
Suppose -4917 = -112*y + 25659. Is 10 a factor of y?
False
Suppose -5*z + 2*u = -1192, 0*z - 5*z - 4*u = -1186. Let i be 18/2*z/21. Let k = i + -56. Is k a multiple of 11?
False
Does 39 divide -1 + 2270 + (-502 - -495)?
True
Let l be (1352/(-32) - -3)*8. Let h = -174 - l. Is h a multiple of 51?
False
Let n(w) = 28*w**2 - 2*w + 32. Let a be n(5). Let p = -169 + a. Is 14 a factor of p?
False
Let a(z) = 96*z - 102. Let k be a(14). Suppose k + 5478 = 15*w. Is 14 a factor of w?
True
Does 11 divide (-47110)/(-21) + -3*(-4)/18?
True
Suppose 39*r - 45*r + 5148 = 0. Is r a multiple of 3?
True
Let n(w) = w**3 + 82*w**2 + 179*w - 1005. Is 311 a factor of n(-64)?
True
Suppose 0*v + 27*v - 54255 = 33279. Is 4 a factor of v?
False
Let n be -2*(-5 - (-7)/2). Let j(s) = 7*s**3 - 4*s**2 - 2*s + 9. Is j(n) a multiple of 52?
True
Let i = -1534 + 25614. Is 56 a factor of i?
True
Let s = 552 - 368. Suppose 3*j - 7*j - s = 0. Is 6 a factor of 208/7 + j/(-161)?
True
Let b(y) = -642*y - 195. Is 15 a factor of b(-2)?
False
Suppose 8037 = 8*k - 17483. Is k a multiple of 71?
False
Let g = -50 + 46. Let j be (36/(-15))/g*(2 - 7). Does 17 divide (-1)/(9/(-2976)) + (-1)/j?
False
Suppose 2*b + 8*l - 4*l = 10, -2*l - 7 = -3*b. Suppose -1232 = -3*y + 3*n - 2*n, -b*y - 5*n = -1256. Does 7 divide y?
False
Suppose -5*b + 2*j = j - 6, 4*j - 24 = -4*b. Suppose -b*u - 121 = -451. Suppose 0*n + u = 3*n. Does 9 divide n?
False
Let o(k) be the first derivative of -7*k**2/2 + 155*k + 68. Does 31 divide o(0)?
True
Let f = -13043 + 14792. Is f a multiple of 45?
False
Let k = -142 + 142. Is 8 a factor of 72 + 0 + k*7/42?
True
Let d = 22 - 13. Suppose -12*a + 8177 = a. Suppose 3*z + 309 = 2*k, -a = -4*k - d*z + 4*z. Is 15 a factor of k?
False
Suppose 3*z - 73*z = 72*z - 569988. Is z a multiple of 9?
True
Suppose -2*k - 51 = 3*t, -5*k - 30 - 30 = 3*t. Is (-6325)/t + (-55)/15 + 4 a multiple of 25?
False
Does 7 divide (-443)/(-886) - (-2 - (-34)/8*-298)?
False
Let f(r) = 25 + 34*r + 13*r + 57 - 15*r + r**2. Is f(-34) a multiple of 8?
False
Is 29 a factor of (-5414643)/(-390) + 6/20?
False
Suppose 0 = 6*u - 57801 - 71127. Is u a multiple of 34?
True
Suppose 779*b - 2475 = 774*b. Suppose -b - 369 = -2*s. Is s a multiple of 48?
True
Let u be (-4)/5*-5*1. Suppose -363 = -u*g - 95. Let x = 131 - g. Is 8 a factor of x?
True
Suppose -u - 102 = -0*u - 4*w, 5*u + 529 = w. Let o(y) = 121*y - 546. Let p be o(4). Let a = p - u. Does 11 divide a?
True
Let r = 4847 - -13713. Is 80 a factor of r?
True
Let o = 2945 + -2065. Does 16 divide o?
True
Suppose 0 = t + 16 - 87. Suppose -4*m = 3*s + t, -5*m + 3*s = -s + 81. Is 6 a factor of (-18 - m) + (29 - -1)?
False
Let o be 3 + (-1 - 2) - 8720*1. Is 2 a factor of o/(-120) + -1*2/(-6)?
False
Suppose -25 = 2*r - 7*r. Suppose 0 = -r*c - 101 - 524. Let i = c - -213. Is 22 a factor of i?
True
Suppose 8 = 2*o - 402. Suppose 4*d = -d - o. Let j = d - -55. Is j a multiple of 8?
False
Suppose -n = -4*j + 104 - 330, -5*n - 2*j = -1020. Let f = -112 + n. Let l = 182 - f. Is l a multiple of 22?
True
Let f(m) = 11*m**2 + 69*m + 117. Is f(-21) a multiple of 17?
True
Suppose 0 = -588*x + 599*x - 99. Let t(i) = 15*i + 108. Is t(x) a multiple of 3?
True
Let m = -132 + 98. Let w be 6/(-15) - 3/30*m. Suppose -10*y + 624 = w*y. Does 8 divide y?
True
Let n(k) = -2*k**3 + 104*k**2 + 88*k - 397. Is 13 a factor of n(38)?
False
Suppose -2*x + b = -34990, 0 = -4*x - b - 36116 + 106102. Is x a multiple of 19?
False
Is 8 a factor of 1*-8431*((-1464)/1708 - 1/7)?
False
Let q(a) be the second derivative of a**6/90 + a**5/15 - a**4/4 - 2*a**3 + 14*a. Let r(y) be the second derivative of q(y). Does 27 divide r(-6)?
False
Suppose 28 - 39 = -v. Suppose -4480 = -18*w + v*w. Is 40 a factor of w?
True
Suppose 22*c - 35*c = -4056. Let s = -204 + c. Is s a multiple of 12?
True
Suppose g = 6*a - 9*a + 8936, -3*a - 3*g = -8946. Is a a multiple of 13?
True
Let l be (-15)/((-105)/(-2)) - (-598)/(-14). Let a = l + 42. Does 14 divide a*(-2)/(-7) - (-25058)/238?
False
Suppose 2*o + 154 = 9*o. Let q be o - (1 + 2 + -3). Suppose 5*a - q = 4*a. Is 8 a factor of a?
False
Let c = -274 - -338. Suppose 0 = l - r - c, 3*r + 216 + 40 = 4*l. Is l a multiple of 14?
False
Let f(j) = -3*j**3 + 2*j**2 - 3*j + 2. Let u be f(1). Is 17 a factor of (-18711)/(-27) - 8/u?
True
Let q(p) = -p**2 - 3*p - 1. Suppose -6*u - 7 - 11 = 0. Let v be q(u). Does 17 divide 408/(-96)*(-28 + (v - -1))?
True
Let d(v) be the third derivative of -v**4/4 + 12*v**3 - 9*v**2. Let w be d(21). Is 50 a factor of (-1)/(-3) + (-16182)/w?
True
Let i be 847 + ((-4)/20)/(2/(-30)). Suppose 2194 - i = 6*o. Is 7 a factor of o?
True
Let x = 818 - -353. Suppose 5*g = -4*v + x, -13 = -v + 3*g + 267. Is 13 a factor of v?
False
Suppose 67*o - 43458 = 650 + 47347. Is 16 a factor of o?
False
Suppose -6*y + 179 + 61 = 0. Let t = y + -37. Suppose 108 = -t*i + 5*i. Does 27 divide i?
True
Suppose 10*v = 7*v + 33. Suppose 2*b - 10 = -b - 2*l, 3*b = -l + v. Is 22 a factor of b/(7/((-756)/(-8)))?
False
Suppose p = -3*z + 71 + 204, -810 = -3*p - 4*z. Let o = p + -136. Is o a multiple of 10?
True
Let j(r) = 1045*r + 2095. Let f be j(-2). Suppose 4*q = 3*s - 0*q, 4*s = -q. Suppose -25 = -2*k + f*v, 5*v = -s*k - 3*k + 50. Does 6 divide k?
False
Let t = 448 - 237. Let u = t + -127. Is 26 a factor of u?
False
Is 3*(-16)/36 - (-2941)/3 a multiple of 11?
True
Let g be 252/(-30)*1*-15. Suppose -5*q = -4*w + 238, 5*w - 3*w + q - g = 0. Suppose -2*a + 4*p = -w, -3*a + 0*a - 5*p + 148 = 0. Does 25 divide a?
False
Let o = 6295 + -5838. Is 179 a factor of o?
False
Let m(t) = -t**3 + 9*t**2 + t - 3. Let w = 3 - -6. Let p be m(w). Let l(y) = -y**2 + 6*y + 12. Is 12 a factor of l(p)?
True
Suppose 2*r - r = -4*s + 194, -10 = -5*r. Suppose -425 = -7*c + 121. Suppose -49*a + c = -s*a. Is a a multiple of 13?
True
Let k(y) = 16*y - 48. Let d(h) = -16*h + 49. Let q(r) = 3*d(r) + 2*k(r). Is 24 a factor of q(-16)?
False
Let p = -200558 + 345998. Is (p/(-192))/(3/(-4)) a multiple of 73?
False
Suppose 0 = -8*j + 7*j + 21. Suppose -17*a - 1444 = -j*a. Does 19 divide a?
True
Let w(d) = d**3 - 7*d**2 + 14*d - 14. Let m be w(5). Does 14 divide 1 - ((-6058)/m - 1/3)?
False
Suppose -39593 = -3*o - 2437 + 6839. Does 35 divide o?
True
Is ((-6)/18)/((-1)/90)*(359 + 7) a multiple of 20?
True
Let b(a) be the first derivative of 267*a**2 + 25*a - 231. Is b(1) a multiple of 43?
True
Suppose -4 = 4*d + 3*s, -5*d + 0 = 2*s - 2. Suppose d*i - 221 = 1. Let h = i + -39. Does 10 divide h?
False
Suppose 4*z - 2 = -2*t, 3*t + 0*t = -5*z + 3. Suppose -5*v + 1100 = -5*y, -16*v + 21*v - 3*y - 1110 = z. Is v a multiple of 15?
True
Suppose 0 = -3*r - 2*r + 25. Suppose 4*a = -8*v + 7*v + 15, a = -4*v - 15. Suppose 0 = f + 4*m - 71, 0*f - 355 = -a*f - r*m. Is 12 a factor of f?
False
Let w = 69 + -17. Let x be (-15)/2 - 26/w. Is 2 a factor of (-22)/x*(5 - (-6 - -7))?
False
Does 11 divide 176*(1 + 8 - (-30 - -16))?
True
Suppose 2*f = -9*f - 77. Let l(u) = 4*u**2 + 11*u + 6. Is 25 a factor of l(f)?
True
Let i(y) = 125*y + 185. Let h be i(13). Let w = -1066 + h. Does 8 divide w?
True
Suppose 9*k = 10*k - 97. Suppose 0 = -2*u + 35 + k. Let j = 168 - u. Is 27 a factor of j?
False
Suppose -4*s + 54 = -5*g, -10 = -2*s + s + 3*g. Suppose -s*w + 2298 = -13*w + 3*d, -3*d - 1537 = -2*w. Does 13 divide w?
True
Let p = -534 + 1715. Is p a multiple of 5?
False
Let a be (-25 + 10)*5/5. Does 26 divide (24*66/a)/(3/(-15))?
False
Let x(c) be the second derivative of c**5/20 - 23*c**3/6 - 18*c**2 + 16*c. Is x(9) a multiple of 54?
True
Let k(l) = -219*l - 9. Let o be k(-1). Let t = -175 + o. Does 5 divide t?
True
Let f(u) = u**2 - 21*u - 30. Let v = -76 - -67. Is f(v) a multiple of 29?
False
Let w(i) = i**3 - 12*i**2 + 3*i - 8. Is 6 a factor of w(14)?
True
Suppose -12654 = -5*t - 8*t - 5*t. Is t a multiple of 8?
False
Let d(f) = 10*f**2 - 91*f + 511. Let o(k) = 2*k**2 - 23*k + 128. Let s(x) = 2*d(x) - 9*o(x). Is 45 a factor of s(-24)?
False
Let q(l) = l**