11*m(k). Is x(7) a multiple of 14?
True
Suppose -u = -3*u + 20. Let w = u - 8. Suppose s - w = 10. Is 4 a factor of s?
True
Let q(o) = 3*o**3 + 2*o**2 + 7*o - 34. Is q(10) a multiple of 29?
False
Suppose l + 0*l = -100. Let r be (2/4)/((-10)/l). Suppose -r*z + 1 = -204. Is 8 a factor of z?
False
Suppose -2*q = w + 2, 0*q + 1 = -2*w - q. Suppose w*g = -5*z - 2*g + 251, 2*z + g - 101 = 0. Is 11 a factor of z?
False
Let v be (258/(-5) - 2) + 14/(-35). Let h = v + 106. Is h a multiple of 13?
True
Suppose 4*r - 499 - 5666 = -5*v, -4*v + 5*r = -4891. Is 21 a factor of v?
False
Does 22 divide 462/(-18)*(-330)/35?
True
Suppose 0 = -3*t - z + 12 - 1, 2*z + 8 = 0. Suppose -5 - t = -2*u. Suppose -u*s = -22 - 48. Is 8 a factor of s?
False
Suppose 255 = 4*v - 281. Is 2 a factor of v?
True
Suppose 12 + 19 = b. Suppose 5*z - b = 19. Suppose -r + z = 3. Does 7 divide r?
True
Let u = -399 - -399. Suppose -219 + 45 = 3*b. Does 14 divide 6/(-3) - (b + u)?
True
Suppose 0 = -4*n - 4*w + 12, n + 5*w - 1 = 3*w. Suppose -3*d - 14 = q - 2*q, 0 = 5*q - n*d - 20. Is 16 a factor of -26*(0 + q + 0)?
False
Let f be (-6)/(-15)*6 - 2/5. Let q = -2 + 5. Suppose -q*h = s - f*h - 8, s = 4*h - 2. Does 2 divide s?
True
Suppose 3*p = 3*c + 318, -3*c - 578 = -4*p - 155. Does 3 divide p?
True
Suppose 2 = g, 2*g = -3*k - g + 51. Let t be -3*5/(k/(-2)). Suppose -2*m = t*n - 48 - 20, 2*n - 179 = -5*m. Is m a multiple of 10?
False
Let v = 15 - 0. Let g(r) = r - 5. Let j be g(5). Suppose 0 = -5*p + v, 2*n - 86 = -j*n + 2*p. Does 15 divide n?
False
Suppose -3*u - 3*r + 153 = -2*u, 0 = -2*u - 5*r + 303. Is 8 a factor of u?
True
Let z(b) = 2 - 13*b - 19 - 33. Is z(-8) a multiple of 4?
False
Let o(h) = -52*h**3 + 2*h**2 - 2. Is o(-1) a multiple of 26?
True
Suppose -8621 = -12*l + 14083. Is l a multiple of 17?
False
Let h(x) = 12*x**2 - 14*x + 13. Does 3 divide h(5)?
True
Let t = -130 - -276. Does 3 divide t?
False
Suppose 0 = -0*m + 4*m - 12. Let t be m/(-4) - 142/(-8). Suppose 5 = -3*h + t. Is h a multiple of 2?
True
Suppose 4*a - 4*u - 68 = -2*u, -22 = -2*a - 2*u. Suppose -a = -3*n + 66. Let q = -11 + n. Does 4 divide q?
True
Suppose -4*o + 396 = -4*j, -4*j + 3*j = o + 107. Let z = j + 222. Is 16 a factor of z?
False
Suppose 4*v = 2*s - s + 763, -s + 5 = 0. Is 9 a factor of 25*v/15*(-3)/(-12)?
False
Let a be 1/4 - -119*12/(-16). Let l = -55 - a. Is l a multiple of 34?
True
Let v = -116 + 1238. Is v a multiple of 45?
False
Suppose 2*p - 47 = p + 4*n, 0 = n - 1. Let g = p + -90. Does 6 divide (-1)/(-1 - 36/g)?
False
Let n = -80 + 252. Does 3 divide n?
False
Let x = 1148 + -757. Is 17 a factor of x?
True
Let v = 1782 + -1243. Is 28 a factor of v?
False
Let q = 815 + -755. Does 20 divide q?
True
Let g(n) = -2*n - 11 + 8*n - 4*n. Let u be g(6). Is 6 a factor of ((-2)/(-6))/(u/36)?
True
Let c(b) be the second derivative of -7*b**3/2 - 2*b. Does 21 divide c(-5)?
True
Suppose 8*p + p - 54 = 0. Let r be (-8)/28 + 46/14. Suppose 15 = p*c + r. Is 2 a factor of c?
True
Let l = -67 + 34. Let h = l - -40. Does 7 divide h?
True
Let y(x) = -x**3 + x**2 + 4*x + 1. Let p be y(3). Let l be 10/p + (1 - -5). Suppose l*g - 240 = -4*n, 3*n - 5*g = n + 92. Does 28 divide n?
True
Suppose 20 = -4*v, v + 8 = i - 0*v. Let n be ((-26)/i)/(4/(-6)). Let p = 23 - n. Is p a multiple of 3?
False
Suppose -2*x - 12 = -4*v - v, -4*v + 2*x + 10 = 0. Is 5 a factor of 10/((-1)/(v/(-4)))?
True
Let d be (-16 - 0) + -3 + -1. Let z be (-23)/(d/16 + 1). Suppose -4*o + z = -20. Does 7 divide o?
True
Let c(f) = 11*f + 1. Let i be (-3)/(21/(-65)) + (-6)/21. Is c(i) a multiple of 20?
True
Let x(c) = -63*c - 57. Let p(k) = -32*k - 28. Let i(t) = -5*p(t) + 3*x(t). Is 18 a factor of i(-4)?
False
Let f(v) = 7*v - 11. Let u = -10 - -13. Let c be u*1*(-3)/(-1). Is f(c) a multiple of 11?
False
Suppose 0 = -10*z + 2*z + 40. Suppose 768 = z*a + a. Is a a multiple of 18?
False
Let h(l) = -4*l**3 - 4*l**2 - 7*l. Let t be h(-6). Suppose 282 = -6*k + t. Is 16 a factor of k?
True
Let b be ((-8)/(-6))/4*0. Let t(c) = c + 4. Let v be t(b). Suppose -8*k + v*k + 168 = 0. Is k a multiple of 21?
True
Suppose -3*z + 3*a = -171, z + z - 111 = a. Is z a multiple of 8?
False
Let l = 88 - 90. Does 12 divide l*(-4 + 5) + 62?
True
Let v(k) = -4*k**2 - 6*k + 16. Let q be v(-7). Let p be q/(-7) - 4/(-14). Let w = p - 14. Does 2 divide w?
True
Let v(s) = -52*s + 37. Is v(-5) a multiple of 33?
True
Let u(l) = 2*l - 8. Let k(x) = x**2 + x - 2. Let r be k(-3). Let y be u(r). Suppose 0*s + 3*s - 5*g - 313 = 0, 4*s - 4*g - 404 = y. Is 32 a factor of s?
True
Suppose 0 = 2*y - 95*x + 98*x - 3357, -3*y - x + 5053 = 0. Is 31 a factor of y?
False
Let t(l) = l**3 - 9*l**2 + 7*l + 7. Let x be t(8). Let a be (x - 6/(-4))*18. Suppose 4 = u - n - 3, -3*u - n + a = 0. Is u a multiple of 4?
True
Let j(c) = 2*c**3 - 9*c**2 + 7*c - 6. Let n be 3*((-33)/(-9) - 3). Suppose -2*x = -0*w + 4*w + 8, n*x = 5*w + 28. Does 3 divide j(x)?
True
Let j(k) = k**2 - 26*k + 34. Let y be j(25). Is 1 + y/3 + 156 a multiple of 9?
False
Let b = -417 - -680. Is 16 a factor of b?
False
Let n(i) = i**2 - 14*i - 11. Let s be n(16). Suppose s*m - 3114 = 12*m. Is m a multiple of 21?
False
Let v(w) = w**2 + w. Suppose 2*j = -5*h - 5, -5*h - 15 = -0*h + 4*j. Suppose h = -f + 5. Does 12 divide v(f)?
False
Let z(w) = 3*w**2 - 45*w - 42. Is 12 a factor of z(17)?
True
Suppose -140*r - 900 = -145*r. Does 25 divide r?
False
Let p be -2*(-2)/12 - 620/(-3). Let a = p - 101. Does 53 divide a?
True
Let w(p) = -1 - 1 + 4 + p**2 + p**3 - 1. Let d be w(-1). Is (-8 - -10)/(d/11) a multiple of 12?
False
Let o(f) = -f**3 + 3*f**2 + 2*f - 2. Let q be o(3). Let m be ((5 - 2) + q)/(-1). Does 15 divide 58*1 - (m - -5)?
True
Let o be (-4)/18 - (-128)/9. Let x = 17 - o. Suppose -f = 3*b - 55, -x*b = f + 2*f - 57. Is 7 a factor of b?
False
Is 20 a factor of ((-2)/(-4) - (-100)/(-40)) + 22?
True
Suppose -5*z + 3850 = -2*x, x = -x - 10. Does 16 divide z?
True
Suppose 5 = -q + 66. Let u = q - -56. Is 16 a factor of u?
False
Suppose 5810 + 685 = 4*c - 3*d, -4*c + 6470 = 2*d. Does 45 divide c?
True
Let k(q) = -14*q - 50. Is 24 a factor of k(-7)?
True
Let b = -130 - -86. Let w = b - -77. Does 7 divide w?
False
Let l be (3 + (1 - 5))/((-1)/(-1)). Let i(y) = -152*y - 2. Is 38 a factor of i(l)?
False
Let y(i) = -43*i**2 - 3*i + 2. Let u be y(1). Let m(z) = 3*z**3 + 2*z**2 + z + 1. Let j be m(3). Let c = j + u. Is 12 a factor of c?
False
Let c(y) = -y - 7. Let j be c(-19). Is (-35)/(-2)*(j - 6) a multiple of 25?
False
Let z(o) = 5*o**3 - 28*o + 16. Does 147 divide z(8)?
True
Let o(n) = 48*n - 276. Is o(35) a multiple of 27?
True
Suppose -9*m = -13 - 5. Suppose -m*c = -c - 65. Does 13 divide c?
True
Let z(u) = u - 4. Let r be z(-1). Let j(m) be the second derivative of m**4/4 + 2*m**3 + 3*m**2/2 - 2*m. Does 8 divide j(r)?
False
Let i(t) = -t**3 - 9*t**2 - 2*t + 17. Suppose -3*n = -5*p - 19 - 35, p + n + 6 = 0. Does 7 divide i(p)?
True
Let q be (-3)/2*198/(-27). Suppose q*g = 16*g - 285. Is g a multiple of 8?
False
Let b(x) = -11*x - 4. Let q(p) = -43*p - 17. Let r(n) = 9*b(n) - 2*q(n). Let h(k) = k**2 - 10*k + 4. Let t be h(9). Is 18 a factor of r(t)?
False
Let b = -163 - -307. Suppose 3*h = -h + b. Let n = -18 + h. Is n a multiple of 9?
True
Let y = -9 + 11. Suppose y*i - 146 - 142 = 0. Suppose j - i = -2*j. Does 12 divide j?
True
Suppose -p = -239 - 76. Is 45 a factor of p?
True
Let q = -854 - -1116. Is q even?
True
Let d be -1 - 12/(1 - 5). Is d/(-2) - (-30 + -4) a multiple of 11?
True
Let q = -1219 + 2035. Does 17 divide q?
True
Let t = -157 + 285. Let f = t + -92. Does 18 divide f?
True
Let k(c) = -28*c - 2. Let v be (-96)/(-18) + (-6)/(-9). Let w be v + -3 + (1 - 5). Is 13 a factor of k(w)?
True
Let x be (-1 + 0 + 3)*(-15)/(-2). Suppose -x = v - 6*v, -93 = -3*g - 5*v. Is 13 a factor of g?
True
Suppose 0 = -3*b + b + 4*m + 1290, 4*b - 2541 = -5*m. Is 109 a factor of b?
False
Suppose 3 = 4*d - 5. Suppose d*l = 4*l + 2. Does 15 divide 20/((-4)/(-4)) - l?
False
Let k(g) = -405*g**3 - 7*g**2 - 13*g - 8. Is 95 a factor of k(-2)?
True
Let b = 73 + -66. Suppose 13*p - b*p = 156. Does 13 divide p?
True
Suppose 5 - 15 = -5*z. Is ((-24)/(-20))/(z/95) a multiple of 30?
False
Let c be 1/(-1)*(-1 + -11). Let z be (-236)/(-24) - (-2)/c. Suppose -5*d 