e c + 0*c + 20 = 0. Suppose 0 = 3*m - 5*s - 70, -3*s + 45 = m + 3. Let b = m + c. Does 5 divide b?
True
Let d be 5/2 + 12/8. Let s be (168/9)/d*6. Does 3 divide s/6 + 2/(-3)?
False
Suppose 57 = 2*a - 239. Suppose -4*o - 2*q = -3*q - 113, a = 5*o + q. Suppose -b = 2*i - o, -b + 9 + 20 = 3*i. Is b a multiple of 19?
False
Let g(q) = q + 10. Let l be g(9). Suppose -25 = -4*j + l. Does 3 divide j?
False
Suppose 5*i - 8*i = -90. Is 4 a factor of i?
False
Let x = 3 + 0. Suppose 4*f = -m + 24 - 5, -12 = -x*f. Suppose m*c - 46 = -4*w + 45, -2*w = 3*c - 89. Is c a multiple of 18?
False
Let h(s) be the second derivative of -s**4/12 + s**3 + 3*s**2 - 5*s. Is h(5) a multiple of 11?
True
Let h = 71 - 2. Is 15 a factor of h?
False
Suppose 4*h = 3 - 19. Let t(y) = -11*y + 4. Let u be t(h). Suppose -3*l = -4*k + 34, -4*k + 5*l - 10 + u = 0. Does 7 divide k?
True
Let s(c) = c + 40. Is 18 a factor of s(-17)?
False
Suppose 3*l + 2*n - 240 = 0, -n + 393 = 4*l + l. Suppose -9 = 3*i, -b - 12 = -4*b + 4*i. Suppose b = -u - u + l. Is 13 a factor of u?
True
Let v = -240 + 359. Suppose 4*s = v + 41. Is 20 a factor of s?
True
Suppose 3*u = 61 + 47. Let g = u - -11. Is g a multiple of 12?
False
Suppose 3*y - 8 = -2. Suppose -2*u + 2 = 0, -5*u + 2*u + 33 = y*p. Is p a multiple of 3?
True
Suppose -2 + 38 = c. Is 18 a factor of c?
True
Is (-36)/15*490/(-4) a multiple of 25?
False
Let a(j) be the first derivative of 2*j**3/3 + 5*j**2/2 - 2*j - 2. Let c be a(-4). Let w = c + -7. Is w a multiple of 2?
False
Let n be (2/6)/(2/54). Let a(v) = 4*v**2 + 8*v - 17. Let l(s) = s**2 - s - 1. Let m(j) = a(j) - 5*l(j). Does 12 divide m(n)?
True
Let n(t) = -4*t - 8. Let x = 51 - 26. Suppose 0*r = 5*r + x, 4*r + 38 = -3*i. Does 11 divide n(i)?
False
Suppose 3*c = 13 + 17. Let p be (-1 - -11)*5/c. Suppose -p*z + 28 = 2*q, -3*q - 4 = -4*q - 5*z. Is 9 a factor of q?
False
Let x(c) = c + 4. Let q be x(-2). Let t be q/(-4)*(-8 - -2). Suppose t*u - 8*u + 85 = 0. Is 10 a factor of u?
False
Let s = 136 + -58. Suppose s - 11 = -5*w - 4*h, 0 = -w - 3*h - 9. Let m = 51 + w. Is 21 a factor of m?
False
Suppose 0 = 8*l - 154 + 18. Does 2 divide l?
False
Suppose -15 = -5*h + 3*a, a = 2*h - a - 2. Let m = h + -2. Is 2 a factor of m?
True
Suppose 0 = 3*p - 8*p + 150. Is p a multiple of 10?
True
Let u(k) = -2*k**3 - 6*k**2 - 6*k + 3. Suppose 3*f + p - 28 = 8*f, 2*p = -5*f - 34. Let x be u(f). Suppose 2*o - o = -5*m + x, 51 = m - 2*o. Does 15 divide m?
False
Let h(c) = 2*c + c + 2*c**3 + 2*c**3 - 5*c**2 + 2 - 2*c**3. Is 5 a factor of h(3)?
True
Let d be 4/(-6) - 33/(-9). Suppose 1 = 2*p + d. Is 1 + (p - -3) + 1 even?
True
Let c(p) = -p**3 + 5*p**2 - 4*p + 2. Let m(n) = n - 4. Let a be m(6). Suppose 5*g - 7 = 2*i, a*i + 2*g - 6*g + 4 = 0. Is 2 a factor of c(i)?
True
Let t = 77 + -23. Suppose 3*m = -3*g + 240, -m - 246 = -4*g + 89. Let b = g - t. Does 15 divide b?
False
Suppose 2*c - 3*c + 39 = g, -5*c + 186 = 2*g. Is c a multiple of 9?
True
Does 12 divide (-31 + 1)/(12/(-24))?
True
Let l be (8/(-20))/(1/(-10)). Suppose 2*d - 7*j - 72 = -3*j, 3*j + 149 = l*d. Is 19 a factor of d?
True
Suppose 4*n - 3*n - 18 = 0. Is n a multiple of 6?
True
Let j(g) = 13*g**2 + 4*g - 16. Is j(3) a multiple of 13?
False
Suppose 2*d + 4*o - 18 = 0, -o + 17 = -3*d + 4*o. Suppose -6*a + 8 = -2*a. Let n = d + a. Does 2 divide n?
False
Let v = 4 + -4. Suppose v = 2*w - t - 162, -39 = -5*w + 4*t + 363. Let g = -37 + w. Is g a multiple of 13?
False
Suppose u + 15 = 4*u. Suppose -5*f - 8 = -v + u, f + 39 = 3*v. Suppose 0 = d - 2*y - v, 0*y + 3*y + 48 = 3*d. Is d a multiple of 11?
False
Is (-4)/((14/(-32))/7) a multiple of 14?
False
Let z(a) = -a**3 - 22*a**2 + 22*a - 16. Is z(-23) a multiple of 5?
False
Let b = -43 + 110. Is 24 a factor of b?
False
Suppose -j - 3 = -2*j. Suppose 2*r = 2*d - 0*r + 6, j*d + r = 11. Is 10 a factor of 21/(-1 + d) + -1?
True
Let k be -112 + (-2)/(-4)*4. Let m be k/(-8) - (-7)/28. Let j = m + 4. Is j a multiple of 16?
False
Let c = 114 + -67. Suppose 2*x + 3*i - 34 + 4 = 0, -3*x = 4*i - c. Does 11 divide x?
False
Let z(q) = -q + 5. Suppose -n - 13 = -3*w, 3*n = 2*w - 3 - 1. Let s be z(w). Is 3 a factor of (-3 - 0)/(s - 1)?
True
Let b = -2 - -5. Suppose -i = 4*l - 34, -b*i + 47 - 9 = -4*l. Is i a multiple of 9?
True
Suppose 17*l - 18*l = -12. Is l a multiple of 6?
True
Suppose 3*b + 8 - 53 = 0. Does 3 divide b?
True
Let c(w) = w**3 - 4*w**2 - 2*w + 9. Let q be c(4). Is (q + 0)/((-3)/(-12)) a multiple of 4?
True
Suppose o + 4 = 3*o. Suppose 192 = q + o*q. Is q a multiple of 17?
False
Let b be (-1)/2*4/2. Let h be (1 - (2 + b))/(-2). Suppose 4*n - 4*q = 78 + 14, h = n - 3*q - 13. Is 14 a factor of n?
True
Let m be ((-20)/6)/((-24)/(-180)). Let f = -20 - m. Is 4 a factor of f?
False
Let c(n) = 14*n + 7. Is 7 a factor of c(3)?
True
Is 3/(9/(-12)) - -108 a multiple of 13?
True
Let b(s) = s**3 + 6*s**2 + 4*s + 3. Let v be b(-5). Does 21 divide 61/3 + v/12?
True
Let s be (-8)/(-12)*(14 + 1). Let w be 1/(1/6) - 1. Let q = s - w. Is q a multiple of 5?
True
Let p be (-6)/(-3) - 1*2. Suppose 5*o - 3 - 2 = p. Suppose -2*m + 17 = o. Is 3 a factor of m?
False
Suppose -f + 68 = 4*o + 2*f, 2*f - 12 = -o. Is o a multiple of 10?
True
Is 7 a factor of 3/12 + (-955)/(-20)?
False
Let r = -3 + 7. Is r even?
True
Let o be (1/2)/(2/(-12)). Let n(h) = -h + 2. Let y be n(o). Suppose 0 = -p - p - 5*m - 4, 3*p + y*m = -1. Is 3 a factor of p?
True
Let l = -7 - -9. Suppose 56 = l*y + 4*b, y + 3*b - 99 = -2*y. Is y a multiple of 7?
False
Suppose -s + 0 = -2. Suppose -2*r - s = -6. Suppose 0 = -3*h + r*g + 35, -3*h + g - 4*g + 60 = 0. Is 9 a factor of h?
False
Suppose -42 = -r - 5*u + 4*u, 5*u - 164 = -4*r. Suppose -6*m - r = -7*m. Is m a multiple of 16?
False
Suppose -30 = -u - 4*c + 2*c, 5*c + 146 = 4*u. Let d = u - 58. Is 13 a factor of (-666)/d - 1/(-4)?
False
Let j(y) = y + 14. Let f be j(-14). Suppose -6*x + 3*x - 12 = f, 4*p - 136 = 4*x. Is 30 a factor of p?
True
Let c(u) be the first derivative of 3*u**4/4 + 2*u**3/3 - u**2/2 + 1. Does 11 divide c(2)?
False
Let k(f) = f**3 - 3*f**2 - 3*f + 2. Let g be k(2). Let w = 12 + g. Does 4 divide w?
True
Let n(q) = 6*q + 1. Does 9 divide n(4)?
False
Suppose -2*n - 2 = q - 11, 5*q = 5*n. Let x be 2 - q*(-2)/(-6). Let l(h) = 19*h + 1. Does 10 divide l(x)?
True
Let t(n) = n**3 + 19*n**2 - 21*n - 5. Does 15 divide t(-20)?
True
Suppose -4*o = 125 - 437. Is o a multiple of 26?
True
Let o(x) be the second derivative of -x**6/120 - x**5/30 + x**4/4 + x**3/2 - x**2 + 2*x. Let f(t) be the first derivative of o(t). Is 3 a factor of f(-4)?
False
Let t = -162 - -270. Does 18 divide t?
True
Let q(d) = 2*d**2 - 7*d - 5. Is q(10) a multiple of 25?
True
Let s = 28 + -22. Is 4 a factor of s?
False
Let s(x) = x**3 + 11*x**2 - 8*x - 3. Let u be s(-11). Let j be (-213)/4 + 1/4. Let l = j + u. Is 16 a factor of l?
True
Suppose x + 3*k + 4 = 0, -1 = 3*x + 5*k + 3. Let u = 1 + x. Suppose 48 = -2*p + 5*p - u*n, -3*p = -n - 56. Is 10 a factor of p?
True
Is 9 a factor of ((-37)/3)/((68/24)/(-17))?
False
Suppose -4*g + 60 = -0*g. Suppose -3*n - 5*u - g = 0, -6 = -5*n - 0*u + 2*u. Suppose n = -4*f + 25 + 47. Is 18 a factor of f?
True
Let w(o) = o**3 - 7*o**2 - 7*o. Let t be w(8). Is 7 a factor of (t/6)/(2/21)?
True
Suppose 2 + 0 = -2*l. Is 3*l/(-3)*23 a multiple of 5?
False
Let m be 1 + -1*(3 + -2). Let l be m/(-3 + 2) + 5. Suppose -w + l = -6. Is 11 a factor of w?
True
Suppose -2*l - 3*a + 72 = -89, 3*l - a = 214. Is 17 a factor of l?
False
Let x(n) = n**3 + 7*n**2 + 3*n - 1. Let k be x(-5). Suppose -k = -4*r - 2*z, 2*r + 39 = 7*r - z. Is 6 a factor of r?
False
Suppose 16 = 2*m + 2*m. Suppose 0*g = -3*i - 4*g + 185, -m*g = -5*i + 351. Suppose 5*a = -5*n + i + 48, 3*a - 77 = -5*n. Is 7 a factor of a?
False
Let g(h) = -16*h - 10. Does 9 divide g(-10)?
False
Let x = -361 - -793. Is x a multiple of 36?
True
Suppose 3*m + 1326 = 4*r, r + m - 3*m = 334. Is r a multiple of 30?
True
Let r(u) = 5*u**3 + 9*u**2 + 20*u + 6. Let q(d) = 3*d**3 + 6*d**2 + 13*d + 4. Let a(v) = 8*q(v) - 5*r(v). Does 2 divide a(4)?
True
Let x = -5 - -3. Let t(z) = z**2 + z - 2. Let d be t(x). Suppose -n + 4*g = -36, 2*g = n - d*g - 28. Is n a multiple of 12?
False
Suppose -20 = -2*y + 5*f - 4, -y + f = -8. Does 7 divide y?
False
Suppose 3*o = 3*t - 2