 be 1/(-2) + (-9)/(-2). Suppose 2*d - 40 = 4*h, 4*h + i = -r*d + 163. Is 15 a factor of d?
True
Let l be (-2)/1*(0 - 4). Let b = 21 - l. Is 9 a factor of b?
False
Let x = 98 - 92. Is 2 a factor of x?
True
Suppose 5*d + j = 34, -d - 4*j + 24 = 3*d. Let s(a) = a**3 - 6*a**2 + 9*a - 4. Let h be s(d). Suppose -h = -r - 3*r. Is r a multiple of 16?
False
Let i = -44 + 162. Let s = i - 77. Does 13 divide s?
False
Let r = 78 - 54. Is r a multiple of 24?
True
Suppose -5*a - x + 3*x - 37 = 0, -3*a - 4*x = 17. Let m = a + 12. Suppose -5*w = -m - 155. Does 13 divide w?
False
Let b(l) = 33*l**3 + l**2 - 1. Let t(y) = y**2 - 2*y - 2. Let w be 0 + (-6)/((-4)/2). Let r be t(w). Is b(r) a multiple of 16?
False
Let u(n) = 2*n**2 + 2*n + 5. Let k be u(-5). Let b = k - 3. Suppose b = w + 2*w. Is w a multiple of 7?
True
Let b = -4 + 7. Suppose b*t = 3*q + t + 10, 3*q - 5 = -t. Suppose 2*w - 3 - 7 = q. Does 5 divide w?
True
Suppose -4*o - 2 + 78 = 0. Is o a multiple of 16?
False
Let d = 16 + -16. Suppose d = 3*k - 15 - 72. Is k a multiple of 8?
False
Let j(v) be the third derivative of 5*v**4/8 - v**3/3 + v**2. Let i be j(-2). Is (1 - i)*(3 + -2) a multiple of 13?
False
Let w(i) = -i - 8. Suppose 0 = 5*m + 2*l + 78, -4 = 3*l - 2*l. Is w(m) a multiple of 5?
False
Is 7 a factor of 414/63 + (-3)/(-7)?
True
Suppose 3*q - 127 = 4*p, -4*p - 25 = -9*p. Is q a multiple of 9?
False
Let p(y) = y**3 + 4*y**2 + y - 3. Does 3 divide p(-3)?
True
Let o = 6 + -3. Does 14 divide 8/o*189/12?
True
Suppose 0*l - 86 = -2*l + 2*g, -5*l = 5*g - 165. Is l a multiple of 9?
False
Suppose -3*q = 2*q. Suppose 4*a + 7 + 65 = q. Does 7 divide 2 + a/(6/(-3))?
False
Let s(d) = -d**3 + 9*d**2 + d + 7. Does 8 divide s(9)?
True
Let c(x) = 7*x - 2. Does 13 divide c(4)?
True
Suppose -14 - 1 = -5*x. Suppose 90 = 2*g + x*g. Does 9 divide g?
True
Let k(y) = -y - 1. Let d be k(-1). Suppose -4*i + 2*h + 6 = d, -3*i - 4*h - 12 = -2*i. Suppose -3*g + 24 = -i*g. Is 4 a factor of g?
True
Let j(r) = -9*r + 4. Let x = -7 - -3. Is j(x) a multiple of 20?
True
Let k be (-1)/(4/(-64))*1. Suppose 82 = -4*u + 218. Let x = u - k. Does 5 divide x?
False
Suppose 223 = o - 5*d - 100, 2*o - 662 = 2*d. Does 37 divide o?
True
Suppose -q + 6*q - 15 = 0. Let g be (-4)/6 - (-5)/q. Is 15 a factor of g + (1 - 1 - -29)?
True
Suppose 0 = -5*r - 5, -5*p + 0*r - 5*r = -15. Suppose 4 + 0 = 2*u + p*w, 0 = 5*u - 5*w - 85. Is u a multiple of 6?
True
Is (-1)/(1/(-3)) - -33 a multiple of 12?
True
Let g = 216 - 110. Is g a multiple of 20?
False
Let y(w) = 2*w - 17. Let a be y(9). Is 22 a factor of 11/a*(-3 + 9)?
True
Suppose 0 = -3*n + 2*n + 1. Does 11 divide -1 - n - (-2 - 22)?
True
Suppose 5*c - 6*c = 0. Suppose c = f + 2*f - 132. Does 22 divide f?
True
Is 6 a factor of (16 + -3)/1 - 4?
False
Let h(b) = 3*b - 1. Is h(5) a multiple of 9?
False
Suppose -3*a + 23 = -1. Let j(z) = z**3 - 8*z**2 + 8*z - 9. Let y be j(a). Let w = y + -13. Does 14 divide w?
True
Let l(z) = z**3 - z**2 + z + 92. Is l(0) a multiple of 20?
False
Let c = -71 + 103. Is 6 a factor of c?
False
Let p = -15 + 21. Let w be (-3)/(p/(-1))*2. Let y = w - -6. Is 3 a factor of y?
False
Let p(g) = g - 6. Let l be p(8). Suppose 0 = -n - l + 4. Suppose n*s - 5 = 1. Is 2 a factor of s?
False
Suppose v + 498 = 3*b + 5*v, -665 = -4*b - 5*v. Is 24 a factor of b?
False
Let s be (1/(-3))/(2/6). Is 4 a factor of (s/1)/(1/(-9))?
False
Let g(p) = -p + 2. Let l be g(-6). Let z = l + 8. Is 6 a factor of z?
False
Let l = -127 - -191. Is l a multiple of 21?
False
Suppose -12 = -0*t - 3*t. Suppose -11 = -3*m - t*x, -2*m - m + 9 = 3*x. Does 3 divide 3 - (1 - (2 + m))?
False
Does 3 divide 87/15 + 4/20?
True
Let u(x) = x + 2. Let t be u(0). Is 5 a factor of 1 + t*27/6?
True
Let j be (41/(-2))/(1/(-2)). Suppose 6*n - n + 137 = -3*c, 4*c - 4 = 0. Let x = n + j. Is x a multiple of 6?
False
Let d(y) = y**2 + 4. Let o be d(0). Suppose 4 = o*a - 4*z, 0*z = -z. Does 9 divide 14 + a/(0 - 1)?
False
Suppose 0 = -x + 3. Suppose -x*r - 5*i = -4*r + 33, 3*r = -3*i + 99. Is 12 a factor of r?
False
Let t = 43 + -73. Let o = t + 44. Is o a multiple of 4?
False
Suppose 54 = -3*d + 141. Does 10 divide d?
False
Suppose 2*v = 3*v. Let f be 5/(-2)*(-18)/15. Suppose f*p - 5*c = 121, p + 2*c - 3*c - 41 = v. Is p a multiple of 16?
False
Suppose y - 3*q = 62, 23 + 2 = -5*q. Does 21 divide y?
False
Let v = 203 + -144. Let n = -19 + v. Is n a multiple of 20?
True
Let v = 9 + -7. Suppose 0 = -v*g + 26. Does 13 divide g?
True
Let j(u) = -u**3 + 7*u**2 + 2*u + 1. Does 7 divide j(6)?
True
Suppose 3*j = 4*j - 1. Let m(v) = 3*v + 1. Does 2 divide m(j)?
True
Suppose 76*v - 16 = 75*v. Does 4 divide v?
True
Let u(l) = 1. Let h(c) = -2*c + 10. Let m(x) = h(x) - 12*u(x). Is m(-11) a multiple of 10?
True
Suppose -w - 3*w + h + 341 = 0, 0 = w + 2*h - 74. Is w a multiple of 6?
True
Suppose 2*n = 31 + 41. Suppose -l = -16 - n. Does 26 divide l?
True
Suppose 5*z = -4*b + 43, -19 - 22 = -4*z - b. Is 2 a factor of z?
False
Suppose -x = -3*y + 82 + 42, -16 = 4*x. Does 11 divide y?
False
Suppose 0 = 4*g - 6 - 6. Suppose -g*f + 22 = -4*d, 0 = 2*f + 5*d - 2 - 5. Is f even?
True
Let z(a) = -a**2 - 11*a - 4. Let j(c) = -2*c**2 - 21*c - 7. Let m(l) = 6*j(l) - 11*z(l). Suppose -4*x = -0*x + 16. Is 3 a factor of m(x)?
True
Let a be (6/2 - 1)*-1. Let h be 5 + -2 + a - -3. Suppose w - h*w + 15 = 0. Does 3 divide w?
False
Suppose r + 5*c - 35 = 0, 2*r = 2*c + 2*c + 112. Is 25 a factor of r?
True
Let x be 0/2 - (-2)/(-2). Let d = 3 - x. Suppose -2*h + d*m - 4 = 0, -12 = 3*h + 5*m - 39. Does 2 divide h?
True
Suppose 4*u = 3*b - 200 - 306, b - 173 = -3*u. Is b a multiple of 26?
False
Is 3 a factor of -17*(-1 - (-3 - -3))?
False
Suppose -v - 6*t = -t - 3, 2*v - 4*t - 76 = 0. Is v a multiple of 7?
True
Let y(z) = -z**3 + 9*z**2 - z + 1. Does 14 divide y(7)?
False
Let k(b) = -b**3 + 10*b**2 + 13*b - 4. Let r be k(11). Let v(p) = 53*p**2. Let j be v(1). Suppose 4*i = 2*i - 5*d + j, r = 2*i - 2*d. Does 12 divide i?
False
Let d = -154 - -247. Is 31 a factor of d?
True
Suppose -q - 115 = -3*q + v, -3*v - 45 = -q. Does 4 divide q?
True
Let z(o) = -o - 7. Let x(u) = 1. Let r(l) = 3*x(l) + z(l). Let v be r(-12). Does 9 divide (26/4)/(2/v)?
False
Let k be (10/15)/((-2)/(-9)). Suppose -k*p + 103 = 4*n, n = 3*n - 4*p - 68. Does 14 divide n?
True
Let x = -7 + 8. Suppose 23 = 4*z - x. Is 6 a factor of z?
True
Let b = 3 - 4. Let y be (b/1)/((-1)/4). Suppose -r + 4*a - 51 = -y*r, 29 = 2*r + a. Is r a multiple of 6?
False
Let l(r) = 10*r - 6. Is l(6) a multiple of 18?
True
Let q(y) = -y**2 + 11*y + 17. Is 5 a factor of q(12)?
True
Suppose 3*x - 5 = 2*x. Is (-197)/(-5) + (-2)/x a multiple of 16?
False
Let d(s) = s**3 + 6*s**2 + 6*s + 3. Is d(-3) a multiple of 4?
True
Suppose -5*u + 55 + 50 = 0. Let o = u + -8. Is o a multiple of 3?
False
Let z be (-6)/(-3)*-1 - -64. Suppose 4*l - 626 = z. Suppose b + 3*b = l. Is b a multiple of 12?
False
Suppose 3*n - 5 = -2*n. Suppose -3*g = -4*f + 24, -f + 24 = 3*f + 4*g. Let u = f - n. Is 2 a factor of u?
False
Does 21 divide 3*(-4)/6 - -57?
False
Is 14 a factor of (-125 - -2)/((-1)/2)?
False
Let v be (-5)/(20/(-8)) - -3. Suppose -3*j - 114 = -v*j. Is j a multiple of 14?
False
Suppose -5*p + 405 = 2*w, p - 2*w = -0*p + 93. Is 5 a factor of p?
False
Suppose 7*k + 114 = 4*k. Let l = -20 - k. Is 9 a factor of l?
True
Let f be 5*(-1 + 3) - 1. Let r be 1 + -2 + 12/2. Suppose -r*c = -4*c - f. Does 9 divide c?
True
Let a = 18 + -6. Does 11 divide a?
False
Suppose 3*k - 3 - 9 = 0. Let x = 7 - k. Suppose -5*h + x*b = -15, -2*h + 6 = -2*b + 4*b. Does 2 divide h?
False
Let h be (-6)/(-12) + 18/4. Suppose -v = h*u - 16 + 4, v = 2*u + 26. Let j = 32 - v. Is 7 a factor of j?
False
Let g be 2/(-3 - (-119)/39). Let d = g - 23. Suppose 3*n + 3*p - 38 = 1, d = n + 2*p. Is n a multiple of 10?
True
Let r = 116 - 79. Is r a multiple of 3?
False
Let u(z) be the first derivative of -2*z**3/3 - 4*z**2 - 5*z + 2. Let o be u(-5). Is (-7)/(((-12)/o)/(-4)) a multiple of 14?
False
Suppose -20*o - 88 = -22*o. Is 11 a factor of o?
True
Let h be (-1 + (-3)/9)*-6. Suppose -4*i + 7*i = w - h, 4*i + 10 = 2*w. Let k(j) = -10*j**3 - j**2 - j - 1. Does 7 divide k(w)?
False
Let o be (2 + 0/(-2))/2. Let z be o - -25 - 1/1. Is 10 a factor of z + (-3 - -1)/(-2)?
False
Let x