n - 23*n - 3*d = 29090, -4*d + 29076 = 2*n. Is 22 a factor of n?
True
Let m = -343 - -751. Let i = m - 9. Is i a multiple of 19?
True
Let d = -1 + 5. Suppose d*q + 12 = 8*q. Let n(r) = -r**3 + 4*r**2 + 4*r - 6. Does 6 divide n(q)?
False
Let o = -577 - -577. Suppose -3*l + 2*i + 170 = o, -251 + 28 = -4*l - i. Is 14 a factor of l?
True
Let d = 126 - 107. Let p(g) = 2*g**2 - 8*g + 60. Does 23 divide p(d)?
False
Suppose 0 = -h + 4*v + 10900, 5*h = -3*v + 90571 - 36071. Is h a multiple of 11?
False
Let d(c) = -108*c + 1664. Does 5 divide d(13)?
True
Let z(y) = 71*y + 26. Let w(d) = -d + 22. Let m be w(17). Is z(m) a multiple of 29?
False
Let k = -13 + 15. Let m be (-3 + k)/((-14)/(-12) + -1). Is 42 a factor of (-1012)/(-6) + m/9?
True
Let t(j) = j**2 + j - 112. Let i be t(0). Let v = -82 + 64. Is 17 a factor of (i/7)/(4/v)?
False
Suppose h - 15 = -3*u, 2*h + 6*u = 2*u + 24. Suppose -h*c + 1027 + 233 = 0. Is 14 a factor of c?
True
Let j(k) = -2*k**2 - k. Let q be j(0). Suppose q = 3*d + 4*y + 228, 3*y + 318 = -5*d - 62. Is 7*d/(-6) + (-15)/(-45) a multiple of 19?
False
Let g be ((-171)/5)/(1/(-15)) - -3. Suppose -g = -3*f + f. Suppose 4*v - 5*x - 156 = 0, 2*x = -4*v + f - 74. Is 4 a factor of v?
True
Let p = 185 - 169. Suppose 21 = 6*s - 27. Is (-1068)/p*s/(-6) a multiple of 13?
False
Suppose 182*x = -3*x - 39*x + 144928. Does 11 divide x?
False
Suppose -k - 10 = 3*j, 14 = 5*k - 2*j + j. Suppose 6*a - 16 = k*a. Suppose -a*w + 75 = -45. Is w a multiple of 30?
True
Let c be (1581/(-323) - (-4)/(-38)) + 7. Suppose 5*i = -5*t + 1010, -5*i + i = c*t - 412. Does 14 divide t?
False
Let q(y) = 4*y**2 - 5. Let w be q(-5). Let t(o) = -36*o**2 - 537*o + 63. Let d be t(-15). Let p = w - d. Is p a multiple of 11?
True
Suppose -2*a - 4*n = -18, 2*a = 6*n - n + 27. Does 16 divide (38/4)/(a/352)?
True
Suppose 12 = 2*u - 3*n, 11*u + 4 = 12*u - n. Suppose -12*t + 1104 + 1416 = u. Is 30 a factor of t?
True
Let p(l) = l**3 - 3*l**2 + 4*l - 104. Let a be p(0). Does 3 divide (-11 - -151)/(-14)*a/10?
False
Let l be 3/(6 + (4 - 9)). Is 10 a factor of (-2 + l)/((-4)/(-3660)*5)?
False
Suppose 215 = 2*d + z, 0*z + 340 = 3*d + 5*z. Let i = 165 - d. Suppose -4*n = 5*y - i - 200, 2*y - 104 = 2*n. Is 6 a factor of y?
False
Is -1 - -1 - (-519156)/33 a multiple of 85?
False
Let d(f) = -f**2 - 4*f + 4. Suppose h + 3*h - 2*o = 8, -h = 3*o + 12. Let u be d(h). Suppose -4*g = 2*l - 190, -u*g - l - 48 = -239. Is g a multiple of 3?
True
Let d = -9689 + 19509. Is 8 a factor of 2/12 - d/(-120)?
False
Let y = -9572 - -29615. Is y a multiple of 10?
False
Let x = 300 - 300. Suppose x = 13*f - 731 - 192. Does 2 divide f?
False
Suppose 6*w = -2 + 20. Suppose w*h - o = -h + 15, 5 = o. Suppose 3*q + 5*z = 379, -h*z = q + 3*q - 502. Is 41 a factor of q?
True
Let s(j) be the third derivative of -j**4/2 - 10*j**3/3 + 3*j**2 - 12. Let n(z) = -z**3 - 5*z**2 - 3*z - 3. Let k be n(-4). Is s(k) a multiple of 16?
True
Suppose 12*x - 3985 = -1165. Suppose -5*a + 4*f = -505, -2*a + x = -f + 36. Does 4 divide a?
False
Let h(m) = -107*m**2 - 23*m - 51. Let a(j) = -160*j**2 - 34*j - 77. Let y(t) = 5*a(t) - 8*h(t). Is y(-2) a multiple of 11?
False
Let w = 16 - 10. Let p be (8/w)/(6/486). Let q = p + -23. Is q a multiple of 17?
True
Let w be (1 + 9)*(-28)/(-5). Suppose -33 = -3*y + 5*u, -5*y - u + w - 1 = 0. Is y a multiple of 8?
False
Let z(c) = c. Let r(w) = -2*w**2 + 2*w + 31. Let l(s) = -r(s) - 5*z(s). Is l(-11) a multiple of 18?
True
Let a(q) = 6*q**2 + 3*q + 18. Let i(j) = 6*j + 2. Let c be -2*((-2)/(-14))/(24/84). Let g be i(c). Is 18 a factor of a(g)?
False
Let x = 7 - -1. Let g be 8/4 + -5 + x. Suppose -3*t - 4*o = -o - 120, -g*o = 3*t - 126. Does 15 divide t?
False
Let h = 454 + -454. Suppose h = -3*v - d + 561, d - 168 = 4*v - 923. Is 12 a factor of v?
False
Let b(y) = 34*y**2 + 63*y + 1057. Does 60 divide b(-34)?
False
Let n(b) be the second derivative of b**4/3 + 8*b**3/3 + 15*b**2 - 2*b - 21. Is n(-7) a multiple of 6?
True
Let j = -620 - -686. Suppose j - 444 = -v - 5*d, 1096 = 3*v - 4*d. Does 23 divide v?
True
Suppose -2*d + 4980 + 45694 = -3*h, -h - 126698 = -5*d. Is 140 a factor of d?
True
Let y(q) = -4*q**2 - 342*q - 79. Is y(-85) a multiple of 3?
False
Suppose 18*z + 164 - 668 = 0. Is 5 a factor of 16/z - 2295/(-63)?
False
Let q = 5 + 4. Let b = q - 6. Is 11 a factor of (-4)/6*-31*b?
False
Let m(i) = i**3 + 9*i**2 + 10*i + 19. Let b be m(-8). Suppose -d + 152 = 4*w, -2*w - 465 = -b*d + 61. Does 43 divide d?
True
Let x(g) = g - 7. Let t be x(8). Suppose -t = h - z, -3*z - 19 = 4*h - 2*z. Does 4 divide (-162)/(-15) - h/(-5)?
False
Let r = -303 - -308. Suppose 28*l + 720 = 30*l + x, -r*x = 3*l - 1087. Does 13 divide l?
False
Let o(p) = -2*p**3 - 65*p**2 - 33*p + 12. Let z be o(-32). Is 41 a factor of 26/(-143) + 16244/z?
True
Let n = -562 + 2626. Does 16 divide n?
True
Suppose -2730*v = -2678*v - 3133936. Is 38 a factor of v?
True
Is (3 - (2 - -1)) + 47/((-940)/(-100320)) a multiple of 24?
True
Let n be -18 + 29 + 48/(-6). Suppose 4*l + 5*c = 20, -l + 4*l - 15 = 5*c. Suppose -n*x + 46 = p, 0 = -x + 2*p - l*p + 2. Does 3 divide x?
False
Suppose -p - 3*d + 6545 = 0, -2*d - 29648 = -4*p - 3496. Is p a multiple of 13?
True
Suppose -78*c + 1191154 + 578494 = -107188. Does 48 divide c?
False
Let t be (3 + -4)*10*4/(-8). Suppose 0 = -5*n + 15, 4*n - 528 = z - t*z. Does 4 divide z?
False
Let b be (-12 + 15)/(3/2). Suppose b*i = -c - 1720, 7*c = -3*i + 4*c - 2586. Does 8 divide (-28)/98 + (-1)/(14/i)?
False
Suppose 3*a = -0*a - 2*k + 1442, 4*a + k = 1916. Suppose -g - 4*o = -474, g - 10*o - a = -13*o. Is g a multiple of 7?
True
Let m = 437 + -431. Let w(u) = -2 + 1 + 4 + 45*u + 2. Is 25 a factor of w(m)?
True
Let d(v) be the first derivative of 3*v**4/4 + 35*v**3/3 - v**2 - 10*v + 57. Does 71 divide d(-8)?
True
Let s = -45614 - -66315. Is 69 a factor of s?
False
Suppose 0 = -5*b - 20, b - 1928 = l - 6636. Is 168 a factor of l?
True
Suppose -4*w - 9 = 3*k, -7*k = -3*k - w + 31. Suppose 33 - 109 = s. Let i = k - s. Is i a multiple of 10?
False
Let x = 118 - 135. Let y = x - -152. Is 15 a factor of y?
True
Let p(s) = -18*s + 13. Let d = -5 - 67. Let m = d + 64. Does 27 divide p(m)?
False
Let j(q) be the first derivative of q**6/72 + q**5/60 + 7*q**4/24 - 4*q**3/3 - 18. Let s(h) be the third derivative of j(h). Does 35 divide s(-6)?
True
Suppose 73*f - 22000 = 29*f. Is f a multiple of 3?
False
Is ((-318)/4)/(34 + (-187720)/5520) a multiple of 13?
False
Suppose -112*a = -106*a + 10410. Let u = -1058 - a. Is u a multiple of 33?
False
Let y = 7355 + 284. Does 5 divide y?
False
Suppose -8*z - 2407 = -7103. Is 162 a factor of z?
False
Suppose -4*b + 8 + 28 = -4*r, 4*r - 4 = 0. Let u = b - 6. Is -37*((-16)/u - -2) a multiple of 37?
True
Let v(y) = 42*y + 3. Let q be (-1 - -1) + 12 + 4. Suppose 12 = -4*m + q. Is 6 a factor of v(m)?
False
Suppose -13*s = 146 + 23. Is 39 a factor of (-13)/(s/6) + 145?
False
Is 60 a factor of 22 + ((-322)/(-14) - -9194)?
False
Suppose -14*p + 18*p - 6004 = 0. Let y = 293 + p. Is y a multiple of 69?
True
Let v = 5232 + -3936. Is 24 a factor of v?
True
Let f(m) = 7*m**2 - 333*m + 71. Is 108 a factor of f(59)?
False
Let i be (21/6)/((-13)/(-25610)). Suppose -8*k = -3585 - i. Does 10 divide k?
True
Suppose 2*r - 4*z - 36 = -0*r, -4*r = -4*z - 72. Let t be 9 - (3 + 3) - -11. Is t/(-3)*-13*r/12 a multiple of 13?
True
Suppose 169*v + 243*v - 7390092 = 271*v. Is v a multiple of 17?
False
Let v(c) = -67*c + 1386. Is v(0) a multiple of 63?
True
Let f(v) = -v**3 + 9*v**2 - 6*v + 20. Suppose 312 + 220 = 7*t. Let b = -68 + t. Is 10 a factor of f(b)?
False
Suppose 26 = -2*g - 5*t, 2*t - t - 5 = 3*g. Let u(q) = q**3 + 3*q**2 + 4*q + 2. Let i be u(g). Does 6 divide 21 - (2 + i/2)?
True
Suppose 18 + 2 = -5*m, 0 = -f + 5*m + 416. Let c = f - 260. Is 22 a factor of c?
False
Suppose -r + 0*y + 14 = 5*y, -3*r = 2*y - 3. Let s(k) = k**2 + k + 1. Let v be s(r). Does 14 divide (-60)/v*2/(-6)?
False
Suppose 0 = -2*j - 3*u - 55, -7*j = -6*j - 3*u + 23. Let d(h) = -h**2 - 29*h - 60. Does 6 divide d(j)?
True
Let l be (-12)/10*(-160)/16. Suppose 196 - 700 = -l*b. Is 15 a factor of b?
False
Let g(j) = 295*j**3 - 9*j**2 - 9*j + 45. Is g(3) a multiple of 9?
True
Let r(s) = -s**3 - 2*s**2 - 7. Suppose v - 6 = 3*v