. Is 4 a factor of k(d)?
False
Suppose -20 = -5*y, -j - 4*j + y + 16 = 0. Suppose j*k - 3 = 9. Suppose -30 = -k*p - 0*p. Is p a multiple of 3?
False
Let r be 10/(1/((-21)/(-14))). Does 5 divide (-23072)/(-70) - (-6)/r?
True
Is 2/4*-12 - 55*-134 a multiple of 14?
True
Suppose 5*l = 2*x + 6214, 3*l - 2932 = 5*x + 785. Let u = -721 + l. Is 27 a factor of u?
False
Let o be 1/(-4) - 27/(-12). Let i be (-9)/4 + o - (-436)/16. Suppose 3*b + i = 2*w, 0 = -4*w - 5*b - 3 + 24. Is 3 a factor of w?
True
Suppose 0 = -l + 3*r + 1217, -r - 1213 = -l + 3*r. Suppose 6*n - 817 = l. Let w = n - 75. Does 22 divide w?
False
Let v = 126 - 125. Is (-6)/18 + (-1659)/(-9)*v a multiple of 23?
True
Let w(q) = 15*q - 3. Let s be w(-5). Let c be -8*(s/15)/((-4)/(-20)). Suppose -2*x - 2*x + 4*f + c = 0, x + 4*f = 32. Is 12 a factor of x?
True
Let y(w) = w**3 + 106*w**2 + 246*w - 175. Is y(-100) a multiple of 25?
True
Is (6 + -4738)/(-2) - 8 a multiple of 68?
False
Suppose -34 = -4*h + 2. Let i(m) = m**2 - 11*m + 10. Let o be i(11). Suppose -6 = h*w - o*w. Does 2 divide w?
True
Let r(l) = -6*l**3 + 63*l**2 - 44*l - 11. Is r(-19) a multiple of 30?
False
Suppose 0*p + 402 = p + 5*t, -p + 386 = -3*t. Let g be (-3651)/27 - (-6)/27. Let o = g + p. Does 14 divide o?
False
Let t(i) = -10*i + 52. Let r be t(5). Suppose 3*j + 7 - 22 = 0. Suppose -238 = -r*a - j*a. Is a a multiple of 5?
False
Is 6 a factor of (-34092)/27*(-72)/(-64)*-4?
True
Suppose -5*z + 10 = -5*o, -z + 4*o + 1 = -4*z. Is 33 a factor of 1/((-2)/z - 2908/(-1452))?
True
Is (-1149)/(-2)*(-410)/(-60)*8 a multiple of 186?
False
Suppose 4*o = 8, 4*o - 12160 = -3*l - 920. Is l a multiple of 24?
True
Let v(z) = z + 7. Let q be v(-5). Let d = -62 - -107. Suppose -3*i + 5*k = -31 - 56, -k + d = q*i. Is i a multiple of 9?
False
Let g(a) = 5*a**2 - 3*a - 28. Suppose -5*p - 4*q = 41, -2 + 19 = -5*p + 2*q. Does 12 divide g(p)?
False
Suppose 3*i + 4*d = 16969, 5*i - 2*i - 4*d = 16985. Is i a multiple of 18?
False
Suppose 46*q = 1693914 - 451316. Is 18 a factor of q?
False
Is -12758*((-1)/(-7))/(12/(-294)) a multiple of 132?
False
Let q(z) = 2*z - 3*z + 27 + 0*z. Let n = -279 + 264. Is q(n) a multiple of 7?
True
Does 2 divide ((-28 - -48)/4)/(10/3396)?
True
Suppose -23*h + 12731 = -7210. Does 14 divide (6/(-18)*3)/((-3)/h)?
False
Let n be (4 - 2) + -3 + -4. Does 11 divide 405*(12/n)/(-6)?
False
Suppose 8*v - 4*v - 784 = -4*y, v + 2*y - 198 = 0. Suppose 0 = 5*d + v - 994. Is d a multiple of 10?
True
Let k = 129279 + -62369. Is k a multiple of 19?
False
Suppose -18*g = 71601 + 89031. Is 13 a factor of g/(-69) + (-4)/6*-1?
True
Let o = 3763 + -5531. Let n be 6/(-4)*o/102. Suppose 2*w - 86 - n = 0. Is w a multiple of 4?
True
Let m = 27213 - 14281. Is m a multiple of 11?
False
Let o be ((-20)/8)/(-5) + (-895)/(-10). Suppose 5*g + 3*i - 12 = o, -3*g = i - 62. Is 7 a factor of g?
True
Suppose -n + 93 = 3*p + 5, 0 = p - 2*n - 27. Let r(z) = -z**3 + 27*z**2 + 64*z - 63. Is 18 a factor of r(p)?
False
Let k be ((-8)/(-10))/((-12)/7530) - 5. Let o = k + 890. Is o a multiple of 10?
False
Let z = -68 - 227. Let y = 191 + z. Let n = 129 + y. Is n a multiple of 3?
False
Let z = -101 + 211. Let s = 115 - z. Is 5 a factor of s?
True
Let s = -765 - -450. Let q = s + 524. Suppose -q = -n + 61. Is 18 a factor of n?
True
Suppose 4*b = 4*t + 332, b - 2*t + 6*t - 88 = 0. Let d = 139 + b. Does 9 divide d?
False
Let k(p) = p**3 + 9*p**2 + 14*p - 17. Let w be k(-9). Let z = -47 - w. Does 6 divide z?
True
Suppose -273372 = -29*o + 117084. Is o even?
True
Suppose -5*q = 103 - 123. Suppose 54 = 3*d + 2*a, -a - 16 + 88 = q*d. Is 25 a factor of (-2)/d - (-901)/9?
True
Suppose -3*r - 5*m - 16 = -9*m, 5*r - 4 = -m. Suppose l - 170 + 31 = r. Does 3 divide l?
False
Let q = -180 + 159. Is 20 a factor of ((-27)/(-24)*-18)/(q/560)?
True
Let l(p) = -341*p - 12. Let z be l(-1). Let i = -155 + z. Is 29 a factor of i?
True
Suppose -2*g = 1 + 1. Suppose -1937*c + 1944*c - 16044 = 0. Is g*(-8)/(-44) - c/(-22) a multiple of 26?
True
Let d be 69*(-5)/(-75) + 2/5. Suppose 0 = d*b + 82 - 562. Does 15 divide b?
False
Let d(l) = 8 + 2298*l**2 - 9*l + 25*l - 2296*l**2 + 17. Let w be -8*(3 - 2) + -2. Is d(w) a multiple of 18?
False
Suppose -44*m = -56*m - 21*m + 84876. Is m a multiple of 195?
False
Let x(s) = 55*s - 2360. Is 5 a factor of x(105)?
True
Let k be (-63)/6*(9/3 - -7). Let u be (k/9)/((-1)/(-3)). Let s = 48 - u. Is s a multiple of 15?
False
Let b = -351 - -206. Let t = b - -452. Is 13 a factor of t?
False
Suppose 61*s - 2387 = 30*s. Does 2 divide s?
False
Let d be -94 + (0 + -4 - -3). Let v = -98 - d. Is 14 a factor of (-2)/v*(-2079)/(-18)?
False
Let q(g) be the first derivative of g**4/4 - 3*g**3 - 9*g**2/2 + 5*g + 2023. Suppose 42 - 1 = 5*x - 3*m, 2*m = 3*x - 24. Is q(x) a multiple of 2?
False
Suppose -2*n - 254 - 689 = 5*g, 5*g = -5*n - 2395. Let x = n - -811. Does 40 divide x?
False
Let j be (0 + 15/3 - 4)*-320. Is 80 a factor of ((-1)/(-4) + (-27)/12)*j?
True
Let n be (6 + 5 + -17)*-1. Suppose 0 = -5*d + n*d - 778. Is d a multiple of 35?
False
Suppose 7*z + 60 = 17*z. Suppose -46 = -10*o - z. Does 7 divide (-2 - -107 - o) + -3?
True
Let b = -89 - -93. Suppose 4*x - b*f - 3356 = 0, 4*x + 0*x - 3392 = -5*f. Does 61 divide x?
False
Suppose 0 = 9*y - 11543 - 11956. Does 85 divide y?
False
Suppose 0 = -5*f + 21*u - 18*u + 238700, 0 = 2*f + 5*u - 95480. Does 35 divide f?
True
Suppose i = -5*g + 16936, -g + 2877 = 5*i - 491. Is 77 a factor of g?
True
Let r(v) be the second derivative of 5*v**3 - 27*v**2 + 16*v - 1. Is r(8) a multiple of 18?
False
Let v = 19 + -19. Suppose 0 = -r - v*r + 196. Suppose 22*s = 24*s - r. Does 14 divide s?
True
Suppose 0 = -5*l + l. Suppose l = -7*g - 1702 + 624. Let r = 244 + g. Does 15 divide r?
True
Let n = -31276 + 71984. Is 169 a factor of n?
False
Let u(r) = r**3 + 8*r**2 + 3*r - 24. Let n be u(-6). Suppose -n*a + 499 = -1901. Is a a multiple of 40?
True
Suppose 3810 = -6*i + 16*i. Suppose -48*j - i = -49*j. Does 37 divide j?
False
Suppose 0 = -4*j + 1 - 9. Let f be 0 + 1*(j + 1/(-1)). Does 6 divide (-95 + -10)*(f/(-5) + -1)?
True
Let s(o) = o**2 - 3*o - 17. Let t(b) = -b**2 - 6*b + 9. Let m be t(0). Is s(m) a multiple of 6?
False
Let p = -5 - -16. Let h(c) = 1 - 20*c - 5 + 9*c + 2*c**2. Is 13 a factor of h(p)?
True
Let c be 10/12 - (-119251)/(-66). Let y = -1250 - c. Is 33 a factor of y?
False
Let m = -37905 - -23906. Let n = 7055 + m. Is n/(-63) + (-2)/9 a multiple of 11?
True
Let b = 3979 - 3135. Is 21 a factor of b?
False
Suppose 14*o = -3*o. Suppose 2*m - 18*m + 128 = o. Suppose m*f = 7*f + 50. Does 5 divide f?
True
Suppose 2*g - 6*g + 6364 + 772 = 0. Does 27 divide g?
False
Let a = 4 + -3. Let f = 20 + -57. Does 7 divide 6 - 7 - (f + a)?
True
Is 208480/7 + -9*6/(-378) a multiple of 42?
False
Suppose 0 = -2*f + 4*f. Suppose -4*y = -f*y. Suppose -3*l - 25 + 157 = y. Is l a multiple of 19?
False
Let f(k) = -30*k + 31. Let y be f(1). Does 29 divide (y - 14)/(3/(-174))?
True
Let s be 1*(3 + (0 - 3)). Suppose 3*n + m - 353 = -4*m, s = 5*n + 5*m - 595. Suppose -8*d = -n - 159. Does 7 divide d?
True
Let h(a) be the third derivative of -a**6/12 + a**5/60 + 3*a**4/8 + 2*a**3/3 + 2*a**2 - 34*a. Does 14 divide h(-2)?
True
Let o(i) = 414*i - 2607. Does 18 divide o(27)?
False
Let x = 3093 - 317. Is 87 a factor of x?
False
Is 26 a factor of (32692/55)/4*15?
False
Let b = 50 + -59. Let x = 7 - b. Suppose -x = -2*y - 0*y. Is 4 a factor of y?
True
Suppose 104722 = 91*l + 40840. Is 2 a factor of l?
True
Let r(p) = -13*p - 7. Let j(o) = o**2 + 12*o + 8. Let f(w) = 5*j(w) + 4*r(w). Let t be (15/(-45))/(1*(-1)/(-12)). Does 11 divide f(t)?
False
Suppose 2*f + 3*a = 33336, 2*f - 42815 = -5*a - 9479. Does 7 divide f?
False
Let o be 0*(-5)/(-10)*1. Suppose -4*l - 12 = o, -2*l = 5*s - 370 - 1724. Suppose -3*g = 3*z - s, 0 = -3*g - 2*g + 4*z + 655. Does 11 divide g?
False
Suppose -2*x + 4*x = -u - 7, 0 = 4*u - 20. Let c be x/(-1) + (-1 - 3). Suppose -c*b + 20 = 2*d, -b - 6 + 4 = 4*d. Does 3 divide b?
False
Let n = -775 + 829. Let u = 1 + 4. Suppose -u*l + 3*l = -n. Does 8 divide l?
False
Suppose 6*i = 8*i - 6. Let z be (-2 + 0)/(-3 - -5) + i. Suppose -2*g + 107 = 5*o + z, -135 = -5*o + 4*g. Does 14 divide o?
False
Suppose -6*r = -17*r - 4147. Let g = r - -1