ppose 3*w - w - 224 = 0. Is 14 a factor of w?
True
Suppose -7*z + 4*z + 3 = 0. Let h(q) = 0*q**2 + 1 - 2 + 7*q**2 + 2*q. Does 8 divide h(z)?
True
Let d(n) = 20*n**2 + 2*n + 3. Does 21 divide d(-4)?
True
Let r = 46 + 13. Is r a multiple of 7?
False
Let m be 3 - (8/(-12))/(2/(-3)). Suppose 2*n - r + 94 = -n, 5*r - 150 = 5*n. Does 17 divide (m - (-7)/(-2))*n?
False
Let s = -6 + 9. Suppose -r = 4*b - 4*r - 185, -s*b - 4*r + 145 = 0. Does 14 divide b?
False
Let l(z) = z**3 + 20*z**2 + 18*z - 13. Is l(-19) a multiple of 6?
True
Suppose -33 = -3*q + 12. Is q a multiple of 7?
False
Let d = 3 + 1. Suppose -d*s - 2*a + 50 = -s, 0 = s + a - 18. Does 12 divide s?
False
Suppose -16*i + 3993 = 1529. Is i a multiple of 13?
False
Let d be (-2)/(-3)*27/6. Suppose 5*c = 4*c + 22. Suppose d*j - 1 = 2*q - 15, 2*q = -j + c. Is 10 a factor of q?
True
Does 6 divide (7/2)/7*36?
True
Let u(m) = -10*m - 13. Is u(-14) a multiple of 30?
False
Suppose 2*i = 31 + 9. Does 5 divide i?
True
Let i = -32 - -28. Is (-11 - -9)/(i/54) a multiple of 16?
False
Let w = 28 - 12. Let s = 2 + w. Is s a multiple of 11?
False
Suppose -5*n + 10*n - 17 = 2*a, 3*a = -3. Is 3 a factor of n?
True
Is -3 + 48 + (-3)/6*-4 a multiple of 12?
False
Suppose 4*h = 5*f - 37 + 4, -4*f = 2*h - 16. Let i = f + -3. Does 11 divide -2*i/(12/(-81))?
False
Let s be -8 - (-1)/2*2. Let i = 16 + s. Is i a multiple of 8?
False
Let b(i) = -4*i**2 + 8*i - 6. Let t be b(5). Is (t/(-8))/((-1)/(-4)) a multiple of 11?
True
Let r(a) = -a**3 + 7*a**2 + a - 2. Is r(3) a multiple of 12?
False
Suppose -l + 12 = -5*h - 3, -2*l - 2*h = 30. Suppose -4*c = -0*c - 4*p - 20, -3*c + 5*p = -25. Let m = c - l. Does 5 divide m?
True
Let n = 17 + -14. Does 10 divide -1 + n/(-6)*-106?
False
Let p(j) = j - 1. Let v be p(6). Suppose v*t = -b + 72 + 17, 15 = -3*t. Suppose x + b = 4*i - 14, 3*i - 5*x - 113 = 0. Is 18 a factor of i?
False
Let n = 159 - 82. Is n a multiple of 7?
True
Let l(b) = b**3 - 4*b**2 - 5*b + 4. Let k be l(5). Suppose -m + 0 = -k. Does 3 divide m?
False
Suppose 4*l = -l - 25. Let c = 9 + l. Suppose c*j - 140 = 52. Is 21 a factor of j?
False
Let d(w) = -3*w. Let r be d(-2). Suppose -i - 1 = -r. Is i a multiple of 4?
False
Let q be (0 - 2) + 0 + -1. Let m be (1/q)/(2/(-678)). Suppose 5*y = -3 + m. Is y a multiple of 17?
False
Let z = 198 - 297. Suppose 0*d = 4*d - 16. Is 11 a factor of (d/(-3))/(6/z)?
True
Let s = -1 - -3. Suppose 3*y = -o + 8, 0 = -2*o - s*o + 4*y - 32. Let u = 7 + o. Does 3 divide u?
True
Let n = 16 - 10. Suppose -n*f + 20 = -2*f. Suppose 65 = 5*b + f*l, -5*b - 4*l = -42 - 18. Does 8 divide b?
True
Suppose -3*h = -5*v - 14, h - 2*v - 2 - 2 = 0. Is 5 a factor of h?
False
Let a = -39 - -53. Does 3 divide a?
False
Let b(g) = 2*g**3 - 4*g**2 - 2*g - 2. Does 37 divide b(4)?
False
Suppose 0 = -5*y - 10, 2*l - 5*y = -0*l + 32. Let a(o) = -o**3 + 12*o**2 - 11*o + 2. Is 2 a factor of a(l)?
True
Let b(j) = 14*j + 1. Let f be b(9). Let k = f - 87. Does 13 divide k?
False
Let i(j) = j**2 - j - 4. Let z be i(3). Suppose -z*w = 2*w + 12, -h + 4*w + 40 = 0. Is 8 a factor of h?
False
Let d(v) = -v**2 + 32*v + 55. Does 16 divide d(27)?
False
Suppose -2*u = -5*g + 336, -3*u + 172 - 49 = 2*g. Is 6 a factor of g?
True
Suppose d = 5*d. Suppose 5*i = -d*i - 20. Let w = 16 + i. Is w a multiple of 5?
False
Let g = -104 + 148. Is g a multiple of 13?
False
Let n = 14 + -14. Suppose n*g = 3*g - 81. Does 9 divide g?
True
Let c(k) = 26*k + 15. Is c(6) a multiple of 18?
False
Does 13 divide (-6)/24 - (-314)/8?
True
Let d(m) = m**2 - 5*m + 3. Is 3 a factor of d(5)?
True
Let f(j) = -2*j**2 - j. Let l be f(-3). Let y = l - -24. Is y a multiple of 4?
False
Suppose -4*c - 23 = 2*i + i, 0 = -3*i + 4*c + 17. Is 3 a factor of (0 - i)*1 + 5?
True
Let v = 3 + 7. Let s = 12 - v. Is 2 a factor of s?
True
Suppose 5*n + 2*h - 476 = 0, -5*n + h = 6*h - 470. Suppose w + 5*w = n. Is w a multiple of 8?
True
Let c = 86 + -44. Is 21 a factor of c?
True
Suppose -2 = 3*l + 2*q, 5*q = -2*l + l - 18. Is l*((-33)/(-2) + 1) a multiple of 10?
False
Suppose -60 = -2*i - 3*i - 5*d, 4 = 3*i - 5*d. Let s(q) be the third derivative of q**6/120 - 3*q**5/20 + 11*q**4/24 - 5*q**3/3 + 6*q**2. Is 8 a factor of s(i)?
False
Let w(d) = 37*d + 2. Suppose 0*a + 3*a - 3 = 0. Is w(a) a multiple of 15?
False
Suppose -65 = -4*y - 3*p, 3*y + p = -y + 75. Does 6 divide y?
False
Let a be ((-24)/10)/2*-5. Let q = a + -3. Suppose -q*w = -u - 41, 0*w = -5*w - 5*u + 95. Is 15 a factor of w?
True
Let z(n) = -n**2 + n + 175. Let a be z(0). Suppose -3*c = u - 105, 8*c = 3*c + u + a. Is c a multiple of 13?
False
Let v(q) be the second derivative of 0*q**2 - q + 0 + 1/6*q**3 + 11/12*q**4. Is v(1) a multiple of 12?
True
Let o be (-5)/(-20) + (-7)/(-4). Suppose 4*u + 48 = 2*p, o + 20 = p - u. Does 8 divide p?
False
Let z(l) = 303*l**2 + 4*l + 6. Does 61 divide z(-1)?
True
Let s(u) = u**3 + 3*u**2 - 2. Let j be s(-2). Let i(o) = o**3 - 2*o**2 + 3*o - 3. Let f be i(j). Let z = 31 + f. Is z a multiple of 12?
False
Suppose -2*b + 87 + 11 = 0. Is b a multiple of 14?
False
Let w = 14 - -1. Does 5 divide w?
True
Is 13 a factor of (-1572)/(-8) - (-9)/18?
False
Suppose -42 - 81 = -3*c. Is c a multiple of 20?
False
Is 17 a factor of 27/54 - ((-66)/(-4))/(-1)?
True
Let j(u) = -20*u**3 + 2*u**2 - 9*u - 17. Let d(r) = -7*r**3 + r**2 - 3*r - 6. Let m(k) = -8*d(k) + 3*j(k). Is m(-2) a multiple of 27?
True
Let o(a) = a**3 + 6*a**2 - 2*a. Let p(h) = -h**2 - 1. Let r be p(-2). Does 15 divide o(r)?
False
Suppose t = p + 3*t - 89, 222 = 3*p - 3*t. Does 42 divide p?
False
Suppose q - 3*q = -36. Let d = q - -10. Does 8 divide d?
False
Suppose 316 = -3*c + 7*c + 2*m, -m = c - 81. Is c a multiple of 17?
False
Let u = 2 - 3. Let l(z) = z**2 - 11*z**3 - 3*z**3 + 3 - 4. Does 8 divide l(u)?
False
Suppose 5*a - 23 = 4*k, 4*a + k - 34 = -k. Let g = a + 31. Is 9 a factor of g?
False
Is 17 a factor of ((-190)/(-50))/(2/10)?
False
Suppose 0 = c - 7 - 9. Let o be 4/(c/(-6))*-2. Suppose g = -o*g + 56. Is g a multiple of 7?
True
Suppose -o - 7 + 1 = 0. Let w(k) = k**3 + 7*k**2 - 20. Is 4 a factor of w(o)?
True
Is 1262/12 + (-12)/72 a multiple of 16?
False
Suppose 4*i - 36 = -k, -5*k + 60 = -i - 3*i. Is k a multiple of 8?
True
Let s(j) = -11*j + 4. Let g(c) = 22*c - 9. Let x(v) = 3*g(v) + 7*s(v). Is x(-1) a multiple of 10?
False
Let w = -5 + 7. Suppose 7*a - 55 = w*a. Does 6 divide a?
False
Suppose -10 = j - 2*j. Let s be ((-312)/20)/((-3)/j). Let q = s + -36. Is 16 a factor of q?
True
Let s be 3 + 2/6 + (-4)/12. Let y be 2*(-1)/(-5)*5. Suppose 0 = -y*j - s*z + 48, -5*j + z + 120 = 3*z. Is j a multiple of 24?
True
Let h(i) = -6*i - 5. Is 7 a factor of h(-4)?
False
Let h = 189 + -111. Does 13 divide h?
True
Suppose 5*p - 5*q = -10, q + 1 = -3*p + 11. Suppose -p*t + 4 = -8. Is 6 a factor of t?
True
Let l(a) = a**3 + a**2 + a - 6. Let f be l(0). Does 11 divide 8/f - 103/(-3)?
True
Let p = 0 + -1. Let g(z) be the third derivative of -3*z**4/2 + z**3/6 - 3*z**2. Is 13 a factor of g(p)?
False
Let g(d) = -62*d - 1. Is 13 a factor of g(-1)?
False
Let s(g) = -g**2 + 10*g + 1. Let w be 12/2 + 0 + 2. Does 8 divide s(w)?
False
Suppose 3*h - 48 = -h. Suppose 4 = -2*x + 5*s, 3*x + s - h + 1 = 0. Does 2 divide x?
False
Let u(x) = -x**2 - 9*x + 9. Suppose -5*h - 35 = v + 10, 3*h + 27 = 4*v. Does 4 divide u(h)?
False
Suppose -h = -4*r + 673, 4*r + 2*h = -0*h + 670. Suppose 5*s - s = r. Does 21 divide s?
True
Let r be -3*6*20/15. Let u be -6 + (0 + 0)/(-2). Does 3 divide (4/u)/(2/r)?
False
Suppose 0 = 8*w - 4*w - 56. Is 14 a factor of w?
True
Suppose 0 = 3*d - k - 63, d - 5*d = 3*k - 71. Is 5 a factor of d?
True
Let y(u) = -u + 5. Does 4 divide y(-3)?
True
Is (3 - 3) + (-32)/(-2) a multiple of 4?
True
Let o(x) = 2*x**3 - 5*x**2 - 4*x - 1. Let a(c) = -c**3 + 4*c**2 + 3*c + 2. Let f(g) = -3*a(g) - 2*o(g). Does 16 divide f(-4)?
True
Let k(u) = -17*u - 21. Let s(v) = -26*v - 32. Let i(o) = 8*k(o) - 5*s(o). Is 14 a factor of i(-6)?
True
Let l(r) = r**2 - 8*r - 12. Let n be l(9). Let j(v) = -4*v - 2. Is j(n) a multiple of 10?
True
Is -5 - 0 - -5 - (-128)/2 a multiple of 9?
False
Let l(g) be the first derivative of -g**2/2 + 14*g - 3. Is 6 a factor of l(7)?
False
Let y = -2 - -29. Let c = 25 + y. Does 13 divide c?
True
Let j = -9 + 20. Suppose 2*