True
Let w(s) = s**3 + 11*s + 5 + 7*s**2 - 12*s + 0*s**3. Let g be w(-7). Suppose -g = -3*f + 21. Does 11 divide f?
True
Let a(m) = -3*m**3 + 3*m**2 + 3*m + 1. Let r(c) = 4*c**3 - 3*c**2 - 2*c. Let s(x) = 3*a(x) + 2*r(x). Is s(4) a multiple of 2?
False
Suppose 0*n = -3*n + 9. Suppose u + 33 = 4*u + n*j, -23 = -3*u - j. Is u a multiple of 6?
True
Let b(l) be the second derivative of 4/3*l**3 + 5/6*l**4 + l + 0 + 1/2*l**2 + 1/20*l**5. Is b(-9) a multiple of 10?
True
Suppose 3*j + 7 = 97. Suppose 0 = -m + 3*m - 6. Suppose -8*w = -m*w - j. Is w a multiple of 6?
True
Suppose 5*y + 250 = 7*y. Is y a multiple of 25?
True
Let x = 15 - 7. Suppose 4 = -d - 3*s, -2*d + 3*s + s - x = 0. Does 13 divide 290/14 + d/(-14)?
False
Suppose 4*s + 10 = 5*x, -7 = 3*x - 7*s + 2*s. Suppose -4*k - 63 = -u, -x*k + 4*k - 4 = 0. Suppose -u = -5*z - 0*z. Is z a multiple of 11?
True
Let b = 46 - -4. Does 10 divide b?
True
Suppose 0*o - 51 = 4*z - 3*o, 3*o - 3 = 0. Is 26 a factor of (z + 0)*66/(-9)?
False
Let o(q) = q**3 + 11*q**2 - 2*q. Is 21 a factor of o(-9)?
False
Suppose 0 = 4*f, -5*i + 4*f + 305 = 5*f. Does 13 divide i?
False
Is 9 a factor of ((-216)/(-20))/((-2)/(-10))?
True
Suppose -4*a + 2*d + 124 = 0, -4*a + 6*d = 3*d - 126. Suppose 6*v = v + a. Does 2 divide (v/(-18))/((-1)/6)?
True
Suppose 2*a - 3 = -1. Suppose h = a + 2. Suppose -62 = -3*p - g + 3*g, 70 = h*p - 4*g. Does 9 divide p?
True
Suppose 5*q + 106 = 481. Does 23 divide q?
False
Let g(y) = 6*y - 8. Is g(3) a multiple of 2?
True
Let u be 0/(-2) - (-12 + 8). Suppose 0 = -u*f + 6*f + 4. Let h(v) = 10*v**2 + 2*v - 2. Is h(f) a multiple of 20?
False
Suppose -5*m + 13 + 17 = 0. Let l = -1 + m. Suppose -l*q = -2*q - 51. Does 15 divide q?
False
Let r be -6 + 32 - -2*1. Let c = 2 + 1. Suppose -b - 5*v + 28 = 0, 2*b - r = -c*b + 3*v. Is 7 a factor of b?
False
Let f be (-1*3)/((-9)/6). Let v(c) = 0 + 0*c + f - c. Does 8 divide v(-6)?
True
Let r(t) = 0*t + 2*t + 1 - 3*t. Does 4 divide r(-5)?
False
Suppose 36 = 5*j - 174. Suppose -j = -5*k - 2. Let i = -4 + k. Is 2 a factor of i?
True
Let f(g) = g - 2. Let j be f(4). Let k(w) = 17*w - 2. Let p be k(j). Suppose 3*d + p = 7*d. Is d a multiple of 5?
False
Let z be (-1 - 0)/(13/(-39)). Suppose z*u - 255 = -2*u. Is u a multiple of 17?
True
Let h = 4 + -3. Let n(k) = -h - 2*k + 3*k + 4*k. Does 9 divide n(5)?
False
Suppose -5*y + 5 = -5*t, -2*t = 2*t - 5*y + 1. Let w(d) = 1 - 6 + d**3 + 8*d - 11*d + 5*d**2. Is 8 a factor of w(t)?
False
Let o(c) be the third derivative of c**6/120 + c**5/6 + c**4/4 - 13*c**3/6 + 4*c**2. Is o(-9) a multiple of 14?
True
Suppose -2*f + 3*h = -264, -4*f - h + 0*h + 528 = 0. Does 22 divide f?
True
Let z = 32 + -13. Does 4 divide z?
False
Suppose 2*q + 0 = 4. Suppose 68 = q*b + 2*b. Let o = b - 11. Is 3 a factor of o?
True
Suppose 2*v - y = 56, y = -4*v + 5*y + 112. Does 8 divide (0 + 6/7)*v?
True
Let f(v) = v + 11. Is 3 a factor of f(-7)?
False
Suppose -4*y + 1 = -3*x - 2*x, -5*y - 3*x - 45 = 0. Let a = y + 13. Is 3 a factor of a?
False
Let t(u) = -u + 1. Let k be t(1). Let y = k - -4. Suppose -3*g = -5*s + 40, -3*s - y*g + 18 = -7*g. Is s a multiple of 11?
True
Let v = -3 - -6. Suppose v*f + 3*u = 2*u - 10, -5*u - 11 = 2*f. Is 7 a factor of ((-8)/3 + -2)*f?
True
Suppose 4*v + 0 = -8. Is v/5*3*-15 a multiple of 18?
True
Suppose -d = 5*q - 441, -4*q - q + 4*d = -461. Is q a multiple of 10?
False
Suppose 4 = -2*p - 4, 2*b = 3*p - 62. Suppose -6*g = -5*g + 1. Is (-3 - b) + (-3 - g) a multiple of 16?
True
Let g(p) = p**3 + 9*p**2 + 6*p + 10. Let j be g(-9). Let m = j + 99. Is 20 a factor of m?
False
Let p = 174 - 96. Does 13 divide p?
True
Let s(d) = 359*d + 1. Let z be s(1). Suppose 0 = -n - 4*n + z. Is 12 a factor of n?
True
Suppose y - 5*c - 20 = -0*y, 2*y + 3*c = 14. Is 5/(-25) + 142/y a multiple of 5?
False
Suppose l - 7 = -2. Suppose -l*p + p + 8 = 0. Suppose -5*m + p*v = -50, 0*m + 5*m - 70 = -2*v. Is m a multiple of 6?
True
Let p(y) = -y**2 + 5*y + 6. Let d be p(10). Let g(w) = w**3 - 6*w**2 + 2*w - 1. Let i be g(5). Let n = i - d. Is 10 a factor of n?
False
Suppose 4*r = 3 + 13. Let j(x) = 7*x - 1. Is 9 a factor of j(r)?
True
Let j(i) = -i**3 - 4*i**2 + 2*i - 1. Let g be j(-6). Suppose -q + 4*q = 321. Let k = q - g. Is k a multiple of 18?
False
Let v(k) = 10*k**2 - 3*k - 1. Suppose -4*c - 7 + 19 = 0. Is v(c) a multiple of 16?
True
Let x(h) = h**3 - 2*h**2 - h + 2. Let d be x(2). Let p = -60 + 84. Suppose -3*m + p + 57 = d. Does 9 divide m?
True
Suppose 4*n - 144 = -0*n. Does 16 divide n?
False
Let r be 2*(7/2 + -2). Suppose -r*h + 5*q = -3 + 14, 3*h + 3*q - 21 = 0. Does 3 divide h?
True
Suppose -d = 3*d - 60. Is 4 a factor of d?
False
Let u(f) = -5*f - 3*f + 8*f - f**2. Let o be u(0). Suppose t + j - 30 = o, 5*t + j - 6*j - 130 = 0. Does 14 divide t?
True
Let w(h) = 6*h**2 + h - 1. Let o be w(1). Suppose -64 = 2*a - o*a. Is 8 a factor of a?
True
Let x be 1 - (0 + (-3 - 0)). Suppose 0*y + x = y. Is 21 + 2/y*-2 a multiple of 10?
True
Let v(y) = -y**3 + 6*y**2 - y - 2. Let m be v(4). Suppose m = -4*j - 46. Let b = 34 + j. Is b a multiple of 8?
True
Let w(h) = -10*h + 5. Let u(a) = 29*a - 15. Let f(g) = 6*u(g) + 17*w(g). Is f(7) a multiple of 11?
False
Let m be 42 + 1/(-2 - -1). Suppose 2 - 7 = -f, w = -f + m. Is 12 a factor of w?
True
Let m = 554 + -206. Let n be (m/6)/((-2)/(-3)). Suppose 0 = -2*q + n - 27. Does 15 divide q?
True
Is 596/16 + (-2)/8 a multiple of 11?
False
Let t = 72 - 15. Is t a multiple of 19?
True
Let s = -15 + 99. Does 14 divide s?
True
Suppose 40 = p - 5*n, 0*p = -4*p - n + 55. Is 15 a factor of p?
True
Let w = -8 + 2. Let s = w - -5. Is 14 a factor of (34 - s) + -1 + -1?
False
Let g be (-1)/(2 - 5/3). Let k(u) = 2*u**2 - u + 3. Let b be k(g). Suppose q + 6 = b. Is q a multiple of 9?
True
Let b(n) = -n**3 - 3*n**2 + 2*n + 1. Let o be b(-4). Suppose 3*h + 0 = 3*y + 3, -y = 3*h + o. Does 15 divide -1 + (-1)/h*62?
True
Let v(x) be the second derivative of -x**7/420 + x**6/180 + x**5/60 + x**4/24 - x**3/6 - x. Let s(t) be the second derivative of v(t). Is 2 a factor of s(-1)?
False
Let q = 4 - 1. Suppose -3*w + 5*w = 2*x - 26, -3*w + 33 = q*x. Does 6 divide x?
True
Suppose -5*i + n = 2*n + 219, 3*i + n = -133. Let g(z) = 13*z. Let w be g(-2). Let x = w - i. Is 13 a factor of x?
False
Let k(u) = 4*u**2 - u - 7. Is 16 a factor of k(-3)?
True
Let g(i) = i**2 + 2*i + 2. Is g(-8) a multiple of 10?
True
Suppose 114 = -0*r + 3*r. Suppose -2*t = -0*t - 32. Suppose 3*b = r + t. Is b a multiple of 9?
True
Let l = -7 + 11. Let b(s) = -s**2 + 5*s - 2. Let k(y) = y**2 - 6*y + 3. Let d(o) = -7*b(o) - 6*k(o). Is d(l) a multiple of 16?
True
Let o(x) = x**2 - 10*x + 4. Let a be o(6). Let w be (48/a)/(4/(-70)). Suppose -4*f - w = -122. Is 10 a factor of f?
True
Is 11 a factor of (0 + 5)*(16 - 5)?
True
Let z = 2 + 1. Suppose z*v + 0*t - 23 = 5*t, -5*v - 5*t = -105. Is v a multiple of 4?
True
Suppose -4*v + 55 = -9. Does 16 divide v?
True
Suppose -3*w + 261 + 133 = 2*k, 0 = 4*w - 5*k - 510. Is 26 a factor of w?
True
Suppose 2*b - 5 = 1. Suppose -b*p - 81 = -6*p. Is 27 a factor of p?
True
Suppose 5*o = -0*y + 4*y + 575, o - 5*y - 136 = 0. Is 40 a factor of o?
False
Is 1 + (-165)/(-2) - (-2)/4 a multiple of 12?
True
Let x be (-2)/6 - 16/(-3). Suppose 4*d + 0*m + x*m = 131, 0 = -4*d + 4*m + 140. Suppose -2*y - j + d = 0, 0*y - 2*y - 2*j + 34 = 0. Is 10 a factor of y?
False
Let t be (42/(-9))/((-2)/(-3)). Let o(q) = -q**3 - 7*q**2 - 3*q - 7. Is o(t) a multiple of 7?
True
Let q(y) = -2*y + 1. Let w(g) = -1. Let c(v) = -2*q(v) + 2*w(v). Is c(4) a multiple of 8?
False
Let f(m) = m**2 + 3*m - 2. Let z be f(-4). Suppose -4*b + 288 = -3*y, -z*b - 5*y + 118 = -0*b. Let p = -30 + b. Does 15 divide p?
False
Suppose 42 = -4*m + 7*m. Suppose -h + a + m = 0, -4*h - 2*a + 6 = -32. Does 3 divide h?
False
Let z(w) = -w**3 + 16*w**2 - 14*w - 10. Let q be z(15). Suppose 112 = -0*b + 4*b - 2*p, -q*p - 10 = 0. Is 9 a factor of b?
True
Suppose 4*g + g = 10, -5*v = 4*g - 18. Suppose -60 = v*a + a. Does 11 divide (0 + 2)/1 - a?
True
Let t(k) = -k**3 - 6*k**2 + 6*k - 3. Let u be t(-7). Suppose u*z + 0*o = o + 122, 0 = z + o - 33. Does 23 divide z?
False
Let d(i) = -i**3 + 12*i**2 - 12*i - 8. Let g be d(11). Let o = 36 - g. Is o a multiple of 25?
False
Let u(f) = f**2 