uppose 2*m = -3*r + 18, -4*m + 2*r + r + 72 = 0. Suppose 2 = q + m. Let o = q + 42. Is o a multiple of 15?
False
Let b(w) = -w**2. Let q(h) = -h. Let u(f) = -6*b(f) + q(f). Is 3 a factor of u(1)?
False
Let p(o) = -o**2 - o + 5. Let i be p(0). Suppose -t = -i*t. Suppose t = -3*x + 5*x + k - 39, 100 = 5*x + 5*k. Is 19 a factor of x?
True
Suppose 5*y - 1 = 4. Let r be (-1)/3 + (-8)/(-6). Is 19 a factor of r/(y*(-3)/(-138))?
False
Let j = 91 - 73. Does 3 divide j?
True
Suppose -w - 672 = -8*w. Does 24 divide w?
True
Suppose 8*k - 760 = 3*k. Does 34 divide k?
False
Let s(o) = o**2 + o. Is s(-6) a multiple of 8?
False
Suppose -10 = 3*h - 76. Suppose 5*m + 61 = -3*q - h, 0 = -5*q + 20. Let v = m + 33. Is v a multiple of 13?
False
Let r(k) = 2*k - 2. Let s be r(2). Suppose -s*g - 3*g = -205. Does 15 divide g?
False
Let d(i) = -i**2 + 11*i + 17. Let g be d(12). Suppose -k + g*k = 120. Does 12 divide k?
False
Suppose -3*a = -a. Suppose a*i - 2*i = -54. Is i a multiple of 6?
False
Let t = -18 - -17. Let o(r) be the second derivative of 5*r**4/6 - r**3/3 - r**2/2 + r. Does 8 divide o(t)?
False
Let h(l) = l**2 + 10*l - 7. Let z be h(-11). Suppose 0 = -z*x + 75 + 33. Suppose 0 = -o + 2*o, -x = -3*k + 3*o. Does 4 divide k?
False
Suppose 0 = -4*l + 44 + 8. Is 13 a factor of l?
True
Suppose -a - 3*a - 32 = 0. Let m be (-10)/(-4) - (-4)/a. Suppose -12 = m*j - 3*j. Is j a multiple of 6?
True
Let j be 2/10 - 33/15. Is 10 a factor of (-2)/5*(j + -63)?
False
Let i be ((-10)/4)/((-2)/20). Let b = -29 - -41. Let h = i - b. Is 7 a factor of h?
False
Suppose 13 = 3*i + g, 3*g = 4*i + 6*g - 19. Suppose 0*t + 124 = i*q + 4*t, 0 = -4*t - 4. Does 12 divide q?
False
Suppose -5*w + 33 = 3*h, -3*h + 14 = 2*w - 10. Is h a multiple of 6?
True
Suppose -5*h - m = -0 - 2, 3*h - 2*m = -4. Let w = 41 + -24. Let g = w + h. Is g a multiple of 5?
False
Suppose -x = -0*x - 6. Let j be 4/x + (-30)/(-9). Suppose -9 = j*g - 41. Is 4 a factor of g?
True
Let v(t) = -t**3 - 13*t**2 - 15*t + 10. Is v(-12) a multiple of 12?
False
Suppose 0 = 4*d + 4, 4*d + d = -4*b - 113. Let c = b + 9. Let i = 29 + c. Is 5 a factor of i?
False
Suppose 3*p = -k + 7, 3*k - 3 = -2*p + 11. Let j be (3 - 4)/(p/2). Is (14 + j)*4/1 a multiple of 16?
True
Let m(h) = -h**3 - 8*h**2 - 14*h + 1. Is m(-9) a multiple of 8?
True
Let z be ((-1)/2)/(1/(-58)). Let g = 1 + z. Is 16 a factor of g?
False
Let u = -4 + -1. Suppose d - 6 = 5. Let j = d + u. Is 3 a factor of j?
True
Let g be 1*(-2 + 1) - -3. Suppose 0 = 4*o - 10 - g. Does 10 divide 22 - o/((-9)/(-6))?
True
Suppose 2*g = -3*g. Suppose g*m = 5*m. Suppose m = -4*k + 3*k + 3*v + 15, 4*k = -2*v + 74. Does 9 divide k?
True
Let r be 5/((-30)/(-4))*6. Let f = r + -2. Suppose -2 - 2 = -f*q. Does 2 divide q?
True
Suppose -5*p = -g + 41, 3*g - 2*g + 7 = -p. Is 21 a factor of 103/5 + p/(-20)?
True
Suppose -3*q = -q + 4. Is (q - -3)*2 + 25 a multiple of 10?
False
Let n(h) = 8*h + 1 + 2*h + 4*h. Suppose -15 = 5*z + 3*s + 2*s, 0 = -5*s - 20. Is 15 a factor of n(z)?
True
Let q(f) = f**3 - 9*f**2 - 9*f - 14. Let i be q(10). Is 21 a factor of 530/8 + i/16?
False
Let l(p) = p**2 + p - 24. Is l(-13) a multiple of 11?
True
Suppose a + 46 = 3*a - 4*j, 2*a - 3*j - 41 = 0. Is a a multiple of 3?
False
Suppose 2*k = k + 42. Is k a multiple of 10?
False
Suppose 2*r - 78 = 2*c, -4*c + 0*c = -2*r + 68. Is r a multiple of 18?
False
Suppose -100 = 27*i - 32*i. Does 5 divide i?
True
Suppose -5*p + 50 + 29 = -k, 0 = p - 4*k - 12. Does 7 divide p?
False
Let w(c) = -3*c - 7. Let r(l) = -l**2 + 4*l - 3. Let q be ((-20)/(-16))/(2/8). Let p be r(q). Is w(p) a multiple of 17?
True
Let z = 95 + -38. Let n = -16 + z. Is n a multiple of 14?
False
Let d(v) = 9*v**2 + v + 1. Let b be d(2). Suppose -5*k = -2*g - 65, 3*k - 2*g - 3*g = b. Does 2 divide k?
False
Let d(z) = 2*z - 11 - 17*z + z**2 - 2*z**2 + 2*z. Does 15 divide d(-9)?
False
Let l = 348 - 208. Does 31 divide l?
False
Let t(f) = -11*f + 7. Let a be t(-5). Let n be (-8)/12 + 263/3. Let s = n - a. Does 12 divide s?
False
Let f(y) = -y - 1. Let g be f(-1). Suppose 2*k - 3*z - 13 = 0, g - 18 = -3*k + 4*z. Does 4 divide 4 + -3 + k*5?
False
Let i(j) = 25*j**3 - 2*j**2 + 1. Let b be i(1). Let v be b/10 + 2/(-5). Suppose v*m = -2*m + 68. Does 17 divide m?
True
Suppose -4*c = -c - 192. Does 8 divide c?
True
Suppose 62 = 2*n - 0*n. Suppose -n = -p + 16. Is 12 a factor of p?
False
Is 10/5*410/4 a multiple of 17?
False
Suppose -5 + 13 = 2*k. Suppose l = 5*m + k*l - 58, -l = 5*m - 56. Is 5 a factor of m?
False
Does 12 divide (-4)/14 + 86/7?
True
Let m(r) be the first derivative of r**2 + 9*r + 3. Let g be m(-6). Let j = g - -26. Is j a multiple of 15?
False
Let q = -26 + 15. Does 20 divide (-658)/q - (-8)/44?
True
Let b = 17 + -11. Suppose -25 = 2*w + 15. Let m = b - w. Is 13 a factor of m?
True
Let l = -149 + 282. Does 19 divide l?
True
Let s(m) = -m - 16. Let q be s(-10). Let l = q + 8. Does 2 divide l?
True
Is -3*((-2)/(-2) - 2) a multiple of 3?
True
Suppose 3*o = -5*w + 330, 4*o + w = -w + 440. Does 28 divide o?
False
Let i(g) = -g**2 - 11*g + 4. Let w be i(-11). Suppose 0*u - 228 = -4*y - 4*u, w*u - 20 = 0. Is 13 a factor of y?
True
Let s(z) = -z - 5. Let d be s(-7). Suppose -3*p - 3 + 12 = 0. Suppose -d*y - 76 = -5*a, 0 = -a + p*y - 0*y + 23. Does 8 divide a?
False
Suppose 0 = 3*t - 147 + 12. Suppose -4*m + t = m. Does 5 divide m?
False
Suppose 6*b - 4*b - 264 = 0. Does 12 divide b?
True
Let l be (1 - -1)/(2/13). Suppose -5*m + 17 = -l. Let a(n) = 2*n - 6. Does 6 divide a(m)?
True
Let j(w) = -w**2 + 6*w + 10. Let v be j(7). Suppose v*u + 366 = 1026. Suppose 2*g + 3*g + 5*k = u, g - 5*k = 50. Is 20 a factor of g?
False
Let s = 55 + -5. Is 25 a factor of s?
True
Let x(q) = q - 2. Let b be x(6). Suppose -5*d + 87 = 4*r, 0*r - d + 107 = b*r. Does 8 divide 8/r - (-178)/14?
False
Let x(o) be the first derivative of 2*o**2 + 4*o - 3. Does 14 divide x(6)?
True
Suppose -z + 4*t + t + 35 = 0, -z - t = -23. Is 8 a factor of z?
False
Let o(x) = -x + 11. Let j be o(8). Suppose -4*s - 123 = 4*p + 77, -15 = j*s. Let n = -19 - p. Is 13 a factor of n?
True
Let v be 790/9 - 4/(-18). Let b = -40 + v. Suppose -2*p - p = -b. Is p a multiple of 16?
True
Suppose 160 = 5*k + 5*l, -5*k - 4*l = -64 - 91. Does 20 divide k?
False
Suppose -4*a = -5*n + 1035, -2*n - 5*a = -a - 414. Is n a multiple of 46?
False
Let o = -2 - -34. Is o a multiple of 8?
True
Let f(d) be the third derivative of -d**4/24 + 7*d**3/6 - d**2. Let r be f(9). Does 12 divide (r/(-6))/(5/285)?
False
Is (2 - 5) + (29 - -4) a multiple of 27?
False
Let l = 1 + 1. Suppose 4*q = -l*a + 10, a + 4*q - 3 = 8. Is 16 a factor of 2*a/(-2) - -15?
True
Let u be (1 + 2/(-4))*82. Suppose -2*k + 19 = -u. Does 9 divide k?
False
Let a = -179 + -10. Does 7 divide (a/45)/((-1)/5)?
True
Let k(x) = x - 2. Suppose 2*o = 6*o - 20. Let n be k(o). Suppose 2*h - 60 = -n*h. Is h a multiple of 11?
False
Let m(v) = 0 + 4 - 5 + 7 + 6*v. Is 14 a factor of m(6)?
True
Let u be 80/36 - 2/9. Suppose -u*i + 0*i = -52. Is 13 a factor of i?
True
Let j(k) = -2*k + 1. Let p be j(-1). Suppose -4*v = -0*r + r - 13, -14 = -p*v - 5*r. Suppose i - v*l + 5 = 2*l, -23 = -3*i - 4*l. Is i even?
False
Let k(s) = -17*s - 7 - 4 + 13*s. Does 8 divide k(-8)?
False
Let k(l) = 28*l**3 - l**2 + 2. Does 7 divide k(1)?
False
Does 8 divide ((-60)/(-9) - 0)/(5/135)?
False
Let j(x) = x**3 - x**2 + 2*x - 6. Is 2 a factor of j(3)?
True
Let i(g) = g**3 - 10*g**2 + 5*g - 45. Does 30 divide i(12)?
False
Suppose -3*v = -146 - 22. Is 12 a factor of v?
False
Let d(s) = s**3 + 2*s**2 - 4*s - 5. Let u be d(-2). Suppose 3*k - 2 = 7. Suppose 0 = k*c + u*o - 99, -o - 15 = 4*o. Is 15 a factor of c?
False
Suppose 5*g - 2*g = 5*j - 45, 3*g = -2*j - 3. Let u(x) = x**2 - x - 6. Does 11 divide u(j)?
False
Suppose 24*m - 32*m + 1504 = 0. Is m a multiple of 47?
True
Let m = -73 + 149. Is m a multiple of 38?
True
Is 14 a factor of 888/9 + 12/(-18)?
True
Does 36 divide (-16)/40 + 542/5?
True
Suppose 4*m = -5*u + 402 - 3, -4*m + 4*u = -372. Is 19 a factor of m?
False
Suppose g - n + 26 = 3*g, n - 15 = -g. Is g a multiple of 11?
True
Let f(w) = w**3 - w + 4. Let l be f(0). Suppose 5*a + l*k = 57, 2*k = 5*a + 5*k - 54. Is 6 a factor of a?
False
Suppose u + k + 0 - 3 = 0, u - 4*k = -12. Suppose 0 = -