
Let b(p) = p**3 - 12*p**2 + 11*p. Let q be b(11). Suppose 2*m - 194 + 4 = q. Is 16 a factor of m?
False
Suppose -26 = -4*d + 2. Does 3 divide d?
False
Does 19 divide 1041/12 - (-2)/(-24)*-3?
False
Let g be 1/(2*(-2)/(-700)). Suppose 5*i - 2*y = 206, -y - g = -4*i + 4*y. Is 20 a factor of i?
True
Suppose 81 = 4*d - z, 19 = d - 2*z + 3*z. Let w = d - 11. Is (1 + -1 - 2) + w a multiple of 5?
False
Let k(s) = -s**3 - 6*s**2 - 8*s - 4. Let o be 30/(-3) + 1/1. Let n = 4 + o. Is k(n) a multiple of 11?
True
Suppose -2*r + 183 + 27 = 0. Does 15 divide r?
True
Suppose -4*b - 24 + 82 = p, 0 = -3*p + b + 226. Let g = p + -45. Is 9 a factor of g?
False
Let l be ((-2)/4)/((-1)/8). Let v(r) = r - 2. Let k be v(l). Does 13 divide k/1 - (-24 - -1)?
False
Let f be 131/7 + (-2)/(-7). Let c(d) = -5*d - 6. Let t be c(-2). Suppose z - 61 = -3*z - g, -z - t*g = -f. Is 15 a factor of z?
True
Let y(a) = -a**3 - a**2 + a + 4. Let q be y(0). Suppose d - q*d + 36 = 0. Is 4 a factor of d?
True
Let r be 3/(((-24)/10)/(-4)). Suppose r*z - 18 = 47. Is z a multiple of 13?
True
Let l = 195 - 125. Is l a multiple of 14?
True
Let i(c) = -4*c + 3*c + 3 - 5. Let k be i(-6). Suppose d + 39 = 5*q + k*d, -3*q - 4*d = -19. Does 4 divide q?
False
Let x(y) = -10*y + 4*y - 8*y. Let q(g) = -g**3 - 3*g**2 - 3*g - 3. Let w be q(-2). Does 5 divide x(w)?
False
Is 13 a factor of 1*3 + (57 - -15)?
False
Suppose 7*i - 539 - 2261 = 0. Is i a multiple of 62?
False
Let z be 1/(((-3)/177)/1). Let r = z - -91. Suppose 3*n - n - r = 0. Does 5 divide n?
False
Let c(r) be the second derivative of r**4/12 + 3*r. Is c(-2) a multiple of 2?
True
Let m be (9/3)/3*-7. Does 8 divide (-232)/(-28) - (-2)/m?
True
Suppose -5*y + 15 = 5. Suppose -166 = -y*n - f + 103, 0 = 5*n - f - 676. Suppose 4*h - n = 1. Is h a multiple of 12?
False
Suppose -9 = -2*q + 3. Is 14 a factor of 164/q + (-8)/(-12)?
True
Let z(p) = -4*p + p + 2*p**2 - 12 - 1 - 3*p. Let j be z(10). Let u = -90 + j. Is u a multiple of 16?
False
Suppose 0 = c + 24 - 10. Let o = -3 - c. Is o a multiple of 5?
False
Let n be (-3 - -7) + -2 + -10. Let h(i) = -6*i + 2. Let c be h(n). Suppose 3*o = 5*o - c. Does 10 divide o?
False
Suppose 5*s - 600 = -110. Does 34 divide s?
False
Let q(y) = 2*y + 2. Let u be q(6). Let m(o) = u*o - 8*o + 25*o. Does 14 divide m(1)?
False
Let q(y) = -y**2 + 14*y - 6. Let m(k) = k**2 - 13*k + 6. Let l(b) = -4*m(b) - 3*q(b). Is l(7) a multiple of 5?
True
Let c be ((-6)/18)/(2/(-36)). Is 4/c*-3 - -53 a multiple of 19?
False
Suppose 4*d = -4*w + 28, 2*w + 10 + 31 = 3*d. Let x(s) = 2*s**2 - 15*s + 5. Does 21 divide x(d)?
False
Is (-368)/(-28) + 1/(-7) even?
False
Suppose 4*v = -4, 4*v = 4*h - h - 28. Suppose m = -2*w + 28 - h, 4*w - 2*m = 32. Is 3 a factor of w?
True
Suppose 5*v + 4*k = 14, -5*v = -2*k - k - 7. Suppose -v*l - 1 = -55. Suppose 0*z + l = z. Does 10 divide z?
False
Suppose z = -0*z - 3, 0 = 5*p + 4*z + 97. Let i(v) = v**3 + 4*v**2 - v - 4. Let y be i(-5). Let w = p - y. Is w a multiple of 6?
False
Suppose 5*w - 800 = -5*s, 6*s - 3*s - 490 = -5*w. Is s a multiple of 8?
False
Let b(q) = -47*q + 1. Let o be b(-1). Let n = -20 + o. Is 12 a factor of n?
False
Suppose 4*n = 2*k + 528, -n = -3*n + 2*k + 262. Is n a multiple of 17?
False
Suppose 3*k - t - 120 = -0*t, -2*k - 3*t + 80 = 0. Is 10 a factor of k?
True
Suppose 2*a - 6*a - 32 = 0. Let c be ((-4)/a)/((-2)/24). Is c/(-6) - 3*-1 even?
True
Suppose -4*a = -5*a + 5. Suppose -233 = -a*k + 22. Is 14 a factor of k?
False
Let x = 328 + -208. Does 24 divide x?
True
Suppose -3 = l - 0*l, -5*u + 5*l + 50 = 0. Let r(a) = 4*a - 6. Let w be r(2). Suppose -u*z + 125 = 5*i - w*z, -4*z + 122 = 5*i. Is 11 a factor of i?
True
Suppose 3*d + 3 = 7*d - c, 0 = 4*d + 4*c - 28. Suppose -d*o - 1 + 9 = 0. Does 6 divide (-6)/o*16/(-3)?
False
Suppose -4*c + 55 = c. Suppose -c = -u - 2*h - 6, -u - 4*h = -5. Is u a multiple of 2?
False
Suppose x = 3*a + a + 41, x - 73 = -4*a. Does 34 divide x?
False
Suppose -3*q = 2*k - 332, 840 = 5*k - 0*q + 5*q. Does 10 divide k?
False
Suppose -y = 2*y - 6. Let d(g) = -6*g + 0 + 5*g**2 - y*g**2 - 2 + g**3. Does 3 divide d(-4)?
True
Suppose 2*c + 2 = -l + 3, c - 1 = 0. Let k(z) = -2*z**3 - z**2 - 2*z - 1. Let d be k(l). Suppose 3*a - 46 = d*w, -2*a + w = 2*a - 58. Is 6 a factor of a?
False
Let y(u) = u**2 + 5*u + 4. Let b be y(-3). Does 5 divide 4 + 2 - b/2?
False
Let y(r) = 2*r + 1. Let t be y(1). Suppose t*p - 78 = -0*p. Is p a multiple of 9?
False
Let b(i) = 3*i**2 - i. Let m be b(1). Suppose -3*c - m*u + 7 = 0, -5*u + 11 - 1 = 0. Does 3 divide ((0 - c) + 2)*6?
True
Suppose -n - 740 = -3*f, 4*n = -6*f + 5*f + 251. Is 19 a factor of f?
True
Suppose -5*j = 2*j - 35. Is 4 a factor of j?
False
Is 8 a factor of 3 + (-3 - -6 - -3)?
False
Suppose -5*j = -291 - 34. Is j a multiple of 18?
False
Suppose -6*y = -y - 5. Suppose -b = -y - 1. Suppose -36 = -b*g - 2*g. Is g a multiple of 9?
True
Let s(y) = y**2 + 6*y + 5. Let c(b) = b**2 + 7*b + 6. Let d be c(-4). Let u be s(d). Suppose -m + 12 = -u. Is m a multiple of 5?
False
Let w(l) = l**3 + 9*l**2 + 5*l - 9. Let c be w(-7). Suppose -k + 2 = -1. Suppose k*t - t - c = 0. Is t a multiple of 9?
True
Suppose 0 = -2*c - 2*p + 6, 24 = 2*c + 2*c - 2*p. Suppose -c*i + 68 = 4*k, 3*k + 18 - 64 = -5*i. Is k a multiple of 8?
False
Let u(o) = -o**3 - 7*o**2 - 5*o - 4. Let h be u(-6). Does 17 divide ((-85)/h)/(2/8)?
True
Let x(m) = -4*m**3 + 66*m - 4*m**2 - 3*m**3 - 67*m + 2. Is x(-2) a multiple of 11?
True
Let c(r) be the third derivative of -5/24*r**4 - 4*r**2 + 0 + 0*r + 1/2*r**3. Does 15 divide c(-7)?
False
Let r = 237 - 372. Let t = r + 216. Is t a multiple of 27?
True
Let r(z) = -67*z - 9. Is 24 a factor of r(-3)?
True
Let h = 3 - 1. Suppose -4*b + 12 = -h*b. Does 3 divide b?
True
Suppose 0 = -5*s - 5*f + 35, 0 = -0*s + 3*s + 2*f - 22. Does 4 divide s?
True
Let z = -2 + 2. Suppose 0 = -z*n + 3*n - 81. Is n a multiple of 9?
True
Let a(m) = 4*m**2 - 4*m - 4. Is 11 a factor of a(-3)?
True
Let i be 2/(2/(-16)*1). Is 24 a factor of (-760)/i - 1/(-2)?
True
Let p(q) = 7*q + 40. Is p(5) a multiple of 25?
True
Let x be ((-8)/(-20))/((-2)/(-10)). Suppose 0 = -f - x - 0. Does 6 divide 3*6 - (1 + f)?
False
Let y(w) = -w**2 - 2*w**3 - 4*w - 4*w + 3 + 11*w**2 + w**3. Is y(9) a multiple of 6?
True
Let z = -1 - 0. Is 2 a factor of z + 2 + 2 - 0?
False
Let a(p) = p**2 - 5*p - 1. Let t = 23 + -16. Does 5 divide a(t)?
False
Let s = -18 + 158. Is 10 a factor of s?
True
Suppose 5*b - 68 = -a, -7 - 16 = -2*b + a. Is b a multiple of 5?
False
Let j = -9 - -15. Suppose 0 = 6*o - 4*o - j, 3*a = 4*o + 156. Suppose 5*p - a = -16. Does 8 divide p?
True
Suppose 0*s + 5*w - 4 = 2*s, -4*w + 8 = 0. Suppose 0 = s*a - 3*p - 9, 3*a + 5*p + 2 - 3 = 0. Is a even?
True
Let p(u) be the third derivative of 0*u**5 + 0*u + 1/24*u**4 - 1/6*u**3 + 0 + 17/40*u**6 - 2*u**2. Does 18 divide p(1)?
False
Let d(x) = -9*x - 19. Is 4 a factor of d(-3)?
True
Is 7 a factor of (6/24)/((-1)/(-28))?
True
Let y(g) = g**2 + 5*g**2 - 22*g + 27*g + 2. Is y(-3) a multiple of 14?
False
Let i = -27 - -53. Suppose 3*b - 40 = -13. Suppose 5*r - b = i. Is r a multiple of 6?
False
Let g = -11 + 16. Let t(h) be the first derivative of -h**3/3 + 7*h**2/2 + h - 1. Is t(g) a multiple of 11?
True
Suppose 0 = 2*z - 13 - 25. Let p = z + -7. Does 12 divide p?
True
Let p(z) = 4*z**2 - 2*z + 1. Let q be p(1). Let c(g) = 26*g - 11. Let h be c(-5). Is 9 a factor of h/(-6) + q/2?
False
Let q(b) = b**2 + 18*b + 13. Does 12 divide q(-19)?
False
Let o = 18 + -15. Let y = 0 + o. Does 3 divide y?
True
Is 34 + (-4 - (-5 - -3)) a multiple of 8?
True
Let w(y) = 8*y**2 - 3*y - 3. Let d be ((-12)/15)/(4/(-10)). Suppose -4*t = -5*o - 12, 4*t - o + d + 2 = 0. Is 13 a factor of w(t)?
False
Let i(y) = y**3 + 2 + 4*y**2 - 3*y**2 + 0. Let d be i(0). Suppose d*g - 45 = -3*g. Is 9 a factor of g?
True
Let b(t) = 5*t - 2. Let s be b(-7). Let i = 56 + s. Is 17 a factor of i?
False
Let n(j) be the second derivative of -j**3/6 + j**2/2 + 3*j. Let r(o) = 2*o - 4. Let u(v) = -4*n(v) - r(v). Does 2 divide u(1)?
True
Let c = -2 - -18. Does 10 divide c?
False
Does 19 divide 40/3*456/32?
True
Let h = -46 - -102. Let y be 16/h + (-654)/(-14). Suppose -5*v - 2*o + y = 0, 4*v + 4*o - 43 = -15. Does 4 divide v?
False
Let n = -77 + 136. Let 