= -3*d + 1. Let n be w(-1). Is p(n) a multiple of 15?
True
Let d(z) = -z - 3. Let k be d(-5). Let c(t) = -10*t + t**2 + 5*t + k*t + 7*t + 1. Does 22 divide c(3)?
True
Let q be 0 - (6 + 0)/(-2). Is ((-3)/q + 4)/((-2)/(-40)) a multiple of 26?
False
Suppose -53*b + 56*b = -r + 512, 2*b - 334 = 3*r. Is 5 a factor of b?
True
Let t(b) = -19 - b**3 + 5*b + 10 - 5 - 8*b**2. Is 23 a factor of t(-10)?
False
Suppose -7*u - 49 = -8*u. Let p = -37 + u. Does 5 divide p?
False
Let d(y) = 1867*y**3 + 4*y**2 + 2*y - 6. Does 68 divide d(1)?
False
Suppose 2*z - 35 = n, 3*z - 53 = 2*n - n. Let o(i) = -i**2 + 29*i + 12. Does 15 divide o(z)?
True
Let c(j) = 59*j**2 - j + 27. Is 55 a factor of c(8)?
True
Let m be (-28)/16 - (-2)/(-8). Let i(h) = -5 - 1 + 2 - 2*h - 22*h. Is 19 a factor of i(m)?
False
Does 25 divide -6 - 1533/(-5) - 18/30?
True
Suppose 30*d - 7065 = -435. Is 13 a factor of d?
True
Let s be 11*3 + -1 - (-6)/6. Let p = 75 - s. Is 21 a factor of p?
True
Let u(x) = 54*x + 5. Let s be u(4). Let r(t) = -11*t - 23. Let f be r(12). Let k = f + s. Is 22 a factor of k?
True
Let m be (32/(-24))/(1/(-9)). Suppose 8 = -4*x, -2*b + 0*x = 5*x + m. Is (-3 - (-1)/b) + 79 a multiple of 15?
True
Let p(b) = -b. Let r be p(-5). Let g be (-3 + r)/(1/2). Suppose 4*x - 231 = -3*s - 11, -s = -g*x + 204. Does 26 divide x?
True
Let q(d) = 5 - 3*d + 0*d - 2. Let p be q(-3). Does 15 divide 8/p + 176/6?
True
Let n be 3/(-1) - -1 - -4. Suppose 0 = -2*h - n + 8. Is ((-18)/(-2))/(h/18) a multiple of 27?
True
Suppose 5*u - 2274 = -3*t, -t - 244 - 214 = -u. Is 38 a factor of u?
True
Let r(c) = 2*c**2 + 8*c + 39. Does 21 divide r(-6)?
True
Let n(b) = 3*b + 2. Let s be n(0). Does 19 divide (43 - s) + (6 - 6) + -3?
True
Is 2 + 15/((-75)/(-470)) a multiple of 24?
True
Suppose -l + 1023 = 3*k, 5*l - 10*l + k + 5163 = 0. Is 29 a factor of l?
False
Suppose 0 = -4*c + 7 + 5. Let h = 149 - 2. Is 17 a factor of (h/c - -3) + -1?
True
Let n(l) = -383*l**3 + 4*l + 5. Is n(-1) a multiple of 18?
False
Suppose 43*n - 15*n - 5040 = 0. Is 60 a factor of n?
True
Let s(o) = -o**2 - 23*o - 40. Let y be s(-13). Suppose a - 4*k + y = 3*a, -3*a + 5*k = -146. Is 14 a factor of a?
False
Suppose -3*r = 2*t + 14, -2*t + 1 = 4*r + 23. Let c(a) = a**3 + 9*a**2 - 2*a. Let j(p) = p**2. Let v(b) = c(b) - j(b). Does 11 divide v(r)?
False
Suppose m = -5*b + 59 + 42, 440 = 4*m + 2*b. Suppose 5*n - 14 = m. Does 5 divide n?
True
Let l(w) = -17*w - 17. Does 3 divide l(-13)?
True
Is 5 a factor of (-2772)/112*4/(-3)?
False
Suppose 2*n + 2988 = 8*n. Let v = -338 + n. Does 20 divide v?
True
Let z be 3/(-4) - 108/(-16). Suppose -5*r + 0*a + a + 7 = 0, -4*r + a = -z. Is 31 a factor of (r - 0)/(1/62)?
True
Let p(z) = 342*z**3 + z**2 - 2. Is 23 a factor of p(1)?
False
Let d(m) = -m**3 + 16*m**2 - 14*m - 17. Let t be d(15). Is 14 a factor of 9/(-6) + (-87)/t?
True
Suppose -n - 7*n - n = 0. Does 15 divide -18 + 15 + (108 - n)?
True
Suppose -14*v + 1915 = -101. Is v a multiple of 18?
True
Let c(b) = -b**3 + b + 9. Let j be c(0). Suppose 5*o + j + 16 = 0. Is 9/(2 - o/(-3)) a multiple of 9?
True
Is 18425/25 - (-1 + 0/(-2)) a multiple of 10?
False
Suppose 3*z - 5*k - 535 = 627, 2*z - 738 = -4*k. Is 12 a factor of z?
False
Suppose -4*p - 2 = -10. Let j be (p - -2)/4*5. Suppose -j*f + 28 = -152. Is 12 a factor of f?
True
Let r(w) be the third derivative of -w**5/60 - 19*w**4/24 + 11*w**3/3 - 12*w**2. Is 13 a factor of r(-13)?
False
Let f(j) = 5*j**2 - 9*j + 5. Let s be f(3). Let b(k) = k**3 - 23*k**2 + 2*k + 13. Does 8 divide b(s)?
False
Suppose 2*n + n = -l - 128, 16 = -n + 5*l. Let d = n - -96. Suppose 13*w - 8*w - d = 0. Does 11 divide w?
True
Suppose 10 + 0 = 5*c. Suppose 0*u + 56 = c*u. Is 5 a factor of u?
False
Let l = 20 + -18. Suppose 4*v + 642 = l*v. Is 11 a factor of 2/(-11) - v/11?
False
Suppose 3*k = -0*k + 402. Let r = k - 65. Is r a multiple of 23?
True
Let f(d) = -d + 4. Let y be f(-1). Suppose 5*u = -3*n + 229, y*u - 4*n = -2*n + 214. Is 26 a factor of u?
False
Suppose 4*t + 7 = 27. Suppose -15 = -3*r, 5*r - 77 = -t*s + 3*s. Does 14 divide s?
False
Suppose 2*q + 1720 = 4*n + 3*q, -2*n + 862 = q. Is n a multiple of 11?
True
Let p(s) = s + 2. Let x be p(3). Let u(d) = 10*d**2 + 2*d - 11. Let m(z) = -z**2 + 1. Let o(f) = x*m(f) + u(f). Is o(-4) a multiple of 22?
True
Suppose 3*l - 4*l + 2*i + 194 = 0, 2*i + 396 = 2*l. Is 3 a factor of l?
False
Suppose 5*x = 3*q - 2241, 37*q - 2962 = 33*q - 2*x. Does 44 divide q?
False
Let w(m) be the third derivative of 0*m + 2*m**2 + 2/3*m**3 + 1/60*m**5 + 0 - 1/6*m**4. Does 16 divide w(8)?
False
Let r = 662 - 460. Is r a multiple of 9?
False
Suppose -21*h + 16645 + 8219 = 0. Is h a multiple of 67?
False
Let r be -3 - (3 + (-3 - 0)). Let t be 2 + (r - -1 - -5). Suppose 4*f = 4*z - 76, -t*z - f + 25 = -40. Is z a multiple of 7?
True
Suppose -5*r - 5*s + 1112 + 93 = 0, 0 = r + 5*s - 245. Does 20 divide r?
True
Let y = 3 + 13. Let q = -2 - y. Let a(z) = -z**2 - 22*z - 9. Is a(q) a multiple of 16?
False
Let b = 159 + -108. Is b even?
False
Let g(n) = -7*n**3 - 11*n**2 + n + 10. Let t(s) = 6*s**3 + 10*s**2 - 10. Let v(p) = -5*g(p) - 6*t(p). Let c be v(5). Let f = c + 405. Is 35 a factor of f?
True
Does 6 divide 448 + (12 - 19 - -15)?
True
Let h(a) = 44*a - 20. Is 28 a factor of h(10)?
True
Is (6 + (-44)/12)*(0 + 33) even?
False
Let f = -9 - -12. Suppose -73 = -3*w - f*x - 25, -2*x = -5*w + 94. Is w a multiple of 6?
True
Suppose -65 = 5*v - 15. Is 4 a factor of (-44)/v + (-20)/50?
True
Let j(h) = -9*h**2 + 9*h - 11. Let s(y) = 4*y**2 - 4*y + 5. Let q(v) = 2*j(v) + 5*s(v). Let w be q(2). Suppose -w*l + 135 = -2*l. Is 9 a factor of l?
True
Let o(j) = 5*j**2 + 2*j - 8. Let k(f) = -11*f**2 - 4*f + 17. Let v(z) = 4*k(z) + 9*o(z). Does 4 divide v(4)?
True
Suppose 16 = 3*m - 4*g, 8 = 3*m + 2*g - 2. Suppose 5*a - m = 4*c, 3*c + 4 = -c. Suppose -34 = -a*x - 2*x. Does 10 divide x?
False
Let v(l) = 2*l**2 + 34*l - 3. Let x be v(-14). Let o = x - -191. Does 13 divide o?
True
Let u(h) be the first derivative of -h**5/60 - 13*h**4/24 - 5*h**3/3 + 2*h**2 + 6. Let l(x) be the second derivative of u(x). Does 15 divide l(-8)?
True
Suppose 2*o - 16 = -2*o. Let j be (o - 5)*1*-3. Suppose -3*r = -5*x + 309, -5*x + j*r = 4*r - 297. Does 20 divide x?
True
Let a(r) = -r + 1. Let c(l) = -16*l + 5. Let h(j) = -14*a(j) + 2*c(j). Is 3 a factor of h(-1)?
False
Is 412720/504 - 2/(-18) a multiple of 29?
False
Is 4 a factor of 278/4*(15/5 + -1)?
False
Let y = 821 - -102. Does 9 divide y?
False
Let h(g) = -1. Let s(w) = -w**3 - 4*w**2 + 6. Let j(d) = -4*h(d) - s(d). Let r be j(-5). Let v = 50 + r. Does 5 divide v?
False
Suppose 18*l = 16*l + 16. Does 8 divide l?
True
Let c(a) = -a**3 + 13*a**2 - 11*a + 6. Let w be c(12). Suppose -3*k + 51 + w = 0. Is 9 a factor of k?
False
Let g(u) = u**3 - 13*u**2 - 4*u + 7. Is g(14) a multiple of 19?
False
Suppose -a + 2 = -3*a. Let z(k) = 43*k**2 - 3*k - 2. Does 5 divide z(a)?
False
Suppose -31*l + 78 = -29*l. Is 6 a factor of l?
False
Suppose -j = 5*g + 6, 2*j + 2*j + 1 = 3*g. Let p(o) = -66*o. Does 16 divide p(g)?
False
Let w = -1542 - -1591. Is w a multiple of 7?
True
Let y(k) = -167*k + 21. Is 7 a factor of y(-2)?
False
Let h(y) = y**2 + 11*y - 38. Let j(m) = 8*m + 8. Let f be j(-3). Is h(f) a multiple of 17?
False
Suppose -o + 11*o - 880 = 0. Does 4 divide o?
True
Let l(h) be the first derivative of -15*h**2/2 - 3. Does 16 divide l(-4)?
False
Suppose 2*l + 3*q - 41 = 0, 2*q - 38 = 3*l - 5*l. Suppose -l - 86 = -3*o. Is o a multiple of 3?
False
Let g(i) = 22*i - 21. Let m be g(6). Suppose -4*u + 1139 - m = 0. Does 41 divide u?
False
Suppose 2*k = 5*h + 3920, -29*k = -24*k - 3*h - 9800. Is k a multiple of 8?
True
Let w(p) = -2*p + 9. Let b be w(3). Suppose 3*z - 109 = -q, 2*z - b*z = 5*q - 559. Is q a multiple of 16?
True
Suppose 4*t - t = 936. Does 13 divide t?
True
Suppose -x = -2, w - 2*w - 3*x = -67. Is w a multiple of 47?
False
Let y(c) = -c**2 - 6*c + 8. Let h be y(-7). Let g be ((-1 - h) + 5)/1. Suppose 2*k = g*k - 17. Is 17 a factor of k?
True
Let i be (4/6)/((-3)/(108/(-8))). Let p(s) = 14*s**2 - 4*s + 12. Is 15 a factor of p(i)?
False
Let a(s) = s**3 - 7*s**2 - 6*s + 77. Does 25 divide a(12)?
True
Suppose -169 = 3*v + 2*f + 116, 0 = 4*v - 5*f + 403. Let t = v + 141. Does 13 div