uppose -5*h = f*m - 12, 2*m - 12 = -4*h + 3*h. Does 3 divide m?
False
Let g(v) = 5*v**2 + 2*v + 11. Is g(-5) a multiple of 7?
True
Let x(m) = m**3 + 26*m**2 + 18*m - 13. Suppose 14 = 4*u + 114. Is 9 a factor of x(u)?
True
Suppose -r = -x + r + 2, 0 = 5*r. Suppose -9 - 13 = -2*o. Suppose -o = -x*a + 37. Is a a multiple of 6?
True
Let w be (-54)/(-12) - 9/6. Suppose 3*z - 34 = -2*o, -o - 2*o - 54 = -w*z. Is 3 a factor of z?
False
Suppose v + 1 = 30. Suppose 0 = 5*t - 63 - 12. Let k = v - t. Does 4 divide k?
False
Let j(b) = -b**3 - 22*b**2 - 19*b + 14. Let x be j(-22). Suppose -x = 5*a - 8*a. Is a a multiple of 24?
True
Let g(n) = n - 1. Let m be g(1). Let q(w) = w**2 + 3*w + 3. Let r be q(m). Suppose -4*p + 107 = r. Is p a multiple of 8?
False
Let g = 287 + -490. Let t = 67 + g. Let b = t + 227. Does 24 divide b?
False
Let y = 57 + -57. Suppose 0 = -2*o - z + 234, 6*o - 4*o + 4*z - 222 = y. Is 17 a factor of o?
True
Suppose -m = 4*p - 125, 4*p - 96 - 30 = -2*m. Does 31 divide p?
True
Let d be -8*(-4 + 7)/6. Let p be (0/(d - -2))/2. Does 7 divide p + 36 + (-5)/5?
True
Let a be 20/(-15)*(-6)/4. Suppose -68 = -a*z + z. Is 6 a factor of (z/(-16))/((-1)/4)?
False
Let n(k) = 9*k**2 - 2*k - 2. Let m be n(2). Let z = m - 12. Suppose -z = 5*t - 8*t. Is 2 a factor of t?
True
Let o(n) = -39*n + 44. Is o(-19) a multiple of 11?
False
Suppose 4*n - 2*q - 178 = 0, 7*q - 3*q + 264 = 6*n. Is n a multiple of 36?
False
Let b(c) = c - 3. Let r be b(8). Suppose 2*x - 70 = -r*o, 0 = -2*o + 5 - 1. Is x a multiple of 10?
True
Let f(d) be the second derivative of -d**3/6 + 13*d. Is 12 a factor of f(-12)?
True
Suppose 2*c + 6 = 0, -4*p - 10 = -3*p - 2*c. Suppose 0 = 4*r - 166 - 22. Let f = p + r. Is f a multiple of 31?
True
Suppose 3*c - 408 = 5*c. Let l = -352 - c. Let x = -85 - l. Is 18 a factor of x?
False
Suppose 0 = 2*h - a + 11, 10 = -5*h + h - 2*a. Let c(l) = l**2 + 4*l + 5. Let o be c(h). Is (4 - o)/(1/(-47)) a multiple of 16?
False
Suppose -3*y = 2*f - y + 4, 17 = 4*f - y. Suppose -x - 344 = f*b - 7*b, 344 = 4*b - 2*x. Is b a multiple of 35?
False
Let k(h) be the first derivative of h**2 + 4*h + 6. Let w be k(-9). Let b = w + 51. Is b a multiple of 19?
False
Let m be -3 + 9/(-6)*122/(-3). Let p(w) = -4*w - 6. Let q be p(6). Let g = q + m. Is 6 a factor of g?
False
Suppose 225 = -5*l + 8*l. Suppose -2*g - 3*g + l = 0. Is g a multiple of 15?
True
Suppose 0 = -a + 124 + 55. Does 10 divide a?
False
Let j(u) = 17*u**2 + 14*u - 3. Is j(-3) a multiple of 6?
True
Suppose 0*s + 2 = 2*s, -5*y - 3*s = -93. Suppose r + y = 5*l, l = 4*l - r - 10. Does 11 divide l - (-25 + (-4 - 0))?
True
Suppose -2*g - 18 = -3*u, 4*u + g - 6 = 7. Let m be (-2926)/(-121) + u/(-22). Suppose -3*f + 2*f + m = 0. Is f a multiple of 12?
True
Suppose -5*a - o = -4586, -o - 7 = -3. Is a a multiple of 18?
True
Suppose 3*o = -12*r + 10*r + 95, -5*r + 2*o + 266 = 0. Is 26 a factor of r?
True
Let h = -162 - 109. Let p = h - -516. Does 57 divide p?
False
Suppose -9*g + 14700 = -17538. Is g a multiple of 13?
False
Suppose -5*i + 1057 = 107. Suppose 4*y - 150 - i = 0. Suppose 4*m + 0*m - y = -x, 0 = -4*x + 20. Is 11 a factor of m?
False
Suppose -a = -i - 4, -2*i - 20 = -3*i - 5*a. Suppose i = g + 5, t - 7 = 2*g + 5. Is t*7/((-28)/(-102)) a multiple of 17?
True
Suppose 2190 = 3*w + 3*d, -2*d = -2*w + d + 1485. Suppose 40*m - 33*m - w = 0. Is 7 a factor of m?
True
Let w(x) = 2*x**2 + 3*x - 3. Let v be (0 - 2) + 3 - (-2 + 1). Is w(v) a multiple of 2?
False
Let w = 644 - 272. Is 12 a factor of w?
True
Suppose -94*o + 15080 = -89*o. Is o a multiple of 29?
True
Let w(m) = m + 35. Is 9 a factor of w(14)?
False
Suppose 3 = -2*v - 13. Let m = 18 - v. Is m a multiple of 2?
True
Suppose 4*b + b = -5*r + 2505, -5*b = 0. Is 20 a factor of r?
False
Suppose -4*m + k = -189, 3 + 0 = k. Let c be (351/6)/9*2. Let h = m - c. Does 8 divide h?
False
Let f(w) = 2*w**2 + 25*w + 28. Let n be f(-14). Suppose -p = -8 - 139. Let g = p - n. Does 11 divide g?
True
Let d(h) = -h**2 - 13*h - 8. Let x be d(-11). Let n = x + 40. Is 28 a factor of n?
False
Let a(b) be the third derivative of b**6/30 + b**5/60 + b**4/8 - b**3/6 - 35*b**2. Is a(2) a multiple of 27?
False
Suppose -8 = 4*m + 5*j - 61, m - 13 = -j. Let q(v) = v**3 - 11*v**2 - 12*v + 7. Is 7 a factor of q(m)?
True
Suppose 2 = 2*v - 2. Suppose 4*d + 4*q + 2 = -2, -8 = v*d + 4*q. Suppose 28 = 4*p - d*p + u, -p + 20 = -u. Is p a multiple of 8?
True
Let i(j) = j**2 - 6*j - 4. Let r be i(-1). Is ((-1)/r)/(29/(-4263)) a multiple of 13?
False
Suppose h + 3*q + 6 = 0, 2*h - 6*q - 18 = -2*q. Suppose -a - 5 = 0, -716 = -h*u - 2*a - 3*a. Is 13 a factor of u?
True
Let f = 209 + -134. Suppose -c = -5*r - f, 0*c = 4*c + r - 258. Does 18 divide c?
False
Let u(z) be the second derivative of -z**5/20 + 2*z**4/3 + 5*z**3/2 + 9*z**2 + 13*z. Is u(9) a multiple of 11?
False
Let p = -1136 + 1144. Is p a multiple of 3?
False
Let z(g) = -g**3 + 8*g**2 + 2*g + 3. Is 23 a factor of z(7)?
False
Is 11 a factor of ((-2)/(-2))/((-69)/(-21252))?
True
Let f = 12 - 5. Let q be ((-3)/(-2))/(f/14). Suppose -q*i - 34 = -2*s + s, -6 = -3*i. Does 10 divide s?
True
Let m(v) = v**2 - v + 4. Let s be m(-3). Let z be (-7)/(-21) + s/(-3). Let t = 20 + z. Does 6 divide t?
False
Let y = 36 - 31. Suppose p = 11 - y. Suppose 4*x - s = -p*s + 146, 4*x - s = 158. Is x a multiple of 11?
False
Suppose 50 = 8*t - 6. Does 8 divide 10/35*t*19?
False
Let m = 275 + -5. Is 45 a factor of m?
True
Let y(k) be the second derivative of -k**5/20 + 3*k**4/4 + 5*k**2/2 - 2*k - 22. Let q be 11 - (4 - 2)/1. Does 5 divide y(q)?
True
Let h be (-386)/(-2) + -5 + 7. Let b = 1 - -2. Suppose 5*p - h = 5*i, -b*p = -2*i - 131 + 9. Is p a multiple of 11?
True
Let y(c) = -11*c**2 + 4*c - 6. Let u be y(5). Let i = 620 + u. Suppose -111 = -5*z + i. Is z a multiple of 17?
False
Let o(n) = -n + 7. Let f be o(3). Is 10 a factor of (-256)/(-12) - f/(-6)?
False
Let u(s) = -s**2 - 11*s + 10. Let w be u(-11). Let v(y) = 10*y + 2. Let j be v(3). Let c = w + j. Is 14 a factor of c?
True
Let s(j) = -2*j**3 + 31*j**2 + 24*j - 77. Is 51 a factor of s(16)?
True
Let r(g) = g**3 + 16*g**2 - 13*g - 36. Is r(-15) a multiple of 16?
True
Suppose m - 4*t + 6 = -2*t, -m + 3 = t. Suppose 0 = u - 4*p + 246, m = -u - 0*u - 3*p - 225. Is u/(-10) - (-10)/(-25) a multiple of 4?
False
Suppose 4*t = 5*b + 52, 3*t - 4*b = -0*t + 40. Is 26 a factor of 7/3*156/16*t?
True
Suppose 0 = -4*m - 3*s + 219, -3*m - 2*s + 162 = s. Let p = m - 34. Suppose -j + 4*a + 1 + 4 = 0, -5*a = j - p. Is j a multiple of 8?
False
Let k(n) = -7*n**3 - 9*n**2 + 21*n - 14. Let f(w) = -11*w**3 - 13*w**2 + 32*w - 21. Let c(x) = 5*f(x) - 8*k(x). Does 37 divide c(-7)?
False
Let w(l) = 4*l + 212. Does 12 divide w(-26)?
True
Let s(h) = 60*h - 527. Is 5 a factor of s(9)?
False
Let b = -60 - -115. Suppose b*f = 51*f + 64. Is 5 a factor of f?
False
Let g(n) = n**3 - n**2 - n + 17. Let b be g(0). Suppose 52 = 3*p - b. Suppose -v = -p - 28. Is v a multiple of 17?
True
Let q = 2082 - 870. Does 12 divide q?
True
Let p(h) = h**3 - 7*h**2 - h + 7. Let g be (0 - -7) + -1 - (-22 - -20). Does 13 divide p(g)?
False
Let k = 2 - -4. Let n be k/(-39) - 106/(-13). Suppose 2*o - 16 = -y, -3*o - 45 = -3*y - n*o. Does 10 divide y?
True
Let b be (-1 - (-2)/6)*6. Let p(q) = 11*q - 8. Let a be p(2). Let s = b + a. Is 4 a factor of s?
False
Let z be ((-1)/(-1))/(3/162). Suppose 3*t = 2*n + z + 17, -t = 2*n - 37. Is t a multiple of 6?
False
Suppose 4*d - 899 = 3*d - 4*a, -4*d + 3672 = -3*a. Is d a multiple of 26?
False
Let c(f) = 4*f**2 - 17*f + 157. Is 45 a factor of c(20)?
False
Let b(d) = d**3 + 5*d**2 - 2*d - 4. Let s be b(-5). Let l be (-78 + s)*10/(-3). Suppose -4*i + l = i. Is 16 a factor of i?
True
Let q = -1753 + 1760. Does 2 divide q?
False
Let s be (7 + -4 - 1) + -19. Let q = -15 - s. Suppose q*y - 18 + 83 = 3*p, 16 = -4*y. Does 4 divide p?
False
Suppose -f - 2*f + 3*c = -111, -5*c - 15 = 0. Suppose 17 = w - k, 2*w = -3*k + 2*k + f. Let h(a) = -a**3 + 16*a**2 + 19*a - 13. Is 21 a factor of h(w)?
True
Let s(f) = 67*f - 1. Let g be s(3). Suppose 0 = 5*m + 5*y - g, 4*y + 40 = 3*m - 2*m. Does 10 divide m?
True
Let b(z) = -z**3 + 7*z**2 + 3*z + 1. Let g be b(7). Suppose p + 8 = g. Does 7 divide 6/21 + 192/p?
True
Let h be (((-21)