et w(b) = -3*b + 21. Let c be w(9). Is r(c) a multiple of 11?
True
Suppose 3*n = -3*h + 969, -3*h - 1285 = -n - 3*n. Is n a multiple of 23?
True
Suppose 3*h - 104048 = -53*h. Is 53 a factor of h?
False
Suppose 7*s - 1666 = -0*s. Is 17 a factor of s?
True
Suppose 3*q - 355 + 31 = 0. Is q a multiple of 11?
False
Let h(u) = -u**3 - 4*u**2 + 9*u + 13. Suppose 0 = y + j + 10, -2*y - 5*j = -0*y + 32. Is 5 a factor of h(y)?
False
Is 6 a factor of ((-5)/10)/((1/1272)/(-1))?
True
Suppose -501 = -3*f + 2*f. Let j = f + -289. Is 44 a factor of j?
False
Suppose 4*j - 325 = -5*c - j, -256 = -4*c - 5*j. Let l = c - 31. Is l a multiple of 6?
False
Let q(b) = -24*b**3 - b**2 - b. Suppose 0 = 3*h + a + 6 - 3, 5*h = 5*a - 5. Is q(h) a multiple of 8?
True
Let l = 1 + -11. Let y(k) = k**3 + 11*k**2 + k - 10. Is y(l) a multiple of 20?
True
Let q = -17 - -32. Suppose 78 = 3*s + 21. Let u = s - q. Does 4 divide u?
True
Let i be ((-18)/(-27))/((-2)/(-48)). Let k = i + -20. Is 20 - (-2 + (-4 - k)) a multiple of 19?
False
Suppose 3*c = -0 + 3. Is 2 a factor of (-559)/(-26) + c/(-2)?
False
Let w(o) = 0 - 4*o - 3 - 10*o + 3*o**2 + 17*o. Let l be (2/3)/((-1)/(-3)). Is w(l) a multiple of 15?
True
Let g be 11 - (2 - (3 + -3)). Let q(m) = 2*m + 7*m + m**2 - g - 2*m**2 + 3. Does 7 divide q(4)?
True
Suppose 3*r + b = -2*b + 24, 3*r + 2*b = 21. Suppose 101 = r*t + 4*s, s + 6 + 37 = 2*t. Is 1/((-18)/t - -1) a multiple of 7?
True
Suppose 121 = -4*h - 59. Let p = -42 - h. Is p a multiple of 3?
True
Suppose -z + 1825 = 5*c, -3*c + c + 3*z + 730 = 0. Is c a multiple of 21?
False
Suppose -27*o + 23*o = -836. Does 7 divide o?
False
Suppose 3*w + 11*w = 1848. Is 22 a factor of w?
True
Let b(k) = k**2 - 4*k + 2. Let c be b(7). Let t = c - 13. Does 3 divide t?
False
Let y(t) = -3*t**2 + 2*t - 9. Let f(m) = 5*m**2 - 3*m + 14. Let h(w) = -5*f(w) - 8*y(w). Let a be h(-2). Suppose -g - 3 + 45 = a. Is g a multiple of 21?
True
Let u(t) = t**3 + 3*t**2 - 6*t - 6. Let w be u(-4). Let b(v) = w - 1 + 4*v + 0 - v. Is b(7) a multiple of 22?
True
Let h = 44 + -41. Suppose -h*c - 42 = -y, -2*y - c + 54 = 3*c. Is 4 a factor of y?
False
Let o(n) be the second derivative of 21*n**4/4 - n**3/6 - n**2/2 - 15*n. Is 14 a factor of o(-1)?
False
Let n(d) = d**3 + d + 31. Let g = 29 - 29. Let h be n(g). Let b = h - 19. Does 4 divide b?
True
Suppose 4*t + 2*y + 20 = -3*y, -2*t + 4*y + 16 = 0. Suppose 5*n + t*n - 30 = 0. Is ((-2)/4)/(n/(-312)) a multiple of 4?
False
Let c = 6 + -22. Let f(k) = -k**3 - 15*k**2 + 16*k + 2. Let o be f(c). Suppose o*l - 230 = -3*l. Does 23 divide l?
True
Let x(i) = -4*i**3 - 2*i**2 - 7*i - 17. Let l be x(-5). Let w = l - 276. Is 12 a factor of w?
True
Suppose 4*l = 2*l - p + 328, -4*l - 5*p + 650 = 0. Is l a multiple of 4?
False
Suppose 18*s = 9434 + 3904. Does 13 divide s?
True
Suppose 0*v + 7*v + 189 = 0. Let f = v - -69. Is 6 a factor of f?
True
Suppose 3*f + 2*o = 735, 994 = 4*f - 2*o + 14. Let u = -115 + f. Is 26 a factor of u?
True
Let d(f) = -f**2 + 11*f + 3*f**2 - f**2 - 3. Is d(-14) a multiple of 39?
True
Let s(w) = w**3 + w**2 - w - 189. Let j be s(0). Let x = j - -268. Is 14 a factor of x?
False
Let n be (-6)/9 + 6/9. Suppose n*c = 5*c. Suppose 2*i + 0 + 150 = 3*k, c = -i. Is 18 a factor of k?
False
Suppose 0 = -5*p + 2525 + 1440. Suppose n + p = 5*j, 0*j + n = -3*j + 471. Suppose 2*r = j + 4. Is 19 a factor of r?
False
Let g(o) = 3*o**2 + 11*o + 10. Let b be g(-7). Suppose -89 = 2*z + 5*w, -w = -5*z - 4*w - 251. Let n = b + z. Is n a multiple of 28?
True
Let k(a) = 86*a - 2. Let z(l) = -345*l + 8. Let b(f) = -22*k(f) - 6*z(f). Is 42 a factor of b(1)?
False
Let i = -6244 + 8820. Is 59 a factor of i?
False
Let c be 2/3 - 16/24. Let r be ((-62)/(-2))/(-1) + c. Let s = r - -59. Does 14 divide s?
True
Let n(c) = c**2 - 6*c - 37. Let y be n(10). Let u(a) be the third derivative of 5*a**4/12 - 2*a**3/3 + a**2. Is 5 a factor of u(y)?
False
Suppose 833 = 8*n - n. Suppose 12 = -v + n. Does 26 divide v?
False
Let o be 2 - (1 + 3/(-3)). Suppose -o*n = -3*r + 222, -3*r - 4*n = -4*r + 84. Does 18 divide r?
True
Let f be (2 - 6 - -3) + -10. Let v(i) = 8*i + 18. Let u(y) = -4*y - 9. Let o(q) = -11*u(q) - 6*v(q). Does 18 divide o(f)?
False
Suppose -n = 3*j - 5, 7*n = 3*j + 3*n - 10. Suppose -j*g = 4*k - 20, 3*g + 0*k - 24 = -4*k. Suppose 3*f + 112 = 2*o, -4*f - g = 4. Is o a multiple of 30?
False
Let a = 434 - 290. Let z = 256 - a. Does 15 divide z?
False
Let y = 0 + 6. Let t be 3015/25 - y/10. Suppose 0*l = -4*l + t. Is 10 a factor of l?
True
Suppose 5*w = -3*d + 3970, -5*w + 2 = -8. Is 35 a factor of d?
False
Suppose -2*r - 7 = -3*r. Let c be r*((-153)/21 - -3). Let d = c + 58. Does 28 divide d?
True
Let d be (-1 - 1/(-1)) + 1281/(-21). Is 12 a factor of 9/((-2 + d/(-30))*2)?
False
Suppose 0 = 2*n - 11*w + 10*w - 6, -2 = 2*n + 3*w. Let k(m) = 16*m - 2. Let r be k(4). Suppose -5*g + 57 = -3*g + 3*c, -2*c = -n*g + r. Is g a multiple of 10?
True
Let u(h) = 2*h + 12. Is u(34) a multiple of 40?
True
Suppose 7*x - 10*x = -588. Suppose 5*u = x + 34. Does 23 divide u?
True
Suppose -8*w = -569 - 1167. Is w a multiple of 31?
True
Let v be (-4)/18 + 254/9. Let r be 22 - -1*(-2 + 1). Is 2 a factor of (v/r)/(2/9)?
True
Does 30 divide 4/(((-30)/50)/(63/(-10)))?
False
Let p = 584 - 356. Is 4 a factor of p?
True
Let h be 10/(-6)*(-115 - 8). Suppose -4*s = -4*g + 260, 5*s = -0*g + 3*g - h. Is g a multiple of 20?
True
Let m be 2/7 - (-309)/21. Suppose 0*g - g = m. Is 16/(-12)*g/2 a multiple of 6?
False
Let f(q) = 25*q - 295. Is f(23) a multiple of 14?
True
Let f(y) = 4*y**2 + 24*y + 2. Does 102 divide f(-20)?
True
Suppose -24 = -9*o + 21. Suppose -j - o*r = -42, -5*j + 120 = r - 90. Is j a multiple of 4?
False
Suppose 3*a = -5*c + 62, -3*a = 4*c + 2*a - 60. Let z = 19 - 2. Let f = z + c. Is 11 a factor of f?
False
Let m = 55 - 91. Let u = -1 - m. Is u a multiple of 21?
False
Let x(v) = v**3 - v**2. Let i be x(1). Suppose i = 11*n - 9*n - 272. Is n a multiple of 17?
True
Let x = 75 - 181. Let g = -14 - x. Suppose 0 = 4*u - g + 20. Is u a multiple of 5?
False
Suppose -541 = -4*o + 1067. Let q = -24 - -94. Suppose 4*i = o - q. Is i a multiple of 24?
False
Let t(d) be the third derivative of d**5/30 - 13*d**4/24 - 5*d**3/6 - 35*d**2. Does 39 divide t(13)?
False
Let p(q) = 39*q**2 + q. Let h be p(-2). Suppose -2*t = -0*t - h. Suppose -4*c = -4*f - 92, -2*c - c - 5*f = -t. Is 15 a factor of c?
False
Does 31 divide (6 - 3/3 - 2) + 248?
False
Let i be -1 + 3/4 + (-628)/(-16). Suppose 2*n + 2*n = 12, -i = -o + 5*n. Is 27 a factor of o?
True
Let r = -1381 + 1691. Is r a multiple of 5?
True
Let t be 3*(-1)/((-15)/110). Suppose -2*f - f - 5*j + t = 0, 0 = -4*f - 5*j + 26. Does 4 divide f?
True
Suppose 0 = -3*o + 6*o + 57. Let g = o + 4. Is 10 a factor of (0 + g)*(-16)/24?
True
Suppose 4*i + 2 = 5*q - 14, 0 = -4*q. Let c = -20 - i. Does 24 divide 104*(-4)/c*2?
False
Let v = -133 + 381. Let h = v + -149. Does 15 divide h?
False
Let j(r) = 18*r + 4. Let v be j(-7). Let n be 32/112 + v/(-14). Suppose -4*k + n + 29 = 2*m, -m = -3*k - 29. Is m a multiple of 23?
True
Let j(y) = 3*y**2 - 2. Let a be j(-5). Let u = a + -38. Let s = u - 20. Is 15 a factor of s?
True
Let d be (-2)/(-2) + (-174)/(-6). Is 2/1 - (-12 - d) a multiple of 13?
False
Let v = 517 - 333. Is 23 a factor of v?
True
Is 8 a factor of ((-4)/(-2*1))/(2/128)?
True
Let f be (-84)/(-15) + (-3)/5. Is (4/(-1) + f)/(2/52) a multiple of 11?
False
Suppose 2*o - 30 = -0*o - 3*j, -4*o + 4*j = -20. Let y(b) = 5*b**2 - 9*b - 6. Let w be y(-3). Suppose 4*t - w = -5*l, -o - 1 = 5*l. Is t a multiple of 10?
False
Let f be -4*(-6)/1 + 1. Let o = 36 + -45. Let l = f + o. Is l a multiple of 8?
True
Suppose -6*o + 3 = -15. Suppose 0 = 4*l - s - 931, o*s = -4*l - 2*s + 961. Does 39 divide l?
True
Let p(k) = -k - 2. Let t be p(0). Let n = -2379 - -1259. Is 9 a factor of t/(-3) - n/21?
True
Does 77 divide 2*(-10)/(-4) + (48 - -606)?
False
Let x = -746 + 1108. Is x a multiple of 34?
False
Suppose -7*y + 880 = 4*y. Is 12 a factor of y?
False
Let h(w) = 21*w**2 + 0*w - 18*w - 15*w**2. Is h(6) a multiple of 6?
True
Suppose -2*k + 7*k = 2*o + 3206, 3*k = 4*o + 1932. Does 80 divide k?
True
Suppose -2*r - 72 = -5*l + 4*l, 0 = 2*l + r - 139. Is l a multiple of 5?
True
Let b = 37 + 64.