= 0. Is 9 a factor of h?
True
Let i(g) = -g**3 - 12*g**2 + 26*g - 5. Let j be i(-14). Let f = -18 + j. Is 2 a factor of f?
False
Suppose 0 = 5*j - y - 424, -4*j + 301 = -3*y - 47. Suppose 0 = -2*k - 4*k + j. Does 14 divide k?
True
Let u(j) = -j**3 + 28*j**2 + j - 22. Let k be u(28). Does 17 divide 330*(2 - 1)/(k - 4)?
False
Let u(q) = 0*q**2 - 4*q**2 + q**2 + 2*q**3 + 0*q**2. Let h be u(2). Suppose -h*r + 5*r - 30 = 0. Is r a multiple of 15?
True
Let i be (-23 + -3)/((-1)/(-5)) - 2. Suppose 135 = -2*a + 3*y, 0 = a - 5*a + 3*y - 273. Let l = a - i. Is l a multiple of 15?
False
Let l be -28 - (0/1)/(-2). Let j be ((-10)/(-4))/((-35)/l). Suppose v - 26 = -v - 3*r, 0 = -j*v - 4*r + 30. Does 2 divide v?
False
Let w(s) = s**3 - 4*s**2 - 6*s + 1. Let z be w(5). Let y(k) = k - 16. Let i(o) = 8. Let d(a) = -9*i(a) - 4*y(a). Is d(z) a multiple of 4?
True
Suppose -o - 2 = -0*o, 3*o + 142 = 2*w. Suppose -3*i + 83 = b - 7*i, b - i - w = 0. Is 31 a factor of b?
False
Let k(j) = -j - 2. Let x be k(-5). Suppose i + p = 4, p = x*i - 0*p - 4. Is i/3*(-63)/(-6) a multiple of 2?
False
Let z(f) = -3*f - 2. Let o(q) = -1. Let j(v) = 22*o(v) + 2*z(v). Is 13 a factor of j(-13)?
True
Suppose 15 = -0*y + 5*y. Suppose -o - y*o = -12. Suppose -41 - 91 = -o*m. Does 11 divide m?
True
Suppose 0 = 15*i - 13*i - 104. Is 6 a factor of i?
False
Let t(s) = -6*s**3 + 17*s - 1. Is 45 a factor of t(-4)?
True
Is 9 a factor of ((-88)/24)/((-2)/942)?
False
Let z(l) be the third derivative of l**9/60480 + l**8/2016 - l**7/420 + l**5/10 - 6*l**2. Let g(q) be the third derivative of z(q). Is g(-11) a multiple of 10?
False
Suppose 3*d = -4*k + 198, 3*k = -7 - 2. Suppose -394 = -3*x - d. Is x a multiple of 36?
True
Suppose 3 = -5*u - 4*t + 26, -3*u - 4*t = -17. Let z = u + 0. Suppose -3*h = 2*o - 88, 2*o - z*h - 2*h = 56. Is o a multiple of 12?
False
Suppose 0 = r - 2*d - 34, 0 = -3*d - 2 + 17. Is r a multiple of 4?
True
Suppose 2*p + 4*i - 18 = -6, 0 = -5*p - i + 21. Let r be 23 + (-5*8/(-20) - 5). Is (26/p)/(5/r) a multiple of 12?
False
Does 3 divide 1 + 270 - (-12 + 14)?
False
Let p = -33 + 41. Let z = -14 - -8. Does 10 divide 7 + z*(-4)/p?
True
Suppose -3*o = 4*o - 343. Let n(y) = -2*y**3 - 4*y**2 + 7*y + 6. Let k be n(-4). Let r = o + k. Does 17 divide r?
False
Let m be 2/((-8)/(-3) + -2). Suppose -4*u - 17 = m*w, 2*u + 2*u - 4 = 4*w. Is (1/u)/(11/(-110)) a multiple of 5?
True
Let b = 140 + -22. Is b/3*(-42)/(-28) a multiple of 41?
False
Let b = -286 - -1272. Is b a multiple of 27?
False
Suppose 2*u = -5*c - 0*u - 7, 0 = c - 5*u + 23. Let v(o) = -o**2 - o + 1. Let y be v(c). Does 12 divide (y + 3)*1 - -20?
False
Let d = -874 + 1418. Does 13 divide d?
False
Suppose -3*g - 1163 = 2*l, -4*l - 2622 + 683 = 5*g. Let y = g - -572. Does 21 divide y?
False
Let w = 321 - -277. Is w a multiple of 46?
True
Let d = -81 - -325. Is d a multiple of 9?
False
Let l be (56/(-12))/(2/36). Let j be 1*-10*l/30. Does 7 divide 1/(-6)*-3*j?
True
Let p = 18 - 15. Suppose -p*w - 5 = -4*w. Does 23 divide (-92)/(-5)*w/2?
True
Let x = 5 + -7. Let r be (-6 - 3) + x/2. Let n = -4 - r. Is 6 a factor of n?
True
Let x be ((-3)/4)/(7/(-84)). Let i(p) = -p**2 + 11*p - 10. Does 3 divide i(x)?
False
Suppose 0 = 32*m - 6409 - 1207. Does 17 divide m?
True
Does 20 divide (149*24/(-30))/((-2)/45)?
False
Let q(o) = -o**3 - o**2 - 2*o + 4. Let c be q(-3). Does 7 divide 1/(4/c*1) - -2?
False
Let g = 182 - 563. Let z = g - -647. Is 19 a factor of z?
True
Suppose 692 = 5*j + 9*z - 7*z, 5*j = 3*z + 712. Does 7 divide j?
True
Let a(t) be the first derivative of t**3/3 - 2*t**2 - 11*t + 16. Does 7 divide a(8)?
True
Suppose -4*o + 377 = -t, 4*t + 21 - 1 = 0. Does 15 divide o?
False
Suppose 3*r - 5*u + 360 - 1138 = 0, -5*r = 5*u - 1350. Is 18 a factor of r?
False
Suppose 68*i + 2*i - 18900 = 0. Does 2 divide i?
True
Suppose 5*p - 61 = 4*c, -37 = -2*p - p + 2*c. Suppose -p*z = -12*z - 72. Is 9 a factor of z?
True
Suppose 2*n + 3*v - 72 = 0, 2*n - 74 = -0*n - 2*v. Suppose -2*r + 43 = -4*s - n, -2*r + s + 82 = 0. Is 8 a factor of r?
False
Suppose 5*v - 2*h = -9, -3*v + 4*h - 5 - 6 = 0. Is 15 a factor of 9 - -2 - (-5 - v)?
True
Let v be 28/21*186/8. Suppose -520 = -35*p + v*p. Is 28 a factor of p?
False
Let n be 22*-1 + (-2)/(-1). Let r be 235/(-7) + 4/7. Let y = n - r. Does 13 divide y?
True
Suppose -31 - 13 = 2*s. Let r = s - -34. Is 6 a factor of r?
True
Suppose 2*j = -x + 1 - 8, 22 = 4*x - 2*j. Suppose 0 = g - 5*i - 4, 0*g + x*i = 3*g. Is (-47 + 2)/g + -2 a multiple of 8?
False
Suppose 8*m = m + 35. Suppose 3*v - m = 16. Suppose -600 = -v*x + 2*x. Does 30 divide x?
True
Let v(f) = -2*f + 12. Let u be v(11). Let k be 2/(-10) - (-418)/u. Let x = -24 - k. Is x a multiple of 6?
True
Does 6 divide (-6)/(-24 - 6) + (-858)/(-10)?
False
Let z(k) be the first derivative of 1/4*k**4 - 1/2*k**2 + 3 + 54*k + 1/3*k**3. Is 18 a factor of z(0)?
True
Let n = -12 - -15. Suppose -5*p = 2*f - 1507, 4*p - f + n*f = 1204. Is 20 a factor of 2/(-10) + p/15?
True
Suppose 0 = -3*u + u - 28. Let q = 19 + u. Let i(p) = p**3 - 4*p**2 + 4*p - 1. Does 17 divide i(q)?
False
Let h(z) = -z**3 - 28*z**2 + 16*z + 3. Is h(-29) a multiple of 76?
True
Let r = 83 - 82. Suppose 0 = 2*c + 3*f - 117, 2*f = f - r. Is 15 a factor of c?
True
Suppose -3*m - 5*h = -4*m + 421, -m + 439 = 4*h. Is m a multiple of 12?
False
Let c be ((-10)/(-15))/((-6)/(-1863)). Let v = -37 + c. Is v a multiple of 34?
True
Let b = -1 + 3. Suppose 2*f = -b*f - 16. Does 8 divide ((-26)/(-4))/(f/(-8))?
False
Let j(o) = o - 31. Let w be j(17). Let i = w + 10. Let t(h) = -h**3 - 2*h**2 + 4*h + 4. Does 3 divide t(i)?
False
Suppose 320 = 2*g + 2*b, 3*g - 5*b = 7*g - 638. Is g a multiple of 39?
False
Let l(c) = 8*c**2 - 180*c - 81. Is 77 a factor of l(28)?
False
Let i(q) = -2*q**2 - 13*q - 14. Let d be i(-12). Let b = d - -259. Is 16 a factor of b?
False
Let h(x) = x**2 + 3*x - 6. Suppose -9 = 3*w + 6. Let r be h(w). Suppose 6*a - 93 = 2*a + 3*n, -2*n - 90 = -r*a. Is a a multiple of 20?
False
Let u = 167 - 79. Is u a multiple of 18?
False
Let k = -23 - 6. Let d = 102 + k. Does 6 divide d?
False
Let p(o) = 6*o - 11. Let b(s) = 12*s - 22. Let g(h) = -6*b(h) + 13*p(h). Is 22 a factor of g(15)?
False
Suppose 2*d = -b + 8, -3*d + 6 = -6. Suppose 3*j - 12 = -b*j - 5*t, 4*t - 4 = -j. Does 3 divide j?
False
Let k(z) = -2*z**2 + 4. Let p(u) = 3*u**2 - 7. Let x(w) = -5*k(w) - 3*p(w). Let g(i) be the first derivative of x(i). Is 5 a factor of g(5)?
True
Suppose 3*w = -5*z + 118, -5 = 3*w + 7. Let k = -2 + z. Is k a multiple of 24?
True
Is 9 a factor of 477/18 - 4/(-8)?
True
Let n(m) = 7*m**3 - 4*m**2 + 6*m - 8. Is n(4) a multiple of 50?
True
Let w(m) = -m**3 + 7*m**2 + 3*m + 2*m**3 - 3 + 0*m**3. Let y be w(-5). Suppose y = 4*k - 96. Does 8 divide k?
True
Suppose -5*r + 2 = g, -r - 5 = 3*r + 3*g. Is 10 a factor of (2/(6/87))/r?
False
Let i(v) = 3*v - 33. Let j be i(14). Suppose 4*w + z - 556 = 0, j*z + 20 = 4*z. Does 28 divide w?
True
Suppose 5*q - 3064 = 67*n - 71*n, -5*n + 3821 = 4*q. Does 68 divide n?
False
Suppose -a + 40 = -2*a - k, 2*a - 3*k = -55. Let w = 62 + a. Is w a multiple of 27?
True
Let s = 2344 + -1999. Is s a multiple of 3?
True
Let b = -7 + 10. Suppose -6 = g - b*g. Suppose 4*t - 5*z = 97, t - 2*t = g*z - 3. Does 6 divide t?
True
Let l = 1 + -1. Let k(f) = -f + 17. Is 17 a factor of k(l)?
True
Does 30 divide -2 + 2648/(7 + -3)?
True
Let q(y) = -236*y - 767. Is 27 a factor of q(-6)?
False
Let l(m) = m**3 - 65*m**2 + 12*m - 375. Is 4 a factor of l(65)?
False
Suppose -1848 = 4*m - 12*m. Is m a multiple of 13?
False
Let d(h) = h**3 - 4*h**2 + 4*h - 8. Let a be d(5). Suppose -a*l - 34 = -38*l. Is 4 a factor of l?
False
Let m = 32 - 30. Suppose -9*a - 5 = -4*a, -138 = -m*q + 2*a. Does 17 divide q?
True
Suppose 3 = 3*s, 0 = 5*i - 3*s + 17 + 21. Let k = i - -9. Suppose -5*u = -3*z - 122, 56 = k*u + z - 4*z. Is 10 a factor of u?
False
Let v(y) = y**2 + 4*y - 9. Let r be v(-5). Let h = r + 8. Suppose -q + h = -3. Does 7 divide q?
True
Let n be ((-3)/3)/(-1) + 0. Suppose j + 5 = 0, -5*l - j = -21 + n. Suppose -2*m + 11 = 3*r - 22, -l*m + 2*r = -92. Does 6 divide m?
True
Let t(a) = -73*a + 3. Suppose -4*y - z = -35, -4*y - 2*z = -3*z - 29. Let q be t(y). Is 4 a factor of (-1)/(-7) - q/49?
True
Suppose -8*n = -4