+ k. Does 17 divide f?
True
Let q be (44 - -4)*(-8)/(-6). Suppose -5*b + 101 = -q. Does 21 divide b?
False
Let u(j) = -j**3 - 13*j**2 - 14*j + 13. Let n be u(-13). Let x = 356 - n. Does 7 divide x?
True
Suppose -y - 4 = 14. Does 7 divide (y/(-18))/(2/98)?
True
Let q(y) = y + 11. Let a be q(-5). Let z = a + 17. Does 15 divide z?
False
Suppose 0 = 2*v - w - 12, -2*v + w = -3*w - 6. Suppose -3*t - 1 = -v. Is (-6 + 3)/(t/(-18)) a multiple of 9?
True
Suppose 9*n - 298 = 8*n. Let v = n - 177. Is v a multiple of 11?
True
Let b(k) = k**3 + 13*k**2 + 14*k + 27. Let g be b(-12). Suppose 3*s = 2*s + 4*z + 162, 5*s - g*z = 844. Is s a multiple of 10?
True
Let p(f) = 13*f - 13. Does 7 divide p(12)?
False
Suppose -2*z = -z - 3*y - 197, 3*y - 579 = -3*z. Is z a multiple of 39?
False
Let o = 26 + -24. Does 7 divide o + 34 + -2 + -2?
False
Suppose 2*q + 2*m = 1892, 47*q = 45*q + m + 1892. Does 49 divide q?
False
Let n be (-8)/(-4) - -27 - 0. Suppose -5*u + n = k, -k - u + 17 = u. Let r = k + 0. Is r a multiple of 4?
False
Suppose -4 = 4*c + 164. Let v be (-156)/c - 4/(-14). Suppose -p - 42 = -2*m, -14 = -v*m - 2*p + 70. Is 21 a factor of m?
True
Let l(z) = -z + 5. Let k be l(0). Suppose v = k*v - 304. Let o = v + -46. Is o a multiple of 10?
True
Let w = 24 - 26. Let c(t) = -11*t - 5. Does 8 divide c(w)?
False
Suppose -55 = -2*r + 5*t, -r + 2*r = -2*t + 23. Let u be (-4)/6 + (-20)/6. Does 30 divide r/(28/(-8) - u)?
False
Let o(f) = -f**3 - 2*f**2 - f + 4. Let m be o(-2). Suppose -4 = d, -5*l + 5*d + 1986 = m*d. Suppose 4*p - 392 = -4*j, -2*p + l = 2*p + 2*j. Is 17 a factor of p?
False
Let k = 2467 - 2319. Is k a multiple of 37?
True
Suppose 5*z - 12 = -0*z - t, 3*t = -3*z. Suppose 4*h = j + j - 126, z*j + h - 161 = 0. Is j a multiple of 25?
False
Let c be -7 + 327 - (1 + 1). Suppose -17*n + c = -14*n. Is 35 a factor of n?
False
Let w = -66 - -252. Let l = w - 127. Is l a multiple of 12?
False
Suppose 3*p - 68 = -5*a, 2*p - 2*a = 29 + 27. Let l = -16 + p. Suppose -l*f + 7*f + 27 = 0. Does 3 divide f?
True
Is 649775/188 - (-2)/(-8) a multiple of 48?
True
Let m = -19 - -21. Suppose m*c = c + 52. Is c a multiple of 26?
True
Suppose -5*t - 5*t + 20 = 0. Is 53 + (-2 - (t + -1)) a multiple of 11?
False
Let h(j) = 4*j**2 - 2. Let b be (39/(-65))/((-1)/5). Suppose l + 6 = b*l. Is 6 a factor of h(l)?
False
Let m(x) = x**3 + 11*x**2 + 9*x + 10. Let w = 75 - 80. Does 47 divide m(w)?
False
Suppose 0*x = -5*n - 3*x - 7, 3*n + 3*x = -3. Let o(q) = 10*q**2 + 5*q + 8. Does 8 divide o(n)?
False
Suppose -171*m = -43*m - 36352. Is 3 a factor of m?
False
Suppose -570 = 26*s - 11152. Does 45 divide s?
False
Suppose -5 = 3*x + 1. Let b be ((-18)/(-27))/(x/(-9)). Suppose 3*o = 4*r - r + 42, 5*o + b*r = 54. Is o a multiple of 8?
False
Suppose 5*n = -3*y + 15, -5*n - 4*y - y + 15 = 0. Suppose 5*l - 221 = n*q - 73, 116 = 3*l + 5*q. Does 12 divide l?
False
Suppose 0 = -8*d + 9*d. Suppose d*l - l + 4 = 0. Let c = 4 + l. Is c even?
True
Suppose -4 = -4*i, -i = -4*v - 31 + 494. Is v a multiple of 24?
False
Let k = 13 - 11. Let f be k/(-2) - (-10)/2. Suppose 2*p - 3*p = -3*v + 51, -68 = -f*v - 4*p. Is v a multiple of 6?
False
Suppose 14*h + 0*h + 364 = 0. Is (36015/(-91))/(-5) - (-4)/h a multiple of 13?
False
Suppose 0 = 6*z + 15*z. Suppose 7*c = 3*c + 5*b + 632, 0 = -5*c + b + 769. Suppose 4*p + 41 - c = z. Is 7 a factor of p?
True
Let b = -9 - -12. Suppose 3*j - 3 = 3*a, 5*a = b*j + a. Let z(w) = w**3 - w**2 - 2*w. Is 17 a factor of z(j)?
False
Let z(r) = r**3 + 4*r**2 - 4*r - 14. Let v be z(-4). Does 7 divide 8 + -3 + 22/v?
False
Let d(r) = -8*r - 26 - 5*r - 7. Is d(-6) a multiple of 15?
True
Let l(d) be the first derivative of -2*d**2 + d - 6. Is l(-13) a multiple of 24?
False
Let f = 691 - 224. Is 12 a factor of f?
False
Let p = 15 + -14. Suppose 3*h - 4*h = -3*j - p, 4*h - 20 = -4*j. Is h a multiple of 3?
False
Suppose 4*p - 9 = 3. Suppose -p*w = -3*s - 219, 2*w + 6*s - 128 = 2*s. Does 26 divide w?
False
Let d = -23 + 19. Is 220*((-3)/d + (-10)/40) a multiple of 8?
False
Suppose 3*w + 30 = 147. Is 32 a factor of w?
False
Suppose 2*r = -2*r + 92. Suppose -2*m + 4*s = s + r, 0 = -4*s + 4. Is 15 a factor of (m/8)/(2/(-48))?
True
Let p be 2 - -3*(-2)/3. Suppose 0*q + 3*q = p. Suppose z + q = 12. Does 6 divide z?
True
Suppose 25*k = 7*k + 3582. Is 15 a factor of k?
False
Let d(w) = w**3 + 34*w**2 - 33*w + 304. Is d(-35) a multiple of 13?
True
Let v(b) = -b + 19. Let l be v(8). Let q(h) = h**3 - 12*h**2 + 15*h - 22. Is 22 a factor of q(l)?
True
Let c(k) = -7*k + 33*k + 6 - 27 + 4 - k**3 - 16*k**2. Is 23 a factor of c(-18)?
False
Let m(x) = -x**3 + 3*x**2 + 6*x + 6. Let h be m(4). Is 47 a factor of (h - 177)*(-2 + 0)?
False
Suppose -5*s - 5*t = -2130, 0*s - 1674 = -4*s + 2*t. Does 19 divide s?
False
Suppose 4*q = -2*v - 0*q - 34, -5*q + 16 = -4*v. Does 4 divide 19 - ((-4)/5 + v/(-5))?
False
Let j(l) be the third derivative of -1/120*l**6 - l**3 - 5/12*l**4 + 0 + 0*l - 6*l**2 + 1/6*l**5. Is 8 a factor of j(8)?
False
Suppose -3*n + 6 = -d - 2, 2*d - n - 4 = 0. Suppose 3*p + 5*r - d = 0, 5*p - 4*p - 2*r - 5 = 0. Suppose p*o - 2*o = 22. Is o a multiple of 17?
False
Suppose 30 = 5*x - 25. Let y = x - 11. Suppose 2*b - 92 = -y*n + n, -4*n = 5*b - 204. Is 18 a factor of b?
False
Let d(y) = 18*y**2 - 5. Let i be d(2). Let k = i + -26. Does 11 divide k?
False
Let r = 733 - -791. Does 12 divide r?
True
Does 7 divide 4/10 - (-330)/(-75) - -382?
True
Let m = 13 + 31. Suppose 4*s + 68 = -12. Let j = s + m. Is j a multiple of 8?
True
Suppose 3523 = 18*z - 3983. Is z a multiple of 80?
False
Let j be -2*4/((-32)/(-4)). Let n be 3 + (j - 0) + -37. Is 3 - (1 + n) - -2 a multiple of 13?
True
Let b(t) = 114*t**3 - 5*t. Let a(j) = -227*j**3 + j**2 + 9*j + 1. Let d(h) = 3*a(h) + 5*b(h). Let u be d(-2). Does 19 divide 10/(-65) + u/13?
False
Suppose -2*s + 8 + 12 = 3*f, -f = -4*s + 12. Let y be (-50)/(-15) - s/(-6). Suppose -k + 14 = y. Does 10 divide k?
True
Suppose 0 = 4*o - 4 - 4. Let a(j) = j**3 + 15*j**2 + 13*j - 10. Let q be a(-14). Suppose b + 2 = -q*s + 11, o*b = -5*s + 27. Is b a multiple of 10?
False
Let h = -103 + 44. Let n(t) = -t**2 - 3*t + 118. Let b be n(0). Let g = b + h. Is g a multiple of 14?
False
Let o = -1 + 11. Let a(p) = p - 8. Let b be a(o). Is b*1*(-84)/(-12) a multiple of 7?
True
Does 7 divide 0 - 350/2*-1?
True
Let j be (-4)/22 - (-312)/22. Let f(n) = -n**2 + 18*n - 5. Is 22 a factor of f(j)?
False
Let n(t) = -1028*t + 21. Does 45 divide n(-3)?
True
Let n be 650/6 - (-1)/(-3). Let r = -22 + n. Does 22 divide r?
False
Let c = 29 - -106. Suppose 0 = -q - 5 + 10. Suppose -65 = -q*r + c. Is 20 a factor of r?
True
Suppose 5*l + 4*l = -l. Suppose l = -i + 76 + 50. Is 21 a factor of i?
True
Let v = 4374 - 3058. Does 26 divide v?
False
Suppose 22*v - 3012 - 1256 = 0. Does 16 divide v?
False
Does 34 divide (-15482)/(-7) - 108/63?
True
Let y = -97 - 13. Let s = 49 + y. Let z = s + 121. Is 18 a factor of z?
False
Suppose 18981 - 47793 = -14*n. Is 6 a factor of n?
True
Let l = -27 + 10. Does 21 divide (-355)/l + (-6)/(-51)?
True
Suppose 3754*i = 3749*i + 11695. Is i a multiple of 14?
False
Let v(t) = 6*t**3 + 2*t - 4. Let f be v(5). Suppose 4*j - 606 = 2*p, -5*j + 7*p - 3*p = -f. Does 38 divide j?
True
Let v = 130 + -104. Suppose 4*h - 3*k + 28 = 70, -4*h + 40 = -4*k. Let j = h + v. Does 16 divide j?
False
Let r(f) = 3*f**2 + 37 - 15*f + 0*f**2 - 38. Does 11 divide r(8)?
False
Let u be (-2)/3*135/(-6) - 3. Let k(m) = m + 86. Let s(d) = 17. Let c(n) = 2*k(n) - 11*s(n). Is 2 a factor of c(u)?
False
Is 23 a factor of -60*184/(-36)*6/4?
True
Suppose 10*k = 12*k - 984. Is 41 a factor of k?
True
Let g = 72 - 76. Is 5 a factor of (0 - g) + (48 - 3)?
False
Let d(q) = 526*q + 89. Does 15 divide d(2)?
False
Is 3 a factor of 18*(837/6)/9?
True
Let l(c) = -5*c**2 - 42*c + 5. Does 7 divide l(-6)?
True
Let w(r) = -r**3 + 11*r**2 + 14*r - 13. Let a(n) be the first derivative of 2*n**3/3 - 3*n**2 + 4*n - 9. Let j be a(4). Is w(j) a multiple of 2?
False
Is 10 a factor of 375/2*(-420)/(-63)?
True
Let y = 33 + -39. Let p(d) = d**3 + 9*d**2 + 6*d - 2. Does 13 divide p(y)?
False
Suppose 2520 = 79*j - 74*j. Is j a multiple of 42?
True
Suppose 11 = -3*k + 5. Is 2 - (-54 + -4 - k) a multiple of 29?
True
Let f = -360 - -6