 + y + 6 = 0. Suppose -2 = -3*x - k, -4*x + 4*k + o = 3*k. Is 11 a factor of 1 + (x - -32) - -3?
False
Let j(o) = -o**2 - o + 6. Suppose 7 = -m - 0*m + n, 20 = -4*m - 4*n. Let s be j(m). Let a = s - -69. Is a a multiple of 15?
True
Suppose -5*c = -3*q + 6, 5*q - c - 13 = -3. Let s = 20 + q. Suppose -n + 5 = -s. Is 8 a factor of n?
False
Let v(r) = 50*r + 120. Is 48 a factor of v(12)?
True
Suppose 0 = -5*n + d + 7, -n + d - 1 = -0. Suppose 7*a - 3*a = -3*b + 150, -100 = -n*b - 4*a. Does 12 divide b?
False
Suppose -4*u = -0*u - 316. Suppose 16 = y + v, -5*y - v = 3*v - u. Is y a multiple of 15?
True
Suppose -4*y - 12 = 2*v + 50, 183 = -5*v + 4*y. Let a = v - -83. Suppose -3*k + a + 0 = 0. Is 8 a factor of k?
True
Is 13 a factor of -7 + -1 + (2 - 1 - -214)?
False
Suppose 10 - 4 = 3*r. Suppose 3*i + 245 + 153 = 5*y, r*y + i - 168 = 0. Is y a multiple of 41?
True
Let g(n) be the third derivative of n**4/24 + 2*n**2. Let c be g(5). Suppose 6*p - p - c*t - 65 = 0, 0 = -t + 3. Is p a multiple of 5?
False
Let w(s) = -55*s - 6. Let v be (-3)/((-6)/(-16)*4). Is w(v) a multiple of 11?
False
Let b = 51 - 33. Suppose -b = -3*l + 33. Is l a multiple of 5?
False
Suppose 3*k = 2*w - 30 + 2543, 5*k + 3*w - 4163 = 0. Is 38 a factor of k?
False
Suppose -5*m + 112 = -0*j - j, 3*m + j = 64. Suppose 4*g = m + 2. Suppose -y - 210 = -g*y. Is 14 a factor of y?
True
Suppose -3*v + 3*n - 12 = -4*v, -4*v + 5*n = 3. Let d be v - (-18 + (-2)/(-2)). Suppose 2*u - 4*y - d = 0, 0 = 3*y + 2 + 1. Is u a multiple of 8?
True
Let k(h) be the first derivative of -9*h**3 + h**2/2 - 5. Let p be k(-1). Let b = p + 48. Is 5 a factor of b?
True
Suppose -13*t + 5624 = x - 15*t, 5*x = -t + 28142. Is 14 a factor of x?
True
Let i(y) = -22*y + 6. Let x be i(-11). Let o = x - 123. Is 12 a factor of o?
False
Let o be -5 + 7 + 0 + 0. Suppose 148 = o*m + 44. Suppose -2*i - m = -4*c + 32, -3*c + 5*i + 49 = 0. Is c a multiple of 22?
False
Let g be 4/(-2*6) + 13/3. Suppose -g*k = 7*h - 3*h - 648, 4*k = -3*h + 652. Is 42 a factor of k?
False
Suppose 0 = -15*q + 18*q - 468. Let g = q - 4. Is 19 a factor of g?
True
Let a = 26 - 126. Let i be a/(-7) - (-28)/(-98). Let p = 17 + i. Does 6 divide p?
False
Let h(j) = 18*j**2 - 45*j + 32. Does 8 divide h(8)?
True
Let y = 48 - 69. Is 30 a factor of (-13)/(-2)*y*(-4)/6?
False
Suppose -4*h + 5*h = 484. Suppose -2*r + 5*t - 368 = -5*r, -4*r - 5*t + h = 0. Is (r/(-6))/((-2)/3) a multiple of 11?
False
Let k = 63 - 30. Is 4 a factor of k?
False
Suppose 0 = y - 3*g, 7*y - 4*y = -4*g. Suppose y = -z - 12 + 30. Is z a multiple of 18?
True
Let r(s) = s**3 + 12*s**2 - 20*s - 11. Let d = 10 - 23. Let l be r(d). Is l/(-25)*(-3 + -2) a multiple of 13?
False
Let l(b) = 241*b + 45. Does 17 divide l(2)?
True
Let p(f) = -f**3 - 5*f**2 + f - 24. Let q be p(-5). Let i = q + 205. Is 9 a factor of i?
False
Let h(o) = 4*o - 2. Let i(m) = -m. Let g(y) = h(y) + 3*i(y). Let z be g(-11). Let c = z + 58. Is c a multiple of 15?
True
Let p(n) = -49*n - 21. Let d(t) = 25*t + 11. Let u(r) = -7*d(r) - 4*p(r). Is u(3) a multiple of 7?
True
Suppose 3*u - 4*w - 2019 - 701 = 0, u - 880 = -4*w. Is 19 a factor of u?
False
Suppose z - 3*n - 215 = -n, 0 = 5*z + 2*n - 1015. Suppose 3*t = -46 + z. Does 11 divide t?
False
Let h = -24 - -87. Let o = h - 105. Let i = -27 - o. Is 10 a factor of i?
False
Suppose 4*x - 1 = 4*r - 21, -4*r + 3*x + 15 = 0. Suppose r = 5*b - 23 + 3. Suppose 2*a + 62 = b*w + 3*a, -4*a = -3*w + 37. Is 15 a factor of w?
True
Let l(w) = w**3 + 7*w**2 + 7*w - 25. Is 4 a factor of l(8)?
False
Suppose -38*a = -43*a. Suppose a = -6*k + 7*k - 60. Does 10 divide k?
True
Suppose -5*f + 5 + 5 = 0. Let c be 372/6 + 4/f. Let k = c + -23. Does 14 divide k?
False
Let h(d) = -49*d - 2. Let u be h(-4). Let m = u + -116. Let n = -45 + m. Is 11 a factor of n?
True
Let f be 3 - (2 - (1 - 3)) - -10. Let i = f - -13. Is i a multiple of 11?
True
Let w(r) = -52*r + 457. Does 41 divide w(8)?
True
Let m = 53 - 28. Let u = m - 2. Does 22 divide u?
False
Let q = 364 - 284. Is q a multiple of 68?
False
Let u(a) = 29*a - 10. Let b(m) = -29*m + 11. Let g(p) = 3*b(p) + 4*u(p). Does 8 divide g(3)?
True
Suppose 2*c + 68 = j - 5*j, j - 43 = 2*c. Is (c/(-36))/(4/1038) a multiple of 7?
False
Suppose 0 = o + 2 - 5. Let n be -5*(-4 - (o - 6)). Suppose 0 = 3*x + 3, p = n*p - 3*x - 27. Does 3 divide p?
True
Let m be 4/4 - -1*3. Suppose -m*i + 400 = i. Suppose i = h + h. Is h a multiple of 8?
True
Let r = 1 - -1. Let v be (7 - 7)/(-2 - 2). Suppose -5*w - 2*b + 102 = v, r*b + 9 = 4*w - 69. Is 13 a factor of w?
False
Suppose 0*f = -2*f + 2*k + 586, -k - 1481 = -5*f. Does 9 divide f?
True
Let r(s) = 37*s + 27*s**2 - 38*s + 38*s**2. Is 16 a factor of r(1)?
True
Let t(m) = -7 + m**2 + 4*m + m - 7*m. Does 31 divide t(-12)?
False
Let r = -65 - -233. Let b(o) = o**2 + 4*o - 3. Let w be b(1). Suppose -2*s = -4*l - 132, -w*l + 38 - r = -2*s. Is 16 a factor of s?
True
Let y(n) be the second derivative of -67*n**3/3 - n**2 + n. Is 33 a factor of y(-1)?
True
Let q be ((-26)/4)/(2/4). Let j = -8 - q. Suppose 0 = -3*m + j*m + 2*z - 74, -2*m + 5*z = -81. Does 14 divide m?
False
Suppose w - 1021 = 2*y + y, 4*w + 5*y - 4135 = 0. Does 66 divide w?
False
Suppose 65 = 8*i + 409. Does 3 divide (-1 - i) + (-1)/(-4)*-4?
False
Suppose 0 = 3*j + 5*w - 10403, 2*j - 8448 = -3*w - 1514. Is j a multiple of 15?
False
Let w(p) = -7*p**3 + 6*p + 19. Does 21 divide w(-2)?
True
Let l(m) = m**3 + 9*m**2 - 8 - 5*m**2 - 5*m - 11*m**2. Let o be 8/10*(-20)/(-2). Does 8 divide l(o)?
True
Let t be 188/2 + 10 + -8. Suppose -2*x = -60 - t. Is 22 a factor of x?
False
Suppose -7*q + q = 396. Is ((-4)/(-8))/((-3)/q) a multiple of 11?
True
Suppose 5*h + 94 = 19. Let q = 3 - h. Is q a multiple of 15?
False
Let j = -2110 - -3673. Is 28 a factor of j?
False
Suppose 5*k - 43 + 33 = 0. Is (k - 1434/(-12)) + (-2)/4 a multiple of 25?
False
Suppose -3*f + 3 = -9. Suppose 0 = 2*v, f*v = 2*s - 107 - 21. Is s a multiple of 8?
True
Suppose -4*q + 4*c = 100, -4*c = -4 + 8. Let a = q - -44. Does 3 divide a?
True
Let h be 3*2/(-10) - (-46)/(-115). Let m(w) = -13*w + 2. Is 3 a factor of m(h)?
True
Let l(z) be the third derivative of z**5/60 - z**4/4 + 3*z**3/2 - 6*z**2. Let g be 0 + -2 - (-9 + -1). Is l(g) a multiple of 7?
False
Let k = -2002 - -7222. Does 29 divide k?
True
Let l(w) = 6*w**2 - 5*w + 9. Does 69 divide l(18)?
True
Let c(k) = -2*k - 13. Let b be c(-8). Suppose -b*t = -t - 5*u - 24, -u + 12 = t. Is 12 a factor of t?
True
Let s(r) = -r**2 - 8*r + 1. Let z be s(-8). Suppose o + z - 3 = 0. Is (348/(-30))/(o/(-5)) a multiple of 23?
False
Let s = -114 - -188. Is s a multiple of 37?
True
Let g(j) = -5*j**3 - 5*j**2 - 2*j + 5. Let r be g(-3). Suppose -4*y - 474 = -3*u, 251 = u - 4*y + r. Is u a multiple of 14?
False
Is 15293/5 + ((-288)/40)/(-18) a multiple of 19?
True
Let h = -176 + 116. Is 17 a factor of -2 - 0 - (-1 - h/(-2))?
False
Let b(y) = y + 32. Let n be b(-16). Let p be 1/4 - (-396)/n. Let k = 4 + p. Is 29 a factor of k?
True
Suppose 525 = -52*k + 55*k - 3*h, 2*k + 2*h = 330. Does 14 divide k?
False
Let a(w) = w**2 - w + 3. Suppose -7*j + 2*j = -20. Let z be a(j). Let s(i) = 2*i - 16. Does 5 divide s(z)?
False
Suppose 5*r - 6*r + 4 = 0. Let j = r - -1. Suppose -j*l + 372 = 4*o, 2*o + 150 = 2*l + 4*o. Is l a multiple of 18?
True
Suppose -h = 4*h - 65. Suppose -5*w + h = -277. Does 12 divide w?
False
Suppose f - 7*y + 2*y + 17 = 0, -4*y = -f - 13. Let u be -84*(19/(-38))/(2/4). Suppose f*i - u = i. Is i a multiple of 9?
False
Let v = -1446 + 1475. Is 2 a factor of v?
False
Let k(m) = -12*m + 17 - 9*m + 20*m. Let s be k(17). Suppose s = -i + 7*i - 642. Does 23 divide i?
False
Let v = -110 - -232. Is v a multiple of 7?
False
Let t be (-55 - 1) + (9 - 7). Suppose 3*w + 105 = 330. Let i = t + w. Is 11 a factor of i?
False
Let h(z) = -z**3 + 2*z**2 + 3*z - 4. Let s be h(3). Let j = 4 + s. Let t = 2 - j. Is 2 a factor of t?
True
Let t = 16 + -14. Let p(s) = 5*s + 5*s**3 - t + s**2 + s**3 - 5*s**3 + s**2. Is p(3) a multiple of 21?
False
Let c(n) be the first derivative of 19*n**2/2 - 7*n - 5. Is c(1) a multiple of 4?
True
Let l(q) = 4*q**2 - 10*q + 6. Let w be l(6). Suppose 0*z - z = -w. Is 18 a factor of z?
True
Let g = -5025 + 7578. Is 60 a factor of g?
False
Let m be 