a multiple of 2?
False
Suppose -19*w + 2303 = -12*w. Is w a multiple of 28?
False
Suppose 4*m - 1500 = -2*l, 0 = -2*m + 2*l + 504 + 240. Is 21 a factor of m?
False
Suppose -43 = -2*c + j + 154, 2*c + 5*j = 203. Let z = 12 + -5. Suppose z*a - c = 4*a. Is a a multiple of 18?
False
Let c be -1 - 0 - (-3 - 7). Suppose -6 = 4*w + 14, -1046 = 3*u + 4*w. Is c/(-45) + u/(-10) a multiple of 17?
True
Let a(q) be the third derivative of q**4/8 + 2*q**3/3 + 19*q**2. Is a(12) a multiple of 4?
True
Suppose 3*y - 4855 = -4*h, y = -0*h - 5*h + 6055. Is 10 a factor of h?
True
Let x(u) be the third derivative of -u**4/24 + 2*u**3/3 + 8*u**2. Let r be x(2). Suppose -6*k + k + 130 = 5*v, 0 = 3*k - r*v - 73. Does 8 divide k?
False
Let i(f) = -f**2 + 5*f - 15. Suppose x + 5*j = -4, 4*j + 45 = 5*x + 7. Let g be i(x). Does 6 divide (-6)/g + 82/7?
True
Let u = 8 + 2. Does 5 divide ((-189)/(-45))/(2/u)?
False
Suppose 0 = -3*c - 622 + 2581. Suppose 5*d - c = 107. Is 38 a factor of d?
True
Suppose 11*f - 47 = 8. Let p(q) = 21*q - 25. Is 11 a factor of p(f)?
False
Suppose -2*l + 6 = m, -m = l - 3*l - 10. Let j(q) = q - 20. Let y(i) = -1. Let v(g) = -j(g) + 5*y(g). Does 3 divide v(m)?
False
Let y be (-7)/(-1) + 3 + 0. Let g be 14/(-21) + (-602)/(-3). Suppose -g = -3*l + y. Is l a multiple of 19?
False
Let y(r) = -46*r**2 + 3*r - 2. Let o be y(1). Let s = 39 - o. Does 12 divide s?
True
Suppose 5 = l, -2*l + 51 = o + l. Suppose -12*q + o = -11*q. Is q a multiple of 12?
True
Let g(v) = -v**3 - 7*v**2 - 5*v + 9. Let s(j) = -j**3 - 10*j**2 - 7. Let u be s(-10). Is 29 a factor of g(u)?
False
Let j be 1 + -4 - (1 + -7). Suppose 0 = -j*w + 9, -4*y + 99 = 6*w - w. Does 11 divide y?
False
Suppose -186*n = -183*n - 10944. Is n a multiple of 21?
False
Let b(h) be the third derivative of h**4/12 - 19*h**3/6 + 6*h**2. Let o be b(-8). Let q = o + 57. Is 11 a factor of q?
True
Let q be 1/4 + (-60)/(-16). Let r be 151/6 + (12/4)/(-18). Suppose -r - 15 = -q*t. Is 10 a factor of t?
True
Let v(t) be the third derivative of t**7/1260 + t**6/360 + t**5/15 - 6*t**2. Let s(n) be the third derivative of v(n). Does 7 divide s(3)?
True
Let z = 3342 - 1358. Does 64 divide z?
True
Let t = -167 - -200. Is 4 a factor of t?
False
Let o(c) be the first derivative of 14*c**3/3 + c**2/2 - 1. Suppose -2*f = -f - 1. Is 15 a factor of o(f)?
True
Let w = 3488 - 2195. Is w a multiple of 15?
False
Suppose 0 = -5*d - 8*d + 1014. Is 26 a factor of d?
True
Let k = -1159 - -1754. Is 35 a factor of k?
True
Suppose 2*l - 41 = 3*h, -3*h + 2*l + l - 39 = 0. Let w be (h/(-6))/5*0. Let c(d) = -2*d + 5. Is c(w) a multiple of 5?
True
Let c(k) = k**2 + 12*k - 5. Let o be c(-11). Let x = o - -28. Is x a multiple of 4?
True
Suppose 4 = -5*r + 7*r, 3*r = 3*o - 2046. Is o a multiple of 36?
True
Let j(k) = 3*k**2 + k - 2. Let s be j(-3). Let c be (s/(-4))/(4/(-8)). Suppose 3*l + 0*l - c = 5*a, 2 = -l - 4*a. Does 2 divide l?
True
Let l(t) = -t**2 + t. Let z(c) = 82*c**3 + 2*c - 1. Let m(k) = -2*l(k) + z(k). Is 17 a factor of m(1)?
False
Let a = -79 + 114. Suppose -a = 4*b + b + w, 4*b + 5*w + 28 = 0. Let l(n) = n**3 + 8*n**2 + n - 6. Is l(b) a multiple of 9?
True
Let y(o) = 3*o**2 + 4*o - 3. Let d(m) = 2*m + 7. Let x be d(-3). Let h be -3*(-4 + 2 + x). Is 12 a factor of y(h)?
True
Let h(z) = -13*z**2 - 3*z - 2. Let o be h(-1). Let t(i) = i**3 - 5*i**2 + i - 7. Let x be t(5). Is 24 a factor of (7 - 3)/(x/o)?
True
Let x(m) = -37*m**3 + 6*m**2 + m + 6. Suppose 8*u - 11*u = 33. Let j(i) = -74*i**3 + 11*i**2 + 2*i + 11. Let f(t) = u*x(t) + 6*j(t). Is 10 a factor of f(-1)?
False
Suppose 0 = -6*w + 5*w - 25. Let b = w + 37. Is b a multiple of 5?
False
Let x(f) = -f**3 + 5*f**2 + 6. Let w be x(5). Let v(y) = w + y**2 + 2*y + y + 0*y**2 + 0. Does 8 divide v(-5)?
True
Let t(d) = -d - 9. Let y be t(-9). Suppose y = m + 4*i - 65, i + 215 = 5*m - i. Suppose 2*c - 2*k - 74 = 0, -c = k - 6*k - m. Is c a multiple of 10?
False
Let v = -777 + 1107. Is 3 a factor of v?
True
Let g be 104/40 + 2/5. Suppose -3*d - 4*h = -g*h - 200, d = 5*h + 40. Is d a multiple of 5?
True
Let g(h) = h**3 + 4*h**2 + 4*h + 3. Let i be g(-3). Suppose 466 = 4*d - 5*s, d + 5*s - 332 = -2*d. Suppose c + c - d = i. Does 12 divide c?
False
Suppose 44*n = 47*n + 39. Let o(s) be the third derivative of -s**4/8 + 19*s**3/6 - 3*s**2. Is o(n) a multiple of 19?
False
Let u(t) = 4*t - 3*t**3 - 4*t**2 - t + 4*t**3. Let x be u(2). Let i = x - -11. Does 9 divide i?
True
Let s = -35 + 60. Let y(o) = 42*o**2 - s*o**2 - 2*o - 16*o**2. Is 4 a factor of y(5)?
False
Suppose -8*h - 4*h = -24. Suppose b - 44 = -2*c, -h*c - 2*b + 8 + 32 = 0. Does 8 divide c?
True
Let z = 67 - -151. Suppose -3*w = -3*o - 222, -5*w - z + 572 = 3*o. Is 18 a factor of w?
True
Let j = -8 - -6. Suppose -27*f - 330 = -24*f. Is 22 a factor of f/j*(-24)/(-20)?
True
Let a(o) = -o**3 + o**2 + o - 1. Let k be a(1). Suppose 0 = 5*g - d - 890, k = 5*g - 4*d - 74 - 831. Is 24 a factor of g?
False
Let n = 136 + -130. Is 7 a factor of (n - 13)*(-48)/7?
False
Let s(o) = -o**2 - 10*o - 11. Let t be s(-8). Suppose -2*d = -4*a + 6, -3*a - 2*d + 3 = -t. Does 11 divide a/(-9) - 382/(-18)?
False
Let a = -10 - -108. Is 3 a factor of a?
False
Let z(u) = u**2 + 10*u - 24. Is z(9) a multiple of 17?
False
Let n(d) be the first derivative of -545*d**2/2 - 3*d + 4. Let f be n(3). Is (-2)/8 - f/24 a multiple of 25?
False
Let y(u) = -u - 6. Let z be y(-8). Suppose z*t = 4*t - 10. Suppose t*f + 11 = 161. Does 10 divide f?
True
Let g(o) be the first derivative of o**4/12 + o**3/6 - 14*o + 3. Let u(w) be the first derivative of g(w). Is 4 a factor of u(-4)?
True
Let y be 5*3/(45/(-12)). Let c = 6 + y. Does 2 divide 1/(c/14 - 0)?
False
Suppose -6635 = 28*i - 66135. Is i a multiple of 36?
False
Let t(p) = -350*p. Let c be t(-1). Suppose 4*u - c = -u. Suppose 5*x = -3*r - 0*x + 64, 3*r - u = x. Is 20 a factor of r?
False
Let u = -20 + 53. Is 2 a factor of u?
False
Suppose 3*z = -0*z - 30. Is 36/z*(-45)/6 a multiple of 9?
True
Let g(z) = z**3 - 2*z**2 - 6*z - 4. Let q(s) = -2*s**3 + 3*s**2 + 11*s + 7. Let c(v) = 7*g(v) + 4*q(v). Let j be c(-6). Let y = -87 + j. Is 9 a factor of y?
True
Let s(v) be the second derivative of v**3/6 + 17*v**2/2 + 4*v. Let g(h) = -11*h. Let q be g(-1). Does 11 divide s(q)?
False
Suppose -5*r - 197 = 3*i - 1673, 0 = -4*i - 2*r + 1954. Does 20 divide i?
False
Does 28 divide 901 + 0 + (-4)/((-52)/(-65))?
True
Let s(r) = 27*r**3 + r**2 + r - 1. Let p be s(2). Let q = p + -388. Let m = -119 - q. Is 16 a factor of m?
True
Let z(u) = -8*u - 18. Let n be z(-9). Does 12 divide ((-72)/n)/(4/(-246))?
False
Let k = -388 - -670. Suppose 0*b - k = -6*b. Is b a multiple of 6?
False
Suppose -699 = -7*z + 1457. Does 28 divide z?
True
Let h(y) = 2*y**2 + 9*y - 263. Is h(19) a multiple of 9?
True
Let a be 2/(-3) - (-20)/(-15). Let x be a - 130 - (-2 - 1). Is 4 a factor of x/(-12) - 2/(-8)?
False
Suppose -4*v = 61 + 79. Let k = -431 + 433. Let z = k - v. Is 13 a factor of z?
False
Let w be -1 + 5 + (-38 - -16). Let u = 118 + w. Is 10 a factor of u?
True
Let r = -447 - -747. Does 8 divide r?
False
Let u(g) = 169*g**2 + 5*g - 14. Is 8 a factor of u(2)?
True
Let g(b) = 5*b + 0*b - 7 - 6*b**2 + 11 + 4*b**3 - 3*b**3. Let f be g(5). Suppose -i + 180 = f*i. Is 8 a factor of i?
False
Let u be (-3)/27*2 - 2126/(-9). Suppose -u = -5*j - 11. Does 5 divide j?
True
Is 6 a factor of (16 - -4)*((-99)/(-15) - 1)?
False
Let m(v) = -7*v**3 + 2*v**2 - 3*v + 2. Let i be m(1). Let l(p) = 2*p**3 + 14*p**2 - 3*p - 6. Does 15 divide l(i)?
False
Let u = 44 + -42. Let x(o) = 21*o - 4. Is 14 a factor of x(u)?
False
Suppose -765 = -7*l + 2*l. Let x = l + -88. Does 5 divide x?
True
Is ((-5895)/(-20))/(5/(1200/18)) a multiple of 131?
True
Let l be 1 + 3*(-10)/3. Let n = -5 - l. Suppose n*a - 28 = 3*a. Is 14 a factor of a?
True
Suppose -58 = -4*z - 5*b, 5*z + 2*b = 6*b + 52. Suppose 2*x = -5*u - 15, 0 = u + 3*u - x + z. Let w = 5 - u. Is w a multiple of 4?
True
Let p = 137 - -247. Does 48 divide p?
True
Let c be (6/(-4) - -2)*8. Let t be (-2)/c + (-70)/(-20). Suppose -55 = -5*x - 5*k, -3*x + 6*x = t*k + 9. Is 4 a factor of x?
False
Let b(p) = 6 + 5*p - 2*p**3 - 1 - 4*p**2 - p**3 + 5*p**2. Let w be b(-2). Let t = 42 - w. Is t a multiple of 5?
False
Let w be ((-2)/5)/(2/