 of 43?
False
Suppose -2*w - 5*p + 2 = -3, 23 = 5*w + 2*p. Suppose 8 - 8 = -w*c. Let z(y) = -2*y**2 - 2*y + 108. Does 17 divide z(c)?
False
Let d be 0 + 25/5 + 0. Let f be -2 + 40/15 + (-6)/9. Suppose -m = -d*x + 711, -4*x - x - m + 719 = f. Does 11 divide x?
True
Let k(d) = 278*d**2 - 310*d - 2. Does 29 divide k(-7)?
False
Suppose 2*o + 4*d = 6312, 4*d = 3*o + 1704 - 11202. Suppose 18*l - 1896 = o. Is l a multiple of 19?
False
Suppose 0 = 4*r - k - 39879 - 15869, 0 = -3*r + 3*k + 41802. Is 101 a factor of r?
True
Let j(h) be the second derivative of -h**4/12 - 5*h**3/6 - 3*h**2 - 20*h. Let q be j(-5). Let z(u) = -u**3 - 8*u**2 - 16*u - 14. Does 2 divide z(q)?
True
Let m(k) be the third derivative of 7*k**5/60 + k**4/24 + 3*k**3/2 - 52*k**2. Does 56 divide m(-3)?
False
Let t(j) = -2*j**3 + 31*j**2 - 2*j + 4. Let b be t(15). Suppose 0 = -2*a + a + 5*r + b, -199 = -a - 5*r. Is 25 a factor of a?
False
Suppose 2*n = -2*t + 1608, -5*t = -2*n + 1441 + 125. Is 11 a factor of n?
False
Let z = -65 - -500. Let x = z - 795. Does 8 divide x*((-32)/(-20))/(-4)?
True
Suppose 6*k + k = 434. Let b = 196 - k. Is b a multiple of 7?
False
Let d(k) = 852*k - 28. Does 7 divide d(5)?
False
Let b(r) = -2*r**3 - 23*r**2 - 84*r - 6. Does 5 divide b(-10)?
False
Is 51 a factor of (-18534258)/(-3247) + 1 + (-19)/17?
False
Let d = -46945 - -68032. Does 27 divide d?
True
Let g be 1 - (1 - 0/1). Let p = 2687 + -2670. Suppose g = z - 4*z + 2*j + p, -3 = -z - 2*j. Is 5 a factor of z?
True
Let g(h) = h**3 - 30*h**2 + 10*h - 229. Does 69 divide g(32)?
True
Let f = -283 + 446. Let y = 254 - f. Does 13 divide y?
True
Let b(x) = 52*x - 1. Let o be b(5). Let a = -5441 + 5312. Let m = o + a. Is 13 a factor of m?
True
Suppose 5*y - 3*y - 28 = 0. Let l = -1 + y. Let t(c) = -c**3 + 13*c**2 + 2*c - 11. Is t(l) even?
False
Let y(x) = -8*x + 412. Suppose 11*q = 13*q. Is y(q) a multiple of 10?
False
Suppose 104*m + 121*m + 29*m - 1112520 = 0. Does 20 divide m?
True
Let l = 9992 - 5592. Is 22 a factor of l?
True
Let h = 88 - 62. Suppose 5*w + h = -99. Let d(t) = t**2 + 23*t - 43. Is d(w) a multiple of 6?
False
Let b be ((36/(-15))/(-3))/(8/60). Let j be (-2 + b)/4*0. Suppose -2*x + j*c + 2*c + 222 = 0, 2*c = x - 115. Is 30 a factor of x?
False
Let k(w) = w**2 - 12*w + 11. Let c(p) = p + 1. Let u(z) = -5*c(z) - k(z). Let i be u(3). Let h(d) = 11*d**2 + 6*d + 8. Is h(i) a multiple of 32?
True
Let o(h) = h**3 + 14*h**2 - 14. Let i be o(-11). Suppose -4*s = -11 - i. Is 2180/s + 2/(-9)*1 a multiple of 12?
True
Let a(f) = -f**3 - 22*f**2 + 94*f - 83. Is a(-28) a multiple of 13?
True
Let b = 3841 - 2032. Is b a multiple of 9?
True
Let l(v) = v**2 - 1. Let m(u) = -u - 1. Let d(w) = -l(w) + 4*m(w). Let p be d(-5). Let t(x) = -6*x + 33. Does 7 divide t(p)?
False
Let l(a) = -4*a**2 + 2*a + 6. Let o be l(3). Is -4*(-234)/o*-2 a multiple of 39?
True
Is 45488/4*121/242 a multiple of 104?
False
Does 14 divide ((-168)/30)/((-151515)/30300 - -5)?
True
Is (-6)/(-21) + 0 - (-693630)/735 a multiple of 16?
True
Let k = 442 - 224. Let z = k - 18. Is 4 a factor of z?
True
Let p(v) = -v**2 + 7 - 4*v + 3 - 20*v. Let h be p(-18). Let m = 41 + h. Is m a multiple of 29?
False
Let i = 287 + -282. Suppose -1728 = i*d - 14*d. Does 16 divide d?
True
Let b(g) = 25 + g - 29*g - 9 + 6. Let y be b(6). Let f = y + 216. Does 7 divide f?
True
Suppose 8*j - 65*j - 32860 = -479113. Is 34 a factor of j?
False
Let b = -272 - -336. Suppose 11*w + b = 1153. Is w a multiple of 9?
True
Suppose 517 = -7*r - 5139. Let c = r - -1410. Suppose 5*h + 0*g - c = 2*g, g - 370 = -3*h. Is 15 a factor of h?
False
Suppose -4*z + 12 = 0, 0 = 5*m + 2*z + 4339 - 13345. Is 300 a factor of m?
True
Let g(d) = d**3 + d**2 - 25*d + 79. Is 2 a factor of g(5)?
True
Suppose 33*h = 32*h - 2. Is 27 a factor of (-45280)/(-840) + h/(-21)?
True
Suppose 15388 = 38*s - 56299 + 21945. Does 77 divide s?
True
Let i(x) = 11*x - 5. Let m be i(-7). Let b be (-1 + 2)*(-3180)/(-20). Let j = b + m. Does 7 divide j?
True
Let p be (0 - -215)*(-2)/5. Let v be (155/(-90) - 4/(-18))*4. Is 3*(p/v + 0) a multiple of 17?
False
Let v(n) = -18*n**3 - 133*n**2 - 48*n + 45. Is 39 a factor of v(-15)?
True
Suppose -88*v + 90*v = -3*m + 45906, 4*m - 4*v = 61228. Is 25 a factor of m?
False
Suppose 0 = 16*n - 1014 - 906. Suppose 12*p = 4740 + n. Does 9 divide p?
True
Suppose -5*g - 4*o + 620 = 0, -2*g - 3*g + 2*o = -590. Let q = g + -112. Is q a multiple of 6?
False
Let o = 8964 + 27281. Is 51 a factor of o?
False
Suppose 0 = 72*o - 20*o - 208. Suppose 3*j - 12 = -4*s, -2*s = 3*j - 5*s + 9. Suppose 0 = -j*x + 5*x - 25, o*x = -2*h + 82. Is h a multiple of 11?
False
Let g be 4/(-3 - 42/(-12)). Suppose 180 - 4 = g*n. Is 11 a factor of n?
True
Let z(r) = 185*r**3 - 43*r**2 + 2*r + 69. Is 11 a factor of z(5)?
False
Let w = 157 + -171. Let q(k) = -10*k - 39. Is 22 a factor of q(w)?
False
Let z = -267 - -239. Let s = z - -183. Is 8 a factor of s?
False
Suppose -y + 2*f - 2 = 2*y, 18 = y + 4*f. Suppose y - 6 = 4*j. Is 20 a factor of 4 + 39 - (j - -2)?
False
Let a(c) = 12*c**2 + 9*c**2 + c**3 - 36 + 85 - 35 + 41*c. Is a(-16) a multiple of 69?
False
Let l = -465 + 582. Suppose 234 = -116*s + l*s. Is 26 a factor of s?
True
Suppose 696*n = 692*n + 608. Does 2 divide n?
True
Let f = -22097 - -38812. Is 29 a factor of f?
False
Suppose 2*q = 3*g + 3*q - 5, 4*g + 4*q = -4. Let f be (g - 1)*(7/2)/7. Does 21 divide -74*f/(-2) + 5?
True
Suppose 0*r + 15 = 3*r. Suppose -r*q = -0*q - 85. Suppose -q - 8 = -5*v. Is 2 a factor of v?
False
Suppose -5*m + 3*g = -1109, 0 = -3*m - g + 171 + 500. Suppose 20*c + m = 1543. Is 15 a factor of c?
False
Suppose 12*r = 83*r - 2173168. Suppose -5408 = 24*n - r. Does 16 divide n?
False
Suppose -3*b - 2*b = z - 4728, 2*z = 6. Does 21 divide (8/(-6))/((-2)/b)?
True
Suppose 20 = -457*k + 462*k. Is 210*(-5 + (10 - 12/k)) a multiple of 27?
False
Let k = 58 + -50. Suppose w = a + 8, 4*a + 0*a - k = -4*w. Suppose -h - r + 4 + 53 = 0, 0 = 4*h + w*r - 233. Is 38 a factor of h?
False
Let q = 18454 + -11702. Is q a multiple of 15?
False
Suppose 19*f = 4*x + 16*f - 22, 2*x = 2*f + 10. Does 20 divide 6*(x + 111) - -4?
False
Let i = 3275 - 1259. Is 14 a factor of i?
True
Suppose 9*l - 275 = 733. Suppose 3224 = l*z - 104*z. Is 33 a factor of z?
False
Let v = 246 - 240. Let g(s) = 9*s**2 - 5*s - 23. Is 13 a factor of g(v)?
False
Suppose 2*m - 790 = 1700. Suppose 5*j + 2*y + 3*y - m = 0, -5*j = 2*y - 1239. Is j a multiple of 26?
False
Let x(i) = -125*i**2 + 6*i + 11. Let g be x(-2). Let j = -270 - g. Is 33 a factor of j?
True
Suppose -165 = 9*n - 210. Suppose -n*g - 445 = -p, 1726 = 4*p + 22*g - 24*g. Is p a multiple of 5?
True
Let v = 2513 - -3640. Is v a multiple of 166?
False
Let t = 2118 - -2857. Is 13 a factor of t?
False
Let v be ((-18)/(-2))/(7 + -4). Is (v - (-9)/(-18))*(385 - 1) a multiple of 40?
True
Suppose 5*q = -8 + 8. Suppose 2*a - 56 - 80 = q. Let d = a + -56. Does 3 divide d?
True
Suppose 0 = 2*t + t - 2*f - 2062, 2736 = 4*t + 4*f. Suppose -4*k + t = -406. Does 13 divide k?
True
Let w(a) be the third derivative of -13*a**6/120 - a**4/6 - a**3/2 + 5*a**2. Let v = -92 + 90. Does 21 divide w(v)?
False
Let c = -27 + 9. Let k(h) = h**3 + 19*h**2 + 17*h - 13. Let u be k(c). Suppose l - 3*l = -j + 200, 185 = j - u*l. Is j a multiple of 21?
True
Let k(y) = -381*y + 20. Let f(p) = -3. Let l(s) = 3*f(s) + k(s). Is l(-1) a multiple of 24?
False
Let q(u) = -357*u + 113. Is q(-3) a multiple of 8?
True
Let q(k) = -k**3 - 7. Let c be q(0). Let d be (-8)/28 - (-1 + (-75)/c). Does 6 divide (24/d)/(6/(-105))?
True
Let n = -949 + 2994. Does 24 divide n?
False
Let z be (-2 - 144/(-78)) + (-9405)/(-39). Suppose -32 = -l - 3*l. Suppose z = 4*n - f, l*f = n + 6*f - 62. Does 12 divide n?
True
Let q(z) = -z**3 - 22*z**2 - 19*z + 24. Let k be q(-21). Is 6/(-27) + ((-1480)/k - 0) a multiple of 15?
False
Let q be 58/6 - (-2)/6. Let r(i) = -5 + 5*i + 1 + q + 2*i**2. Does 8 divide r(-6)?
True
Suppose -3*i + 2*y = -72, 0 = 2*i - 3*y + 7*y - 64. Suppose 3*t - 95 = 2*f, 5*t = 2*t - 5*f + 88. Let w = i + t. Is 19 a factor of w?
True
Suppose -111*c = -179*c + 369036. Does 27 divide c?
True
Let i(w) = 30*w - 20*w**2 - 155 - w**3 + 131 + 10*w. Is 64 a factor of i(-22)?
True
Suppose -5*t = -5*d + 6850, 2740 = 3*d