-6)*(-1656)/r?
False
Suppose 7*y - 3*y = 0. Suppose 3*o = -y*o + 15. Is 2 a factor of o?
False
Is 13 a factor of 51 - ((2 - -3) + -2)?
False
Suppose 5*a = -2*m + 715, 0 = -5*m - 2*a + 1682 + 137. Does 12 divide m?
False
Suppose -4*f - f + 200 = 0. Let l = -23 + f. Suppose 5*t = -4*z + 29, 5*z + 4*t - 60 = -l. Does 6 divide z?
False
Let s = -4 + 1. Is 13 a factor of 3*(-3)/(s/5)?
False
Suppose -3*b + b = -5*g - 122, 3*b = -2*g + 164. Is 14 a factor of b?
True
Let q = 65 - 87. Suppose 2*l - 6*l = 144. Let j = q - l. Does 4 divide j?
False
Let f(u) = 5*u - u**3 - 3*u**2 + 7*u**3 - 2*u**3 + 8. Let p(o) = -11*o**3 + 10*o**2 - 14*o - 24. Let s(n) = -8*f(n) - 3*p(n). Is s(6) a multiple of 10?
True
Let u(r) = -r**2 - 13*r - 5. Let f be u(-8). Let c = f - 7. Does 8 divide c?
False
Suppose -c - 96 = -2*l - 2*c, -l - c + 46 = 0. Is l a multiple of 7?
False
Let x = 6 - 6. Suppose x = -4*w - 2*k + 58, 3*k = -0*w - 2*w + 39. Does 7 divide w?
False
Let u be (-2)/4*-2 - 7. Let w = u + 4. Is (w - 4)*-1 - 1 a multiple of 4?
False
Suppose 4*m - 222 = -54. Let o = m - 11. Is o a multiple of 12?
False
Let o be 14/(-21)*129/(-2). Let m = o + -5. Is m a multiple of 18?
False
Suppose 2*o - 4*x = 15 - 45, -29 = 2*o - 3*x. Let m = -9 - o. Suppose -b + m*b = d - 52, 2*b = -3*d + 156. Is d a multiple of 18?
False
Let b(c) be the first derivative of 6*c**2 - 3*c - 1. Is b(3) a multiple of 18?
False
Suppose 0*m = -4*m + 340. Let g = m - 60. Does 6 divide g?
False
Let q = -68 + 156. Is q a multiple of 10?
False
Suppose 305 = w + 4*w. Suppose 5*d - 4*d = w. Is d a multiple of 19?
False
Let n(d) = d**3 + 4*d**2 - 9*d - 9. Does 6 divide n(-5)?
False
Let r(g) = 11*g - 2. Let t be r(1). Suppose t*x + 68 = 2*h + 5*x, 0 = -x. Does 10 divide h?
False
Suppose 3*j + 72 = -j. Let n = -3 - j. Suppose 0 = -3*p + 4*p - n. Does 15 divide p?
True
Let j = 47 + -10. Suppose j + 23 = 3*v. Is v a multiple of 20?
True
Let p(k) = -k**3 - 16*k**2 + 18*k + 21. Let z be p(-17). Suppose -z*v = 2*g - 32, 0 = g + 2*g + 5*v - 46. Is 4 a factor of g?
True
Let c = 18 - -43. Suppose 5*z = y + c + 21, 26 = 2*z + 3*y. Is z a multiple of 8?
True
Suppose -2*v = -4*f + 2*v, 4*f + v = 20. Suppose -5*z + f*z + 23 = 0. Is 14 a factor of z?
False
Let n(r) = r**2 + 2*r + 22. Is n(-11) a multiple of 13?
False
Let d(y) = -y + 1. Let t be d(-9). Let z = -8 + t. Suppose -3*c + 3*f + 55 = f, -70 = -4*c + z*f. Does 7 divide c?
False
Let r = -193 + 283. Is 19 a factor of r?
False
Let l(y) = -y**3 + 10*y**2 - 4*y + 4. Let h be l(7). Suppose -4*s + 183 = -v, 0*s + 3*s = -4*v + h. Is s a multiple of 15?
True
Let i(q) = -2*q**2 + 6*q - 2. Let g be i(5). Let n = -12 - g. Does 8 divide n?
False
Does 7 divide ((-208)/4)/(2*-1)?
False
Let o(h) = 4*h**2 - h**2 - h**3 + h - 3 + 2*h**3. Let a be o(-3). Let t(s) = -5*s + 5. Is 12 a factor of t(a)?
False
Suppose -g = 3*l - 87, 3*g + 4*l + 248 = 6*g. Is 28 a factor of g?
True
Let m = 10 - 7. Suppose -3*s = 9 + m. Let y = 6 - s. Is 4 a factor of y?
False
Let u(r) = -r**2 + 4. Let c be u(0). Suppose 54 = c*p - 2*v, 5*p + 0*v - 45 = -2*v. Is p a multiple of 11?
True
Let m(t) = -2*t**3 - 2*t - 1. Let o be m(-1). Suppose 0 = -b - 4*s + 19, o*b - 4*s = -7*s + 84. Suppose -2 = g - b. Is g a multiple of 14?
False
Let a(z) = 3*z**3 - 3*z**2 + 2*z - 3. Does 10 divide a(3)?
False
Let h = 19 + -10. Let b(o) = 6*o - 10 - 2*o + 2. Does 14 divide b(h)?
True
Let g be (-4)/(-10) + 66/10. Is g/(21/36) + -2 a multiple of 6?
False
Suppose -6*z + z = -15. Suppose 25 = p + 4*c - 48, -3*c = z*p - 201. Does 18 divide p?
False
Suppose 0 = -p - 0 + 1. Let h = p - -11. Does 12 divide h?
True
Let y(b) = -b**3 - 8*b**2 + 10*b + 13. Let r be y(-9). Suppose p - 190 = -r*p. Is 19 a factor of p?
True
Let q be 1/(-1) - (-2 + -39). Suppose 3*s - 2*s - q = 0. Is s a multiple of 20?
True
Suppose -4*f + 7*f - 540 = 0. Suppose j + 3*j = f. Is j a multiple of 21?
False
Let h be (0 - 0)/(-6 + 5). Suppose h = -3*w + 10 + 23. Suppose 0 = m - 5 - w. Is 8 a factor of m?
True
Does 24 divide (-4)/(-22) - (-786)/33?
True
Suppose u + 11 = -5*f, 3*u - 11 = -f - 2. Suppose -2*k + u*y = k - 55, 2*y = -2. Does 17 divide k?
True
Let n be 7/(-3) + (-6)/9. Is n/(-9)*81/1 a multiple of 27?
True
Let o(c) = c**3 - 12*c**2 + 17*c - 19. Does 3 divide o(11)?
False
Let q = -20 + 9. Let d(u) = -u**3 - 11*u**2 - u + 10. Does 7 divide d(q)?
True
Let h(z) = z**3 - z**2 + 5. Let r be h(0). Suppose r*t + 37 = -23. Is 2 a factor of (-3)/6*(-2 + t)?
False
Is 12 a factor of ((-2)/7 + (-4610)/35)*-1?
True
Let y(j) = -j + 3. Let s = 16 + -23. Does 5 divide y(s)?
True
Suppose 4*j - 2*j - 320 = -2*w, 148 = w - 2*j. Is w a multiple of 27?
False
Let d(c) = -c**3 - 6*c**2 + 12*c + 9. Is d(-8) a multiple of 7?
False
Let c = 6 + -3. Suppose c = l - 8. Is 10 a factor of l?
False
Let f(w) = -w**3 + 11*w**2 - 10*w - 1. Let m be f(10). Let s(r) = -r**2 - r. Let d be s(m). Suppose 0 = -a - d*a + 20. Does 11 divide a?
False
Does 5 divide (14/(-5))/((-12)/30)?
False
Let f(m) = -2*m**3 - m**2 + 6*m + 18. Is 9 a factor of f(-3)?
True
Let i = -14 + 24. Let o(k) = -11*k + 10. Let a(q) = 7*q - 7. Let s(w) = 8*a(w) + 5*o(w). Is s(i) a multiple of 2?
True
Let r(z) = z + 2. Let k(j) = j - 9. Let n be k(7). Let l be r(n). Suppose 0 = 2*u - l*u - 26. Is u a multiple of 6?
False
Let z = 155 - 111. Does 8 divide 696/z - (-2)/11?
True
Suppose -g + 0*g = -2*x + 10, 14 = 2*x - 2*g. Suppose -2*p + 299 = 3*j, -495 = -2*j - x*j - 5*p. Is 21 a factor of j?
False
Let s(r) = 2*r**2 + 14*r + 35. Is 46 a factor of s(-17)?
False
Let y = 44 + -19. Suppose -5*m - y = 0, 4*d - m - 96 = -3. Is d a multiple of 11?
True
Let x be (-6)/(-15) - 2/5. Suppose x*a = 4*a - q - 42, -3*a - 5*q + 43 = 0. Is 8 a factor of a?
False
Suppose -5 = 3*l - 2. Let w = 4 - l. Let a = -1 + w. Is a a multiple of 4?
True
Let g(x) = 29*x - 41. Does 18 divide g(7)?
True
Suppose 0 = v - 2*v + 2*g + 81, g + 228 = 3*v. Suppose 0 = 2*j - s - v, j - 2*s = -0*j + 39. Is j a multiple of 14?
False
Let z(n) = 11*n - 6. Suppose -20 = -2*y - y - x, 5*y - x - 28 = 0. Is 12 a factor of z(y)?
True
Let i(u) be the third derivative of -u**6/120 - u**5/60 - u**4/6 - u**3/3 + 3*u**2. Is 14 a factor of i(-3)?
True
Let r(d) = -2*d. Let g be r(3). Is 7 a factor of (g/9)/(4/(-54))?
False
Let l be (-1160)/(-7) - 12/(-42). Suppose -5*d - 56 = -l. Is 18 a factor of d?
False
Suppose -16*j + 441 = -9*j. Does 21 divide j?
True
Let a = 6 - -5. Let g = 21 + a. Is 10 a factor of g?
False
Let x(g) = -6*g**3 + g. Let y be x(1). Let t(s) = -s**3 - 6*s**2 - 6*s + 5. Is t(y) a multiple of 10?
True
Suppose 7*z - 78 = 4*z. Is z a multiple of 13?
True
Let q(k) = 2*k**2 + 3*k - 3. Does 12 divide q(3)?
True
Let g(r) be the third derivative of -19*r**4/24 + r**3/6 - 5*r**2. Does 9 divide g(-2)?
False
Let z(p) = 7*p - 47. Let i be z(19). Let c be (-1 - -1 - -4) + -1. Suppose c*u - i = -2*f, 6*f + 20 = 2*f. Is 12 a factor of u?
False
Suppose 0 = -5*b + b + 12. Suppose 0 = -w + 2*a - 8, w + a = 4 + b. Suppose 7*n - 2*n = -w*d + 72, 2*n = 5*d - 122. Is 23 a factor of d?
False
Suppose 22 = 5*c + 3*i, 5*c = 4*c - 3*i + 2. Let h = 13 + c. Is 9 a factor of h?
True
Let r(z) = -41*z + 21. Does 18 divide r(-3)?
True
Let x(k) = -k**2 + 10*k - 8. Suppose 0 = 6*m - 2*m + 16. Let n = 12 + m. Is 8 a factor of x(n)?
True
Let l(r) = -4*r**3 - 2*r**2 + 4. Is l(-2) a multiple of 4?
True
Suppose -3*j = x - 5, -4 - 4 = -3*j + 2*x. Suppose 4*l - 54 = j. Is l a multiple of 14?
True
Is 11 a factor of 0 + 1 + -3 - -13?
True
Suppose 3 + 1 = 4*w. Suppose -2*f + 35 = w. Does 10 divide f?
False
Suppose -5*z + 5*j = -4*z - 58, -10 = 5*j. Is z a multiple of 15?
False
Is 4 a factor of 8 + -2*(-4)/(-8)?
False
Let y(m) = -30*m**3 + 8*m**2 + 21*m + 1. Is y(-2) a multiple of 33?
True
Suppose 3*i - 439 + 61 = 0. Is i a multiple of 21?
True
Let r = -4 - -25. Let p = -12 + r. Does 9 divide p?
True
Suppose 4*m - 18 = 3*m. Suppose 0 = 6*i - 4*i + 5*h - m, 4*i + 3*h = 50. Does 13 divide i?
False
Suppose 2*t = -3*l + 30, 5*l - 2*l = 0. Is t a multiple of 2?
False
Suppose 5*y + m = -0*y + 16, 4*m + 16 = 0. Suppose -4*u + 14 = v, -y*v + 7*v - 4*u + 6 = 0. Is -2 + -8*(v - 3) a multiple of 3?
True
Let b(y) = y**3 + 25*y**2 + 43*y - 23. Does 20 divide b(-23)?
False
Suppose -3*c + 34 = -32. Is 16 a factor of c?