 m a multiple of 9?
True
Let v be 12/(-16)*(-1 - 547). Let g = v + -690. Does 13 divide g/(-12) - (-3)/(-12)?
False
Suppose 3*d + 3 = -0*d. Is 11 a factor of (d/2)/((-1)/22)?
True
Let q be 568/26 + (-2)/(-13). Suppose -2*f + 3*f = q. Is 7 a factor of f?
False
Let c(r) = -r**2 - 2*r. Let d be c(-3). Let g(p) = -3 + 3 + 1 - p + p**3 + 3*p**2. Is g(d) a multiple of 4?
True
Suppose -c + 2 = r - 8, -26 = -5*r + 3*c. Is (-8)/(-28) - (-187)/r a multiple of 9?
True
Let x = 9 - -3. Is 6 a factor of x?
True
Let t be (-1)/2 + 178/4. Let y = 85 - t. Is y a multiple of 13?
False
Let w(m) = -8*m**2 - 7*m - 5*m + m + 1 + m**3. Let p be w(9). Let a = -7 - p. Is 10 a factor of a?
True
Suppose -g + 3*g - 4 = 0. Suppose g*p = 37 + 23. Is p a multiple of 8?
False
Let r = -78 + 247. Suppose 3*l - 11 = r. Does 11 divide l?
False
Let q = -613 + 159. Is 15/25 - q/10 a multiple of 14?
False
Let n(h) = -h**2 + 4*h + 2. Let l be n(3). Suppose -s + 30 = 2*s + l*i, -5*s + 5*i = -10. Is s even?
False
Suppose -n + 2*n - w - 4 = 0, -2*n - 6 = 5*w. Suppose p - n*s - 15 = 3*s, p = -s + 3. Is 3 a factor of p?
False
Let m = -11 - -20. Let t = m + -11. Is -8*11*1/t a multiple of 22?
True
Suppose 335*s - 334*s = 210. Does 35 divide s?
True
Does 8 divide (-6)/(0 - 3) - -79?
False
Let m = -187 - -344. Is m a multiple of 28?
False
Let k = -3 + 8. Suppose b = -3*b + 292. Suppose a = 6*a + u - 63, -4*u - b = -k*a. Is 13 a factor of a?
True
Suppose -2*z = -0*z - 4. Let q = z - 2. Suppose q = -0*n + n - 24. Does 12 divide n?
True
Suppose -4*i = -0*i - 5*g - 25, 2*g = 4*i - 22. Suppose 150 = i*b - 0*b. Is 10 a factor of b?
True
Suppose -3*b - 5*h + 37 = 4, 3*h = -9. Is 8 a factor of b?
True
Is 19 + 3 - (-3 - 1 - -2) a multiple of 10?
False
Let i be (36/30)/((-3)/(-10)). Suppose 4*h = -2*s + 430, -3*h = -8*h - i*s + 530. Suppose h = 3*v + 2*v. Does 22 divide v?
True
Let b(m) = m - 5. Suppose 23 + 2 = 5*a. Let y be b(a). Let c(h) = -h**2 + 18. Does 8 divide c(y)?
False
Suppose 4*h + 3*q - 5*q = 6, -4*q = -2*h. Let t = 3 + h. Suppose 3*l + l + t*o = 47, 0 = 2*o - 6. Is 4 a factor of l?
True
Let z be (-1596)/(-8)*(-2)/(-3). Suppose -4*v = y - z, -2*v = 4*y - 23 - 33. Is v a multiple of 16?
False
Let c(a) = a**3 - 9*a**2 - 13*a + 2. Let d be c(10). Let s = -4 - d. Does 8 divide s?
True
Let u = -7 + 12. Suppose q - u = 25. Is 6 a factor of q?
True
Let f be 20*((-14)/(-5) - 2). Suppose 1 = 3*m + f. Let o = 3 - m. Does 8 divide o?
True
Let b(a) = 3*a**3 - a - 1. Let m be b(-1). Let i be 2 + 4/(1 + m). Suppose i*w - 88 = -4*w. Is 11 a factor of w?
True
Does 44 divide (-6 - 1 - -6)/((-1)/220)?
True
Suppose 0 = 2*g - 4*g + 84. Does 6 divide g?
True
Suppose 37 - 195 = -2*h. Let q = h - 31. Is q a multiple of 9?
False
Let q(n) = -n**3 - 6*n**2 + n - 5. Let k be q(-6). Let w = -4 - k. Let a(m) = 6*m - 5. Is 17 a factor of a(w)?
False
Let l(p) = -p - 7. Let u be l(0). Let g = -4 - u. Suppose 0 = g*f - 0*f - 93. Does 20 divide f?
False
Let x = 38 - 23. Is x a multiple of 7?
False
Let d(z) = -z**3 - 2*z**2 + 5*z + 4. Is 11 a factor of d(-4)?
False
Does 6 divide (10/25)/(4/170)?
False
Let g be (8/10)/(4/(-10)). Is 9 a factor of ((-5)/20)/(g/88)?
False
Let z(p) = 44*p - 88. Does 44 divide z(9)?
True
Let s = 0 - -8. Let k(b) = b**2 - 6*b - 9. Is k(s) a multiple of 7?
True
Suppose 22*z = 25*z - 921. Does 18 divide z?
False
Let b(n) be the first derivative of -n**7/840 - 7*n**6/360 + n**5/15 + n**4/2 - n**3 - 2. Let q(h) be the third derivative of b(h). Is 5 a factor of q(-8)?
False
Suppose -2*h + h = -6. Does 2 divide h?
True
Let t be (0 - (1 - 7))*1. Suppose o = -2*g + 13, 3*g - 2*o + t*o - 32 = 0. Is g a multiple of 4?
True
Suppose 0 = -2*p + 4*y + 28, 4*y - 44 = -0*p - p. Let k(b) = b + 6. Let s be k(-3). Suppose q + 2*j = p + 10, 37 = q + s*j. Is q a multiple of 12?
False
Suppose 3*r - 138 = f, -f + 83 = -5*r + 315. Is 8 a factor of r?
False
Let m = -1 + 21. Suppose 0 = 2*b - 5*r - 67, 4*r + 32 = b - 0*r. Let k = b - m. Is 16 a factor of k?
True
Let s = -19 + 58. Does 13 divide s?
True
Suppose -6*t + 12*t = 864. Is 24 a factor of t?
True
Suppose -v + 4*g - g = -28, -3*v + 58 = 4*g. Is v a multiple of 4?
False
Suppose 4*u - 1152 = -4*c - 312, -u - 646 = -3*c. Is 32 a factor of c?
False
Let x = 6 + -4. Suppose 5*n - x = -2*d, -4*n - 3*d - 12 = 2*d. Let j = 4 + n. Is j a multiple of 6?
True
Suppose -u + 380 = -4*q, 3*u - 3*q + 815 = 5*u. Does 37 divide u?
False
Let w(z) = 12*z**2 + 5*z + 6. Does 51 divide w(-6)?
True
Let d(h) = -2*h + 3. Let x be d(-7). Let b = -7 + x. Is 10 a factor of b?
True
Suppose -5 - 4 = 2*q - 5*m, -15 = -5*m. Is (-31)/((-3)/3) - q a multiple of 14?
True
Let l(c) = -5*c - 4. Let m be 2*-2 - -2 - 2. Does 8 divide l(m)?
True
Suppose -86 - 519 = -5*f. Does 10 divide f?
False
Let w be 3/(-3 + 747/246). Suppose -3*s + w = -26. Is 9 a factor of s?
True
Let b be (-12)/2*(0 + -2). Is 24 a factor of (-2 - 50/(-8))*b?
False
Let x = 16 + -12. Suppose 133 = x*z + 5. Does 16 divide z?
True
Let j(m) = -10*m - 5. Let o(w) = 2 + 7*w + 2*w + 2. Let c(a) = -3*j(a) - 4*o(a). Does 4 divide c(-1)?
False
Suppose 5*c = -4*c + 306. Is 34 a factor of c?
True
Let u = -26 + 35. Is u a multiple of 9?
True
Suppose -4*l + 314 + 718 = 0. Is 43 a factor of l?
True
Let s(u) = -73*u. Suppose -3*i - 2 = -i. Let y be s(i). Suppose -5*a = -y + 23. Does 4 divide a?
False
Let c(f) = f**3 + 11*f**2 + 13*f + 4. Is 28 a factor of c(-9)?
False
Is 2 a factor of 34 + 16/(20/(-5))?
True
Let p = 126 + -40. Is p a multiple of 19?
False
Is 3/(((-226)/(-56) - 4)*6) a multiple of 14?
True
Suppose -2*r = -r - 77. Does 11 divide r?
True
Suppose 0*a = 5*a - 240. Let y = 1 + a. Suppose 2*n = -3*l + y, 0 = 5*l + 3*n + 12 - 95. Is 15 a factor of l?
False
Let m = -15 + 31. Is 6 a factor of m?
False
Suppose w - 6*w + 320 = 0. Does 16 divide w?
True
Suppose -3*w - 5*i + 510 = 2*w, -4*w + 410 = 5*i. Does 25 divide w?
True
Suppose 4*b + 3 = -5. Let g be ((-5)/b)/((-3)/(-6)). Suppose -2*h = -g*x - 69, -h - 3 = -0*h + 5*x. Is 11 a factor of h?
True
Suppose -a - 2*a = 3. Let s(v) = 73*v - 11. Let l(j) = 37*j - 5. Let k(n) = -9*l(n) + 4*s(n). Is 14 a factor of k(a)?
True
Let p = 31 - 1. Is p a multiple of 6?
True
Suppose -3*j - 2*z + 34 = 0, -j + 5*z - 9 = j. Let m = 16 - j. Does 4 divide m?
True
Let d(r) = 10*r**2 - 2*r + 11*r + 13 + 0*r + r**3. Let j(w) = w + 3. Let l be j(-12). Is 10 a factor of d(l)?
False
Is 6 a factor of 0 + 4/4 + 41?
True
Let q(u) = 10*u + 4 - 11 - 2. Does 31 divide q(4)?
True
Suppose z = -3*z + 16, w = z + 172. Is 21 a factor of w?
False
Let w(r) = -r**2 + 6*r - 5. Let h be w(4). Let n(i) = i**3 + i**2 - 4*i + 3. Let q be n(h). Suppose -2*u + q = 1. Is u a multiple of 5?
False
Suppose -2*f + 22 = 5*w, w + 8*f - 3*f = 9. Let u = w + 21. Is u a multiple of 14?
False
Does 24 divide (-4)/(-3) + ((-158)/(-3) - 6)?
True
Let g(w) = -6*w. Suppose 3*l = -1 - 5. Let b be g(l). Let a = b + 2. Does 6 divide a?
False
Let z(q) = -3*q - 4. Let f be z(-3). Suppose -9 = 2*m - f*m. Is 1/1*(m - -6) a multiple of 9?
True
Suppose -5*b + 3*q + 1 = 0, 4*b + q = 12 - 1. Suppose 58 = b*z - 10. Is z a multiple of 15?
False
Is ((-3)/6 + -2)*-34 a multiple of 13?
False
Suppose 179 - 3 = 8*f. Is 22 a factor of f?
True
Let v be (-972)/(-20) + (-6)/10. Suppose 0 = -5*y - 8 + v. Is 2 a factor of y?
True
Let a(b) = 6*b - 21. Is a(7) a multiple of 7?
True
Suppose 0 = o - r - 12, 0 = 3*o - r + 4*r - 18. Let c be 6/o*111*-1. Let x = -35 - c. Is 13 a factor of x?
True
Let k(o) be the second derivative of -4*o**3/3 + o**2 + o. Let h be (6/(-8))/((-1)/(-4)). Is k(h) a multiple of 13?
True
Suppose 9*m - 12*m = -12. Suppose m*k = -73 + 265. Is k a multiple of 12?
True
Let q = 10 - 5. Suppose h - q*u = 28, 5*u + 30 = 5. Does 3 divide h?
True
Let t(p) be the third derivative of p**6/30 - p**5/60 + p**4/24 + p**3/3 - 3*p**2. Does 16 divide t(2)?
True
Let r(x) be the second derivative of x**6/180 + x**5/120 - x**3/6 - x. Let b(t) be the second derivative of r(t). Is b(2) a multiple of 6?
False
Let t be 4/18 - (-205)/9. Let h = t - 16. Let r(u) = u + 1. Is r(h) a multiple of 4?
True
Suppose 3*v + 27 = -0*v. Let h = v - -38. Does 12 divide h?
False
Let g(r) = r**3 + 4*r**2 - r. Let o be g(-4). Suppose o*p + 5*d - 135 = 0, p - 3*d - 81 = -2*p. Let b = p + -21. Is b a