 be t(-5). Let h = d + u. Does 13 divide h?
False
Suppose -634 = -p + 15*c - 12*c, 2*p - 1273 = c. Does 36 divide p?
False
Let n(l) = 75*l - 3. Is n(5) a multiple of 13?
False
Let t be (65/10 - 1/(-2)) + -4. Suppose -534 = -2*j - t*p + 10, -5*j + 4*p + 1406 = 0. Is 40 a factor of j?
False
Let z(g) = 7*g + 1. Let o = -9 + 9. Suppose f + 4*n - 11 = -n, o = -f + 5*n - 9. Is 5 a factor of z(f)?
False
Suppose k + 2 + 67 = 0. Let t be k/(-15) - 10/(-25). Is (-46)/(-4)*(t + -3) a multiple of 15?
False
Let h = 21 + -34. Let o = -12 - h. Is 11 a factor of (2 - (o - -2)) + 12?
True
Suppose 6*x + 42 - 6 = 0. Is 1/(((-6)/92)/(x/4)) a multiple of 10?
False
Let q(f) = 12*f + 2. Let j be q(-1). Let v be (-24)/j - (-21)/35. Suppose -207 = -0*b - v*b. Is b a multiple of 23?
True
Suppose 7*c + 20 = 11*c. Suppose 4*m - 6*h = -c*h + 55, -4*h = -m + 10. Is 2 a factor of m?
True
Suppose -3 = -n + 4*n + 3*p, 0 = 2*p + 8. Suppose -2*k = 2*f + n*k - 36, 2*k = 4. Is f even?
False
Let z = 1789 - 1251. Is z a multiple of 29?
False
Suppose -4*z + 780 = 2*q, -1567 = 4*q - 8*q - z. Does 14 divide q?
True
Suppose -2 = -2*r + 2. Does 9 divide (27/(-6))/((-1)/r)?
True
Let b = 756 + -739. Is b a multiple of 17?
True
Let q(m) = -279*m + 198. Does 16 divide q(-9)?
False
Let s = 1 - -4. Suppose s*t + 15 = -4*d, -d - 5*t - 12 = -t. Suppose -q - i = -6*i - 29, d = 4*q + 2*i - 116. Does 29 divide q?
True
Suppose 0 = -24*r + 22*r - 3*g + 876, 1315 = 3*r + 4*g. Is 15 a factor of r?
False
Let d = -32 - -66. Let r = d + -9. Suppose 2*v = -j + r, -v + 4*j = 2*v - 21. Does 8 divide v?
False
Let m(d) = d**3 + 16*d**2 + 13*d - 11. Let x be ((-225)/(-12))/(-5)*4. Is m(x) a multiple of 16?
False
Suppose 0 = 5*r + a - 35, 3*r - 3*a + 0*a - 3 = 0. Let n(k) = k**2 - 4*k - 14. Let y be n(r). Does 7 divide (3/y)/((-2)/56)?
True
Let r = 7 - 4. Let v(i) = 4*i**2 + 37 - 3*i**2 - r*i + 0*i**2 + 4*i. Does 11 divide v(0)?
False
Let w be 1 + (2 - 4) - 1. Is 8 a factor of 220/6 + w/3?
False
Let i(o) = -o**3 + 8*o**2 + 19*o - 41. Does 4 divide i(9)?
False
Let r(v) = 3*v**2 + 4*v + 107. Is 12 a factor of r(-18)?
False
Suppose c = 31 + 103. Is 3 a factor of c?
False
Let g(a) = 17*a**3 + 8*a**2 + 4 - 16*a**3 + 8*a + 6. Let s be g(-7). Suppose 143 = s*u + 35. Is u a multiple of 8?
False
Let b(l) = -l**3 + 29*l**2 + 6*l + 49. Let v be b(29). Let n = 399 - v. Does 16 divide n?
True
Suppose 0 = 29*h - 324 - 836. Is h a multiple of 17?
False
Is 11/((-11)/(-514)) - (4 + -4) a multiple of 26?
False
Let t be (-50)/(-30)*(-60)/(-4). Let b(s) = -9*s + 1. Let h be b(2). Let z = h + t. Does 6 divide z?
False
Let i(y) be the third derivative of -11*y**4/24 - 19*y**3/2 + 3*y**2. Is i(-6) a multiple of 3?
True
Let g(h) be the first derivative of 4*h**2 - 21*h - 21. Is g(6) a multiple of 27?
True
Let v(i) = 3 + i + 9*i + 1. Let n(u) = -2*u**2 + 15*u + 12. Let c be n(8). Is v(c) a multiple of 11?
True
Suppose 3*x + 3 = -8*v + 3*v, 3*x + 3 = 0. Suppose v = -3*z - 4*p + 13, -p + 5*p - 16 = -4*z. Suppose -44 = -z*f - 2*y, -12 - 60 = -4*f + 4*y. Does 3 divide f?
False
Let n be 15/(15/12 + -2). Let c = 33 + n. Is 4 a factor of 1/1*(c - 0)?
False
Let m(p) = -2*p**3 + 3*p**2 + 5*p + 4. Let u be m(-4). Let w = u + -30. Suppose -3*k + 5*x + 195 = 3*x, 2*k + 4*x = w. Does 13 divide k?
True
Is 19 a factor of 55 - 2*(-5 - -7)?
False
Let m(v) be the second derivative of v**4/6 - 5*v**3/3 - 9*v**2/2 - 6*v. Let b be m(8). Does 19 divide b/(-2)*56/(-21)?
False
Let j = -23 - -71. Is 12 a factor of j?
True
Suppose 0 = 5*y - 20, -2*y - 16 = 2*d - 7*y. Suppose 0 = -5*j - 25, -3*f + d*f + 2 = j. Let g(w) = 6*w + 9. Is g(f) a multiple of 17?
True
Let g(d) be the second derivative of -d**5/20 - d**4/4 - d**3/3 - 3*d**2 - 5*d. Let h be g(-3). Suppose 5*j - 284 - 81 = h. Is 27 a factor of j?
False
Let w = 2223 - 1273. Suppose -w = -2*f - 3*t - 236, 0 = 4*f - t - 1456. Suppose -f = -4*y - 123. Is 20 a factor of y?
True
Let n = -17 + 8. Let s = n + 17. Is 3/12 + 382/s a multiple of 24?
True
Let j(u) = 2*u**3 - 15*u**2 - 6*u - 6. Let c be j(9). Let f = c + -126. Does 29 divide f?
False
Let y be (0 + -2)*13/2. Let c(p) = p**2 + 13*p - 12. Let h be c(y). Let w = h - -24. Does 6 divide w?
True
Suppose -10230 = -5*z - 545*a + 540*a, 0 = 2*a - 6. Is z a multiple of 38?
False
Let i = 179 - -178. Does 7 divide i?
True
Let b = 134 - 8. Suppose -63*j + 69*j = b. Is j a multiple of 21?
True
Let d(h) = h**2 + h - 8. Let k be d(-7). Let i = -14 + k. Is i a multiple of 5?
True
Suppose 0 = 4*q + 16, 2*o - 3*q = -2*o + 20. Suppose d = -o*l + 36, -3*d - 50 - 62 = -5*l. Does 2 divide l?
True
Suppose l + 20 = 3*l. Suppose -3*v = 3*z - 10 - 17, -2*v - l = -5*z. Suppose 0 = -6*q + 2*q - 5*i + 34, -3*q + z*i + 41 = 0. Is 4 a factor of q?
False
Does 20 divide 35/14*184/(-1 + 2)?
True
Suppose -2*k - 5*c + 33 + 13 = 0, c = 4. Suppose 0 = -18*i + k*i + 275. Does 8 divide i?
False
Let o = 1414 + 91. Does 9 divide o?
False
Let x(u) = -34*u - 155. Does 90 divide x(-10)?
False
Let d = 1234 - 860. Is 42 a factor of d?
False
Suppose 0 = 5*b + 8*b - 2483. Is b a multiple of 2?
False
Suppose -13*u + 15*u - 6 = 0. Suppose -4*v = -z + 19, 175 = 5*z - u*v - v. Is z a multiple of 20?
False
Suppose -2*l - 565 = g - 1613, 2*l = 4*g - 4192. Does 8 divide g?
True
Suppose 7*c - 12*c = 15. Let z be c/(-2)*(-16)/12. Does 18 divide ((-2)/z)/(9/1107)?
False
Suppose 3*v - 12 = 0, -2*v = -3*j + 469 - 21. Does 8 divide j?
True
Let a(n) = n**2 - 5*n + 8. Let i be a(4). Suppose 0 = -i*r - 355 + 1023. Suppose h - c = -h + 67, 5*h = 2*c + r. Is 11 a factor of h?
True
Suppose 4*z = 9*z + 10. Let q(c) = 8*c**2 + 2*c + 3. Let u be q(z). Suppose 5*x - u - 359 = 0. Does 13 divide x?
True
Suppose -3*z = m - 2232, 2*m - 533 - 1696 = -3*z. Does 5 divide z?
True
Let a = 49 + -47. Suppose -a*w = -3*h + 673, -2*h + 2*w + 0*w = -446. Does 36 divide h?
False
Let q(p) = 4*p**2 - p + 2. Let i be q(1). Suppose 12 = i*t + 22. Does 4 divide (t + (-8)/(-5))*-20?
True
Suppose 5*y = 5*m + 485, -5*y + 261 = 3*m - 264. Let x = y - 45. Does 14 divide x?
False
Let k(h) = 3*h - 30. Let s be k(10). Suppose -5*m + s*t = 3*t - 503, -t + 101 = m. Does 10 divide m?
True
Let n be (-9)/(-54) + (-6581)/(-6). Suppose -7*j = 425 - n. Does 12 divide j?
True
Suppose 0 = -3*p - 4 - 5, -1001 = -4*h - p. Let w = 368 - h. Is w a multiple of 13?
True
Is -4*4/(-8) - -37 a multiple of 13?
True
Let z(m) = 8*m - 12. Let x be z(8). Suppose 0*n - 5*c - x = -2*n, n + 3*c - 48 = 0. Is -15*(2 + n/(-15)) a multiple of 6?
True
Let u = 210 - -239. Is 2 a factor of u?
False
Let k = -46 - -163. Let i = k - 89. Is i a multiple of 8?
False
Suppose 6*d + 37 = -17. Let b(p) = p**3 + 10*p**2 - p + 3. Does 31 divide b(d)?
True
Let b = 3083 - 2490. Is b a multiple of 16?
False
Suppose 0*n - 5900 = -5*n + 4*x, -x - 3533 = -3*n. Is n a multiple of 21?
True
Suppose -2*o = -5*u - 3*o + 114, -3*u + 58 = -2*o. Suppose u*r - 25*r = -54. Does 6 divide r?
True
Let m(b) = -b**2 + 3*b - 4. Let r(f) = f**2 - f. Let o(n) = m(n) + 2*r(n). Let p be o(2). Is 13 a factor of p + -3 + 56/4?
True
Let i = 36 + -34. Suppose i*f = f + 20. Does 6 divide f?
False
Is 47 a factor of ((-9)/(-15))/((-12)/(-29940))?
False
Suppose -24 + 8 = -4*q. Let m be (2/q + -2)*-2. Suppose -4*c = -c - 3*a - 60, -4*c - m*a + 87 = 0. Is 6 a factor of c?
False
Let y(p) = 7*p**2 + 14*p + 10. Is y(-5) a multiple of 23?
True
Let p = 795 - 355. Does 10 divide p?
True
Is 7 a factor of 10425/10 - 5/(-10)?
True
Let h(a) = -a**3 + 22*a**2 - 26*a - 6. Is h(19) a multiple of 16?
False
Let a(d) = d + 14. Let r(b) = b**2 + 7*b + 8. Let v be r(-6). Suppose 0 + 14 = -v*s. Does 2 divide a(s)?
False
Is ((-2358)/4)/(2/(-4)) a multiple of 131?
True
Let s be 37/(-37)*7*(-1 - 0). Suppose s*y = -y + 440. Is 5 a factor of y?
True
Let v = 8 + -9. Let r(k) = 2*k**2 - k. Let l be r(v). Suppose -3*n - q + 12 = -0*n, 5*n = l*q + 6. Is n a multiple of 3?
True
Suppose -29*w + 5814 = -14225. Is 2 a factor of w?
False
Let y(c) = -c**2 - 8*c - 1. Let r be y(-5). Let o = -10 + r. Suppose 2*b + 37 = -2*j + 135, -o*j + 191 = -b. Does 12 divide j?
True
Let x = 7 + -5. Let v(m) = -5*m**2 - 2*m - 1. Let r be v(x). Let o = r + 65. Is 19 a factor of o?
False
Suppose 3*l + 464 = -l - 4*a, 4*a - 250 = 2*l. Let y(q) = q**3 + q**2 - q - 202. Let g be y