 Does 12 divide s(-4)?
False
Let o be 76/(-18) + 8/36. Let k = 8 + o. Suppose 2*m + 2*q = 0, -k*q = 2*m - m + 15. Is m a multiple of 2?
False
Let g(j) = 2*j**2 + 7 + j**3 + 5*j - 4 + 5*j**2. Suppose 34 = -5*f + 4. Is 9 a factor of g(f)?
True
Suppose -n = n - 72. Does 6 divide n?
True
Suppose 0 = x - 0*x - 37. Let p(k) = -1 + 5*k - 6*k + x. Is 10 a factor of p(0)?
False
Suppose -4*x = -2*x - 24. Is 21 a factor of -12*(15/x + -3)?
True
Is 36 a factor of 35/3*(8 - -1)?
False
Let o(w) = -w**2 - 3*w - 1. Let c be o(-5). Does 11 divide (1*c)/(2 - 3)?
True
Let h be (2/(-8))/((-4)/48). Suppose 2*w - 650 = -3*w - 4*o, 390 = h*w - 4*o. Is w a multiple of 31?
False
Suppose 5 = -d + 6*d. Let z = d + 4. Is z a multiple of 4?
False
Suppose 1 = 2*w - 15. Does 4 divide w?
True
Let w = 5 - 2. Suppose -w*u = 4 + 11. Is 24/15 - 2/u a multiple of 2?
True
Suppose -5*v - 40 = 6*d - d, -42 = 4*v - d. Let r(w) = -w**2 - 10*w + 11. Is 11 a factor of r(v)?
True
Let o = 239 - 123. Is 11 a factor of o?
False
Let z be (-571)/3 - 1/(-3). Let j = z + 275. Let g = j - 60. Does 14 divide g?
False
Let q(j) = 3*j - 3. Let k be q(6). Is 7 a factor of -1 + (0 - k)/(-1)?
True
Let q be 20/5*1/2. Let h(g) = 2*g**2 - q + 2 - 2*g. Is 4 a factor of h(2)?
True
Is 13 a factor of (15/6 + -3)/((-3)/786)?
False
Let s(i) = 32*i**3 - 6*i**2 - 2*i - 6. Let c be 12*((-3)/6 + 0). Let w(u) = 32*u**3 - 7*u**2 - 2*u - 7. Let a(r) = c*s(r) + 5*w(r). Is a(-1) a multiple of 16?
True
Suppose -n + 40 = 3*n. Let p = 18 - n. Is 8 a factor of p?
True
Suppose -z - 33 = -196. Is 8 a factor of z?
False
Let q(y) be the third derivative of y**5/60 - y**4/6 - y**3 - 3*y**2. Does 15 divide q(7)?
True
Suppose -d + 310 = 4*d. Let w = d - 37. Suppose 3*a = w + 5. Is 8 a factor of a?
False
Let v be (34 - -2)*4/(-6). Let b(l) = l + 13. Let i be b(-15). Let w = i - v. Is 11 a factor of w?
True
Let g(u) = u**2 - 6*u - 8. Suppose -5*f - 5*q - 29 = -8*f, q - 23 = -3*f. Does 3 divide g(f)?
False
Does 12 divide (2475/18 + 10)/(1/2)?
False
Let x(h) = -2*h - 3. Let k be x(-4). Suppose c + 4*n + 3 = 0, -n - 60 = -k*c + 9. Is 13 a factor of c?
True
Suppose -25 = -4*g - 5. Does 5 divide g?
True
Let h be (-4 - (-5 - -1))/5. Suppose 2*p = 2*y - 30, 4*y = -2*p - 2*p + 20. Suppose h*w = -w + y. Does 9 divide w?
False
Suppose 0*n + n - 2 = 0. Let d be (0 - 1)/(3/(-9)). Suppose 2*q + 11 = n*x - 11, d*x - q - 41 = 0. Is x a multiple of 9?
False
Let n = -19 - -4. Let g = n - -26. Does 10 divide g?
False
Suppose -26 = 2*p - 2. Let l = 19 + p. Does 4 divide l?
False
Let j(d) = -5*d - 4*d - 3*d**2 + 2*d**2 + d - 1. Let u(n) = -7*n**2 - n. Let x be u(-1). Is j(x) a multiple of 11?
True
Let a be 1/(((-9)/15)/(-3)). Suppose 4*k = -a*f, 3*k + f = -2*f + 3. Is k a multiple of 2?
False
Suppose 2*z = -2*v - 0*z + 2, 2*v = z - 1. Let o = v - -2. Suppose 0*y = 2*y - 5*g - 8, 0 = -y - o*g + 13. Does 9 divide y?
True
Let k = -23 + 55. Does 7 divide k?
False
Suppose -3*j = -3*w - 250 + 67, 2*j + 4*w - 104 = 0. Is j a multiple of 29?
True
Does 21 divide (-2 - 25)*(-6 - -5)?
False
Let h = -13 + 29. Suppose -h = 2*x - 90. Does 18 divide x?
False
Does 11 divide 140/7 + 4/(-2)?
False
Suppose -5 = t - 2*t, -t = 2*a - 121. Does 21 divide a?
False
Let t be (-1)/(3/(1*177)). Let l = -34 - t. Does 10 divide l?
False
Let m(l) = -8*l**3 + l**2. Let k be m(-1). Suppose -4*v = -k*v + 10. Suppose v*c + 3*c = 90. Is c a multiple of 9?
True
Let f = -4 + 5. Let k be (-2)/(6/10 - f). Suppose -n + c + 38 = 0, 78 = k*n - 2*c - 112. Is 19 a factor of n?
True
Suppose 2*g - 3*g - o + 10 = 0, 4*o = 2*g - 20. Is 5 a factor of (g/(-10))/(1/(-5))?
True
Suppose -2*b - 2*m + 14 = b, -4*b + 2*m = 0. Suppose 0 = -b*p + 3 + 3. Is (11 - -1)*p/6 a multiple of 4?
False
Let x(j) = -j - 2. Let w be 1 + -2 + -1 + -3. Let s(m) = m**2 + 8*m + 6. Let o be s(w). Is x(o) a multiple of 3?
False
Let o(k) be the second derivative of 0 + 1/6*k**4 - k**3 - 3*k + 2*k**2. Is 13 a factor of o(5)?
False
Let z(v) = 66*v. Is 22 a factor of z(1)?
True
Suppose 42 = -3*n + 48. Let c be (50/(-4))/((-1)/2). Suppose -1 = z - n*b, -2*z + c = 7*b - 2*b. Is z a multiple of 5?
True
Let n(s) = 11*s**2 + 2*s - 2. Is n(-2) a multiple of 21?
False
Let g = 146 - 70. Is g a multiple of 38?
True
Let z = 11 + -9. Let p(h) = 6*h + 2. Is p(z) a multiple of 10?
False
Suppose 7*r - 3*r = -8. Let h(t) = -17*t - 7. Let j(b) = -8*b - 3. Let a(p) = -4*h(p) + 9*j(p). Is 9 a factor of a(r)?
True
Let c be (-1 - 3)*(-2)/4. Suppose -3*j = r - 14, -3*r - 10 = -6*j + c*j. Is j a multiple of 3?
False
Let q(o) = 3*o**2 - 2*o - 11. Is q(-5) a multiple of 19?
False
Let l(t) = t**2 - 10*t + 1. Let q be l(9). Does 15 divide q/(1/(-10)*2)?
False
Suppose 0 = 6*z - 429 + 3. Is 48 a factor of z?
False
Let m = -2 + 1. Let c = 21 - 12. Is 8/(c/(-15) - m) a multiple of 14?
False
Suppose -5*n = 4*z - 222, -z + 2*n + 68 = -3*n. Is z a multiple of 29?
True
Let v be (-122)/(-6) - (-1)/(-3). Let f = v + -4. Suppose -f = -6*t + 2*t, 0 = -5*m - 2*t + 48. Does 4 divide m?
True
Let j(g) = g + 3. Let c be j(7). Does 5 divide (0 - 0/1) + c?
True
Is (-14)/(-4)*1300/91 a multiple of 25?
True
Let g be (132/(-8) + -1)*(-8)/(-5). Let l = 18 + -5. Let j = l - g. Is j a multiple of 11?
False
Let t = 50 - -20. Is 10 a factor of t?
True
Let j(c) = 8*c**2. Let y be j(4). Suppose 3*m - y = -4*s, 0 = 2*m + 2*m - 2*s - 134. Is 13 a factor of m?
False
Suppose 8 = 4*y - 2*y. Suppose -y*d + 6 + 34 = 0. Let n = d + 7. Is 5 a factor of n?
False
Suppose j + 0*j + u - 47 = 0, 4*u = -j + 62. Is 7 a factor of j?
True
Let x = 3 - 0. Suppose x*s + 1 = 10. Suppose -s*v - 54 = -6*v. Does 10 divide v?
False
Suppose -2*t + 2*a = 12, 0*t + a - 9 = 4*t. Let l be (-68)/4*(-1)/t. Let z = 43 + l. Does 10 divide z?
False
Let f = 261 - 96. Is 11 a factor of f/6*4/5?
True
Suppose 0 = 2*l - 4*l. Let n be -3*(-1)/(-9) + 14/6. Suppose n*g - 19 - 9 = l. Does 7 divide g?
True
Suppose 0 = 2*z - 4*z - 12. Let g(k) = 5*k - 2. Let s(a) = a. Let q(l) = -g(l) + 3*s(l). Is q(z) a multiple of 12?
False
Let i(a) be the third derivative of -a**6/120 - a**5/20 + a**4/8 + a**3 + 2*a**2. Is i(-4) a multiple of 8?
False
Suppose 50*l = 51*l - 109. Does 28 divide l?
False
Suppose 5*x + t - 7 = 0, -2*x - 4*t = 3*x - 13. Let d be x*((-90)/2 + -1). Let f = -32 - d. Is 7 a factor of f?
True
Let a be (-3)/(-6)*2 - -11. Suppose -2*q = -3*r + 8*r - a, -4*r + 18 = 3*q. Is q/5*200/15 a multiple of 8?
True
Suppose b - 2*y - 5 = 0, 4*b + 0*y + 4*y + 28 = 0. Let u be (0 - -2) + (-6)/b. Suppose r = -3*m + 22, u*r - 6 = m - 22. Is m a multiple of 8?
True
Suppose -77 = -t + 42. Is t a multiple of 11?
False
Suppose -439 - 41 = -8*z. Is z a multiple of 15?
True
Suppose -2*u - 15 = -7*u. Let h = u + -4. Let y = h - -21. Is 7 a factor of y?
False
Let u be 42 + (-1 - (-1)/(-1)). Suppose 0 = -3*c + 7*c + u. Does 6 divide 2/c - 82/(-10)?
False
Let y = 15 - 11. Let p = -3 + 5. Suppose 71 = 2*l - p*d + d, 0 = -y*d + 4. Does 22 divide l?
False
Let p(g) = -g**3 + 5*g**2 + 10*g - 7. Suppose 5*h - 109 = 5*d - 4*d, -4*d = h - 26. Suppose -z - a = -4*z + 16, 2*z + 5*a = h. Is p(z) a multiple of 17?
True
Suppose 5*g = 2*u + u + 3, 23 = 5*u + g. Suppose 5*y - u*b - 120 = 0, 33 + 15 = 2*y - 4*b. Is 10 a factor of y?
False
Suppose 0*d = 3*d + 3. Is 16 a factor of 6 + 52 + 2 + d?
False
Let b be -1 + 1 + 4 + -2. Is 11 a factor of b*16 + 4 + -6?
False
Suppose -s + 2 = 0, -3*a + 16 - 5 = -2*s. Suppose -5*i = -g - 2*i + 31, 2*g = -a*i + 106. Is g a multiple of 22?
False
Let o be (-6)/(-2) + 76 + -2. Suppose 5*z + 0*y = -2*y + 73, 5*z - o = 2*y. Is 5 a factor of z?
True
Let y = -6 + -24. Let c = -15 - y. Suppose -m + 4*n + 31 = -n, 0 = -5*n - c. Is m a multiple of 8?
True
Suppose j - 3*j = -310. Does 31 divide j?
True
Suppose g + 153 = 4*g. Does 17 divide g?
True
Let a = -36 + 68. Is a a multiple of 32?
True
Let q(w) = w**2 + 4. Let g = 8 - 3. Is 12 a factor of q(g)?
False
Let o = -97 - -145. Suppose 0 = -4*w - 2*j + 30, 4*w - 4*j - o = -0. Suppose 3*z = 3*u + w, 0 = z - 2*u - 0 - 1. Does 5 divide z?
True
Let j be 1 + (-3 - -5) - -5. Suppose -l + 16 = -j. Does 8 divide l?
True
Let g(h) = -h**3 - 6*h**2 - 2*h + 10. Is g(-8) a multiple of 24?
False
Suppose -d - 616 = -2*j, -3*d - 308 = -j + 2*d. Is j a multiple of 11?
True
Is 20 a factor of 2 + -4 + -1 