 + 5*n = 101, 0 = -2*n - r. Is i a multiple of 14?
False
Let f(a) = 5*a**2 + 21*a + 3. Let y be f(-4). Is 36 a factor of (-168)/((1/3)/y)?
True
Let w = 4727 + -1632. Does 21 divide w?
False
Let v = -526 + 529. Let n(m) = 21*m**2 - m. Is 6 a factor of n(v)?
True
Suppose -g + 3 = 0, -5*p + 0*g + 11247 = -g. Does 12 divide p?
False
Is 3 a factor of 8/(-6)*(1149/(-3) + -7)?
False
Let t = -183 + 310. Let x = 384 - t. Does 10 divide x?
False
Suppose -1665*p + 1651*p + 62062 = 0. Is 143 a factor of p?
True
Let k(z) = 335*z - 3728. Is 13 a factor of k(79)?
True
Let d be 19/(-38)*(-15 - 1). Suppose -4*q = d*q - 1404. Does 20 divide q?
False
Suppose 0 = -6*x - 23*x. Suppose -w + 13*w - 1596 = x. Does 38 divide w?
False
Let u(w) = -w**2 + 4*w + 1. Let o be u(5). Let v(j) = -2*j**2 + 7*j + 30. Let n(c) = -c**2 + 4*c + 14. Let a(l) = -7*n(l) + 3*v(l). Is 6 a factor of a(o)?
True
Suppose 2*k = 3*g + 6, 2*k + g = 5*k - 9. Suppose k*r - 3*h - 205 = 2*r, r - 2*h = 203. Suppose -3*q = 6, r = 3*o + 3*q - 47. Is 20 a factor of o?
False
Let v(g) = -127*g - 16. Let i be 1/(1/(-3) + 0). Does 12 divide v(i)?
False
Let x = -2737 - -5007. Let r = -1297 + x. Does 12 divide r?
False
Suppose -4*t - 49 + 69 = 0. Suppose -3*h - 16 = -t*p + 5303, 0 = 5*p + h - 5327. Is p a multiple of 56?
False
Suppose -g + 2*v - 490 = 0, 2 = -3*v - 1. Let x = -253 - g. Is 9 a factor of x?
False
Let d = 23 - 17. Let f = 5 - d. Does 12 divide (-34)/3*(-4 - f)?
False
Let x(c) = 49*c + 102. Let y be x(-2). Suppose y*m + 637 - 4435 = -2*z, 3*m - 2847 = -z. Does 31 divide m?
False
Let p(i) = -28*i - 13. Let u(v) = v**3 + 8*v**2 - 9*v + 6. Let s be u(-9). Let g be p(s). Let t = -65 - g. Is t a multiple of 14?
False
Suppose -2*w + 2 = 0, 0 = -3*a + 12*w - 9*w + 17697. Is 20 a factor of a?
True
Suppose 2*k - 3267 = -5*m, 5*m + 5237 = 2*k + 1980. Is k a multiple of 5?
False
Suppose 6*r + 3*r - 270 = -3*d, -5*r + 5*d = -130. Suppose 5*y - 4 = x - 8, 0 = -y - 4*x + 16. Suppose r*v - 30*v + 208 = y. Is 13 a factor of v?
True
Suppose 2*x - 15943 = -793*u + 798*u, 2*u - 31898 = -4*x. Is 4 a factor of x?
False
Suppose 4*c + 2*t - 3874 = 0, 0 = 6*c - 5*c - 4*t - 982. Let q = 1450 - c. Is q a multiple of 20?
True
Let k = 7 + -2. Let b be (-1 + 0)*(k + -5). Let l(j) = -j**3 + j**2 + 100. Is 25 a factor of l(b)?
True
Is 43 a factor of -1*(45/10)/(-9) - 89022/(-12)?
False
Let z(u) = -71*u + 87. Let q(f) = 143*f - 170. Let b(w) = -6*q(w) - 13*z(w). Does 13 divide b(3)?
False
Let l = 445 - 439. Suppose -4*u = 0, -l*u + 557 = q - 9*u. Is q a multiple of 26?
False
Let d = 7437 + -5888. Is d a multiple of 2?
False
Suppose -48 = -3*i + 2*r - 7*r, 2*r = 0. Suppose 5*h - 4*n - 30 = 0, -11*h + i*h = -n + 5. Does 8 divide h/(-4) - -417*7/14?
True
Let p(i) = -2*i**2 + 12*i. Let s be p(5). Let c = 18 - s. Let g(o) = o**3 - 5*o**2 + 7*o - 12. Is 29 a factor of g(c)?
False
Let f(q) = -q**2 - 15*q - 32. Suppose 0 = 3*w - 5 + 44. Let g be f(w). Is 12 a factor of (-2)/g - (-1850)/30?
False
Suppose 3*s - 3 = b + 7*s, -2*b - s = -8. Suppose -3*q + 0*d = -b*d + 10, 0 = 2*d - 4. Suppose q = 13*u - 356 + 31. Is 5 a factor of u?
True
Suppose -5*m = u + 6, -m - 3*m - 20 = -3*u. Is 44 a factor of (12/14)/(((-8)/m)/1876)?
False
Let y(n) = -3*n**3 + 36209. Is 39 a factor of y(0)?
False
Is 8 a factor of -4 - (7/(-3)*(-19 - -22) - 8453)?
True
Let f(j) = 2*j**3 + 66*j**2 + 88*j - 132. Does 3 divide f(-31)?
True
Let s be 10/4*46794/165. Suppose s = -26*w + 4947. Does 3 divide w?
False
Does 16 divide (427 - 433)/(27/2292*(-2)/3)?
False
Let l = 106 + -98. Let p(r) = 4*r**2 + 14*r - 15. Is p(l) a multiple of 24?
False
Let m(s) = -6*s - 5. Let u be m(-1). Let i be u + -2 - ((5 - -199) + 4). Let y = -137 - i. Is y a multiple of 8?
True
Let k = 30 + -54. Let x be k/(-36)*(5 - -1). Suppose 64 = x*u - 0*u. Is 11 a factor of u?
False
Let n be (-122 + 2)/((-3)/(-6)). Is 25 a factor of n/16*(-5 + 0)?
True
Suppose -29*o + 6*o = 15594. Let b = 984 + o. Is b a multiple of 17?
True
Let n(s) = -37*s - 6. Suppose 0 = -6*v - 18. Let b be n(v). Let w = b + -66. Is w a multiple of 13?
True
Let l = 19077 - 16053. Is l a multiple of 14?
True
Suppose -2*w = 4*p - 800, 5*p + 403 - 1988 = -4*w. Is 9 a factor of w?
False
Suppose -5338*g - 1775 = -5363*g. Suppose -5*i = -4*p + 112, -2*p = -2*i - 9 - 45. Let q = g + p. Is q a multiple of 22?
False
Suppose 4*i - 1 + 8 = -5*w, -5*i + 19 = -3*w. Suppose i*r - 5*j - 93 = 0, 10*r - 5*j = 6*r + 211. Is 8 a factor of r?
False
Let x = -73 - -67. Let r(a) be the second derivative of -17*a**3/3 - 3*a. Is r(x) a multiple of 27?
False
Suppose 3*f + 2469 = -0*a - 3*a, -f - 4*a - 829 = 0. Let b = -396 - f. Suppose -p = -6*p + b. Is 11 a factor of p?
False
Suppose 3*t = 4*o + 1639, -8*t + 9*t - 1228 = 3*o. Let v = -123 - o. Is v a multiple of 11?
True
Suppose 3*i = 2*i + 3*u + 21, 5*u = -2*i - 13. Suppose -6*s = -4*s + i, 4879 = 5*g - 3*s. Is 10 a factor of g?
False
Suppose -14*b + 559731 = 5*b + 115606. Does 55 divide b?
True
Suppose 30*k - 145031 - 232969 = -110*k. Is 4 a factor of k?
True
Let n(o) = -o**3 - 19*o**2 + 54. Let i be n(-19). Let z(f) = -f**3 + 55*f**2 - 52*f - 61. Is z(i) a multiple of 17?
False
Suppose -4*b - 22*c = -17*c - 10545, 13203 = 5*b - c. Is b a multiple of 88?
True
Let x be (-3)/(135/2964) + 2/(-15). Let m = 89 + x. Suppose -m - 612 = -5*h. Is h a multiple of 26?
False
Suppose 0 = 4*q - 1407 - 5205. Does 3 divide q?
True
Is 24 a factor of 185400/17 - (-300)/2550?
False
Suppose -3186 = -832*f + 838*f. Does 45 divide (f/6 + -5 + -1)*-2?
False
Let j(f) be the third derivative of -f**4/4 + 5*f**3/2 - 8*f**2. Let g be j(-6). Let l = 31 + g. Is 16 a factor of l?
False
Let z = -468 - -618. Is z a multiple of 15?
True
Suppose -3368 = -3*y + q, 83*y - 82*y - 1130 = 4*q. Is 34 a factor of y?
True
Does 12 divide ((-66)/5)/((-160)/129600)?
True
Let v(n) = -n**2 - 7*n + 3. Let r be v(-7). Is 53 a factor of (3 - ((-16175)/(-15))/(-5))*r?
False
Let y be 2/((-4)/(-38))*2. Let p be (60/50)/((-6)/(-15)) - 21. Let x = y + p. Does 10 divide x?
True
Suppose 32*z = -6*y + 29*z + 111477, -2*y - 3*z = -37157. Does 78 divide y?
False
Let u(l) = -2*l**2 - 2*l + 5. Let g be u(3). Let h = 3 + g. Let p = -11 - h. Does 5 divide p?
True
Let z(q) = -10*q**2 - 7*q + 12. Let a be z(6). Let d = 406 + a. Does 8 divide d?
True
Let n = 3451 + -2008. Suppose -4*m + 213 + n = 0. Is 9 a factor of m?
True
Is 89 a factor of ((278/(-5))/(-1))/(18/90)?
False
Let j(r) = r**3 - 8*r**2 + 12*r + 8. Suppose -7*u + 8 = -6*u. Let n = -1 + u. Does 19 divide j(n)?
False
Let q(d) = -8 - 34*d + 7 - 43*d - 4. Let t be q(-10). Is (t/(-2))/(-5)*2/3 a multiple of 7?
False
Let k be (-539)/3 - 4/3. Let h = 386 + k. Is 5 a factor of h?
True
Let w(g) = 168*g - 417. Is w(19) a multiple of 33?
False
Suppose -383*d = -3545551 - 986562 - 2630370. Does 127 divide d?
False
Suppose 53*v - 24113 = 3*v + 22237. Is v a multiple of 8?
False
Suppose -i - i - 4*q + 504 = 0, 2*i = 4*q + 472. Suppose -i = -15*s + 311. Does 37 divide s?
True
Suppose 8*k - 10 = 3*k. Let p be (21/2)/(k/120). Suppose 26*u - 21*u - p = 0. Is 14 a factor of u?
True
Suppose 22*w - 50976 = 112984 + 93594. Does 23 divide w?
True
Let z = 33 - 33. Suppose z = q - u, -21 = q - 5*u - 1. Is 18 a factor of 16*((-45)/(-2))/q?
True
Let l = -101 + 105. Suppose 3*h + l*w = 3*w + 354, 3*h - 369 = 4*w. Is h a multiple of 17?
True
Let p(r) = -r**3 + 4*r**2 - 2*r + 55. Let w(f) = f**2 + 4*f - 28. Let u be w(-7). Is p(u) a multiple of 38?
True
Suppose -3*b + 15*m = 13*m - 18, -17 = -b - 3*m. Does 19 divide (-1)/(3 - (b + -6)) - -780?
True
Let h be 10 + 8 + (0 + -1)*-5. Let r(d) = 68*d - 80. Does 14 divide r(h)?
True
Let o(z) = -8*z + 0*z + 3*z - 10. Let i be o(-3). Suppose -s = -i*u + 164, -4*u + 0*s = -s - 131. Does 11 divide u?
True
Let v be -61*1/5 + (-78)/(-390). Is 10 a factor of 1*((-2)/v - (-2381)/6)?
False
Suppose 0 = -5*o + w - 169, 4*o + 0*w = w - 135. Let p = o - -154. Is 26 a factor of p?
False
Let j(g) = g - 25. Let i be j(13). Let v = i - -64. Does 12 divide v?
False
Let p(f) = f**3 + 19*f**2 + 19*f + 20. Let h be p(-18). Suppose h*x - 1058 = -5*k - x, 3*k + 5*x - 622 = 0. Does 18 divide k?
False
Suppose -8*w + 1839 = -30721. Does 37 divide w?
True
Let v(y) = -y**3 + 41*y**2 - 21*y - 1254. Is 18 a factor o