 = j + 9. Let i = m - -38. Suppose a - i = -3*w, w = -0*w - a + 12. Is 7 a factor of w?
False
Let o(n) = -n**3 - 13*n**2 + 12*n - 18. Let a be o(-14). Does 19 divide (-34)/(-85) - (-186)/a?
True
Suppose 0 = 2*w - 11 - 13. Is w a multiple of 3?
True
Let b(p) = -7*p. Let z(s) = -17*s + 4*s + 2 - 1. Let a(j) = 5*b(j) - 2*z(j). Is a(-2) a multiple of 8?
True
Let q be 107 + (0 - 2 - 0). Let t = -45 + q. Let p = -36 + t. Is 14 a factor of p?
False
Let y = -52 - -144. Is 23 a factor of y?
True
Let n = -215 - -311. Is n a multiple of 34?
False
Let o = 4 + 8. Is 5 a factor of 4*(-4)/8 + o?
True
Suppose -4*f = -2*p - 152, -5*f + 190 = -3*p + 8*p. Is f a multiple of 8?
False
Let d(x) = -x**3 + x**2 + 2*x + 1. Let a be d(-1). Let k(h) = 23*h + 1. Does 12 divide k(a)?
True
Let a be (-280)/(-21)*(-6)/(-4). Suppose -c + a = 3*c. Suppose 8*j = 4*j + 4*s + 60, c*j = s + 91. Does 19 divide j?
True
Let p(a) = -a**2 + 16. Let b be 4/16 - 1/4. Does 16 divide p(b)?
True
Let w(u) = -2*u**3 + 9*u**2 - 11*u + 3. Let j(y) = -y**3 + y**2 - y + 1. Let h(f) = -3*j(f) + w(f). Let p = -1 - 6. Is h(p) a multiple of 2?
False
Let o(q) = 2*q - 9. Let l be o(7). Let x be (-11)/((l/(-2))/(-5)). Does 14 divide (-888)/(-44) + 4/x?
False
Let x = 1 + 3. Suppose -x*l + 3 = 7. Is l/6 + (-38)/(-12) a multiple of 3?
True
Let d(u) = u**2 - 8*u + 7. Is 14 a factor of d(14)?
False
Let s = -19 + 14. Is 11 a factor of (s - (3 - 7))*-70?
False
Let y be (3 + -4)/(2/2). Suppose -x = -0*x - 10. Let k = x - y. Does 8 divide k?
False
Let u(d) = d. Let j be u(-6). Is 6 a factor of (4/j)/((-3)/54)?
True
Suppose 17 = 2*a - 21. Let s be (-6)/(-4)*12/18. Let b = a - s. Is b a multiple of 18?
True
Is -4 - 32/(1 + -5) a multiple of 2?
True
Let j(v) be the third derivative of -v**5/60 - v**4/2 - v**3/2 - 3*v**2. Is j(-10) a multiple of 7?
False
Let u(z) = -z + 11. Let v be u(9). Let b be v/9 + 100/36. Suppose -b*i + 32 + 34 = 0. Is i a multiple of 14?
False
Suppose 2*m - 86 = o - 5*o, 5*m - 54 = -3*o. Is o a multiple of 17?
False
Let a(n) = -17*n - 26. Is a(-6) a multiple of 19?
True
Let l(n) = -2*n - 3. Let r(i) = -2*i - 4. Let q(u) = -3*l(u) + 2*r(u). Let k be q(1). Suppose 2*g + 21 = 3*m - 39, -5*g + 81 = k*m. Is 9 a factor of m?
False
Suppose 3*h + 4*v + 154 = 0, 2*v + 110 = -3*h - 54. Let m = h - -113. Is m a multiple of 16?
False
Let a(z) = 2*z + 4. Let m be a(3). Suppose -5*n + m = -2*b, -n + 3*b = 2*n - 15. Does 4 divide (-4 + -4)*(-1 + n)?
True
Suppose -4*o = u + 1, 0 = 5*u - 3*o - 2*o - 20. Suppose u*m - 4*l - 22 = 0, 4*m = 3*m - 5*l - 18. Suppose -m*i = -0*i - 14. Is 7 a factor of i?
True
Let z = -149 + 42. Let a = -64 - z. Does 10 divide a?
False
Let f be (-1 - -85)*(-22)/33. Is 28 a factor of f*(-1)/4*2?
True
Let b(f) = f - 9. Let a be b(15). Let l = a - -26. Does 19 divide l?
False
Let h = -1 - -1. Let l = -37 - -40. Suppose 3*o = -f + 24, 3*o - l - 12 = h. Is 5 a factor of f?
False
Suppose -1043 = 5*o - 4*c, -o - 104 - 98 = -3*c. Let p = o + 339. Suppose -16 = 4*t - p. Does 14 divide t?
True
Let v = 83 - 53. Is 30 a factor of v?
True
Does 9 divide 8/(-12) - (-124)/6 - 2?
True
Suppose -777 = -11*l - 84. Does 4 divide l?
False
Let t(o) = 3*o**2 - o - 2*o**2 - 2*o + 2. Let s(n) = 2*n**2 - 3*n + 3. Let r(p) = 3*s(p) - 4*t(p). Is 4 a factor of r(-3)?
False
Let i = -22 + 25. Suppose i*a + 0*a - 30 = 0. Does 5 divide a?
True
Is 3 a factor of 59 + -2 + 1 - 4?
True
Let b(t) = -t - 7. Let r be b(5). Let d = r + 17. Suppose -41 = -o - d. Is o a multiple of 18?
True
Suppose 4*q = 6*q + 96. Let t = -18 - q. Is t a multiple of 10?
True
Let z(s) = -4*s + 5. Let d be (6/(-9))/(2/12). Let h be z(d). Let l = h + 1. Is l a multiple of 11?
True
Suppose 2*l - 5*m = -85, l - 202 = 6*l - 2*m. Let i = 78 + l. Does 18 divide i?
False
Let u be (2/4)/((-2)/64). Let b be (u + 8)/(-3 + 1). Suppose 189 = b*j + 5*l, -7*j = -3*j - 5*l - 219. Does 19 divide j?
False
Suppose -2 = -v - 4, 3*v - 94 = -5*s. Does 5 divide s?
True
Suppose -2*u - 4 = 8. Does 13 divide -4 + (64 - u/(-2))?
False
Does 8 divide 5 + (525/(-5))/(-3)?
True
Let c(r) = -2*r + 6. Is c(-3) a multiple of 6?
True
Suppose 2*b + 235 - 663 = 0. Is b a multiple of 28?
False
Let u = -34 + 85. Is 27 a factor of u?
False
Let n = 83 - 55. Does 17 divide 8/n - 320/(-7)?
False
Let j(n) = -2*n**2 + 4*n + 1. Let l = 3 - -1. Let g be j(l). Let f = g + 25. Is f a multiple of 5?
True
Let c(r) = -r - 32. Let i be c(-14). Does 10 divide -1*(1 + i) - -3?
True
Let d be (0 + 2 - 4)*-4. Let o(c) = c**3 - 8*c**2. Let h be o(d). Suppose 5*f + 0*r - 2*r - 90 = h, 5*r = 0. Does 9 divide f?
True
Let p(n) = -n**3 - 8*n**2 - 7*n + 10. Is 11 a factor of p(-8)?
True
Suppose 3*k - 2*k - 8 = 3*f, -k - 2 = -f. Let a(c) = c**3 + 9*c**2 + 9*c - 1. Is 17 a factor of a(k)?
True
Let r = -54 - -93. Does 10 divide r?
False
Suppose d = -2 + 3. Suppose -4*a = 5*y - 80, -d = -a + 3*y + 2. Is a a multiple of 6?
False
Let j(x) = -x**2 + 2*x - 7. Let g be j(-6). Let v = -28 - g. Is 16 a factor of v?
False
Let r be 0/2 - (2 - 1). Let f(m) = -22*m**3 - 2*m**2 - 2*m - 1. Does 13 divide f(r)?
False
Is (-14 - -38) + (4/2 - -1) a multiple of 3?
True
Suppose h - 78 = -4*g, 3*g + 3*h - 26 = 28. Does 14 divide 5/g - (-311)/4?
False
Suppose 0 = 8*k - 7*k - 4. Is 3 a factor of k?
False
Let n(t) be the third derivative of -t**5/20 + 2*t**3/3 + t**2. Let x be n(-3). Is 7 a factor of 6/(-9) + x/(-3)?
True
Let j = 7 + -5. Suppose j = i - 5*d, -3*i - 3*d - 13 + 73 = 0. Is 7 a factor of i?
False
Suppose -7*c + 147 + 1463 = 0. Is c a multiple of 9?
False
Let f = -10 + 16. Suppose f*v - 2*v - 16 = 0. Suppose 0 = 2*c + c - 6, -2*r + 66 = -v*c. Does 18 divide r?
False
Let z(a) = -5*a + 7. Let r(s) = -s**3 + 10*s**2 - 11*s + 13. Let y be r(9). Is 11 a factor of z(y)?
False
Let j be 1/(-2)*(-6 + 0). Suppose j*a = 3*x + 111, 3*a = -2*x + 4*x + 79. Let q = -9 - x. Is q a multiple of 21?
False
Let a = -110 - -162. Is a a multiple of 26?
True
Suppose -k + 2*k = 12. Suppose -28 = -4*y - k. Suppose 40 = 2*v - n - n, -5*v = -y*n - 101. Is v a multiple of 7?
True
Let d be 114*4/12*3. Suppose 5*f - 167 = 3*t, 4*t + d = 4*f - 18. Is 7 a factor of f?
False
Suppose 0 = h + 3 + 3. Let f(m) = m**2 + 7*m + 8. Is 2 a factor of f(h)?
True
Let n(m) = m - 1. Let d(v) = -36*v + 42. Let z(u) = d(u) + 30*n(u). Is z(-9) a multiple of 22?
True
Let q(f) = f**3 - 4*f**2 + 3*f + 4. Suppose -5*o + o = -12. Let t be q(o). Suppose 0 = -t*h + 3*d, 15 + 9 = 4*h + 3*d. Is 2 a factor of h?
False
Let m = 106 - 40. Suppose 3*u = u + m. Suppose -3*t + 48 = 2*r + 17, -4*t + u = r. Does 3 divide t?
False
Let m = 1 - -2. Suppose 2*z = -5*d + 43, -2*d = -m*d - 2*z + 15. Is d a multiple of 6?
False
Suppose -4*r + 109 = -75. Does 23 divide r?
True
Let y(o) = -o**3 - o + 7. Let t be y(0). Suppose -t*u - 5*v = -2*u - 35, -u + 13 = 3*v. Is 4 a factor of u?
True
Let v be 569/9 - 2/9. Suppose 0 = -0*z - z + v. Is 21 a factor of z?
True
Suppose 2*r - 4*f - 9 = f, 2*r - 3 = -f. Does 10 divide r/4 + (-39)/(-2)?
True
Suppose -n + 6*n - 150 = 0. Is n a multiple of 10?
True
Is 25 a factor of 78 - (-2 + -1 - -6)?
True
Suppose 0*d + 27 = d - 5*i, -d - 3*i - 13 = 0. Let z(b) = 5*b**3 - b - 2. Is 12 a factor of z(d)?
True
Let i(x) = x**3 + 9*x**2 + x + 12. Let t be i(-9). Let k = -1 + t. Suppose -75 = -k*l - 3*l. Does 6 divide l?
False
Let y(b) be the third derivative of -5*b**4/24 + 2*b**3 - 6*b**2. Is 19 a factor of y(-9)?
True
Let y(q) = 22*q + 4. Let d(g) = 65*g + 13. Let x(h) = 4*d(h) - 13*y(h). Let z be x(1). Let j = 44 + z. Is j a multiple of 10?
False
Let u = 5 + -1. Is -3*-1*4*u a multiple of 24?
True
Let z(f) = -11*f**2 + 10*f**2 + 3*f - 2 + 3*f. Let t be z(5). Suppose t*s - 60 = 63. Is 16 a factor of s?
False
Let r(t) = -t**3 - t**2 - t + 5. Let y be r(-4). Let z(b) = -b**3 - b**2 + b - 2. Let l be z(0). Is y/(-2)*l/3 a multiple of 19?
True
Let y = -84 - -90. Is 6 a factor of y?
True
Let r(b) = 4*b**2 - 2*b - 2. Let t be r(-2). Let a = 51 - t. Is a a multiple of 8?
False
Let p(b) = -21*b + 16. Does 4 divide p(-3)?
False
Suppose -4*v + 3*v = 4*j - 203, 2*j - 3*v = 91. Let i be ((-2)/4)/((-5)/j). Let m(h) = 2*h**2 - 8*h + 5. Is m(i) a multiple of 5?
True
Let m be 70/(1/2*4). Is 25 a factor of (-4)/14 - (-885)/m?
True
Suppose 3*w - 55 - 53 = 0. Is w a multiple of 18?
True