j = -2*o - m, -6*o + 4*m - 1368 = -10*o. Does 5 divide o?
False
Let w = -297 - -1417. Does 54 divide w?
False
Let t be -13 + 9 + 1*2. Let j be (13 - 13)*1/t. Suppose -2*p + 19 = -3*u - 11, -4*p + 3*u + 48 = j. Is p a multiple of 2?
False
Let k = 1720 - 1097. Let m = k + -413. Does 14 divide m?
True
Let c be 4/(-6) - (4 + (-1442)/21). Is ((-96)/c)/(6/(-1240)) a multiple of 17?
False
Let s(b) = 9 - 8*b - 6*b**2 + 3 + 9*b**2 + 26*b**3 + 0*b**2. Is s(2) a multiple of 18?
True
Let u = 93 + -101. Let h(v) = v**3 + 9*v**2 + 10*v + 25. Let a be h(u). Let i(w) = -w**2 + 10*w + 31. Is i(a) a multiple of 4?
True
Let i be (-1)/(-2)*(2 + -296) - -3. Let r = i - -79. Let x = 34 - r. Is x a multiple of 9?
True
Suppose -84*w + 80*w + 4*m + 6028 = 0, -4*w + 6068 = 4*m. Does 4 divide w?
True
Let j = 157 - 161. Is 5 a factor of (-504)/j - 2*6/4?
False
Suppose 8*p - 3 = 7*p. Suppose -2*b = 2*q - 6*q + 110, 0 = p*q - 2*b - 83. Suppose o + 6*r = r + q, o - 23 = -r. Is 15 a factor of o?
False
Let o(m) = 5*m - 11. Suppose 0 = 4*z - 4*v - 32, 3*v + 3 = -7*z + 3*z. Let w be o(z). Suppose -w*n = -148 + 8. Is n a multiple of 5?
True
Suppose -2*q + 4 = 0, 4*g - 2*q - 4 = 2*q. Suppose 0 = g*i - 60 - 66. Suppose -625 = i*l - 47*l. Does 25 divide l?
True
Suppose -2*b + 17812 = 8*w - 6*w, -26711 = -3*w - 2*b. Is 27 a factor of w?
False
Suppose 0 = -b + 2*c + 62, -4*b - 3*c + 218 + 74 = 0. Let z = 3383 + -3406. Let r = z + b. Is 14 a factor of r?
False
Let g = -3950 - -9842. Does 12 divide g?
True
Let z(j) = 21755*j + 28. Is 59 a factor of z(1)?
False
Let z(a) = 2*a**2 + 20*a + 20. Let k be z(-9). Suppose 542 - 564 = -k*f. Is f a multiple of 11?
True
Let k = 203 + -11. Suppose 31*n = 19*n + k. Is n a multiple of 4?
True
Let l = -3463 - -4982. Suppose l = 4*y + 303. Suppose 0 = -10*n + 2*n + y. Is 10 a factor of n?
False
Let b = 440 + -244. Suppose -194*v - 68 = -b*v. Is 17 a factor of v?
True
Let m = 233 - 154. Let y = m + -76. Suppose -l + 3*c + 5 = 0, y*l + c = -l + 33. Is l a multiple of 8?
True
Let i = 2009 + -3664. Let q = 2675 + i. Is q a multiple of 17?
True
Let i be (-22)/(-253) - 22590/46. Let b = -354 - i. Is b a multiple of 5?
False
Let q(b) = -23*b - 17. Suppose 2*p = -8, 3*z - 5*p + 65 = -4*p. Let g = z + 16. Is 36 a factor of q(g)?
True
Let h(n) be the third derivative of -n**4/12 - 83*n**3/3 - 12*n**2. Let k(o) = -o - 55. Let j(v) = -3*h(v) + 10*k(v). Is 9 a factor of j(-23)?
False
Let n(d) = 6*d**2 - 199*d - 188. Is n(52) a multiple of 22?
False
Let f(l) = -1045*l + 187. Is 101 a factor of f(-5)?
False
Suppose -5*u + 3*j + 7145 = -9891, -4*j + 6830 = 2*u. Suppose -312*c = -305*c - u. Is c a multiple of 36?
False
Let a(x) = -6*x - 10. Let r(c) = 4*c - 30. Let b be r(7). Let l be a(b). Suppose 3*m - 4*k = 253, m - 3*m + l*k = -172. Is m a multiple of 15?
False
Suppose -7*l + l + 138 = 0. Suppose -4*z = -r - l, 0 = r + z - 0*z - 2. Does 16 divide (-434)/r - (30/(-9) - -4)?
True
Let x(n) = -5*n**2 + 29*n + 3. Let p be x(6). Is (486/p)/(6 - (-64)/(-10)) a multiple of 9?
True
Let h(r) = 359*r - 1693. Is h(5) a multiple of 34?
True
Let d(a) = 4*a**3 + 11*a**2 + 5*a + 2. Let m be d(-9). Let u be m/(-20) + 5/(75/9). Suppose g - u = -3*g. Does 7 divide g?
False
Let o = 1 + 22. Let h = o + -23. Suppose -2*j - j + 162 = h. Is j a multiple of 7?
False
Suppose 2*r + 15 = 29. Suppose -1 - r = -2*a. Suppose -a*l + 2*l + 28 = 0. Is 5 a factor of l?
False
Let w = -4413 - -9285. Is w a multiple of 20?
False
Let a(r) = 10*r + 123. Let o be a(-12). Suppose -2*p = -2*g + 64 + 52, -o*g - 2*p = -159. Is g a multiple of 5?
True
Suppose 5*f + 5*d - 17965 = 0, f + 4*f - 2*d = 17951. Let c be 2/3*f/42. Suppose -c - 11 = -2*w. Is 17 a factor of w?
True
Let y(u) be the second derivative of -23*u**5/10 - u**4/6 - u**3/2 + u**2/2 + 38*u. Is y(-2) a multiple of 21?
False
Let q(s) = -s**3 + 5*s**2 + 3*s - 5. Let r be q(5). Suppose 0*j + j - 4*t = -r, -45 = -4*j - t. Let d = 78 - j. Is d a multiple of 9?
False
Let v = 1856 - -2022. Is v a multiple of 35?
False
Suppose -497*m - 5880 = -511*m. Does 10 divide m?
True
Suppose 48*a = 820927 + 323009. Does 72 divide a?
True
Let q = 129 + -129. Suppose q = -6*a + 8*a - 800. Is 8 a factor of a?
True
Let h = -14 + -48. Let k = -154 + h. Let w = -148 - k. Is 10 a factor of w?
False
Suppose -4*c + 2*c + 6 = 0. Suppose c*z = 5*z - 6. Suppose -5*h + 5*g + 75 = g, h + z*g - 15 = 0. Is h a multiple of 4?
False
Suppose -46*j + 391691 = -514928 + 106679. Does 94 divide j?
True
Let d(t) = t**2 - 41*t - 297. Let s be d(-9). Is (-344)/(4 + s/(-36)) a multiple of 43?
True
Let m(y) = 3*y + 22. Let b be m(-6). Suppose -o + 52 = b*w + 3*o, 0 = 5*w + 2*o - 62. Let j(f) = f + 12. Is 12 a factor of j(w)?
True
Suppose 0 = -w - o + 2 + 1, w = 2*o - 12. Let m(k) = -6*k. Let x be m(w). Suppose 6*i = 2*i + x, 0 = -3*d + 3*i + 306. Is 15 a factor of d?
True
Let u(t) = 4*t**2 - 25*t + 42. Let l be u(6). Suppose l*z = 13*z + 6624. Does 16 divide z?
True
Let b(f) = 9*f + 2*f - 10 + 5*f. Let l = 6312 + -6303. Is b(l) a multiple of 12?
False
Let r(a) = -7*a - 47. Let n be r(-7). Suppose 2*d - 284 = -n*d. Let k = d - 20. Is 10 a factor of k?
False
Suppose 4 = m, s + 5*m - 14 = 4*s. Let q be (3 + (-15)/s)*-2. Is -6 + -5 + q + 203 a multiple of 35?
False
Let u = -84 - -56. Let q(d) = -28*d - 270. Is q(u) a multiple of 44?
False
Suppose 8485 = f + 5*m - 20142, 3*m + 143303 = 5*f. Is 17 a factor of f?
False
Let u = -627 - -386. Let v = u - -411. Is v a multiple of 13?
False
Let k be (-11 - -5) + (-32)/(-4). Suppose q - 4*a + 117 = k*q, 2*a + 141 = q. Is q a multiple of 19?
True
Let c(k) = 5*k**2 + 5*k - 33. Let h be c(5). Let u = 314 - h. Is u a multiple of 25?
False
Let g be (-2)/10 + (-132)/(-60). Suppose -s + 140 = i, -4*s - g*i + 171 = -379. Is 8 a factor of s?
False
Let f(z) = -22*z + 5. Suppose 4*w + 30 = c, 0 = -5*w - 3*c - 34 + 5. Let y be f(w). Let r = y + -88. Is 12 a factor of r?
False
Let x(s) be the second derivative of s**3/2 + 20*s**2 - 14*s. Is x(-6) a multiple of 15?
False
Let n(s) be the first derivative of -5*s - 1/4*s**4 + 0*s**3 - 22 + 1/2*s**2. Is n(-5) a multiple of 23?
True
Let o = -119 + 9141. Is o a multiple of 111?
False
Let z be 7 + (1 - (3 - (-2)/2)). Suppose -4*h - 2*g + 12 = 0, h - 3*h + 26 = -z*g. Suppose 4*w + 4 = -0*w, -h*k = 2*w - 273. Is k a multiple of 11?
True
Let t(w) = 41*w**3 - 46*w**2 + 39*w + 36. Let s(k) = 13*k**3 - 15*k**2 + 13*k + 11. Let n(g) = 19*s(g) - 6*t(g). Let x = 15 + -6. Does 17 divide n(x)?
False
Suppose -204864 - 85258 = -25*o + 8*o. Does 23 divide o?
True
Suppose 0 = 5*d - 31315 - 17915. Is d a multiple of 14?
False
Suppose -15*i + 14*i - 4*g = -4602, 2*g + 10 = 0. Does 78 divide i?
False
Suppose -9*j - 554 = 3172. Let r = j + 464. Does 10 divide r?
True
Let a be (-8)/6*(51/(-12) + -1). Let o = 27 - -11. Suppose 0 = a*v - 9*v + o. Does 5 divide v?
False
Let n = 13901 + -8504. Is n a multiple of 21?
True
Suppose -3*w + 40 = -4*n - 0*w, 4*n = -3*w - 16. Let d be ((20272/12)/n)/((-2)/3). Suppose 4*c = -g + 739, 2*c + 0*g = -2*g + d. Is c a multiple of 18?
False
Suppose 19 = -3*y - 5*v - 21, y - 4*v = -19. Let b(q) = -q**2 - 14*q + 19. Let k be b(y). Suppose -k*u + a + a + 272 = 0, 2*u + 5*a - 112 = 0. Does 22 divide u?
True
Let h(j) = 40*j**2 - 40*j + 150. Is h(-20) a multiple of 75?
True
Suppose 23838 + 332689 = 46*a - 81715. Is 48 a factor of a?
False
Let n(d) = 11*d + 172. Is 5 a factor of n(63)?
True
Suppose 2*c = -2*c + 692. Let a(v) = 6*v**2 - 26*v + 85. Let n be a(3). Let u = c + n. Does 17 divide u?
False
Suppose 5*i + 36 = 1306. Suppose 5*t - i = 356. Is 4 a factor of t?
False
Let h be ((-90)/(-25) - 2)/(4/10). Suppose 0*k - 24 = h*k. Let f(a) = -12*a - 37. Does 3 divide f(k)?
False
Suppose -4*f + 3*f = 4*s - 12, 4*s = -5*f + 44. Let g(i) = f*i**2 + 2 + 52*i + i**3 - 101*i + 0 + 42*i. Does 29 divide g(-8)?
True
Suppose 2*s - 12178 - 14484 = o, 2*s - 2*o - 26658 = 0. Is 19 a factor of s?
False
Suppose -2*h + 3451 = -4*y - 3429, -2*h + 1714 = -y. Let p be (y/15 + -4)/((-3)/10). Suppose 6*a - p - 288 = 0. Is 15 a factor of a?
False
Let h(j) be the third derivative of 4/3*j**3 + 11/24*j**4 + 0*j + 17*j**2 + 0. Does 13 divide h(11)?
False
Suppose 0 = 5*y + 3*k + 2, 5*y + k + 0*k - 6 = 0. Suppose -480 = -5*i - 5*v, 4*i + y*v 