Let m(o) = -o**2 + 22*o - 12. Let p(v) = v**3 + 1. Let u be p(2). Is 15 a factor of m(u)?
True
Let c be (1/2)/((-3)/(-78)). Suppose 17*j + 318 + 39 = 0. Let w = c - j. Is 17 a factor of w?
True
Let b(y) = -4*y + 2. Let r be b(-4). Suppose d + 16 = c, 0 = 3*c + 5*d - 2*d - r. Does 6 divide (c + 1)/(0 - -2)?
True
Suppose -30*r + 32*r = -2*q + 6316, 3166 = r - 3*q. Is 10 a factor of r?
True
Let k(v) = 32*v**2 - 2*v - 8. Let w be k(4). Suppose -w + 163 = -3*a. Does 10 divide a?
False
Let t = -38 + 47. Let r = 123 + t. Is r a multiple of 24?
False
Let k(o) = 2*o**2 - 36*o - 16. Is k(21) a multiple of 11?
True
Suppose 3*y = 3*g + 2748, 3*y - g - 4564 = -2*y. Is y a multiple of 16?
True
Let d = -171 + 205. Is 13 a factor of d?
False
Let n be (4/(-5))/(2/120). Suppose 5*q - 502 = c, q = -q - 5*c + 190. Let w = q + n. Is 26 a factor of w?
True
Suppose -4*c = 3 - 39. Is (-3)/c - 163/(-3) a multiple of 6?
True
Is 17 a factor of 9454/6 - (-5 + 238/51)?
False
Let x(m) be the second derivative of m**5/20 - m**4 + 5*m**3/2 + m**2 - m. Let i = -402 + 413. Is 21 a factor of x(i)?
False
Suppose -4 = -4*u + 4, 0 = 2*x - 5*u + 6. Suppose 0 = -4*g - 2*i + 824, 4*i + 0*i + 422 = x*g. Is 23 a factor of g?
True
Let i = -595 + 1029. Does 7 divide i?
True
Suppose -2*b - 6 = 4*b. Does 3 divide (3/6)/(b/(-46))?
False
Let g(r) = r + 9. Let t be g(3). Does 17 divide 34*(4/t)/((-4)/(-12))?
True
Let w = -3177 - 40559. Is (-2)/5 - w/140 a multiple of 19?
False
Suppose 4*h = h + 4*n - 31, -42 = 5*h + 3*n. Let w = h - -13. Is 195/10 - (-2)/w a multiple of 10?
True
Suppose 409 = -5*t + 4*q, 6 + 2 = -2*q. Let k = t + 119. Is 11 a factor of k?
False
Let l = 19 - -109. Is 16 a factor of l?
True
Suppose -4*z + 0*z + 3*s = 679, 0 = -z + 2*s - 176. Let j = 278 + z. Is j a multiple of 16?
True
Suppose 2*d - 3*n - 842 = -2*d, -2*d - n + 416 = 0. Is d a multiple of 9?
False
Let h = -1406 - -1655. Is h a multiple of 2?
False
Suppose 1680 = -z + 11*z. Is z a multiple of 45?
False
Suppose 5*l = 5883 - 373. Is l a multiple of 44?
False
Let t be (3/2)/(48/128). Suppose -t*f - 4 = -3*x, -2*x - 2*f - 24 = 2*x. Does 8 divide 3/x + (-978)/(-24)?
True
Let h = 667 - -976. Is h a multiple of 79?
False
Let z be 7/9 + 1 + (-4)/(-18). Suppose 130 = z*x + u - 100, -u = 5*x - 578. Is 10 a factor of x?
False
Does 15 divide (-59150)/(-78) - 10/(-6)?
False
Suppose -10 = -2*y - 10. Suppose 5*b = 5*f - y*f - 465, 4*f - 2*b - 370 = 0. Is 10 a factor of f?
False
Let o(j) = -6*j - 28. Suppose n = 2*n + 12. Is 9 a factor of o(n)?
False
Suppose -5*r + 2*r = -9. Suppose -r*t = -c, 0*c = -c - t. Is 9 a factor of (1 - 12)*(-2 + c)?
False
Let o = -995 - -1438. Is o a multiple of 8?
False
Let b(v) = -7*v - 2. Let u be b(-1). Suppose 25 = 3*m - 5*p, u*p = m + m - 25. Suppose j = -3*g - m*j + 85, 4*g + j - 112 = 0. Is g a multiple of 12?
False
Suppose -4*b - b - 10 = 5*h, 0 = -b - 4*h - 17. Suppose 0 = 2*w + w + 2*d - 61, 2*w + b*d - 49 = 0. Is w a multiple of 15?
False
Suppose y - 4*b - 435 = 0, 4*b + 10 = 9*b. Does 5 divide y?
False
Suppose 0 = g + 2*w + 60, 3*g + 155 = g + 3*w. Let r = 106 + g. Let f = r + -12. Is f a multiple of 13?
False
Let c = 71 + -32. Suppose g + 3*y - c = 0, 0 = -3*y + 2*y + 5. Is g a multiple of 6?
True
Suppose 0 = n - 3*y - 411, 21*y - 26*y = -5*n + 2035. Is n a multiple of 15?
True
Let s(m) = -3*m**2 - 9*m - 21. Let o be s(9). Let f = o + 497. Does 19 divide f?
True
Suppose -5*m = -h + 12, h = -h - 4*m + 38. Suppose k + h = -3*w + 66, 5*k = 4*w - 97. Suppose 0 = 9*z - 11*z + w. Is z a multiple of 9?
True
Does 68 divide (2 - 5)*27404/(-51)?
False
Let v(j) = -49*j - 2. Suppose 3*h - 13 - 74 = 0. Let y = h + -31. Does 20 divide v(y)?
False
Let g(h) = 2*h - 3. Let u be g(-5). Let w = u - -18. Suppose -w = s, -3*l + s = -2*s - 294. Does 31 divide l?
True
Let n be (5 - 28/6)*132. Suppose 4*l - 264 = 2*h, 3*l - 2*l + 5*h - n = 0. Does 11 divide l?
False
Let t(k) = k**2 + 12*k + 11. Let j be t(-11). Suppose -v - g = 3 - 15, j = -2*g. Is 7 a factor of v?
False
Suppose 3*m = -141 + 498. Suppose -3*f = 2 + 247. Let v = f + m. Is 13 a factor of v?
False
Let g be 2 + (-5 - (-4 - -1)). Is 6/8*(-8)/(-3) + g even?
True
Let s be (25/4)/(1/(-8)). Let y = 71 + s. Is y a multiple of 7?
True
Suppose -2*j - 8*r + 5*r = -295, 0 = 2*r + 6. Is 17 a factor of j?
False
Let r = -54 + 82. Does 41 divide r/(-42) + 250/6?
True
Suppose -2*f + 4*w - 6 = 2*w, 15 = 5*f + 5*w. Suppose -114 = -f*a - 6*a. Is a a multiple of 4?
False
Let r = 10 + -7. Suppose b = -h + 10, -h + 5*b = r*h + 5. Suppose 0*p + 27 = p - 5*q, -h*q = -2*p + 39. Does 7 divide p?
False
Suppose -2*z + 3*v = 25, v - 19 = -5*z - 56. Let a = 35 + z. Let r = 79 - a. Is r a multiple of 26?
True
Let g(m) = -m**3 + 6*m**2 + 2*m + 8. Let x be g(7). Let k = 48 - x. Is k a multiple of 8?
False
Let j(c) = -c**3 + 19*c**2 - 14*c - 33. Let h be j(15). Let b = -342 + h. Is 35 a factor of b?
True
Let i(s) = -62*s - 432. Is i(-19) a multiple of 34?
False
Let v be 34 - (2 - 1)*1. Suppose 0 = -3*m + 218 + 22. Suppose 0 = 5*u - c - 37 - m, 2*u - v = 5*c. Does 12 divide u?
True
Let k = 14 - -8. Suppose 4*i - k = -2. Suppose i = u - 3. Is 4 a factor of u?
True
Suppose -3*z = -0*z - g - 6, -5*z - 3*g + 24 = 0. Suppose -2*v - z = v + 3*n, -16 = -4*v + n. Is 12 a factor of 3 + 43 + v + -1?
True
Let f(c) be the first derivative of c**4/4 + 2*c**3 + 3*c - 6. Let i be f(-6). Suppose -i*u + 33 + 12 = 0. Is 11 a factor of u?
False
Does 39 divide ((-11229)/114)/((-1)/2)?
False
Suppose 5*w + 827 - 3767 = 0. Suppose 2*q = 9*q - w. Is 28 a factor of q?
True
Let o = 286 + -143. Suppose -o = -3*h - 38. Does 5 divide h?
True
Suppose 5*l - 7*l = 12. Let b(w) = -w**3 + 3*w**2 + 8*w - 19. Is 16 a factor of b(l)?
False
Suppose 10 = 15*h - 13*h. Suppose 2*f = -3*f - 10, -h*u + 9 = 3*f. Suppose 4*w = -4*l + 112, 0 = 3*w - 2*l - u*l - 92. Does 6 divide w?
False
Let v(c) = 7*c**2 + c + 4. Suppose 4 = -2*j - 2*d, 6 = -5*j - 3*d - 0*d. Let a be j/((-20)/(-5)) - -3. Is v(a) a multiple of 10?
True
Suppose 3*g = 3*h + g + 308, -2*h - 208 = -4*g. Let b = h + 63. Let l = b + 74. Is l a multiple of 14?
False
Suppose -2*b = -4*b + 3*a - 47, -b - 5*a = -9. Is 6 a factor of ((-252)/b)/(6/16)?
True
Suppose 3*o + x = -o - 8, -3*o - 4*x + 7 = 0. Let r = 12 - o. Suppose 4*m = -r + 67. Does 5 divide m?
False
Let o = 5 - 0. Suppose d - 34 = -4*k, o*d - k + 6*k - 230 = 0. Suppose 0 = 3*z + r - 158, r = -z + 2*r + d. Is z a multiple of 9?
False
Let m = 499 + 113. Does 11 divide m?
False
Let x be (-4)/(-3)*3 + -2. Suppose -3*w = x*w + 105. Let n = w + 32. Is n a multiple of 3?
False
Let h(o) = 15*o - 107. Is 15 a factor of h(13)?
False
Let n = 22 - 10. Let r(t) = -6*t - 6*t - n + 16. Is r(-4) a multiple of 12?
False
Does 23 divide ((-20)/8)/(-3 + 1001/334)?
False
Let u = 7 + -5. Let r(q) = 13*q**2 - 4*q + 1. Is r(u) a multiple of 15?
True
Let o(g) = 103*g - 116. Is 7 a factor of o(10)?
False
Let v be (16 + -16)*1/3. Let m(h) = 5 + 3 - h + 0*h**2 - h**2. Is 4 a factor of m(v)?
True
Suppose 18 = 4*h - 10. Suppose 0 = -w + 5 + h. Let i = w + -8. Does 3 divide i?
False
Let b(f) = -4*f**2 - 3*f + 7146. Is 13 a factor of b(0)?
False
Let n(f) = 2*f**2 - 18*f - 32. Let z be n(18). Suppose -z = 9*r - 1579. Is r a multiple of 11?
True
Suppose -5*u + 1 = -0*l + l, -2 = u - 2*l. Suppose -z + 16 = -u. Is 7 a factor of z?
False
Suppose 3*o + 7 - 83 = -5*i, 4*o = -i + 22. Is 2 a factor of i?
True
Let h(r) = r + 12. Suppose -3*x - 5*p + 14 = 0, -x + 5*p = -0*p - 18. Does 5 divide h(x)?
True
Let g(t) = 0*t - 2 - 1 + 2*t + 1. Let r be g(9). Suppose -2*l = 3*c - 18 - r, 0 = 3*l - 5*c - 51. Does 17 divide l?
True
Let a = 135 - -2081. Is 96 a factor of a?
False
Let q = -658 + 1109. Is 11 a factor of q?
True
Let p(z) = z**2 - 2*z + 2. Let l be p(2). Let h(a) = 23*a**2 - 10*a**l - 10*a - 11*a**2. Is 14 a factor of h(9)?
False
Does 9 divide (154 - 0)/1 - (30 - 25)?
False
Suppose 3 = -5*k + 28. Is (-20)/8*(-28)/k a multiple of 7?
True
Suppose 0 = f - 4. Suppose -f*s + 14 = -2*s. Suppose 0 = w - s*w + 102. Does 3 divide w?
False
Suppose -20111 = -18*i - 347. Is i a multiple of 18?
True
Let i(j) = -7*j - 8*j**2 + 0*j**3 - 12 + 11 + 11 - j**3. Is 3 a factor of i(-7)?
False
Suppose -3*s + 1807 = -6518. Is 50 a factor of s?
False
Suppose 2*b = -