4?
False
Suppose 0 = 5*n + 4*k - 665, 2*n + 0*n = -3*k + 266. Does 19 divide n?
True
Suppose -r = -4*l + 144, -2*l + 5*r + 108 = l. Does 18 divide l?
True
Suppose 4*c = -0*c + 72. Let j = 36 - c. Is j a multiple of 6?
True
Suppose 2*b - 24 = -2*b. Let y = b + -3. Suppose -y*v - 3 = -4*v. Does 2 divide v?
False
Suppose -5*h + 0*v = -v - 11, 4*v = -4. Suppose 3*l = -h + 11. Let z(t) = -t**2 + 7*t + 1. Is z(l) a multiple of 6?
False
Suppose 3*z + 4 = 5*z. Suppose -b = -z*k + 10, -b + 3*k - 2*k = 10. Is b/3*(-18)/10 a multiple of 6?
True
Let j = 160 + -71. Is 15 a factor of j?
False
Let n be (2*-1 - -2) + 0. Suppose 6*h = 2*h + 88. Let p = n + h. Is p a multiple of 8?
False
Suppose -7*u = -3*u - 8. Suppose u*s = -0*r - 2*r + 106, 5*r + 92 = 2*s. Does 17 divide s?
True
Let o be 4/18 - 20/9. Let w = o - -25. Is 17 a factor of w?
False
Suppose 3*b = 114 - 24. Is b a multiple of 5?
True
Let s be 4/(-10) + 994/35. Suppose -2*t - s = -4*t. Does 14 divide t?
True
Let c = -23 - -25. Is 2 a factor of c?
True
Let z(a) = -a - 3. Let p be z(-6). Suppose 2*v = 4*m + 20, 2*m - 113 = -5*v - p. Is 10 a factor of v?
True
Let z(j) = -j**3 + 6*j**2 - j + 4. Is 15 a factor of z(5)?
False
Let w be -20 - (-3 + 2)*-2. Let a = w + 68. Is a a multiple of 17?
False
Let v(r) = -r**3 - 9*r**2 - 3*r + 6. Let w(u) = 3*u**3 + 26*u**2 + 8*u - 17. Let m(j) = 17*v(j) + 6*w(j). Does 9 divide m(-3)?
True
Let g(x) = -x**3 + 6*x**2 - 5*x + 1. Suppose 0*k = -2*k + 8. Is g(k) a multiple of 8?
False
Let g(z) = -z**2 - 7*z - 8. Let n be g(-5). Suppose s + 2*s - 3*k - 3 = 0, 0 = -4*s - n*k + 34. Is s even?
True
Let m be ((-6)/9)/(4/(-6)). Let u(x) = 2*x**2 + 0*x**3 + 5*x**3 - 3*x**3 - 1. Is u(m) even?
False
Let c be (-28)/(-7) - 36/(-1). Let p = c + -27. Does 3 divide p?
False
Suppose s + 6 = 2*s. Let p = s - 1. Let u(j) = j**2 - 2*j - 1. Is 7 a factor of u(p)?
True
Let s(c) = -c**3 - c**2 + 3*c - 4. Suppose 0 = -3*t - 2*t + 3*y - 9, 0 = y + 2. Does 2 divide s(t)?
False
Let n(k) = 305*k**3 - k**2 + 2*k - 1. Is n(1) a multiple of 31?
False
Suppose 6*i - 25 = i. Suppose 5*s = -i*l + 30, s + 0*l - 6 = 3*l. Suppose 4*k = 14 + s. Is 2 a factor of k?
False
Let x(m) = m + 22. Let f be x(-8). Suppose -2*j + j + f = 0. Does 6 divide j?
False
Let l be (93/6)/(-1)*-2. Suppose l = -3*i + 103. Does 8 divide i?
True
Let s = 303 + -213. Is 34 a factor of s?
False
Suppose q = 3*z - 11, 0 = 3*z - 2*z - 3. Let l = q - -7. Suppose l*g - 65 = 55. Does 9 divide g?
False
Suppose -3*b + 100 = -b. Does 25 divide b?
True
Let y(c) = 3*c. Let p be y(1). Suppose 0 = -p*r - 5*j + 37, 4*j - 40 = -0*r - 5*r. Suppose 0 = 3*q - r*q + 16. Is 8 a factor of q?
True
Let l be (-90)/3*8/12. Let o = l + 33. Is 11 a factor of o?
False
Let a be 1*-1*(-9)/3. Suppose 4*r + 17 = -5*l, l + 20 = 5*r - l. Suppose r = -a*s + 17, 15 = 2*c - 3*s. Is c a multiple of 15?
True
Suppose 0 = k + 4*k + 240. Let s = k - -75. Does 9 divide s?
True
Suppose -3*g + 4*c + 264 - 28 = 0, g + 2*c - 82 = 0. Does 16 divide g?
True
Suppose -8*t + 511 + 305 = 0. Is 11 a factor of t?
False
Suppose -m = -2*m - 2*k + 2, 0 = m + 3*k - 4. Does 8 divide -5 + 2 - (m + -47)?
False
Let m = 387 - 116. Is m a multiple of 61?
False
Suppose 4*k - 4 = -0. Suppose s = 3 + k. Suppose -10 + 31 = m - 3*r, -s*r + 143 = 5*m. Does 10 divide m?
False
Let h(s) = 16*s - 4. Let w be ((-9)/12)/(3/(-12)). Does 22 divide h(w)?
True
Suppose 3*m + 294 = 2*w, -4*w + 2*m - m + 568 = 0. Is 27 a factor of w?
False
Let m = -35 - -19. Let l = m + 38. Does 11 divide l?
True
Let d(u) = 6*u**2 - u + 1. Let w be d(-2). Suppose 5*l - w = -b, 4 = 4*l - 0. Is b a multiple of 8?
False
Suppose -5*l + 255 = 5*u, 3*l = -l + 4. Suppose n + n = 3*y - u, -43 = -3*y - 5*n. Is y a multiple of 9?
False
Suppose 96 = 4*h - 0*h. Does 8 divide h?
True
Let j(g) = -g**2 - 5*g - 4. Let t be j(-2). Suppose -d = -2*d - 2*f + 68, 5*d = -t*f + 348. Is d a multiple of 14?
True
Suppose 0 = -14*a + 16*a - 100. Is 12 a factor of a?
False
Suppose -2*j + 2 + 5 = -5*y, -4*y - 20 = -4*j. Let b(t) = 4*t - 7. Does 17 divide b(j)?
True
Let x(l) = l**3 + 7*l**2 + 4*l. Let y(i) = -i**3 - 8*i**2 - 3*i. Let m(f) = -3*x(f) - 2*y(f). Does 14 divide m(-5)?
False
Is 15 a factor of 75 - -1*(-2)/(-3)*-3?
False
Let j(f) = -f**2 - 2*f + 2*f + f + 3*f**2. Is j(-3) a multiple of 5?
True
Is (-1 - 0)/((-4)/248) a multiple of 31?
True
Let w be -9 + (-3)/((-6)/4). Let u = 11 + w. Suppose c = -u, 3*h + c + 2 - 4 = 0. Is h a multiple of 2?
True
Suppose w + 14 - 20 = 0. Suppose -b = -w*b + 535. Is 31 a factor of b?
False
Let h(w) = 2*w - 6. Let m be h(4). Suppose 0 - 10 = -m*q. Is q even?
False
Let i = 10 + -5. Suppose l = -3*a - 0 + 7, -5*l = 5*a + i. Let j(p) = p**2 - 2*p - 3. Is j(l) a multiple of 16?
True
Suppose p = 3*p + 4*h - 26, 5*p = -2*h + 89. Suppose 4*t + 7 = p. Does 19 divide (t/(-3))/(-1)*19?
True
Suppose -3*w = 5*k - 74, -34 = -2*k - 2*w + 3*w. Suppose -4*i - 4*b + 24 = 0, -3*i + b + 4*b + 10 = 0. Let h = k - i. Is 5 a factor of h?
False
Does 7 divide 2 + 1 + (-33)/(-3)?
True
Let m = 183 - 314. Let k = 211 + m. Is k a multiple of 20?
True
Suppose -44 + 356 = 4*g. Is 44 a factor of g?
False
Let d(f) = -31*f + 7. Is 25 a factor of d(-3)?
True
Let q be -12*((-3)/2 - -2). Does 15 divide (q + 0)*27/(-6)?
False
Let p(w) = -w**2 - 3*w + 27. Does 11 divide p(0)?
False
Let u = -15 + 50. Does 16 divide u?
False
Suppose 2*o - 3*o + 20 = 0. Is 10 a factor of o?
True
Suppose 5*z = -2*c + 26, -3*c = 5*z - 3*z - 17. Suppose -1 - c = -w. Suppose w*d - 96 = d. Does 20 divide d?
False
Is 6 a factor of 4/(-2) + 33 + 5?
True
Is 11 a factor of (3/(-2))/((-33)/1012)?
False
Let f(z) = z**3 - 8*z**2 - 9*z - 14. Does 24 divide f(10)?
True
Let p be 160/28 - 2/(-7). Is ((-57)/9)/((-2)/p) a multiple of 8?
False
Let b be (-30)/40 - 206/(-8). Is b - (3 + (-3 - 1)) a multiple of 11?
False
Let i(t) = -5*t**2 - 6*t - 7. Let k(d) = 3*d**2 + 3*d + 4. Let r(v) = 4*i(v) + 7*k(v). Let h be r(8). Suppose 4*z + 0*z - h = 0. Is 10 a factor of z?
True
Let d = -11 + 18. Suppose k - d*c = -3*c + 77, k = -c + 67. Does 27 divide k?
False
Let r(s) = s**3 - s + 30. Suppose -m = 3*c - 6, 3*m - 1 + 5 = 2*c. Is 8 a factor of r(m)?
False
Let c be (172/(-6))/((-4)/18). Suppose -5*l = o - 7, -2*o = 4*l - 5*o - 17. Suppose r - c = -l*r. Does 15 divide r?
False
Let n = 1 - -1. Suppose 8*v - 3*v - n*o - 94 = 0, -4*o = 4*v - 64. Does 18 divide v?
True
Let l = -14 + 26. Let m(p) = 4*p + 13. Is m(l) a multiple of 19?
False
Let s be (-3)/2*(-4)/6. Let o be (1*-17)/(-2 + s). Let y = -1 + o. Does 9 divide y?
False
Let z(y) = y**3 - 5*y**2 - 3*y + 1. Let p = -19 - -25. Is z(p) a multiple of 19?
True
Suppose 2*c - 50 = 50. Is c a multiple of 20?
False
Let h be 2/(-1) - 266/(-2). Let n = -73 + h. Is n a multiple of 12?
False
Suppose 25 = 5*x, 0 = -4*w + w - 3*x + 78. Is w a multiple of 21?
True
Suppose -65 = 3*j - 248. Does 19 divide j?
False
Suppose u - 505 + 5477 = 0. Does 6 divide 2/(-15) - u/165?
True
Let y(q) = q + q**2 + q + q**2. Let z = 86 + -90. Is 15 a factor of y(z)?
False
Is (-1431)/(-4) - (-18)/(-24) a multiple of 51?
True
Let u = 27 + -26. Suppose 3*i - 6 = 3. Is 0/2 + u + i a multiple of 4?
True
Let b be (-160)/70 - (-2)/7. Is (6 + b)*(-133)/(-28) a multiple of 19?
True
Suppose 2*s = -3*f + 80, 7*s - 118 = 4*s - 4*f. Does 14 divide s?
False
Suppose -4*m + 105 = -183. Is 18 a factor of m?
True
Suppose -w + 7 = -2*z - 47, -4*z = -12. Does 4 divide w?
True
Let k = -4 - -7. Suppose -w - 5*p = 22, -k*w + 2*p + p = -24. Let v = w - -14. Is 7 a factor of v?
False
Let n(o) = o**2 - 5*o + 6. Let z be n(4). Suppose 85 = z*j + 3*j. Is j a multiple of 8?
False
Suppose f + 11 - 44 = 0. Suppose 3*g = 27 + f. Is g a multiple of 20?
True
Suppose 5 + 0 = -s. Let r = 8 + s. Is 3 a factor of r?
True
Let y = 23 - 14. Let m = 7 - y. Does 18 divide -2 + 1 + (17 - m)?
True
Let k be (0 - 0) + 0 + -2. Let t = 0 - k. Suppose t*q + 16 = 4*q. Is q a multiple of 3?
False
Suppose -10 = b - 0*b. Let v be b/15 + (-4)/(-6). Suppose -6*m + 2*m + 128 = v. Is m a multiple of 16?
True
Let q be (-1)/(-2)*188/2. Let b = -27 + q. Does 11 divide b?
False
Suppose 4*c + 2*n = 20, -5 = 5*c - 3*n - 30. Let w = 15 - c. Is 5 a factor of w?
True
Let u be (-2)/(-1) - (1 + -64). Suppose -u = -4*g + 31. Is 12 a factor of g?
True
Let 