actor of p*-12*2/(-10)?
False
Let q = 114 - 216. Is 21 a factor of q*(10/(-4) - -2)?
False
Let m be ((-9)/(-6))/(6/16). Suppose j - 295 = -m*j. Does 27 divide j?
False
Let d = -38 + 26. Does 16 divide 48 - 0/(d/(-4))?
True
Suppose -3*a + 2*a + 57 = 4*d, 0 = -a + d + 47. Is a a multiple of 7?
True
Suppose -4*n - 3*c + 220 = 0, -3*n + 3*c = -238 + 94. Suppose d - n = -d. Is 13 a factor of d?
True
Let f(y) = y**2 - y - 2. Let p be 1/(-4*2/(-48)). Is 7 a factor of f(p)?
True
Suppose -6*k + 11*k - 25 = 0. Suppose 4*z - c - 70 - 134 = 0, 3*z - k*c = 136. Is z a multiple of 14?
False
Let r = -4 - -4. Let k(a) = -a + 36. Let n be k(r). Let g = n - 18. Does 9 divide g?
True
Does 39 divide (-2290)/(-18) + (-8)/36?
False
Suppose 2*o - o = 2. Suppose -4*c + 123 = -3*f, 0*c + 57 = o*c + 3*f. Is c a multiple of 15?
True
Let r = 21 + 36. Let i = -36 + r. Suppose i + 55 = 4*k. Is k a multiple of 13?
False
Let m = 6 - 0. Does 8 divide m + 6/(-2) + 5?
True
Is (0 - 1)/((-2)/70) a multiple of 7?
True
Let m = -18 + 27. Is 2 a factor of m?
False
Does 3 divide (1 - 2)*(-6 + 1)?
False
Suppose 0 = -u - 4*u + 15. Is 5 a factor of u/(-12) + (-42)/(-8)?
True
Suppose 3*g - 8*g + 20 = 0. Suppose 0 = 3*t + 4*i + 7, g*t - 2 = -2*i + 2. Is ((-17)/(-3) + 1)*t a multiple of 7?
False
Suppose -5*q = 10, 4*i - 2*q - 5 = 11. Let b(y) = y**3 + y**2 + y. Let p(n) = -2*n**3 - 8*n**2 - 8*n + 8. Let r(f) = i*b(f) + p(f). Is 11 a factor of r(6)?
False
Let n be (-4 - (1 - 9)) + 0. Suppose -7*o + 334 = -3*o - 2*i, n*o + 3*i = 339. Is o a multiple of 34?
False
Suppose -86 = -y + 82. Suppose 0 = d - 5*d + y. Is d a multiple of 11?
False
Suppose -15*g + 1767 = -1053. Is g a multiple of 30?
False
Suppose 0 = 2*g - g - 28. Does 9 divide g?
False
Suppose 5*c = 25, 2*r - c = -13 - 12. Let g be (82/3)/(1/9). Does 25 divide (-4)/(-10) - g/r?
True
Let r(c) = -c**3 + 7*c**2 - 6*c + 6. Let w be r(6). Let o(j) = j**2 - 2*j + 5. Is 12 a factor of o(w)?
False
Let c(m) = -4 + 4 - m - 1 - 3. Let l be c(-6). Suppose 6*p - 140 = l*p. Is 23 a factor of p?
False
Let o(b) = 8*b**2 - b + 2. Let r be o(-2). Does 8 divide r/(-5)*90/(-27)?
True
Let u = 17 + -39. Does 8 divide 5/((-5)/u) - -1?
False
Let b(n) = -n**2 + 8*n - 3. Suppose 3 = 2*c + c, -26 = -4*d - 2*c. Is 9 a factor of b(d)?
True
Let k(y) = -y - 1. Let w be k(-1). Suppose 2*b - 167 = -4*j + b, 3*b + 3 = w. Does 14 divide j?
True
Let u(q) = 12*q + 3. Is u(3) a multiple of 13?
True
Let z = 323 + -229. Is 9 a factor of z?
False
Let d(n) = -n**3 + 7*n**2 + 4*n - 10. Does 6 divide d(7)?
True
Let o = 0 + 16. Suppose 0 = -2*u + 2 + 6, 0 = -2*w - 4*u + o. Is 8 a factor of 15 + -2 + 0 + w?
False
Suppose 3*s + 1 = -2*y - 17, -y + 4*s = -13. Let o = -6 - y. Is 2 a factor of (o/(-9))/(2/24)?
True
Let k(h) = h**2 - 6*h - 1. Let p be k(5). Let i = p - -9. Suppose -3*n = -3*q - 33, -i*q - 2*q - 31 = -3*n. Is n a multiple of 4?
True
Suppose 2*k - 198 = -2*v + v, -396 = -2*v - 2*k. Does 11 divide v?
True
Suppose 5*f = 2*f + 114. Is f a multiple of 38?
True
Let j = -92 + 129. Does 13 divide j?
False
Let h be (-7)/((-7)/40) - -1. Suppose 0*v + h = 2*v + 5*d, 4*v - 124 = 4*d. Is 14 a factor of v?
True
Is 564/14 - 2/7 a multiple of 12?
False
Let j be (-1)/((-3)/204) + 0. Let a = -37 + j. Is 12 a factor of a?
False
Suppose -3 = -5*f - 13. Let k be (-1)/f - (-3)/(-2). Is 12 a factor of 13/((-1)/2*k)?
False
Let o = -9 - -26. Suppose x + 4 + o = 0. Is (-6)/x - (-150)/14 a multiple of 7?
False
Let z(d) = -d**2 + 27*d - 42. Is z(24) a multiple of 6?
True
Let r(g) = g + 10. Let t be r(-6). Suppose 3*s - s = 4*k + t, -5*s = -k - 10. Let x = k - -6. Is x a multiple of 2?
True
Let a = -3 + 3. Suppose -4*r + a*r = -16. Suppose -r*u + 59 = 7. Is u a multiple of 13?
True
Is 458/4 - 1/2 a multiple of 23?
False
Let f(k) = -k + 5. Is 8 a factor of f(-9)?
False
Let t(a) be the first derivative of -2*a**2 - 4 - 10*a + 8 + 5*a**2. Is t(4) a multiple of 6?
False
Let s = 11 - 8. Suppose -4*w + 86 = 3*o - o, s*o = 5*w + 184. Does 21 divide o?
False
Let v = 7 + 2. Suppose -3*y - 12 = 0, -2*g - 3*g + 49 = -y. Let q = g + v. Is q a multiple of 6?
True
Suppose -b + 4 + 0 = 0. Suppose 2*y = 3*r + 64 + b, -4*y - 4*r = -96. Is 11 a factor of y?
False
Let r(a) = 4*a**2 + 3*a. Let k be r(-2). Let d be 5/k - (-10)/4. Suppose 0 = d*h - 49 - 68. Is h a multiple of 16?
False
Suppose -6*w = -2*w - 500. Let a = 181 - w. Is a a multiple of 18?
False
Let j(u) = -u**2 + 1. Let b be j(-1). Suppose x + 7 = -o + 6*x, -3*x + 6 = b. Is 8 a factor of 14 - (1 + -1*o)?
True
Let c = -38 + -37. Let l = 25 + c. Is (2 - 2) + -2 - l a multiple of 18?
False
Let i = -41 - -47. Does 6 divide i?
True
Let n(v) = v**3 + v**2 - 315. Let c be n(0). Is 10 a factor of 2/(-3)*c/10?
False
Let u be (-5)/2*(1 + -5). Let x be (-172)/14 + u/35. Is x/(-14)*14/2 a multiple of 5?
False
Let q = 124 - 68. Is q a multiple of 14?
True
Suppose -g = 0, b - 5*g = 6*b - 450. Let s = b + -42. Is 16 a factor of s?
True
Suppose -3*y + 80 = -4*x, 5*y - y - 5*x - 107 = 0. Let h = y + -5. Does 6 divide h?
False
Suppose -1 = l - 7. Let q be ((-8)/l)/((-3)/9). Suppose -w + 0*w = 4*z - 15, 18 = q*z - 2*w. Does 2 divide z?
True
Does 10 divide 2/4*4*10?
True
Is (78/65)/(2/40) a multiple of 8?
True
Let g(u) = u**2 + 22. Is g(0) a multiple of 12?
False
Suppose 11 = v + y - 10, 4*y - 12 = 0. Let b be -3 + -16 - (-2)/(-1). Let x = v - b. Is x a multiple of 13?
True
Suppose 16*r = 7*r + 180. Is 4 a factor of r?
True
Let i(s) = 10*s + 2. Let c(t) = -t**3 - 4*t**2 - 1. Let p be c(-4). Let f be (1 - -6) + (-4 - p). Does 19 divide i(f)?
False
Suppose -3*n + 4*y = -67, 0*n + n - 26 = 5*y. Does 3 divide n?
True
Suppose p = -p + 6. Suppose -2*k - p*w + 18 = 0, -2*w - 13 + 33 = 4*k. Is 10 a factor of 10 + (k + -3)/2?
True
Suppose 3*g - 27 = 3. Let v(d) = 6*d + g + 3*d**3 + 7*d**2 - 2*d**3 - 4. Is v(-4) a multiple of 15?
True
Let n(z) = -z - 9. Let o be n(-7). Let y be 4 + o/2 + 2. Suppose -3*v = y*s - 47, s + 4*s - 5 = 0. Does 13 divide v?
False
Let d(l) be the first derivative of l**2/2 + l + 2. Let k be d(-5). Is (-1 + -1)/(k + 3) a multiple of 2?
True
Let k be (-2)/(-4)*2 + 1. Suppose 0 = -w - d + 71, -d = k*w - 0*w - 140. Suppose -27 = -i + u - 4*u, -3*i + 3*u = -w. Is i a multiple of 12?
True
Let v(a) = -8*a. Let s(q) = -q**2 + 9*q + 12. Let n be s(10). Let k be (3 - n/1)*-3. Is v(k) a multiple of 16?
False
Let f = -67 + 200. Is 13 a factor of f?
False
Let k = 26 - 8. Is 18 a factor of k?
True
Let n be (-1)/(((-3)/17)/3). Let d = n + -2. Is 15 a factor of d?
True
Let u(b) = 117*b**2 - 3*b + 3. Is u(1) a multiple of 18?
False
Let o be 9*(-12)/(-9) + -4. Suppose -3*m + o*m = 75. Is m a multiple of 3?
True
Let s(x) = 16*x**3 + x**2 + 4. Is 34 a factor of s(2)?
True
Suppose -5*r = -5*n - 180, 9*r = 4*r + 2*n + 189. Is r a multiple of 11?
False
Suppose 0 = -7*m + m + 84. Does 5 divide m?
False
Let y = -15 - -25. Let l be ((-324)/(-30))/(3/y). Suppose -3*n = -0*n - l. Does 7 divide n?
False
Suppose -32 = -0*c - 2*c. Is 4 a factor of (c/(-10))/((-3)/15)?
True
Suppose -g = -3*g. Suppose g = -3*a + 8 + 1. Suppose 0 = -a*y - 3*v + 132, 134 = 3*y + 2*v + 3*v. Does 14 divide y?
False
Suppose 8*i - 3*i - 420 = 0. Suppose 4*j - i = j. Does 14 divide j?
True
Suppose 118 = 5*a - 22. Is a even?
True
Let q(h) = h**3 - 3*h**2 + 4*h - 6. Let m = 9 + -5. Is q(m) a multiple of 10?
False
Suppose z = -z. Suppose -20 = -4*j - z*j. Suppose j*u - 4 - 11 = 0. Is 3 a factor of u?
True
Suppose -3*r + 72 = 4*d + 7, 24 = r - d. Let g be (-3)/9 - 2/(-6). Suppose f = -g*f + r. Is 15 a factor of f?
False
Let k(n) = n + 8. Let d be k(-6). Does 15 divide d - -4*(-21)/(-3)?
True
Let z = 2 + 2. Suppose -13 = z*b + 7, -t - b + 27 = 0. Is t a multiple of 12?
False
Suppose -3*r = -5*r + 144. Let a be (r/20)/(2/(-10)). Let m = -8 - a. Does 10 divide m?
True
Suppose 6*r - 3*r = 27. Is 2 a factor of r?
False
Let m be (-1 - 12) + (-1 - 0). Let r(q) = -2*q - 13. Does 14 divide r(m)?
False
Let w = -5 - -8. Suppose -k = w*k - 64. Is k a multiple of 8?
True
Let c be (-2*1 + 4)*1. Suppose -2*s = -4*s + h + 8, h = -c. Suppose s*o = 4*o - 31. Is o a multiple of 14?
False
Suppose -3*c = -5 - 1. Suppose -1 = 3*v - 4*j, 0*v - 3*v + 5*j - c = 0. Does 14 divide -1 - (0 + v)*-29?
True
Let j(m) = m**3 - 11*m**2 - 13*m + 16. 