/(-12). Suppose -7*m = -312 - o. Does 4 divide m?
True
Let j(x) = x**2 + 7*x + 2. Let g be j(5). Let l = 42 - g. Let n = 4 - l. Is 8 a factor of n?
True
Let n(w) = 3*w**2 + 16*w - 13. Let y be n(-18). Let r = -433 + y. Does 17 divide r?
True
Let z = -18 - -2. Let g = z - -19. Suppose 0 = -3*j + 5*k + 130, g*j = -3*k + 37 + 53. Does 24 divide j?
False
Suppose 2*o - 675 = -75. Suppose -5*h = 0, 2*h - o = -b - 3*b. Is b a multiple of 5?
True
Suppose 7*d - 4138 + 134 = 0. Is 5 a factor of d?
False
Suppose 9 = 2*g + 3. Suppose g*y + 5*z = 18, -2*y + z + 0*z - 1 = 0. Is 17 a factor of (-25*y)/(-6 + 5)?
False
Let r(w) = -w**2 - 12*w + 6. Let y be r(-12). Suppose -y = -2*q + 2. Suppose 3*u + q*p = 7*u - 96, p = 3*u - 64. Is u a multiple of 7?
False
Let p = 12 - 9. Suppose 0 = p*z - z. Suppose z = -0*c + 5*c - 50. Is c a multiple of 3?
False
Let r = -57 - -57. Suppose 4*d - 2*d - 10 = r, d + 106 = 3*b. Does 22 divide b?
False
Is 14 a factor of (252/5)/((48/(-40))/(-6))?
True
Let a = 66 - 139. Let u = -56 - a. Is u a multiple of 5?
False
Suppose 0 = 4*l, 4*m - 3*l + 2*l - 6180 = 0. Does 18 divide m?
False
Let q(h) = h**3 + 30*h**2 - 99*h - 40. Is q(-32) a multiple of 23?
False
Is 27 a factor of 4152/(-20)*(-380)/114?
False
Suppose 2814 = 81*m - 79*m. Does 43 divide m?
False
Let o(r) = 9*r + 31. Does 7 divide o(35)?
False
Is 14 a factor of 12*(-21)/(-2)*301/129?
True
Let j(n) = -196*n + 7. Does 16 divide j(-7)?
False
Let j = 36 + -33. Suppose -4*f - 61 = -5*c - 2*f, 31 = j*c - 4*f. Is 2 a factor of c?
False
Suppose -18*g + 14*g + 2680 = 0. Does 10 divide g?
True
Let t = 1304 + 2956. Is 20 a factor of t?
True
Let k(p) = 4*p**2 - 17*p + 17. Does 24 divide k(-6)?
False
Let n be 271/(-2)*(20/(-2))/5. Let d = -136 + n. Is d a multiple of 15?
True
Let u = -16 - -36. Suppose -5*j + j + u = 0. Suppose j*n = 9*n - 20. Is n even?
False
Let m(o) = o**3 + 6*o**2 + o - 2. Let h be m(-4). Suppose -2*k = 3*k - 190. Suppose k = 4*w - h. Does 4 divide w?
True
Suppose 4*r - 2520 = 3*z, -2*r = 5*z - 1658 + 372. Is 17 a factor of r?
False
Let n(g) = 20*g**3 + 3*g**2 + 10*g - 25. Is n(2) a multiple of 8?
False
Suppose -2*q + 5*q = 6. Suppose -3*k + 9 = -3*i, q*i + 2*k + 18 = -2*k. Let a(u) = u**3 + 7*u**2 + 5*u - 4. Does 14 divide a(i)?
False
Let o(p) = 2*p**2 + 8*p - 42. Is 6 a factor of o(11)?
True
Let j(i) = i**3 + 10*i**2 - 11*i + 2. Let c be j(-11). Suppose 42 + 70 = c*s. Does 18 divide s?
False
Let r(t) = t**3 + t**2 + 8*t - 28. Is 18 a factor of r(8)?
True
Let a = 17 - 2. Suppose -13*m + a*m - 130 = 0. Is 13 a factor of m?
True
Suppose 6*f = 209 + 499. Is 8 a factor of (-28)/(-42) - f/(-3)?
True
Suppose 126 = 5*s - m, s + 4*m - 5*m - 22 = 0. Does 11 divide s + (-5 + 4 - -1)?
False
Let g(i) = 12*i**2 - 10*i - 22. Is g(-12) a multiple of 66?
False
Suppose 5*d = 2*y - 23, 2*y - 2*d = 10 + 10. Suppose -y*z = -4*z - 150. Suppose 3*c - z = c. Is 3 a factor of c?
True
Let k = 12 + -15. Does 10 divide (-6)/(23/(-7) - k)?
False
Suppose -2*m = -3*o + 18, -7 = o - 3*m - 2*m. Suppose o*z + 108 = 4*z. Is 9 a factor of (z/6)/(3/(-18))?
True
Let h(m) = 144*m**3 + 2*m**2 - 2*m + 1. Let b be h(1). Let i = b + -73. Is 9 a factor of i?
True
Let t(c) = c**2 - 15*c + 16. Let j be t(14). Let w be (1 + -2)/((-1)/j). Is 12 a factor of ((-24)/10)/(w/(-40))?
True
Let i = 7 + -89. Let m = 22 - i. Does 13 divide m?
True
Let a = 10151 - 6695. Is 128 a factor of a?
True
Suppose t = -0*t - 5*u - 65, 0 = -2*t + 2*u - 118. Let z = -47 - t. Is z a multiple of 4?
False
Let a(o) = -o**3 - 24*o**2 - 333*o - 40. Does 123 divide a(-17)?
False
Let n(g) = -g**3 + 6*g**2 + 6*g + 7. Let i = -10 + 17. Let f be n(i). Does 17 divide 23 - f/1*1?
False
Suppose 0 = k - 5*c - 34, k = -5*c + 2*c - 6. Let f(l) = -3 - 3*l - k - 4. Is 6 a factor of f(-11)?
False
Suppose -v = -4*b + 104, 4*b + 5 = 5*v + 109. Let p = 47 - b. Does 24 divide (-2)/(-14) - (-1929)/p?
False
Suppose 2*b + 2 = 0, -3*f - 5 = 2*b - 15. Let k = f + 0. Does 6 divide 12/(-8) + 198/k?
True
Let g = 12 + -12. Let d(r) = -9*r**2 + 11 + 13*r**3 - 14*r**3 - 2*r + g*r. Does 12 divide d(-9)?
False
Suppose -13*o = -11*o - 12. Is o even?
True
Suppose -2*c = 5*a - 1651, -3*c + 2493 = 2*a - 0. Does 17 divide c?
True
Let v be (-4)/18 - 620/(-36). Let q = v - -10. Is 23 a factor of q?
False
Let s(j) = 4*j - 45. Let a be s(12). Let b(x) = -6 + x**3 + 2 + 0*x**2 - 2*x + x**2. Does 13 divide b(a)?
True
Let n = -65 - -157. Is n a multiple of 46?
True
Let p(o) = -25*o + 4. Let z be p(-3). Let s = 97 - z. Is s a multiple of 5?
False
Let w(u) = u**2. Let v(h) = -44*h**3 + h - 7*h**2 + 3*h + 3 + 43*h**3 + 4*h. Let k be v(-8). Is w(k) a multiple of 5?
False
Let o(m) = 3*m**2 - 2*m. Does 3 divide o(-3)?
True
Suppose 0*d - 60 = -12*d. Suppose d*w + 11 = 256. Is 7 a factor of w?
True
Suppose 1 = -a + 4*d - 8, -3 = 4*a - 5*d. Let j be (2 - a) + 0 - -3. Suppose 8*x - 342 = j*x. Does 19 divide x?
True
Suppose 52*i = 54*i + 5*y - 1166, 0 = 4*i + 2*y - 2316. Is i a multiple of 4?
False
Let n be 42/(-56)*16/6. Let q(d) = 4*d**2 - 4*d - 6. Let g be q(-4). Is (4 - g)/(2/n) a multiple of 14?
True
Let u be (-1)/(-4)*(33 + 11). Suppose u*p = 2486 + 517. Is 46 a factor of p?
False
Let r be (-1 - -1) + (-30)/(-6). Let y(t) = 2*t**2 - 6*t + 4. Is 8 a factor of y(r)?
True
Suppose -4*f - 3*w = -2*f - 6, -3*f + w = -9. Suppose 0 = g - 16 - f. Is 3 a factor of g?
False
Let z(j) = -19 + 9*j - 34*j**3 + j + 16*j**3 + 17*j**3 - 11*j**2. Does 33 divide z(-13)?
False
Let j be 6/42 - (-15)/(-7). Let k = j + 0. Is 27 a factor of k - -3 - (-54 + 1)?
True
Suppose 0 = -11*r + 1815 + 187. Is 7 a factor of r?
True
Suppose 3*y - 395 = -t, 0*t + 529 = 4*y - t. Suppose 0*k + 3*k = y. Does 22 divide k?
True
Suppose -h + 2*i = -2*h + 280, 283 = h + 3*i. Does 28 divide h?
False
Let c(p) = p**3 + 2*p**2 - 4*p + 4. Let f be c(-3). Suppose 30 = -0*r + 2*r. Let i = r - f. Is 8 a factor of i?
True
Let f be (16 - 6)*(-12)/(-10). Does 8 divide f/(-4 + (-70)/(-15))?
False
Let k be 2/(-8) + (-1727)/(-44). Let x = 9 + k. Is x a multiple of 24?
True
Let o = 930 + -510. Does 14 divide o?
True
Let y be (-12)/(-3 + 6) + 2. Let k(d) = -57*d - 3. Is 21 a factor of k(y)?
False
Let v(y) = -14*y + 18. Does 31 divide v(-12)?
True
Let z(k) = 6*k**2 + 2*k - 23. Let c(p) = 19*p**2 + 5*p - 69. Let v(n) = -2*c(n) + 7*z(n). Is 19 a factor of v(-7)?
False
Suppose w - 52 = 32. Is 2/(-7) + 8676/w a multiple of 21?
False
Let b(k) = k**3. Let i(o) = -o**2 - 9. Let f(y) = b(y) + i(y). Does 13 divide f(6)?
False
Suppose -4*x + 70 - 1154 = -2*j, -j + 543 = -3*x. Is 45 a factor of j?
True
Let h(v) = 18*v + 1. Let k be h(-1). Is 13 a factor of 196 + k - -3*(-1)/3?
False
Suppose 14 = 2*r - 0*r. Suppose r*x - 2*x + 20 = 0. Let i(j) = -j + 7. Is 11 a factor of i(x)?
True
Let c(p) = 2*p**2 + 4*p. Let j be c(5). Suppose 2*b = j + 30. Let g = -36 + b. Does 12 divide g?
False
Let q(w) = -231*w + 17. Is 10 a factor of q(-3)?
True
Suppose 2*a = x + 4*x - 2312, x + 4*a - 458 = 0. Is 11 a factor of x?
True
Let o be 80/44 + (-2)/(-11). Suppose o*c - 3 + 19 = 0. Is 13 a factor of 1 - (-100)/c*-2?
True
Let f = -243 - -307. Is 5 a factor of f?
False
Let w = -21 - -24. Is w/(-2)*1560/(-45) a multiple of 8?
False
Suppose -u = 3*p + 10, 5*u + 10 = -5*p - 0*p. Let s be ((-9)/u)/(4/8). Let d = 29 + s. Is 4 a factor of d?
True
Let x = -80 + 74. Is 28 a factor of (24/x + 5)/((-1)/(-199))?
False
Suppose 5*d + 60 = 8*d. Suppose 5*u - 50 + d = 0. Is (0 - -1)*4*u a multiple of 23?
False
Let i(a) be the third derivative of a**5/30 + 17*a**4/24 + 25*a**3/6 - 12*a**2. Does 13 divide i(-10)?
False
Suppose -13*n - 33 = -24*n. Suppose -n*u - 840 = -13*u. Does 6 divide u?
True
Let r = 222 - -107. Does 47 divide r?
True
Let t = -571 + 817. Suppose 0 = -2*z + 4*z + 4*a - t, -591 = -5*z - 2*a. Does 21 divide z?
False
Let q = -4691 + 7267. Is q a multiple of 56?
True
Let u = 35 + -26. Is (2 + (-3)/u)*51 a multiple of 13?
False
Let w = 331 - 71. Suppose 0 = -m + 4*z + 52, 0 = -0*m - 5*m + z + w. Does 13 divide m?
True
Suppose 4*i - 3703 = -2427. Is 20 a factor of i?
False
Let n(m) = -m**3 + 20*m**2 - 30*m - 18. Let q be n(15). Suppose 0 = -0*l + 9*l - q. Is 21 a factor of l?
False
Let o(w) = w**2 + w - 1. Let u(p) = 3*p**2 + 2*p - 7. Let i(j) = 4*o(j) - u(j). Is 6 a factor of i(-