False
Let t = -359 - -369. Does 37 divide (18/48 + t/16)*213?
False
Suppose 196 = 6*n + 166. Suppose 0 = 5*a - n*g - 520, -g = 4*a - 3*a - 98. Is a a multiple of 5?
False
Let y be 7/(-56)*14*-8. Suppose -y*z = -1271 + 361. Is z a multiple of 40?
False
Suppose 13*w + 7*w = 122580. Is 27 a factor of w?
True
Let s(b) = 16*b**2 + 35*b - 4. Let f be s(-2). Is 19 a factor of 2/(f/3) + (-134091)/(-235)?
True
Let a(y) = -y**3 + 6*y**2 + 21*y + 8. Let l be a(11). Let z = l - -824. Is 14 a factor of z?
False
Is 118 a factor of 14/(-2) - (-9246 + 8 + 2)?
False
Let s = 3877 + -3871. Let n = 73 - 51. Let y = n + s. Does 14 divide y?
True
Suppose 0 = -36*u + 25*u + 9966. Suppose -459 = -d - 2*z, -2*d - z + 0*z = -u. Is d a multiple of 41?
True
Suppose -2*k + 3*q = -167, -q = -6*k + 7*k - 76. Suppose -6*t + 10*t - 2*p = 246, 3*p = -t + k. Is 7 a factor of t?
False
Let z(o) = -3*o - 18. Let k(s) = -s - 9. Let f(v) = 7*k(v) - 3*z(v). Let u be f(4). Is (-6)/(-48)*-4*124*u a multiple of 22?
False
Does 48 divide (-576*3/(-10)*-5)/(46/(-713))?
True
Let g(z) = -z**2 + 11*z + 12. Let l be g(12). Let w(m) = m**3 - 2*m**2 + m - 5. Let y be w(l). Is (-3*10)/y*1 a multiple of 3?
True
Suppose 0 = 3*k - 15, -4*k = -5*q + 20. Let b(y) = -18*y**2 + 3*y**2 - 10*y - y**3 + 20*y**2 - 1 + 5*y**2 + y**2. Does 37 divide b(q)?
True
Let k be (3 - -1)/(-1 + -1 + 3). Suppose -k*f = 20 - 100. Is f a multiple of 17?
False
Let b = 177 + -162. Is 11 a factor of 2638/b + 2/15?
True
Let i(t) = -8*t**2 + 147*t - 36. Let g(x) = -2*x**2 + 2*x - 1. Let p(c) = 6*g(c) - i(c). Does 14 divide p(-22)?
True
Does 103 divide ((-60888)/2322)/(6/(-2781))?
True
Suppose 21*t - 22*t - 3*o = -5330, 3*t - 15918 = 3*o. Is 16 a factor of t?
True
Let h = 6269 - 3023. Does 12 divide h?
False
Is ((-24788)/14)/(152/(-1064)) a multiple of 34?
False
Suppose -2*x - 5*u + 1368 = 0, 3*x + 3327 = 8*x - 3*u. Is 3 a factor of x?
True
Let g be (-3)/(-3)*-1 + 5. Is 5/(g/18 + (-74)/414) a multiple of 3?
False
Suppose 0*l + 6 = 4*v - l, 0 = -4*v - 5*l + 18. Suppose 0 = -4*u - v*z + 1244, 81 = u + z - 228. Is 12 a factor of u?
False
Let f(r) = r**2 - 3*r + 3. Let i be f(4). Suppose -72 = i*y + 2*y. Is 3920/18 + y/(-36) a multiple of 36?
False
Let j(z) = 20*z**2 - 64*z + 7. Does 14 divide j(11)?
False
Let p = -15576 - -25176. Is p a multiple of 120?
True
Let o(j) = -534*j + 6791. Is 37 a factor of o(-8)?
True
Suppose 0 = c + 4*g - 5344, -4*c - 5*g = -12462 - 8859. Does 11 divide c?
True
Is 33 a factor of -7 - ((-30)/(-18) - 1)/((-4)/151038)?
False
Suppose 0*h + 6*h = -24. Let p(j) = j + 3. Let y be p(h). Let q(t) = -24*t. Is q(y) a multiple of 5?
False
Suppose -2*s = 5*b - 2878, 2*s + 590 = 69*b - 68*b. Is b a multiple of 17?
True
Let c be (-21 + 4 + -4)*1. Let a = 13 + c. Is 11 a factor of (a/(-16))/(2/124)?
False
Let z(s) = s**3 - 15*s**2 + 19*s - 14. Let b be -5*(-11)/(55/16). Is 14 a factor of z(b)?
True
Suppose 4*a - 322 = -5*o, 5*a + 24 = -o + 101. Let r = -37 + o. Is r a multiple of 5?
True
Let c(h) be the first derivative of -647*h**4/4 + 4*h**3/3 + h**2 + 2*h + 19. Let t be c(-3). Is 15 a factor of 2*2/(-18) - t/(-387)?
True
Suppose -u - 7 + 1395 = -4*a, 0 = 4*a - 20. Does 11 divide u?
True
Is (0/(-2) - 3) + 163*(139 - 10) a multiple of 73?
True
Let p(r) = 965*r + 5070. Does 7 divide p(11)?
False
Suppose 0 = 2*c + 4*i - 0*i + 4, -2*c + 5*i = 4. Let v be ((-4 - -3) + -5)/((-1)/c). Does 21 divide (2 + -6)*6/v + 40?
True
Suppose 4*f + 9 + 16 = -5*c, -10 = f + 5*c. Let m(n) = -n**2 - 1. Let i(t) = -6*t**2 + 20*t - 14. Let r(x) = f*m(x) + i(x). Is 9 a factor of r(18)?
True
Let d(a) = -3*a**3 + 27*a**2 - 5*a - 95. Let v(q) = -7*q**3 + 55*q**2 - 10*q - 190. Let t(j) = 9*d(j) - 4*v(j). Is 20 a factor of t(-23)?
True
Suppose -18 - 10 = -7*o. Let p(n) = -5 - 3*n**2 + n**3 + 4*n**2 + 3*n**2 + 0*n**2 - o*n. Is 4 a factor of p(-4)?
False
Let h(b) = b**2 + 11*b + 12. Suppose -w = -3*f - 33, -w - 27 - 20 = 5*f. Let m be h(f). Suppose m*c = 8*c - 78. Is c a multiple of 8?
False
Suppose -5*v = 4*n - 2018 - 3252, 0 = 2*n. Suppose -2*p + 2*u - 542 = -2650, -5*u + v = p. Is 13 a factor of p?
False
Does 51 divide (80/440 + (-42068)/22)/(1/(-13))?
False
Does 37 divide ((-315996)/(-16))/(-3 - 165/(-44))?
False
Suppose -773976 = -63*x + 119742. Is x a multiple of 46?
False
Let x(b) = 20*b + 11. Let m(o) = -59*o - 34. Let g(h) = 6*m(h) + 17*x(h). Let f be g(-4). Suppose -j - 2*j = -f. Does 10 divide j?
False
Let h = -496 - -639. Let v = h + -52. Is 11 a factor of v?
False
Is 19 a factor of 19/((-228)/(-184440)) - (0 + -6)?
False
Let c be (36/(-8) - -3)/((-15)/3290). Suppose f + c = 2*x, 7*f + 15 = 4*f. Is 6 a factor of x?
True
Let i(o) = o**2 - o - 13. Let z be i(4). Let t be (-10)/(-5) + z + -2. Is 5 a factor of 38 + 5*(14/10 + t)?
True
Let b(d) = 30*d - 2. Let i be b(1). Let p = -32 - i. Let g = -38 - p. Is g a multiple of 4?
False
Let r(p) = -17*p**2 + p + 3. Let j be r(2). Let f = j + 61. Is (f - 27/2)*-2 a multiple of 11?
False
Let m(i) be the third derivative of -i**5/60 - 2*i**4/3 + i**3/2 - 33*i**2. Does 3 divide m(-16)?
True
Let m = -5963 + 10168. Is m a multiple of 14?
False
Let b = 906 - -16672. Suppose -24*c = 10*c - b. Is 8 a factor of c?
False
Let j = 25744 - 19149. Is j a multiple of 51?
False
Suppose -28191 = -3*l + 5*w, 68*l - 65*l - 28173 = 2*w. Does 13 divide l?
False
Let q(h) = h**2 - 17*h - 16. Let w be q(18). Is 50 a factor of 356 + (-39)/(-78) + (-13)/w?
True
Suppose -2*y - 2 = -h, -3*h - 3*y = -4*h + 7. Let l(d) = -4*d - 29. Let g(r) = -5*r - 30. Let c(f) = 3*g(f) - 4*l(f). Does 6 divide c(h)?
True
Let y be (266/19)/(((-8)/(-6))/2). Suppose -y*t = -18*t - 666. Suppose 11*l - 933 = t. Does 52 divide l?
False
Let r(u) = 6*u**2 + 5*u + 22. Let y be r(10). Suppose -5*a + 3*a = -y. Does 24 divide a?
True
Let g = -74 + 77. Suppose 76 = g*f - f. Does 31 divide f?
False
Suppose 18 = 863*g - 860*g. Suppose -504 = -x - 5*q + 3*q, -2*q = g. Does 30 divide x?
True
Suppose 1128 = -11*x + 19*x. Suppose 2*i - d - x = -6, -2*d - 63 = -i. Suppose 0 = t - i - 5. Is t a multiple of 6?
False
Let x(h) = 3137*h + 7951. Does 208 divide x(10)?
False
Let k = 1955 - 1253. Let d = -180 + k. Is d a multiple of 58?
True
Let g be 1/(-3) + 200/60. Suppose -o - 124 = -g. Let n = -46 - o. Does 12 divide n?
False
Let s = 1213 + -2042. Let d = s - -1470. Is 66 a factor of d?
False
Suppose -u + 10 - 6 = 0. Does 9 divide -5 + (-1229 + u)/(-5)?
False
Suppose 4*j = -5*b - 22, 6 = -3*b - 2*j - 6. Is (5605/(-38))/(1/b) a multiple of 5?
True
Does 6 divide (-13)/((-1105)/164720) - 14/(-119)?
True
Suppose 0 = -y + 6*y - 460. Suppose u + 19 + y = 0. Let k = -66 - u. Is 15 a factor of k?
True
Let h(c) = c**2 + 45*c + 197. Let q be h(-5). Is 62/q*2109/(-74) a multiple of 31?
True
Let x = -8158 - -10446. Does 4 divide x?
True
Let g(f) = -f + 12. Let u = -139 - -99. Let i = -40 - u. Does 6 divide g(i)?
True
Suppose -3*w - 240 = -3*k, -5*w + 3*k - 402 = -0*k. Is 2450/4 + w/54 a multiple of 47?
True
Let y be 132/(-77) + (-4)/14. Let n(j) = -126*j + 52. Does 32 divide n(y)?
False
Let p(z) = 2*z**3 - 2*z**2 + 4*z - 3. Let w be p(2). Let b(n) be the third derivative of n**4/3 + 4*n**3 - 61*n**2. Does 16 divide b(w)?
True
Let y = 81947 - 54675. Does 245 divide y?
False
Let t(v) = 42 - v + 3*v**2 - 5*v**2 + v**2. Suppose 2*c + 2*q - 6*q = -20, 2*q - 10 = -c. Does 6 divide t(c)?
True
Suppose -b - 33*b = -68. Is 3 a factor of (b/(-6))/((32/564)/(-8))?
False
Suppose -6 = -2*c + 8. Let r(y) = y**3 - 2*y**2 - 7*y - 6. Is 5 a factor of r(c)?
True
Let w be 3*4/((-84)/(-133)). Suppose w*o - 1616 = 11*o. Is o a multiple of 8?
False
Let k(u) = -5*u - 27. Let j be k(-6). Suppose 0 = -13*y + 16*y - v - 338, -j*v - 342 = -3*y. Is y a multiple of 28?
True
Let b(a) = -2288*a - 2476. Is 6 a factor of b(-3)?
False
Let h = 12913 - 7849. Is 3 a factor of h?
True
Let i(r) = r**3 + 6*r**2 - 24*r - 21. Let x be i(-9). Let b = x - -251. Is 7 a factor of b?
True
Let w be 45/4 - 12 - (-19222)/8. Suppose 10072 + w = 9*j. Is j a multiple of 62?
False
Let u(w) = 79*w**2 + 6*w - 80. Is 10 a factor of u(-8)?
False
Does 2 divide -7 - (0 - 1)/(8/1088)?
False
Let a(m) = 5*m**3 - 53*m**2 + 131*m - 49. Let c(q) = q**3 - 11*q**2 + 26*q - 10. Let v(j) = 2*a(j) - 11*c(j). Does 16 divide v(10)?
True
Let j be