312, 2*c = -8. Does 30 divide b?
True
Let f = -1933 - -2846. Is 33 a factor of f?
False
Let o(w) = w**3 + 20*w**2 + 2*w + 45. Let v be o(-20). Suppose 0 = v*d - a - 717, -a = -0*d - d + 141. Is 6 a factor of d?
True
Let b be 4/(-18) + (-22)/(-18). Let q be (-19)/3 + 11/33. Let p = b - q. Is 6 a factor of p?
False
Let p = -91 + 211. Is p a multiple of 6?
True
Suppose 4*h = 5 - 1, n - 5*h = -3. Suppose 2*k - 8 = 0, -s - k = -3*k + n. Suppose -s*w + w + 120 = 0. Is w a multiple of 12?
True
Let o(l) = 6*l**2 - 14*l + 4. Does 164 divide o(14)?
True
Suppose -987 + 301 = -2*r. Is r a multiple of 7?
True
Suppose x + 4*m + 28 = 2*x, -3*x = m - 19. Suppose -7*a + x*a = 152. Does 38 divide a?
True
Let u = 458 + -266. Is u a multiple of 9?
False
Suppose 3*g + n - 2812 = 0, 0*g - 5*n = -2*g + 1886. Suppose 394 = -8*b + g. Is b a multiple of 19?
False
Let z(c) be the third derivative of -c**4/8 - c**2. Let r be z(1). Let w = r - -15. Does 6 divide w?
True
Let y(s) be the third derivative of -7*s**4/12 - 5*s**3/6 + 2*s**2. Let j be y(-7). Is j - (1 - 4/(-2)) a multiple of 18?
True
Suppose 4*k - 5*c = -41, c + c - 36 = 3*k. Let u = k + -58. Let o = -24 - u. Does 12 divide o?
True
Let g(h) = 1 + 6*h**2 - 1 + h**3 - 4 + 3*h. Suppose 5 = -2*c - 5*r - 0, -3*c - r - 14 = 0. Is g(c) a multiple of 6?
True
Let l(a) = -46*a + 24 - 28*a + 22*a - 75. Is 32 a factor of l(-4)?
False
Suppose -9630 = 35*h - 77670. Is h a multiple of 18?
True
Let s(a) = a**3 - 10*a**2 - 12*a + 16. Let h be s(11). Let z = h - 2. Suppose -3*m - 109 + 22 = -2*d, -135 = -z*d + 3*m. Does 13 divide d?
False
Let c = -81 + 88. Suppose 0 = -c*a + 2*a + 545. Does 22 divide a?
False
Is 9 + 660/(-77) + (-3308)/(-7) a multiple of 11?
True
Let z be 30/4*(-12)/(-9). Is 17 a factor of (-18)/((-3)/3)*z?
False
Let s(l) be the first derivative of -l**4/2 + 2*l**3/3 + l**2 + 2*l - 1. Suppose 0 = -61*y + 60*y - 2. Is 11 a factor of s(y)?
True
Let r(f) = 23*f + 475. Is r(-14) a multiple of 9?
True
Suppose -4*z = -j - 2998, -2690 = -4*z - j + 312. Is z a multiple of 17?
False
Let h(f) be the first derivative of -9*f**2/2 + 3*f + 2. Let l be h(-6). Is 21 a factor of l + (-9)/(-3) + 0?
False
Let p(q) be the first derivative of 2*q**3/3 + 33*q**2/2 - 4*q + 1. Is p(-18) a multiple of 10?
True
Suppose -22 = -5*l + a, 4*l = -2*a + 5*a + 11. Does 7 divide 69/(-2)*(65/15 - l)?
False
Let m = 54 - -2. Let y = m + 8. Does 16 divide y?
True
Let h(k) = -k - 12. Let i be h(-14). Suppose -i*x + 2*t = -152, -169 = 5*x + 4*t - 540. Is 15 a factor of x?
True
Let f(w) = -2*w - 3. Let h be f(-4). Suppose -v + 15 = -h*a, a = 4*v + 6*a - 35. Suppose -k - z - 115 = -3*k, -2*z = -v. Is 20 a factor of k?
True
Let n = -2 + -5. Let l(r) be the third derivative of -r**6/120 - r**5/10 + r**4/6 - r**3/2 + 80*r**2. Is 9 a factor of l(n)?
True
Suppose 0 = -2*g - 0*g - 2. Let j(z) = z - 1. Let q be j(g). Is (-3 - -2)/(q/52) a multiple of 12?
False
Suppose -139*r - 4480 = -159*r. Is r a multiple of 16?
True
Let s(t) = -t**3 - 15. Let n be -1 + 4/8*2. Let v be s(n). Let q = -11 - v. Is q even?
True
Let o(r) = -r + 17. Let y be o(0). Suppose y*d - 15*d = 182. Does 13 divide d?
True
Let a = -1327 + 2537. Does 55 divide a?
True
Let u = -100 + 102. Suppose -u*s = -q - 515, 309 = s - 2*q + 59. Is 29 a factor of s?
False
Suppose 10 = 5*j - 25. Let y be 1 + (-2 - (-2 + j)). Is (-45)/y*(-12)/(-10) a multiple of 3?
True
Let u be (5/(-3))/(3/(-90)). Suppose 2*z - 71 = -5*f + u, 0 = -f + 2*z + 29. Does 10 divide f?
False
Let t(u) = 7*u**3 + 13*u**2 - 9*u + 30. Let w(f) = -3*f**3 - 6*f**2 + 4*f - 15. Let p(z) = 4*t(z) + 9*w(z). Is 40 a factor of p(7)?
False
Let h(n) = n**3 + 9*n**2 + 13*n. Let g be h(-7). Let y(d) = -d**2 + 9*d + 8. Is y(g) a multiple of 11?
True
Suppose -19*l + 5932 + 2124 = 0. Is 41 a factor of l?
False
Suppose t + 3*p = 6*t + 19, -25 = 5*t - 5*p. Let k(b) = b - 2. Let g be k(t). Is 10 a factor of -2 - (-3 - (-116)/g)?
True
Suppose -27 = -3*f - 12. Suppose f*z + 15 = -2*x + 53, -2*x = 4*z - 34. Is x a multiple of 2?
False
Suppose -4*d = 3*r + 14366, 0 = 2*r + r + 6. Let n be 2/15 - d/75. Let j = -28 + n. Is j a multiple of 10?
True
Let s = -3 - -10. Suppose 0 = -h + s - 2. Suppose h = d - 7. Is 4 a factor of d?
True
Let i be (0 - 0)*(-9)/9. Suppose 5*x - 6*x - 5 = i. Let q = x + 49. Does 14 divide q?
False
Let t(x) = -x**3 + 3*x**2 - 22*x + 2. Let b(k) = -2*k**3 + 7*k**2 - 43*k + 5. Let j(f) = 6*b(f) - 11*t(f). Is j(6) a multiple of 20?
True
Let p(t) be the second derivative of t**5/20 - 2*t**4/3 - 4*t**3/3 - 6*t**2 - 12*t. Let i be p(9). Does 13 divide 47 - ((-6)/i - 1)?
False
Suppose 0 = -6*d + 2400 + 2868. Is 21 a factor of d?
False
Suppose 0 = -i - 8*i + 1296. Does 6 divide i?
True
Let j(f) = -f**3 - 8*f**2 - 8*f - 2. Let m be j(-7). Let z be 29/6 - 5/(-30). Suppose 3*w - 117 = k + 4*k, m*k = z*w - 205. Does 11 divide w?
True
Let v = 6 + -2. Suppose -v*i + 179 = -5*u, -3*i - 3*u = i - 187. Does 23 divide i?
True
Let y(c) = -1827*c - 237. Is 57 a factor of y(-3)?
True
Let n(o) = o**3 - 7*o**2 - 2*o. Let u be n(4). Let p = -32 - u. Suppose 5*h = 4*y + 44, -p = -h - 2*y - y. Is 4 a factor of h?
True
Suppose -23*t + 1014 = -10*t. Is 26 a factor of t?
True
Let n be (-164)/3*(-3)/2. Let f = 20 + n. Is f a multiple of 11?
False
Suppose 847*i + 34 = 848*i. Is 34 a factor of i?
True
Suppose 4*m = -k - 0*k - 12, 5*m + 15 = 4*k. Is -270*m/15*2 a multiple of 18?
True
Let r = 26 - 30. Is 62 + 1*(r + 1) a multiple of 8?
False
Let r(l) = l**3 + 12*l**2 + 4. Let g(i) = -4*i**2 - i + 2. Let k be g(-2). Let n be r(k). Is 3 a factor of (16/20)/(n/50)?
False
Let u(k) = 1 - 2 + 4*k - 17*k - 4. Let p be u(-3). Suppose 2*g - p = 62. Does 12 divide g?
True
Suppose 3*g - r = 2112, -3*r - 2205 = -5*g + 1311. Does 15 divide g?
True
Let d(i) = -i - 3. Let n be d(-5). Let z(j) = 3 - 5*j**n + 6*j**2 + 1. Is z(4) a multiple of 9?
False
Let s = -108 + 116. Is 4 a factor of s?
True
Let f(o) = 2*o**3 - 3*o**2 + o. Let p be f(2). Is 10 a factor of (1*-10)/(2*p/(-48))?
True
Let a be ((-56)/(-21)*6)/((-7)/(-63)). Let t(s) = s**3 - s**2 - 5*s + 2. Let w be t(3). Suppose -w*r + r = -a. Does 6 divide r?
True
Let n = 44 - 22. Suppose -2*l + n = -0. Suppose -u + 3 = -l. Is u a multiple of 3?
False
Let u(o) = 9*o**2 + 3*o + 3. Let i(v) = -37*v**2 - 13*v - 11. Let s(l) = 4*i(l) + 18*u(l). Let f be s(-4). Suppose 6*r - f + 46 = 0. Is r a multiple of 10?
True
Let v be 8*(-7 - 15/12 - -1). Let n = -23 + 13. Let z = n - v. Does 12 divide z?
True
Let w(f) = f**2 - 14*f + 6. Let b be w(-10). Suppose i - b = -i. Is 26 a factor of i?
False
Let k = -300 + 442. Suppose 5*j + 711 = 3*f, 3*f + f - 5*j - 948 = 0. Let a = f - k. Is 27 a factor of a?
False
Let b be ((-6)/10)/((-1)/(-5)) + 73. Suppose -35 = -u + b. Is 5 a factor of u?
True
Let a = 385 + -118. Is 43 a factor of a?
False
Let k(s) = -2*s - 19. Let a(u) = -u - 19. Let n be (-1)/3 - 32/(-6). Let d(x) = n*a(x) - 4*k(x). Is d(19) a multiple of 7?
False
Does 38 divide (-8)/3*15/10 - -267?
False
Does 15 divide (4 - 2) + (-5 - 6*-13)?
True
Let l(o) = -o**3 + 17*o**2 + 2*o - 31. Let q be l(17). Is (11/3 + q)*(31 - -2) a multiple of 14?
False
Does 12 divide (-123 + -1)/((-68)/170)?
False
Suppose 2*o - 53 = 3*s, 2*o = -2*s + 107 - 39. Suppose 4*r - 417 = o. Does 26 divide r?
False
Let k(j) be the first derivative of -5*j**4/2 - j**3 - 3*j**2/2 - j + 2. Is 11 a factor of k(-2)?
False
Let w be 8 - 3 - 2 - 1. Suppose -w*j + 3 + 7 = 0, 1019 = 4*o + 3*j. Suppose -o + 1 = -5*s. Does 10 divide s?
True
Suppose 0 = -6*n + 4*n - y + 41, 5 = 5*y. Suppose 5*d + 7*i - 2*i = 100, d - 2*i = n. Is d a multiple of 20?
True
Let r = 54 + -50. Suppose z + 5*b + 1 = 0, -8*z + r*b = -3*z - 53. Is z a multiple of 3?
True
Let s(p) = -p + 17. Suppose i - 7 + 0 = 0. Does 5 divide s(i)?
True
Suppose 5*k - 4*k - 121 = -5*g, -2*g = 5*k - 674. Let f(r) = -2*r - 2. Let a be f(-3). Is 17 a factor of k*((-28)/8 + a)?
True
Suppose 0 = -5*q + 2*d + 2584, 0 = q + 9*d - 4*d - 506. Is q a multiple of 6?
True
Let l be (2 + (-3)/2)/(10/840). Is 327*(18/(-30) - l/(-45)) a multiple of 59?
False
Let f be 4/(-26) + 1738/143. Suppose -7*m = -5*m + f. Is m/18 + (-85)/(-3) a multiple of 14?
True
Suppose -3*a - 85 = -157. Does 2 divide a?
True
Let o(m) = 5*m + 46. Let c be o(-7). Is 5