5 + 1)). Let k(q) = q**2 + 3*q. Does 5 divide k(h)?
False
Let w be (-1)/(2 - (-2397)/(-1200)). Let q = w - -590. Is q a multiple of 18?
False
Let x = -13 + 13. Let m be 8 - ((-2)/1 - x). Is 5/m + (-166)/(-4) a multiple of 14?
True
Suppose -5*u + 569 = 119. Suppose -2*x + u - 6 = 0. Does 21 divide x?
True
Suppose -4*z = g - 1470, 4*z - 3*g - 1110 = z. Is z a multiple of 16?
True
Let m(p) = p**2 + 7*p + 14. Let v be m(18). Suppose 2*g + 6*g = v. Is 26 a factor of g?
False
Suppose -44*o = -52*o + 8784. Is o a multiple of 12?
False
Suppose 0 = -5*i, 3*n - 2*i + i - 639 = 0. Let w = 301 - n. Let y = w - 32. Does 14 divide y?
True
Let z be 1 + -1 - (3 - 6). Suppose s = -6 - z. Is 23 a factor of 72 + (s/3 - 0)?
True
Suppose w - 17 = 4*d, 5*w = 3*d - 4 + 21. Let f(n) = -n**2 - 15*n - 14. Is f(d) a multiple of 2?
True
Is 5 a factor of 764/(-3)*6*(-2)/8?
False
Let t(n) = 72*n**2 + n - n**3 + 0 - 73*n**2 - 2. Is 21 a factor of t(-4)?
True
Let x(v) = 69*v + 546. Does 9 divide x(43)?
False
Let h = -28 - -18. Let d be (-344)/h + 6/(-15). Suppose 4*i + d = 106. Does 9 divide i?
True
Is ((-18095)/231)/((-2)/6) a multiple of 3?
False
Suppose -4*u = -0*u - 20, 0 = -5*j - u + 2310. Does 22 divide j?
False
Suppose 5*f - 273 = 412. Let h be (14/(-10))/(9/(-45)). Suppose -h*j + f = 11. Is 18 a factor of j?
True
Suppose -o = -2*u - 8, -2*u = 2*u - 20. Suppose b - o = 19. Is 10 a factor of b?
False
Is ((-245)/(-25))/((-3)/(-15)) a multiple of 9?
False
Is 6 a factor of 1224/10*2 - (-10)/50?
False
Suppose 3*u + d + 3 + 2 = 0, -4*d - 20 = 3*u. Let v be 8 - (u + -1 + 4). Suppose -5*a - v*k = -125, -2*a + 3*a + 4*k - 40 = 0. Is a a multiple of 15?
False
Suppose 15*l = 10*l - 4*i - 10, -l - i - 1 = 0. Let c = 45 - l. Is 10 a factor of c?
False
Is 8 a factor of 1 + -1*(-633 + 10)?
True
Let w be 14/21 + (-274)/6. Let b = 69 + w. Is b a multiple of 4?
True
Suppose -x + 3 = -2*z + 1, 4*x - 2*z = 2. Let p = -89 - -163. Suppose x = -a - 2*s - s + 42, -4*s + p = 2*a. Is a a multiple of 7?
False
Suppose 0*w - c + 2408 = 5*w, w - 472 = 3*c. Is 28 a factor of w?
False
Suppose 0*n = 3*n. Suppose n = 2*s + 4*a + 206, 3*a + 2*a - 197 = 2*s. Let l = 151 + s. Is 20 a factor of l?
False
Let n = 4532 + -2354. Is 22 a factor of n?
True
Let k(l) = -l**2 + 10*l - 15. Let z be k(7). Is 3 a factor of 18/5*40/z?
True
Suppose -n - 21 = -2*n - 4*u, -5*n + 36 = -3*u. Let d(i) = 19*i - 30. Is 11 a factor of d(n)?
False
Let r(w) = 12*w**2 + 4*w - 5. Let k be r(-3). Suppose 4*z + 214 = 5*m + z, 3*z + k = 2*m. Does 15 divide m?
False
Let b(p) = -2*p**2 + p + 56. Let r = 16 - 16. Let g be b(r). Suppose -5*o = 4*q - 8*o - g, 2*q - 4*o = 28. Is q a multiple of 6?
False
Let s be ((5 - 2) + -2)*2. Suppose 3*x = -b + 2, -2*b - s*x = -8 - 0. Suppose -4*k + 46 = -b*g - 75, -5*k = 2*g - 110. Is k a multiple of 8?
True
Let g = 0 - -3. Suppose x - 19 = g. Is x even?
True
Let r(l) = -2*l + 131. Does 3 divide r(4)?
True
Let s be (-4)/(-10) + 13/5. Let i(h) = 2*h + 0*h**3 + 6 - s + 2 - h**3. Is i(0) a multiple of 3?
False
Let j be ((-16)/32)/(2/(-16)). Suppose 0 = 2*o - 3*q - 185, j*q = -3*o + 139 + 181. Is o a multiple of 25?
True
Let m(f) = -f**3 + 9*f**2 - 4*f + 1. Let r be m(8). Let n = 141 - r. Is 25 a factor of n?
False
Suppose -4*y = t - 73, -2*t + 3*t + 2*y = 71. Let q = t + 31. Suppose 2*o = 2*k + 4*o - q, 5 = -o. Is 21 a factor of k?
False
Let c(g) = -g**2 + 6*g - 5. Let n be c(5). Suppose n = 2*f + 2, 39 = -m + 2*m - 4*f. Is 8 a factor of (-15)/6*(-224)/m?
True
Let n = 541 - 537. Is n a multiple of 2?
True
Suppose -h - 842 = 2240. Is 15 a factor of ((-2)/4)/(23/h)?
False
Let i(c) = -20*c + 1. Let g be 2/(-1) + -2 + 0. Let s be i(g). Suppose 5*n - 24 - s = 3*l, -5*n + 105 = -4*l. Is 21 a factor of n?
True
Suppose -270*r - 8932 = -277*r. Is r a multiple of 7?
False
Let z = 32 + -27. Suppose -f - 28 = -4*j, z*f - 10 = -6*j + j. Let g(x) = x**2 + 9*x - 5. Is g(j) a multiple of 19?
False
Let q be 3/(-6) + (-3)/((-6)/35). Let z(v) = v**2 - 12*v - 5. Is z(q) a multiple of 16?
True
Let z be 6/27*(1 - -17). Does 14 divide 280 + z + -7 + 3?
True
Let f = 2241 + -1460. Is 11 a factor of f?
True
Let c be ((-3)/(-3) - 2) + 27. Let p = c + 54. Suppose p + 240 = 8*u. Does 5 divide u?
True
Let s be 86*(-1)/6 - 6/9. Let b = 43 + s. Does 3 divide b?
False
Let j(m) be the third derivative of 0*m**3 + 0*m + 11/12*m**4 + 7*m**2 + 0. Is 22 a factor of j(3)?
True
Let r(j) = 67*j**2 + 185*j + 4. Is r(-5) a multiple of 58?
True
Let l(t) = t**2 - 2*t - 4. Let n be (26/(-3))/(10/(-15))*-1. Is 16 a factor of l(n)?
False
Let b be -6 + (4 + -7)*-1. Let x be (1/b)/(1/(-6)). Suppose 0 = 3*r - 3, -x*o + 2*r + 176 = -2*r. Is o a multiple of 18?
True
Suppose 0 = -5*u + 3*n + 72, -n = -5*u + 4*n + 70. Let j = u + -7. Is j/4 + (-2 - -4) a multiple of 2?
True
Let q be (4 - 5)/(2/(-50)). Let r = 95 - q. Suppose -7*l + 8*l = r. Is 15 a factor of l?
False
Suppose -32 = -4*a - 3*z, -10 = -3*a - 2*z + 14. Suppose 3*d = 7*d - a. Suppose g - 177 = -d*g. Is g a multiple of 16?
False
Let f = 90 + -54. Suppose 0 = l + 2 - f. Suppose -36 = -5*z + l. Is 4 a factor of z?
False
Suppose 103 - 22 = 3*w. Suppose -43 - w = 5*r. Let m = -9 - r. Is m a multiple of 4?
False
Is 25 a factor of (-7 + 8 + -6)*-115?
True
Let v = 189 + 38. Is 22 a factor of v?
False
Let l(p) = p**2 - 5*p. Suppose 3*c - 23 = -8. Let w be l(c). Suppose -r = -w*i + 3*i - 260, 438 = 5*i - 3*r. Is 18 a factor of i?
False
Does 26 divide -3*(1 + (-6)/9)*-227?
False
Let p(i) = 5*i**2 - 32*i + 36. Is p(13) a multiple of 9?
False
Suppose 2*y - 11 = -r, 3*y = -3*r - 11 + 38. Let j = r - 6. Is (j - -22)/(0 - -1) a multiple of 19?
False
Let n(p) be the second derivative of p**4/12 + p**3/3 + p**2/2 + p. Suppose 0*i = -3*i - 15, 3*i = -o - 20. Is 16 a factor of n(o)?
True
Suppose 0 = -o + 5*b + 19, -3*o + 8*o - b = 95. Let x = o + -14. Suppose 0 = -4*w + 2*i + 180, 2*i = -x*w + 4*i + 225. Is 15 a factor of w?
True
Let g be (-6 - (0 + -4)) + -2. Let i = g - -21. Is 17 a factor of i?
True
Let q(k) be the first derivative of 11*k**3/3 + 19*k**2/2 - 30. Is q(-3) a multiple of 7?
True
Let s = -61 + 113. Let h = s - 35. Is 16 a factor of h?
False
Suppose j = 1, -j = -w + 2*w + 13. Let s be w/63 + (-4)/(-18). Suppose 5*d + s*d = 140. Is d a multiple of 14?
True
Suppose -54 = -n - 2*n. Let u = -4 + n. Suppose -f + 3*f = u. Does 4 divide f?
False
Let k(w) = 156*w**2 - 3*w - 2. Is k(2) a multiple of 56?
True
Suppose -3*i = -3*m + 7*m - 1805, 0 = -4*m + 2*i + 1830. Does 26 divide m?
False
Let c(q) = -10*q + 709. Is 89 a factor of c(62)?
True
Let o(u) = u**2 + 2*u - 12. Let v be o(-6). Suppose 2*y - 4*b + 14 = -y, -y + v = 2*b. Does 2 divide y/(1*8/28)?
False
Let g(k) = -5*k**3 + 2*k + 1. Let j(c) = -c**3 + c**2 + c + 1. Let w(m) = g(m) - 2*j(m). Let s = -463 + 461. Is 5 a factor of w(s)?
True
Let d(r) = r**2 - 2*r + 42. Does 9 divide d(-6)?
True
Suppose -3*c - 3 = -3*m, -m + 20 = 4*m - 2*c. Let x(g) = 3*g - 5 + 11 + g - 3*g**2 - 3*g**2 + g**3. Does 16 divide x(m)?
False
Is 33750/(-15)*((-5)/3 - -1) a multiple of 60?
True
Let v = -30 + -118. Let x = 86 + v. Let z = -6 - x. Does 7 divide z?
True
Let x(r) = 2*r + 2. Suppose 20*k - 55 = 15*k. Let b be x(k). Is 171/b - (-3)/(-24) a multiple of 2?
False
Let z(s) = -s**3 + 6*s**2 - 3*s + 5. Let r(w) = -w**3 + 8*w**2 + 9*w + 2. Let m be r(9). Suppose 3*n - g - 4 - 6 = 0, 0 = g - m. Is z(n) a multiple of 7?
False
Let g(y) be the third derivative of 11*y**7/1260 + y**5/120 - y**4/12 + 6*y**2. Let s(a) be the second derivative of g(a). Is s(-1) a multiple of 23?
True
Let w be (36/15)/(115/(-50) + 2). Is 8 + w + (17 - -1) a multiple of 4?
False
Let w(y) = -706*y + 4. Is w(-1) a multiple of 12?
False
Let r(n) = -9 - 6*n + 0*n - 5 + 12. Is 6 a factor of r(-6)?
False
Let y = 28 - 12. Suppose 2*w = 4*t - y, 5*w + 3*t + t - 30 = 0. Is (0 + w)/(-2) + 25 a multiple of 8?
True
Let b = 366 + -132. Is 31 a factor of b?
False
Let f(j) = -j**3 + 9*j**2 - 10*j + 13. Let u be f(8). Is (52 - 1) + 0 + u + 1 a multiple of 10?
False
Let m(i) = 97*i - 137. Is 5 a factor of m(6)?
True
Let b = -473 + 791. Does 18 divide b?
False
Suppose 2688 = -3*g + 15*g. Does 14 divide g?
True
Let b be (-133)/9 + 6/(-27). Is 7 a factor of 48 + b + (-3)/1?
False
Let g(k) = 108*k - 1111. Is g(14) a multip