13*x + 13. Is n(4) a multiple of 27?
False
Suppose -q + 2*q = -2, -2*s - 2*q - 4 = 0. Let z be 25/(1/(-1 - s)). Let k = -2 - z. Does 10 divide k?
False
Let u be -2*(-4)/(-16)*-18. Suppose 4*f - u = 115. Is f a multiple of 15?
False
Let s = 11 + -6. Suppose -w = -s*w + 36. Let f = w - 2. Is f a multiple of 3?
False
Let v(l) = 5*l**2 - 5*l + 6. Let p(b) = 5*b**2 - 4*b + 5. Let d(j) = 3*p(j) - 2*v(j). Let s be d(2). Does 10 divide (-2)/(-2) + s + 3?
False
Suppose -3*y + 5*y = 4. Suppose 0 = -3*w + 8*w + r - 84, y*r - 66 = -4*w. Is w a multiple of 9?
False
Suppose z + 3*z = 28. Is z a multiple of 7?
True
Let a be -5 + 0 - (-4)/(-2). Let p = 30 + a. Does 8 divide p?
False
Let h = -11 + 15. Suppose 67 = 2*r + c - h*c, r - 4*c = 46. Is r a multiple of 13?
True
Suppose 2*z - 1 = 5*h, 4*z + 5*h + 10 = -3. Is -59*(z - (0 + -1)) a multiple of 22?
False
Suppose -5*j + 549 - 44 = 0. Is j a multiple of 16?
False
Let y(h) = h**2 - 1. Let b be y(1). Let s be b - (0 - 0 - -10). Let o = -4 - s. Is o a multiple of 3?
True
Does 6 divide ((-1 + 4)/(-3) - -6) + 2?
False
Suppose 40 = 8*f - 88. Is 5 a factor of f?
False
Let c = 219 + -104. Is 23 a factor of c?
True
Suppose r - 291 = -5*j - r, 0 = r - 3. Is 8 a factor of j?
False
Suppose 4*j - 14 = -2*f, 2*j - 2*f = 4*j - 2. Suppose j*u - u - 190 = 0. Does 19 divide u?
True
Suppose 0*v = 2*v - 12. Does 9 divide (28/(-5))/(v/(-30))?
False
Suppose -21 = p + 223. Let l be -1 - -3 - p/4. Suppose 2*a - a = l. Is a a multiple of 21?
True
Let j(k) = 14*k**3 + 5*k**2 - k + 6. Let b(f) = 5*f**3 + 2*f**2 + 2. Let u(q) = -8*b(q) + 3*j(q). Is 3 a factor of u(2)?
False
Let f = -6 - 1. Is (f - -2)/((-3)/33) a multiple of 12?
False
Let u(y) = y**2 - 2*y - 3. Let d be u(3). Suppose d = -2*g + 66 - 12. Suppose -4*i + 7*i - g = 0. Is 6 a factor of i?
False
Let c = -6 - -11. Suppose 3*r + 0*r - 4*d + c = 0, -2*d + 35 = 5*r. Suppose 0 = v - 3*m - 36, 3*m + r + 10 = 0. Is v a multiple of 15?
False
Let s = 8 + -5. Suppose 19 = -s*c + 4*c. Is 7 a factor of c?
False
Let n = -189 - -291. Suppose 3*x - n = -5*k + 4*x, 0 = 4*k - 2*x - 84. Is k a multiple of 6?
False
Suppose 0 = -3*y - y + 12. Let m(l) be the third derivative of -l**5/60 + l**4/8 + 2*l**3/3 - l**2. Is 2 a factor of m(y)?
True
Suppose 4*g + 10 = y - 0*g, y + 3*g - 17 = 0. Is 13 a factor of y?
False
Suppose 2*l + 0*l = 0. Suppose l = a - 4 + 6. Is 14 a factor of (-1355)/(-35) - a/7?
False
Let v = -5 - 0. Let l(o) = -o**2 - 6*o + 2. Is 7 a factor of l(v)?
True
Let a(h) = h**3 - h**2 - h + 132. Is 27 a factor of a(0)?
False
Let l = -16 - -7. Let y = l - -26. Does 6 divide y?
False
Let i(t) = -2 - 6 - 3*t - 6*t - t**2. Does 3 divide i(-7)?
True
Let f = -54 + 159. Is 26 a factor of f?
False
Let s be (4 - 1)*(-8)/6. Let x = 2 + s. Is x - 52/(2 - 4) a multiple of 14?
False
Suppose 0 - 6 = -s. Is 6 a factor of s?
True
Let s = -4 + 0. Let v(m) = -17*m**2 + 27*m + 11. Let p(f) = 6*f**2 - 9*f - 4. Let t(r) = s*v(r) - 11*p(r). Is 9 a factor of t(6)?
True
Suppose -n + 1 = -3*a + 16, 0 = -5*n - 3*a + 15. Suppose n = 2*y - 3*y + 705. Is 12 a factor of y/20 - (-2)/(-8)?
False
Let y = -13 + 16. Is y a multiple of 2?
False
Let p be 4 + (-2)/((-2)/(-1)). Suppose -a - p*k + 44 = 0, 5*k = -2*a - 0*a + 84. Is a a multiple of 8?
True
Let g(c) = -c**3 + 8*c**2 + 10*c - 4. Let b be g(9). Let u = b - 5. Suppose u = i + 4*i - 150. Does 13 divide i?
False
Suppose 3*y + 4*c = -130, 4*c - 100 = 4*y - 2*y. Let x = y + 86. Suppose 6*h - x = h. Does 8 divide h?
True
Let x = -3 - 3. Let j(h) = h**3 + 6*h**2 + 8. Is 2 a factor of j(x)?
True
Suppose 0 = -3*w + 8*w. Suppose 5*r - 14 - 16 = w. Is 3 a factor of r?
True
Suppose -2 = 4*s - 6. Let f = 4 - s. Suppose g = f + 34. Is 12 a factor of g?
False
Let i(a) = a**3 + 4*a**2 - a - 2. Let l(z) = -z**2 - z + 1. Let t(h) = i(h) + 2*l(h). Is 18 a factor of t(3)?
True
Suppose 3*m - 4*b = -b - 6, 0 = -2*m + 5*b - 10. Suppose -1 = -f - m*f. Is 2 a factor of (f*-6)/(-1 + -1)?
False
Suppose 6 = 3*b - 0*b. Suppose n + b*g + 2 = 0, -11 + 5 = -3*n - 2*g. Suppose -56 = -2*i + n*w, -3*i - 2*w = -w - 56. Is 10 a factor of i?
True
Suppose -8 = -4*h + 2*h. Is 4 a factor of (2 + 3 - h) + 19?
True
Let r be -4 + 3/(6/4). Let w = -24 + 24. Is 4 a factor of -3 - (w + r) - -11?
False
Let b be (4/1 + -1)*-1. Let c = -2 + -6. Let t = b - c. Is t a multiple of 5?
True
Is (-2)/(((-4)/(-30))/(-2)) a multiple of 15?
True
Let n(f) = f**3 + f**2 + 12. Suppose -6*s = -2*s. Suppose s = 5*g - 5*d + 5, 3*g + 3 = -2*d + 5. Is 12 a factor of n(g)?
True
Suppose j - 18 + 5 = -4*i, -4*i - 4*j + 28 = 0. Suppose i*o = o. Suppose o = -3*b + 2*b + 29. Is b a multiple of 12?
False
Let x = 11 + -11. Suppose x = -g + 1 - 4, q - 24 = -2*g. Is 17 a factor of q?
False
Let d(c) be the third derivative of 1/60*c**5 + 1/3*c**3 + 0 - 2*c**2 + 0*c + 1/8*c**4. Is 10 a factor of d(-6)?
True
Let n be 2/3*(-18)/(-6). Suppose n*w = -3*w. Suppose w = -j + 2*j - 13. Is 9 a factor of j?
False
Let a be 4 + -6 - 12/1. Let h be 21/a + (-23)/(-2). Suppose -p - 3 = -h. Is p even?
False
Let f = -154 + 246. Is 11 a factor of f?
False
Let p(q) = 18*q - 12. Let t be p(6). Is (t/(-5))/(-3)*5 a multiple of 16?
True
Suppose 4*g + 4*m = 128, -4*g + 118 = 4*m - 2*m. Suppose 0 = 3*s - g - 81. Does 13 divide s?
False
Let o(j) = 4*j**2 + 6. Is 14 a factor of o(4)?
True
Suppose -6 = -2*w - 0. Let n(u) = -2 + w + u + 2. Does 12 divide n(9)?
True
Let k(x) = 5*x + 2. Let v be k(-2). Let l = v + 20. Is l a multiple of 6?
True
Let z(l) = -l**3 - 3*l**2 + 3*l + 4. Let y be z(-3). Does 6 divide (8 + -3)/(y/(-6))?
True
Let w(o) = -2*o - 8. Let t(x) = x**3 + x - 6. Let y be t(0). Let j be w(y). Suppose -41 = -j*v + 5*u, 0 = -0*v + v - 4*u - 2. Does 4 divide v?
False
Let x = 31 + 25. Is x a multiple of 14?
True
Let m = -7 - -11. Suppose -3*p - 37 = m*b - 2*p, -2*b - 5*p = 41. Is (-6 + 3)/(3/b) a multiple of 7?
False
Let x = 32 + 11. Is x a multiple of 9?
False
Let k(v) = 4*v + 36. Does 14 divide k(0)?
False
Suppose 11 = -2*i + 729. Suppose 0*c - i = -5*d + 2*c, 4*d - 276 = -4*c. Does 24 divide d?
False
Let b be 6/8 + (-24)/32. Let d(y) = -y**2 + y + 3. Is 3 a factor of d(b)?
True
Let u(w) = -6*w - 3. Let p be u(3). Let a = -4 - p. Let q = a + -3. Is 5 a factor of q?
False
Suppose 0*r = 2*r. Suppose 3*x = -2*i - r + 2, i + 10 = 4*x. Suppose 14 - 42 = -x*a. Is 14 a factor of a?
True
Let k(n) = 3*n - 6. Let d be k(9). Let f = -8 + d. Is f a multiple of 13?
True
Let k(q) = 12*q**2 + 4*q - 6. Does 18 divide k(-3)?
True
Let o = 211 + -43. Is 28 a factor of o?
True
Let d be (-2)/12 + 25/6. Suppose d*i + 30 - 126 = 0. Does 8 divide i?
True
Let t = 157 - 3. Does 18 divide t?
False
Suppose m = 4*s + 5*m - 28, 0 = 3*s - m - 5. Let j = -3 + 3. Suppose j = -s*r + 11 + 1. Is r a multiple of 2?
True
Let q = -66 - -77. Is q a multiple of 11?
True
Suppose -4*d + 64 = a, -2*d + 18 = -0*d + 4*a. Is 17 a factor of d?
True
Let n(z) = z**3 - 18*z**2 + 2*z + 8. Is n(18) a multiple of 4?
True
Let z = -41 - -116. Is z a multiple of 25?
True
Let a = 3 + 3. Let w(f) = 5*f**2 + 6*f - f**3 - 8 - f + f**2. Is w(a) a multiple of 11?
True
Let r = 76 - 42. Is r a multiple of 15?
False
Suppose 3*q = -0*q + 108. Is 12 a factor of q?
True
Let j(w) = -4*w - 4 + 3*w - w**2 - 3 - 6*w. Let d be j(-5). Suppose b + 3*x = 0, -d*b + 16 = -2*b - x. Is 6 a factor of b?
True
Let z(x) = -2 + 2*x - 3*x - 3*x. Suppose b = 2, 0 = 8*p - 3*p + 2*b + 21. Is z(p) a multiple of 9?
True
Let u(n) = 25*n**2 - n. Does 6 divide u(1)?
True
Let s be (1 - 3)*(1 + 1). Let i(d) = -15*d - 5. Let a be i(s). Suppose -a = -3*r + 23. Is r a multiple of 13?
True
Let x(b) be the second derivative of b**5/20 - 11*b**4/12 + 11*b**3/6 - 2*b**2 + b. Does 2 divide x(10)?
True
Suppose -s + 5*s = 8. Suppose s*d = d + 10. Does 10 divide d?
True
Let p be (-373)/(-3) + (-3)/9. Let t = p + -71. Is t a multiple of 15?
False
Let f(v) = 29*v**2 - v. Let q be f(-1). Suppose -2 - q = -r. Is r a multiple of 16?
True
Let s = 550 - 376. Is s a multiple of 29?
True
Is 62/3 - (-13)/39 a multiple of 7?
True
Let s(z) = -4*z**2 + 6*z + 4. Let r(k) = -11*k**2 + 17*k + 11. Let t(m) = -3*r(m) + 8*s(m). Suppose 5*w - 22 = 3. Does 5 divide t(w)?
False
Let r be (-6)/(-5)*30/9. Suppose 2*l = -r*t - 0*t + 6, -3*t - 23 = -l. Is l a multiple of 11?
True
Su