r of y(w)?
False
Let p = 54 - 50. Suppose -2*v - 264 = -5*l - 4*v, -p*v = 5*l - 258. Is 18 a factor of l?
True
Suppose -20 + 22 = b. Suppose 0 = 4*p - d - 88, -b*p - 11*d + 7*d + 62 = 0. Does 6 divide p?
False
Let w(m) = 2*m**2 + 7*m - 3. Let q be w(-5). Suppose -i = -47 + q. Is i a multiple of 2?
False
Is 2189/((5 + 5)/10) a multiple of 31?
False
Let m = 1867 + -714. Is 8 a factor of m?
False
Suppose -2*i - 491 = -3*s - 3*i, 2*s - 323 = -5*i. Suppose z - 2*q = -3*z - s, -2*z + 5*q - 90 = 0. Let w = -6 - z. Is w a multiple of 17?
True
Let h = -7 + 7. Suppose h = -5*o - 23 - 12. Does 7 divide (-108)/o + (-3)/7?
False
Let b(v) = 5*v**3 - 5*v**2 - 10*v - 236. Let o(k) = k**3 - k**2 - 2*k - 47. Let y(j) = 2*b(j) - 11*o(j). Is 9 a factor of y(0)?
True
Let h(q) = -4*q**3 + q + 3 + 7 + 3*q**3 + q**2. Let p be 0 - ((-8)/(-36) + 6/(-27)). Does 7 divide h(p)?
False
Let m be 18/(-2 + -1)*3. Let x = 210 - m. Does 19 divide x?
True
Suppose -3*q - 2*q = -10. Suppose 3*g - 4*x - 30 = 0, -4*g + 4*x = x - 47. Suppose -3*l - 4*j - 1 = 0, 2*l - q*j = -j + g. Is l a multiple of 3?
False
Suppose 0 = 67*z - 139514 - 56126. Is z a multiple of 20?
True
Let k(s) = -3*s**3 + 2*s**2 + 3*s - 2. Is k(-2) a multiple of 12?
True
Suppose -2*t + 0*g + 10 = -g, 5*t - 25 = -4*g. Suppose t*l - 5*b - 270 = 0, -181 = -3*l - 2*b - 14. Is 10 a factor of l?
False
Suppose 3*t = -4*v + 98, 2*v = 3*t + 53 - 139. Suppose 22*o = t*o - 672. Does 6 divide o?
True
Suppose 3*k + 3*r = -15, -2*k + 2*r - 30 = -0*r. Let g = 15 + k. Is 15 a factor of ((-18)/g)/(2/(-10))?
False
Let q(a) = -9*a - 38. Let j be q(-20). Let f = j - 93. Does 7 divide f?
True
Does 33 divide 0 - 1 - (-6 - (-244)/(-4))?
True
Suppose 4*f = -5*r + 121, r - 5*f = -2*r + 43. Let i = 30 - r. Is i a multiple of 9?
True
Let c(r) = -r**2 - 16*r + 2. Let u be c(-16). Let b be (-25)/2 - 3/u. Does 11 divide 6*(2 - b/4)?
True
Suppose -2*o + 4*o = 20. Suppose -2*x = -x + o. Let c = x - -13. Is c a multiple of 3?
True
Let w = 230 - -37. Does 10 divide w?
False
Suppose 890*u - 898*u = -3840. Does 15 divide u?
True
Suppose 6*m = 2*b - 6474, 11*b = 6*b + 2*m + 16133. Is 25 a factor of b?
True
Let z(v) = -v**3 - 21*v**2 - 3*v - 19. Let n = -41 - -20. Is z(n) a multiple of 11?
True
Let b(l) = -18*l + 5*l**2 + 12*l - 1 + 4*l - 1. Is b(-1) a multiple of 3?
False
Let v(q) = 297 - q**2 + 18*q - 303 + 3*q. Does 18 divide v(19)?
False
Suppose 4*p - 6662 = -0*k - 2*k, -1643 = -p - 5*k. Is 12 a factor of p?
True
Let n(u) = u + 8. Let j be n(-11). Is 8 a factor of (1 - j/(-2))/((-31)/1550)?
False
Suppose 0 = 5*r - 3*b - 100, -2*r - 3*b = -64 + 3. Suppose 0 = 20*q - r*q + 12. Suppose -g - 172 - 77 = -q*u, -5*u + 309 = -2*g. Is 21 a factor of u?
True
Let d = 1005 - 285. Is 15 a factor of d?
True
Does 12 divide 6/(-15) - (-2)/(-5)*-221?
False
Suppose -3*w = -2*w + 5*g + 22, -3*w = -5*g - 34. Suppose 2*t + 2 = 0, t + 4*t = -u + w. Is 2 a factor of u?
True
Let s(a) = 2*a**2 + 25*a + 13. Let k(f) = f - 1. Let w(o) = -4*k(o) - s(o). Does 12 divide w(-13)?
False
Is (-2)/(-10) + (-119499)/(-305) a multiple of 28?
True
Suppose -2*i - 2 = 2*w, -i = -6*i + 2*w + 9. Let l(j) = 209*j**3 - 2*j**2 + 1. Is 26 a factor of l(i)?
True
Let l(p) = p**3 + 27*p**2 + 75*p + 57. Does 34 divide l(-15)?
True
Suppose -10*z = -725 - 385. Is z a multiple of 7?
False
Suppose i + 6*i = -952. Let m = 119 - i. Is 32 a factor of m?
False
Let r = -278 - -383. Is r a multiple of 15?
True
Let c(w) = 43*w**2 - 11*w - 29. Is c(-3) a multiple of 17?
True
Suppose -9 = -o + r, -2*r + 3 + 4 = 3*o. Let c be 441/11 - 17/187. Is 51/o*c/8 a multiple of 17?
True
Let u be 2/(-10) - 44/(-20). Let j be u + 8 + (-12)/3. Does 2 divide ((-18)/15)/(j/(-15))?
False
Let u(x) = -x**2 - 6*x - 11. Let b be u(-5). Does 7 divide (-102)/12*(b + 0)?
False
Let f(z) = 3*z**2 + 2*z**3 - 2*z - 11*z**2 - 2 + z - 6*z. Is 20 a factor of f(6)?
True
Let m = 82 + -75. Is 21 a factor of 982/m + -7 + 4/(-14)?
False
Let h = 630 + 2262. Is h a multiple of 73?
False
Suppose -4*p - 23 = 5. Let s = p - -18. Suppose -7*z - 208 = -s*z. Is z a multiple of 20?
False
Let i(n) = -65*n**2 + 14*n + 11 + 0 + 64*n**2. Is i(14) a multiple of 4?
False
Is 99 a factor of 9 + -2 + 315392/64?
False
Suppose -g - 12 = 4*b - 2*g, 3*b - g + 10 = 0. Is 10 a factor of 50/(-175) - 106*b/7?
True
Let q(b) = b**2 - b + 20. Let j(z) = 7*z - 10*z**2 - 5*z + z**3 + 6*z + 9. Let u be j(9). Is q(u) a multiple of 11?
False
Let u(w) = w**3 - 2*w + 16. Let z(k) = k + 11. Let m be z(-6). Suppose -4*l - m*x + 5 = -10, -4*x + 12 = 4*l. Is u(l) a multiple of 8?
True
Suppose 0 = 3*x + 3 - 48. Let t be 8/(-20) - 54/x. Let i(h) = 4*h**2 + 3*h + 3. Does 11 divide i(t)?
True
Let d be ((-9)/(-6))/(1*(-4)/(-8)). Suppose -d*v = -8*v + 225. Is 5 a factor of v?
True
Let m = -14 - -17. Suppose -m*x - 15 = -51. Suppose x*n - 84 = 8*n. Is n a multiple of 21?
True
Suppose 2*a - b - 2398 = 1270, 4 = b. Is 27 a factor of a?
True
Suppose -2*m = -2*x - 398, -2*m = -4*x - 283 - 113. Is 40 a factor of m?
True
Let r be (22/(-10) - -3)*(-8 - 2). Let h(c) = -2*c**2 - 25*c - 2. Is 19 a factor of h(r)?
False
Suppose -14*y = -9*y - 10. Suppose -4 = y*k - 64. Is k a multiple of 9?
False
Let j(s) = s**3 + 4*s**2 - s + 6. Let o be j(-4). Suppose -2 = h - t, 4*h + 5*t - o = -0*t. Suppose -r + 38 = m + 3*r, 4*r = h. Does 8 divide m?
False
Suppose -2*r = 205 - 545. Let y = r - 18. Is 19 a factor of y?
True
Let h be (3 + -1)*(0 - 2). Let c be ((-16)/h)/(-2) + -4. Is c + 2 - 9*-5 a multiple of 16?
False
Let o = 11 - -22. Let i = 69 - o. Is i a multiple of 12?
True
Suppose 5*m = -3*n + 1690, -4*n - 1655 = -7*n + 2*m. Is 8 a factor of n?
False
Let p = 142 - 73. Let a = -30 + p. Is a a multiple of 15?
False
Let d(b) = b**3 - 24*b**2 + 26*b - 28. Let l = -24 + 47. Is 27 a factor of d(l)?
False
Let j = 2 - -5. Suppose -5 - j = -2*z. Is ((-4)/z)/((-2)/30) a multiple of 10?
True
Suppose 55 = 4*h + g, 2*h - g - 15 = -4*g. Suppose v + 2*v - h = -3*o, -2*o = 4*v - 10. Suppose v*n + 12 = 2*n. Is 6 a factor of n?
True
Let x = -240 - -940. Is 50 a factor of x?
True
Let i(m) = 116*m - 92. Is 5 a factor of i(2)?
True
Let r(z) = -4*z + 175. Is r(12) a multiple of 4?
False
Suppose -176*d = -175*d - 28. Does 7 divide d?
True
Let t = -9 - -14. Suppose v + 12 = t*v. Suppose -v*f = 4*s - 56, -4*f - 21 = -7*f + 3*s. Is f a multiple of 4?
True
Let q(j) = -j**3 + 11*j**2 + j + 17. Let a be q(11). Let c(t) = 5 - t**3 + 2*t**3 - 2*t + a*t**2 - 30*t**2. Is 6 a factor of c(4)?
False
Let j(b) = 6*b**2 + 5*b + 10. Is 49 a factor of j(-5)?
False
Let b be -3*(-20)/12 - 2. Suppose -2*w = -b*w - 4. Is (-4 + (-29)/w)*4 a multiple of 9?
False
Does 5 divide -3*23*133/(-21)?
False
Suppose -3*b - 4*g = -55, g + 18 = b - 5. Does 21 divide b?
True
Suppose 0 = 2*n - 6 + 2. Suppose -3*c = -n*c. Let x(g) = -g**3 - g**2 + 2*g + 65. Is 13 a factor of x(c)?
True
Let i be -1 + -5*24/(-20). Suppose 2*u + i = -3. Let o(j) = -j + 4. Is o(u) a multiple of 6?
False
Suppose 0 = -5*s + 2*h - 5, 7*s = 2*s + h. Let v be s*((-8)/4 - 2). Does 11 divide (-86)/(-4) - 2/v?
True
Suppose -5*q - 4 = 3*v, -6 = -4*v - 2*q - 2. Suppose 3*l + l - 132 = v*t, -t = 2. Is 15 a factor of l?
False
Let l(d) = -d**3 - 7*d**2 - 7*d - 6. Let b be l(-6). Let w be (-1 + b)*(3 - 2). Does 21 divide 18 - (0 + w)*3?
True
Let u be 0 + ((-8)/(-12))/((-6)/9). Is 85 - (-1 - (u + -1)) a multiple of 21?
True
Suppose 5*g = 23 + 117. Let f = g + 70. Is 17 a factor of f?
False
Let h be (2/(-3))/((-8)/48). Suppose 2*a = h*a - 260. Is a a multiple of 10?
True
Suppose -2*h - 3*h - 5 = 0. Let g(n) = -13*n**3. Is 6 a factor of g(h)?
False
Suppose 0 = -5*m, -4*y - 6*m = -5*m - 4356. Does 121 divide y?
True
Let q(b) = b - 3. Let k be q(5). Suppose 2*l - 4*y = -0*l + 10, -k*l - 4*y + 10 = 0. Let w(p) = p**2 - 5*p + 4. Is 4 a factor of w(l)?
True
Let c(v) = v**2 - 8*v - 16. Let l be c(10). Suppose l*a + 328 = 2*n, -5*n + 5*a + 765 = 6*a. Does 32 divide n?
False
Let i be (1 + 1)*(-14)/(-4). Suppose -4*h + 1 = -i. Suppose -3*r + 4*r = -h*g + 10, 2*g = 3*r - 38. Does 8 divide r?
False
Let f(p) = -18*p - 19. Let w(z) = -z - 1. Let u(h) = -f(h) + 4*w(h). Is 11 a factor of u(6)?
True
Suppose 5*n - 5*v = 65, 4*v = -5*n - 0*n + 74. Let a be (n/(-4))/((-6)/300). Suppose a = 3*u - 35. Does 14 divide u?
True