). Suppose n - 14 = -f*n. Is 13 a factor of n?
False
Let w(n) be the first derivative of 5*n**2 + n + 2. Let v be w(3). Let l = 53 - v. Is l a multiple of 11?
True
Suppose 0 = -4*p - r - 0*r + 469, -5*r = 5*p - 605. Suppose -5*f + p = -144. Suppose 76 = 4*y - f. Is y a multiple of 16?
True
Suppose 5*m + 0*m = 3*z + 25, 5*m + 55 = -5*z. Let n = 4 + z. Is 5 a factor of (-27)/n + 3/2?
False
Suppose k - 4*t = -8*t - 17, 4 = -t. Does 32 divide 1 - k - 5 - -86?
False
Suppose -13*w = -8*w - 80. Does 4 divide w?
True
Suppose -2 = k, 5*f - 17 - 15 = k. Does 2 divide f?
True
Let j(t) = 7*t - 15. Let f = -11 - -18. Is 17 a factor of j(f)?
True
Let i(k) = 5*k**2 + 17*k - 7. Is 11 a factor of i(5)?
False
Let v(t) = -t + 15. Let w be v(10). Suppose 36 = 3*i - 5*y, i + 3 = w*y + 5. Is i a multiple of 6?
False
Let p(w) = -w**2 - 7*w + 2. Let t be p(-7). Suppose -5*m - 4*l = -80, 3*m + 3*l - 26 = 19. Suppose t*s - s = m. Is 9 a factor of s?
False
Suppose p = -l + 3*p, -4*l + 5*p = 0. Suppose -2*m + 140 = -5*f, l = -4*m + 3*f - f + 296. Let y = m - 54. Is 10 a factor of y?
False
Suppose -4*i = -6*i + 532. Is i a multiple of 14?
True
Let t be (-10)/3*(-30)/25. Suppose k - t = -3*b, b + 42 = 2*k + k. Is 12 a factor of k?
False
Let t(u) be the second derivative of -u**3 - 2*u**2 - 2*u. Is t(-3) a multiple of 12?
False
Let r(h) = -12*h - 21. Is r(-8) a multiple of 17?
False
Suppose 0*b + b + 51 = 0. Let j be (-3)/4 + b/12. Is 4 a factor of (3 - j) + (-1 - -1)?
True
Let u = -5 - -37. Is u a multiple of 11?
False
Let t(o) = 22*o**2 + o - 6. Is 14 a factor of t(2)?
True
Suppose 3*i - 598 = -178. Is i a multiple of 28?
True
Suppose 2*c - 3*i - 321 = 0, -2*c = 2*i + 3*i - 345. Is 15 a factor of c?
True
Let n be 6/(-9)*(-3)/(-1). Let z = 25 - n. Is z a multiple of 10?
False
Suppose i = -2*j, -i + 8 = -3*i. Suppose -3*l + 104 = j*l - 2*v, 2*l - 46 = 3*v. Does 17 divide l?
False
Suppose f = -0*f + 2*h - 13, -5*h - 83 = 3*f. Let a = 87 + -124. Let z = f - a. Does 8 divide z?
True
Suppose 2*z = -2*i - 26, -3*i + 0 = -2*z - 31. Let u = 6 - z. Does 17 divide u?
False
Suppose 59 = 2*s - o, 0 = 3*s - 2*o - 106 + 19. Does 7 divide s?
False
Suppose 0 = -2*s - 71 + 971. Is 24 a factor of (6/4)/(15/s)?
False
Suppose -81 = -5*f + 119. Suppose -5*x + f = -3*x. Is 16 a factor of x?
False
Suppose -2 = -4*h + 18. Suppose 0*s + h*w = 3*s - 70, -3*s = -w - 74. Is s a multiple of 17?
False
Is (2/3)/((-2)/(-150)) a multiple of 5?
True
Does 15 divide (-33)/9 + 3 + (-227)/(-3)?
True
Suppose 91 + 140 = 3*h. Is 11 a factor of h?
True
Let n(h) = -12*h - 69. Is n(-7) a multiple of 2?
False
Suppose -w - 9 + 4 = 0. Let l(q) = -q**2 - 10*q + 7. Is l(w) a multiple of 14?
False
Is 3/(9/4)*(12 + 0) a multiple of 6?
False
Suppose -2*q - 15 = -5*a, a = -q + 5*a - 15. Is q a multiple of 2?
False
Let r(a) = a**3 + 10*a**2 - 9*a + 10. Let j be r(-11). Let m be 2*-1*(-22 + -1). Let x = m + j. Is 17 a factor of x?
True
Let p = 29 + 23. Does 5 divide (p/16)/((-3)/(-12))?
False
Let k be ((-3)/6)/(1/(-54)). Let n = k + -19. Does 4 divide n?
True
Let g(f) = 10*f - 3. Let n be g(9). Let o = n - 21. Is 33 a factor of o?
True
Is 530/20 - (-2)/(-4) a multiple of 4?
False
Let f(k) = -2*k**3 + k**2 - k. Let x be f(1). Let h = 6 - x. Is 4 a factor of h?
True
Let c be 2*1*(-54)/(-12). Let h(t) = 2 + 3*t - t + 0 + 0*t**2 + c*t**2. Is h(-2) a multiple of 17?
True
Let o = -36 + 62. Suppose -a - o = -3*a. Is 3 a factor of a?
False
Let k = -46 + 94. Does 16 divide k?
True
Suppose 3*a = -3*r + 156 - 54, -4*a = -4*r - 144. Suppose 5*j - a = 120. Does 16 divide j?
False
Let s(d) = 16*d - 2. Let q be s(4). Suppose 2*k - q - 18 = 0. Does 20 divide k?
True
Let k be ((-4)/(-10))/((-1)/(-25)). Let w be 12/20 - (-4)/k. Suppose -4*h = -p - 73, 0 = 3*p - 4*p - w. Is 9 a factor of h?
True
Suppose -13*w + 9*w = -5*a + 365, -211 = -3*a + 4*w. Is 26 a factor of a?
False
Suppose -z = -2*b - 4, 16 = 6*z - 2*z - 5*b. Let n = z - -2. Does 3 divide n?
True
Suppose 2*c + 6*c = 952. Does 7 divide c?
True
Let m(k) = 23*k**2 + 3*k - 5. Let q(x) = -11*x**2 - x + 2. Suppose 3*f - f = -l - 23, 0 = -f - 5*l - 34. Let s(v) = f*q(v) - 4*m(v). Is s(2) a multiple of 12?
True
Suppose 4*b - 4*j + 12 = -0*j, 29 = 2*b + 5*j. Suppose -4*v + 0*l + b*l + 32 = 0, 5*v + 2*l - 58 = 0. Is v a multiple of 5?
True
Suppose 0 = 5*s + 3*a - 74 - 108, -2*s + 71 = 3*a. Suppose p + 2*p - z = s, 0 = 2*z - 4. Is 13 a factor of p?
True
Let c be (8 - 31)/((-2)/(-4)). Does 8 divide -4*(0 + c/8)?
False
Let o(t) = 18*t**2 + 8*t + 6. Does 32 divide o(-5)?
True
Let z = 3 + 3. Suppose z*p + n = 2*p + 55, 85 = 4*p - 5*n. Is p a multiple of 13?
False
Let l be (-6)/(-27) - 258/(-54). Suppose 2*u - 95 = -5*o - 3*u, 93 = l*o + 3*u. Is 18 a factor of o?
True
Let y = 4 - 0. Suppose y*t + 13 - 69 = 0. Does 14 divide t?
True
Let j(s) = -s**3 - 3*s**3 + 5*s**3 + s**2. Let a be j(2). Let t = -8 + a. Is 3 a factor of t?
False
Let k(m) = 16*m**2 + m. Is 20 a factor of k(2)?
False
Let t(q) = q**3 + 9*q**2 + 2*q + 1. Let h = -14 + 7. Does 18 divide t(h)?
False
Suppose 0 = 7*w - 4*w - 33. Let i = 37 - w. Is 13 a factor of i?
True
Is 4 a factor of (-8)/(-12) - 26/(-6)?
False
Suppose 0 = -5*a + 1182 - 402. Suppose 2*g - a = 4*l, 0*g = 3*g - 5*l - 235. Is 20 a factor of g?
True
Let n(z) = -64*z - 1. Is 14 a factor of n(-1)?
False
Let n(v) = 12*v - 2. Let g be n(3). Suppose 0*j - 2*j + g = 0. Suppose j - 2 = 5*y. Does 3 divide y?
True
Suppose -4*t = -5*t - 32. Let w = t - -82. Does 14 divide w?
False
Let m = -2 - -10. Is m a multiple of 3?
False
Suppose -2*j + 398 = -3*n, 3*j - j + 4*n = 412. Is j a multiple of 29?
False
Let n = 12 - 8. Suppose -n*y + 5*f + 86 = 0, y + 3*f = 18 + 12. Is y a multiple of 8?
True
Let k = 7 + -4. Suppose b + 8 = k*b. Suppose i = -2*a + 44, b*a - a = 4*i - 165. Is i a multiple of 15?
False
Let p = 10 + 4. Does 14 divide p?
True
Let z = 58 + -44. Does 4 divide z?
False
Let s be ((-12)/10)/((-9)/30). Let n = 4 - s. Suppose -5*p + 230 + 15 = n. Is p a multiple of 15?
False
Let g = 0 + 9. Does 3 divide g?
True
Suppose 4 = -4*u - 0*u, -5*m + 3*u + 103 = 0. Let f(v) = v**2 - 2. Let p be f(2). Suppose p*h - h = q - m, -4*q + 80 = -h. Is 10 a factor of q?
True
Let v(n) = -n**3 - 4*n**2. Let o be v(-6). Suppose 0 = -3*b + o - 246. Let d = b - -98. Does 11 divide d?
False
Let i be 2/7 - (-54)/7. Let z = -5 + 1. Does 18 divide ((-37)/2)/(z/i)?
False
Let r(f) = f**2 - 2*f + 3. Suppose -d + 1 + 7 = 0. Is r(d) a multiple of 17?
True
Suppose 0 = 2*y - 17 - 15. Let t be 10 - -1*(2 - 1). Let x = y - t. Is x even?
False
Let h(t) = -t**3 + 16*t**2 + 38*t + 42. Is 6 a factor of h(18)?
True
Suppose 4*a + 3 = -q + 5, -4*q = a - 8. Suppose 0*b + 5*b + 29 = 2*z, -2*z + q = 4*b. Suppose 4*j - 5*j + 2*g = -z, -5*g - 10 = -2*j. Is j a multiple of 4?
False
Let p(n) = -10*n + 6. Is 16 a factor of p(-9)?
True
Let j(s) = -s. Let v(z) = 6*z + 8. Let h(o) = -5*j(o) + v(o). Is h(6) a multiple of 11?
False
Suppose n - 20 = 5*f, 5*f + 3*n = 3*f - 25. Is 17 a factor of 1/1*(-115)/f?
False
Suppose -3*i + i = -20. Does 7 divide i?
False
Let a(l) = l**2 + l - 3. Let d be a(-3). Suppose -12 + 106 = d*w + h, -5*h = -5*w + 130. Does 15 divide w?
True
Let b(h) = -43*h + 4. Is 40 a factor of b(-1)?
False
Let y(o) = o**2 + 4*o - 2. Let h(c) = c**2 - c - 5. Let b be h(0). Let p be y(b). Suppose 5*w = -x + 16, w + 0*w = -p*x - 8. Is w a multiple of 4?
True
Suppose -o = 5*o - 30. Let y be 2 + 8 + 1 - 1. Suppose -o*b + 56 = -i - 19, -y = 2*i. Is 14 a factor of b?
True
Let j(g) = g - 1. Let y be j(4). Let n(m) = 2*m**3 - m**2 + 2*m + 3 - 6*m + 0. Does 18 divide n(y)?
True
Let y be 1 - 1/(-2)*2. Suppose y*r + 4 = 28. Does 4 divide r?
True
Suppose -u + 14 = -8. Does 11 divide u?
True
Suppose 2 = 2*m - 2. Let i(j) = -10*j**2 + j - 2. Let p be i(m). Let o = -20 - p. Does 20 divide o?
True
Let f(d) = -d**3 - 3*d**2 + 5*d + 5. Let h be f(-4). Suppose 0 = 4*a - 31 + 131. Is -2*h/2 - a a multiple of 12?
True
Let l be (-15)/(-6)*(-4)/(-5). Suppose 3*f = -l*d + 118, -3*d + 201 = 5*f + 22. Is d a multiple of 10?
False
Let a be (-2)/5 + 12/5. Suppose -2*c - a = -c. Does 3 divide 29/4 + c/8?
False
Suppose -7*k = -k - 672. Does 28 divide k?
True
Let i(s) = -3*s + 99. Let u be i(0). Suppose -491 + u = -8*t. Is 18 a factor of t?
False
Sup