 -2*m = y - f*m - 16. Is 8 a factor of y?
False
Suppose -3*f - 2*x + 79 = -190, 3*f - 5*x - 241 = 0. Is f a multiple of 33?
False
Suppose -5*q + 11 = -v, -6*q + 4*q - v + 10 = 0. Suppose -5*k + 88 = -q*r, 5*k = 5*r + 83 + 57. Let m = r + 46. Does 9 divide m?
False
Let j(i) = -10*i**2 + 21*i - 25. Let b be (-8)/24*6*-1. Let a(d) = 3*d**2 - 7*d + 8. Let g(h) = b*j(h) + 7*a(h). Does 14 divide g(10)?
False
Let h(i) = -i - 8. Let t be h(-6). Let l be (-3)/3*(-39 + t). Let o = l - 15. Is o a multiple of 13?
True
Let d = -31 + 55. Does 6 divide d?
True
Suppose 0 = -3*l - 5*v + 41, v = -0*l - 3*l + 37. Does 9 divide l?
False
Suppose 5*n - 6 = 4*n. Suppose 0 = r - n. Is 4 a factor of r?
False
Let v be ((-50)/6)/(2/6). Let n = 21 - v. Is n a multiple of 23?
True
Is (4/(-10))/(1/(-155)) a multiple of 30?
False
Suppose 5*j = -3*q + 14, 4*j - q - 2*q = 22. Suppose 2*g + 17 - 55 = 0. Suppose j*n - 79 + g = 0. Does 14 divide n?
False
Let b be -1*4*(5 + -7). Suppose 0 = -4*f + b*f. Does 13 divide (30 - f/(-1)) + -3?
False
Suppose -14 = -y + i + 3*i, 57 = 3*y + 3*i. Suppose q - 3*q = -10. Suppose u + q*w - y = 0, 4*u + 4*w - 2*w = 54. Does 6 divide u?
False
Let n(w) = w**2 - 4*w - 5. Let z be n(6). Let i = 9 - z. Let k(l) = 12*l**2 - 4*l + 2. Does 16 divide k(i)?
False
Let w be (1 - 3) + 4 - 12. Let r(i) = i**3 + 10*i**2 + i + 9. Let z be r(w). Let h = 3 - z. Does 4 divide h?
True
Let v(z) = 8*z + 4. Let o(r) = 9*r + 3. Let l(k) = 5*o(k) - 6*v(k). Is 4 a factor of l(-9)?
False
Let t(x) = 2*x**2 + 1 + 0 - 2*x + 6 + 10*x. Is t(-5) a multiple of 17?
True
Suppose -3*p = -1 - 5. Does 21 divide (-4 - -14)/(p/8)?
False
Suppose -5*v + 81 = 6. Is 15 a factor of v?
True
Is 17 a factor of (-7 - -1)/((-6)/99)?
False
Let j be 4/(-18) + (-10268)/(-36). Suppose -5 = l, -5*a + 3*l - 4*l + j = 0. Is 12 a factor of a?
False
Suppose 3*a - 65 - 1 = 0. Let w = a - 13. Is 9 a factor of w?
True
Suppose -40 = 21*u - 23*u. Is u a multiple of 20?
True
Is -34*(-65)/20 - 1/2 a multiple of 22?
True
Let o be 2*6/(-4) - -10. Suppose o = -a + 4*g, 0 = -2*a + a - g + 3. Is 11 a factor of -1*1/(a/(-19))?
False
Is (-6 + 9)*32/6 a multiple of 4?
True
Suppose -5*n - 2*f - 17 = 2*f, -5*n + 5*f + 10 = 0. Does 6 divide -36*n*2/4?
True
Let n(o) be the third derivative of 2*o**4/3 + 6*o**2. Is 16 a factor of n(1)?
True
Let y be 7 + -1 + 1 + -2. Let w(z) = -z**3 + 7*z**2 - 6*z + 4. Let q be w(y). Suppose -3*g + g = -q. Is g a multiple of 12?
True
Let l(b) = -b**3 - b**2 + b + 26. Let y be l(0). Let p be (-2)/(-5) - y/(-10). Suppose 80 = p*w + 11. Does 23 divide w?
True
Let k(n) = -10*n**2 - 2*n - 1. Let z = 0 - -2. Let q be k(z). Let l = 91 + q. Is 23 a factor of l?
True
Let c = 10 + -8. Suppose -84 = -v - 4*h, -2*h = -c*v - 99 + 267. Does 21 divide v?
True
Suppose -42 = -2*f + f - 5*k, 4*f - 5*k - 243 = 0. Does 19 divide f?
True
Suppose 0*d + 5 = d. Suppose 2*s + 3*g = 30, 0 = -5*s + 5*g + d + 20. Suppose -4*b + s + 23 = 0. Is b a multiple of 5?
False
Suppose 0 = 5*h - 3*h - 62. Suppose -4*z - 55 + 11 = 0. Let i = z + h. Does 10 divide i?
True
Does 3 divide (0 - 1/(-2))/((-20)/(-640))?
False
Suppose -6*l + 9*l = 282. Does 28 divide l?
False
Let n(l) = l**2 - 12*l + 16. Does 11 divide n(14)?
True
Let p(i) = i**3 - 11*i**2 + 13*i + 12. Does 14 divide p(10)?
True
Let t(v) = -v + 5. Let s be t(5). Suppose s = -5*x + 90 - 20. Does 14 divide x?
True
Suppose -24 = -4*z - 2*x, -2*z - 2*x + 0*x + 12 = 0. Does 3 divide z?
True
Suppose -55 = 4*g - 9*g. Is 6 a factor of g?
False
Suppose -5*j - 425 = -10*j. Is j a multiple of 13?
False
Let c be ((-2)/5)/(2/(-600)). Suppose 0*l + 4*l + c = 0. Let a = 57 + l. Does 12 divide a?
False
Let p(y) = 1 - 2 - 2*y + 0*y. Does 4 divide p(-4)?
False
Suppose 0*g = -2*g. Suppose -a - a - 12 = g. Is a/8 + (-79)/(-4) a multiple of 19?
True
Suppose -4*u + u - 87 = 0. Does 5 divide u/(-5) - 1/(-5)?
False
Let c = -6 - -4. Let j = c - -1. Let l = 5 - j. Is l a multiple of 3?
True
Is 23 a factor of (-69)/((-8)/(-4) - 3)?
True
Does 28 divide (448/21)/((-16)/18 + 1)?
False
Let d = 0 - -16. Is 8 a factor of d?
True
Let w(q) = q - 4. Let a be w(4). Suppose 16 = -a*m + m. Does 8 divide m?
True
Let a(j) = -2*j - 2. Let v be a(-2). Suppose 66 = v*b - 62. Let d = 100 - b. Does 15 divide d?
False
Is 9 a factor of (4 - -14) + (3 - 4)?
False
Suppose 5*s + 4*k + 59 = 0, 23 = -s + k + k. Let y be ((-216)/s - 0)*-5. Is ((-6)/(-8))/((-3)/y) a multiple of 10?
False
Suppose 3 = 5*c - 17, 2*a - 3*c = 136. Is 37 a factor of a?
True
Suppose 61 = 2*w - 107. Is w a multiple of 28?
True
Suppose -6*r + 2*r - 3*w = -15, 10 = -5*r + 2*w. Let n be (r - -1) + -1 + 64. Suppose -4*f + n = -32. Is 11 a factor of f?
False
Suppose 3*h - 29 = 5*y, -10 = -h + 5*y + 3. Is h a multiple of 6?
False
Let m(b) = -b - 4. Let j be (-6)/3 + 4/(-2). Let u be m(j). Suppose u*c - c = -6. Does 4 divide c?
False
Let r(c) = -5*c**3 - 5*c**2 - 3*c - 4. Is 19 a factor of r(-3)?
True
Let j(y) = 6*y**2 - 11*y - 6*y**2 - y**2 + 4 + 2*y**2. Let z be j(11). Suppose -o + 2 = -z*r, -7*o + 2*o = 5*r - 135. Is 11 a factor of o?
True
Suppose -5*i + 3 = -m - 2*i, 5*m = 4*i + 18. Does 2 divide m?
True
Let b(m) = m**3 + 6*m**2 - 8*m + 8. Let d(n) = -n**3 - 7*n**2 + 2*n + 7. Let w = -11 - -4. Let g be d(w). Is b(g) a multiple of 15?
True
Suppose -2*i = q + 7, -q + 5*i = q + 41. Suppose v + 2*x + 22 = 0, 4*v - x + 124 = -0*v. Let k = q - v. Is k a multiple of 17?
True
Let b(a) = 2*a**2 + 4*a - 4. Let c = 5 - 2. Does 13 divide b(c)?
True
Suppose 2*h = -2, -5*b + b + 20 = 4*h. Let n = b + -9. Is 3 a factor of (-1)/n - 34/(-6)?
True
Suppose 58 + 52 = 2*j. Suppose 2*a - 51 - j = 0. Is a a multiple of 25?
False
Suppose -78 = -5*p - 13. Let c(v) = -6*v - v**3 + 2*v**3 - 5*v**2 + p*v - 5. Is c(5) a multiple of 15?
True
Let n(m) = 4*m**3 - 3*m + 5. Does 18 divide n(3)?
False
Suppose 2*s = -5*o + 27, -3*o + 16 = -s + 2. Suppose s = -0*d - d. Does 3 divide (d + -3 + -1)/(-1)?
False
Suppose -4*b + 4*q + 25 - 1 = 0, 4*b + q - 14 = 0. Suppose 0 = -b*o + 4*y - y + 19, 4*o - 15 = -y. Suppose 3*z - o*z + 26 = 0. Is z a multiple of 13?
True
Let m = 63 - -27. Suppose -m = -r - r. Is 13 a factor of r?
False
Let f = -9 - -87. Is 13 a factor of f?
True
Let i be (-146)/(-3)*12/8. Let q(c) = 26*c - 5. Let v be q(2). Suppose -v - i = -3*u. Is u a multiple of 16?
False
Let t = -19 + 74. Is t a multiple of 7?
False
Is (65/15)/(1/15) a multiple of 38?
False
Suppose 42 - 12 = -5*h. Let c = h + 6. Suppose -f + 97 = 5*i - c*f, f + 3 = 0. Is 10 a factor of i?
True
Let o = -22 + 25. Is 3 a factor of o?
True
Let n be ((-1 - 0) + -484)*-1. Suppose -2*h = -7*h + n. Is h a multiple of 32?
False
Suppose 3*k = -k + 16. Let f(a) = -a. Let l be f(-5). Suppose 0 = l*r + 15, 0 = 4*t + 4*r - k. Does 3 divide t?
False
Let j(g) = 7*g - 2. Let n be 6/2 - (-5 + 5). Is 19 a factor of j(n)?
True
Let i(l) = -2*l - 5*l + 0 + 3 + 1. Does 9 divide i(-4)?
False
Let r(n) = 20 + 6 - n**2 - 7 + 5. Let h(v) = -v + 2. Let i be h(2). Is r(i) a multiple of 10?
False
Let p(u) be the first derivative of 25*u**2/2 + 3*u - 2. Let c be p(3). Suppose -2*a + 59 = 2*w + 9, 5*w + c = 2*a. Is a a multiple of 11?
False
Let i be 2*(-1 - (-51)/(-6)). Let j be (-5 + 8)/((-1)/i). Suppose -j = -2*f - 2*l + 11, 4*l = 2*f - 44. Does 15 divide f?
True
Let c = 179 - 71. Does 12 divide c?
True
Let f(b) = 7*b - 1 + 5*b + 0 - b**2. Let m be f(12). Is 13 - m/((-1)/(-2)) a multiple of 15?
True
Let f(w) = 75*w**3 + 2*w**2 - 1. Is f(1) a multiple of 19?
True
Suppose -4*n - 5 = -21. Suppose -k + 8 = -n. Does 8 divide k?
False
Let g be (10/(-6) - -1)*-6. Suppose -2*i = 4*s - 0*s - g, -11 = 2*i - s. Let j(l) = l**2 - 2*l - 6. Is 14 a factor of j(i)?
False
Suppose 90 = 2*q - 116. Does 18 divide q?
False
Let v(x) be the third derivative of x**5/30 + 19*x**4/24 - x**3/3 - 3*x**2. Is 30 a factor of v(-13)?
False
Let y(t) = -t**2 + 7*t - 6. Let q be y(6). Suppose q = 3*k - 20 - 43. Suppose c - k - 13 = 0. Is c a multiple of 17?
True
Let c = -33 - -57. Is 6 a factor of c?
True
Let g(h) = h**2 - 4*h + 4. Let r be g(3). Is 26 a factor of r - (1/(-1) - 76)?
True
Let y be -2*5*3/(-6). Suppose -3*f - 4 = -y*f. Is f even?
True
Let c be 306/15*(-5)/(-1). Let s = -70 + c. Is s a multiple of 5?
False
Let p(u) = -u**3 + 6*u**2 - 6*u. Let h be p(5). Is