k(f) = 3*f - 10. Suppose -n - 24 = -3*x, 2*n + 3 + 5 = x. Is 13 a factor of k(x)?
False
Let o = -4 - -10. Let y be (-3)/o + 1/2. Suppose -5*d + 10 = y, 4*p + d + d - 208 = 0. Is 13 a factor of p?
False
Let x(c) = -21*c - 44. Is x(-7) a multiple of 12?
False
Let n(h) = -h**2 + 2*h + 5. Let l be n(0). Is 8 a factor of 24 - (3 + -1 - l)?
False
Suppose 15 = 3*m - 0. Suppose 25 = m*q + 5*d, -d + 2*d + 7 = 2*q. Suppose q*b + 97 - 277 = 0. Is 17 a factor of b?
False
Let t(c) = -c**2 - 4*c - 1. Let k be t(-3). Suppose 152 = k*w - 98. Suppose -5*n + 105 = v, 5*n + 3*v = -2*v + w. Is n a multiple of 10?
True
Suppose -3*a - 27 = -c, 4*c - 3*a = -4*a + 134. Is c a multiple of 11?
True
Suppose 6*c - 923 = 43. Does 23 divide c?
True
Suppose 0 = -3*b - 1 + 7. Suppose -r = -2*r + b. Is r/6 + (-32)/(-3) a multiple of 11?
True
Let m(v) = 3*v**2 + 1. Let s be m(1). Suppose -19 = s*q + 49. Let c = q + 33. Is 14 a factor of c?
False
Let o(j) = 6 - 2 - j - 3. Let t be o(-5). Suppose r - 2*i - 19 = t, 2*i - 99 = -3*r. Does 12 divide r?
False
Suppose -2*u + 177 - 39 = 0. Is 13 a factor of u?
False
Let w = 105 - 24. Does 21 divide w?
False
Let n = -5 - -6. Suppose 3*l = -3*x + 33, -l + 0 + n = -x. Suppose l*p - 70 = p. Is 7 a factor of p?
True
Let z(g) = -5*g + 7. Is 13 a factor of z(-6)?
False
Let v(x) = x**2 - 3*x - 7. Let r(t) = -t**2 + 4*t + 1. Let o be r(2). Let d be v(o). Is (-1*3)/(d/(-26)) a multiple of 10?
False
Let a(j) = 9 - 2 - j + 0. Let l be a(4). Suppose -l*b = -2*b - 32. Does 16 divide b?
True
Let m = 406 + -128. Is 41 a factor of m?
False
Is 23 + 168 - (-2 + (0 - 2)) a multiple of 39?
True
Let g = 97 + -65. Is 16 a factor of g?
True
Suppose 16 = -t - 6*r + 3*r, 3*t - 2*r = -103. Let h = t - -57. Is h a multiple of 14?
False
Suppose -4*d + 12 = 3*x - x, -4*x = 5*d - 15. Is 3 a factor of d?
True
Let r(d) = -d**3 - 11*d**2 - 2*d - 6. Does 5 divide r(-11)?
False
Suppose -269 = -4*u - 29. Is u a multiple of 12?
True
Let d be 1 + -1 + 6/2. Suppose -d*j = -2*p - 15, -j + 4*j + 2*p - 27 = 0. Is 3 a factor of j?
False
Let z(y) be the third derivative of y**6/36 - y**5/120 + y**4/24 + y**3/2 + y**2. Let t(h) be the first derivative of z(h). Is t(1) a multiple of 3?
False
Does 12 divide 0 + -4 + 73 - -3?
True
Let l = -72 + 88. Is l a multiple of 9?
False
Let x = 19 - 33. Let k be (12/2)/((-21)/x). Suppose -2*m - k*n = -28, 4*n = -m - 4*m + 58. Does 4 divide m?
False
Suppose -2*l + 15 = 1. Suppose -2*x = 4*i - 3 + l, -5*x = -5*i - 65. Is x a multiple of 4?
True
Suppose 3*z = x + 83, -3*x + 1 - 134 = -5*z. Is z a multiple of 10?
False
Suppose -12 = -5*i + 2*i. Suppose 5*d + 35 = 5*w + 5, -i*w - 3*d + 31 = 0. Does 6 divide w?
False
Let p = -39 - -66. Does 9 divide p?
True
Suppose 3*f - 6*l - 87 = -l, 167 = 5*f - l. Is 17 a factor of f?
True
Let c(w) = 0*w**2 + 7 + 3*w - 2*w**2 - w**3 - 2*w**2 + 0*w**3. Does 17 divide c(-5)?
True
Let x = 206 + -94. Does 7 divide x?
True
Let v(g) = 4*g - 24. Is 2 a factor of v(9)?
True
Suppose 0 = -2*c - 0*c. Suppose 0 = -c*y - 2*y + 3*n + 44, -n - 4 = 0. Does 4 divide y?
True
Suppose -3*k = 3*u - 210, -u - 300 = -5*u + k. Does 11 divide u?
False
Let b(n) = -3*n**3 - 2*n**2 + 5*n - 3. Does 30 divide b(-4)?
False
Let y = 74 - -4. Does 15 divide y?
False
Suppose 0 = 5*q + 3 - 18. Suppose -5*b + 106 = -4*s, 0*s - q*s + 47 = 2*b. Does 11 divide b?
True
Suppose -5*j + 10 = 0, 2*b = -2*b + 3*j - 6. Let h(y) = -y**3 - y**2 + 2. Let r be h(b). Does 9 divide r/8 + 214/8?
True
Let c(d) be the first derivative of d**2/2 + 16*d - 3. Is 6 a factor of c(-10)?
True
Let w = 0 - 1. Let s(a) = 24*a**2 - a - 1. Let d be s(w). Suppose -5*z - 2*c + d = -46, z = 4*c - 8. Is z a multiple of 6?
True
Suppose -4*i = -5*q - 61, -4*i - 5*q - 17 = -108. Is 19 a factor of i?
True
Let f = 46 + -33. Let q(u) = -u**3 - 3*u**2 + 5*u - 3. Let h be q(-4). Let p = f - h. Is p a multiple of 9?
False
Let v(n) be the first derivative of 11*n**2 + 2 - 1 + 0*n - n. Is v(1) a multiple of 6?
False
Suppose 2 + 20 = 2*m. Let n(z) = z - 14. Let f be n(m). Does 2 divide -1 + ((-4)/(-2) - f)?
True
Let l = -1 + 1. Suppose c = -3*h + 4 + 13, -h + 5*c - 5 = l. Suppose h*a = 3*x + 94, 4*x = 2*a + 16 - 62. Is a a multiple of 11?
False
Let b = -5 - -11. Is b a multiple of 5?
False
Suppose 0*c = 3*c. Suppose c = 3*d + 43 + 5. Is 9 a factor of d/24*(-150)/4?
False
Suppose -6*h + 3*h = 6. Is h/(-3) + 120/9 a multiple of 4?
False
Let r = 5 - 4. Is 9 a factor of 1 + r*27/3?
False
Suppose 5*q - 13 - 2 = 5*f, 0 = -4*q + 3*f + 7. Let o = 10 - q. Is o a multiple of 12?
True
Let h be 2/(-4*1)*0. Suppose 0 = p - 3, h*p + 2*p - 231 = -5*r. Is 17 a factor of r?
False
Let w(n) = -n**3 - 5*n**2 - 2*n - 4. Let u be w(-5). Suppose -180 = -j + u*j. Is 1/(-1) - j/4 a multiple of 4?
True
Suppose 0 = 3*l - m + 2*m - 401, 0 = 3*l + 4*m - 389. Is 27 a factor of l?
True
Let k be (-22)/4 + (-1)/(-2). Let m be 10/k + 77 + 0. Suppose -6*z + z + m = 0. Is z a multiple of 15?
True
Suppose -3*n + 7*n - 12 = 0. Let c = n - 3. Suppose 4*u + c*u = 40. Does 9 divide u?
False
Let r = 33 + -21. Is r a multiple of 3?
True
Suppose 5*t + 197 = h, -t = 2*h + 3*t - 338. Is h a multiple of 26?
False
Is (-4)/18 + (-2730)/(-135) a multiple of 5?
True
Suppose -162 = -2*l + 2*u, -u + 231 = l + 2*l. Is l a multiple of 26?
True
Is (76/(-12) - -6)*1338/(-2) a multiple of 9?
False
Let s(y) = -18*y - 1. Suppose 3*i - i = -2. Is 3 a factor of s(i)?
False
Let o(y) = y + 2. Let q be o(-2). Suppose 4*a + q = 8. Let d = 32 - a. Does 15 divide d?
True
Suppose -3*l = -5*r - 9 - 17, -5*r - 40 = -5*l. Is l even?
False
Let r(c) = -c**3 - 5*c**2 - 5*c + 1. Let k be r(-4). Suppose -2*u - t - 18 = -4*u, k*u = -4*t + 58. Does 5 divide u?
True
Suppose z = 5*z - 48. Suppose 1 = n - z. Let c = n - -7. Does 9 divide c?
False
Suppose -3*o - 5*k - 32 = 235, 3*o + 267 = 3*k. Let z = -179 + 120. Let a = z - o. Does 12 divide a?
False
Suppose 5*k + 255 - 30 = 0. Suppose -2*q - 195 = -59. Let a = k - q. Is a a multiple of 8?
False
Suppose -7*g = -9*g - 6. Let h(u) = u**2 - 2*u - 3. Does 6 divide h(g)?
True
Let w(g) = g**3 - 2*g**2 + 2*g + 9. Does 7 divide w(0)?
False
Suppose -s + 28 = -5*o, -5*o = s - o + 17. Suppose -4*k = -5*a - 2*k + 1064, -s*a + 630 = 3*k. Is (-2)/(-11) - a/(-44) even?
False
Suppose 3*y + 2 = 4*y. Suppose -y*d + 38 = -d. Is 19 a factor of d?
True
Suppose -4*b - 87 = -3*m + 9, -m = 2*b - 22. Is m a multiple of 15?
False
Let i be 1379/14 - 3/(-2). Suppose -4*c + 4 + i = 0. Is c a multiple of 14?
False
Let l(a) = -a**2 + 4*a - 3. Let n be l(2). Suppose 4 = p - n, 5*p = 2*c - 43. Is 8 a factor of c?
False
Let y = 31 + 2. Let m = -4 + y. Does 24 divide m?
False
Let k(z) = -2*z + 9*z - 1 + 3*z**2 - 2*z**2. Is k(-8) even?
False
Suppose 366 = 3*d + 60. Suppose 4*n = 3*t - d, 0*n = -2*t - n + 79. Is 19 a factor of t?
True
Suppose -7*s + 2*s = 2*r - 101, 4*r - 247 = -s. Is 21 a factor of r?
True
Suppose -2*t + 12 = 4*h + 2*t, 6 = 2*h + t. Suppose 6*z + 84 = 3*n + h*z, 4*n = -5*z + 94. Is 15 a factor of n?
False
Let d = -7 + 17. Let b be 82/6 - 2/(-6). Let l = b + d. Does 12 divide l?
True
Suppose -3*i = 2*p - 69, -2*p + 0*i + 57 = -i. Does 6 divide p?
True
Let h(t) = -13 + 7*t + 0*t**2 + 5 + t**3 - 7*t**2. Let d be h(6). Let y = 7 + d. Is y a multiple of 2?
False
Let n(l) = -8*l - 3. Let h be n(-5). Suppose -3*u - 1 = -h. Is u a multiple of 6?
True
Let f be -1 - 4/(-8)*2. Let k(l) = -3*l**3 + 8*l**2 - 11*l - 80. Let b(r) = r**3 - 3*r**2 + 4*r + 27. Let n(j) = -11*b(j) - 4*k(j). Is 14 a factor of n(f)?
False
Let x(g) = g**3 + 6*g**2 + 7*g + 5. Let a be x(-5). Is a + 6 - (-117)/1 a multiple of 30?
False
Let d(x) = 142*x**2 - 1. Is d(1) a multiple of 15?
False
Let h = 18 + -16. Suppose 2*z - 108 = 4*k, 0 = 2*z + 2*z - k - 202. Suppose -l - 2*l + 4*n + z = 0, -3*l + h*n = -40. Is l a multiple of 10?
True
Let w(n) = n**3 - 2*n**2 - n - 2. Let s be w(3). Suppose s*f + 0*f - 16 = 0. Is 8/f + 1 + 0 a multiple of 3?
True
Let f = 59 - 29. Suppose 2*a - f = -2*p, -a - 70 = -5*a - 2*p. Is a a multiple of 5?
True
Let h = 12 - 46. Suppose -3*v = -0*v + 201. Let l = h - v. Is 11 a factor of l?
True
Suppose -5*t + 2*w + 414 = 0, 5*t - 357 = 3*w + 54. Is t a multiple of 21?
True
Let i(p) = p**2 - 2*p - 1. Let q be i(-1). Suppose -81 = q*d - 5*d. Is 12 a factor o