10 = -y - v. Let x = y - -101. Does 16 divide x?
False
Suppose 3169*v - 7855 = 3164*v. Is v a multiple of 58?
False
Suppose 0 = -10*f + 7*f + 6. Suppose -z + 17 = -5*v, -z + f*v + 50 = 18. Is z a multiple of 10?
False
Let m(u) = u**3 + 16*u**2 - 14*u + 28. Let k be m(-17). Let n = 66 + k. Does 5 divide n?
False
Suppose 23*d = 19*d + 2544. Is 8 a factor of d?
False
Let v(d) = d**2 - 5*d. Let n be v(5). Suppose 10 = 5*m - n. Suppose 35 + 5 = m*k. Is 15 a factor of k?
False
Let g = 936 + -765. Does 57 divide g?
True
Let t(f) = -f**3 - 21*f**2 + 52*f - 75. Does 65 divide t(-25)?
False
Suppose 11*z + 336 = 23*z. Is 27 a factor of z?
False
Suppose -18070 = -5*k - 2*y, -10816 = 18*k - 21*k + 4*y. Is k a multiple of 42?
True
Suppose -15 = 3*r, 6*r + 17 = -2*z + r. Suppose -k + 0*k = 3*o - 64, 4*k = -z*o + 96. Does 20 divide o?
True
Suppose 2*z = 3 - 1. Is 5 a factor of -2*1/(z/(-7))?
False
Let h be (48/30)/(2/(-25)). Is h/6*(-36)/5 a multiple of 6?
True
Let w(p) = 2*p - 7. Let k be w(13). Let d = k - 3. Is d a multiple of 8?
True
Let q = -242 + 351. Suppose 8*j - 96 = 3*i + 4*j, -j - q = 4*i. Let k = i + 53. Is 21 a factor of k?
False
Let t(d) = -d**3 - 5*d**2 - 8*d - 1. Does 8 divide t(-6)?
False
Suppose 3*g - 889 = -4*n, 5*n = -3*g + 5*g + 1094. Let s = n - 116. Does 25 divide s?
False
Let u = -15 - -15. Suppose -v + u*h = h + 20, -2*v + 4*h = 52. Is 22 a factor of ((-44)/(-6))/(v/(-66))?
True
Let n = -184 + 366. Is n a multiple of 26?
True
Suppose 0 = 9*f + 63 + 81. Is 37 a factor of (-195)/(-2*(12/f)/(-1))?
False
Let z be -2*(0 - 2) + -45. Let o = -13 - z. Let j = o + -21. Is j even?
False
Let k = -981 - -2112. Is k a multiple of 99?
False
Let v = 872 - -316. Does 44 divide v?
True
Suppose 0*t - 7 = 4*q - 5*t, -q = -t + 1. Suppose q*b - 3 = w, 4*b - 21 = -0*w - w. Is w a multiple of 4?
False
Suppose 27 + 23 = 10*v. Suppose 9*u = 4*u - 2*y + 1708, 0 = -5*u - v*y + 1705. Is 41 a factor of u?
False
Let d be (-52)/(-6) + (-15)/(-45). Does 12 divide d*1/(-2)*840/(-45)?
True
Suppose d = -2*m + 80, -2*d + 120 = 3*m - 5*d. Suppose -3*h + 4*h = 3*p + m, -h = 3*p - 46. Is 13 a factor of h?
False
Let v = -216 - -691. Suppose 5*q - v = 2*a, 2*a = 7*a + 25. Let k = 155 - q. Does 14 divide k?
False
Suppose 25*o = 20*o + 15. Suppose -f = -o - 1. Suppose -y - 56 = -3*j, 0 = -y - y - f. Is 18 a factor of j?
True
Suppose 7*u + 6 = 1406. Is u a multiple of 15?
False
Suppose 42*w = 6*w + 39168. Does 13 divide w?
False
Let y be 20/110 - (-84)/22. Suppose 0 = -4*i - y - 36. Is 6 a factor of (-4 - i)/((-2)/(-4))?
True
Does 14 divide (-3 - (-1 - -40))*(-1421)/29?
True
Suppose 3*c = l + 13, -3*c - c + 29 = l. Let f be (-75)/c*24/(-15). Is 10 a factor of f/(3*2/12)?
True
Let f be (-5)/(-10) + 6/4 - 4. Let z = 37 + f. Does 7 divide z?
True
Let j be (7 - 0)*66/(-77). Let c(w) = w**2 - 4*w + 10. Does 14 divide c(j)?
True
Let t be (-34)/(-17)*(1 - (-2 - -1)). Is 6 a factor of (9 - 1)/(t/36)?
True
Suppose 7*a - 8 - 20 = 0. Suppose a*f + 32 = 2*i + i, 2*f = 5*i - 72. Does 3 divide i?
False
Suppose 12847 + 977 = 16*i. Does 12 divide i?
True
Suppose 5*v = 3*v + 5*j + 735, -5*v + 4*j + 1829 = 0. Suppose -4*k + v = k. Does 17 divide k?
False
Let s(i) = 16*i**3 + 10*i**2 + 41*i + 19. Suppose -3*m + 1 + 32 = 0. Let t(u) = -3*u**3 - 2*u**2 - 8*u - 4. Let h(k) = m*t(k) + 2*s(k). Is 25 a factor of h(-4)?
True
Let f(k) = -k**3 - 2*k**2 - k + 6. Let i be f(-5). Let u(w) = w**3 - 19*w**2 - 13*w - 13. Let o be u(20). Let g = o - i. Does 14 divide g?
False
Let a = 704 - 364. Does 4 divide a?
True
Let w(z) = z - 2. Let u be w(2). Suppose q + 3*q - 616 = u. Is q a multiple of 14?
True
Let c(l) = -28*l - 63. Does 19 divide c(-7)?
True
Let q(m) = 7*m**3 - 19*m**2 + m + 18. Let b(v) = -3*v**3 + 9*v**2 - 9. Let y(d) = 5*b(d) + 2*q(d). Is y(7) even?
False
Let p(r) = -r + 5. Let k be p(-6). Let u be 9/(-6) + k/2. Suppose u*l + o = 136, l + 5*o + 125 = 4*l. Does 7 divide l?
True
Let n be (-1)/((-7)/2)*21. Is 10 a factor of (20/n)/(3/27)?
True
Suppose -3*o + 145 = -26. Let c = o - 28. Is c a multiple of 19?
False
Let m = 18 - 8. Let h = m + -8. Suppose -a = 2*a, -j - h*a = -29. Is 29 a factor of j?
True
Let c(b) = -7*b + 12. Let v(a) = -8*a + 13. Let l(m) = -6*c(m) + 5*v(m). Suppose -n = 3*u - 31, 3*u = -4*n + 6*u + 49. Does 8 divide l(n)?
False
Let f(a) = -22*a**2 + 66*a + 5. Is 5 a factor of f(3)?
True
Suppose -8*m = 1679 - 5823. Is 16 a factor of m?
False
Suppose 1 = -u - x + 6*x, u + x - 5 = 0. Suppose 0 = u*o - 1406 - 674. Does 26 divide o/(-16)*(-16)/10?
True
Suppose -o - 4*r + 577 = 0, -3*o - 2*r + 2336 = o. Suppose o = -0*g + 5*g. Suppose -4*n + g = 3*f, 4*n - f - 123 = -6*f. Does 9 divide n?
True
Let a = -915 + 1680. Is 17 a factor of a?
True
Suppose 3*c = 5*c. Suppose 2*o = s - 1, 5*o - 25 = -c*o. Let u = 41 - s. Does 13 divide u?
False
Suppose -t - z = 124 - 1115, -3*t + 2*z + 2973 = 0. Is t a multiple of 13?
False
Let n(h) = h**2 - 5*h - 9. Let f be n(9). Is 2*3/9*(-6 + f) a multiple of 7?
True
Let x(p) = 164*p**2 + 13*p - 4. Does 37 divide x(5)?
False
Let h(q) = -3 - 14*q - 8 + 2 - q**2. Is 6 a factor of h(-11)?
True
Let j be (6/(-4))/((-6)/8). Suppose -21*z + 10*z + 33 = 0. Suppose j*l = -z + 69. Is l a multiple of 11?
True
Let k(d) = 6*d**2 + 0*d**2 + 2*d**2 - 2*d. Does 7 divide k(2)?
True
Does 20 divide (-180)/((-3)/((-9)/(-3)))?
True
Let r = -8 - -13. Suppose -f - r = -1. Let l = f + 25. Is 7 a factor of l?
True
Let r = 5322 + -1211. Is 17 a factor of r?
False
Let a(p) = p - 6. Let j be a(6). Let h be (1 - 0)*(11 + -8 - -2). Suppose 9 = 3*v, -4*r + h*r - 4*v + 1 = j. Is r a multiple of 11?
True
Let g be (-1)/(-2 - (-18)/10). Let z = g - -1. Let c(o) = 2*o**2 - 7*o + 9. Does 21 divide c(z)?
False
Let h(o) = 2*o**2 + 15 - 28*o - 4 + 3 + 41*o. Is 14 a factor of h(-14)?
True
Suppose -3*w - 22 + 385 = -4*t, w + 4*t = 121. Suppose -2*m + m - w = -2*p, -3*m = p - 57. Suppose -4*u = u - p. Does 7 divide u?
False
Let r be (-1 - (-3)/1)/1. Suppose 523 = 5*p - r*i, 0*i + i = p - 104. Is p a multiple of 16?
False
Suppose -10*c = -9*c - 3. Suppose 25 = -c*d + 8*d. Suppose -d*b - 265 = -5*h, 3*h + b - 6*b - 169 = 0. Does 16 divide h?
True
Suppose -3*g - 2*g = 5*k + 165, -109 = 3*k - 2*g. Suppose -4*o - 44 = -4*a, 3*o = a - 15 + 2. Let z = a - k. Does 15 divide z?
True
Suppose -5*i + 483 = -m - 13, 2*i - 4*m = 184. Let j = -89 + i. Does 8 divide j?
False
Let f = -346 - -516. Does 5 divide f?
True
Suppose -r + i = -1808, r + r - 3*i - 3617 = 0. Is 139 a factor of r?
True
Suppose -6*r + 4*w = -11*r + 1585, -3*r = -3*w - 951. Suppose -3*b = -2*s + 3*s - 307, -3*b = -s - r. Does 26 divide b?
True
Let v(j) = 3*j. Let f be v(-5). Let c(h) = h**3 - 9*h**2 - 11*h + 11. Let s be c(9). Is 5/f - s/3 a multiple of 10?
False
Suppose -3*r + j = -2*j - 3, -2*r - 4 = 4*j. Suppose r = -6*d + d + 90. Is 11 a factor of d?
False
Let p = -1884 - -3436. Is 34 a factor of p?
False
Let g be (-1212)/(-21) - 8/(-28). Suppose z = -3*y - 45, 0*y = -4*y - 2*z - g. Is (-372)/y + (-2)/8 a multiple of 23?
True
Suppose -3*c = 2*p - 2649, -6*p - 5*c + 6615 = -p. Does 8 divide p?
True
Let w(i) = -6*i + 12. Let t be 78/18 + (-2)/(-3). Suppose -2 - 3 = t*o - 5*s, 0 = 3*o + 4*s + 38. Is 14 a factor of w(o)?
False
Suppose 2*v + v = -66. Let j = 21 + v. Does 6 divide 114/8 + j/4?
False
Let u be 3/(-12) - (-2)/8. Suppose -3*g - 21 - 15 = u. Let f = 54 + g. Is 14 a factor of f?
True
Suppose -l = -4*v + 5033, 3*l = -v + l + 1265. Is v a multiple of 19?
False
Suppose -2*h = -3*r + 85, -2*r - 2*h - 3*h + 44 = 0. Let l be (-6)/r - 8/(-36). Let c = 9 - l. Does 3 divide c?
True
Let l(x) = x**3 + 30*x**2 + 39*x - 6. Does 10 divide l(-28)?
True
Suppose -3*m - 6 = -0. Let k be 2*(-4 - m) - -6. Suppose 2*f - 3*f + 5*s = -49, 6 = k*s. Does 18 divide f?
False
Suppose -u - 2*l = -1560, -1529 - 3143 = -3*u + 2*l. Does 60 divide u?
False
Let v(i) = -8 + 2*i**2 + 26 - 5*i**2 - 14*i**2 - 16*i + i**3. Is 5 a factor of v(18)?
False
Suppose -6*g + 12 = -4*g. Suppose g*c = 5*c + 20. Suppose q + c = j, -40 = -2*j + 8*q - 3*q. Does 8 divide j?
False
Let s = -65 - 31. Let g be (s/8)/(1 - 2). Let x(l) = -l**3 + 11*l**2 + 13*l + 6. Is 9 a factor of x(g)?
True
Let o be 88/9 - (-6)/27. Let s(t) = 6*t - o*t**3 + 5*t**2 + 9*t**3 - 13 + 4*t**2. Is 27 a factor of s(9)