 c = 41 + -33. Is 8 a factor of c?
True
Suppose -3*m + 4*m - 3*b = -6, b + 11 = -4*m. Is 2 a factor of 0/3 - m - 1?
True
Let s = -8 - -11. Does 9 divide (-2)/s - 232/(-6)?
False
Suppose -4*f = -8 - 4. Suppose -n + f*y + 10 = -y, 4*y = -4*n + 100. Is n a multiple of 8?
False
Suppose -2*t - a + 53 = 0, -t - a + 34 = -2*a. Is 7 a factor of t?
False
Let y(c) = 15*c. Is 5 a factor of y(2)?
True
Let w(s) = -s**3 - 10*s**2 - 8*s + 9. Let u(v) = -v**2 - 3*v - 5. Let y be u(-4). Let k be w(y). Suppose k*p - p + 38 = 0. Is p a multiple of 11?
False
Suppose -2*d - 8 = -0. Let g = 6 + d. Is 14 + (4 + -1 - g) a multiple of 6?
False
Suppose 2*t + 0*t + 218 = 2*r, -2*t = -r + 108. Does 22 divide r?
True
Let v be -1*2 - (-2 + 0). Suppose v*h + h = 0. Suppose h = u + u - 12. Does 3 divide u?
True
Suppose -19 = -3*r - 5*a + 474, 3*a - 328 = -2*r. Is 7 a factor of r?
True
Let y(f) = -5*f**2 + 13*f - 6. Let b(q) = 4*q**2 - 13*q + 6. Let d(h) = -4*b(h) - 3*y(h). Is d(10) a multiple of 12?
True
Suppose -h = -4*h - 6. Is 9 a factor of 620/35 + h/(-7)?
True
Is 3 a factor of 3 + (-4)/3*9/(-4)?
True
Let s = -104 + 62. Is 13 a factor of (-7 - -6) + (1 - s)?
False
Let c = 45 + -24. Is 6 a factor of c?
False
Suppose 24 = -4*h - x, 3*x + 0*x - 12 = 0. Let m = h - -5. Is m/4 + 57/2 a multiple of 10?
False
Let p(s) = s - 4. Let v be p(-4). Let m(b) = 2*b**2 + 16*b - 4. Let u(a) = -2*a**2 - 17*a + 5. Let i(q) = 5*m(q) + 4*u(q). Is 16 a factor of i(v)?
True
Let g(c) = -11*c + 8. Let d be g(7). Let t = -33 - d. Suppose -t - 29 = -5*p. Is p a multiple of 13?
True
Suppose -4*s = -2*d - 0*d - 24, -2*d = -4. Is 3 a factor of s?
False
Let l = -21 + 21. Suppose l = x - 15 + 2. Is x a multiple of 10?
False
Suppose -l + 110 = -4*d, -86 = 2*d + d + l. Let u = -14 - d. Is 7 a factor of u?
True
Let c = 4 - 2. Suppose 14 = -3*g + c. Does 20 divide 18 + 3/((-6)/g)?
True
Suppose -3*d + 4*d - 38 = 0. Let o = -14 + d. Does 12 divide o?
True
Let k(x) = -x + 41. Does 5 divide k(-19)?
True
Let o(b) = 43*b**2 - 1. Is o(-1) a multiple of 21?
True
Let v be 2 + (2 - -9) - -2. Let l be 1/(v/12 + -1). Suppose -s = -5*b - 2 - 9, -l*b + 11 = s. Does 10 divide s?
False
Suppose 0 = 3*j - 6 - 6. Suppose 5*y + 211 = f - j*f, -y - 49 = 4*f. Is 18 a factor of (-4)/(-6)*-3 - y?
False
Let a(q) = 5*q**2 - 2*q + 2. Let m(o) = -4*o**2 + 2*o - 3. Let v(p) = 5*a(p) + 6*m(p). Is v(-6) a multiple of 16?
True
Suppose -4*n + 9*n - 15 = 0. Is 20 a factor of ((-8)/n)/((-1)/30)?
True
Let k(n) = n + 1. Let i(f) = 12*f + 6. Suppose 0 = -2*h - 3*h - 10, 0 = -2*d - h - 4. Let o(v) = d*i(v) + 2*k(v). Is o(-4) a multiple of 12?
True
Let n = -10 + 15. Suppose r + 111 = 3*m - 2*r, -205 = -n*m + r. Is m a multiple of 21?
True
Let g(h) = h**3 + 8*h**2 + 6*h + 1. Let w be g(-7). Suppose 5*j = 3*j + w. Does 4 divide j?
True
Suppose p - 2*n = 48, 3*p + 2*n - 116 = n. Is 25 a factor of p?
False
Let f(c) = c**2 - 3*c - 13. Is f(-8) a multiple of 25?
True
Let g(z) = 3*z**3 + z**2 - 5*z - 6. Is g(3) a multiple of 23?
True
Suppose -10 = -b + 5*o - o, -2*b + 28 = -4*o. Let h be 10/(39/b + -2). Suppose 5*z = 65 + h. Is z a multiple of 11?
False
Let c = 16 - 13. Does 16 divide (-33)/(-2) + c/(-6)?
True
Suppose 0*k - 20 = 3*k - 4*n, -4*k - 24 = -4*n. Is 4 a factor of 68/6 + k/(-6)?
True
Suppose -5*x + 17 = -4*x + 2*a, 4*x - 58 = -3*a. Suppose 0 = -4*n + x - 1. Suppose -n*z + 37 = -2. Is z a multiple of 13?
True
Suppose -5*w + 3*t + 385 = -t, 0 = 5*w - 5*t - 390. Is w a multiple of 15?
False
Let w(s) = 4*s**2 - 2*s + 1. Let v be w(1). Let z(q) = q**3 - 5*q**2 + 3*q - 1. Let k be z(v). Let b = k - -34. Is 15 a factor of b?
False
Let c = 4 + -4. Suppose c = -0*y - 3*y + 54. Is 9 a factor of y?
True
Let f(d) = d**2 - 4*d. Is f(5) a multiple of 2?
False
Suppose -q = 2*q. Suppose q = -2*i - 2*i + 116. Is 8 a factor of i?
False
Let i = -86 + 155. Is 25 a factor of i?
False
Let l(f) = -f - 23. Let c be l(0). Suppose 6 + 6 = -4*v. Is 16 a factor of 6*v/6 - c?
False
Suppose 5*r = 26 - 1. Is r a multiple of 5?
True
Let s be 4/8*(6 - -2). Suppose t - 108 = s*t. Let a = t - -68. Does 16 divide a?
True
Let p(l) = 22*l**2 + l + 21. Does 18 divide p(-3)?
True
Let r(p) = -p + 28. Let k(s) = -3*s + 55. Let d(x) = -3*k(x) + 5*r(x). Is 5 a factor of d(10)?
True
Let i(a) = -a + 4. Let k be i(4). Let h = 40 - k. Is 11 a factor of h?
False
Suppose 22 + 17 = 3*n. Is n a multiple of 5?
False
Suppose -y + 6 - 1 = 0. Suppose 30 + 5 = -y*j. Let i = -3 - j. Does 4 divide i?
True
Suppose 2 = -4*d + 14. Suppose 0 = b + 4 + 1, -5*p - 525 = d*b. Is p/(-4)*16/12 a multiple of 17?
True
Let z(j) = j**2 + 2*j - 2. Let x(p) = -p + 5. Let a be x(-4). Let o = 4 - a. Does 12 divide z(o)?
False
Suppose -5*h + 2*k + 0 - 3 = 0, -2*h = 3*k - 14. Let j(t) = 12*t**2. Is 3 a factor of j(h)?
True
Let r(c) = -2*c + 7*c**3 - 10*c**3 - 1 - 28*c**3. Let w(b) = b - 6. Let a be w(5). Does 16 divide r(a)?
True
Let b(i) = -10*i - 7. Let c be b(-5). Let n = c - -3. Is n a multiple of 9?
False
Let z(b) be the third derivative of 1/60*b**6 + 0 - 3*b**2 + 1/3*b**3 + 0*b - 1/24*b**4 - 1/60*b**5. Is z(2) a multiple of 7?
False
Suppose -7*b + 28 = -5*b. Is b a multiple of 7?
True
Let b = 0 + 0. Let i be -3 - -4 - (b + -1). Suppose a + i*m - 180 = -4*a, m = 3*a - 119. Is 17 a factor of a?
False
Let m(j) be the first derivative of j**3/3 - 7*j**2 + 6*j - 4. Is 16 a factor of m(15)?
False
Suppose 5*o - 2*l - 10 = 0, -2*o + 4*l = 2*o + 4. Let b be o/(-10)*(-10)/(-2). Does 13 divide (-166)/(-10) + b/(-5)?
False
Let f = -4 - -6. Suppose f*m + 3*s = -3*m + 176, -2*m + 3*s = -83. Is 8 a factor of m?
False
Suppose -20 = 3*r - 113. Does 12 divide r?
False
Let x be 9/(-4) + 2/8. Let r be -1 - -3 - (x + -2). Let w(h) = 5*h. Does 13 divide w(r)?
False
Let i be (-462)/4*(-4)/6. Let y = i - 49. Is 16 a factor of y?
False
Let c(v) = v**2 + 4*v - 6. Let u be c(-6). Suppose -t - 3*l = -2*t + 2, u = 2*l. Is t a multiple of 11?
True
Suppose -x + m = 22, 5*x + 60 = -2*m - 64. Does 10 divide (-4)/x + (-59)/(-6)?
True
Let z(i) = -18*i + 12. Is 28 a factor of z(-4)?
True
Suppose 0 = 4*p + 3*b - 71, -75 + 27 = -3*p - 4*b. Suppose -2*i - 4 + p = 0. Is 15 a factor of -2 - (-4)/(i/66)?
False
Let r(t) = 9*t + 13. Is 4 a factor of r(4)?
False
Suppose -2*r + 0*r = -10. Suppose g - 10 = r*b, 4*b + 38 = 3*g - g. Let i = g - 11. Is 14 a factor of i?
True
Let n = 51 - 21. Is n a multiple of 15?
True
Let d(c) = 32*c + 2. Let m be ((-2)/5)/(6/(-15)). Does 10 divide d(m)?
False
Let z(c) = 1. Let s(x) = -6*x + 8. Let a(v) = s(v) - 2*z(v). Does 12 divide a(-7)?
True
Let a(r) = -r + 9. Let j be a(5). Suppose -20 = -j*x + 4*s, s - 5*s - 21 = -5*x. Does 7 divide 1*(13 - 0)/x?
False
Let s be (-254)/(-9) + 2/(-9). Let z = -24 - -27. Suppose -5*b - z = -s. Is b a multiple of 2?
False
Is (-4)/((-4)/27)*1 a multiple of 15?
False
Let l be 6/(-9) - (-16)/(-3). Let u = 89 - 64. Is 17 a factor of u + l/3 + 3?
False
Let m = -55 + 322. Does 41 divide m?
False
Suppose 6*r - 2*r = 0. Suppose r = -5*j + 16 + 44. Does 6 divide j?
True
Suppose 3*n - 1 = w, 0*n = 4*n + w + 1. Suppose 30 = -n*u + 3*u. Let a = -2 + u. Does 5 divide a?
False
Let m be (-1*5)/(15/(-6)). Suppose -m*p - 3*p = -2*f + 41, 0 = 4*f + 2*p - 22. Is f a multiple of 4?
True
Let g(z) = 5*z - 17. Let w(i) = i**3 + 9*i**2 - 2*i - 5. Let c be w(-9). Is 24 a factor of g(c)?
True
Is 5 a factor of (0 + -1)/(2 - 41/20)?
True
Suppose 3*b - 2*z - 247 = 8*b, -b = -5*z + 44. Let f = -26 - b. Does 9 divide f?
False
Let i be (5/3)/(1/(-3)). Is 16 a factor of 1/(((-5)/16)/i)?
True
Let f(h) = h**2 - 2*h + 22. Is 12 a factor of f(15)?
False
Let k(g) = g**3 + 7*g**2 - 5*g + 9. Does 22 divide k(-7)?
True
Suppose -28 = -8*q + 4. Suppose -4*k - 10 = -9*k. Suppose -56 = -q*n + k*n. Is 15 a factor of n?
False
Suppose 0 = -x + 5*s + 27, -4*s - 7 + 27 = 0. Is 26 a factor of x?
True
Suppose 4*c = 3*c - 2*q - 10, 0 = -5*c - 4*q - 20. Does 17 divide 83 - c*4/8?
False
Let w(k) be the third derivative of 1/12*k**4 + 2/15*k**5 - 1/120*k**6 - 2*k**2 + 0*k + 0 + 4/3*k**3. Does 19 divide w(8)?
False
Suppose -2*p + 7*p - 2 = -3*a, 4*p - 5*a - 9 = 0. Is p + (-1 + 2)*33 a multiple of 17?
True
Suppose -3*q + 261 = 3*t, -2*q + t = -5*q + 265. Is 15 a factor of q?
False
Let b = 26 - -45. Does 5 divide b?
False
Does 23 divide ((-207)