 k(l) = 2*l - 12. Let f be k(8). Let b(o) = 4 + 6 + 9*o + 4*o**2 + f - 5*o**2. Is b(10) a multiple of 2?
True
Let f(o) = -12*o - 22. Let u(h) = 12*h + 22. Let c(r) = -6*f(r) - 5*u(r). Is 15 a factor of c(8)?
False
Let r(m) = -2*m**2 - 37*m + 14. Let i be r(-19). Does 27 divide (-733)/i - (-63)/(-105)?
False
Let r = -2 - -7. Suppose -r*p + 3*c + 11 + 16 = 0, -3*p = 2*c - 1. Suppose -p*l + 3*n - 2*n = -134, -5*l - 2*n = -238. Is 16 a factor of l?
False
Let x = 9 + -9. Suppose -3*h = x, 4*h - 61 = -3*w - 19. Does 14 divide w?
True
Let j(y) = 63*y**2 - 6 + 2*y - 8 + 5*y + 10. Is j(1) a multiple of 14?
False
Let z(j) = 65*j**2 - 3*j - 1. Suppose 4*n - 10 = -14. Is z(n) a multiple of 26?
False
Let n(m) be the third derivative of 0 + 41/30*m**5 + 0*m**3 + 0*m + 1/24*m**4 + 4*m**2. Is 35 a factor of n(1)?
False
Let i be (2 - 4)/(1/(-16)). Let h = i - -112. Is h a multiple of 9?
True
Let b = -79 + 75. Is (b/(-12) - 5)*-39 a multiple of 15?
False
Suppose 0 = -23*y + 26*y - 15. Let l be (0 - (1 - y)) + 27. Suppose -3*m + 7 = d - 7, -5*d = 2*m - l. Is d even?
False
Let c(t) = 14*t - 1. Let s be c(1). Let k(q) = 17*q + 1. Let x be k(s). Suppose 4*a - 18 = x. Does 23 divide a?
False
Let f(c) = 2*c**2 + 5*c - 15. Suppose 4*u - 3*u + 7 = 0. Does 12 divide f(u)?
True
Suppose 10*a - 1207 - 1433 = 0. Is a a multiple of 3?
True
Let m = -40 - -44. Let x(p) = 14*p + 11. Is x(m) a multiple of 12?
False
Let n(m) = m**2 - 2*m - 4. Let x be n(4). Suppose -199 = -x*j + 1033. Is j a multiple of 11?
True
Suppose 0 = -103*r + 7924 + 12367. Does 3 divide r?
False
Let o be (-4)/10 - (-17)/5. Let h(r) be the third derivative of r**4/4 - r**3/3 + 6*r**2. Is 8 a factor of h(o)?
True
Suppose -3*d + 7224 = 3*u, 47*u - 52*u = 5. Is 33 a factor of d?
True
Let k = 198 + -66. Suppose -2*y + k = 3*y + f, -y - f = -24. Is 9 a factor of y?
True
Suppose 0 = -c - 4*c + 3*b - 1026, 5*b + 843 = -4*c. Is (-4)/((-4)/3)*c/(-9) a multiple of 15?
False
Let b(f) be the first derivative of f**4/4 + 10*f**3/3 - 7*f**2 + 3*f - 2. Is 9 a factor of b(-11)?
True
Suppose -k + 0*p - 2*p + 279 = 0, 5*p + 279 = k. Is 9 a factor of k?
True
Suppose 2*t + 4*y = 294, -2*y + 131 + 330 = 3*t. Suppose 9*s = 95 + t. Does 7 divide s?
True
Suppose 3*h = 2*z + 150, -5*z + 29 + 148 = 4*h. Does 19 divide h?
False
Let q(o) = -4*o**3 - 5*o**2 + o - 4. Let h be q(-4). Let t be (6 + 184/(-28))*-7. Suppose t*z - h = z. Does 14 divide z?
True
Suppose 4*k - 484 = -2*h, -2*h - h - k + 746 = 0. Suppose -x = 4*z - 5*x - 328, 3*z = x + h. Is 21 a factor of z?
True
Suppose 3 = j - 0. Let a(m) = 2*m**2 + 2*m**2 + 0*m**2 - 3 + 2*m. Does 13 divide a(j)?
True
Suppose s + 4*f - 195 = -4*s, -3*s + 110 = f. Let v = s - 28. Is 3 a factor of v?
False
Let h be -1382*(-20)/48 - (-2)/12. Suppose 9*a = -9*a + h. Is a a multiple of 3?
False
Let l = 16 - 15. Is 7 a factor of (63/(-84))/(l/(-48))?
False
Suppose 0 = -2*v + 56*r - 61*r + 2283, -4*r - 5658 = -5*v. Is 14 a factor of v?
True
Let o be (-8)/(-2) - (1 + 0). Suppose 0*t - t - f - 7 = 0, -t - 13 = o*f. Is 11 a factor of t + 1 - (-34 - 6)?
False
Let g = 648 - 151. Does 28 divide g?
False
Let p be (((-50)/(-6))/(-5))/((-1)/30). Suppose 225 = -45*m + p*m. Does 11 divide m?
False
Let i(h) = -6*h**3 + 4*h**2 - 3*h - 6. Let o(s) = s**3 + s + 1. Let f(v) = -i(v) - 5*o(v). Is f(5) a multiple of 6?
False
Does 8 divide -1*(-16)/(-6)*(-15417)/18?
False
Let p(x) = -x**3 - 11*x - 5. Let k be p(-6). Let s = -162 + k. Is s a multiple of 15?
False
Suppose 6*x = -3 - 21. Let o be (5 + x)*3*1. Suppose 0*l = o*l - 93. Does 14 divide l?
False
Let u(i) = -i**2 - 23*i - 6. Suppose 0 = -3*f - 11*f - 196. Is 10 a factor of u(f)?
True
Suppose -283 - 89 = -3*q. Suppose 8 = 6*a - 4*a. Suppose -q = -3*w - 4*m, 88 = a*w - 4*m - 96. Does 22 divide w?
True
Let z = -2 - -3. Let s be (z - 0)*(3 - 4). Is s/1*(-4 + 0) a multiple of 2?
True
Suppose 3*n + 22 = 3*r - 8, 52 = -4*n - 2*r. Let o = 100 + n. Is o a multiple of 10?
False
Let v(z) = z**2 - 6*z + 2. Let u be v(6). Suppose u = f - 10. Suppose -106 = -3*q + m, -2*m - 3*m - f = -q. Is 14 a factor of q?
False
Let c(v) = v**2 + 7*v + 1. Let y be c(-7). Does 13 divide y + (3 + -3 - -22)?
False
Let p(r) be the second derivative of -13/6*r**3 + 0 - r - 1/12*r**4 - 9/2*r**2. Is 12 a factor of p(-8)?
False
Suppose -3*v + 468 + 75 = 0. Does 13 divide v?
False
Suppose 7*r - 12*r - 2*w = -16123, 3223 = r + 2*w. Does 15 divide r?
True
Suppose 2*w + 3*w + 61 = -2*a, 3*w + 45 = -4*a. Let v = 11 + w. Suppose u - 3*u + 40 = v. Is 10 a factor of u?
True
Suppose 0 = -p + 2*a + 1052, -3*p + 3172 = -3*a + 5*a. Is 8 a factor of p?
True
Let c be 285/(-20) + 1/4. Let q = c - -9. Let t(p) = -p**2 - 12*p - 7. Is 17 a factor of t(q)?
False
Suppose 2*m = -2*r + 3020, -5*m = -3*m - r - 3026. Is 108 a factor of m?
True
Let p(k) = 2*k**2 + 19. Let x be 1/2 + (-525)/70. Does 19 divide p(x)?
False
Let g(h) = -176*h - 59. Is 17 a factor of g(-7)?
True
Let j = 2 - -1. Suppose 115 = 5*t + c, -j*t - c = 2*c - 81. Does 11 divide t?
True
Let d(s) = s - 6. Let b be d(10). Let g = b + -1. Is g a multiple of 2?
False
Let y(p) = 26*p**2 - p + 1. Let v(b) = 27*b**2 - 2*b + 2. Let n(k) = -6*v(k) + 7*y(k). Does 12 divide n(3)?
False
Suppose 4*t - 4*h - 1636 = 0, 8*t + 2*h - 2010 = 3*t. Is 33 a factor of t?
False
Let o be 66/(-4)*(-4)/(-6). Let w = -4 - o. Does 2 divide w?
False
Let y = -23 - -27. Suppose -4*q + 116 = 5*n, -y*n + 3*q - 5*q = -94. Does 8 divide n?
True
Let u(a) = 106*a**3 - 2*a**2 + 3*a - 2. Let t be u(1). Suppose -5*b - t = -8*b. Is 10 a factor of b?
False
Suppose 170 = -5*y - 5*a, 3*y = -0*y - 4*a - 102. Let k = 5 - y. Is k a multiple of 13?
True
Let u = 113 + -220. Let h = 219 + u. Is h a multiple of 11?
False
Let g(f) = 7*f**2 - 4*f + 117. Is 16 a factor of g(-11)?
True
Suppose 2*a - a - 3 = 0. Let i = a - -17. Let f = i - 6. Is 14 a factor of f?
True
Is 686/35*(-10005)/(-46) a multiple of 16?
False
Let p(k) = -2*k - 18. Let u be p(-10). Suppose 7*r - 86 = -u. Is (-2)/1 - (-94 + r) a multiple of 16?
True
Suppose 1 = 87*j - 86*j, j - 456 = -5*i. Is 7 a factor of i?
True
Let z(i) = 2*i**3 - 4*i**2 - 7*i + 5. Let k be (-2 + 0)/((-4)/10). Is 24 a factor of z(k)?
True
Let g(o) = -o - 7*o + 1 + 2*o. Does 16 divide g(-6)?
False
Let g be (-1)/4 + (-45)/12. Let o(j) = 53*j - 7. Let i be o(g). Does 16 divide 4 - 7 - i/3?
False
Let h(y) = -3*y - 17. Let d be h(-6). Let p be ((-30)/4)/((-2)/20). Is p*2/5*d a multiple of 15?
True
Let q(d) be the first derivative of -d**4/4 - d**3/3 + d**2/2 + 8*d + 1. Suppose 3*u + 2*o = 0, -2*o = 4*u + 3*o. Does 8 divide q(u)?
True
Let o(m) = -m**3 + m**2 - m + 1. Let b(z) = 7*z**3 + 3*z**2 - 12*z - 14. Let x(v) = -b(v) - 6*o(v). Does 50 divide x(-11)?
False
Let t(k) = 4*k + 8. Let x(p) = -p - 1. Let y(o) = -3*t(o) - 6*x(o). Does 18 divide y(-9)?
True
Suppose -2*y - 1640 = -4802. Is 51 a factor of y?
True
Suppose -5*z - 5*p = 20, z + 2*p = -p - 14. Suppose -5*t - 4*i - z = 0, 3*i = -3*t - i - 7. Is t a multiple of 3?
True
Let n(b) = -b**3 + 7*b**2 - 3*b - 4. Let s be n(6). Let x = -11 + s. Suppose x*a - 28 = a. Does 10 divide a?
False
Let n = -3091 - -4387. Is 60 a factor of n?
False
Let c = -6 - -2. Let w(u) = -18*u - 2. Let a(k) = k. Let i(r) = c*a(r) - w(r). Is i(2) a multiple of 15?
True
Let m(u) = -8*u - 3. Let g be (-10)/(-45) - 25/(-9). Suppose 0 = 2*z + g*b, 5*z + b = z - 10. Is m(z) a multiple of 8?
False
Let l = 22 - -17. Suppose -l = 2*v - 4*v + 3*k, 0 = v + k - 17. Is v a multiple of 15?
False
Let v be 8 - (-2)/(-2)*3. Suppose 3*o = 2*u + 43, v*u + 5 = -o - 9. Does 2 divide o?
False
Suppose 3*a - 127 - 2207 = -3*t, -2*a - t + 1561 = 0. Is a a multiple of 27?
True
Let c(j) = 0 + 2 + 3 - 3*j - 3. Let z be c(2). Is 8 a factor of (-318)/(-18) + z/6?
False
Suppose 4*f + 3*r - 475 = 0, 80 = 4*f - 3*r - 389. Is 4 a factor of f?
False
Suppose -5*o + 7 + 7 = -3*m, m + 4*o = 18. Does 9 divide 117*m/6*3?
True
Suppose 530 = 15*t - 865. Does 13 divide (t + -15)/((-2)/(-8))?
True
Let l = 1512 - 1137. Is 27 a factor of l?
False
Suppose -11 = 2*c - 9, d - 62 = -4*c. Is 53 a factor of d?
False
Let m be 4 - 12 - (12/3)/(-2). Let q(v) = 7*v**2 + 5*v + v**3 + 5 + v + 0*v. Is 5 a factor of q(m)?
True
Suppose 83 = 5*p - 132. Suppose 0 = -2*r - 8, 2*n - 5*r = 15 + p. Let k = 8 + 