 + 2*m - 11. Let c be p(7). Suppose -z - c*a + 18 = 0, z + a - 6 = 12. Does 18 divide z?
True
Let k(a) = -a**2 + 9*a + 17. Let m be k(6). Let p = m - -63. Is p a multiple of 14?
True
Let o(p) = 2*p**2 - 13*p + 6. Let b(k) = 2*k**2 - 22*k + 9. Let l be b(11). Does 10 divide o(l)?
False
Let n = -7 + 16. Let b = 13 - n. Suppose -b*m + 100 = 4. Is m a multiple of 8?
True
Let b(i) be the third derivative of -i**4/6 + 11*i**3/3 + 2*i**2. Is 22 a factor of b(-11)?
True
Let y be (-3 - (2 - 4))*-3 - -5. Suppose 3*p + 2*p - 78 = -2*g, -y = -2*g. Does 9 divide p?
False
Let h be 2/(-8)*(-21 + 9). Suppose -u = -5*g + 697, -h*u = 3*g - 4*g + 131. Does 30 divide g?
False
Is (-6 - (-259)/42) + (-2518)/(-12) a multiple of 10?
True
Let j(c) = 79*c**2 + 6*c - 14. Let n be j(4). Suppose -11*f + n = 2*f. Is f a multiple of 14?
True
Let a = 2693 + -1926. Is a a multiple of 2?
False
Let u(c) = -c**2 + 21*c + 2. Let i be u(21). Suppose b - 5*z = -0*b + 29, -i*b + 113 = z. Is b a multiple of 22?
False
Is 11/110*-198*-70 a multiple of 126?
True
Let w be 34 - (3 + (-3)/3). Suppose 3*v = -w - 4. Let c(j) = -2*j + 16. Is 13 a factor of c(v)?
False
Let r(z) = -193*z + 2. Let l be r(-4). Let v = l + -437. Is 29 a factor of v?
False
Let c(x) = -x**3 - 10*x**2 + 20*x + 94. Let y be c(-11). Let f be 1/((-1)/9 + 0). Does 18 divide y/(-15) - 573/f?
False
Let y(w) = -129*w + 15. Is y(-4) a multiple of 9?
True
Suppose 446*r + 4344 = 458*r. Does 50 divide r?
False
Let a be 1/(-3) - (44/(-6) + 1). Suppose 2*f + 40 = a*f. Is 10 a factor of f?
True
Let y = 89 - 9. Is y a multiple of 5?
True
Suppose -g = -2*v - 0*v - 8, 0 = g - 5*v - 11. Suppose g = z - 46. Is 10 a factor of z?
False
Suppose 0 = 3*p + p. Suppose 5 = -a, 5*a - 1080 = -5*g - p*a. Does 30 divide g?
False
Suppose -2*x - 4*x - 6 = 0. Is 12 a factor of (48 + -2 + 2)*x/(-2)?
True
Let k be 1 + (-1 - -2) - 68. Let u = k - -72. Is u a multiple of 3?
True
Suppose -284*o + 288*o - 456 = 0. Is o a multiple of 4?
False
Let p(h) = -h**3 + 16*h**2 - 37*h - 19. Is p(9) even?
False
Let b(g) = 12*g + 147. Is 5 a factor of b(9)?
True
Suppose 55 = 3*o + 8*o. Let g(p) = -5*p**2 + 4*p + 6. Let t(c) = -9*c**2 + 7*c + 12. Let w(a) = -11*g(a) + 6*t(a). Is w(o) a multiple of 7?
True
Let z(j) = j**3 + 3*j**2 + 7*j + 4. Let d be z(-4). Let g be ((-69)/5)/(8/d). Suppose 5*o - 66 = g. Is o a multiple of 7?
False
Let b(x) = 16*x + 14 - 46*x + 29*x. Let v be 1 + 0 - (-4 - 1). Does 5 divide b(v)?
False
Let a be 1 - (-1 + 3 + -37). Let s = a + -11. Is 25 a factor of s?
True
Suppose 2*c - 6240 = -24*c. Is c a multiple of 6?
True
Let u(d) = -115*d - 260. Is 20 a factor of u(-12)?
True
Let u(x) = -x**3 + x**2 - 1. Let l(y) = -5*y**3 + 12*y**2 - 5*y - 4. Let s(n) = l(n) - 4*u(n). Is 4 a factor of s(6)?
False
Let l = -19 + 22. Let m be (-2)/2 + -10 + l. Is 22 a factor of m/(-28) - 1380/(-21)?
True
Suppose w = 5*l - 28, -5*w + 4*l = -3*w + 26. Does 3 divide 45 + w + 12/(-3)?
False
Let z(y) = -3*y + 6. Let k(p) = -2*p**2 + 4*p + 4. Let o be k(4). Let u be z(o). Is ((-12)/8)/((-3)/u) a multiple of 7?
True
Suppose -10 = 3*f - 76. Let p = f + -12. Is p/(-65) + 132/13 a multiple of 9?
False
Let m = -793 + 3129. Is 42 a factor of m?
False
Let b be 0*2/(1 - -1). Let p(a) = 2*a**2 + a + 22. Is p(b) a multiple of 2?
True
Let j(p) = -73*p - 720. Is 8 a factor of j(-15)?
False
Let r(c) = c**3 - 7*c**2 + 4*c + 5. Let z be r(6). Let l = z - -18. Does 11 divide l?
True
Suppose -r = -5*k + 50, -k = -4*r - 70 - 35. Does 14 divide r/5*(-424)/20?
False
Let u = 1503 - 1069. Suppose -140 + u = 7*l. Does 8 divide l?
False
Suppose 0 = 3*w - 0*w + 45. Let z(r) be the third derivative of -r**5/60 - 17*r**4/24 + 4*r**3/3 - 27*r**2. Is 19 a factor of z(w)?
True
Suppose -2*h = -2 + 14. Let c(w) = -w**3 + 5*w - 1. Is c(h) a multiple of 37?
True
Suppose 0 = -0*f + 4*f. Suppose f*a - 54 = -3*a. Is 6 a factor of a?
True
Let o = 56 + -32. Is 4 a factor of 204/o + 1/2?
False
Suppose -62*w + 110304 = -67574. Is w a multiple of 16?
False
Let u(h) be the first derivative of 4*h**6/45 + h**5/120 - h**4/24 + 5*h**3/3 - 5. Let c(i) be the third derivative of u(i). Does 16 divide c(1)?
True
Let r(f) = -3*f**2 - 7*f - 2. Let d be r(-2). Let o = 24 - d. Does 8 divide o?
True
Let y = 28 - 50. Let n be (1 - 2)/(2/y). Does 3 divide (n - (1 - 3)) + -2?
False
Let i = 73 - -120. Is i a multiple of 18?
False
Suppose -s - 2*r + 1 = 8, 3*s + 11 = -r. Let h(b) = -12*b - 9. Is h(s) a multiple of 27?
True
Does 14 divide 9*((-8)/(-64) + (-21940)/(-96))?
True
Let l be 5*1/(3 - 4). Let q(o) = o**2 + 7*o + 10. Let g be q(l). Suppose g = 5*b - 180. Is b a multiple of 12?
True
Let r = -4 - -3. Let u be ((-12)/r)/(-3) - -8. Suppose -u*o = -3*o - 33. Does 14 divide o?
False
Suppose 5*w - 2 = 2*s, 0 = 5*s - 10*s + 2*w + 16. Suppose 2 + 10 = s*a. Suppose a*p + 4 = 16. Is 2 a factor of p?
True
Suppose 5*m - 180 = -7*d + 8*d, 0 = -m + 3*d + 22. Is m even?
False
Suppose 0 = -2*m + 4*f + 1952, 0 = -19*m + 22*m + 5*f - 2873. Does 69 divide m?
True
Let j = -1256 + 1321. Does 13 divide j?
True
Suppose -4*o - 9 = -3*u + 8*u, 4*o - 4*u - 36 = 0. Let a be 33/o + (-15)/(-20). Let l(k) = 4*k - 2. Is l(a) a multiple of 17?
True
Let x = 1408 - 1373. Suppose y - 10 = -5. Does 18 divide (x - 0) + -4 + y?
True
Let g(d) = d**3 - 9*d**2 - d + 6. Let o be g(9). Let m = 0 - o. Suppose -3 = -2*p - 3*y - 1, -2*p + m*y = -26. Is 4 a factor of p?
False
Is 7 a factor of (-2616)/(-4) - (-10 - -11)?
False
Let p = -23 + 18. Let o be (p/((-20)/16))/1. Suppose -o*s + 6*s = 8. Is 4 a factor of s?
True
Let j(m) = -8*m - 11. Let n be j(-9). Suppose -f + 61 = -0*s + s, s + 4*f - n = 0. Is s a multiple of 8?
False
Suppose 5*t + 4*c = 233, -187 = -5*t + t - 3*c. Is t a multiple of 4?
False
Let o = -1145 + 2472. Does 21 divide o?
False
Let g(b) = -b**3 + 5*b**2 - b - 5. Let h be g(5). Let r = -16 - h. Is 30 a factor of ((-18)/3 + 1)*r?
True
Let s(u) = 2*u + 24. Suppose 10*k - 81 = 99. Is s(k) a multiple of 6?
True
Let f(x) = 2*x**2 - 19*x + 47. Does 11 divide f(7)?
False
Suppose 17*c = 9*c + 2688. Does 56 divide c?
True
Suppose 5*a + 7 - 1 = 4*h, 3*a = 3*h - 6. Let c(r) = 14*r**2 - 7*r + 11. Does 42 divide c(h)?
False
Let c(g) = g**3 + 7*g**2 + 9*g - 3. Let x be c(-3). Let o(v) = 2*v**2 - 7*v - 5. Does 25 divide o(x)?
True
Let y(o) = o**3 + 46*o**2 - 51*o - 65. Is y(-47) a multiple of 56?
False
Let r be (-6)/(-1 - (36/(-16) + 2)). Suppose t - r = 17. Is 20 a factor of t?
False
Let r(d) be the first derivative of -d**4/4 - 13*d**3/3 + 14*d**2 + 37*d - 13. Is r(-15) a multiple of 10?
False
Let u(o) = -21*o + 291. Does 6 divide u(-9)?
True
Suppose 0 = -4*x - 2*p + 108, -2*x - 13 = 5*p - 59. Does 7 divide x?
True
Let w = 36 - -4. Does 26 divide 990/w - 5/(-4)?
True
Let i = -72 - -85. Suppose -8*l - 240 = -i*l. Is l a multiple of 24?
True
Let w = 256 + 107. Is w a multiple of 18?
False
Let j(k) = 2 + 3 + 16*k - 3*k - 4. Suppose 3*d + 4*x = 11, -d + 2*x - x = 1. Is j(d) a multiple of 14?
True
Let u be (-4)/3 - (-204)/18. Suppose -48 = -j - u. Is 21 a factor of j?
False
Let v(m) = 2*m - 5. Let c be v(12). Is 6 a factor of c/(-1)*(9 - 10)?
False
Suppose 0*p + p + 10 = -5*y, -4*y - 8 = 2*p. Let r be (0 + p)*(-6)/(-18). Suppose 0 = -r*h - h + 15. Is 5 a factor of h?
True
Suppose 4*x - 11 = 3*y, -12 = -5*x - 0*y + 2*y. Suppose -5*w + 1 = -x*j, -3*j + 5 = -1. Is 14 a factor of ((-14)/w)/(5/(-5))?
True
Let w(c) = c**2 + 6*c - 3. Let x be w(-9). Let b = -18 + x. Suppose m = -2*a + b, -2*m + m - a + 9 = 0. Is m a multiple of 3?
True
Let w(d) = -d**3 - 5*d**2 - 4*d + 15. Let t(c) = -c**3 - 5*c**2 - 4*c + 15. Let f(n) = 6*t(n) - 5*w(n). Does 23 divide f(-7)?
False
Suppose 255*g + 1029 = 262*g. Is 37 a factor of g?
False
Let s = 26 + -27. Is (2 + s)/(2/34) a multiple of 6?
False
Let h be (-7)/(-3) - (-4)/6. Suppose 0 = h*g - 12, -2*g - 1 + 3 = -2*o. Suppose 20 = o*n - 82. Is 17 a factor of n?
True
Is 8 a factor of ((-192)/228)/8 + (-8212)/(-38)?
True
Let s(a) = -a**3 - 13*a**2 + 6*a - 1. Let g be s(-14). Let t = g - 49. Is 20 a factor of t?
False
Let v be (-4)/(-14) - (-52)/14. Suppose v*h + 5*j - 16 = j, -5*h + 27 = -2*j. Suppose -3*i = -h*k - 46 - 72, 5*i - 202 = 3*k. Does 16 divide i?
False
Suppose -7*s = -10*s + 18. Suppose 3*k + s = -l - 11, 3*l + 3*k + 69 = 0. Let u