82 = -5*d. Is 15 a factor of v?
False
Suppose 0*w - 5*w + 4*p + 51 = 0, -p = 4. Suppose -2*b + w = -99. Does 21 divide b?
False
Suppose 4*r + 50 - 494 = 0. Suppose 0 = 3*a - 5*b - r, 4*a - 2*b = -3*b + 171. Does 19 divide a?
False
Suppose 4 - 28 = -2*g. Is 6 a factor of g?
True
Let j be 18/2*(-2 + 1). Suppose 2*v + 2 = -0*v, 5*v + 27 = -a. Let r = j - a. Is 13 a factor of r?
True
Let g(j) = 2*j - 4. Let p(v) = v**2 + 3. Let n be p(5). Suppose -n = -5*q + 12. Is 12 a factor of g(q)?
True
Suppose 3*h = 187 - 58. Let f = h - 1. Does 14 divide f?
True
Let i be (4 - 4)/(-2 - -3). Let d(l) = -l - 24. Let g(a) = 5*a + 121. Let o(w) = -11*d(w) - 2*g(w). Does 11 divide o(i)?
True
Let u(w) = -w**2 - 7*w - 1. Let c be u(-6). Suppose 4*t = -3*b + 39, -4*t - c*b - 12 = -61. Does 6 divide t?
True
Suppose -17*z - 182 = -19*z. Is 11 a factor of z?
False
Suppose 4*a = -2*a + 144. Does 8 divide a?
True
Let v(n) = n**3 - 1. Let m be v(0). Let y = 5 + m. Is 2 a factor of y?
True
Let c(x) = -10*x - 2. Let g(w) = 20*w + 3. Let d(k) = 7*c(k) + 4*g(k). Is 12 a factor of d(3)?
False
Let h(k) = -14*k**3 + 2*k**2 + 2*k. Let a be h(2). Let l = -60 - a. Suppose 2*d = 6*d - l. Is d a multiple of 7?
False
Let x(y) = -4*y. Suppose 5*i - 18 + 78 = 0. Let d be i/10*25/5. Does 24 divide x(d)?
True
Is 4/14 - 3105/(-35) a multiple of 29?
False
Suppose 0 = i - 26 + 6. Is 20 a factor of i?
True
Suppose -2*n = -6*n + 136. Is 9 a factor of n?
False
Suppose 176 = -2*q + 6*q. Suppose q = c + c. Is c a multiple of 12?
False
Let y(h) be the third derivative of h**5/60 + h**4/6 - 2*h**3/3 + 3*h**2. Is 15 a factor of y(5)?
False
Suppose -3*u + 3*v + 57 + 57 = 0, 0 = 3*u + v - 98. Let t = -14 + u. Does 20 divide t?
True
Suppose o - 3*o + 6 = 0. Suppose 28 + 5 = o*n. Is 11 a factor of n?
True
Let h be -6 + -1 + 1 + 1. Let t(i) = i**2 + 5*i + 4. Let z be t(h). Suppose -51 = -z*a - 0*y - y, 44 = 3*a - 5*y. Is 13 a factor of a?
True
Let o = -61 + 121. Is o a multiple of 15?
True
Suppose -y - 11 = -2*y. Is y a multiple of 3?
False
Suppose -2*j + 231 = -5*b - 63, b - 789 = -5*j. Is j a multiple of 37?
False
Let l be 3/(-2) + 5/2. Let k = 48 + l. Suppose -3*p + 5*t + k = 0, -5*p = -5*t - 28 - 57. Does 6 divide p?
True
Let b(d) be the second derivative of -d**4/3 + 2*d**3/3 - 2*d. Let u be b(3). Does 10 divide (0 - (-2)/(-2))*u?
False
Does 11 divide (125/(-2))/(5/(-10))?
False
Does 15 divide 9/4*(-720)/(-27)?
True
Let o(r) = -48*r - 3. Let c be o(-2). Suppose 5*n - 2*t = -111, t - 20 = 5*n + c. Is (-2)/(-5) - n/5 a multiple of 2?
False
Let d(c) = -2*c**3 + 4*c**2 + 4*c. Let z be d(-3). Is (z/(-24))/((-1)/8) a multiple of 13?
True
Let n = 15 + 7. Is 22 a factor of n?
True
Suppose 5*y - 16 - 9 = 0. Let h = y - -8. Suppose -j - h = -2*j. Does 13 divide j?
True
Is 6/(-15) + 84/10 a multiple of 2?
True
Does 5 divide 2 + (4 - 24*-1)?
True
Let r(q) = 2*q + 3*q - 4*q**2 + 1 + 4*q - q**3. Is 6 a factor of r(-6)?
False
Let j(u) = -u**2 + 2*u - 3. Let d be j(2). Let s = d - -1. Does 6 divide ((-9)/5)/(s/10)?
False
Suppose 8*v - 288 = 2*v. Is 16 a factor of v?
True
Let g(y) = -y - 1. Let n be g(-4). Suppose 2*i - 4*j - 113 = -n*j, j + 229 = 4*i. Is i a multiple of 17?
False
Let f = -11 + 62. Is 17 a factor of f?
True
Let a = 5 + 38. Is a a multiple of 6?
False
Suppose n = -n + 6. Let s be (5/(-1))/(-10)*(2 - 2). Suppose n*z - 2*z - 6 = s. Is 5 a factor of z?
False
Let q be -2 - -634*(3 + -2). Suppose 2*d + 836 = 2*x + 2*x, d = -3*x + q. Suppose 4*z - x = -5*f, f + 3*f = -8. Is z a multiple of 20?
False
Suppose 4*o + 0*o = -5*k + 145, -5*o - 2*k = -177. Does 8 divide o?
False
Let s = -13 - -20. Does 7 divide s?
True
Suppose -4*n + 215 + 147 = 2*g, n - 2*g - 103 = 0. Is 18 a factor of n?
False
Suppose -9*h + 354 = -258. Is 9 a factor of h?
False
Let z(u) = -7*u + 5. Let q be z(-4). Let x = 116 - q. Let t = x - 57. Does 19 divide t?
False
Let d = -222 + 130. Let i = d + 64. Let y = i - -40. Is y a multiple of 5?
False
Let h = 25 - 67. Let v = 6 - h. Suppose 0*f + 3*f - v = 0. Is f a multiple of 16?
True
Let s be (-1)/3 + 546/18. Suppose -90 + s = -5*n. Does 6 divide n?
True
Suppose -10*c = -15*c + 35. Suppose h - 11 = c. Is 6 a factor of h?
True
Let n = -16 + 32. Is 16 a factor of n?
True
Let q(u) = 2*u**2 + 5*u + 5. Let l be q(-6). Suppose 4*s - l = 97. Does 14 divide s?
False
Let x(s) = 3*s**3 - 5*s**2 - 3*s. Is 10 a factor of x(4)?
True
Let y = 1 - -8. Suppose -4*z + 3*q = -y, 5*z - 5*q - 1 = 14. Suppose 5*m - 35 = -z*m. Does 7 divide m?
True
Let c(q) = 7 - q**3 + 6*q**2 - q - 1 + 0*q**3. Let d be c(6). Let t = 2 - d. Does 2 divide t?
True
Is 7 a factor of (9/(-6))/(2/(-52))?
False
Is 4 a factor of ((-45)/2)/(2/(-4))?
False
Let t be (1 + 0 - 6)*1. Let j(w) = 4*w + 2. Let g be j(t). Let m = -9 - g. Does 4 divide m?
False
Let t(d) = -d**3 + 7*d**2 - 3*d - 5. Let h be t(6). Let j = 25 - h. Is j a multiple of 3?
True
Suppose f - 8 = -2. Does 17 divide (-46)/(-2) - f/3?
False
Let f be 9 + -6 + -1 + 1. Suppose 4*a - a = -5*r + 46, -10 = -a - f*r. Is a a multiple of 8?
False
Let r(o) = -16*o**3 + 2*o**2 + 2*o. Let b be r(3). Does 12 divide b/(-36) + (-2)/(-3)?
True
Let w be (-96)/(-20) + (-4)/(-20). Suppose -2*b - 2*b + w*l + 10 = 0, 5*l - 10 = 0. Does 2 divide b?
False
Let o be 1/2*2 - 2. Let u be 4/10 + (-36)/(-10). Is 2 a factor of u + (0 - (o - -2))?
False
Suppose 3*y = p - 1 - 3, -4*y + 12 = 0. Let l = p - -1. Does 14 divide l?
True
Let i(t) = -t + 2. Let q be i(-6). Let j = q - -5. Is j a multiple of 13?
True
Let y(i) = -4*i**3 - i**2 + 1. Let n(w) = -w**2 - 3*w. Let a be n(-3). Let h = a + -1. Is 2 a factor of y(h)?
True
Let u(j) be the second derivative of -j**5/20 + 2*j**4/3 + j**3/6 - 5*j**2/2 + 2*j. Let h be u(8). Is 6 a factor of 0 + (h - 2) + 5?
True
Suppose 5*x - 285 = 85. Is 37 a factor of x?
True
Let a(q) = q**2 - 8*q + 6. Is a(9) a multiple of 5?
True
Let r(b) = 46*b**2 - 1. Is 15 a factor of r(1)?
True
Let m(z) = -6*z**2 + 2 - 2*z - 4*z + 3*z. Let r be m(-4). Let s = r + 118. Is 13 a factor of s?
False
Let r(k) = -k - 4. Let w be r(0). Let o = -4 - w. Suppose -3*i - h - 2*h + 21 = 0, o = 5*i - h - 23. Does 5 divide i?
True
Let m(k) = -4*k - 3. Let b(f) = f**2 - 6*f - 3. Let p be (-57)/(-9) - 2/6. Let c be b(p). Does 4 divide m(c)?
False
Let c(k) be the first derivative of -3/2*k**2 - 1/4*k**4 - 6*k + 2 - k**3. Does 10 divide c(-4)?
False
Is (1*12/10)/((-9)/(-150)) a multiple of 5?
True
Let g(l) = l + 5. Let q be g(-5). Let b be 1 + -3 + 1 - q. Is ((-2)/(-2))/(b/(-13)) a multiple of 7?
False
Let h be (-2)/(-7) + (-32)/14. Does 19 divide 5*(28/5 - h)?
True
Suppose -3*g + 36 + 54 = 0. Let o be 5/(-1)*(-24)/g. Suppose -3*b = -o*u + 3 + 10, 22 = 5*u + 2*b. Is u a multiple of 2?
True
Let d be (6/(-2))/(2 + -1). Does 5 divide (1 - 4 - -28) + d?
False
Does 4 divide -2*(-11)/6*3?
False
Suppose -3*h + 41 = -7*h - 5*c, -4*h - 4*c - 36 = 0. Let q = -58 - -54. Does 11 divide h/8 - 150/q?
False
Let u be ((-4)/6)/((-10)/195). Suppose -4*w = -3*d - 24 + 1, w + 3*d = -u. Suppose v = -w*v + 33. Is 11 a factor of v?
True
Let q(n) = -5*n + 1. Let c = -5 - -3. Is q(c) a multiple of 10?
False
Suppose 0 = -n - 0*n - 7. Does 14 divide 2/n - 594/(-21)?
True
Let q be 148/12 + (-8)/(-12). Let s = -2 + 1. Let a = q + s. Is a a multiple of 6?
True
Let n(h) = -h + 7. Does 6 divide n(-7)?
False
Suppose -3*c + 6*c - 15 = 0. Suppose 0 = -c*n - 4*w + 80, -3*w + 4 = 19. Is 13 a factor of n?
False
Let h(m) = m**3 + m. Let x(i) = -7*i**3 + 9*i**2 - 4*i + 12. Let v(c) = 6*h(c) + x(c). Is v(9) a multiple of 11?
False
Let i(l) = -l**2 + 1. Let k(f) = -4*f**2 + 2*f + 8. Let u(p) = -5*i(p) + k(p). Does 18 divide u(-5)?
True
Suppose 2024 = -7*t + 15*t. Is t a multiple of 11?
True
Let p be ((-6)/(-5))/((-6)/(-20)). Suppose p*s = 1 + 11. Suppose h = -s + 8. Is h even?
False
Let b be (-2)/(-6) + 44/12. Suppose l = b*l. Suppose 5*x + 4*v - 102 = l, -5*x + 2*v + 92 = -x. Is x a multiple of 11?
True
Suppose -t - 156 = -4*t. Is 23 a factor of t?
False
Let x = 61 - 41. Does 10 divide x?
True
Let h(r) = 6*r - 69. Does 45 divide h(19)?
True
Let q = 8 + -4. Suppose 109 = q*p + k, 4*p - 2*k - 60 = 46. Is p a multiple of 27?
True
Is 39 a factor of 392 + 2*(-12)/8?
False
Suppose 7*n - 2*n - 25 = 0. Suppose -k - 69 = -n*m, -3*k = 3*m + 5 - 32. Does 13