19816)*((2 - -1) + (-6 - -4)) a multiple of 42?
True
Let m(n) = 7*n - 9. Let o = -66 + 51. Let b be (-6 - o)*(-2)/2*-1. Is m(b) a multiple of 6?
True
Does 75 divide 13 + -5 - 432692/(-26)?
True
Let z = 18287 - 16024. Is 20 a factor of z?
False
Suppose -5075 = -l - 3*h, -5*h + 15225 = 202*l - 199*l. Is l a multiple of 3?
False
Let a(y) = 2*y**2 - 6*y - 17. Let v be a(7). Suppose 2*w = 177 - v. Does 6 divide 4/(-2) + (w - 5)?
False
Suppose 3*h - 10*u - 41166 = 0, h + 14*u = 12*u + 13738. Does 7 divide h?
False
Let f(c) = -c**2 - 18*c - 4. Suppose 0 = -2*o - 8, 2*o - 100 = 5*s + 7*o. Let n be f(s). Let l = n + -21. Is 4 a factor of l?
False
Let q(n) = -n**3 - n**2 + n. Let y be q(0). Suppose 2*c - 2 = -y*c - 2*k, -3*c = -k - 11. Suppose 2*t - 5*z = 196, -c*z = -2*z + 2. Is t a multiple of 19?
False
Suppose 0 = -w - 4*v - 845 + 2278, -1449 = -w + 4*v. Does 11 divide w?
True
Let k(o) = 14*o - 186. Let s be k(0). Let c be 1857/5 - 8/20. Let l = c + s. Is l a multiple of 28?
False
Let d = 491 + -268. Let y = 558 - d. Is 34 a factor of y?
False
Let n(v) = 7*v - 126. Let i = -10 - -31. Is 3 a factor of n(i)?
True
Let i = 139 - 21. Let m be 2/((-353)/i - -3). Suppose 2*h - m = -4*d + 4, -3*d = 9. Is h a multiple of 9?
True
Let g be 2 + (-8)/(16/106). Is 32 a factor of (g - -23)/((-1)/8)?
True
Let f(a) = a**3 - a**2 - 5*a - 2. Let g be f(7). Suppose -z + g = -0. Is 30 a factor of z?
False
Let t be ((-15)/(-10))/((-6)/(-4))*-5. Let z(l) = -12*l**3 - 7*l**2 + 5*l - 4. Is 36 a factor of z(t)?
True
Suppose -5*p = 0, 4*h + 10*p = -38 + 374. Does 84 divide h?
True
Let z = -128 + 227. Is 16 a factor of 3/(-3 + 300/z)?
False
Suppose 5*v + 90*m - 18084 = 89*m, -2*v + 7260 = -4*m. Is 81 a factor of v?
False
Let a be -154*((-9)/(-18) + -8). Suppose -n = 5*l - 1921, 3*l + 12*n - a = 9*n. Is l a multiple of 24?
True
Suppose -6*m = -13599 - 6963. Suppose -15*s + 1373 = -m. Is 8 a factor of s?
True
Is 61 a factor of 3/33 + (967/(-22))/((-3)/204)?
True
Suppose 11*y + 125 = 5*j + 6*y, y + 79 = 3*j. Is -3 - (-144)/14*126/j a multiple of 45?
True
Let z = 2094 - -1019. Suppose -6*i + 8363 = z. Is i a multiple of 35?
True
Let k(n) = -n**2 + 22*n + 8. Let h = 1 + 114. Suppose -4*q - 120 = -6*t + t, 5*t - h = 3*q. Is 8 a factor of k(t)?
True
Suppose 25*b - 316611 = 53339. Is 63 a factor of b?
False
Is 18 a factor of (11 - 14/((-5)/(-5)))*-775?
False
Let x(o) = -429*o - 1350. Is x(-10) a multiple of 14?
True
Let t be 3/6 + (-1)/2. Suppose t = -5*c - 671 - 1054. Let q = -243 - c. Is 23 a factor of q?
False
Let s = -34290 + 83596. Is 202 a factor of s?
False
Let k = -3521 + 1913. Let i be (6/9)/((-1)/k). Is (-6)/4*i/(-12) a multiple of 12?
False
Let o(l) = 2*l**2 + 8*l + 3. Let s be o(5). Let c = s + -82. Does 11 divide c?
True
Does 159 divide 4/12*-6 + (-9)/((-9)/49268)?
False
Let o(t) = -18*t**2 + 6*t - 12. Let u be o(-4). Let p = 844 + u. Is p a multiple of 26?
True
Let a(d) = -54*d + 12. Let j(i) = -i**3 - 18*i**2 - 31*i + 9. Let k be j(-16). Is a(k) a multiple of 13?
True
Let x(q) = -8*q - 38. Let k be x(-5). Suppose 2*l = 6, 3*v + l - k*l - 105 = 0. Is 22 a factor of v?
False
Suppose 0 = 6*b + 1725 - 5211. Let y = b - 93. Suppose -6*k + 622 + y = 0. Is k a multiple of 11?
False
Let w be (6 - 5) + -3 + 3962. Suppose 587*p - w = 582*p. Is p a multiple of 11?
True
Let g(c) = -5*c**2 + 38*c + 32922. Is 279 a factor of g(0)?
True
Let w = 29164 - 28588. Does 18 divide w?
True
Let n(i) = -314*i + 220. Is n(-7) a multiple of 39?
True
Suppose 36354 = 3*c + 5781. Does 79 divide c?
True
Let k be ((-8)/10)/(-4*(-1)/(-2390)). Let n = k - 166. Is 26 a factor of n?
True
Let g(u) = -2*u - 2. Let d be g(-21). Suppose 29*t + 1815 = d*t. Does 11 divide t?
True
Is ((-13440)/(-49))/(3/42) a multiple of 60?
True
Suppose 377 = -15*p - 268. Let o = p + 247. Is o a multiple of 6?
True
Let r be (-2)/(-3) - 40/(-12). Suppose -2*a + v + 826 = 0, 0 = -a + r*v + 144 + 283. Is a a multiple of 10?
False
Is ((-6)/90)/(1/(-63465)) a multiple of 9?
False
Let p be 7/(42/4)*9. Suppose 5*q = 3*u - p*u - 40, -5*u - 3*q - 40 = 0. Does 29 divide ((-8)/u)/((-18)/(-1305))?
True
Let g(f) = -42*f + 5. Let j be g(-3). Suppose -j = 3*q - 5*a - 921, -4*q = -a - 1042. Does 32 divide q?
False
Suppose g = -4*k + 2671, -k + 733 = 16*g + 207. Is 9 a factor of k?
False
Let a = -594 - -274. Let o = a - -485. Is 10 a factor of o?
False
Let u = -3574 + 3671. Is u a multiple of 31?
False
Suppose -1642108 = -3115*i + 3069*i. Is 27 a factor of i?
False
Let i = 3 - 0. Let q = 3612 + -3612. Suppose -4*z = i*x - 874, -2*x - 5*z + 592 = -q*x. Is 22 a factor of x?
True
Suppose 15 = -5*w - 5*t, -4*w + 0*t + t = -13. Suppose -180 = -0*m - 4*m + w*h, -3*m + 4*h = -125. Suppose m + 61 = 3*v. Is v a multiple of 12?
True
Let t(c) be the first derivative of 51*c**4/2 - c**3/3 - 3*c**2/2 - 2*c + 49. Let y be t(-2). Let k = -471 - y. Is k a multiple of 15?
True
Suppose 25 = 5*j, -472 = 2*y - 6*y + 4*j. Let k = y + 13. Is k a multiple of 17?
True
Let x(l) = -l**3 - 4*l**2 - 4*l - 5. Let m be x(-3). Does 15 divide 9 - 2832/(-20) - m/5?
False
Let a(c) = 5 - 4472*c**2 - 2*c + 11*c + 4460*c**2. Let w(q) = 35*q**2 - 28*q - 15. Let s(d) = -7*a(d) - 2*w(d). Is s(-3) a multiple of 31?
False
Suppose 4*c - 166846 = -16*c + 206274. Is 11 a factor of c?
True
Let s(n) = 861*n - 15. Let a be s(2). Suppose -a = -3*z + 17*y - 15*y, 2*z - y = 1137. Is 15 a factor of z?
False
Suppose 0 = -3*l + 2*l + 1. Let k be (l - (1 + 2)) + 21/1. Suppose 7*b - 740 = -k. Is 11 a factor of b?
False
Let r = 464 - 287. Let i = -103 + r. Suppose l - 52 = i. Does 18 divide l?
True
Let s be (1/(-4))/(8/(-640)*4). Suppose 2*a = s*v + 173, -a - 3*v = 2*v - 124. Is a a multiple of 9?
True
Suppose 2*r - 9*m + 12*m - 354 = 0, -1610 = -9*r - 5*m. Does 2 divide r?
True
Suppose 83*d = 90*d - 30835. Suppose 21*x = d - 1129. Does 16 divide x?
False
Let n(h) = h**3 + h**2 + h - 78. Let y(k) = 2*k - 2. Let d be y(1). Let u be n(d). Is 4 a factor of (-3)/6*u + 1*-2?
False
Suppose 49*p = 45*p + 5664. Suppose -6*d + 426 = -p. Is 16 a factor of d?
False
Is (10 - 9)/(24/51888) a multiple of 41?
False
Let c(t) = t**3 + 30*t**2 - 2*t - 13. Let j be 12/(-54) - (-3)/27*110. Suppose -j*q - 43 - 317 = 0. Does 13 divide c(q)?
False
Let s = 1047 + -601. Suppose 0 = -5*y + s + 604. Is y a multiple of 15?
True
Let z = -49 + 12. Let x = 42 + z. Suppose r + 5*a = 42, 2*a + 24 = x*r - 78. Is r a multiple of 12?
False
Let n be -3*(-2)/(-6)*-15. Let w = -51 - n. Is 4 - (w - (-4 + 4)) a multiple of 35?
True
Let l = 26 + -28. Let o be (-40)/((-5)/(-20)*l). Suppose 10*y - 9*y - o = 0. Does 12 divide y?
False
Suppose -38*t + 25 = -33*t. Suppose -w + c + 129 = t*c, 4*c + 339 = 3*w. Is w a multiple of 4?
False
Suppose -46080 = -2*z - 167*b + 163*b, 4*b - 92160 = -4*z. Is z a multiple of 15?
True
Suppose 12 = -5*k - 3*t, 2*k + 4*t + 5 = -11. Suppose 8*i - 4*i - 40 = k. Suppose 14*a = i*a + 336. Does 28 divide a?
True
Let f(s) = -51*s - 34. Let n = -114 - -111. Is f(n) a multiple of 17?
True
Let q(y) = -2*y**2 - 31*y - 15. Let x be q(-15). Suppose x = -5*i - 8*i - 169. Is 2/5*(-1495)/i a multiple of 16?
False
Let x(g) = g**3 - 8*g**2 - 13*g + 9. Let a be (-1)/(-5) + (-1895)/(-25). Let s be (-40)/(-2)*38/a. Is 22 a factor of x(s)?
False
Suppose 5*b = x - 5974 + 325, -2*x + 11305 = -3*b. Is 116 a factor of x?
False
Let d be 3 - 1/((-5)/190). Let q = d - 22. Let y = 39 - q. Is y a multiple of 10?
True
Let u = 12 - 0. Does 41 divide 310 + -2 + (u - 4)?
False
Let h(l) = 12*l + 4 - 5*l**2 + 10*l**2 - 4*l**2. Let v be h(-10). Does 21 divide (-5)/(20/v) + 59?
True
Suppose 0 = 3*h - 5*h - 18. Let a(y) = -y**3 - 10*y**2 - 9*y + 5. Let d be a(h). Suppose -2*f + 184 = f + v, 0 = -4*f + d*v + 277. Is f a multiple of 16?
False
Let k(n) = 18*n**3 - n**2 - 4*n - 3. Let j be k(-1). Let t(p) = -5*p - 34. Let w be t(j). Suppose -2*c - 5*q - w = -348, 3*c - 4*q = 484. Is c a multiple of 13?
True
Let s = 8542 + 12456. Does 11 divide s?
False
Suppose -765 = 2*g + 3*g. Let m = g - -278. Suppose 0 = -2*r - 2*b + 60, -3*r = -5*b + b - m. Does 5 divide r?
True
Suppose -24*w = -5*t - 1321, -w - t + 31 = -18. Does 3 divide w?
True
Let p(o) = 1145*o**2 + 103*o - 205. Is p(2) a multiple of 16?
False
Let f(p) = -2*p**2 + 5*p + 23. Let v(r) = 5*r - 3