 + 0*x**2 - 2*x**2 + 2*x**3 - x**3 + 1 - 6*x. Is 4 a factor of o(4)?
False
Suppose -419 = -4*l + 253. Suppose 0 = h, 2*q - h + 3*h = l. Suppose 3*v = -v + q. Is 7 a factor of v?
True
Let p(y) = y**3 + 6*y**2 + 5*y + 3. Is 3 a factor of p(-5)?
True
Let r = -23 + 58. Suppose -3*u + 2*u + r = -4*z, -4*u = z - 4. Does 13 divide ((-13)/4)/(2/z)?
True
Suppose 0*s + 4 = -2*s, 4*a + 2 = -5*s. Suppose 0 = 3*p + a*p - 1060. Is 5 a factor of 4/18 + p/18?
False
Suppose 5*w - 6*w + 33 = 0. Is w a multiple of 7?
False
Let k(f) = -f**3 - 7*f**2 - 3*f - 2. Let p = -16 + 9. Is 7 a factor of k(p)?
False
Suppose 2*z = 3 + 3. Suppose z*m + 104 = 5*m. Is m a multiple of 13?
True
Let w = 26 + -50. Is 18/w - (-70)/8 a multiple of 4?
True
Let y = 12 - 10. Is 18 a factor of 32/y + (-10)/(-5)?
True
Let h be (-18)/(-4) - 3/6. Suppose h = f - 20. Is f a multiple of 8?
True
Suppose 6 = -0*a + a. Let y(m) = -m**3 + 7*m**2 - 5*m + 6. Is y(a) a multiple of 12?
True
Let l(w) = 2*w**2 - 4. Let f be 14/3 - (-16)/(-24). Is l(f) a multiple of 14?
True
Let w(o) be the second derivative of o**4/12 - 11*o**3/6 + 7*o**2/2 + o. Let i be w(10). Let d(n) = n**2 - n + 2. Is d(i) a multiple of 5?
False
Let o(t) = -t**3 - 8*t**2 - 9*t - 1. Does 20 divide o(-8)?
False
Let u = -306 - -660. Is 17 a factor of u?
False
Suppose -5*q + 2*q = 3*o - 198, q + 4*o - 69 = 0. Is 13 a factor of q?
True
Let z(h) = -h**2 - 12*h - 15. Let b be z(-9). Is 9 a factor of b/(-10)*195/(-26)?
True
Let n be 0 + -2 - (-10)/(-10). Let b(g) = -9*g. Is 9 a factor of b(n)?
True
Let c(q) = -q - 9. Let r be c(-7). Is 3 a factor of 0/r - 9/(-3)?
True
Let m(g) = -g**3 - 3*g**2 - 2*g + 10. Is m(-7) a multiple of 31?
False
Let u be 1038/54 + (-4)/18. Let x = -10 + u. Is 5 a factor of x?
False
Let o(c) = c**2 - c + 2. Let l be o(0). Let k be 17/5 + l/(-5). Does 5 divide -5*(0 + k/(-3))?
True
Let k(z) = 4*z**2 - 6*z + 5. Is k(3) a multiple of 5?
False
Let j(i) = -i**3 - 7*i**2 - 4. Is j(-8) a multiple of 15?
True
Let v(z) = -z + 1 + 7*z**2 + 12*z**2 + 49*z**2 - 2. Does 34 divide v(-1)?
True
Let p(v) = 3*v**2 - 2*v - 2. Let y = 4 + -1. Let n be p(y). Let x = n + -8. Is 11 a factor of x?
True
Suppose 1008 = 2*c + 14*c. Is c a multiple of 29?
False
Let z be (12/(-30))/(1/15). Let x be 157/2 - (-3)/z. Let b = x - 54. Is b a multiple of 12?
True
Let u = -1 + 3. Let w = -661 + 925. Is w/18*3/u a multiple of 11?
True
Suppose -2*n - 16 = 2. Let y(l) = -l**3 - 10*l**2 - 13*l. Is y(n) a multiple of 34?
False
Let a be (3/(-4))/((-1)/4). Suppose 2*h - 112 = 4*f, 5*f + 164 = -0*h + a*h. Does 16 divide h?
True
Suppose 0 = 4*z - 16, -f = f + 5*z + 90. Let b = -29 - f. Is 13 a factor of b?
True
Let i = -27 + 35. Is 4 a factor of i?
True
Let j be (156/(-8))/((-4)/48). Let u = j + -163. Does 12 divide u?
False
Let a = 317 + -141. Suppose -4*g = -0*g - a. Is 17 a factor of g?
False
Suppose -2*h - 2 = -4*h. Let p(o) = 0*o - 6*o**2 - 3*o + 4*o + 19*o**2. Is 8 a factor of p(h)?
False
Suppose -o - 5*m = 6 + 10, 4*o - 3*m - 28 = 0. Let g be 9 - 2 - (-1 + o). Suppose -x = -4*x, g*z + x - 40 = 0. Does 10 divide z?
True
Suppose -1374 = -14*w + 446. Is w a multiple of 10?
True
Let g = -43 - -131. Is g a multiple of 22?
True
Let m(w) = 4*w**2 - 5*w - 12. Let g(n) = -3*n**2 + 3*n + 8. Let r(c) = -7*g(c) - 5*m(c). Let k be r(-4). Does 2 divide (-1 - (-1 + 1)) + k?
False
Suppose -5*f + 0*m = m - 451, -5*f = -2*m - 448. Is 30 a factor of f?
True
Suppose -4*p = 4*u - 116, -2*u = -2*p + p - 64. Is u a multiple of 31?
True
Let f(n) = n**3 - 2*n**2 + 2*n + 4. Let t be f(3). Suppose -4*d - 41 - t = 0. Let q = d - -27. Is 9 a factor of q?
False
Let s = -17 - -19. Suppose 2*w - 70 = -2*c, 4*c = 5*w - 0*c - 220. Suppose -s*o = 3*o - w. Is o a multiple of 4?
True
Suppose 27 + 4 = h. Let l(t) = 4*t - 16. Let u be l(8). Let w = u + h. Is 16 a factor of w?
False
Let i = -9 + 23. Is i a multiple of 4?
False
Suppose 8 = -2*u, 0 = y - u - 7. Suppose 0*h + h = y. Suppose -5*a + 5*q = -245, -2*a + h*q = 2 - 101. Is 14 a factor of a?
False
Suppose -4*d = -d - 6. Let t(l) = 18*l + 1. Is 20 a factor of t(d)?
False
Let x = 129 - 8. Is x a multiple of 11?
True
Suppose 3*q = -5*g + 423, -q - g = -0*g - 139. Is 8 a factor of q?
True
Let r = -2 + -7. Let y = r - -21. Is 6 a factor of y?
True
Suppose -4*u + 8 = -8. Let t(r) = 1 - 3 + u - 4*r + r**3 - 5*r**2. Is t(6) a multiple of 7?
True
Suppose -2*h + 70 = 3*k - k, -k + 35 = -h. Is 3 a factor of k?
False
Let p = -27 + -47. Let c = 139 + p. Suppose 6*t - c = t. Is 13 a factor of t?
True
Let x(o) = -3 + 2 - 8*o - o. Suppose -5*i - 2 - 3 = 0. Is 8 a factor of x(i)?
True
Let h = -10 + 30. Suppose t + 4*t - h = 0. Does 14 divide (-7 - 1)*(-14)/t?
True
Let x(g) = 4*g + 10. Is x(5) a multiple of 10?
True
Let j = 0 - 3. Let r = j - -7. Suppose 5*h = 66 + r. Does 7 divide h?
True
Let x(m) = m**2 + 4*m - 15. Is x(7) a multiple of 31?
True
Let q = 5 - 5. Is 15 a factor of (-2)/(-2)*42 + q?
False
Suppose 2*n - 26 = 4*a, 11*a = 6*a + 4*n - 25. Let d(t) = t**3 + 10*t**2 + 7*t - 5. Is d(a) a multiple of 13?
True
Let j be 2/(2 + 0)*2. Suppose -p - 72 = -4*p - 3*y, j*p = y + 60. Is p a multiple of 14?
True
Let k(a) be the first derivative of a**3 - a + 3. Is k(-2) a multiple of 11?
True
Let w be (-21)/(-12)*1*12. Let r = 9 + w. Let q = r + -15. Is q a multiple of 9?
False
Is (3/12)/((-3)/(-228)) a multiple of 19?
True
Let u(s) = 2*s**2 - 4*s + 3. Let r be u(2). Suppose 2*k - 5*o - 65 = -r*k, -k - 5*o + 31 = 0. Is 16 a factor of k?
True
Suppose -d = 5*p - 165, 3*d + 2*p = 7*p + 395. Suppose d = w + 3*w. Suppose 0*q + 5*q = w. Does 6 divide q?
False
Let z(n) = n**2 + 7*n + 4. Let f be z(-4). Let s(a) = -a + 1. Does 8 divide s(f)?
False
Suppose 9 = 5*m + 49. Let i = m + 20. Is 6 a factor of i?
True
Suppose 256 = -0*f + 2*f. Is f a multiple of 16?
True
Suppose -2*d + 0*d + 106 = 0. Let l = 80 - d. Suppose -3*n + 2*m = 6*m + 3, -5*m = -4*n + l. Is 3 a factor of n?
True
Suppose -5*q + 256 = -q. Does 6 divide q?
False
Suppose 1 = -2*r + b, 2*b + 1 = 3. Let c = 3 + r. Suppose -2*m = -3*m - 4*n + 36, c*n - 77 = -2*m. Is 20 a factor of m?
True
Suppose 29 = 3*z - 46. Let b be 1/(0 + 1/z). Suppose 59 + b = 3*u. Is u a multiple of 10?
False
Suppose 0*b + 3*q = b - 7, 0 = -2*b + 5*q + 13. Suppose 0 = 5*g - 13 - 7. Suppose -9 = -l + h, -43 = -g*l + h - b*h. Is l a multiple of 9?
False
Let b(h) = 3*h - 6. Let a be b(5). Suppose 5*o = 2*o + a. Suppose -o*r + 175 = 2*r. Does 13 divide r?
False
Is 15 a factor of 88 - (-7 - 3)/(-5)?
False
Let z(v) = -v**2 - v. Let u be z(-2). Let i = -4 - u. Is (-33)/(-2) - 1/i a multiple of 6?
False
Suppose -6*h - 58 = -8*h - 2*j, -2*h - 3*j + 60 = 0. Does 27 divide h?
True
Let i(p) = -5*p**2 + 2*p - 1. Let c be i(1). Let s be (-6)/(-9)*-3 - c. Suppose -5*d = s*t - 43, 5*d + 48 = 3*t + 7*d. Is 10 a factor of t?
False
Let j = -584 - -820. Is j a multiple of 41?
False
Let r = -26 - -37. Is r a multiple of 2?
False
Let s(k) = -6*k + 308. Does 22 divide s(0)?
True
Suppose 3*l + 672 = 11*l. Is l a multiple of 35?
False
Let u(r) = -r**2 + 10*r - 1. Let d(f) be the second derivative of -f**4/12 + 7*f**3/6 - 3*f**2/2 + 3*f. Let k be d(5). Does 10 divide u(k)?
True
Let t = 30 + 5. Does 7 divide t?
True
Let t(g) = -2*g + 6. Let l be t(5). Let i = 6 + l. Does 9 divide 5/i*(-4 + 8)?
False
Suppose -648 + 178 = -5*d. Is 8 a factor of d?
False
Let i = 4 - -13. Is 17 a factor of i?
True
Let f = 7 - 35. Is f/21*(-39 - 0) a multiple of 13?
True
Suppose 198 = -s - s. Is 16/6*s/(-12) a multiple of 22?
True
Let k be (0 + (-1 - -1))*-1. Let n(m) = m**2 - 9*m - 4. Let f be n(10). Is k*(-3)/f + 33 a multiple of 14?
False
Let h = 9 + -6. Let i(q) = q**3 - 2*q**2 + q + 4. Does 8 divide i(h)?
True
Suppose -4*y + 32 = -4. Is 2 a factor of y?
False
Suppose 29 + 38 = i. Let s = 106 - i. Is 24 a factor of s?
False
Suppose -7 = -s - 1. Suppose 3*r = s*r - 63. Does 5 divide r?
False
Suppose q - 192 = -3*n + 57, -2*q - 426 = -5*n. Is 21 a factor of n?
True
Let k(t) = 26*t**2 - 2*t. Let f be k(2). Suppose -f = -m - 3*m. Is m a multiple of 13?
False
Does 17 divide 94/(-4)*(-9 + 7)?
False
Suppose 4*a = 5*a + 4*h + 5, -3*a + 30 = 3*h. Is a a multiple of 8?
False
Let k = 28 + -2. Let j be (-1 + 0)*(-1 + -1). Let g = k - j. Does 9 divide g?
False
Suppose -5*x = 2*p - 0*