es 22 divide s?
False
Let g(m) = 3*m**3 + m**2 - m + 1. Does 4 divide g(1)?
True
Let d(l) = -l + 5. Let k be d(3). Let t be k/6 - (-125)/3. Let i = -6 + t. Is i a multiple of 18?
True
Is (-2620)/(-35) - 2/(1 - 15) a multiple of 13?
False
Suppose 2*j - 261 = -7*j. Is j even?
False
Let k = 80 + -42. Suppose -44 = 3*n + n. Let r = n + k. Is 9 a factor of r?
True
Suppose -89 + 29 = -4*d. Suppose 5*v = 30 + d. Does 9 divide v?
True
Suppose 0 - 22 = -5*u + b, 0 = -b + 3. Let q(l) = u*l + 0 + 4 - 2. Is q(4) a multiple of 7?
False
Let m(x) = 11*x**2 + x + 6. Let k be m(3). Suppose 3*p = -0*p + k. Is p a multiple of 9?
True
Suppose n = s + 70, 0 = 2*n + 5*s - 137 - 17. Does 6 divide n?
True
Let d = 17 + 31. Is 24 a factor of d?
True
Suppose -3*r + 48 = -0*r. Let t = -84 + r. Let l = 100 + t. Is l a multiple of 16?
True
Let w(c) = c**3 - 9*c**2 + 9*c - 5. Let t = 13 + -8. Suppose -b + t*b - 37 = 5*y, 5*b - 4*y - 44 = 0. Does 3 divide w(b)?
True
Does 2 divide 2/6*11*(14 + -5)?
False
Let k = 49 - 28. Does 21 divide k?
True
Suppose -2*u + 92 = -0*u. Suppose 0 = 5*l, w + w - 3*l = u. Suppose -3*x - r + w = 0, 4*x - 3*x - 4 = -4*r. Is 4 a factor of x?
True
Is 8 a factor of ((-6)/9)/((-18)/1269)?
False
Suppose 0 = -6*j - j + 49. Let r(w) = w**3 - 5*w**2 - 8*w + 10. Does 11 divide r(j)?
False
Let t be 1/((-3)/36*-3). Is 1 + -2 - -6*t a multiple of 10?
False
Let f(w) = w + 7. Let z be f(-7). Suppose z = u - 14 + 2. Is 12 a factor of u?
True
Suppose -t = 5, -2*d + 2*t = -d - 34. Suppose -y + 4*c = -0*c - 11, -d = -4*y - 4*c. Is y a multiple of 7?
True
Let g(y) be the first derivative of 5*y**3/3 - y**2 + 2. Let s(c) = c + 2. Let b be s(-4). Is g(b) a multiple of 15?
False
Let r be (-3 + 2)/((-2)/(-96)). Let l = r - -96. Does 16 divide l?
True
Suppose 4*x - 2 = 418. Is x a multiple of 21?
True
Is 16*(1 + 3 + -3) a multiple of 16?
True
Suppose -9*f = -1548 - 252. Does 40 divide f?
True
Does 15 divide -30*(-6)/(72/30)?
True
Suppose -2*g + 32 - 2 = -3*v, 2*g - 46 = -5*v. Is g a multiple of 6?
True
Let f(k) = -105*k - 11. Does 38 divide f(-3)?
True
Suppose p = 3 - 0. Suppose -4*w + 294 = -4*s + 58, -5*w - p*s + 303 = 0. Does 15 divide w?
True
Suppose u = 2*u - 18. Let h = u - -8. Is h a multiple of 19?
False
Suppose 4*l - 167 - 193 = -5*v, -5*v - l + 345 = 0. Does 17 divide v?
True
Let w = 7 - -9. Is 3 a factor of w?
False
Suppose 85 = 4*t - 3. Is 11 a factor of t?
True
Let h(d) = -4*d - 3. Let i = 5 - 7. Let p be h(i). Suppose 5*m = -x + 6*x, -p*m = x - 24. Is 4 a factor of x?
True
Suppose 3*n - 39 = 3*k, 3*n = 6*n - k - 43. Let p = 7 - n. Is 17 a factor of (p/(-10))/(6/255)?
True
Let s(m) = -m**3 + 8*m**2 + 5*m - 8. Is 8 a factor of s(8)?
True
Let a(f) = f**3 - 6*f**2 - 9*f - 9. Is 10 a factor of a(8)?
False
Let q = -155 + 225. Does 18 divide q?
False
Let w be 2/((-10)/6 - -1). Let t be (4/w)/((-7)/21). Does 4 divide 0 + 9 - (5 - t)?
True
Is 16 a factor of -39*((-60)/9)/5?
False
Let p(l) = l**2 - 2*l - 15. Is p(-10) a multiple of 18?
False
Let q(y) = -y**3 + 6*y**2 + 8*y - 7. Let u be q(7). Suppose 46 = -3*k - 2*g, u*k - 5*k = 3*g + 77. Let l = 30 + k. Is 6 a factor of l?
False
Suppose -2*n - 4*v = -24, 0 = 2*n - n + 3*v - 15. Let b be -15*-3*n/27. Is 9 a factor of (-3)/(-15) - (-88)/b?
True
Suppose -u = 2*u - 2*a + 12, u = -2*a - 12. Let b be 0 + -22 - (-4 - u). Let s = 54 + b. Does 15 divide s?
True
Let c = 4 + -4. Suppose c = 5*r - 88 - 22. Does 14 divide r?
False
Does 16 divide (4 - 3)*1 - -1*59?
False
Does 2 divide 30/(-4)*-2*(-6)/(-10)?
False
Let a(k) = -k**2 + 4. Let v be a(3). Is ((-432)/(-40))/((-1)/v) a multiple of 26?
False
Let q(f) = 50*f**2. Let x be q(-1). Suppose -2*j - 7*n = -2*n - 23, -5*j - 5*n = -x. Is 9 a factor of j?
True
Suppose 3*y = -2*d + 22, -4 = 4*y - 0*y - 4*d. Suppose 0 = 2*z - 2, y*g - 4*z - 137 = -49. Does 20 divide g?
False
Let f be 1 + -1 + -4 + 7. Suppose 0 = -2*c + 7 - f, 2*d + 2*c = 84. Does 10 divide d?
True
Let f be (10 - -6)/(1/(-13)). Let t = -124 - f. Is 32 a factor of t?
False
Suppose 5*f - 42 = -2*f. Is f a multiple of 6?
True
Is ((-6)/(-4))/((-538)/136 + 4) a multiple of 18?
False
Let k(n) = -n**3 - 4*n**2 - 2*n - 3. Let m be k(-4). Suppose 2*o - 12 = -3*c, -2*c + m*o + 12 = c. Does 2 divide c?
True
Let d = 25 - 40. Let y = -1 - d. Does 9 divide y?
False
Let k(c) = -c - 4. Let o be k(-6). Suppose -x = -o*x + 5*s + 155, 0 = 3*x - 4*s - 432. Is x a multiple of 37?
False
Let d(s) = 3*s**2 + 5*s - 6. Let p be d(4). Suppose -6*w + w + 138 = 4*x, -5*x = 2*w - p. Does 9 divide w?
False
Is (52/10 + -4)*(-140)/(-8) a multiple of 14?
False
Let r(y) = 2*y**2 - 17*y - 22. Does 10 divide r(-10)?
False
Let n be (((-2)/(-1))/1)/1. Suppose -3*x + 80 = n*x. Is 3 a factor of x?
False
Let u(a) = 0 - 14*a - 4 - 6 + 3. Does 7 divide u(-2)?
True
Let y be (-4)/(-6) - (-21)/9. Let p(n) = -n. Let v(a) = -18*a + 2. Let g(o) = 6*p(o) - v(o). Is g(y) a multiple of 18?
False
Let n be (-6)/(-24) - 7/(-4). Suppose n*p + v - 19 = 0, 5*p + 2*v = -v + 45. Suppose -2*a + 12 = -p. Is a a multiple of 12?
True
Let n(p) = -3*p**3 - p. Let t be n(-1). Suppose 0 = -t*u + 99 + 33. Is 14 a factor of u?
False
Let t = 16 - 6. Let u be 6/(-10) + 6/t. Suppose -4*b + u*p = p - 61, 3*b = -3*p + 57. Does 14 divide b?
True
Let v(u) = -3*u - 5. Let k be v(-4). Suppose k*d - 3*d - 12 = 0. Suppose d*i + 0*i + 3*c = 66, -4*i + 5*c + 115 = 0. Is i a multiple of 11?
False
Let p = 665 - 426. Suppose 19 = -4*v + p. Suppose -5*q + 2*f + 194 = 0, 3*q - 4*f - v = 53. Is q a multiple of 25?
False
Let q = -61 - -142. Is 11 a factor of q?
False
Let g(w) = -4*w. Suppose 4*t = 5*i - 2*i - 33, 2*i = -5*t - 24. Does 12 divide g(t)?
True
Let f(z) = -z**3 - 10*z**2 + z + 13. Let w be f(-10). Does 9 divide w/((-6)/(-32)) - -2?
True
Let m(x) be the first derivative of 15*x**2/2 - 6*x - 1. Does 16 divide m(4)?
False
Let s(n) = 10 - 3*n**2 + 3*n + 2*n**2 + 0 - 2*n + n**3. Does 10 divide s(0)?
True
Let f(i) be the second derivative of -i**3 - 3*i**2 + i. Let u be f(-5). Suppose -2*c + 0*c = -u. Is 6 a factor of c?
True
Suppose -r = 5*i + 22, -2*r + 4*r - 4*i - 26 = 0. Let g(c) = -r*c - 8*c**2 + c**3 + 6*c + 6*c + c - 5. Is g(7) a multiple of 16?
True
Let q be 52 + 0/(6/3). Suppose -5*n + 2*g = -q - 70, 0 = 4*g + 4. Does 8 divide n?
True
Is 21 a factor of 424/5 - 60/75?
True
Let q(f) = -10*f + 15*f + 24*f + 1. Suppose -5*l + 3*d - 6 - 1 = 0, 15 = -5*l + 5*d. Is q(l) a multiple of 15?
True
Suppose 0 = -v + 11 + 5. Suppose -w + 12 = -v. Is w a multiple of 9?
False
Let z = -106 + 181. Is z a multiple of 15?
True
Let d(o) = 25*o**2 + o + 2. Is 16 a factor of d(-2)?
False
Let s(v) = -v**2 - 2*v + 4. Let x be s(-3). Is 16 a factor of 54 + -9 - (x + 0)?
False
Let w be -27 + 3 + -1 + -1. Let p = 18 - w. Does 14 divide p?
False
Let y = 4 + -2. Let r be (-3)/y + (-2)/4. Let v = r + 29. Is v a multiple of 11?
False
Suppose -5*l = -p - l + 3, -4*p - 5*l + 12 = 0. Suppose 0 = p*a + 5*x - 13, a - 3*x = 8 + 1. Let b = -2 + a. Is b a multiple of 2?
True
Let l = 10 - 8. Suppose -28 = -4*p + l*p. Is p a multiple of 7?
True
Let g be (-25)/(-2 + -1 + 2). Suppose g = 2*r - 71. Suppose 5*t - 258 = -r. Is t a multiple of 21?
True
Suppose 4*x - 48 - 4 = 0. Let h(c) = 2*c - 2. Let d be h(-3). Let n = x + d. Is n a multiple of 2?
False
Let l(r) = -r**2 + 3*r + 2. Let q be l(2). Let x be (5/q)/(3/12). Suppose -2*b + 3*b = 2*w - 41, b - 85 = -x*w. Does 9 divide w?
True
Let c be (-39)/(-13) - 106/(-2). Let z = c + 40. Does 17 divide z?
False
Let a(u) = 131*u**2 + 2*u - 1. Let f be a(1). Suppose -s = -2*s - 2*p + 24, 5*s - 2*p = f. Does 15 divide s?
False
Let x(u) = 2*u**2 - u**3 + 2*u**2 - 9 + 2*u**2 - 3*u + 2. Let r be x(5). Does 12 divide 5/r*(-36)/(-4)?
False
Suppose -5*u + 23 = -u - 5*c, 2*u - 4*c = 16. Suppose -60 = -5*v - 3*d, 5*v = -u*d - 7 + 67. Is 12 a factor of v?
True
Is 9 a factor of 33*-1*(-18)/6?
True
Suppose 3*c - 1219 = -5*b, 2*b - 490 = -7*c + 5*c. Does 9 divide b?
False
Let w(v) be the second derivative of v**4/12 + 7*v**3/6 - 3*v**2/2 - 3*v. Let j be w(-8). Suppose -17 = 3*o - j*o - 5*s, -3*s = -3*o + 78. Does 18 divide o?
False
Suppose 0 = 2*z - 61 - 137. Is z a multiple of 33?
True
Suppose 0 = -2*p - 93 + 397. Is p a multiple of 17?
False
Let j(g) = g**3 - 6*g**2 + 5*g + 6. Let o be j(5). Suppose -14