 -h*p = -3*b - 9 - 0, 2*b - 6 = -4*p. Suppose -g + p*q = -61, -5*q - 232 = -4*g - 3*q. Is 21 a factor of g?
False
Let z(x) = -2*x - 1. Suppose -5 = 2*d + 9. Is z(d) a multiple of 8?
False
Let l = -125 - -224. Does 9 divide l?
True
Does 11 divide ((-51)/(-4))/((-6)/(-16))?
False
Suppose 1304 = a + 3*a. Suppose 0 = -s + w + 170, 3*w - a = -2*s - 2*w. Suppose -4*k = -k - s. Does 16 divide k?
False
Let n(p) = 4*p - 3*p - 7 + 2*p - p. Let b = 16 - 10. Is n(b) a multiple of 2?
False
Suppose -3*q + 139 = r, -2*q + 78 = r - 4*r. Is q a multiple of 9?
True
Let u = -153 + 482. Is 47 a factor of u?
True
Let n = 4 - 4. Let f = 6 + n. Is 2 a factor of f + (-3*3)/3?
False
Suppose 4*z + 2*c - 17 = 29, -9 = -3*c. Is z a multiple of 2?
True
Suppose 3*b + 4*f - 121 - 28 = 0, 0 = 4*f - 8. Let a = b + -30. Is 12 a factor of a?
False
Let v = 6 - 6. Suppose -3*w = -2*h - 21, -w + 2*h = -2*h + 3. Let i = w - v. Does 4 divide i?
False
Let r(u) = u**3 + 9*u**2 + 8*u - 3. Let f be r(-8). Is 13 a factor of 40*2/(-1 - f)?
False
Does 10 divide (-2)/(-8) - 335/(-20)?
False
Is (-4)/(-1)*102/24 a multiple of 5?
False
Suppose 16 = -o + 2*o. Does 4 divide o?
True
Let m(s) = 41*s + 1. Let x = 4 + -3. Is 11 a factor of m(x)?
False
Suppose 4*v = 2*s - 128, -5*s + 3*v = -4*s - 69. Does 8 divide s?
False
Is (-2)/(-36)*86 - 4/(-18) even?
False
Let h(v) = -v**2 - 15*v + 9. Is 14 a factor of h(-8)?
False
Let w(t) = -t**3 - 5*t**2 - 7. Let m be w(-5). Let j be -30*2*(-2)/6. Let h = j + m. Does 7 divide h?
False
Suppose -2*p + 5*p - 78 = 0. Suppose 5*m = -5*y + 35, m + 3*m + 3*y - p = 0. Does 3 divide m?
False
Suppose -5*y = 5*f - 15, -5*f + 24 = -y - 3*y. Suppose 2*q + f = 52. Is q a multiple of 8?
True
Suppose 0 = 16*r - 11*r. Let i(o) = 15 - 1 + o**2 + o + 0*o. Does 13 divide i(r)?
False
Let r(m) = m - 1. Let k be r(1). Suppose 2*z = 3*z - 5*v - 3, v = k. Suppose 4*s + 16 = 3*h, -5*h - s + 50 = -z*s. Is h a multiple of 12?
True
Is -8*8/10*(-64 - -4) a multiple of 32?
True
Suppose 0 = -i + 4*y + 384, -14*y - 1996 = -5*i - 13*y. Is i a multiple of 50?
True
Suppose -2*i = 3*u - 74 - 89, -i + 109 = 2*u. Is u a multiple of 11?
True
Suppose -l + 2 = -t - 11, -l = -2*t - 14. Suppose -4*h + 0*h = 0. Suppose 38 = 5*p + 4*d, -3*p + d + 2*d + l = h. Is 6 a factor of p?
True
Let v(k) = -k + 2. Let d be v(-4). Suppose -3*p - 12 = -7*p. Suppose -p + d = x. Is x even?
False
Suppose -3*k - 11 = -5*d, d = 2*k - 4 + 2. Let b be 8 - (-3 - (4 + -5)). Suppose -4*t - d*q + 54 = b, q + 24 = 4*t. Is 2 a factor of t?
False
Let n(x) be the first derivative of x**3/3 + 9*x**2/2 + x + 3. Let r(z) be the first derivative of n(z). Is 10 a factor of r(7)?
False
Let g = 586 + -256. Does 55 divide g?
True
Let g(c) = -c. Let k be g(-2). Let q(f) = -f**2 + 2*f**k + 1 + 0*f**2 + 4 + 4*f. Is q(-5) a multiple of 9?
False
Let p(r) = 3*r**3 - 3*r**2 + r. Let l be (-18)/(-8) + 3/(-12). Is p(l) a multiple of 7?
True
Let c(k) = -k - 41. Let r be c(0). Let o = r + 62. Is 7 a factor of o?
True
Does 15 divide (9/(-4))/((-2)/40)?
True
Suppose -4*f + 6*f - 8 = 0. Let h be -29 - (2 + f*-1). Let m = -5 - h. Does 8 divide m?
False
Let l = -13 - -18. Suppose -13 = -4*o + 4*r - 5, 0 = -3*o - 3*r - 18. Let y = o + l. Is y a multiple of 3?
True
Suppose 135 = 2*o + 13. Let h = o + -29. Is h a multiple of 8?
True
Let y = -93 + 261. Suppose -7*l + l + y = 0. Does 28 divide l?
True
Let y(v) = -v**3 - 7*v**2 - 4*v + 5. Let z be y(-6). Let w(k) = -2*k + 1 - 8 + 21*k**2 - k**3 - 28*k**2. Does 7 divide w(z)?
True
Let s(v) = -v**3 - 19*v**2 - 23*v + 18. Is s(-18) a multiple of 54?
True
Let m(u) = -u**2 + 20*u - 19. Is m(16) a multiple of 9?
True
Let n(r) = 3*r**3 - 4*r**2. Let x be n(3). Let g be (-6)/(-15) + 588/(-20). Let f = x + g. Is f a multiple of 16?
True
Is ((-12)/15)/((-3)/150) a multiple of 20?
True
Does 19 divide (0 + -33)*(-20)/15?
False
Let f(u) = -2*u**3 - 2*u**2 - 2*u - 6. Is f(-4) a multiple of 3?
False
Suppose -3*j = 7 - 22, -21 = -2*g + j. Is g a multiple of 13?
True
Suppose -q + 37 = d, -3*d + 4*q = 6*q - 110. Is 3 a factor of d?
True
Suppose -4*h = -3*n - 216, -3*n + 201 + 15 = 4*h. Is h a multiple of 6?
True
Let f = 2 - 2. Suppose f*w + 3*w - 270 = 0. Suppose 0 = -2*d - 3*c + c + 60, -3*d + c + w = 0. Is 13 a factor of d?
False
Let b = -7 - -11. Let z(g) = -6 - 6*g - b*g + 2*g. Is z(-4) a multiple of 13?
True
Let b = -99 + 244. Suppose -5*m - 739 = -5*x - 2*m, x - 2*m = b. Suppose 4*d + l - x = 0, -2*d + 77 = 3*l - 2*l. Is 18 a factor of d?
True
Suppose 0*a + 3*s + 13 = a, 0 = 5*a - s - 37. Let i = a - 2. Does 2 divide i?
False
Suppose -6 = -h - 3*d, -4*h - 1 = -d + 1. Let r be (395 + h)*(-4)/(-10). Let b = r + -112. Is b a multiple of 16?
False
Suppose -5*a + 4*k - 102 = 0, -a - 3*k - 16 = -6*k. Let j = -45 - -32. Let f = j - a. Does 9 divide f?
True
Let k = 67 - 4. Is 29 a factor of k?
False
Let x(v) = -v + 2. Let m be x(-6). Let c(q) = -q**2 + 10*q. Does 16 divide c(m)?
True
Let p be (-150)/(-9)*(-12)/(-10). Is ((-78)/(-24))/(1/p) a multiple of 30?
False
Let w(a) = a**2 + 3*a + 3. Does 7 divide w(-6)?
True
Suppose l - 1 + 3 = -4*t, 3*t + 7 = 2*l. Let a be 5*-2*(-5)/l. Suppose 0 = -d - 0*d + 2*s - 5, a = 4*d + s. Does 4 divide d?
False
Suppose -2*v = -v + 3*p + 8, 4*v - 10 = 2*p. Let i = 2 + v. Suppose i*r = 24 + 3. Does 9 divide r?
True
Let y(m) = -5*m**3 - 20*m**2 + 25*m - 30. Suppose 0 = -5*x + 7 + 3. Let r(h) = h**3 + 4*h**2 - 5*h + 6. Let d(g) = x*y(g) + 11*r(g). Does 4 divide d(-5)?
False
Suppose 0 = 2*z + 5*o - 16, 2*z - 12 = 3*o - 6*o. Suppose -z*r + 4*p + 131 = 0, 2*p = 3*r + 3*p - 121. Is r a multiple of 13?
False
Suppose 2*g = 17*g - 2220. Does 10 divide g?
False
Let b(q) = 20*q. Let x = -1 - 3. Let t(n) = -n**2 - 4*n + 1. Let r be t(x). Is 10 a factor of b(r)?
True
Suppose -2*n - 2*j - 3*j = -47, -87 = -2*n + 3*j. Does 4 divide n?
True
Let o = -92 + 206. Does 14 divide o?
False
Let a = 10 + -23. Let k = -5 - a. Let r = k - 6. Is 2 a factor of r?
True
Suppose 2*k - 24 = 6*k. Let t(v) = v**2 + 7*v + 6. Let m be t(k). Suppose 14 = n - m. Is 7 a factor of n?
True
Let b = -23 + 64. Is b a multiple of 25?
False
Suppose 20 = -i - 3*i. Let d = i + 9. Suppose -d*u + 22 + 6 = 0. Is u a multiple of 3?
False
Suppose 0 = 2*c + 4*b + 20, b = -7*c + 3*c - 61. Let n = c - -26. Is 5 a factor of n?
True
Suppose n + 4*w - 117 = 34, -4*w = 20. Is n a multiple of 23?
False
Let s(p) = -p**2 + 5*p - 1. Let z be s(5). Let k = 13 + z. Is 6 a factor of k?
True
Let u be 8/(((-2)/(-3))/(-1)). Let k = u - 1. Let z = 26 + k. Is z a multiple of 7?
False
Is 154/6 - 14/21 a multiple of 10?
False
Suppose -55 = -5*s - 5*g, 4*s = -3*g + 38 + 9. Is s a multiple of 7?
True
Suppose -10 = 2*b, -3*x - 2*b = -925 + 95. Does 20 divide x?
True
Let l(m) = m + 6. Let b be l(-4). Suppose k + b*k = 0. Suppose x + k*x - 24 = -2*o, x - 36 = -5*o. Does 16 divide x?
True
Suppose 5*o = 10*o - 10. Does 18 divide (-165)/(-6) - o/4?
False
Suppose a + 5*j - 78 = 2*a, 0 = -5*a + j - 270. Let i = a - -97. Does 10 divide i?
False
Suppose 2*f + 322 = 2*c, 5*c = -1 - 14. Let h = -99 - f. Is 19 a factor of h?
False
Let y(x) be the first derivative of -x**3/3 - 11*x**2/2 - 12*x + 2. Does 12 divide y(-8)?
True
Suppose -3 = -2*x + 3*x. Let i = 7 + -9. Is (-14)/(-3)*x/i a multiple of 3?
False
Let g be (3/6 - 1)*0. Suppose -2*h = 3*x + 1, h - 3*x + 4 + 1 = g. Does 12 divide (-1)/2 - 71/h?
False
Suppose 5*r - r = -576. Is 17 a factor of (1/(-2))/(2/r)?
False
Suppose 3*k + 3*i - 18 = -0*k, -4*k + 26 = 3*i. Is 4 a factor of (k/(-6))/(3/(-9))?
True
Let l = 39 + -13. Is l a multiple of 5?
False
Suppose -5*b + 16 = 6. Suppose -2*h = -5*n + 31, -b = -2*n + h + 10. Is 7 a factor of n?
True
Let d(n) be the third derivative of -n**6/360 + 13*n**5/120 + n**4/6 + n**3/2 - 3*n**2. Let q(b) be the first derivative of d(b). Does 16 divide q(6)?
False
Let p = 389 - 573. Is 2 a factor of p/(-44) - (-6)/(-33)?
True
Suppose 4*d = 9 + 179. Does 7 divide d?
False
Let w(o) = 4 + 5*o - 3*o - 3*o. Let y be w(5). Is 5 a factor of ((-8)/10)/y*10?
False
Suppose -22 + 2 = 4*d, 4*d + 30 = 5*n. Let y be 12/14*7/2. Suppose -y = r - n*r. Is r a multiple of 2?
False
Let m = 2 + 2. Suppose m*s = -0*s + 84. Suppose -3 = y, s = v - 4*y - 13. Does 11 divide v?
True
Suppose -4*f = k - 206, 2*f + 2*k = 3*f - 47.