m be o(9). Let x = n + m. Does 13 divide x?
False
Suppose 4*v = 2*k + 5 + 3, -16 = -k - 3*v. Suppose -4*y - 12 = -k*l, 0 = -4*l - 0*l - 3*y + 26. Suppose b + l = 40. Does 15 divide b?
False
Let u = 89 - 47. Does 6 divide u?
True
Let q be 284/8 + (-3)/2. Let y = -19 + q. Does 5 divide y?
True
Let b(r) = -3*r**3 + 7*r**2 - 5*r - 2. Let v be b(4). Let w be 3/(-9) + v/(-9). Let j = -7 + w. Is j a multiple of 4?
True
Suppose -4*q - 3 = 1. Let f be q/(-1) + 4 - 0. Is 18 a factor of 546/15 - 2/f?
True
Let c(l) be the first derivative of l**5/12 - l**3/6 + l**2 - 2. Let x(h) be the second derivative of c(h). Is x(-1) a multiple of 2?
True
Suppose -5*y + 5*n = -3*y + 5, 4*y + 5*n = 5. Suppose -2*r - 19 = -f, 119 = 5*f + 2*r - y*r. Does 16 divide f?
False
Let d(n) = -n**3 + 8*n**2 - 9*n. Let t be d(7). Let j = 22 - t. Is j a multiple of 12?
True
Let z(q) be the third derivative of -1/6*q**3 + q**2 + 1/24*q**4 + 0 + 0*q + 1/60*q**5. Does 5 divide z(2)?
True
Suppose -3*f - 2*d = -111, 3*f + 0*d = 2*d + 111. Suppose 0 = -c - z + 12 + 49, 0 = 3*z. Let r = c - f. Does 12 divide r?
True
Suppose 5*h + 31 = 1. Let r = -4 - h. Suppose r*t = 5*a + 55, -t + 1 = -a - 22. Is t a multiple of 10?
True
Suppose -21 = -y - 85. Does 10 divide (y/20)/(2/(-25))?
True
Let u be 4/(-2 - -4) - 2. Suppose l + 3*l - 220 = u. Suppose -2*n + 25 = -l. Is 17 a factor of n?
False
Let b = 146 + -54. Does 23 divide b?
True
Let b = -64 - -90. Suppose i = -i + b. Suppose 4*t - o - 21 = 0, 0*t + 3*t + 2*o - i = 0. Is t even?
False
Let r(v) = -74*v**3 - 3 + v + 73*v**3 + 9 + 11*v**2 + 6*v. Is 21 a factor of r(11)?
False
Does 2 divide ((-286)/65)/((-2)/10 + 0)?
True
Let c(b) = b + 5. Let s(k) = -2*k - 9. Let g(j) = 11*c(j) + 6*s(j). Is g(-4) a multiple of 2?
False
Let a(k) = -2*k**3 - 2*k**2 - 14*k + 8. Let u(z) = -z**3 - z**2 - 5*z + 3. Let j(d) = 3*a(d) - 8*u(d). Is j(2) a multiple of 17?
False
Let t be (-79)/2 - 3/(-6). Let g = t - -96. Suppose g = 5*z - 28. Is 13 a factor of z?
False
Let v = -5 - -6. Let u = 4 + v. Is u even?
False
Let a be (-1 - (-3)/6)*6. Let p be ((-6)/7)/(a/21). Let m = p + 0. Is 3 a factor of m?
True
Let k(b) be the first derivative of -b**4/4 - b**3/3 + 26*b - 1. Let a be k(0). Suppose x - a = -x. Is 13 a factor of x?
True
Suppose 2*a + 67 = -3*o, -2*a - 58 = 2*o + 2*a. Let k = 11 + o. Does 17 divide (-134)/k - (-2)/8?
True
Does 42 divide (328/5)/((-7)/(-35)) - -1?
False
Suppose 0*i + 5*i - 3*c - 708 = 0, -5*c = 3*i - 452. Is i a multiple of 24?
True
Suppose -5*o + 5*d + 50 = 0, 5*o - 62 = 2*d - 12. Is ((-36)/(-8))/(5/o) a multiple of 3?
True
Let w = 68 - -7. Suppose 5*x - w = c, -4*x + 2*x - 4*c + 30 = 0. Does 15 divide x?
True
Let z(t) = -149*t**3 + 2*t**2 + t. Let i be 2*(0 + (-1)/2). Let k be z(i). Suppose -2*o + k = 3*o. Is 13 a factor of o?
False
Let m be (23/(-2))/((-2)/8). Let l = m + -18. Is 14 a factor of l?
True
Suppose -4*f + 2 = 3*k, k + 5*f = -0*k - 3. Let t = 39 - 23. Suppose j - k*j = -t. Is 8 a factor of j?
True
Is 3 + 324/14 + (-8)/56 a multiple of 7?
False
Let v be (-15)/6*36/(-10). Suppose -2*a - v = -3*i - 0*a, i - 16 = 5*a. Does 2 divide 35/5 - i/1?
True
Suppose -464 = -4*k + 216. Is 34 a factor of k?
True
Suppose -j + 5*t - 3 = 0, -5 = -2*j - 0*j - t. Suppose -6*q + 64 = -j*q. Does 9 divide q?
False
Let m = 2 + 1. Let f be (m - 2)*4*1. Suppose -4*b = -3*k + f*k - 15, -k + 15 = -4*b. Is k a multiple of 6?
False
Let w(s) = -s**3 + 4*s**2 + 4*s + 5. Is 28 a factor of w(-3)?
True
Let c(u) = u**3 + 8*u**2 - 2*u - 12. Is 18 a factor of c(-6)?
True
Suppose -3*a - 2*a = -10. Suppose -4*g = -5*j + 165, 99 = 5*j - a*j - g. Is j a multiple of 11?
True
Let s(b) = b**2 - 4. Is s(12) a multiple of 20?
True
Let k(o) = 2*o**2 - o - 3. Let i(d) = -d**2 + 13*d + 11. Let v be i(14). Is 13 a factor of k(v)?
False
Suppose -4*o + 89 + 6 = 5*w, 4*o - 5*w - 105 = 0. Does 25 divide o?
True
Let k = -6 + 8. Let n(l) = 1 - k*l - 4 + 3*l. Is n(6) a multiple of 2?
False
Suppose -n - 3*z + 14 = 0, 5*n - 3*z - 130 = 2*z. Is n a multiple of 23?
True
Let m(f) = -4*f**3 - f**2 + f + 3. Is 36 a factor of m(-3)?
False
Let n(d) = -3*d**3 - 9*d**2 - 7*d + 14. Let j(u) = u**3 + u**2 - 1. Let g(t) = 4*j(t) + n(t). Is 4 a factor of g(6)?
True
Let j be 148/8 + 2/(-4). Suppose -3*h = -y - 178, -5*h + 279 + j = -2*y. Let u = -41 + h. Does 7 divide u?
False
Let l be 4/(-2)*177/(-6). Let q = l + -29. Is 19 a factor of q?
False
Let h be (1 - 2)/(1/(-12)). Does 20 divide 0 + 23 - h/4?
True
Let x(q) = 2*q**2. Let z = 3 + -1. Suppose -g + 3*r - 6 = z*g, -r = 0. Is x(g) a multiple of 8?
True
Let b = -2 - -7. Suppose -w - 6 = g, 5*w + 3*g + 25 + b = 0. Is 5 - (w/(-2) - 3) a multiple of 4?
False
Is 11 a factor of 12/20 - 501/(-15)?
False
Let b(h) = h**2 + 13*h + 5. Let f be b(-13). Suppose 47 = f*y - 63. Is y a multiple of 9?
False
Suppose -4 = -0*q - q. Suppose s + s - 4 = 0, 2*s = 4*f - q. Does 2 divide f?
True
Let r(k) = -323*k - 1. Let s be r(-1). Let q = s - 209. Suppose 5*a - q = -43. Does 14 divide a?
True
Suppose 5*g = -g + 1098. Is 31 a factor of g?
False
Suppose a + 2 = -1. Does 13 divide (-132 - 0)*a/9?
False
Let y(u) = -3*u - 1. Let v be y(-1). Suppose 3*b - 7*b - 8 = 0, 3*b = -v*h + 4. Does 5 divide h?
True
Let g(h) = -40*h + 3. Is g(-5) a multiple of 18?
False
Suppose -2*r + 20 = 5*s, -s + 5 = 3. Suppose r*f = -0*f + 140. Suppose 0 = m - 3*m + f. Is m a multiple of 14?
True
Suppose 71 = 6*l - 55. Does 2 divide l?
False
Suppose 0 = -5*c + s + 315, -4*s = 2*c + 3 - 129. Does 21 divide c?
True
Suppose 130 = 4*l + 2*x, 4*l - 18 = -5*x + 127. Is l a multiple of 6?
True
Suppose 3*g = -2*g. Suppose g = -5*b + m + 87 + 7, b - 3*m - 30 = 0. Is 7 a factor of b?
False
Let s(i) be the first derivative of 21*i**2/2 + 7*i + 4. Let t be s(8). Suppose -t = 4*d - 9*d. Is 15 a factor of d?
False
Let r = 4 - 6. Let a be 1*-11*(-3 + 2). Let c = r + a. Does 4 divide c?
False
Let a = 108 - -4. Does 8 divide a?
True
Is 4 a factor of ((-9)/(63/154))/(1/(-4))?
True
Let p be 22/(-1 - 15/(-9)). Suppose 3*x - p = -3*d, 0*x - x - 15 = -d. Let c = d + 9. Is 6 a factor of c?
False
Let p = 109 - 19. Does 10 divide p?
True
Let s(i) = -i**3 - 4*i**2 + 5*i + 3. Let y be s(-5). Let u(c) be the first derivative of c**3/3 + 2*c + 1. Is 11 a factor of u(y)?
True
Suppose 3*h + 78 = 3*q, 0 = q - 0*q + 2*h - 38. Is q a multiple of 6?
True
Let g(w) = -w**2 + 2*w - 1. Let z be g(1). Is 18 a factor of z + 0 - (-3 - 84)?
False
Let l(g) = 3*g**2 + 5*g + 4. Let a(z) = 4*z**2 + 5*z + 5. Let x(j) = 4*a(j) - 5*l(j). Let s = -19 - -27. Is 10 a factor of x(s)?
False
Let k(y) = 33*y**2 - y**2 + 24*y**2 + 3*y**2. Let t(d) = d**2 - 6*d + 6. Let g be t(5). Is k(g) a multiple of 18?
False
Let j = -579 + 819. Suppose 4*i - 166 = -3*v, -5*i + 2*v + j = 21. Does 17 divide i?
False
Suppose 2*n - 64 = -4*c, 48 = 3*c + n - 6*n. Is c a multiple of 4?
True
Suppose 5*r - 293 - 757 = 0. Suppose -r = -10*l + 4*l. Is l a multiple of 5?
True
Let i(g) = 2*g**2 - 9. Is i(6) a multiple of 18?
False
Let f(x) = x**3 + 13*x**2 + 11*x + 11. Does 23 divide f(-12)?
True
Suppose -2*x + 3*g + g = -182, -5*g - 277 = -3*x. Suppose 4*w + 7 = -2*b + 73, 5*w = -3*b + x. Does 15 divide b?
False
Suppose 0 = 2*t - 3 - 3. Let w be 102/14 - (-4)/(-14). Suppose 2*x = w + t. Is 5 a factor of x?
True
Let m(o) = -5*o - 1. Is m(-8) a multiple of 13?
True
Let q(r) = r**3 - 3*r**2 + 3*r - 1. Let w be (-30)/(-10) - (-1 + 1). Is q(w) a multiple of 4?
True
Let q(c) = 2*c**2 + c + 1. Let h be q(-1). Suppose h*t = -8 - 2. Is 15 a factor of t*(1 - 2)*3?
True
Let v(l) = -7*l**3 - 13*l**2 + 7*l + 11. Let a(c) = 3*c**3 + 6*c**2 - 4*c - 5. Let o(w) = 5*a(w) + 2*v(w). Let n be o(-5). Is (0 - n)*(3 - 11) a multiple of 12?
False
Suppose -2*i - i = 6, 2*o + 5*i - 34 = 0. Suppose 0 = -3*h + 5*t - 62, 5*t + o = -3*h - 0*t. Let m = h - -25. Is m a multiple of 7?
False
Let w(o) = -o + 8. Let t be w(7). Let v be (23 + t)/((-1)/(-2)). Suppose l - 150 = -4*b, b + 5*l + v = 2*b. Is 17 a factor of b?
False
Let g be 2 + -3 + (-94)/(-2). Let m be (-8 - 0)*(-11)/22. Suppose 5*t - k = 47, -k - g = -m*t + 4*k. Does 3 divide t?
True
Let b(f) = 2*f - 2. Suppose t + 2*x + 8 = 2*t, 3*x = -t + 3. Is b(t) a multiple of 5?
True
Let s be (-4)/(-18) - 673/(-9). Let b = s - -19. Suppose 0 = r + 7 - 2, -3*w - r 