True
Let k = 40 - 8. Is k a multiple of 8?
True
Suppose 9*v = 4*v + 20. Suppose -v*r = -2*r - 128. Is 13 a factor of r?
False
Suppose -4*d - 7 - 1 = 0. Does 7 divide 0 + -2 - 32/d?
True
Suppose -255 = -4*t + 5*u, -u - 3*u + 230 = 3*t. Is t a multiple of 14?
True
Let v(t) = 2*t**2 + 0 - t**3 + t - 22 - 3*t**2. Let u be v(0). Let o = u - -44. Is 14 a factor of o?
False
Is 19 a factor of (-14)/(-7)*138/4?
False
Let n(j) = -j**3 + j**2 - j + 32. Let a be n(0). Does 4 divide a/6*6/4?
True
Let m be (1*3)/(2 + -1). Let s be (-1 + 1)/(m - 5). Is 2 + s - -9 - -2 a multiple of 5?
False
Suppose 3*d - 315 = -5*y, 5*y - 11 = 5*d - 576. Is 55 a factor of d?
True
Suppose 4*q + 2 - 23 = 3*u, -2*q = 2*u. Suppose 3*m - q*s + 53 = 5*m, 0 = 2*m + 5*s - 51. Is m a multiple of 10?
False
Let v(r) be the second derivative of 47*r**6/360 - r**5/60 + r**4/24 - r**3/3 + 4*r. Let a(w) be the second derivative of v(w). Is a(1) a multiple of 19?
False
Let h = -5 - -6. Let a be h*-3 + -6 + 69. Suppose 0 = 2*s + 2*s - 3*w - a, s + 3*w = 15. Does 11 divide s?
False
Suppose 8 = -5*w + 18. Suppose 0 = 3*o, -4*r = -5*r + w*o + 92. Does 28 divide r?
False
Let v(s) = 0*s + s**2 + 0 + 3 + 2*s**2 - 8*s. Is 19 a factor of v(5)?
True
Let h be 4 - 1*(1 - 2). Suppose -a = -5*a + 5*p + 258, 0 = 4*a + h*p - 278. Let o = -34 + a. Is o a multiple of 18?
False
Suppose 9 = m + 3*b, 5 = m + b + 4*b. Suppose 0 = -3*j + m, 0 = -2*z + z + 3*j - 18. Is (-1)/z*0 + 20 a multiple of 11?
False
Let x = -10 - -12. Suppose x*m = -5 + 59. Does 9 divide m?
True
Suppose 9 = 2*w - 13. Does 10 divide w?
False
Let a = 8 + -5. Suppose -k - 5*l = -2*k + 33, a*l = -12. Is 13 a factor of k?
True
Let k(l) = -5 + 19 + 11 - l. Let s be k(0). Let p = s - 9. Is p a multiple of 8?
True
Let s be (-3)/15 + 142/10. Suppose 2*w - 2*a + 6 = 0, 4*w - 4*a = w - s. Suppose w*m - 31 = m. Is m a multiple of 12?
False
Let o = 6 - 6. Suppose o*t = -3*t - 27. Is 3/t*(-1 + -26) a multiple of 6?
False
Suppose 0 = -8*a + 4*a - 80. Is 7 a factor of a/(-1 + 0/(-4))?
False
Let l be (-1)/(-4) + 66/(-8). Let d(a) = a**3 + 9*a**2 - 4*a - 11. Let k be d(l). Let j = k + -58. Is j a multiple of 8?
False
Let g(b) = 67*b + 2. Is g(1) a multiple of 11?
False
Is 24 a factor of (-1)/(1*5/(-480))?
True
Suppose 6*c + 16 = 10*c. Suppose -c*h = 2*w - 42, -4*h + 31 + 24 = 3*w. Does 6 divide w?
False
Let k be (-1 - -94)*(1 - 2). Is (k/6)/(2/(-4)) a multiple of 8?
False
Suppose 283 - 27 = 8*i. Is 12 a factor of i?
False
Let f(g) = -g**3 - 6*g**2 + 2*g + 9. Let p be f(-6). Let k = p + 5. Suppose -k*b = -5*b + 75. Is 11 a factor of b?
False
Suppose -z - 57 + 375 = 0. Is z a multiple of 39?
False
Let j(i) = 21*i**2 - i + 1. Is j(2) a multiple of 25?
False
Let v = -12 + 16. Suppose v*l - 24 = 100. Is l a multiple of 12?
False
Let r = -59 - -142. Suppose r + 70 = 3*u. Does 34 divide u?
False
Let o(j) = j**2 - 7*j + 8. Let u be o(6). Suppose -x = 4*h - 45, u*h = x - 3*x + 24. Is h a multiple of 11?
True
Suppose 0 = -3*z + 2*z + 4. Suppose 2*k - 40 = x, z*k = k - 5*x + 47. Is k a multiple of 5?
False
Let l(m) = -2*m - 2. Does 11 divide l(-11)?
False
Let a(j) = -j**3 - 6*j**2 - 7*j - 1. Let s be a(-6). Let b = s + -24. Is 10 a factor of b?
False
Let f be 4/(-14) - (-18)/14. Let u be f/3*3/(-1). Is 7 a factor of ((-56)/20)/(u/5)?
True
Suppose 4*w = 5*w - 17. Is 3 a factor of w?
False
Let z = 6 + -3. Suppose -7*f + 4*f + 81 = 0. Does 8 divide (1 + (-1)/z)*f?
False
Let q(h) = 33*h - 12. Is q(1) a multiple of 3?
True
Suppose 3*w + 0*b = 4*b + 501, -3*b - 501 = -3*w. Does 28 divide w?
False
Suppose 4*w - 5 = 5*s, 4*s - w = -0*s - 4. Let h be 20 + 2 + -1 + s. Suppose -52 + h = -2*c. Is 6 a factor of c?
False
Suppose 5*y - 3*p - 849 = 0, -161 = -y + 2*p + 3*p. Is y a multiple of 37?
False
Suppose g - 5*g + 28 = 0. Let t(j) = -j - 6*j - 4 + 10 + j**2. Does 6 divide t(g)?
True
Let q(x) = 4*x**2 - 6*x - 16. Is q(6) a multiple of 35?
False
Is -1 + -3 + 87/3 a multiple of 5?
True
Suppose -5*v - 3*x + 6*x + 91 = 0, x = 5*v - 97. Suppose -v = 5*u, 3*p + 4*u = -0*u + 176. Does 18 divide p?
False
Suppose -5*w + 0*w = 25. Let y be (14/5 + -2)*w. Does 5 divide (y/6)/((-4)/66)?
False
Is 4 a factor of 183/15 + 3/(-15)?
True
Let y(o) be the second derivative of o**4/12 + 7*o**3/6 + o**2 - 3*o. Is 8 a factor of y(-9)?
False
Suppose -7*v + 2*v = 0. Let x(r) be the third derivative of -r**5/60 + 19*r**3/6 - r**2. Does 14 divide x(v)?
False
Let a(d) = 2*d**2 - 4*d + 4. Let l be 52/(-10) - (-2)/10. Let u = l - -8. Is a(u) a multiple of 5?
True
Let l(t) = -t**3 + 7*t**2 - t - 2. Suppose 2 = z - 4. Is l(z) a multiple of 14?
True
Suppose 0 = -5*v + 4*w + 86, -5*v - 42 = 2*w - 134. Is v a multiple of 9?
True
Let l be (-1)/(-2)*(-6)/3. Does 9 divide 13 - 1 - (l - -4)?
True
Let w = -21 - 104. Let t = 185 + w. Does 20 divide t?
True
Let f(j) = -j**2 - 11*j + 22. Is f(-11) a multiple of 11?
True
Let t = -4 + 4. Suppose -o + 20 - 2 = t. Is 9 a factor of o?
True
Suppose 18 + 24 = x. Does 21 divide x?
True
Suppose 4*i = 3*a + 38, -4*i - 3*a + 61 = i. Let b be 0 + -2 + 70/2. Suppose -4*r + b = -i. Is r a multiple of 8?
False
Suppose w - 44 = 4*t, -4*w + 199 + 49 = 2*t. Is w a multiple of 6?
True
Suppose -4*l + 5*m + 27 = -68, 85 = 5*l + 5*m. Suppose -2 - l = -2*r - 4*n, 2*r + 2*n = 22. Does 11 divide r?
True
Let l(m) = 3*m**3 - 3*m**2 + 2*m - 2. Let x = -2 + 4. Is l(x) a multiple of 7?
True
Let r be 13/3 - 2/(-3). Suppose -12 = -5*c + n + 14, 0 = 2*c - r*n - 15. Suppose c*a = 3*h - 18 + 47, -5 = -5*a - 5*h. Is 2 a factor of a?
True
Let n = 556 - 212. Suppose -2*z = 2*z + n. Does 12 divide z/(-7) - 2/7?
True
Let w(t) = t**2 - t + 34. Is 17 a factor of w(0)?
True
Let u be (-10)/(-4)*(-20)/(-25). Suppose w = -u*k + 29, 0 = -2*k + 3*k + 1. Does 31 divide w?
True
Let a(k) = 3*k**2 + k. Is a(1) a multiple of 4?
True
Let l(a) = a**3 + 18*a**2 - 19*a + 15. Is l(-19) a multiple of 8?
False
Let i(p) = -10*p + 1 - 6 + 4 - 5. Let a = -2 + -2. Is 15 a factor of i(a)?
False
Let w be 2/(-9) + (-896)/18. Does 11 divide (24/(-10))/(5/w)?
False
Let g be ((-3)/(-2))/(-3)*-10. Let x be 14/g - (-1)/5. Suppose -x*m = 2*m - 185. Is m a multiple of 14?
False
Is 12 a factor of (-1773)/(-21) - (-24)/(-56)?
True
Let r(o) = 4*o - 1. Suppose 2*s + 3*s - 5*v - 160 = 0, 2*s + 2*v - 56 = 0. Suppose -4*g - g = -s. Does 7 divide r(g)?
False
Let k = -225 - -373. Suppose -k = -8*y + 4*y. Suppose 3*a - 1 = -v + y, -2*v = 4*a - 50. Is a a multiple of 13?
True
Let t = 5 + -2. Suppose 0 = -r - 2*f - 7 - 0, -14 = -2*r + t*f. Is 2 a factor of (-8)/(-2) + 0 - r?
False
Suppose 22*h - 24*h = -60. Is 3 a factor of h?
True
Let u = -14 - -8. Let h(c) = c**3 + 5*c**2 - 6*c + 2. Let p be h(u). Suppose -p*m = -4*b + 142, 197 = 3*b + 2*b + 4*m. Does 13 divide b?
False
Let k(u) be the third derivative of 7*u**4/8 + 5*u**2. Is 14 a factor of k(2)?
True
Suppose 5*z - 12 = 3*z. Is z a multiple of 3?
True
Suppose -2*y + y = -2. Let v(h) = h + 1. Let a be v(1). Suppose -5*m = c - 13, a*m = 4*c - 28 - y. Does 6 divide c?
False
Suppose -4*c - 5 - 11 = 0. Let d(h) be the second derivative of -2*h**3/3 + h**2/2 + h. Is d(c) a multiple of 6?
False
Suppose -2*u + 12 = -g - 31, 6 = 2*g. Suppose 4*a + 219 = 3*p, 4*p = 4*a + 239 - u. Let v = -40 - a. Is 8 a factor of v?
False
Let n = -18 - -62. Is n a multiple of 11?
True
Suppose p - 336 = -2*p. Let c be (0*2/6)/2. Suppose c*n = -4*n + p. Is 12 a factor of n?
False
Let n(p) = -p**3 - 8*p**2 - 7*p + 3. Let g be n(-7). Let u be -7 + 9/g + -3. Let s(z) = z**3 + 8*z**2 + 5*z - 2. Is 8 a factor of s(u)?
False
Does 3 divide (1*-46)/((-6)/3)?
False
Let c be 1 + 4/((-12)/(-57)). Let q = c - 4. Is 5 a factor of q?
False
Let n be (0/(-1))/(2 + 0). Suppose g = -3*y + 32, n*y - 3*g + 6 = -y. Does 6 divide y?
False
Suppose -2*h + 3*s - 78 = h, -2*s = -3*h - 83. Let v = 47 + h. Does 12 divide v?
False
Let k(y) = -y**3 + 2*y**2 + 2*y + 2. Let v be k(3). Does 11 divide v/3 + 34/3?
True
Is (14 - 12)/(4/90) a multiple of 9?
True
Suppose 0 = z + 4*z + 2*m - 1590, 657 = 2*z + 5*m. Suppose 10*j - 322 = 3*j. Suppose n = -5*i + j, 5*n - z = -4*i - 128. Is 18 a factor of n?
True
Suppose -5 = 5*p - 60. Is 11 a factor of p?
True
Let o(s) = s**3 + s**2 - 3*s + 7. Let q(p) = -p**2 + p. Let b(y) = o(y) + 3*q(y). Is 13 a factor of b(4)?
True