-41. Is 13 a factor of c?
False
Let f(x) = 4*x**2 + 3*x - 38. Does 15 divide f(-8)?
False
Suppose -3*n = 2*n - 105. Does 7 divide n?
True
Let x be 18 + 1*(3 + -1). Suppose 4*o = 2*o + x. Is o a multiple of 5?
True
Let j = 28 - 32. Let k(y) = 4*y + 2. Let u be k(-6). Let r = j - u. Is r a multiple of 14?
False
Let z(m) = m**3 + 10*m**2 - 10*m + 7. Suppose 4*g + q = -47, -g - 4*q - 56 = 3*g. Let v be z(g). Is 6 a factor of (5/2)/((-1)/v)?
False
Let u = 28 + -12. Suppose -3*c - u = -46. Is c a multiple of 3?
False
Let w be ((2 - 3) + 2)*1. Let q(b) = 42*b**2 + 1. Does 15 divide q(w)?
False
Let f = 15 - 15. Suppose -4*x - 2*y + 116 = 0, -3*y = -4*x - f*x + 106. Does 15 divide x?
False
Let x(v) = -v**3 + 4*v**2 + 4*v + 5. Let j be x(5). Suppose j = 2*g - 3*g. Is 25 a factor of (-4)/((-8)/50) - g?
True
Suppose -q + 20 = -0*q. Is q a multiple of 7?
False
Let y(j) = 2*j**3 - j**2 - 2*j + 1. Let t be y(2). Suppose 0 = -3*w - 0*w + t. Suppose c = -5*k + 23 - 3, 0 = -w*k + 3*c - 6. Is k a multiple of 2?
False
Let s be 1*(-3)/(3/(-2)). Let m be s + 1*6 - 0. Suppose -5*t - 32 - m = -2*y, -y + 3*t = -21. Is 6 a factor of y?
False
Suppose 0 = -5*g - 4*m + 25, 0 = 2*g + 3*m - 3. Does 8 divide ((-22)/(-6) + -1)*g?
True
Let u(i) be the third derivative of 23*i**6/120 + i**5/60 - i**4/24 + i**3/6 - 4*i**2. Is u(1) a multiple of 8?
True
Let r = -90 + 155. Does 5 divide r?
True
Let a(m) = m**3 + 6*m**2 - 3*m + 3. Is a(-5) a multiple of 20?
False
Let c = -11 + 16. Suppose -2*q + 3*f + 44 = 0, -2*q - 3*f - 72 = -c*q. Does 10 divide q?
False
Suppose 3*u - 4*v - 568 = 0, -5*v - 425 - 141 = -3*u. Is u a multiple of 24?
True
Let v(o) be the second derivative of 0*o**4 + 1/20*o**5 + 17/2*o**2 + 3*o + 0 + 0*o**3. Is 6 a factor of v(0)?
False
Suppose 7 = 3*x - 4*u - 4, -5*x = u - 3. Suppose -4*k - x + 9 = 0. Suppose 0 = -5*s + 10, 0 = 3*h - h - k*s - 96. Is h a multiple of 20?
False
Let b be (-971)/(-4) + (-2)/(-8). Is 3 a factor of (-2)/16 - b/(-24)?
False
Let s(t) be the first derivative of t**3 + 5*t**2/2 - 7*t + 1. Let c be s(-5). Let o = c + -16. Is o a multiple of 14?
False
Suppose 4*a = -r + a + 12, -61 = -4*r + a. Is r a multiple of 8?
False
Is 25 a factor of (-1)/5 + (-2529)/(-45)?
False
Suppose p - 3 = -0, -3*p = -3*g - 3. Does 6 divide g*-17*2/(-4)?
False
Suppose 0 = -4*m + 7 + 5. Suppose a + 3*a - m*k = 48, -5*a + 5*k + 55 = 0. Suppose 2*b - a = -b. Is b a multiple of 5?
True
Suppose -4*f = -4*q - 48, f + 2*q - 36 = -3*q. Does 7 divide f?
False
Suppose -4*w + 4*g + 172 = 0, w - 17 = 4*g + 11. Suppose 5*s + w = 2*s. Is 7/((-7)/s) + 0 a multiple of 8?
True
Let y = 6 + -11. Let m = -4 - y. Is m/2 - 81/(-6) a multiple of 7?
True
Let l(p) = p**3 - 4*p**2 + 12. Is l(5) a multiple of 6?
False
Let p be -2 - (1 + -3 + 2). Let k(z) = -z**3 - 5*z**2 + 4*z - 6. Let s be k(-6). Let l = p + s. Does 2 divide l?
True
Suppose -125 = -5*q + 55. Is 24 a factor of q?
False
Is 2 a factor of (1/(-2))/((-2)/44)?
False
Let w = 183 - 26. Does 23 divide w?
False
Suppose 3*t - 120 = -t. Is 15 a factor of t?
True
Let a(g) = 0*g**2 + 0*g**2 + 4*g + g**2 - 1. Is a(-5) a multiple of 3?
False
Suppose -2*s + 8 = 0, 0 = 3*z + z + s - 356. Is 22 a factor of z?
True
Suppose -5*s - 232 - 11 = -4*c, -2*c = -s - 117. Does 19 divide c?
True
Suppose -2*c = -2*k - 3*k - 106, -5*c - 85 = 5*k. Let w be (k/3)/(-4)*-72. Let i = -80 - w. Is 20 a factor of i?
True
Let o = -8 + 17. Let c(k) = k**2 - k - 3. Is c(o) a multiple of 23?
True
Let y be (-2)/(-3) - (-7)/3. Suppose y*t - 15 = -3. Suppose -8 = -t*q + 40. Does 12 divide q?
True
Suppose 5*r - y + 166 = -2*y, 0 = 5*r + 4*y + 169. Let d be (-390)/r + (-4)/(-22). Suppose z - 7 = d. Is 7 a factor of z?
False
Suppose -5*c = 2*v - 55, 4*v - 145 = v + 5*c. Is 20 a factor of v?
True
Let i be 7 + -1*2 - 2. Suppose -5*z - 4*y + 106 = 0, 92 = -i*z + 7*z + 5*y. Suppose -6 + z = t. Does 5 divide t?
False
Let l = 14 - 31. Let i = 0 - l. Does 17 divide i?
True
Suppose -5*a + 0*a - 35 = 0. Let r = 7 + a. Suppose r*l - l = -49. Does 24 divide l?
False
Suppose -v + 89 = 80. Does 3 divide v?
True
Suppose 2*n - 5*c = 235, -4*c + 2*c - 115 = -n. Is 15 a factor of n?
True
Let n be 1*(-30)/(-3) + 4. Suppose 68 - n = 3*i. Is i a multiple of 9?
True
Let z(i) = 2*i + 13. Does 18 divide z(9)?
False
Suppose 11*m - 240 = 6*m. Does 7 divide m?
False
Suppose 7*c = 4*c + 12. Suppose 0*a + 8 = c*a. Suppose 4*q + a*z = z + 167, -3*q = -z - 120. Is q a multiple of 16?
False
Suppose 2*z + 4*k = 3*z + 12, -2*z = -3*k + 9. Suppose -4*l + 21 = o, 3*o + 2*l + 3*l - 49 = z. Is 3 a factor of o?
False
Suppose 0*h = h + 150. Let n = h - -43. Let s = -73 - n. Is 17 a factor of s?
True
Let v(k) = -k**2 - 8*k - 6. Let x be v(-5). Suppose 6*w = x*w. Let u(t) = -t + 6. Does 3 divide u(w)?
True
Let r = -3 - 3. Let j be 0*((-9)/r - 1). Suppose j = -4*w + 21 + 15. Does 9 divide w?
True
Let v(y) = -y**3 + 4*y**2 + 6*y - 3. Let t be v(5). Suppose 0 = t*m - 3*r - 5 - 4, 3*r - 18 = -m. Does 5 divide m?
False
Let y = -377 - -565. Suppose -4*i = -0*i - y. Is 12 a factor of i?
False
Let o(m) = m**3 - 5*m**2 - m + 5. Let b be o(5). Let j(u) = 2*u**2 + u - 10. Let q(f) = -3*f**2 - 2*f + 20. Let h(s) = 5*j(s) + 3*q(s). Is h(b) a multiple of 8?
False
Let q be (-2)/(-2) + -5*11. Let k = -37 - q. Is 8 a factor of k?
False
Suppose 2*w + 28 = 3*c, -5*c + 2 = 4*w - 8. Is c a multiple of 6?
True
Let p(x) = -7*x + x - 1 - 1 - 4. Is 14 a factor of p(-4)?
False
Suppose 71 - 679 = -16*j. Is j a multiple of 19?
True
Suppose 4*f - 2 = 3*o, -4 - 2 = -4*f + o. Let l = -6 + f. Does 7 divide l/6 - (-46)/6?
True
Let c(y) = -y**3 + 9*y**2 - 3. Let g be c(6). Suppose -g = -v - 28. Is v a multiple of 26?
False
Suppose 4 = 2*c, -3*c = -2*t + t + 26. Let h = 66 - t. Let n = h - -6. Is 23 a factor of n?
False
Let b = -6 + 0. Let i = b - -6. Let z(v) = v + 52. Is z(i) a multiple of 15?
False
Let p(l) = 0 + 3 + 4 + l**2 - 11 + 4*l. Is p(-7) a multiple of 17?
True
Let f(l) = -6*l**3 + l**2 - l + 1. Let j be f(1). Let o = 19 + j. Is 7 a factor of o?
True
Let u(a) = 4*a**2 - a - 1. Let k be u(-1). Let n(d) = -k*d - d - d. Does 8 divide n(-3)?
False
Suppose 0 = 2*n + n - 57. Does 7 divide n?
False
Let w(o) = -o**3 + 5*o**2 - 3*o + 2. Let q be w(5). Let f = 20 - 42. Let d = q - f. Is 9 a factor of d?
True
Suppose -25*s = -27*s + 140. Is 10 a factor of s?
True
Let h(v) = 14*v + 3. Let m be h(-3). Let f = 75 + m. Is f a multiple of 18?
True
Let f = -6 - -11. Suppose -f = -2*t + 1. Suppose 12 + 11 = t*x + 2*y, 2 = 2*y. Does 3 divide x?
False
Does 12 divide 67 - 2 - 2 - 3?
True
Let t = -10 - -17. Let s = 8 - t. Suppose -8 = -3*n + s. Is n even?
False
Suppose 4*u = -15 + 119. Is 6 a factor of u?
False
Let g(n) = 3*n - 1. Let k(l) = -l**3 + 7*l**2 - 6*l + 2. Let s be k(6). Let u be g(s). Suppose x - 4*x + u*a = -27, -6 = -2*a. Is x a multiple of 7?
True
Let a = -5 - -6. Suppose -154 = -5*c + a. Let i = 44 - c. Does 10 divide i?
False
Let m be (-3 + 4 - -1) + 0. Suppose g - m = 5. Does 7 divide g?
True
Let n be (0*(-1)/(-3))/(-2). Suppose n = x, -2*l + 4*x = 3*l - 70. Let t = l + 13. Is t a multiple of 10?
False
Is 14 a factor of 6/(-4) - 174/(-4)?
True
Let i = -12 + 26. Does 2 divide i?
True
Suppose -2*g - 5*q = -4*g + 63, -42 = -g - q. Is g a multiple of 10?
False
Suppose 5*n = -2*p + 460, -5*p + 673 = -2*p - n. Is 15 a factor of p?
True
Let g(b) = -11*b + 12. Is 26 a factor of g(-6)?
True
Let n be 766/8 + 1/4. Does 12 divide (2/4)/(4/n)?
True
Let a be (-24)/(-10) - (-4)/(-10). Suppose -44 = a*j - p, -2*j - 3*p = -3*j - 32. Is 9 a factor of (-444)/j - 1/5?
False
Let o(q) = q**3 - 3*q**2 + 4*q - 3. Let w be o(2). Let f(c) = -3*c**2 - 6*c - 3. Let g be f(-5). Is 12 a factor of g/(-2) - -2*w?
False
Let d(s) be the second derivative of s**3/6 - 7*s**2/2 + 3*s. Let k be d(6). Is 1*1/(k/(-9)) a multiple of 9?
True
Let o(f) be the first derivative of -4*f**2 - 2*f - 1. Let d be o(-3). Let u = d - 3. Does 19 divide u?
True
Let y = 68 - 50. Is y a multiple of 18?
True
Suppose -4*v + 11*v - 1008 = 0. Is 18 a factor of v?
True
Suppose -5*j + 0 - 10 = 0. Is 831/27 - j/9 a multiple of 20?
False
Let y(z) = 3*z + 50. Does 8 divide y(5)?
False
Does 6 divide (4 - 45/(-25) - 1)*10?
True
Suppose 2*s - 84 = -32. Is 26 a factor of s?
True
Suppose 0 = -f + 5*f. Let k