es 11 divide d?
True
Does 6 divide 5/((-25)/20) + -1 + 187?
False
Suppose 14 - 17 = -w. Does 11 divide ((-4 - -568)/w)/2?
False
Let o(l) = -11*l - 58. Does 6 divide o(-14)?
True
Suppose -4*h = -s - 0*h + 291, 0 = 3*s + 4*h - 841. Suppose 0 = -2*p + 2*c + 134, -2*p - s = -6*p + c. Is 24 a factor of p?
True
Let v = 19 + -17. Suppose -v*q = -2*m - 52, -4*m - 25 - 16 = -q. Is 9 a factor of 5/(5/q) - 3?
True
Let h = 130 + -83. Suppose -2*s = 3*q - 39, 3*s - h = -4*q + 2*s. Is 11 a factor of q?
True
Let o = 577 + -329. Is 20 a factor of o?
False
Suppose 0 = -5*w - 2*i + 7560, 0*w = w - 3*i - 1512. Suppose 0 = -2*l - 7*l + w. Does 14 divide l?
True
Suppose -256 = -a - 3*a. Suppose a = 4*m - 116. Let w = m + -29. Does 11 divide w?
False
Let d be 6/8 - (-7275)/60. Suppose 5*r - 20 = 0, -2*l = 3*r - r - d. Is l a multiple of 12?
False
Suppose -2*a + 144 = -4*s, 3*a - 96 = 5*s + 116. Let o = a + -11. Is 6 a factor of o?
False
Let x(g) = -g**3 - 7*g**2 - 2*g - 11. Let s(b) = b**3 + 5*b**2 - 3*b + 11. Let h be s(-6). Let y be x(h). Suppose 0 = -y*i + 109 + 116. Is i a multiple of 15?
True
Let m(s) = s**2 - 5*s + 3. Let l be m(5). Let n = 63 - 35. Suppose l*a = -2*x + n, 0 = -2*a - 4*x - x + 4. Does 12 divide a?
True
Let z(k) = -k**2 + 17*k - 19. Suppose -i - 6*i + 196 = 0. Suppose -i = 6*o - 8*o. Is 7 a factor of z(o)?
False
Let h = 3554 - 1789. Does 10 divide h?
False
Let o be (-4)/(1 - 5)*7. Suppose 0 = o*c - 10*c + 231. Does 38 divide c?
False
Let c = 64 - 61. Is (-531)/(-12)*8/c a multiple of 20?
False
Let n be (7 - 1)*(-30)/(-20). Suppose -113 = -n*z + 1021. Is z a multiple of 21?
True
Let c = 359 - 163. Is c a multiple of 28?
True
Let m(u) = 2*u - 51. Let k be m(21). Does 12 divide (-222)/k + 2/(-3)?
True
Is (-49 + 1)*6/(-4) a multiple of 18?
True
Let a(k) = 4*k - 27. Let p be a(12). Suppose p - 70 = -7*m. Let v(t) = -t**3 + 8*t**2 + 5*t + 4. Is 11 a factor of v(m)?
True
Let o be (-39)/(-4) + 6/(-8). Let p be (-1 - 0)/(9/o). Does 36 divide p/(-4) - 1148/(-16)?
True
Let i be ((-11)/(-22))/((-1)/(-6)). Suppose i*o - 214 = 5*m, -2*m + 5 + 59 = o. Does 17 divide o?
True
Let o = -1 - -2. Let k be (o - 2 - -2) + 0. Is 26 + 3/k + -1 a multiple of 8?
False
Suppose -2*j + 2*l + 18 = 0, -4*j - 43 = 5*l - 106. Let r be (-3)/j*-6*-2. Is 11 a factor of 1 + (-3 - -50) - r?
False
Suppose -z = -19 - 320. Let b(j) = 2*j + 4. Let y be b(-2). Suppose -293 = -3*w + 4*p, 5*p - z = -4*w - y*p. Is w a multiple of 18?
False
Let w = -10 + 18. Let l = 12 - w. Suppose 0 = 4*y - 2*y, l*b + 3*y - 52 = 0. Is b a multiple of 13?
True
Let f = 1064 - 254. Does 81 divide f?
True
Let s be -1 + -2 - (-8)/4. Let x be s/(-4) - 239/(-4). Is (3/(-6))/((-1)/x) a multiple of 15?
True
Let w(y) = -14 - 33*y + 13*y + 21*y. Let p be w(6). Let f = 7 - p. Is f a multiple of 15?
True
Let m(d) = d + d**3 + 10 - 5 + 9*d**2 + 5 + 0*d**3. Is 4 a factor of m(-8)?
False
Let r(x) be the third derivative of -x**5/60 - x**4/4 + 5*x**3/6 - 7*x**2. Suppose 3*m - 4*m - 5 = 0. Is r(m) a multiple of 8?
False
Does 16 divide (3 - (-1 - -9)) + 52?
False
Let o(g) = 6 + 4*g - 5*g + 0 + g**3. Let r be o(0). Does 5 divide 0 + r/(-3) + 9?
False
Let t(w) = 241*w - 554. Does 13 divide t(14)?
False
Let c be 1*2 - (-2)/1. Suppose 3*p + 2*d + 2*d = 422, 0 = 4*p + d - 554. Suppose -c*r + 5 = -3*t - p, -3*t - 15 = 0. Is 9 a factor of r?
False
Suppose 0 = -5*x + 26*x - 61614. Is 18 a factor of x?
True
Suppose -5*r = -3*r - 10. Suppose r*l - l = 0. Suppose t - 54 = -4*i, -60 = -4*i + 2*t - l*t. Is i a multiple of 4?
False
Let n be 36/28 - (-6)/(-21). Let i(p) = -2 + 83*p - 70*p - n - 1. Is i(7) a multiple of 20?
False
Let u(l) = l**3 - 18*l**2 - 23*l + 31. Let j be u(19). Is 30 a factor of (-1196)/(-10) - 18/j?
True
Let f(i) = -i**2 + 749 + 2*i**2 - 766. Is f(-9) a multiple of 18?
False
Does 49 divide 193 - (1 - (10 - 6))?
True
Let h = -19 - -9. Let m be (0 - 4/(-8))*h. Is 146*((-15)/6)/m a multiple of 15?
False
Let a = -21 - -20. Let t be (-10)/(-6) + a/(-3). Suppose -74 - 64 = -t*n. Does 28 divide n?
False
Let u(y) = -y**2 + y + 8. Suppose 0*m = -3*m. Let g be u(m). Does 4 divide 1/(g/28)*2?
False
Suppose -w + 18 = -0*w. Let a = w - 44. Let h = 61 - a. Is 18 a factor of h?
False
Let d = 47 + -45. Let v(s) = -41*s + 8. Let o(w) = w - 1. Let y(k) = -6*o(k) - v(k). Is y(d) a multiple of 19?
False
Let i(h) = -12*h + 73. Does 6 divide i(5)?
False
Suppose 7*f + 3 = 8*f. Suppose 3*d + 3 = -5*v, -6 = -f*d + v - 3*v. Suppose -5*q = u - 4*u + 52, -d*q + 4 = 0. Does 9 divide u?
False
Suppose 5*t - 2389 = o + 1837, -5*o - 3364 = -4*t. Does 18 divide t?
True
Suppose -d = -2*j + 369 + 112, -j + 253 = 2*d. Is j a multiple of 27?
True
Let g(c) = 9*c**2 + c**2 + 8*c**2 + 4 - 10*c + 0*c**2. Let l be g(4). Suppose 4*m = -0*m + l. Does 21 divide m?
True
Let i = 1741 + -457. Is 12 a factor of i?
True
Let i(y) = -6*y**3 - y**2 + 4*y + 3. Let v be i(-2). Let b be 4*(1 + 0 + (-5)/10). Suppose -3*n - 23 - 42 = -5*s, -3*s + v = -b*n. Is 3 a factor of s?
False
Let m(v) be the second derivative of -v**5/20 - v**4/6 + v**3/2 - 6*v**2 - 25*v. Is m(-5) a multiple of 7?
False
Let q(v) be the third derivative of -7*v**4/6 - 7*v**2. Let f be q(-3). Suppose -6*l = -3*l + 4*m - f, -51 = -2*l - m. Is l a multiple of 12?
True
Let x(z) be the first derivative of z**2/2 + 11*z + 5. Does 11 divide x(0)?
True
Let q(s) = -s**3 + 21*s**2 - s + 23. Let j be q(21). Is 21 a factor of 570/(-2)*((-10)/j + 4)?
False
Is -2 + -11*(2 - 144) a multiple of 13?
True
Let v(x) = -5*x + 1. Let j be v(1). Let g be 3*-2*2/j. Suppose -36 = -4*p + l, -18 = g*l - 6. Is 8 a factor of p?
True
Let a(g) = 1. Let l(w) = -w**2 + 12*w - 11. Let s(x) = 5*a(x) - l(x). Is s(11) a multiple of 4?
False
Let w(m) = -14*m + 3. Let c be w(-3). Suppose -h + 30 = -0*h + 3*v, 4*h = 3*v + c. Let k = -7 + h. Is k a multiple of 5?
False
Let b(q) = 4*q + 36. Let t(j) = -j**3 + 11*j**2 - 12*j + 13. Let u be t(10). Is b(u) a multiple of 8?
True
Let m = 233 + 27. Is m a multiple of 23?
False
Let h(k) = k**3 + 27. Suppose 2*y = -0*y. Suppose y = 3*u + u. Is h(u) a multiple of 9?
True
Suppose -3*k - 5*s = k - 23, 3*k - 2*s = 0. Suppose -5*c - 7 = t - k*c, 4*t = -4*c + 4. Suppose -2*a - 168 = -t*a. Is 22 a factor of a?
False
Suppose -11*p + 400 = -6*p. Does 15 divide (p/(-64))/((-1)/48)?
True
Suppose 2*t = 4*t - 8. Suppose 5*v = t*v + 117. Does 13 divide v?
True
Let n(q) = -q**2 - 6*q. Let t be (-8)/(-3 + 1) + 3. Suppose 2*k - 25 = t*k. Is 3 a factor of n(k)?
False
Let h(j) = 9*j - 8. Let t be h(7). Suppose -t = -2*k - 11. Is 11 a factor of k?
True
Suppose -8 = -4*d - 0, -4*d = -4*x + 124. Let u = x + -14. Let o = u + 18. Is 10 a factor of o?
False
Let l(z) = -z**2 - 4*z - 3. Let m be l(-3). Let t be ((-2)/(-4))/(((-7)/6)/(-7)). Suppose -4*i - t*i + 84 = m. Is i a multiple of 6?
True
Suppose -395*k = -396*k + 1013. Is 37 a factor of k?
False
Suppose 1 + 11 = l. Let z be (1 + l/(-16))*12. Suppose -t = -z*n + 60, 3*n = -n + 5*t + 91. Is n a multiple of 13?
False
Suppose 11*v - 9*v = 6. Suppose y - v*m - 36 = 0, 2*m - 216 = -5*y - m. Does 14 divide y?
True
Suppose -15 = -p - 3*y, 2*p + 7*y - 18 = 4*y. Is 0 - (0 - p - 3) a multiple of 4?
False
Suppose 24 = -3*v + 3*c, 7 = -v - v - c. Is 17 a factor of (340/(-100))/(1/v)?
True
Suppose 81*q + 140 = 74*q. Let m be -3*(-4)/6 - -21. Let h = m + q. Is 3 a factor of h?
True
Suppose -12*s - 2 = -13*s. Suppose 3*o - s = -5*p + 74, 0 = o - 2. Let x = -12 + p. Is x a multiple of 2?
True
Let n(t) = 3*t + 5*t + 2 - 2*t + 6. Let f be n(8). Let w = -19 + f. Does 9 divide w?
False
Let d(v) = v**2 + 6*v + 7. Let i be d(-5). Suppose i*r - 96 = 4*b, 0 = -2*r - 3*b + 60 + 43. Does 10 divide r?
True
Is 25 a factor of (2699/2 - 7/(-14)) + 0?
True
Suppose -10 = -5*q - 0. Suppose 0*w = -q*w - 5*g + 13, -2*w + 3*g + 5 = 0. Suppose 0 = n + 2*b - 4, -3*b + 2*b = w*n - 16. Does 4 divide n?
True
Let f(n) = 20*n - 3 + 7 - 19*n. Let p be f(8). Suppose -2*j - 2 = -p. Is 3 a factor of j?
False
Suppose -10 = l - 2*l. Suppose 5*g + 2*d + 3*d - l = 0, 4*g - 2*d = 8. Suppose -236 = -2*f - g*f. Does 28 divide f?
False
Let j(d) = 12*d**2 + 3*d + 3. Let q be j(-2). Let h = q + -32. Is 6 a factor of h?
False
Suppose q - 36 = -i, -3*i = 5*q - 8*i - 140. Is q a multiple of 4?
True
Let i(g) = g**2 - 5*g - 1. L