 h a multiple of 28?
True
Suppose -4*x + a = 18, 5*x + 2*a + 2*a = -33. Let z(j) = 3*j**2 - j**3 - 7*j - 1 - 1 - 9*j**2. Is z(x) a multiple of 8?
True
Suppose -n + 4 = -5*u, 3*u + 15 + 5 = 5*n. Let q(z) = -z**2 - 2*z + 18. Is 17 a factor of q(u)?
False
Let n be -1*-1*(5 + -3). Suppose -n*g = -19 + 1. Is 3 a factor of g?
True
Let x = -104 + 265. Is x a multiple of 25?
False
Let c be 2 - -8 - (0 - 0). Let f = 32 + c. Suppose 4*s - f - 58 = 0. Is 11 a factor of s?
False
Let h(u) be the third derivative of 1/30*u**5 + 0*u - u**2 + 0 + 1/6*u**3 + 17/120*u**6 - 1/12*u**4. Is h(1) a multiple of 9?
True
Let a = -22 - -55. Is 11 a factor of a?
True
Let y(i) = 3*i**2 - 3*i + 2. Does 10 divide y(-2)?
True
Let l(w) = -w**2 + 8*w - 5. Let j be l(6). Let i be (-6)/(-21) - 86/j. Let p = 26 - i. Does 19 divide p?
True
Let u(j) = -j + 8. Let d be u(6). Let n = 5 + d. Suppose n*k - 8*k = -11. Is k a multiple of 3?
False
Does 26 divide -2 + 3 + 5 + 221?
False
Let m(x) = 3*x**2 + 24*x - 1. Is 17 a factor of m(-11)?
False
Suppose 3*v = 2*f - 22 - 54, 5*f = 4*v + 183. Let l = 78 - f. Suppose 3*w + 7 = l. Is 6 a factor of w?
True
Let o = -2 - -1. Let h be o + (8 - 1 - 2). Let k = h + 23. Is 8 a factor of k?
False
Suppose 32*i - 436 = 30*i. Is i a multiple of 37?
False
Let h(q) = 2*q**2 - 5*q + 3. Let p be h(5). Let g(m) = 15*m**2 + m - 1. Let n be g(-2). Suppose -p = -5*u + n. Is u a multiple of 17?
True
Suppose k = -2*v + 23, 12*k = 4*v + 7*k - 25. Is 3 a factor of v?
False
Let w = -23 + 75. Let k = w - 20. Suppose -3*h = -7 - k. Is h a multiple of 13?
True
Let t(b) = -27*b - 1. Is t(-1) a multiple of 13?
True
Let v be (0 + 1/3)*-9. Let s = v + 20. Is s a multiple of 11?
False
Suppose -2*q + 1 = -117. Suppose 0 = 5*z - 0*z + h - q, -22 = -2*z - 2*h. Is 12 a factor of z?
True
Suppose -2*w + 6*w = 276. Is 23 a factor of w?
True
Let k be (-2 + 8)/1 - -3. Let j(d) = d + 9. Does 18 divide j(k)?
True
Suppose 0 = 3*f - 0*r - 5*r - 233, 5*r + 20 = 0. Is f a multiple of 44?
False
Let n(r) be the first derivative of 13*r**6/180 - r**5/60 - r**4/24 - r**3/3 - 1. Let m(l) be the third derivative of n(l). Does 18 divide m(-1)?
False
Let w(v) = 4*v**2 + 3*v + 15. Does 30 divide w(7)?
False
Does 6 divide (24/14)/((-2)/(-21))?
True
Suppose -5*t - 23 = 852. Let b = -103 - t. Does 11 divide b?
False
Suppose 0 = 3*i + i - 2*q - 8, -3*i - 3*q + 24 = 0. Suppose -425 = i*y - 9*y. Suppose -g - w = -17, -7*g + 2*g = -5*w - y. Does 13 divide g?
False
Let b(o) be the first derivative of -5*o**2/2 - 3*o - 1. Suppose 14 = -2*q + 4. Does 11 divide b(q)?
True
Suppose -105 = 2*x + 5*h, x - h - 3*h = -33. Does 13 divide (x/(-3))/((-6)/(-16))?
False
Suppose -5*l = -2*x - 634, -4*l + 570 = x + 55. Is 25 a factor of l?
False
Suppose -r = -4*y + 22, -2*r - 6 = r. Suppose 0*o - 270 = -y*o. Is o a multiple of 14?
False
Let i = -39 + 66. Does 11 divide i?
False
Let u(z) = 3*z - z**3 - 2*z**3 + 2*z**3 + 1 - z. Is 3 a factor of u(-2)?
False
Suppose -212 = -3*i + 4*f, 3*i + 7*f - 221 = 2*f. Is i a multiple of 17?
False
Let v(m) = -m**3 + m**2 - m - 6. Let x be v(0). Let o = x + 9. Suppose 0*b + 96 = 3*b - o*k, 2*b + k = 70. Is b a multiple of 10?
False
Suppose -4 = 4*r - 24. Suppose -s + r*s - 5*w = 40, 5*s - 37 = 3*w. Suppose s*q + 0*v + 3*v - 154 = 0, -q = -4*v - 17. Does 10 divide q?
False
Let h(t) = t - 9. Let i be h(4). Let c(q) = 5*q**2 - 5*q + 2. Let u(l) = 3*l**2 - 2*l + 1. Let r(m) = 4*c(m) - 7*u(m). Is 3 a factor of r(i)?
True
Let x(p) be the third derivative of p**5/60 - p**4/3 + 3*p**3/2 + p**2. Suppose -a + 11 - 2 = 0. Is x(a) a multiple of 9?
True
Let c(v) = 3*v**2 - 22*v + 4. Is 7 a factor of c(9)?
True
Suppose 2*p - 507 = -3*w, 0 = -3*p + 8*p - w - 1225. Does 41 divide p?
True
Let w(h) = -h + 3 + 0 + 7*h. Does 10 divide w(5)?
False
Let t = 4 + 26. Does 6 divide t?
True
Does 13 divide 1581/24 - (-2)/16?
False
Suppose -3*o - 4 = -16. Suppose g = o*q - 2*q + 2, 4*g - q - 8 = 0. Suppose -c - g*c + 144 = 0. Is 17 a factor of c?
False
Suppose 2*l - 4*l - 4 = 0. Let w be (-108)/20 - l/5. Is (w + 3)/((-2)/9) a multiple of 6?
False
Let r = -463 - -667. Does 38 divide r?
False
Does 5 divide 54/3*1/3 - -3?
False
Let n(t) = -t + 7. Let v be n(3). Suppose v*f - 57 = f. Let y = f + -11. Is 3 a factor of y?
False
Let t(i) = i**2 + i + 65. Let g be t(0). Suppose 5*x + 0*a - 14 = 2*a, -4*x = -3*a - 7. Suppose 3*d + x*r - 65 = 5*r, g = 4*d + 3*r. Does 10 divide d?
True
Suppose j = -4*j + 15. Suppose j*p = p + 16. Does 4 divide p?
True
Let v be 1/(-6) - (-25)/6. Suppose -v*l + 4*f = -152, 4*l - f + 3*f - 122 = 0. Is 11 a factor of l?
True
Suppose 367 = 4*v - 173. Suppose -4*r + l + v = -2*l, 0 = 4*l + 4. Is r a multiple of 12?
False
Suppose -2*y = -3*y + 3. Suppose -124 = -y*a + o, -o - 184 = -5*a - 5*o. Suppose -c - 4*c = -a. Does 4 divide c?
True
Let n(l) = l**2 - 5 + 7*l + 4 + 11. Does 11 divide n(-8)?
False
Let y = 7 + -15. Let n(r) = r**3 + 8*r**2 - 1. Let j be n(y). Let l(a) = 40*a**2 + a + 1. Is 14 a factor of l(j)?
False
Suppose 0 = i - 5*q + 5, 4*i - 8*q - 12 = -4*q. Suppose 2*z = -3*j + 27, 0*j - 3*z = i*j - 46. Is 4 a factor of j?
False
Let z(v) = 7*v**2 + 17*v + 1. Let u(i) = -3*i**2 - 8*i - 1. Let f(a) = -5*u(a) - 2*z(a). Let q be f(-7). Is 20 a factor of (3 + -7)/((-2)/q)?
True
Let w = -3 - -5. Suppose k - 17 = w*u - u, -u = -5. Does 11 divide k?
True
Let w = -12 + -1. Let f be 10/(11/w - -1). Suppose 15 = 4*o - f. Is o a multiple of 8?
False
Suppose -18 - 2 = -4*q. Let p(m) = 4*m - 2. Does 6 divide p(q)?
True
Suppose 10*a - 5*a = 10. Suppose 0*s + a*s - 44 = 0. Is 12 a factor of s?
False
Let g(h) = 7*h**2 - 2*h - 1. Let f(p) = p**2 + 2*p. Let v = 2 - 3. Let i be f(v). Does 4 divide g(i)?
True
Let i(g) = 9*g**3 + g. Let m be i(-1). Let r(h) = 8*h + 14. Let f be r(m). Let s = -46 - f. Is s a multiple of 20?
True
Let g be (-50)/(-4) - 1/(-2). Let z = 18 - g. Suppose -z*m + 205 = -0*m. Is 14 a factor of m?
False
Suppose 3*m - 4*m + 20 = 0. Let a(u) = -u**2 - 4*u + 7. Let f be a(-7). Let z = m + f. Is 5 a factor of z?
False
Let h = 74 + -186. Let k = -3 + h. Let b = -77 - k. Does 17 divide b?
False
Let s(k) = 203*k**3 - 3*k + 3. Is 29 a factor of s(1)?
True
Suppose 0 = -a - 3*w + 16, 5*a - 2*w - 70 = 2*a. Let g = a + 51. Is 20 a factor of g?
False
Let g(d) = d**2 - 2*d + 3. Suppose -o - 5*z = 1, -7*o - 5*z - 19 = -3*o. Let k be g(o). Suppose 0 = 5*w - 104 - k. Is 13 a factor of w?
False
Let t(y) = 5*y**2 + 3*y. Let s(c) = c**2 + c. Let l(q) = -4*s(q) + t(q). Is l(-2) even?
True
Let w = -48 + 83. Does 8 divide (-6 - -9) + 1*w?
False
Suppose 0*c = 3*c + 15. Let z(h) = 5*h**3 - 11*h**2 - h - 9. Let y(o) = -9*o**3 + 21*o**2 + 2*o + 17. Let s(g) = -6*y(g) - 11*z(g). Does 2 divide s(c)?
True
Let q = 358 + -254. Suppose -q = -4*a - 24. Does 20 divide a?
True
Let r be 3*(-2)/(-15)*5. Let g(k) = 4*k**3 + k**2 - 3*k + 2. Is 13 a factor of g(r)?
False
Let q(j) = j**3 + 9*j**2 + 7*j - 9. Let f be q(-8). Let c be 2*f/2*-5. Suppose 3*x = -5*n + 76, 2*x = c*n - 3*x - 100. Does 6 divide n?
False
Let v(z) = 6*z + 5. Let h(c) = 4 + 0 + 19*c + 11. Let q(y) = -2*h(y) + 7*v(y). Does 15 divide q(7)?
False
Let i(o) = 20*o. Is i(4) a multiple of 10?
True
Suppose 3*d - 20 = -2*d. Suppose y = -5*g + 2*g - 88, 142 = -5*g - d*y. Let j = g - -50. Is j a multiple of 10?
True
Let i(k) = 4*k + 2. Does 6 divide i(4)?
True
Suppose -23 = -c + 69. Does 8 divide c?
False
Suppose i - 5 = -1. Suppose -v = -2*l - 0*l + 120, 4*l - 216 = -i*v. Is 15 a factor of l?
False
Suppose 4*x + 2 = -18. Let i = 23 + x. Is i a multiple of 6?
True
Suppose 0 = -3*u - 0*u + 9. Let h be 0/(2/(-3)*3). Suppose -u*f + 8*f - 85 = h. Does 9 divide f?
False
Let f be 1/2 - 1/(-2). Is (f - -1) + 1 - 0 a multiple of 3?
True
Suppose 0 = 4*r + 3*u - 16, -5*r + 8 = u - 1. Suppose 0 = -2*d + r + 45. Is d a multiple of 11?
False
Let t be (-2)/(-8) - (-107)/4. Let p = 24 - 19. Suppose t = 2*i + p*n, -5*i + 5 = 4*n - 37. Is i a multiple of 6?
True
Let h(q) = -q**3 + 6*q**2 - q + 8. Let j be h(6). Suppose -3*m + x = -77, -5*m - j*x + 0*x = -121. Is 14 a factor of m?
False
Suppose 6*c - 2200 = -2*c. Is c a multiple of 25?
True
Let b = -71 + 201. Does 5 divide b?
True
Let a = -3 - -3. Suppose z + a = -1. Does 21 divide ((-2)/z)/1*20?
False
Suppose 0*v = 2*m + 2*v + 6, -