-6*b(m) - 7*l(m). Does 8 divide z(-3)?
True
Let n(h) = -53*h**2 - h + 1. Let d be n(1). Let c = -125 + d. Is c/(-11) + 8/(-44) a multiple of 8?
True
Let y be (-35)/(-14)*(-44)/(-5). Let p = 45 - y. Suppose 17 = i + 5*s - 5, 4*s + p = 5*i. Is i a multiple of 2?
False
Suppose 4*b - 2354 - 383 = 3*r, 4*r = 5*b - 3420. Does 3 divide b?
False
Let m = 23 + -9. Let d be (8/6)/(m/21). Is ((-196)/6)/(d/(-3)) a multiple of 13?
False
Let t be (-1312)/48 - (-1)/3. Let o = 27 + t. Suppose -2*h + 68 + 136 = o. Is 36 a factor of h?
False
Suppose 38*r = 54 + 153846. Is 90 a factor of r?
True
Suppose -4*v + 568 = -l, 7 = l + 3. Let s = v - -31. Does 38 divide s?
False
Let a be (-3)/(-2) + 42/4. Suppose -a = -0*l - l. Suppose 6*o - l = 4*o. Is o even?
True
Let q = 3643 + -2374. Is 27 a factor of q?
True
Let g(u) = -u**3 + 8*u**2 - 5*u + 9. Let v(n) = -n**2 + 7*n + 6. Let y be v(7). Is 10 a factor of g(y)?
False
Suppose -121 + 124 = 3*t. Suppose -10 = -p - 36. Is (t - 20/8)*p a multiple of 13?
True
Suppose b + 1 = -a - 1, -3*a - 2 = 2*b. Is (2 - 0) + b + 3 + 87 a multiple of 11?
True
Suppose 0*y = 3*y + 162. Let c = -125 - -209. Let g = y + c. Is g a multiple of 16?
False
Is 93 a factor of (1673 - -1)*2/4?
True
Suppose 4*r = a + 6, 0 = -5*a + 3*a + 2*r. Suppose 0 = 3*c - 15, 0*o + a*o - 23 = -3*c. Is 5 a factor of (o - 6) + 0 + 17?
True
Suppose 2428 = 40*n - 37*n + 2*i, -4*n + 4*i + 3204 = 0. Is 26 a factor of n?
True
Let h = 716 - 717. Let q(f) = f**3 - 2*f**2 + f - 1. Let d be q(3). Let m = d - h. Does 9 divide m?
False
Let o = -2 + 0. Does 14 divide 3 + 111 + 4/o?
True
Let t(d) = -d**2 + 15*d + 6. Suppose 2*k + 11 = 29. Is 23 a factor of t(k)?
False
Let z be 17 + -17 + (164 - -1). Let p be (-2)/(1/3 + -1). Suppose z - 48 = p*j. Is 9 a factor of j?
False
Suppose f = 3*f + 20. Let t(n) = n**3 + 9*n**2 - 16*n - 16. Does 8 divide t(f)?
False
Let p(h) = h**3 - h**2 + h + 3. Let w be p(0). Suppose 0 = -w*g + 6*g - 105. Let u = -17 + g. Is 7 a factor of u?
False
Suppose 0 = 5*a + 2*z - 3284, 0*z = -5*a - z + 3287. Let l = a + -466. Let r = l - 112. Is 32 a factor of r?
False
Suppose -4*j - 5*s = -15, 3 = j - 4*s - 6. Suppose -j*v + 294 = -v - 3*o, -5*v - 2*o + 379 = 0. Is 5 a factor of v?
True
Let s(n) = 34*n - 24. Let j be s(13). Is 21 a factor of 1/2 - j/(-4)?
True
Is 8 a factor of ((-2624)/(-6))/(-2)*(-10 + 7)?
True
Let q = 86 - 37. Let j(d) = d**2 + 10*d + 38. Let l be j(-9). Suppose -l - q = -m. Does 13 divide m?
True
Let c be (-1546)/(-14) - 3/7. Let u(b) = -2*b**3 - 2*b**2 + 6*b + 4. Let i be u(-5). Let m = i - c. Is m a multiple of 33?
False
Suppose 60*x - 58*x = s + 1275, -x + 650 = 2*s. Does 16 divide x?
True
Suppose 5*p = 4*d - 0*p - 358, -3*d + 266 = -5*p. Is 23 a factor of d?
True
Suppose 113 - 63 = 2*g + 2*q, q - 121 = -5*g. Is 8 a factor of g?
True
Let p = 213 + -114. Is 11 a factor of p?
True
Let i = 30 - 3. Suppose 3*p = -3*j + i, -5*j = -0*j + 10. Does 9 divide p?
False
Let s be 7/21*(2 + -1 - -5). Suppose 9*q = 6*q + 5*b + 3, 2*q = s*b + 6. Is 6 a factor of q?
True
Let v(o) = o**2 + 6*o + 3. Let l be v(-6). Suppose 4*t - 8 = j + l*t, 24 = -4*j + 2*t. Is -12*(-3 - (-4)/j) a multiple of 16?
True
Suppose 267*q = 262*q + 560. Is 8 a factor of q?
True
Let j(z) = 40*z**2 - 2*z + 1. Let s(f) = -79*f**2 + 3*f - 1. Let m(r) = -11*j(r) - 6*s(r). Is 5 a factor of m(1)?
False
Let p(q) = 19*q + 1. Let i(s) = -56*s - 2. Let a(y) = -2*y + 6. Let g be a(7). Let m(d) = g*p(d) - 3*i(d). Does 13 divide m(5)?
True
Let l = 30 + -27. Let y = 39 + l. Does 16 divide y?
False
Let a(f) = 211*f - 9. Let z be a(-2). Let r = -191 - z. Is 12 a factor of r?
True
Let u(w) be the second derivative of w**4/12 + w**3/2 - 3*w**2 - 11*w. Does 32 divide u(7)?
True
Suppose 2*n + 15 = -17. Let l be ((-4)/n)/((-3)/(-24)). Is 22 + 3 + 0 + l a multiple of 9?
True
Suppose -2*u - 510 = -7*u - w, 0 = 3*u - 3*w - 324. Suppose -u - 41 = -2*o. Is 36 a factor of o?
True
Suppose 3*w = k - 0*w + 11, 2*k + 2*w = -6. Let i(a) = a**3 + 6*a**2 + 5. Does 5 divide i(k)?
True
Suppose -2*f = -5*b + 3990, -2394 = -b - 2*b - 2*f. Is 27 a factor of ((-24)/36)/((-4)/b)?
False
Let b be ((-20)/(-8) - 2)/(2/(-124)). Let z = b - -40. Is 2 a factor of z?
False
Let z(u) = -6*u - 40. Let c be z(-8). Does 16 divide 258/c + ((-30)/24 - -1)?
True
Let t(k) = -k**2 + k + 150. Let p(c) = -c**3 + 2*c**2 + c. Let a be p(0). Is t(a) a multiple of 10?
True
Suppose 4*w - 74 = 4*d + 10, 3*w + 5*d = 55. Does 6 divide 2/((-104)/(-138) + w/(-30))?
False
Suppose 0 = 5*i + 4*z - 1482, z + 2*z + 1461 = 5*i. Does 7 divide i?
True
Suppose -1 + 13 = 4*g, -d = 2*g - 233. Suppose 0 = -3*b + d + 61. Does 21 divide b?
False
Suppose -1579 = -5*y + 121. Does 17 divide y?
True
Let n(f) = -f**3 - 4*f**2 - 3*f - 2. Let l be n(-4). Let w(c) = c - 2. Let t be w(l). Is (1 + 2)*t/3 a multiple of 2?
True
Let n(y) = -7*y - 65. Let j be n(-11). Let u(m) = -m**3 + 4*m**2 - 2*m + 2. Let s be u(3). Let g = j + s. Does 7 divide g?
False
Let c = -24 - -14. Let b = c + 15. Suppose -380 = -5*a - b*w, 0 = 4*a + 2*w - 296 + 2. Is 11 a factor of a?
False
Let f(m) be the first derivative of -11/2*m**2 - m + 1/3*m**3 + 2. Is f(12) a multiple of 3?
False
Let a(t) = -t**3 - 45*t**2 + 15*t - 84. Is a(-46) a multiple of 11?
True
Let g(c) = c**3 + 3*c**2 - 9*c - 6. Let s(w) = 7*w - 11 + 0*w**3 + 5*w**2 + 2*w**3 - 26*w + 0*w**3. Let b(z) = 13*g(z) - 6*s(z). Is b(-9) a multiple of 5?
True
Let t(l) = l**3 - 7*l**2 + l. Let h(c) = c**2 - c. Let x(w) = -2*h(w) - t(w). Suppose 0 = -k + 3 + 2. Is 4 a factor of x(k)?
False
Let b be ((-4)/(-8))/((3/120)/1). Suppose 3*d = -2*y + 16, 6*d - b = 3*d + 2*y. Does 2 divide d?
True
Let u = -7 - -20. Suppose 6*j = u + 35. Does 4 divide j?
True
Does 4 divide -4 - (-3 - -79)*-1?
True
Let x be (-1454)/(-8) - (-1)/4. Suppose 14*n = 25*n - 1166. Let c = x - n. Is c a multiple of 19?
True
Let m(w) = 5*w - 17. Let j be m(4). Suppose -37 + j = -2*l. Is 2 a factor of l?
False
Let k(z) be the first derivative of z**4/6 - 4*z**3/3 - 9*z**2/2 - 5*z + 6. Let d(o) be the first derivative of k(o). Is 11 a factor of d(8)?
True
Let h = 459 - 294. Does 15 divide h?
True
Let f be (-7)/(-2 + -3 + 4). Suppose 0 = 5*q - 3 - f. Suppose -q*z = d - 93, d + 1 - 4 = 0. Does 15 divide z?
True
Let j(i) = 4*i**3 - 6*i**2 + 6*i + 5. Let o = -22 + 16. Let l(m) = -m**3 + m**2 - m - 1. Let y(s) = o*l(s) - j(s). Does 23 divide y(3)?
False
Suppose -g + 0*g - 2*x = -9, 2*g - x - 8 = 0. Suppose 28 = -g*f + 328. Is f a multiple of 15?
True
Let v(m) = -m**2 + 10*m + 19. Suppose -a + 5*j = -41 + 5, 3*a = -4*j + 13. Is 4 a factor of v(a)?
True
Let m = 635 - 435. Does 10 divide m?
True
Let i(z) = -2*z**2 + z + 4. Let k be i(2). Does 19 divide (912/(-64))/(k/8)?
True
Let c(b) = b**2 - 2*b + 300. Let z(a) = -a**3 - a**2 - 2*a - 2. Let r be z(-1). Does 30 divide c(r)?
True
Let s(u) = -5*u**2 - 12*u. Let t(k) = k**2 - 1. Suppose -16 = 5*b + 14. Let r(p) = b*t(p) - s(p). Does 11 divide r(9)?
True
Let i(r) = r**2 + 4*r - 2. Let b be i(-3). Does 4 divide 3/(3*b/(-105))?
False
Let n = -152 - -86. Let f = -51 - n. Is 3 a factor of f?
True
Let a be ((-10)/(-4) + -1)*14. Let j(n) = n**3 + 8*n**2 + 13*n + 6. Let s be j(-6). Let z = s + a. Does 4 divide z?
False
Let n(j) = 2*j**2 - 20*j + 36. Is 18 a factor of n(16)?
False
Suppose -1 + 0 = -2*y - 3*b, 3*y = 3*b - 21. Let f be ((-2)/y)/(8/48). Let q = 0 + f. Does 2 divide q?
False
Suppose 2*n = -3*n - 5*c + 210, -2*n + 86 = c. Is 4 a factor of n?
True
Does 7 divide 1/((4/(-1840))/(1/(-4)))?
False
Suppose 2*y + 70*w - 65*w - 2296 = 0, 0 = 2*y - 4*w - 2278. Does 9 divide y?
True
Suppose 17*x = -1046 + 5279. Is x a multiple of 4?
False
Suppose z + 2 = -0*z. Let r(u) = -u**3 - 15*u**2 - 16*u - 14. Let n be r(-14). Is 3/9*(n + z) even?
True
Suppose f = -x + 848, -5*x = 2*f - 1834 - 2397. Is x a multiple of 5?
True
Suppose 0 = -2*z + 4*i - 6*i + 6, z - 5*i = -21. Is -9 - -5 - z*3 - -129 a multiple of 17?
False
Let n(b) = b**3 - 7*b**2. Let m be n(7). Suppose -4*p = m, -5*c + 173 - 33 = -p. Suppose 0 = q - 3*i - c, 0 = -2*q - 4*i + i + 20. Is 8 a factor of q?
True
Suppose -7*m = -6*m - 160. Is m a multiple of 16?
True
Suppose -710 = -12*j + 7*j + 5*f, -5*j + 725 = -2*f. Is j a multiple of 21?
True
Let m(j) = j**3 + 3*j**2 - 5*j - 7. Suppose -y =