y be (17/(-4) + 3)*-44. Let w = y + -4. Is w a multiple of 13?
False
Let o = 2 - 11. Let q = 3 + -30. Let b = o - q. Is 15 a factor of b?
False
Is 4 + 1 - 4 - -7 a multiple of 5?
False
Suppose b - h - 17 = 0, -5*h = b - 1 - 4. Is 2 a factor of b?
False
Let v = -196 + 396. Suppose a = -3*a + v. Is a a multiple of 17?
False
Let q(j) = -j**2 - 8*j - 5. Let o be q(-7). Suppose -3*f = o*b + 2*f - 49, b = -4*f + 32. Is 5 a factor of b?
False
Let c(r) = r**2 - 2*r + 11. Let y be c(7). Suppose 2*q - 3*s - 54 + 3 = 0, -2*s + y = 2*q. Does 6 divide q?
True
Let z be (1 - -2) + 0 + -24. Let n = 30 + z. Does 6 divide n?
False
Let y be (-3)/(-2) - 31/2. Is 6 a factor of -1*(2 - 0) - y?
True
Suppose 0 = 2*b - 0*b - 132. Suppose -5*t = -2*l - 3*l + 25, l - 3*t - 15 = 0. Suppose -3*z + 2*p + 66 = 0, l*z + b = 3*z + p. Does 11 divide z?
True
Let i(p) = -p + 9. Let z(d) = -d**3 + 5*d**2 - 2. Let c be z(2). Let r be i(c). Let s = r + 6. Is 3 a factor of s?
False
Suppose 4*a = d - 3*d + 42, 2*d = 5*a - 39. Suppose t = 4*p + a, -7 = -2*t + t + 5*p. Is 17 a factor of t?
True
Let r(u) = 139*u**2 - u + 1. Let l be r(1). Suppose -5*c = -l + 29. Is 12 a factor of c?
False
Suppose 0 = -2*y - 0*y - 5*q + 215, 5*y = 5*q + 555. Is y a multiple of 22?
True
Suppose -4*a = -12, -5*b - a = -5*a - 78. Does 4 divide b?
False
Let s(f) = f**2 - 5*f + 6. Let n be s(4). Suppose n*w + 2*w - 5*k = 53, -2*w + 4*k + 34 = 0. Is w a multiple of 4?
False
Let q(f) be the second derivative of 5*f**3/3 - f. Suppose 4*j = 7*j - 6. Does 10 divide q(j)?
True
Suppose 2*a + 4*k = 208, -5*k - 514 = -5*a - 9*k. Is 17 a factor of a?
True
Let i be 8/28 - (-24)/14. Suppose 3*z = -i*z. Suppose 3*n - 1 - 44 = z. Is n a multiple of 13?
False
Suppose 3*v + 5*u = 22, v - 2*u = 2*u - 4. Does 4 divide 19/v - 12/16?
True
Suppose -5*k + 4*k - 3*w - 21 = 0, 0 = 3*k + 2*w + 35. Let h(b) = b**2 + 8*b - 3. Let v be h(k). Is 7 a factor of (63/v)/((-2)/(-4))?
True
Is 3 a factor of 3 + (-5 + 8 - (-4 + 1))?
True
Is 21 a factor of (-297)/(-2) - (-21)/14?
False
Let z(n) be the second derivative of n**5/60 + 5*n**3/6 - n**2/2 + n. Let d(l) be the first derivative of z(l). Is d(0) a multiple of 5?
True
Let c(z) = -z + 3. Let q be c(3). Let j(r) = -r**2 + 4. Let o be j(q). Let p = o - -8. Does 5 divide p?
False
Suppose -39 = -5*j + 11. Let v = 6 - j. Let f(d) = 3*d**2 + 3*d - 3. Does 10 divide f(v)?
False
Suppose 2*a + m = 929, 0 = 3*a - 3*m + 4*m - 1393. Suppose a = -8*h + 12*h. Suppose b + h = 3*b. Is 25 a factor of b?
False
Let p = -20 + 32. Does 3 divide p?
True
Let h = -110 + 135. Is 13 a factor of h?
False
Suppose -5*y - 61 = -381. Is 17 a factor of y?
False
Let o = 15 - 3. Is o a multiple of 4?
True
Let c be 1 + 70 - 12/4. Suppose -2*v - c = -6*v. Does 9 divide v?
False
Suppose -4*t + 5*h = 2*h - 26, h = 4*t - 30. Let j = t - 5. Suppose 2*m - 127 = -j*d, -3*m + 69 = 3*d - 117. Is m a multiple of 18?
False
Let n be (-16)/(-6) + 1/3. Suppose -m + 136 = n*m. Suppose -3*v - 4*t = v - 56, -2*v = -4*t - m. Is 9 a factor of v?
False
Let m = -8858 - -12953. Let q be 6/(-4) - m/(-14). Suppose a + q = 4*y + y, -2*a + 126 = 2*y. Is y a multiple of 15?
False
Suppose 15*m - 288 = 11*m. Is 11 a factor of m?
False
Suppose 24*r + 280 = 28*r. Is r a multiple of 10?
True
Let z(t) = 32*t**2 + 2*t - 1. Let j be z(1). Suppose 2*f + 5*k = j, -7*f = -3*f - 4*k - 108. Is f a multiple of 8?
True
Let o(n) = -3*n**2 - 50*n - 19. Does 13 divide o(-13)?
False
Suppose 3*v + 1 = -11. Is 13 a factor of v*(-3)/((-24)/(-52))?
True
Suppose 21*x - x = 2040. Is 34 a factor of x?
True
Let t(o) = 60*o**2 - o + 1. Is t(1) a multiple of 15?
True
Is 12 a factor of (-69)/((-6)/(-3) - 3)?
False
Let c(l) = -l. Let d be c(-8). Let j be 30/d - 3/(-12). Suppose j*t + 192 = 5*k, -k - 3*t = -9 - 18. Is k a multiple of 12?
True
Let d(u) = -4*u - 2. Let n(w) = -w. Let i(k) = -d(k) + 3*n(k). Let r be i(0). Let v = r + 9. Is v a multiple of 10?
False
Let w = 257 + -83. Is w/(-6)*(1 + -2) a multiple of 11?
False
Let f = 15 - 64. Suppose 2*z = -27 - 131. Let c = f - z. Is 15 a factor of c?
True
Suppose 115 = 7*f - 2*f. Is f a multiple of 9?
False
Let l(b) = 7*b + 30. Does 4 divide l(10)?
True
Suppose 0 = -h + 3*p + 51, -2*h + 6*p = 2*p - 96. Does 14 divide h?
True
Suppose 2*i + 40 + 85 = l, 3*i - l + 189 = 0. Let q = i + 37. Is q/(-5) - 6/15 a multiple of 5?
True
Let w = 9 - 11. Is 22 a factor of 4/w*41/(-2)?
False
Suppose -6 = 3*y + 3. Let r(o) = 5*o**2 + 3*o + 3. Does 14 divide r(y)?
False
Let g(v) = -2*v**3 - 3*v - 4. Does 17 divide g(-3)?
False
Suppose -d = -5*w + 19, -5*d + 14 = 3*w - 3. Let g = 2 - d. Does 10 divide 0 - g/(3/(-81))?
False
Let z(j) = -j**3 + 3*j**2 - 2*j + 2. Let q be z(2). Suppose -2*x - 5*f = 14, -q*f + 3 = -x + 14. Suppose -2*k + 27 - x = 0. Is 11 a factor of k?
False
Let g = 11 - 9. Let p(w) = 10*w**2 + w - 2. Is p(g) a multiple of 20?
True
Let v(b) = 4*b**2 - 7*b + 8. Let r be v(8). Suppose -3*y - r - 110 = 0. Does 7 divide y/(-7) + 1/(-7)?
False
Let x(v) = -2*v**3 - 2*v**2 - 3*v - 1. Let l be 1*(-1)/((-3)/(-6)). Is 6 a factor of x(l)?
False
Let x(i) = -i**3 + 9*i**2 + 13*i. Let s be x(10). Suppose 2*u = z + 12 + s, 0 = u - z - 22. Does 8 divide u?
False
Let o(l) = -l**2 - l - 3. Let q be o(0). Let p = -1 - q. Suppose 60 = p*c + 3*c. Does 12 divide c?
True
Suppose 0*a + 160 = -5*a. Let i = a - -48. Is 8 a factor of i?
True
Let w be (4*1)/((-5)/10). Is 32*(-2)/w*2 a multiple of 11?
False
Suppose -4*z = 4*j - 176, -z - 2*j + 0*j = -44. Is 22 a factor of z?
True
Let z = 8 - -13. Is z a multiple of 19?
False
Let k be 46/14 - (-14)/(-49). Let q = 92 - k. Suppose -5*v + q = 19. Is 7 a factor of v?
True
Let j(c) = -c**2 + 2 + c + 2*c**2 + c**2 + c. Is j(-2) a multiple of 2?
True
Let q(z) = z**2 + 2*z - 7. Is 14 a factor of q(7)?
True
Let w(j) be the third derivative of -j**6/120 - j**5/10 - 7*j**4/24 + j**3/3 + 2*j**2. Is w(-5) a multiple of 8?
False
Suppose -4*a - 4 = 36. Let d = a + 16. Let l(s) = -s**3 + 6*s**2 + 5. Is l(d) a multiple of 5?
True
Suppose 0 = 4*p + t - 53, 0 = p - 3*t - 3 + 6. Suppose -p - 34 = -2*i. Does 10 divide i?
False
Suppose -t = -0*t - 6. Does 11 divide t/4*22*1?
True
Let u = -23 + 41. Does 7 divide u?
False
Let a(b) = -b**3 - b**2 + 3*b - 2. Does 4 divide a(-3)?
False
Suppose 9 = 2*b + 83. Suppose 0*y + y + 2*c + 9 = 0, 0 = -c + 1. Let j = y - b. Does 13 divide j?
True
Is 12 a factor of 26/(-4)*((-44)/4 + -3)?
False
Let v(n) = -6*n - 6. Let i be (30/(-9))/((-8)/(-12)). Does 11 divide v(i)?
False
Suppose -2*z + 3*z + 26 = 0. Let r = z - -46. Is 10 a factor of r?
True
Let m be ((-3)/2 - -2)*14. Let s be (-2)/m - 46/(-14). Suppose -s*v + 11 = -4*w - 46, 0 = 2*v + w - 27. Is v a multiple of 15?
True
Let a = 0 - -3. Suppose -38 = -a*d + d. Let n = d - 4. Is 15 a factor of n?
True
Let n be ((-2)/(-3))/(2/(-3)). Let s(x) = -7*x**3 + x. Is 4 a factor of s(n)?
False
Let c(j) = 2*j**2 - 22*j - 4. Does 26 divide c(16)?
True
Suppose -6 = -3*t - 5*f + 271, -2*t + 186 = 3*f. Suppose -m = -5*k + 4*m + 105, -m = 4*k - t. Let l = -14 + k. Is l a multiple of 4?
False
Let i(n) = -2*n**3 - 14*n**2 - 5*n. Is i(-9) a multiple of 63?
False
Suppose 0*v = -2*j + 5*v + 120, -3*j + 158 = -2*v. Let d = j + 2. Does 18 divide d?
False
Let o = 304 - 778. Is o/(-24) + 2/8 a multiple of 10?
True
Is (-715)/(-35) + (-6)/14 a multiple of 5?
True
Let w(l) = -l**2 + 16*l - 24. Does 31 divide w(11)?
True
Let m(x) = -x**2 + 3*x - 1. Let i be m(2). Let w(o) be the third derivative of o**6/8 - o**5/60 - o**4/24 + o**3/6 + 3*o**2. Is w(i) a multiple of 12?
False
Suppose 0 = -m - 0*m + 1. Let f be 0/(-3 - m/(-1)). Suppose -3*l + 18 = -f. Does 3 divide l?
True
Is 31 a factor of 133/28*2*30?
False
Let h(c) = -2*c**2 - 8*c - 9. Let d be h(-4). Is 16 a factor of (2 + 21/d)*-57?
False
Suppose -276 = -4*v - 0*v. Let d = -30 + v. Does 14 divide d?
False
Suppose 3*z - 4 = 2. Suppose -s - 5*a - 11 = -z*a, 68 = -4*s - 4*a. Is 5 a factor of (s/(-6))/(4/6)?
True
Let d be -1*1/(-2)*0. Is 15 a factor of -26*(d - 1) - 2?
False
Is (-8)/36 - -10*656/36 a multiple of 14?
True
Suppose -4*h = 5*c - 103 - 248, -2*h = -5*c - 213. Is 9 a factor of h?
False
Let o(b) = b**3 - 4*b**2 + 6*b. Is o(5) a multiple of 11?
True
Suppose 2*i = -i - 12. Suppose 18 = 2*y + y. Is 13 a factor of (i/(-5)