. Does 13 divide x?
False
Let n be (-3)/(-45)*9*20. Suppose -n*s - 630 = -15*s. Is s a multiple of 42?
True
Let y be 55/22*(-92)/(-5). Let j = y - 36. Does 2 divide j?
True
Suppose 0*f - 4 = 4*f, 5*h = -5*f + 755. Is h a multiple of 8?
True
Let p = -145 + 211. Does 15 divide p?
False
Let l(g) = g**2 - 6*g - 19. Suppose 0 = 5*r - 25, 5*h - 40 = 2*r - r. Is l(h) even?
True
Let c(w) = -3*w**3 + 8*w**2 + 18*w + 15. Does 3 divide c(-7)?
False
Let j = -3927 + 5567. Is j a multiple of 40?
True
Let u(s) = 70*s**3 - 11*s**2 + 13*s - 2. Does 14 divide u(1)?
True
Suppose -4*b + 4 = -6*b - 2*z, 0 = 3*z. Does 7 divide 40 - (-3)/b*2?
False
Suppose 5*v + 3*d = 1683, -9*v + 5*d = -6*v - 1003. Does 84 divide v?
True
Let s be 2/(-4) - 893/(-2). Suppose 3*d = -4*q + s, -5*d = -6*q + 3*q + 349. Let i = q + -64. Is i a multiple of 15?
False
Let d(u) be the second derivative of u**4/12 + u**3/2 - 6*u**2 + 18*u. Does 3 divide d(-7)?
False
Is 2 a factor of (-105)/(-245) - 95/(-7)?
True
Suppose -21 = -8*a + 11*a. Let r = a - -43. Is 6 a factor of r?
True
Let m(v) = v**3 - 3*v**2 - 9*v - 5. Let l be m(5). Suppose l = -3*w + 5*r + 80, 3*r - 1 = 5. Does 5 divide w?
True
Suppose -4*g + 2160 = -4*o + 5*o, 4*g + 3*o - 2160 = 0. Does 45 divide g?
True
Suppose 0 = -n - 2*g + 50, 0 = -5*n - 4*g + 135 + 85. Is n a multiple of 12?
False
Let l be 1/2*(1 + -1). Is 10 a factor of ((-10)/(-15))/(l + 1/141)?
False
Let u(p) = -1071*p - 129. Does 78 divide u(-4)?
False
Let n = 143 + -223. Is (-20)/(-5) + (-1 - (n + -1)) a multiple of 21?
True
Suppose 7*r - 752 = 480. Is 44 a factor of r?
True
Suppose 4*n - g = -0*g + 647, 321 = 2*n - 3*g. Does 54 divide n?
True
Suppose 3*k = 291 + 147. Is 6 a factor of k?
False
Let p(v) = -v**3 - 38*v**2 + 28*v - 101. Is p(-39) a multiple of 41?
True
Let w = -110 + 156. Suppose -i + v + w = -2*v, 5*i = 5*v + 250. Is 11 a factor of i?
False
Suppose -z = 0, 3*s - 7*s + 8 = -5*z. Let n be 9 - -2*(s + -3). Let v(l) = 2*l**2 - 4*l - 17. Is 14 a factor of v(n)?
False
Suppose 3*o + 55 = -128. Let a = o + 156. Is a a multiple of 9?
False
Let q = 627 - 316. Is 11 a factor of q?
False
Suppose 3*g + j - 2475 - 434 = 0, 4*g - 3867 = j. Suppose 0 = -m - 7*m + g. Is m a multiple of 11?
True
Let k be (-1 - -4)*(-26)/(-3). Let q = -64 - -128. Let n = q - k. Is n a multiple of 8?
False
Let m(q) be the first derivative of 18*q**3 + q**2 - q + 1. Is 14 a factor of m(1)?
False
Suppose 4*t + 9 = 3*t. Let y = t - -12. Suppose -y*o - o = -56. Does 4 divide o?
False
Let u = -66 - -3930. Does 12 divide u?
True
Let p(t) = t**2 + t + 1. Let v be p(-2). Suppose -u + 28 = v*u. Is u a multiple of 3?
False
Let z = -165 + 195. Is 2 a factor of z?
True
Suppose -4*b + 5*b - 5*s - 26 = 0, 2*s = 0. Let x = -88 - b. Is 2/10 - x/5 a multiple of 8?
False
Suppose 5*m - 19 - 51 = -5*y, 0 = -4*y + 4*m + 16. Is 4/(-3)*y*-4 a multiple of 16?
True
Let i = 48 - 43. Let u = 29 - i. Does 21 divide u?
False
Suppose 2*a + 1 + 9 = 4*s, -4*s = 5*a - 31. Suppose s*u + 3*b + 55 = 0, 5*u + 55 = 2*b - 3*b. Let j(k) = k + 18. Is 6 a factor of j(u)?
False
Does 3 divide (-1)/2*(-162 - -4)?
False
Let i = 220 + -66. Let q = i + -52. Does 17 divide q?
True
Let f be (-51)/5 + 6/30. Let h = 54 + f. Is h a multiple of 9?
False
Suppose -683 = -3*b + 2*o, 0 = -3*b + o + 512 + 176. Does 18 divide b?
False
Let z(b) = -b - 11. Let l be z(-13). Suppose l*a - 15 = -3*a. Suppose 5*m - 2*m - 150 = -a*d, -3*m + 6 = 0. Is d a multiple of 24?
True
Let r(p) = p**3 + 10*p**2 + 8*p - 5. Let q be r(-9). Let h(t) = 8 + 1 + 7 - q - 3*t. Does 12 divide h(-10)?
False
Is 71 a factor of 88/4*(-4)/(-24)*633?
False
Suppose -14 = -10*h + 46. Is h/(-9)*51/(-1) a multiple of 3?
False
Let i = -2399 - -5039. Does 80 divide i?
True
Let p(d) = 54*d**2 + d - 1. Let o be 3*(28/12 - 2). Is p(o) a multiple of 18?
True
Suppose 0*g + 2602 = -5*a + g, -4*g = 2*a + 1032. Is a/(-12) - (-2)/(-6) a multiple of 8?
False
Suppose 0 = g + 3*n - 835, -3*g - 3*n + 2529 = -0*n. Is 15 a factor of g?
False
Let r = 6 - 3. Suppose r*h + 0*h - 27 = 0. Suppose 4*d - d = h. Is 3 a factor of d?
True
Is 3 + (744/(-14))/(22/(-154)) a multiple of 25?
True
Suppose 4*r - 3*m = 678, -3*m - 650 = -5*r + 199. Is 9 a factor of r?
True
Suppose 4*n = -5*r + 11, r + 15 = 6*r. Let d(y) = 8*y**3 - y + 1. Let v be d(1). Let q = n + v. Is q a multiple of 2?
False
Let m(z) = -6*z**3 - 10*z**2 - 5*z + 0 - z**3 - 3 + 17*z**2. Let v(g) = -3*g**3 + 3*g**2 - 3*g - 2. Let r(a) = 4*m(a) - 9*v(a). Does 10 divide r(-4)?
False
Suppose 17*w - 6665 = 9043. Does 12 divide w?
True
Suppose 1156 = 4*w - 4*d, -w - 7*d + 6*d + 297 = 0. Does 33 divide w?
False
Is ((-4)/(-7))/(-2) - 4522/(-49) a multiple of 46?
True
Suppose 70 = 5*d - 400. Suppose -58 - d = -4*m. Is m a multiple of 7?
False
Let d(a) be the first derivative of a**3/3 + 2*a**2 + 3*a + 5. Let z be d(-5). Is 154/z + 3/(-12) a multiple of 7?
False
Let u be (-46)/207 + 40/18. Suppose 2*i = -0*i + 356. Suppose -4*c = 2*f - 208, -c = -u*f + c + i. Does 18 divide f?
False
Suppose 4*t = 674 + 402. Is 14 a factor of t?
False
Let u = -146 + 150. Is 30/u*(-72)/(-45) - 0 a multiple of 6?
True
Suppose -2*r + 4*r = -36. Let b(f) = 29*f**3 - f**2 + 1. Let m be b(1). Let c = m + r. Is 4 a factor of c?
False
Let k(s) be the third derivative of s**4/24 + s**3/2 - 4*s**2. Let u be k(-7). Let p(o) = 2*o**2 + o + 2. Is p(u) a multiple of 12?
False
Suppose 0 = d, -4*g + 4*d + 4 + 4 = 0. Let k(l) = 3*l + 4. Let v be k(7). Is 30/v*45/g a multiple of 27?
True
Let q(n) = 17*n + 73. Is q(13) a multiple of 14?
True
Let u(a) = 28*a + 63. Is 25 a factor of u(8)?
False
Suppose 2214 = 9*y - 963. Is y a multiple of 5?
False
Let k(t) = t**3 - 10*t**2 + 10*t + 1. Suppose 3*z + 4*w - 30 = 0, -z - w = -6*w - 10. Suppose -2*y = -8 - z. Does 3 divide k(y)?
False
Suppose 7*u - 4*u - 48 = 0. Suppose 2*p = u + 12. Suppose p*w = 9*w + 20. Does 2 divide w?
True
Let s(w) be the third derivative of -w**6/120 + w**5/60 + w**4/24 + w**3 - 8*w**2. Let k = 0 - 3. Is s(k) a multiple of 13?
True
Suppose 3 = 3*p - 2*z, 3*z - 2 = 2*p + 1. Let t = -3 + p. Suppose 17 + 39 = 2*g + 2*k, 5*g - 5*k - 150 = t. Is g a multiple of 29?
True
Let s = -260 - -149. Let a = s + 124. Is 2 a factor of a?
False
Suppose -3*i - 6 = -m + 6, 2*i = 3*m - 1. Is 7 a factor of (-6)/(((-24)/(-100))/m)?
False
Let z be ((-1)/(-1))/(1/2). Suppose 0 = -0*q - q + b - 489, 2*q + z*b + 958 = 0. Does 12 divide q/(-10) - (-2)/(-5)?
True
Let s = -3 + 6. Suppose 0 = -s*f + 2*f. Suppose 4*h - h - 111 = f. Is 12 a factor of h?
False
Does 99 divide (-41 - -78)/((-1)/(-32))?
False
Suppose p + 14 - 22 = 0. Let a(f) = f**3 - 8*f**2 + 11*f + 14. Does 7 divide a(p)?
False
Is 39 a factor of (-12948)/(-18) + 6/(-18)?
False
Suppose -15*j + 5270 = 2*j. Is j a multiple of 38?
False
Suppose 0 = 5*w - 20, 2*w = h - 98. Does 13 divide (-6 - -6) + h/1 + -2?
True
Suppose -11*q = -18*q + 112. Suppose -17*n + q*n = -240. Does 20 divide n?
True
Let j(k) = -3*k - 27. Suppose 275 = -9*f - 2*f. Does 4 divide j(f)?
True
Suppose b - 33 - 88 = 0. Let a = b - 65. Is a a multiple of 8?
True
Let a = 192 - 105. Let v(h) = 6*h**3 - h**2. Let p be v(3). Suppose p = 4*s - a. Does 12 divide s?
True
Let m(t) = 13*t**2 + 3*t - 22. Is 32 a factor of m(-5)?
True
Let t(v) = 10*v**3 - 6*v**2 + 4*v + 3. Is t(3) a multiple of 10?
False
Let d = 10 - 0. Suppose d = 3*s - 2. Let m(k) = k**3 - 2*k**2 - 6*k + 3. Is 3 a factor of m(s)?
False
Suppose a = 5*a + 5*w - 188, a = 5*w + 72. Let m be (-1)/(a/16 + -3). Let k(f) = -f**3 - 2*f**2 - 4*f. Is 22 a factor of k(m)?
False
Let q(a) = -13*a**3 + a**2 - 3*a + 4. Let b be q(2). Let g = 170 + b. Is g a multiple of 14?
False
Let y(s) = -s**3 - 4*s**2 - 2*s + 4. Let x be y(-4). Let l(z) be the third derivative of z**4/24 + 14*z**3/3 + 54*z**2. Is l(x) a multiple of 15?
False
Suppose 7*w + 4 = 8*w. Does 23 divide 76/(2/w - 0)?
False
Suppose 32 = 2*y - 4*a, -5*y + 3*a = -0*a - 66. Let l(u) = -12*u - 84. Let q be l(-15). Is (y/(-36))/((-1)/q) a multiple of 8?
True
Let v = -75 + 51. Let p = 18 + v. Is 4*3/(p/(-32)) a multiple of 16?
True
Let w(b) = b**3 - 18*b**2 + 32*b + 17. Does 34 divide w(17)?
True
Let h(t) = -t**2 - 3*t + 1. Let v be h(-2). Let i(q) = -5*q + 4*q**2 + 4 + 6*q - 6*q. Does 8 divide i(v)?
False
Let p(n) = 3*n**2 + 24*n 