m = 25 + w. Is m/(-3)*9/(-6) a multiple of 8?
True
Does 27 divide (-18 + 0)/(13/((-78)/4))?
True
Let g be 165/2 - (-21)/14. Suppose -g - 6 = -5*k. Is 12 a factor of k?
False
Let u(h) = -12*h - 18. Does 10 divide u(-4)?
True
Let b be (2*9)/((-3)/3). Let h = b + 33. Is h a multiple of 5?
True
Let u = -36 - -63. Suppose -10*g = -11*g + u. Is g a multiple of 11?
False
Suppose 4 = -3*k + 13. Suppose 3*p = -c + 5*c, 3*p = -2*c. Suppose c*w + k*w - 9 = 0. Is w a multiple of 3?
True
Let z(r) = -2*r**2 - 5 + 6 - r + 5*r**2. Is z(-2) a multiple of 4?
False
Let k be -8 + 2/((-1)/(-1)). Let i = 16 - k. Suppose 5*r = -4*p + 71, r - 2*p = -5 + i. Does 9 divide r?
False
Let b(f) = 17*f - f + 3*f - 4. Let x = 5 + -2. Does 19 divide b(x)?
False
Suppose 21 + 85 = 2*y + 3*c, 0 = 2*y - 4*c - 78. Suppose 3*q + y = b, -b - 2*q + 17 + 30 = 0. Suppose 17 = -3*k + b. Does 5 divide k?
True
Suppose -2*d = -d. Let f be 72 - (d + 0 - -1). Suppose 4 = 5*s - f. Is 15 a factor of s?
True
Suppose d + 0*c - 28 = -c, 4*c = 4*d - 120. Let v = -21 + d. Is v a multiple of 8?
True
Let b = 14 - 5. Is 9/6*b*2 a multiple of 22?
False
Suppose n = 2*n - 65. Does 14 divide n?
False
Let t(l) = l**2 + 6*l + 4. Let d be t(-7). Let p = 9 - 0. Let j = d - p. Is 2 a factor of j?
True
Let o be (-6)/4*4/(-1). Suppose -l - o = -2*l. Suppose 2*g = 6 + l. Is g a multiple of 6?
True
Let r(h) = -h**3 + 4*h**2 - h - 2. Let o be r(2). Suppose -o*i + 116 = -0*i. Is i a multiple of 8?
False
Let y be (94 + -2)/(1/1). Let d = -47 + y. Does 12 divide d?
False
Suppose 2*s = 7*s + 1055. Let i = -125 - s. Does 19 divide i?
False
Suppose 3*b = 3*t - 120, 3*t = t + 3*b + 79. Is t a multiple of 17?
False
Let g(p) = 28*p + 4. Suppose 3*x = 2*x + 4. Let r be g(x). Suppose c + r = 5*c. Is c a multiple of 16?
False
Let p(l) = -l**2 - 7*l + 4. Is 5 a factor of p(-6)?
True
Is (2/10*147)/((-13)/(-65)) a multiple of 7?
True
Let m = 28 + -5. Let w = -4 + m. Is w a multiple of 19?
True
Suppose 0 = 4*d - 2 + 10. Is (d/(-5))/(8/640) a multiple of 15?
False
Suppose -r + 55 = s, -4*s = 4*r - s - 217. Is 13 a factor of r?
True
Let d(v) be the third derivative of v**6/30 - v**4/12 + v**3/6 - 3*v**2. Is 26 a factor of d(2)?
False
Let j be ((-12)/2)/((-6)/579). Suppose -159 = 3*i - j. Suppose 2*p = -p - u + 86, u - i = -5*p. Does 11 divide p?
False
Let n be 2/3 + (-8)/(-6). Suppose 5*v = 4*p + 214, 5*v + n*p - 44 = 164. Does 21 divide v?
True
Let z(n) = 5*n + 0 - 1 - 2 + n**2. Let b be z(-6). Is (7/2)/(b/6) a multiple of 7?
True
Let o(j) = j**3 + 7*j**2 + 3*j + 3. Let n be o(-6). Let l = -9 + n. Is l a multiple of 3?
True
Let l = -1 - -5. Suppose 2*z - 10 - 6 = -2*i, 0 = -2*i + l*z + 46. Does 13 divide i?
True
Suppose -2*k + 10 = 0, -5*k - 43 = -3*j + 31. Is 33 a factor of j?
True
Let v(c) = -8*c + 2*c**2 - 5*c**3 + 10 + 5*c**2 + 3*c**3 + 3*c**3. Is v(-8) a multiple of 3?
False
Let o(k) = -k**3 + 15*k**2 + 8. Does 4 divide o(15)?
True
Suppose -b = -6*b - 5*p + 165, 3*p + 81 = 2*b. Does 9 divide b?
True
Let w(q) = q**3 + q**2 - q. Let y(u) = -3*u**3 + 13*u**2 + 5*u - 17. Let n(s) = -4*w(s) - y(s). Does 14 divide n(-17)?
False
Let y be -3*-1*(0 + 1). Suppose y*z + m = 27 + 49, -2*z + 51 = m. Is 8 a factor of z?
False
Suppose s + 115 = -4*s. Let o = 34 + s. Suppose 0 = -3*q + 15, o + 2 = 2*m - 5*q. Is m a multiple of 16?
False
Suppose 0 = 2*g - 54 - 2. Is g a multiple of 7?
True
Suppose -1118 = -5*z + d, 5*z + 466 - 1590 = -2*d. Is z a multiple of 32?
True
Let j(f) = f**2 - 4*f. Let q be j(5). Suppose 254 = q*w + 4. Is 20 a factor of w?
False
Let v(o) be the third derivative of o**4/8 - 2*o**3/3 - 4*o**2. Let m be v(6). Suppose m = -4*r + 74. Does 15 divide r?
True
Let v be (15/12)/(3/72). Does 15 divide 9/((-3)/v*-3)?
True
Does 3 divide 1*6 + (5 - 8) + 2?
False
Let a = 27 + -13. Is 11 a factor of a?
False
Suppose 0 = h - 2 - 0, -5*h = -4*w + 522. Suppose -c - 16 = -4*r + 87, -4*r + w = 5*c. Is r a multiple of 11?
False
Suppose -b + 5 = 4*b. Suppose -3*v = 2*t + 2, -4*t + 3*t = -2*v + b. Does 8 divide (2 + t)/(5/90)?
False
Let w(d) = d + 5. Let f be w(12). Suppose 15 = 2*m - f. Let a = -2 + m. Is 7 a factor of a?
True
Suppose -3*p + 3*n + 331 = 127, -2*p = 4*n - 136. Is 15 a factor of p?
False
Let s(t) = 3*t**2 - 5*t + 3. Does 14 divide s(5)?
False
Let d = 22 + 3. Suppose -2*p + 231 = p - 3*x, 5*x = -d. Is 18 a factor of p?
True
Let b be 78/(-4) - (-1)/2. Let w = b + 32. Is 5 a factor of w?
False
Suppose -4*s - 3*g + 293 = 0, g - 5 = -4*s + 298. Is 30 a factor of s?
False
Let c(h) = h**3 + 3*h**2 - 3*h + 4. Let d be c(-4). Let f be d + 6/((-3)/1). Is 27*3*f/(-18) a multiple of 4?
False
Suppose 7*y - 32 = 3*y. Is 4 a factor of y?
True
Suppose 0 = -4*g - 8 + 4. Let t be g/((-3)/6*2). Does 7 divide 108/9 + 1 + t?
True
Let z(t) = -t + 16. Let y be 16/(-12)*3/(-2). Suppose 7*n = y*n. Does 6 divide z(n)?
False
Let x(j) = 2*j - 2. Let b be x(3). Let l be b/(4 - 2) - -1. Suppose -5*w = -4*o - 33, -o - l*o + 57 = 5*w. Is 9 a factor of w?
True
Let b be 4*(2 + 21/(-6)). Let m = 2 + b. Let p(f) = 2*f**2 - 2*f + 4. Is p(m) a multiple of 22?
True
Suppose -2*l - 8 = 0, -2*l - 7 = 3*o - 107. Is 14 a factor of o?
False
Let z be (-33)/(-21) - 15/(-35). Suppose z*t + t - 30 = 0. Is t a multiple of 10?
True
Let z(n) = 4*n - 1. Let q be z(1). Suppose q = 3*c - 3. Suppose -m - 2 = -c*m. Is m even?
True
Let y(x) = -5*x + 62. Is 20 a factor of y(-21)?
False
Suppose -z = -4*z. Suppose z*m + 2*m = 16. Is m a multiple of 8?
True
Suppose 5*k + 11 = c - 15, 4 = -2*k. Is c a multiple of 10?
False
Suppose -6*k + 1794 + 792 = 0. Is 19 a factor of k?
False
Let t = -243 - -441. Is 33 a factor of t?
True
Let y = -18 + 25. Is y even?
False
Suppose -75 = -3*f + 5*v, 2*f + 4*v - 2*v = 66. Does 10 divide f?
True
Let s(b) = -b**3 + 2*b + 3. Let w be s(3). Let u be 68/w - (-4)/(-18). Let j(t) = t**3 + 6*t**2 + 5*t + 4. Does 7 divide j(u)?
False
Let d = 5 - 14. Let t = 18 + d. Let s = 19 - t. Is 10 a factor of s?
True
Let d(g) = -g - 6. Is 5 a factor of d(-12)?
False
Let l be 196/(-8) - 4/8. Let i = l - -51. Is i a multiple of 13?
True
Is 6 a factor of (106 - 15)*12/14?
True
Suppose u = -2*v + 29, 0 = -5*v + 2*u - 7 + 57. Is 4/v*(48 - 3) a multiple of 8?
False
Suppose 0*f = -f + 114. Is 19 a factor of f?
True
Let o(i) = -74*i. Does 24 divide o(-1)?
False
Suppose i = 18 + 45. Is i a multiple of 23?
False
Suppose 5*q + i = 340, -3*q + 181 = -5*i + i. Let c = -20 + q. Is 16 a factor of c?
False
Suppose -3*t - b + 15 = 4*b, -12 = -2*t - 4*b. Let s(o) = -o + 0 + t*o - 8*o + 2. Is 19 a factor of s(-4)?
True
Let k be (-12)/(-9) - 2/(-3). Suppose j + 20 = -4*v - 2*j, 0 = 4*v - k*j. Let h(r) = 2*r**2 - 2*r. Is h(v) a multiple of 12?
True
Let z = -11 - -36. Is z a multiple of 25?
True
Let h(w) = w**2 - w + 9. Let g be h(8). Suppose -5*b + g = -4*r, 0*b - 3*b = -3*r - 42. Is b a multiple of 9?
True
Is 11 a factor of ((-77)/21)/((-2)/42)?
True
Suppose x = -x. Suppose 3*h - h - 4 = x. Let w = h - -3. Is w a multiple of 5?
True
Let v(p) = -3*p. Let k be v(-1). Suppose -k*l - y - 5 = y, 4*l = 4*y. Is 11 a factor of (-11 - (-2 + 5))*l?
False
Let x(d) = d**3 + 6*d**2 + 4*d + 4. Suppose 0 = 2*t + 3*w - 7*w - 12, w + 9 = 2*t. Suppose -8 = h - t. Is 20 a factor of x(h)?
True
Suppose -j = 4*m + 14, 0 = -2*j - 2*j - 5*m - 34. Suppose -3*u + s = -6*u - 1028, s = 4*u + 1366. Is (-8)/j*u/(-12) a multiple of 19?
True
Let a(n) = 3*n**2 + 6*n + 4. Let u(v) = 7*v**2 + 13*v + 8. Let d(m) = 5*a(m) - 2*u(m). Let r be (-6)/(-1*(-3)/3). Is 8 a factor of d(r)?
True
Suppose -6*v + 40 = -v. Does 12 divide v/36 - 428/(-18)?
True
Let b(d) = -d**3 - 2*d**2 - 3. Let z be b(-3). Suppose 3*s - z*s = 12. Does 6 divide s/(-6) + 34/3?
True
Suppose -3*h = 5*l - 2*h - 3, 0 = -l + 5*h + 11. Let q(x) = 176*x. Let p be q(l). Suppose -3*y - r = -124, 2*y + 2*y - 4*r = p. Is 16 a factor of y?
False
Suppose 5 = w - 5. Suppose 15 = 5*j - 5*l + 2*l, w = 3*j - 2*l. Suppose a - 3*a - 2*f + 6 = j, f = 3*a - 17. Does 5 divide a?
True
Let v = -7 - -47. Does 10 divide v?
True
Is 208/4 + 15/(-5) a multiple of 3?
False
Is 4/(-18) + 1038/54 a multiple of 4?
False
Let p(h) = -h**3 - 8*h**2 + 3*h - 2. Is p(-9) a multiple of 7?
False
Let w(c) = c + 25. Is 2 a factor of w(-17)?
True
Suppose -2*u = 2*k + 2*k + 36, 4*k - 5*u + 22 = 0. Is (