86/19)) a multiple of 101?
False
Let d be (-1)/(-2*2/8). Suppose 4*z - 4*n - 780 = 0, -d*z - 2*n - 2*n + 420 = 0. Suppose -11*u + z = -7*u. Is 11 a factor of u?
False
Let t = -184 - -182. Let g(v) = -80*v + 8. Is g(t) a multiple of 6?
True
Suppose 40*o - 97365 - 179956 = -58361. Does 7 divide o?
True
Let n(a) = -9*a - 80. Let o be n(-9). Is 3 a factor of o/(8 + (-6915)/865)?
False
Let t = -9 - -19. Suppose t*q - 126 = 9*q. Suppose -16 = 5*x - q. Does 22 divide x?
True
Suppose -25*n + 2*x = -24*n - 12039, 0 = 3*n - 4*x - 36117. Does 30 divide n?
False
Let n(x) = 51*x - 635. Let g be n(14). Suppose 2*z = -3*i + 258, 2*z + 0*z = 0. Let r = i - g. Is r a multiple of 7?
True
Let y be (0 + 1)/(-1) + 12186/3. Suppose -y - 964 = -5*b. Is 14 a factor of (-3)/(-18) + b/18?
True
Let m(f) = f + 54. Let i(v) = 3*v + 163. Suppose -3*z - 68 = 4*d - 7*z, 0 = -4*z. Let x(a) = d*m(a) + 6*i(a). Does 6 divide x(25)?
False
Is 83 a factor of 373080/16 + (-22)/(-4)?
True
Let z be 1/(-2 - 26/(-12)). Let i(j) = -13*j + 26. Let c be i(2). Suppose -z*p + 13*p - 1225 = c. Does 20 divide p?
False
Suppose -5*s = -15, -3*s = 11*x - 12*x + 4. Let y = x - -271. Does 59 divide y?
False
Let b(n) = 6*n**3 - n - 3*n**2 - 3*n**2 + n**3. Let l = 1388 + -1385. Is 18 a factor of b(l)?
False
Does 72 divide 6981 - (-8 + 0)/2 - 1?
True
Let j = 43614 + -33341. Does 82 divide j?
False
Suppose -2*q = 4*o - 12894, -5*q = 5*o - 23134 - 9106. Does 2 divide q?
False
Suppose -t + 102 = -5*k, k = -0*k + 2*t - 24. Let g be (3/2)/(-2*(-5)/k). Does 6 divide 504/6 + (g - -3)?
True
Suppose -70942 = -56*m + 305658. Does 128 divide m?
False
Suppose 38*s = 43*s - 60. Suppose -3*h + 3*l + 183 = 0, -5*l + s = 2. Is 7 a factor of h?
True
Suppose 3*d - 11 = 4. Suppose 2*r = 3*b + 150, 3*b - 2*b - 392 = -d*r. Let u = -34 + r. Is 14 a factor of u?
False
Let s(d) = 2215*d**2 - 39*d + 38. Is s(1) a multiple of 54?
True
Is (-625)/(250/10) + 7081 a multiple of 42?
True
Let t(p) = p**3 + 9*p**2 + 10*p - 15. Let c be t(-8). Let n = 337 - c. Is 15 a factor of n?
False
Let l(r) = 26*r - 531. Let w be l(22). Suppose -76 = -0*n + 2*n. Let c = n + w. Is c a multiple of 2?
False
Suppose 13*g + 5 + 8 = 0. Does 29 divide 868/10 + g + (-6)/(-5)?
True
Suppose -2*h = v - 4873, 0*v - 2*v = 10. Does 9 divide h?
True
Let d = 14010 + -5604. Does 43 divide d?
False
Suppose -4*r = v + 318, 2*v = -0*v + r - 600. Let j = v - -492. Is 10 a factor of j?
True
Let v(y) = -39*y - 13. Let z(r) = r**3 + 13*r**2 - 29*r + 18. Let n be z(-15). Let k be v(n). Let f = 312 + k. Is 14 a factor of f?
True
Let f(o) = o**3 - 80*o**2 - 397*o - 469. Is f(86) a multiple of 28?
False
Let r(j) = -217*j**3 - 28*j**2 + 18*j + 10. Does 9 divide r(-4)?
False
Let d(c) = 33*c - 10. Let i be d(16). Let u = i - 311. Suppose u = -z + 4*z. Is z a multiple of 16?
False
Suppose -50*v = -57797 - 893350 + 24497. Is 43 a factor of v?
True
Suppose 5*q + 2*d - 854 = 3*d, -q + 4*d + 186 = 0. Let y = 265 - q. Is 3 a factor of y?
False
Is 57 a factor of (-68)/(-187) - (-188076)/66?
True
Suppose -5*o - 5*z + 169 = -7*o, -o - 83 = -z. Let g = 329 + o. Is g a multiple of 19?
True
Let a(h) be the first derivative of -h**4/4 + 19*h**3/3 - 5*h**2/2 + h - 19. Let i(x) = -3*x + 12. Let w be i(-2). Is 23 a factor of a(w)?
False
Let l be (-73 + 1)*4/(-8). Suppose l = 5*d + f, 4*d - 3*f = 3*d + 4. Suppose d*z - 10 = 242. Is z a multiple of 9?
True
Suppose 0*t - t = 2*u + 7, 12 = 3*u - 3*t. Let f be u + (28*5)/4. Suppose 4*a + 355 = 3*n - f, 2*n - 3*a = 259. Does 40 divide n?
False
Is 6683210/3570 + (-2)/42 a multiple of 24?
True
Let d(r) = 72*r - 122. Let z be (-2)/(-1 + 0 - 8/(-12)). Is 31 a factor of d(z)?
True
Let i(c) = 32*c - 12. Let a(p) = p**2 - 2. Let g be a(2). Suppose 2*o = -g + 14. Does 45 divide i(o)?
True
Does 10 divide (((-1430)/(-33))/26)/((-3)/(-7488))?
True
Let j = 17850 - -4572. Is j a multiple of 6?
True
Suppose 5008*i - 5013*i = -20680. Does 44 divide i?
True
Does 103 divide (5130 + -2)*(-1743)/(-332)?
False
Suppose -5 = r + g - 3*g, -g = -4. Suppose -r*h - 107 = -20*l + 18*l, -2*l - 3*h + 77 = 0. Is l a multiple of 26?
False
Suppose 6*o - 20 - 16 = 0. Let i(w) = w**3 - 6*w**2 + 5. Let a be i(o). Suppose a*d - j = 483, d - j - 105 = 2*j. Is 24 a factor of d?
True
Let o(r) = 340*r - 568. Does 2 divide o(2)?
True
Let c = 20047 - 7947. Is 20 a factor of c?
True
Let s(r) = 8*r**3 - 13*r**2 + r - 4. Let v be s(4). Suppose 4*y - 280 + 35 = 5*l, -4*l - v = -5*y. Is y a multiple of 2?
True
Let l be ((-67)/4)/(5/(-100)). Suppose -3*i = 2*k - l, -2*i + 5*k - 442 = -6*i. Is i even?
False
Let q be (3 + 0)/(36/1392). Does 50 divide (-3148)/(-7) + (q/14 - 8)?
True
Suppose 0 = 2*j + 4*r - 11722, 3*j - 10*r = -2*r + 17569. Is j a multiple of 189?
True
Suppose 22*n - 73651 = 261453. Does 17 divide n?
True
Let r = 22370 + -12028. Is 16 a factor of r?
False
Suppose -4*m - 2*f + 4 = 0, 6*f = -2*m + 8*f + 14. Suppose -30 + 24 = -m*d. Suppose -d*r - 8*r + 480 = 0. Does 6 divide r?
True
Let z be 30/8 - 80/(-64). Suppose k = -i + 1456, -631 + 7911 = z*i + 2*k. Is i a multiple of 30?
False
Suppose 4*s + 13940 = 5*r, 505 + 2274 = r + s. Is 29 a factor of r?
True
Is (-11 - (-1240)/32)*188/3 a multiple of 13?
False
Suppose 0 = 3*x + 1490 + 508. Let m = -393 - x. Suppose -4*c + 5*h + m = 0, h - 300 = -4*c - 3*h. Is 8 a factor of c?
True
Let t be 127/2 + (-1081)/(-46) + -23. Let k be (-206)/4 + (-1)/2. Let p = t + k. Is 5 a factor of p?
False
Let k(y) = 900*y**2 - 1. Let a be k(1). Suppose a*v - 2376 = 895*v. Does 27 divide v?
True
Let v(s) = 16 + 4 - 80 - 255*s + 2 - 77. Does 15 divide v(-3)?
True
Let y(w) = w**3 - 9*w**2 + 2*w - 14. Let j be y(9). Suppose 5*m = 2*d + 18, j*m - 1 = d + 2. Does 4 divide (-6 - (-1)/1)*(d - -6)?
False
Let j(d) = 4*d**3 - 4*d + 20. Let x(f) = -11*f**3 - f**2 + 13*f - 62. Let g(u) = 8*j(u) + 3*x(u). Does 15 divide g(-9)?
False
Let o(g) = -12*g - 30. Let t be -26*((-4)/(-8) + 0). Is 9 a factor of o(t)?
True
Does 17 divide (-19670)/(-40)*(-5670)/147*(-12)/10?
False
Suppose -t - 3*x = -119, -476 = -5*t + 4*x + 138. Suppose 2*s - 35 = -5*p - t, -5*s + 80 = -5*p. Let y = p - -37. Is y a multiple of 2?
True
Let u(s) = -s**3 + 1. Let b(w) = -2*w**3 + 6*w**2 - 13*w + 26. Let j(q) = -b(q) + u(q). Is 6 a factor of j(5)?
False
Let g be 28/(-49) - (-8)/(-42)*-3. Suppose g*z - 13*z + 1573 = 0. Is z a multiple of 22?
False
Let h(y) = -y**2 + 21*y + 68. Let p be h(20). Let n = p + -112. Does 23 divide 0/1 + (87 - n)?
False
Suppose m - 6*m - 20 = 0, 0 = -p + 4*m + 19. Suppose 4*v - 5*b = 42, 58 = 4*v - 0*b + p*b. Suppose -v*y = -4*y - 54. Does 2 divide y?
True
Suppose 4*d - 3*u = 17, -72*d = -73*d + u + 3. Let a(r) = -27. Let c(f) = -f + 54. Let p(y) = -11*a(y) - 6*c(y). Is 7 a factor of p(d)?
True
Let m(p) = -p**2 - 11*p - 18. Let v be m(-9). Does 4 divide -4 - v/(-4) - -69?
False
Suppose 3*n + 2*u = 2311, 4*n + 71*u - 74*u - 3104 = 0. Is n a multiple of 2?
False
Let n(j) = -j**3 - 24*j**2 + 29*j - 3. Let l be n(-26). Suppose -4*i + l = i. Is 10 a factor of i?
False
Let j = -5390 - -8362. Is 7 a factor of j?
False
Let u be (-25)/(-20) + 30/(-24). Suppose u = 11*q - 12732 + 2337. Is 27 a factor of q?
True
Suppose 6*z - z = -3*w + 8222, -4*w = 4*z - 6584. Does 76 divide z?
False
Suppose -u - 2*m - 7 = 0, 0*u + 11 = 2*u - m. Suppose 2*j - 3*t - 116 = 63, 0 = -2*j - u*t + 197. Let y = j - 38. Is 19 a factor of y?
False
Let f = -44 - -118. Suppose 3*d + 2*h + 126 = -0*h, -2*h + f = -2*d. Is 20 a factor of 17/(((-16)/d)/(14/5))?
False
Suppose 0 = 5*p + 2*p. Let m be p + (8 - (5 + -2)). Suppose 4*j - 49 - m = -5*c, 2*c - 4 = 0. Does 2 divide j?
False
Suppose 4*r = 7*r. Suppose 0 = j - 3*l + 4, -4*l + r*l = j - 3. Does 18 divide (j + (-42)/(-4))*6 - 3?
True
Let c be (-8)/5 + (-24)/(-40). Is 2232/155*((-130)/4)/c a multiple of 39?
True
Suppose -9*d = 2*h - 13*d - 1012, 1012 = 2*h - 3*d. Does 54 divide h?
False
Let g = -4553 + 5687. Is 9 a factor of g?
True
Let l be (5 - 6)/((-1)/5). Suppose 0 = -y - 2*y - 12, -x - l*y = 14. Let z(f) = 2*f**2 - 3. Is z(x) a multiple of 10?
False
Suppose 48*q - 82*q + 14382 = 0. Is q a multiple of 47?
True
Let h = 3791 + -2293. Is 6 a factor of h?
False
Let t(g) = -6*g - 59. Let i(m) = 4*m + 39. Let n(s) = 8*i(s) + 5*t(s). Let q = 3 + -3. Does 17 divide