 = 80*h**2 + 4*h - 10. Is 71 a factor of l(3)?
False
Suppose 0*m - 3*m + 174 = 0. Suppose -4*f - 3*j = -j - 148, 3*f + j = 112. Let r = m - f. Does 14 divide r?
False
Does 7 divide (-89 + 3)*(1 - 25/10)?
False
Suppose -22*o = -26*o - 48. Let m = 60 + o. Does 11 divide m?
False
Let c(j) = -j**3 + 5*j**2 - 3*j + 6. Let x be c(4). Suppose 3*n + 2*n - x = 0. Suppose 60 = n*i - 4*a, 4*a - 2*a = 2*i - 60. Does 17 divide i?
False
Let f be 17/(-34)*(0 + -4). Let m(q) = 25*q**2. Is m(f) a multiple of 17?
False
Let u = -59 - -61. Suppose -5*f = -u*f - 348. Is f a multiple of 17?
False
Suppose 37117 = 45*c + 2287. Is 28 a factor of c?
False
Let l = 575 + -376. Is 8 a factor of l?
False
Let v(a) = 33*a - 61. Is v(8) a multiple of 15?
False
Is (-3 + (-7 - -2))/((-3)/54) a multiple of 16?
True
Suppose 4*w - 2 = -14. Let d(j) = j**3 + 4*j**2 - 4*j - 7. Does 4 divide d(w)?
False
Does 20 divide ((-62)/(-8))/((-7)/5040*-12)?
False
Let g = 4 + -4. Suppose -a + l - 1 = -57, g = 2*a + 2*l - 92. Let m = a + -19. Does 13 divide m?
False
Suppose 7*p = 4*p. Suppose p*v - 2*v + 40 = 0. Does 8 divide v?
False
Is (20/(-30))/((-2)/864) a multiple of 8?
True
Let i = 1659 + -1131. Does 22 divide i?
True
Is 16 a factor of (-1124)/(-7) + (-3)/(-7)?
False
Let i = 31 + 11. Is 2 a factor of i?
True
Suppose 150 + 530 = 4*q + s, 2*s + 680 = 4*q. Is q a multiple of 6?
False
Let d be 238/(-35) + 7 - (-9)/5. Suppose -l + 303 = 2*w, -l = d*l - w - 944. Is l a multiple of 15?
False
Suppose 0 = -3*d - 66 + 231. Suppose -60*y + d*y + 45 = 0. Is 8 a factor of y?
False
Suppose 4*t = -3*r + t - 3, -3*t + 29 = -5*r. Let k be 59/1*2/2. Is 15 a factor of k + r/(4/(-1))?
True
Suppose 8*d = -6*d + 7056. Does 36 divide d?
True
Suppose -2 = 3*s - 4*s. Suppose -7 - s = 3*g. Is g/15 + 222/10 a multiple of 11?
True
Let s(l) be the third derivative of l**6/120 + 17*l**5/60 - l**4/8 - 3*l**3 + 9*l**2. Let k be s(-17). Suppose 11*g - 8*g = k. Is 11 a factor of g?
True
Let t(i) = -9*i + 43. Is t(-17) a multiple of 14?
True
Let r(h) = 2*h**3 + h**2 - 2*h + 4. Let c = 28 + -26. Does 4 divide r(c)?
True
Let a = 29 - 32. Does 5 divide (-10)/a*(4 + -1)?
True
Let v be 1/4*-6*2. Is 3 a factor of ((-100)/(-8))/(v/(-6))?
False
Let k be 12/(-3) + 1*23. Suppose 5*g - k = 31. Suppose 5*d - 33 = 4*b - 211, -5*d = g. Is 9 a factor of b?
False
Let t(i) = -2*i**2 + 17*i - 6. Let v be t(8). Suppose p - 2*p - 35 = -v*f, f - 35 = -3*p. Is f a multiple of 10?
True
Let j(w) = 2*w**2 + 8*w - 5. Let u be j(8). Let f = -134 + u. Let r = f + -21. Is 16 a factor of r?
True
Suppose -4*f + 17*f = 1430. Does 11 divide f?
True
Suppose 0 = -g + 3*s - 12, -2*s + 4 + 18 = 4*g. Is 21 a factor of (-4 + g)/(2/(-148) - 0)?
False
Let i(q) = 22*q**2 - 2*q - 2. Let b be i(-1). Suppose -5*p - 4*f + 135 = 50, 4*f - b = -2*p. Does 12 divide p/1 - (3 - 2)?
False
Let v = -828 + 1564. Is v a multiple of 23?
True
Suppose -4*s - 12 = -3*z - 2*z, 0 = -z - 2*s + 8. Suppose -2*v + z*l + 132 = 2*v, 2*v = -5*l + 94. Is v a multiple of 33?
False
Suppose -14*j + 3*j + 275 = 0. Does 4 divide j?
False
Let o be -2 + -2 + 4 + 124. Let s be 8/(-3 + 1) + o. Suppose 3*y = -2*y + s. Does 3 divide y?
True
Let v(p) = -2*p**2 + 52*p - 40. Let o be v(25). Let b = 34 - -8. Let a = b + o. Is 13 a factor of a?
True
Let x(t) = -7*t**2 + 4062. Is 68 a factor of x(0)?
False
Let j(l) = l + 26. Suppose -3*k + 71 = -5*n, n + 2 = 5*k + 1. Let g = n - -2. Is 3 a factor of j(g)?
True
Suppose 0 = -3*f - 13 + 28. Suppose 0 = -f*l + 9 + 11. Suppose -5*z - 23 = -i, 17 + 94 = l*i - z. Is 11 a factor of i?
False
Let i(b) = -2*b + 4. Let u(c) = c**3 - 13*c**2 + 13*c - 7. Let s be u(12). Suppose 0 = -n + y - 8, -s*y + 4 + 3 = -2*n. Is i(n) a multiple of 18?
False
Let h(w) be the first derivative of -w**2 + 7/3*w**3 + 10 - w. Is h(-3) a multiple of 17?
True
Suppose 5*g + m - 29 = 0, 0 = -2*g + 2*m - 3*m + 11. Suppose 4*u = 3*r - g*r - 644, 3*r - 462 = 3*u. Let z = u - -229. Is 12 a factor of z?
False
Let k be (2/(-3))/((-2)/27). Suppose k*u = 4*u + 85. Does 13 divide u?
False
Let m be (-2 + 3)*(-8 - -2). Let j(s) = -2*s**3 - 4*s**2 + s + 4. Let n be j(-3). Let f = m + n. Is 5 a factor of f?
False
Does 20 divide (-100)/(-15) - 6 - 894/(-9)?
True
Suppose -5*y = -0*y + 5. Suppose 7*m - 94 = 25. Let d = m - y. Is 17 a factor of d?
False
Suppose 0 = 4*w - 8, -215 = 3*r - 6*r - w. Suppose 3*n - r = 40. Does 24 divide n?
False
Let v = 1253 - 988. Does 4 divide v?
False
Let g be (((-16)/2)/4)/(1/9). Let q = 28 + g. Does 10 divide q?
True
Suppose -4*y = -4*g + 636, 283 + 350 = 4*g - 3*y. Does 16 divide g?
False
Suppose 3*n = 9, 63*p - 2*n + 522 = 65*p. Is p a multiple of 43?
True
Let a(q) = -q**3 - q**2 + q + 1. Let x(m) = 5*m**3 - 2*m**2 - 14*m - 16. Let p(n) = 6*a(n) + x(n). Let i be p(-7). Does 20 divide 23 - ((3 - 2) + i)?
False
Let n(a) = 14*a + 184. Does 106 divide n(2)?
True
Suppose -4*r + 23993 = -c, 5*c - 4*c - 29980 = -5*r. Does 11 divide r?
False
Let j(f) = 265*f + 5. Let s be j(2). Suppose 215 = 2*g + 3*n, 5*g - s = -2*n - 3*n. Does 53 divide g?
True
Suppose w - 13 + 8 = 0. Suppose 10*v - 5 = w*v. Is v + (-2)/(2/(-35)) a multiple of 12?
True
Suppose 4*v - 36 = -0*v. Suppose -v*m + 6*m + 6 = 0. Suppose 0 = -u - m*q + 6 - 2, 0 = -4*u + 5*q + 68. Does 8 divide u?
False
Suppose -3*m + 2 = -2*m. Suppose 8 + 0 = m*b. Is 22 a factor of (3 - (-3 + b)) + 86?
True
Is (4122/(-180) - -23) + 47198/20 a multiple of 59?
True
Let v(f) = -2*f**2 - 53*f - 21. Is v(-25) a multiple of 6?
True
Suppose 2*d - 12*d + 420 = 0. Is d a multiple of 37?
False
Let u = -18 - 0. Let o = u - -172. Is 30 a factor of o?
False
Suppose 0 = -a - 5*n - 348 + 1608, n = 0. Does 42 divide a?
True
Suppose -6*y = -0*y - 126. Let t = -18 + y. Suppose -f - 2 = -t*j + f, 5*j - 5*f + 5 = 0. Is 4 a factor of j?
True
Let m(f) = -4*f**3 - 13*f**2 - 21*f - 12. Let o(t) = -t**3 - t**2. Let s(y) = m(y) - 3*o(y). Does 14 divide s(-8)?
True
Suppose 3*o = 4*w - 319, -5*o - 534 - 15 = 2*w. Let b = o - -167. Is b a multiple of 27?
False
Let f = 268 + -253. Let a be 2*(-1)/((-2)/31). Let h = a - f. Does 4 divide h?
True
Let s(q) = -q**3 + 4*q**2 + q - 2. Let i be s(4). Let n be i*(-2)/(-4)*4. Suppose n*b = m - 58, 0 = -m - 0*b + b + 55. Does 18 divide m?
True
Suppose 0 = -3*n - 5*u + 22, -3*u + 19 = -3*n + 49. Suppose 4*v - n = v. Suppose -v + 7 = a. Is a a multiple of 4?
True
Is (-2 + 3 + 5)*6 a multiple of 6?
True
Let y = -1462 + 1500. Does 6 divide y?
False
Let a(b) = -b**3 - 16*b**2 - 3*b. Let w be a(-16). Suppose 4*s - w = 2*s. Is s a multiple of 24?
True
Suppose -10962 = -118*g + 89*g. Is 42 a factor of g?
True
Suppose 89*l - 65*l - 9936 = 0. Is 17 a factor of l?
False
Suppose b + 5*k - 3 = 33, 72 = 2*b - 5*k. Let i = b + 28. Is 32 a factor of i?
True
Suppose 3*v = -17 - 37. Suppose -27 = -0*a - a. Let t = a + v. Is t a multiple of 7?
False
Suppose f + 34 = -f. Let w = f - -22. Suppose -13 = -w*q + 92. Does 21 divide q?
True
Suppose -7*g - 521 = -3. Let j = 80 - g. Is j a multiple of 15?
False
Let y = -180 + 650. Let l = 863 - y. Does 13 divide l?
False
Let a be (0/3)/3 - -3. Suppose 4*h - 6 = a*m, -3*h - 6 = -0*h + 3*m. Suppose -3*i + 82 + 65 = h. Is 13 a factor of i?
False
Let y(j) be the second derivative of 1/2*j**2 + 0*j**3 + 23/12*j**4 - 5*j + 0. Is y(1) a multiple of 12?
True
Let t = 331 + -59. Does 22 divide t?
False
Does 19 divide (-25)/(-75) - 1/(3/(-2111))?
False
Suppose -3*k + 50 = 2*k. Suppose -z + 3*f + 22 = 0, 2*z - 5*f + 4*f = 24. Let q = k + z. Does 10 divide q?
True
Does 8 divide (1 - -2)*-5*116/(-6)?
False
Let h = 81 + 133. Does 10 divide h?
False
Let u be ((-91)/(-26))/((-2)/(-4)). Let p = -8 + u. Does 25 divide 1 - ((-3)/p - 91)?
False
Let u(a) be the third derivative of a**5/10 + a**4/12 + 3*a**3/2 + a**2. Let q be 0 - ((1 + 4)/5 - -3). Does 13 divide u(q)?
False
Suppose -3*a + 10*a - 546 = 0. Suppose 0 = 2*p - a - 146. Is p a multiple of 12?
False
Suppose 15*t + 20 = 14*t. Is 25 a factor of (25 - t) + -1*5?
False
Is ((4 - -1) + 1)*(86 + 67) a multiple of 18?
True
Let w(m) be the third derivative of -m**6/120 - m**5/60 - m**4/24 + m**3/2 - 10*m**2. Let s = -11 + 8. Is w(s) a multiple of 12?
True
Suppose 4*r + 4*q - 76 = 0, 2*r - 5*q - 44 = -q. Suppose 0 = -5*v + v + k + r, -4*k + 40 = 4*v. Does 6 divide v?
True
Su