w + 11. Is u a multiple of 2?
True
Suppose -62*h = -79*h + 31824. Does 26 divide h?
True
Let s(p) = 3*p**2 + 22*p + 88. Is s(-6) a multiple of 7?
False
Suppose 0*w - w = 4*c - 82, w + 5*c - 86 = 0. Let p = w - -15. Is p a multiple of 16?
False
Let o be (-13)/(-26) + (-2)/4. Is 32 a factor of (-2952)/(-22) + (-8)/44 + o?
False
Let x(k) be the third derivative of k**5/12 + k**4/6 - 17*k**3/6 + 19*k**2. Is 22 a factor of x(-5)?
True
Suppose 4*r - 1422 = -2*y, 564 = r + 2*y + 204. Suppose -12*k + r + 1026 = 0. Is k a multiple of 24?
False
Suppose 0 = 4*i - 17 + 61. Let y = i + 15. Suppose -y*z = -d - 127, -5*d = 5*z - 3*d - 149. Is 13 a factor of z?
False
Let f(d) = d**2 + 3*d - 29. Suppose -27 = -4*u - o, -24 - 8 = -5*u - 3*o. Is f(u) a multiple of 8?
False
Let p = -8 - -40. Suppose -5*j + p = -5*v + 12, 7 = j - 4*v. Suppose 0 = z - j*z + 52. Is z a multiple of 13?
True
Is (-4)/(-4 + 2733/684) a multiple of 21?
False
Let n be (-5 - -3)/(2/(-10)). Let l(d) = 5 - 5 + 9 - 3*d + d**2 + n*d. Does 9 divide l(-7)?
True
Let y(z) = -z**3 - 19*z**2 - 31*z + 255. Is y(-20) a multiple of 17?
True
Let g = -154 + 406. Does 21 divide g?
True
Suppose -q + 0*q = 5, 3089 = 3*o + 2*q. Is 16 a factor of o?
False
Let j = -492 - -696. Does 19 divide j?
False
Let z be -120 - 0/(-3 + -3). Let y = 64 - z. Is y a multiple of 17?
False
Suppose -3 = 3*m - 18. Suppose 4*w + 192 = u, m*u + 0*w + 4*w = 1008. Let y = -122 + u. Is 39 a factor of y?
True
Let j(n) = 5*n + 22. Let q be j(20). Let t = q + -87. Is 5 a factor of t?
True
Suppose -w = 2*d, -3*d - 4*w + 5*w = 0. Suppose -10*x - 162 + 962 = d. Is x a multiple of 20?
True
Suppose 4*y = 11 + 17. Suppose -y*a = -44 - 89. Is a a multiple of 5?
False
Suppose -7*h + 4*h = -1278. Suppose 2 = x + 4, 0 = -4*l + x + h. Is l a multiple of 46?
False
Does 16 divide (-60)/((-1)/2*17/34)?
True
Let k(t) be the second derivative of t**5/20 - t**4/12 + t**3/6 + 16*t**2 - 5*t. Does 9 divide k(0)?
False
Let g(d) = 4*d**2 + 23*d - 18. Is g(-8) a multiple of 3?
True
Let t(v) = v**3 - 20*v**2 + 44*v - 275. Is 18 a factor of t(19)?
False
Let o(r) = r**2 - 13*r + 27. Does 11 divide o(12)?
False
Let l(g) = -6*g**2 + 2*g + 12. Let d(w) = -w**3 + 4*w**2 + 7*w + 2. Let m be d(5). Let q be l(m). Does 20 divide ((-4)/(-6))/((-8)/q)?
False
Let w(d) = -19*d**3 - 17*d**2 - 46*d - 5. Is w(-3) a multiple of 21?
False
Let t be 3/7 + (-33)/(-21). Let s be 2/((0 + t)/2). Suppose -2*h + 15 = -3*k, 3*h - 3*k = s*k + 20. Is h a multiple of 9?
False
Let k = 74 + -71. Suppose k*h + 2*p = 99, h = p - 4 + 37. Does 11 divide h?
True
Suppose 3*k - 22 = 35. Let s = -13 + k. Suppose -s*g = -70 + 10. Is g a multiple of 3?
False
Let w(d) = -d - 7. Let h be w(-11). Let j = 3 + h. Is 2*j + 0/6 a multiple of 10?
False
Suppose 14 = 9*k - 31. Suppose k*o - 245 = 5*g, -3*o - 2*o - g = -269. Does 5 divide o?
False
Suppose -4*x + 3*d = -5, -x + d + 2*d - 10 = 0. Suppose 2*s + h = 160, 2*s - h = -x*h + 160. Does 40 divide s?
True
Suppose 4*r = 5*k + 6892 + 3650, 0 = -4*r + 2*k + 10548. Does 12 divide r?
False
Let t(i) = -i**3 - 10*i + 4. Is 64 a factor of t(-5)?
False
Let g(n) = 100*n**2 - n - 2. Let d be g(-7). Suppose -f - d = 2*f. Is f/(-45) - 4/(-6) a multiple of 13?
False
Let f(s) = 25*s - 4. Let g(i) = -17*i + 3. Let v(x) = -5*f(x) - 8*g(x). Let r be v(8). Let z = r - 56. Does 13 divide z?
False
Let k be (-6)/2 + (-17 - -2) + 1. Let o = k - -41. Is 24 a factor of o?
True
Suppose 6*q - 8329 = x + 22348, 0 = 2*x + 10. Does 18 divide q?
True
Let q = -17 - -8. Let x = 7 + q. Is x*(-38)/4 + 4 a multiple of 23?
True
Let s(j) = 3*j - 20. Let v be s(8). Suppose -v*t + 81 = r, 38 + 32 = 5*t - 5*r. Is 19 a factor of t?
True
Suppose -754 - 1694 = -6*v. Suppose 2*d = 4*h - v, 0 = 3*h - 3*d + 54 - 366. Is 16 a factor of h?
False
Suppose -203*j = -231*j + 115192. Does 29 divide j?
False
Let w(b) = -b**2 - 1. Let z(j) = j**3 - 8*j**2 + 6*j + 3. Let g(t) = -2*w(t) + z(t). Let p be g(6). Let l = -17 + p. Is l a multiple of 16?
False
Let r(i) = -i**3 + 7*i**2 + 3*i - 21. Let q be r(7). Suppose -55*b + 58*b - 39 = q. Does 8 divide b?
False
Suppose 4*x + 1 - 17 = l, -x = 3*l - 17. Suppose p + 160 = x*p. Is p a multiple of 4?
True
Let z be 2/1*63/18. Suppose 0*j + z*j - 63 = 0. Is 2 a factor of j?
False
Let t(n) = -5*n + 61. Let j be t(11). Suppose -j*d + 708 = -372. Is d a multiple of 10?
True
Let j(h) = 3*h + 12. Let c be j(-14). Is 0 + 2/6 - 410/c a multiple of 7?
True
Let j be ((-38)/(-3))/((-13)/39). Let p = j - -82. Does 22 divide p?
True
Suppose 3*v + 1200 = 15*v. Is 10 a factor of v?
True
Let u(z) = 4*z**2 - 3*z - 2. Let s be u(-1). Suppose -s*p - f + 142 = -2*p, f = 3*p - 146. Does 11 divide p?
False
Suppose 0 = -3*x + l + 455, 5*l = -4*x + 691 - 78. Suppose -3*z + 2*g = -x, -4*g + 32 = z - 28. Is z a multiple of 10?
False
Suppose 0*j = -5*j + 90. Suppose 19*a - 15*a = 8. Suppose b + a*p + 58 = 4*b, b = p + j. Does 22 divide b?
True
Let q = -1319 - -1589. Is 30 a factor of q?
True
Let m(y) = -y**3 + 4*y**2 - 2*y - 2. Let k be m(2). Suppose x = -k*x + 144. Is 6 a factor of x?
True
Let o = -1227 + 1399. Is 11 a factor of o?
False
Let f(v) = -24*v + 154. Is 16 a factor of f(0)?
False
Let p(k) = k + 3. Let a(t) = t - 1. Let q be a(1). Let f be p(q). Is ((4 - f)*-6)/(-1) a multiple of 6?
True
Suppose -5*r = 4 + 1. Let j be r*130/4*-6. Suppose -j = 5*i - 8*i. Is 18 a factor of i?
False
Let f be (-143)/(-39) - (-2)/6. Suppose -62 = -f*k + 90. Is 11 a factor of k/57 - (-112)/3?
False
Let b(x) = 2*x**3 - 6*x**2 + 9*x - 13. Suppose 8 = -14*z + 78. Is 28 a factor of b(z)?
False
Let u = -1 + 23. Let p = 5 + u. Does 9 divide p?
True
Suppose -3*s = 4*l - 1162, -4*s + 7*s - 6 = 0. Is l a multiple of 8?
False
Suppose 2*q - 13 = -0*q + 3*z, 4*z = 5*q - 29. Suppose 3*c = -4*d + 34, d = q*c - 0*d - 26. Suppose 11*l = c*l + 240. Is 16 a factor of l?
True
Suppose -30 = 3*d + 3*w, -5*w + 7*w = -3*d - 25. Let h = d + 99. Is h a multiple of 14?
False
Suppose t + 9*t = 3120. Is 25 a factor of t?
False
Let n = 18 - 13. Suppose -6*f + n*f + 2 = 0. Suppose 126 = 5*d - f*k + 4*k, 5*d - 122 = -4*k. Does 12 divide d?
False
Let n be ((-216)/21)/((-15)/70). Suppose 5*y - n - 212 = 0. Is y a multiple of 18?
False
Let v be 19 - (-1 - -1)/(-1). Let q = 20 + -3. Let r = q + v. Is 12 a factor of r?
True
Is (38/(-76))/(1/(-216)) a multiple of 27?
True
Suppose -10 = b + 7. Let r = b - 64. Let t = -38 - r. Is 9 a factor of t?
False
Suppose -a - 5*m = -225, -1056 = -5*a + 16*m - 18*m. Is a a multiple of 30?
True
Let t(a) = -11*a**3 + a**2 + 4*a + 8. Is 34 a factor of t(-2)?
False
Let n be -136 - (0 + -1*(-3 + 6)). Is 19 a factor of 1978/14 + 38/n?
False
Let a(h) be the first derivative of -25*h**2/2 - 30*h + 15. Is 50 a factor of a(-13)?
False
Let k(w) = w**2 + 4*w + 3. Let p be k(-4). Suppose d - p*a - 18 = 14, 0 = d - 5*a - 32. Is d a multiple of 8?
True
Suppose 0 = -3*v + 5*v - 2*d + 12, -42 = 5*v + d. Let f be (v/(-10))/(2/20). Does 28 divide 920/32 + (-6)/f?
True
Let k be -4 + 4 + (-3)/(6/472). Let y = 347 + k. Is y a multiple of 12?
False
Suppose m = -3*m - 4336. Let f be (-6)/15 + m/(-10). Suppose 0 = 3*q + q - f. Is q a multiple of 6?
False
Suppose 1505 = 3*u - 4*m, 3*u + 3*m = m + 1529. Is (30/(-12))/(3 + u/(-168)) a multiple of 28?
True
Let d(t) be the third derivative of t**5/60 - 5*t**4/24 - 3*t**3/2 - 4*t**2. Let b be d(7). Suppose g + 68 = b*k, k + 4*g - 27 = -2*k. Is 13 a factor of k?
True
Suppose q + 2*q = -6. Let s(a) = -15*a**3 - 3. Is s(q) a multiple of 9?
True
Let o be -1 + 3 + 49 - 1. Suppose -3*v + 91 = 2*m - o, 0 = -5*v - 2*m + 231. Does 4 divide v?
False
Suppose 0*j + 222 = j + 4*c, 4*j - 4*c = 828. Is j a multiple of 30?
True
Let y = -1400 - -2060. Does 33 divide y?
True
Let f(h) = 2*h**3 + 39*h**2 + 18*h + 37. Does 5 divide f(-19)?
False
Let g(d) = 3*d**2 - 5*d - 6. Let v(s) = 32*s + 1. Let u be v(1). Suppose -5*k = 5*h + 69 - 24, 2*k = -5*h - u. Does 16 divide g(k)?
False
Let c be (-2)/9 - (-160)/72. Suppose -4*h + 4*x = 3*x - 50, -x - 26 = -c*h. Suppose h*r - 194 = 10*r. Does 27 divide r?
False
Suppose 0 = 3*a + 15, 0 = 4*x - 2*x - 3*a - 115. Does 5 divide x?
True
Let u(y) = -8*y - 60. Is 37 a factor of u(-16)?
False
Suppose 0 = -5*d + d + 16. Suppose 0 = -d*l - 5*a - 60 - 76, l - 3*a = -17. Let 