e 6*n - 1126 = -36*b + 38*b, b = n - 185. Is 21 a factor of n?
True
Let b(r) = r**3 + 21*r**2 - 43*r - 45. Let f(v) = -v**3 - 20*v**2 + 43*v + 46. Let q(z) = -2*b(z) - 3*f(z). Does 4 divide q(-20)?
True
Is 27 a factor of (110 - 2)*38325/175?
True
Let j(v) = 7*v**2 + 7*v - 2. Let l be j(-1). Suppose -50 = -2*p - 3*p - 4*a, 2*p + a - 23 = 0. Is (-72)/(p/(-7)) - 2*l a multiple of 10?
True
Let b be (-52)/((-10)/15 + -3 + 4). Let m = b - -896. Is 20 a factor of m?
True
Suppose 0 = -9*j + 40841 - 10439. Let k = -1946 + j. Is 44 a factor of k?
False
Let r(q) = -176*q + 4. Let f be r(-1). Let h be (-36)/(-2)*f/(-27). Let a = h - -203. Does 5 divide a?
False
Let y = -4120 - -5892. Suppose 0 = 4*h - 4*z - y, -2*h + 2213 = 3*h - 3*z. Suppose 7*g = t + 9*g - 139, 3*t = -g + h. Does 22 divide t?
False
Let l(h) = h**3 + 5*h**2 + 4*h + 20. Let b be l(-5). Suppose b = -9*d + 14*d - 345. Does 30 divide d?
False
Let j(u) = -u**2 + 12*u - 9. Let t be j(11). Suppose -2*f - 2 = 0, -4*s - 7 = -7*s - t*f. Suppose 0 = -s*m - 15, 6*r - 3*r - m = 236. Does 7 divide r?
True
Let d be (14/10 - (-4)/(-10))*2. Suppose 2*y - 20 = -5*c + c, -d*y = -8. Is 3*12 - (-3)/c a multiple of 18?
False
Suppose -5*s = 15*y - 13*y - 1832, 3*y + 748 = 2*s. Does 6 divide s?
False
Suppose 5*o - 5*b - 2379 = -8*b, 4*o = 4*b + 1884. Suppose -4*g = -2*q - 9*g + 960, o = q + 4*g. Does 8 divide q?
False
Is ((-12)/(-30) + (-357)/5)*-287 a multiple of 41?
True
Does 46 divide ((-55936)/160)/(((-1)/130)/((-4)/(-16)))?
True
Suppose 19*f - 26679 - 9003 = 0. Is f a multiple of 26?
False
Let t = 55 - 2. Let x = t + -58. Let r(l) = -6*l + 3. Is 11 a factor of r(x)?
True
Let b(y) = y**2 + 14*y + 41. Let u be b(-9). Does 28 divide 198 - 1 - (-4)/u?
True
Let w = -20807 + 34566. Does 100 divide w?
False
Let n(p) = p**3 + 49*p**2 + 322*p - 114. Is n(-39) a multiple of 27?
True
Let v = 89 + -85. Suppose -g + 5*b - 1233 = -v*g, g - 422 = 2*b. Is 62 a factor of g?
False
Suppose -2*a - 49358 = -3*k, -3*a + 22403 - 5921 = k. Is 5 a factor of k?
False
Let h = 10445 + -6993. Is h a multiple of 32?
False
Let w(b) = 4*b**2 - 26*b - 3. Let m be w(6). Let l be m/(-5) - 11*-4. Suppose 2*q + 5 = l. Is q a multiple of 18?
False
Suppose 28 = 3*x - 5. Let z = x + -8. Suppose r - h = -2 + 12, z*h = r - 10. Is r a multiple of 3?
False
Let h = 23670 + -14124. Is h a multiple of 184?
False
Let z(r) = 9*r - 65. Let a be z(21). Suppose -a*m + 113*m + 1232 = 0. Does 33 divide m?
False
Suppose 9*z = 18 + 27. Is 166 + (z + 1 - 2) a multiple of 10?
True
Let f = 184 - 176. Let y(i) = i**3 - 3*i**2 - 5*i - 7. Is 13 a factor of y(f)?
True
Suppose 0 = 3*c - 4*r - 85601, 4*r - 177507 = -5*c - 34796. Suppose -24*v + c = 9075. Is v a multiple of 70?
False
Let p = -11713 - -12469. Does 14 divide p?
True
Let h = -575 + 318. Let a = h - -597. Is 11 a factor of a?
False
Suppose -151*t = -147*t - 5*u - 328211, 3*t + 5*u = 246237. Is t a multiple of 223?
True
Suppose 2*f = 3*r + 2163, f = r + 137 + 944. Is 40 a factor of f?
True
Suppose 5313 + 10317 = 10*q. Suppose 1013 = 23*k - q. Does 24 divide k?
False
Let f be (40 + 20)/(15/10). Let q(z) = z**3 + 6*z**2 + 3*z - 7. Let s be q(-5). Suppose s*h = f + 8. Does 4 divide h?
True
Suppose 0 = s - 2*s - 2*x + 22, 5*s - 70 = -2*x. Suppose -s = 4*j - 0*j. Is (j - -1)*182/(-4) a multiple of 13?
True
Let b(w) = 6*w - 12. Let g be b(9). Let f be 3 - (-2*4/(-8) - g). Suppose 4*t + 5*v - 21 - 80 = 0, 0 = -2*t + 4*v + f. Is 2 a factor of t?
True
Let u be (-4)/(-20) + ((-3536)/(-20) - -3). Suppose -4*z - 185 = -d, 0 = d + 6*z - 11*z - u. Is 69 a factor of d?
False
Let s(m) = -5*m**3 + 6*m**2 - 12. Let o be s(4). Let z = -94 - o. Is z a multiple of 39?
False
Let a(o) = o**3 + 11*o**2 - 11*o + 12. Let w be a(-12). Suppose 2*x - 2*j - 12 = -w*x, 2*j = 4*x - 24. Suppose -3*z - x*z = -756. Does 14 divide z?
True
Let f be 8/3 + (-9)/(-27). Does 39 divide (f/(-6))/(14/(-9940))?
False
Suppose -5*v + 15179 = 8404. Is v a multiple of 2?
False
Is (-1 - -2059) + (-332 - -326) a multiple of 36?
True
Let n(y) = y**3 + 21*y**2 - 21*y + 2. Let f be n(-22). Let v = 30 + f. Suppose -36 + 656 = v*b. Is b a multiple of 21?
False
Let q = 950 - 664. Suppose -4*c + 1036 = 4*p, c - p + 21 = q. Is c a multiple of 37?
False
Let z(a) = 289*a - 1011. Is z(49) a multiple of 50?
True
Let w = -267 + 300. Does 7 divide 33 + w - 2/2?
False
Let j(u) = -u - 28. Let o be j(0). Let k(m) = 17*m**2 - 10*m - 11. Let d be k(-2). Let t = d - o. Does 15 divide t?
True
Suppose -2*p = -5*h - 1850, 10*p = 7*p + 4*h + 2782. Let i = -730 + p. Does 5 divide i?
True
Let m = -291 + 285. Is m/21 + 8848/98 a multiple of 9?
True
Suppose -4*o - h - 12 = 0, 0 = -4*o - h + 3*h. Is 3 a factor of -9*-2*(o + (-35)/(-10))?
True
Suppose -c = 3*d + 4, -3 + 23 = -5*c - 4*d. Let q be (c + 2)*(-1 + (-3)/6). Suppose 0 = 3*r + q*h - 303, r - 2*h = -2*r + 278. Does 16 divide r?
True
Let u = -11 - -9. Let a be ((-3)/12)/(u/8). Is 42 + a*(1 - 4) a multiple of 13?
True
Suppose -5*z = -u - 9*z + 318, -912 = -3*u + 2*z. Suppose -w - t + u = -4*t, w + 5*t - 306 = 0. Is w a multiple of 34?
True
Suppose -3*m = -5*i - 7*m + 20887, -2*m + 16712 = 4*i. Does 21 divide i?
True
Let x be ((-2)/6)/((-176)/60 + 3). Let d(o) = -65*o - 18. Does 15 divide d(x)?
False
Let a be ((-1)/2)/((-28)/(-168)). Is 5 a factor of ((-20)/8 - a) + (-418)/(-4)?
True
Let s be (-5*72/(-150))/(2/500). Suppose -p + s = 5*d - 6*p, 2*d - 3*p = 240. Is 15 a factor of d?
True
Let x = 67 - 61. Suppose 5*q = x*q + 1. Does 8 divide (-9 + 4 - -20) + q + 1?
False
Let l(x) = -2*x**3 - 19*x**2 + 9*x - 4. Let z be l(-10). Let o be 7/(28/z) + (-802)/(-4). Suppose 4*v = 2*k - o, 0*k = -2*k + v + 214. Is k a multiple of 9?
False
Let s(k) = -5633*k - 8619. Is 21 a factor of s(-6)?
True
Let f(c) be the third derivative of 13*c**5/60 + c**4/3 - 23*c**3/6 + 74*c**2. Does 3 divide f(4)?
False
Suppose 16*i = -0*i + 7328. Let t = -138 - -335. Let x = i - t. Does 29 divide x?
True
Suppose 23*z - 18*z - 6439 = -2*m, -z - 3*m + 1280 = 0. Is z a multiple of 3?
False
Let s(h) = -h**2 - 12*h - 35. Let j = 50 - 57. Let y be s(j). Suppose 0 = 3*b + 4*l - 6*l - 506, -4*b - 4*l + 668 = y. Is 24 a factor of b?
True
Suppose -7326 = 5*t - 23*t. Suppose -4*z + 4127 = t. Is 15 a factor of z?
True
Suppose -3*s = 4 - 4. Let v be -3 + 15 + s/4. Suppose -v*n - 90 = -13*n. Does 10 divide n?
True
Suppose 5*h - 73874 + 338 = -2*j, -2*j + 73536 = 3*h. Is 96 a factor of j?
True
Suppose 53*y = 50*y - 2388. Suppose 5*q + 2*s + 17 = -s, -5*s + 1 = q. Is y/(-22) - q*(-2)/44 a multiple of 22?
False
Let k = 448 + -464. Let s(n) = 2*n**3 + 30*n**2 - 32*n + 19. Is s(k) a multiple of 3?
False
Is 42 a factor of (-3 + -53)/((-12)/66 - 67/(-429))?
True
Let w(b) = b**3 + 6*b**2 - 15*b + 8. Let k be w(-8). Suppose 0*u + u - 179 = k. Let c = 314 - u. Is 9 a factor of c?
True
Does 14 divide 42/((-21)/2009*49/(-266))?
True
Let z = 44 + -46. Let k be (4/(-3))/(z/6). Suppose -k*g + 9*g = 180. Is 9 a factor of g?
True
Let a be 2 + 399 - (-36)/6. Suppose -a*n + 384 = -406*n. Is n a multiple of 32?
True
Let j(o) be the second derivative of o**5/20 + 5*o**4/6 + 4*o**3/3 - 11*o**2/2 + 17*o. Let h be j(-8). Let v = h - -42. Is v a multiple of 19?
True
Let p = 41799 - 22143. Does 104 divide p?
True
Suppose 3*u + 5 = 41. Is -2*(-6)/u*427 a multiple of 61?
True
Does 10 divide -10 + 129/((-2792)/560 - -5)?
True
Does 41 divide 517519/407 - 1/(-2)*120/(-110)?
True
Suppose 17*k - 6*k = 22. Let h = k + 104. Is h a multiple of 13?
False
Let x(b) = b**2 + 10*b + 21. Let s be x(-9). Suppose s*j - 1398 = 978. Does 18 divide j?
True
Is 378*(-5)/(10/(-22))*26/78 a multiple of 153?
False
Suppose 0 = -42*a + 37*a + 4*l + 9718, -3*a = -2*l - 5832. Is a a multiple of 4?
False
Let i(k) be the third derivative of k**4/6 - 8*k**3/3 + 6*k**2. Let t be i(7). Let q = t + 20. Does 16 divide q?
True
Let r(n) = -7*n**2 - 13*n + 21. Let w be r(-9). Let f = 647 + w. Does 22 divide f?
False
Suppose 0 = 34*v - 29*v. Suppose v*f - f + 38 = 2*c, 109 = 5*c - f. Is c a multiple of 3?
True
Suppose 0*j + 40 = -5*j. Let a = j + 13. Suppose -106 - 204 = -a*s. Does 10 divide s?
False
Suppose -10747 = -3*o - j, -5*o + 5*j + 107 = -17838. Is o a multiple of 36?
False
Let o = -41 - -40. Let l(x) = -1 - 135*x**3 - 134*x**3 + x*