w, -4*w = w + x*z - 106. Does 10 divide w?
True
Let a be (-1)/1 + (-24)/4. Is 2 + a/((-14)/60) a multiple of 16?
True
Is 11 a factor of 0 + 1 + 80/4?
False
Let v(n) = n + 28. Let t be 4/(-10) + 306/15. Suppose -3*b + l - 5 = 0, 5*b + t + 0 = 4*l. Does 14 divide v(b)?
True
Let k(u) = -5*u - 3. Let s be k(-6). Let p(i) = -i - 4. Let g be p(-6). Suppose 5*l = g*l + s. Is l a multiple of 8?
False
Suppose 2*o - 3 = 3. Suppose -2*j - o*j - 34 = 4*x, -x + 2*j = 15. Let u = 6 - x. Is 17 a factor of u?
True
Let x(b) = 5*b - 5*b**2 + 0*b**2 - b**2 - 2 - b**3. Let c be x(-7). Let a = c + -7. Is 3 a factor of a?
False
Let y = 164 + -108. Is y a multiple of 28?
True
Let g(u) = 4*u + 10*u**2 - 9*u**2 - u. Let s(b) = 3*b**3 + b**2 - 1. Let f be s(1). Does 18 divide g(f)?
True
Suppose 11 + 44 = 5*o. Suppose 4*s - 13 = -5. Suppose o = d - s. Does 7 divide d?
False
Suppose -6 = -3*f + 3*c + 6, -c - 24 = -5*f. Let b(o) = 7*o**2 - 7*o + 2. Let u(w) = 15*w**2 - 14*w + 4. Let s(n) = -13*b(n) + 6*u(n). Is s(f) a multiple of 3?
False
Suppose -3*n + 76 = -131. Does 12 divide n?
False
Let p = 89 + -44. Does 9 divide p?
True
Let q(i) = -20 - 7*i - 11 + 11. Let t(f) = -3*f - 10. Let n(a) = 2*q(a) - 5*t(a). Is 4 a factor of n(-6)?
True
Suppose m + 0 - 2 = 0. Suppose -4 - 14 = -m*c. Is 9 a factor of c?
True
Let y be (-6)/(-14) + 2816/28. Suppose 3*i - 123 = -3*k, 4*k - 5*i - 72 = y. Is 14 a factor of k?
True
Let m = 4 + 14. Suppose -4*h + 144 = 5*x, -73 = 3*h + 5*x - 181. Suppose h = 4*q - 2*r, -2*q + r = -r - m. Is 7 a factor of q?
False
Let v(y) = -9*y - 1. Suppose 5*q - 4 = -4*h, 4*h - 3*h - 1 = 4*q. Let w be (2 - q)*6/(-4). Is 13 a factor of v(w)?
True
Suppose 0 = -2*z + 4*d + 14, 2*z - 20 - 1 = -3*d. Let p(j) = -j**2 + 9*j + 7. Is p(z) a multiple of 7?
True
Let y = -296 - -527. Does 53 divide y?
False
Suppose 0 = -5*a + 25, -3 + 4 = -z - 2*a. Is 8 a factor of 178/11 + 2/z?
True
Is 18 a factor of ((-12)/(-10))/((-7)/(-210))?
True
Let t(i) = -15*i. Is t(-4) a multiple of 10?
True
Suppose y + 33 = 2*y + 3*g, -4*y - g + 187 = 0. Is 12 a factor of y?
True
Suppose -2*v - 3 = -3*v. Let i(z) = 7*z**2 - 5*z - z - z**v - 4 + 11. Is 3 a factor of i(6)?
False
Let p = -93 - -125. Is p a multiple of 10?
False
Let f(k) = -k**3 + k + 29. Suppose -a = -6*a - 3*t - 3, 3*t = -2*a - 3. Is 16 a factor of f(a)?
False
Let j(x) = 3*x - 11. Let r be j(8). Let a be (-2)/6 - r/(-3). Suppose a*z - 65 = 87. Does 15 divide z?
False
Suppose -3*l + 454 = -68. Does 31 divide l?
False
Does 46 divide 1/((-1434)/(-358) + -4)?
False
Suppose 0*x = t + 5*x - 221, -5*t - 4*x + 1084 = 0. Is t a multiple of 9?
True
Let p(w) be the third derivative of w**4/24 + w**3/6 + w**2. Does 5 divide p(4)?
True
Let l = 17 + -14. Suppose 14 = l*y - n - 70, 3*n = -y + 38. Is 15 a factor of y?
False
Let u be 4/18 + 410/18. Suppose 0 = -5*d - u + 73. Suppose z + 7 = d. Does 2 divide z?
False
Suppose 0 = -r + 4*n + 94, -5*r + n + 470 = -n. Is 47 a factor of r?
True
Let m(d) = d**3 - 6*d**2 - 8*d - 13. Let g(n) = 5*n**3 - 31*n**2 - 41*n - 66. Let t(c) = -2*g(c) + 11*m(c). Does 4 divide t(6)?
False
Let y = 144 - 72. Let r(u) = 11*u**2 + 2*u - 2. Let x be r(2). Let m = y - x. Is 13 a factor of m?
True
Let i = -16 - -11. Let q(r) = 0 - 1 + 3*r - r**3 - 4*r**2 + 3. Is 6 a factor of q(i)?
True
Suppose 22 = 5*m - 28. Is m a multiple of 2?
True
Let d(s) = -2*s - 3. Is d(-4) even?
False
Suppose 0 = -5*a + 4*p - 5, 3*a + p = a + 11. Let z = a - -3. Does 2 divide z?
True
Let t = -28 + 64. Does 9 divide t?
True
Let y(u) = -u + 52. Is 11 a factor of y(26)?
False
Let a = 23 + -13. Does 5 divide a?
True
Let p be 9*4/12*1. Let s be (1 + 0)/(1/3). Suppose 5*x + p*f - 12 = s*x, -4*f = x - 11. Is x even?
False
Is 7 a factor of (-48)/(-4) + -2 + 3?
False
Let k = -1 - -1. Is 5 a factor of -18*(-1 + k) + -1?
False
Suppose 2*s = -20 + 124. Does 13 divide s?
True
Let b = 93 - 63. Is 6 a factor of b?
True
Suppose 2*u + 76 = 3*u. Is 19 a factor of u?
True
Let q = 1 + 0. Let l = 14 + -14. Suppose l = 4*r - 87 - q. Is r a multiple of 11?
True
Let r = 58 - 39. Is 9 a factor of (-3)/(r/(-9) + 2)?
True
Let t = 61 + 65. Is t a multiple of 6?
True
Let w(o) = o**2 - 6*o - 5. Is 3 a factor of w(11)?
False
Suppose 4*d - 4*h + 0*h + 24 = 0, -4*h - 57 = 5*d. Let r = -71 - -99. Let j = r + d. Is j a multiple of 13?
False
Let u(d) be the second derivative of -d**5/20 + d**4/2 + 7*d**3/6 - 3*d**2/2 - 2*d. Let b be u(7). Is 14 a factor of (-3)/((-1)/(-28)*b)?
True
Suppose n = 5*u + 3 + 11, 3*n - 8 = -2*u. Suppose -31 = -3*c + n*m, 5*m = -6 - 14. Let s = 0 + c. Is 5 a factor of s?
True
Let q = 6 + -19. Let b = -7 - q. Suppose -4 = -2*v, -2*v - b = -2*k + v. Is 4 a factor of k?
False
Let y(r) = r**3 + 6*r**2 - 6*r - 4. Is y(-6) a multiple of 8?
True
Is 4 a factor of 219/45 + 8/60?
False
Does 8 divide 3 + 0 - (0 - (-4 - -99))?
False
Suppose 750 = 9*r + r. Is r a multiple of 5?
True
Let t(d) = 8*d + 1. Let s = 16 + -24. Let l be t(s). Let m = 95 + l. Does 15 divide m?
False
Let s be 4/(-18) + (-106)/9. Let l be ((-10)/(-3))/((-2)/s). Suppose 3*f - f - l = 0. Is 10 a factor of f?
True
Suppose 0*u = 3*u - 231. Let t = -40 + u. Is 16 a factor of t?
False
Let w(n) = 2*n - 8. Let j be w(7). Suppose 5*c - j*c - 17 = -4*b, -2*b = -10. Is c a multiple of 3?
True
Let d = 6 + -2. Let f be d - (0/3)/1. Suppose -2*p = -0*g + f*g - 60, -4*p = 5*g - 81. Does 13 divide g?
True
Let m(b) = 5*b**2 - 5*b + 14. Is m(4) a multiple of 23?
False
Suppose 4*n = 3*n. Suppose f + 0*f + 5 = n. Let w = 12 - f. Is 6 a factor of w?
False
Let n(z) = z**3 + 2*z**2 - 2*z + 4. Let i(p) = -2*p**3 - 4*p**2 + 3*p - 9. Let w(u) = 2*i(u) + 5*n(u). Suppose -2*g + 3*g - 2 = 0. Does 7 divide w(g)?
False
Let p(k) = -22*k + 7. Let n(d) = -2*d + 2. Let y be n(4). Let v be p(y). Suppose -10 = 3*l - v. Is l a multiple of 15?
False
Let o = -55 - -165. Suppose 3*z - 66 = 5*d + 28, 4*z = -d + o. Is 8 a factor of z?
False
Suppose 3*m + m = 36. Suppose -n - 1 = -m. Does 8 divide n?
True
Is 6 a factor of ((-198)/55)/(6/(-40))?
True
Let v be -2*(-10)/(-4) + 1. Is (-64)/(-2) + (-4 - v) a multiple of 20?
False
Let b = -5 - -8. Is b even?
False
Let a be 8/(-60) + 3066/45. Suppose 2*k + 2*b = 7*k - 85, 4*k + b = a. Is k a multiple of 5?
False
Suppose 3*s - f = -0*s - 1, 3*s = 2*f + 4. Does 6 divide (-24)/s + -8 + 11?
False
Let k(t) be the third derivative of t**6/60 - t**5/30 + t**4/8 - 2*t**3/3 + 5*t**2. Is 18 a factor of k(3)?
False
Suppose -7*n = -8*n + 32. Is 8 a factor of n?
True
Let q(v) = v**2 - 10*v + 10. Is 13 a factor of q(13)?
False
Let f be 1/(-3) + (-46)/(-3). Is (20/f)/(2/69) a multiple of 13?
False
Suppose 0 = -3*m - 5*s + 93 + 5, -4*s = -4*m + 152. Does 9 divide m?
True
Let z(m) = m**3 - 11*m**2 - 7*m. Is z(12) a multiple of 15?
True
Let q(m) = -9*m - 2*m - m + 3. Does 13 divide q(-3)?
True
Let j be (-6)/(-5)*50/15. Suppose 2*o + 92 = j*o. Is 19 a factor of o?
False
Suppose 17 + 17 = 2*m - 3*r, 0 = -3*r + 12. Let o = m - 4. Is o a multiple of 19?
True
Let w = 1 - -23. Is w a multiple of 10?
False
Suppose -y - 4*j - 6 = 4, -5*y + 3*j = 50. Let s be (-20 + 1)*(-2 - -1). Let p = s + y. Does 9 divide p?
True
Let k(n) = n**3 + 5*n**2 + 2*n + 7. Is 6 a factor of k(-4)?
False
Suppose 2*q - 5 = -1. Suppose -3*w = q*w + 35. Is -16*w/(-4)*-2 a multiple of 25?
False
Suppose w + i = -2*w - 40, 4*w = -4*i - 64. Let h = w + 27. Is h a multiple of 10?
False
Let v(i) = -i - 4. Let o be v(-7). Suppose -4*w + o + 149 = 0. Let x = -20 + w. Is 9 a factor of x?
True
Let b = 2 - 7. Is (-93)/(-4) + b/20 a multiple of 10?
False
Let q = -5 + 10. Suppose 2*f + 2*b = 15 + 3, q*f - 10 = 2*b. Suppose -95 = -5*j - 2*n, 6*j - 3*j - 43 = -f*n. Is 12 a factor of j?
False
Let m = 143 - 14. Does 24 divide m?
False
Let a(w) = -w**3 - w**2 - 6. Let c = 0 + -5. Let y be a(c). Let o = 144 - y. Is 21 a factor of o?
False
Let z be (-4)/(-8)*(1 - -5). Suppose -15 = -2*h - z. Is 2 a factor of h?
True
Let k(p) = p**2 + 9. Is k(-10) a multiple of 14?
False
Let c(p) = 1 + 4*p - p**2 + 2 + 9*p**2. Let g be c(-2). Is (-6)/g*3*-6 a multiple of 4?
True
Suppose 11*d = 17*d - 816. Does 17 divide d?
True
Let x be 1/2*24/6. Suppose 0 = -3*c + x*u - 0*u + 119, -u - 157 = -4*c. Does 13 divide c?
True
Suppose -37*a + 36*a = -143. Is 11 a factor of a?
True
Suppose 