 = n + 35. Is 9 a factor of w?
False
Let k be 8/12 + (-8)/3. Let i be (-538)/(-6) - k/(-3). Suppose -i = 3*y - 8*y - 3*t, 95 = 5*y + 5*t. Is 6 a factor of y?
False
Suppose 42 = 23*d - 21*d. Does 3 divide d?
True
Let d(o) = -5*o + 3. Let y(f) = f**2 + f. Let k be y(0). Suppose 0 = 2*r + 4*u + 12, k*r - 2*u + 18 = -5*r. Is d(r) a multiple of 15?
False
Let s(u) = -u - 2. Let q be s(6). Let g = q - -11. Suppose 3*w - 39 = h - g*h, 5*w - 2*h = 49. Is 8 a factor of w?
False
Let d(s) = -s**3 - 6*s**2 - 7*s - 6. Let m be d(-5). Suppose -14 = 4*t - 3*c - 42, 14 = 2*t + m*c. Is 6 a factor of t?
False
Let p(j) = -j. Let k be p(5). Let n = k - -9. Is (0 - -3)/3 + n a multiple of 5?
True
Let l = -3 - -1. Suppose -8 = c - 3*c. Let n = c + l. Is n a multiple of 2?
True
Let u(s) = -s + 5. Let i be u(5). Does 10 divide 160/4 + (i - 2)?
False
Let f(m) = m**2 - 6*m - 7. Let q = -5 + 8. Suppose -5*k + 46 = -q*z - 0*z, 0 = 4*k - 5*z - 42. Is 8 a factor of f(k)?
False
Let k(r) = 59*r + 5. Is 16 a factor of k(1)?
True
Let s be (-1 - -1) + 30/(-3). Let n = s + 19. Is 3 a factor of n?
True
Does 13 divide ((-2)/1)/(10/(-20)) - -35?
True
Let q = 52 + 147. Let x be (-4)/6 - (-17)/3. Suppose -3*g = -x*n - g + q, 5*g = n - 49. Is 20 a factor of n?
False
Suppose 2*m + j = -2*m + 22, 3*m + 3*j = 21. Let s(l) = -10*l - 6. Let n(g) = -10*g - 5. Let r(a) = -5*n(a) + 4*s(a). Does 16 divide r(m)?
False
Let v(c) = -c**3 + 5*c**2 - 4*c + 2. Let u be v(4). Let y = u - -30. Is 9 a factor of y?
False
Suppose 0 = 3*y - 2*y - 3. Suppose -2*h + 20 = y*h. Suppose -h*a = 5*p - 118, 4*p - 28 = -a + 2*p. Is a a multiple of 16?
True
Suppose g = 32 - 2. Let h = g + -11. Does 11 divide h?
False
Let m be -6*(5/(-3) - -1). Suppose b - 8 = -3*w, -4*w - b + 7 = m*b. Is w - 2 - 3*-5 a multiple of 16?
True
Let t = -46 - -100. Does 9 divide t?
True
Let u(i) = i**3 + 7*i**2 + 5*i + 6. Let p = 0 - -2. Suppose -n = -4*f - 19, -32 = p*f + 4*n - 0*n. Is 6 a factor of u(f)?
True
Let y(j) = -j**3 + 7*j**2 - 2*j - 10. Let z be y(7). Suppose -f + 36 = -2*f. Let m = z - f. Does 4 divide m?
True
Suppose -231 - 4 = -5*s. Suppose -5*r + s + 63 = 0. Is 11 a factor of r?
True
Is 16 a factor of (160 - 64)*((1 - 1) + 1)?
True
Let n(i) = 7*i**2 + 6*i + 4. Is 33 a factor of n(-5)?
False
Suppose 5*u + 5*m + 10 = 0, -15 + 5 = -u + 3*m. Let b be -15 + 0/(-1) + u. Let z = b - -38. Is z a multiple of 10?
False
Suppose -3*g + 3*v + 7 = -17, 5*v = -4*g - 4. Suppose -g = -2*b, 3*u - 18 = -4*b + 23. Is u a multiple of 11?
True
Let w(a) = a**3 + 8*a**2 + 6*a - 12. Suppose 3*o - 2*o + 2*u + 8 = 0, 0 = -5*o - 2*u - 32. Is 8 a factor of w(o)?
True
Let l(t) = t**2 + 7*t + 4. Let r be l(-4). Is 9 a factor of 4/r*38/(-1)?
False
Suppose -d + 4 = 5*b - 17, -5*b + 5 = 5*d. Suppose 5*h + 3*l - 7 = 0, 4*h + b*l - 3*l = 6. Is 6 a factor of 4/((-8)/(-6))*h?
True
Let g = -11 + 38. Is g a multiple of 9?
True
Suppose 35 - 6 = -2*d - n, -4*d = -2*n + 62. Let y = 2 - d. Suppose -3*i = 0, 2*z - 3*z + y = 5*i. Does 7 divide z?
False
Let j = 110 + -82. Is 4 a factor of j?
True
Suppose -126 = -4*i + 3*u, -i + u = -0*u - 31. Does 11 divide i?
True
Suppose -13*u + 18*u - 45 = 0. Is u a multiple of 9?
True
Let p be ((-8)/(-20))/(1/(-25)). Let a(h) = -25*h**3 - h + 1. Let b be a(1). Let s = p - b. Does 8 divide s?
False
Let a = 53 + -77. Is a/(-9)*(-87)/(-4) a multiple of 15?
False
Let s = 117 - 79. Is s a multiple of 17?
False
Let b be 2/3 + (-23)/3. Let k = b + 12. Is k a multiple of 5?
True
Suppose 4*c - 7*c = -99. Does 11 divide c?
True
Suppose -3*k + k + 8 = 0. Suppose k = -c - 1. Let i(q) = -8*q - 2. Is 19 a factor of i(c)?
True
Suppose 11 - 1 = b. Is ((-6)/4)/((-5)/b) a multiple of 2?
False
Let j = 84 + -132. Does 8 divide j/(-3)*3 + 0?
True
Suppose -3*x = -3*t + 30, -3*t = 3*x - 2*t + 18. Let z be ((-18)/x)/((-3)/(-21)). Suppose -o + 3*l = -22, 0 = 3*o - l - z - 24. Does 13 divide o?
True
Suppose 4*b - 30 = 3*b. Is b a multiple of 6?
True
Let a = 5 + -1. Let d = a + 6. Is 3 a factor of d?
False
Let r(p) = p**3 + 4*p**2 + 3*p + 3. Let v be r(-3). Let a = 27 - v. Is a a multiple of 10?
False
Let w be ((-6)/(-9))/(4/666). Suppose -4*j - 4*m = -84, 4*j = -j - 3*m + w. Does 16 divide j?
False
Suppose 0 = 4*l + 3*o - 303, 0*l + 5*o = 2*l - 145. Does 40 divide l?
False
Let l(u) = 58*u**2 + u. Let g be l(-1). Suppose 3*k - g = 30. Is 8 a factor of k?
False
Let h = 17 - 7. Suppose -2*q = 4 - h. Suppose -3*p = q*s - 48, -4*p + 3*s + 72 = -27. Is 15 a factor of p?
False
Suppose f - 3 = 3*f + n, 2*n = -2*f - 6. Let d(o) = -o**2 - o + 5. Let h be d(f). Suppose -2*b - 2*b + 147 = -z, 3*z = h*b - 182. Does 14 divide b?
False
Let l = -8 - -5. Let u(s) = -s**3 + s**2 + s + 1. Is u(l) a multiple of 17?
True
Let z(j) = -33*j**3 + 2*j**2 + j. Suppose -x + 15 = 2*x. Suppose 4*w - 16 = 4*c, -5*c - 1 + 11 = x*w. Does 13 divide z(c)?
False
Let g be -2*(-3)/(-9)*9. Let r be (-15)/2*8/g. Is (-2)/4 - (-195)/r a multiple of 9?
False
Suppose 2 + 16 = -2*a. Let g be a/6*92/6. Does 21 divide (-4)/2 + g/(-1)?
True
Suppose 74 = 5*c - 16. Does 18 divide c?
True
Let s be ((-9)/(-3) + 0)*-1. Let h(z) = 51*z**2 + 2*z - 1. Let q be h(s). Is 16 a factor of 6/(-21) + q/14?
True
Suppose 0 = 5*q - 4*q + n - 65, 201 = 3*q - 3*n. Does 11 divide q?
True
Let k(z) = 12*z. Let d be (3/(-2))/(2/(-4)). Let l be k(d). Let f = 51 - l. Is 5 a factor of f?
True
Let z = 1 + -2. Does 11 divide 1 + (-54)/(-3 - z)?
False
Let f be (-18)/(-5) + 20/50. Suppose -m - 2*k = -18, f*m - 33 = -4*k + 51. Is m a multiple of 7?
False
Is ((-32)/10)/((-8)/20) a multiple of 6?
False
Suppose 5*b - 4*t = -29 - 9, 5*b + t + 28 = 0. Let h be (-1 + 7)/((-9)/b). Suppose -2*w - 4*n - 84 = -4*w, -h*n + 66 = w. Is w a multiple of 19?
False
Suppose -3*u + z = -264, 4*u - 3*z = 9*u - 426. Is 29 a factor of u?
True
Suppose 2*v + 5*y - 235 = 0, -y - 15 - 380 = -3*v. Does 11 divide v?
False
Let p(b) = 2*b - 4. Let i = -7 + 15. Does 12 divide p(i)?
True
Let m = 1 + 1. Let t = 15 + m. Is t a multiple of 17?
True
Let o(x) = -x**3 - 11*x**2 + 10*x - 14. Suppose 2*b + 5 = -19. Does 10 divide o(b)?
True
Let x(f) = -6*f + 16. Let s(r) = 7*r - 17. Let y(c) = 5*s(c) + 6*x(c). Let l be y(6). Suppose -4*k + l*k = 25. Does 9 divide k?
False
Suppose n - 4*n = 0. Let j(l) = -5*l + 9*l - 1 + 3*l + n. Does 10 divide j(3)?
True
Let o(m) be the third derivative of 1/6*m**3 - m**2 - 1/12*m**4 + 0 + 0*m. Is o(-5) a multiple of 7?
False
Suppose 3*i - i = 2*f + 120, -5*i + 292 = -3*f. Is 8 a factor of i?
True
Suppose 3*z = -5*x + 98, 5*x = 4*z + 61 + 65. Is x a multiple of 22?
True
Let u(n) = n**3 - 6*n**2 + 8*n - 3. Let x(j) = 2*j**3 - 4*j**2 + 4*j - 3. Let s be x(2). Does 6 divide u(s)?
True
Suppose 0 = -4*q - 5 + 21. Let p(d) = -11. Let t(o) = -o + 12. Let g(n) = q*p(n) + 3*t(n). Is 5 a factor of g(-6)?
True
Let v(q) = 2*q + 3. Let y be v(4). Suppose y = -a - 39. Let r = a - -84. Is 17 a factor of r?
True
Let k = -17 - -23. Suppose -3 = -m + k. Is m a multiple of 8?
False
Let b(o) = o**2 - 4*o - 1. Let z be b(5). Suppose -z*d + 79 = 23. Does 14 divide d?
True
Let c(o) = -o**2 - 8*o + 1. Let h be c(-7). Let k(v) = -v**2 - v + 1. Let u be k(h). Let q = -30 - u. Is 14 a factor of q?
False
Let f(b) = 3*b**3 - 3*b**2 + 6*b + 1. Let s(r) = 5*r**3 - 5*r**2 + 9*r + 1. Let w(u) = 8*f(u) - 5*s(u). Is 9 a factor of w(-2)?
True
Suppose 81 = 2*l - 23. Suppose y = 3*y - l. Is 13 a factor of y?
True
Let x = 25 - -1. Let d be -1 + 7 - (2 - 0). Let k = x - d. Is 6 a factor of k?
False
Suppose d - 9 = 7. Suppose 2*c - 3*c = -d. Is c/(-6)*63/(-6) a multiple of 14?
True
Suppose -3*j = -0*j - 51. Is j a multiple of 4?
False
Suppose -2*f + 4 = 0, 4*f - 16 - 19 = -3*l. Suppose 0 = 3*h - 9, -i - 4*h + 5*h = -l. Does 4 divide i?
True
Let t be -21 + 1 + -4 + -1. Is 3 a factor of 2/3 - t/3?
True
Let s = -48 + 67. Let j = s - 12. Is j a multiple of 3?
False
Let u = -43 + 119. Suppose -18 = -2*o + u. Is 15 a factor of o?
False
Let t(v) = 3*v + 1. Let a be t(2). Is (-2)/a - 58/(-7) a multiple of 6?
False
Suppose 0 = -5*i + 2*i. Suppose i = -b + q + 10, 6 = -b - 3*q. Is 3 a factor of b?
True
Suppose -5 + 26 = -p - 2*f, -f + 98 = -3*p. Let n(o) = 2*o**2 + 2*o - 5. Let h be n(-6). Let y = p + h. Is 13 a factor of y?
False
Suppose 1 = 5*d - 4. Let m(o) = -3*o - 1. Let n be m(d). 