28 a factor of n?
False
Suppose 2*x - 5*q + 2 = -4, 2*x + 6 = 2*q. Let r be (-4)/(-4 + 2 - x). Does 3 divide (3/r)/(7/(-56))?
True
Suppose 5*m + 5*z = -27 + 2, 4*m + 38 = 2*z. Is 35 a factor of 561/(-24)*-6 + 2/m?
True
Let r = -25 + 25. Suppose r = -i + 5*z + 90, -4*z = -5*z + 2. Is (36/10)/(30/i) a multiple of 6?
True
Let b(s) = -s + 43. Let u be b(19). Suppose 0 = 4*k - 16 - u. Is k a multiple of 10?
True
Suppose -3*b - 1014 = -5*p + 1144, p - 426 = -5*b. Suppose -139 = -5*z - 4*a + 981, 2*z + 5*a = p. Does 13 divide ((-1)/(-3))/(2/z)?
False
Is (-2 - (-12)/(-9))*(-810)/75 a multiple of 14?
False
Suppose 11 = 10*k - 19. Suppose k*j - 258 = -3*q, 0 = -2*j - 3*q + 168 + 6. Is 12 a factor of j?
True
Let j = 35 + -19. Suppose 0 = m + 3*m - h + 7, 5*m - 4 = -3*h. Let s = j + m. Is s a multiple of 7?
False
Let r(u) = u**3 - 6*u**2 + 12*u - 8. Let b be r(5). Suppose -24*o = -b*o + 144. Does 12 divide o?
True
Let j(w) be the first derivative of -w**4/4 + w**3/3 + 2*w**2 - 17*w - 43. Is j(-4) a multiple of 3?
False
Suppose 2*a - 10 = 0, -2*u = 4*a - 328 - 192. Let h = 353 - u. Suppose -h = -4*c + 81. Is 13 a factor of c?
False
Suppose -4*i - 20 = 2*b, -5*i + 0 - 10 = 0. Is ((-1)/3)/(b/1224) a multiple of 14?
False
Let m(p) = 29*p**2 - 10*p + 10. Is m(2) a multiple of 39?
False
Let j be 3/12 - (-2)/(-8). Is (j + (-46)/(-4))/(8/16) even?
False
Let f(o) = 2*o + 2. Let d(a) = -1. Let q(r) = -14*d(r) + 2*f(r). Is q(0) a multiple of 12?
False
Let l(w) = 840*w**2 + 7*w + 7. Does 28 divide l(-1)?
True
Let x(v) be the third derivative of 13*v**5/60 + v**4/24 - 2*v**3/3 + 2*v**2. Let u be x(-4). Suppose -u = -6*m + 2*m. Does 15 divide m?
False
Suppose -3*z = -6*z + 18. Let p = z - -503. Suppose 5*s = -89 + p. Is s a multiple of 19?
False
Suppose -4*j = 33 - 381. Is 29 a factor of j?
True
Suppose 3*j = -0*j - 195. Let x be j - 1 - (-6)/(-3). Let o = -29 - x. Is o a multiple of 25?
False
Let z(n) = n**3 - 2*n**2 - 6*n. Let p be z(4). Suppose p*x - 1144 = -112. Does 11 divide x?
False
Suppose 0 = -2*x - 5*d + 30, -d = x - 4*x + 11. Suppose 0*t = -x*t + 25, r + t = -4. Let j = 23 - r. Does 13 divide j?
False
Suppose 0 = 54*i - 46672 - 15158. Is i a multiple of 61?
False
Let z be (-44)/28 + 2 + (-32)/(-7). Let b(v) = 90*v**2 - 1. Let p be b(-1). Suppose z*j - 91 = -y, 5*j + 0*y = y + p. Is 9 a factor of j?
True
Let a(m) = -79*m - 174. Is 23 a factor of a(-10)?
False
Let a = -14 - -15. Let t = -3 + a. Does 23 divide 0 + (87 + t - -4)?
False
Does 4 divide 3729/231 - (-1)/(-7)?
True
Let j = -173 + 95. Let h = j - -105. Is 4 a factor of h?
False
Suppose -j = -144 - 256. Does 14 divide j?
False
Suppose -2*d + 5*i = -11, 5*d + 5*i = 2*i + 12. Suppose 4*a + z - 76 = -d*z, -3*z = -9. Does 14 divide a?
False
Let d(r) = r**3 + 10*r**2 + 11*r + 20. Let o(n) = n**2 - 7*n - 8. Let c be o(7). Is 10 a factor of d(c)?
True
Let i = 5 + 1. Suppose 2*y + 4*b + i = 0, y - b = 3*b + 21. Suppose 0 = -y*q - 132 + 462. Is 22 a factor of q?
True
Does 54 divide (4 - (-785)/1)*(-1)/(-1)?
False
Let h(k) = 0*k**2 + 6 + 3*k + 2 + 3*k**2 - 2*k**2. Is 13 a factor of h(-10)?
True
Let l be (-4)/14 - 138/(-42). Suppose l*u = 4*o + 928, 4*o + o = 3*u - 926. Suppose u = 5*t - t. Is t a multiple of 26?
True
Let u(a) = -4*a - 18. Let c be u(-3). Is 48 a factor of (-1)/((-10)/484) + c/15?
True
Suppose -3*b = 4*y - 7270, -10*b + 4*y + 12074 = -5*b. Is 31 a factor of b?
True
Let w = 2159 + -3727. Let c = -1008 - w. Suppose 6*g = -g + c. Is g a multiple of 30?
False
Let l be 5 + -2 - (1 + 6). Let w(k) = -7*k**2 + k - 1. Let o(r) = -4*r**2 + r - 1. Let f(u) = 10*o(u) - 6*w(u). Is 6 a factor of f(l)?
True
Let p be (-26)/39 + (-28)/(-6). Is 3 a factor of 78/4*p/6?
False
Suppose 3*y - 13 - 41 = 0. Does 23 divide 3201/y - (-2)/12?
False
Let v(g) = g**2 + g + 10. Let h be v(0). Suppose 132 = h*c - 38. Is c a multiple of 7?
False
Let j = -10 + 8. Let v be (29 - 19)*(-17)/j. Suppose 253 = 4*x + v. Is x a multiple of 12?
False
Let p(i) = -55*i + 2*i**3 + 3*i**3 - i**2 + 54*i + 2. Is 22 a factor of p(2)?
False
Let c = -227 - -453. Let k = c - 147. Suppose -5*l - k = -279. Does 11 divide l?
False
Let j = -70 - -37. Let b = 48 + j. Suppose b = -p + 73. Is 16 a factor of p?
False
Suppose 2*v = 5*z + 38, z = 5*v - 2*z - 76. Suppose 19*r - v*r = 20. Suppose 3*n + 67 = r*n. Does 18 divide n?
False
Does 37 divide 4808/10 - (-10)/50?
True
Suppose -110*z + 108*z = 0. Suppose -5*x + 8*x - 312 = z. Is 10 a factor of x?
False
Let n = 1347 + -775. Does 11 divide n?
True
Suppose -2*j + 629 = 3*q, -3*q + 232 = -3*j - 377. Is q a multiple of 6?
False
Let r(t) = 3 + 2 - 4 + t + 1. Let u be r(3). Does 7 divide ((-7)/u)/((-2)/10)?
True
Let o(r) = -314*r - 1260. Is o(-12) a multiple of 11?
True
Let o(i) = -i**3 - 3*i**2 - 1. Let y be o(-4). Let q = y - 93. Let c = q - -117. Is c a multiple of 13?
True
Suppose -3 - 12 = 5*y. Let j(i) be the first derivative of i**3 + i**2/2 + 3*i + 8. Is j(y) a multiple of 27?
True
Suppose -7*n + 10 + 4 = 0. Suppose 5*w + 49 = -5*y + 229, 4*w + n*y = 142. Does 10 divide w?
False
Let p be 5 + -3 - -2 - 31. Let s = 76 + p. Is 10 a factor of s?
False
Let m = 453 + -448. Is 5 a factor of m?
True
Let g(t) = -t**3 - 5*t**2 - 5*t - 5. Let p(l) = 2*l**2 + l - 6. Let w(n) = 4*n**2 + n - 13. Let a(r) = -5*p(r) + 2*w(r). Let v be a(-3). Does 6 divide g(v)?
False
Let p = -10 + 13. Suppose -2*c + a = -39, -p*c - 75 = -6*c - 4*a. Is 14 a factor of c?
False
Let v(r) = 135*r**2 - 3*r + 3. Is 75 a factor of v(-4)?
True
Suppose -2*f = -2*k - 4, -2*k - 2 = -f - 0*f. Suppose -3*j + 2*l + 32 = 0, j = f*l + 5 - 1. Does 12 divide j?
False
Let p = -60 - -109. Let r = 99 - p. Is r a multiple of 13?
False
Let a = -71 + 78. Suppose 689 = -a*i + 11*i - 3*w, 5 = w. Is i a multiple of 16?
True
Suppose 2*y + 67 = 4*f + f, -y + 49 = 3*f. Let l be (-6)/(-15) + 24/f. Suppose -20 = l*u - 104. Is 19 a factor of u?
False
Let s be 2/((-2)/(-7) - (-324)/(-1575)). Suppose -9*k = -s - 920. Does 14 divide k?
False
Let x be 0 + (-10)/4*2. Let u(q) = -q**3 - 2*q**2 + 7*q + 7. Let n be u(x). Let r = 69 - n. Is 11 a factor of r?
True
Let q = -398 + 937. Does 35 divide q?
False
Let i(h) = -h**3 + 45*h**2 - 143*h - 24. Does 31 divide i(41)?
True
Suppose -3*v - 5*z + 854 = 0, 280 = v + z + 3*z. Is v a multiple of 9?
True
Let r(a) = -3*a**2 - 8*a - 8. Let g be r(-4). Does 37 divide (-4)/g + (-1330)/(-12)?
True
Let t(w) = w - 2. Let c be t(4). Suppose -c*f = -f + 6. Is 9 a factor of 33/f*(1 + -5)?
False
Suppose 3*z - 1220 = -x + 1698, 5868 = 2*x - 2*z. Is 66 a factor of x?
False
Let z(x) = 7*x**2 - 20*x - 100. Does 55 divide z(13)?
False
Suppose 0 = 2*v + 3*q - 14 - 13, 2*v - 22 = -4*q. Suppose 20*b = v*b - 54. Does 6 divide b?
True
Suppose 0 = -3*l + 82 + 479. Let b(z) = -z**3 + 5*z - 1. Let a be b(5). Let w = l + a. Is 20 a factor of w?
False
Let r = -3501 + 6691. Is 145 a factor of r?
True
Let q(y) = 37*y - 5. Let v(s) = 36*s - 4. Suppose c + 12 = 5*c. Let j(z) = c*q(z) - 4*v(z). Does 14 divide j(-2)?
False
Let d(i) = 25*i**2 + 28*i + 168. Is d(-6) a multiple of 75?
True
Let j = 1186 - 721. Is j a multiple of 19?
False
Let r = 20 - 18. Let o(b) = 4*b**2 - 3*b**2 + 0*b + 10*b + r*b. Is o(-13) a multiple of 3?
False
Let a = -397 + 667. Suppose 0 = 2*x + x - a. Is 14 a factor of x?
False
Suppose -4*d - 4*z + 6 = -3*d, 0 = -5*d - 3*z + 64. Suppose -j - q = -d, -3*j + 3*q + 15 = -3. Is j a multiple of 10?
True
Is ((-374)/(-55))/(-17) + (-8102)/(-5) a multiple of 108?
True
Let n(l) = -8*l**2 + 15*l - 11. Let p(a) = -9*a**2 + 15*a - 12. Let s(q) = 7*n(q) - 6*p(q). Does 2 divide s(5)?
True
Suppose -3*k - 414 = 5*p, -p - 283 = -k + 3*k. Suppose 3*x = -0*x - 252. Let y = x - k. Is 12 a factor of y?
False
Suppose -22*h + 18*h = -4*g + 2052, -3*h + 1539 = 3*g. Is 22 a factor of g?
False
Let b(s) = -s**2 - 13*s - 3. Let u be b(-8). Let f = u - 10. Is f a multiple of 4?
False
Let s(q) = -q**2 - q. Let i be s(-1). Suppose -y - 6 + 0 = -2*h, i = 3*h - 12. Suppose y*d + 2*z = -3*z + 1, d - 4*z = 33. Is 6 a factor of d?
False
Suppose 2*u = 404 - 112. Suppose -3*v + 85 = 5*m, v + 4*v + 4*m - u = 0. Suppose v = 4*f - 402. Is f a multiple of 24?
False
Suppose 15 = 5*l + 130. Is 3 a factor of (-1)/(-2)*(-1 - l)?
False
Let m = 129 + -67. Is 18 a factor of m?
False
Let u