 11*c - 23*c**2 - c**3. Is l(6) a multiple of 11?
False
Suppose 0*y + 35 = 7*y. Suppose 4*i + 280 = y*l - 224, 0 = l - 2*i - 102. Is l a multiple of 15?
False
Let p = -319 - -690. Is 18 a factor of p?
False
Let w(s) = -38*s - 2. Let m be w(-2). Suppose 5*l = 66 + m. Does 14 divide l?
True
Let u = -794 + 896. Is 6 a factor of u?
True
Suppose 10*v - 1698 = 1362. Is 6 a factor of v?
True
Suppose -598*o = -4*p - 597*o + 13907, -3*p + 10443 = -5*o. Does 44 divide p?
True
Suppose 2*b - 30 = -26, -352 = -f - 2*b. Is f a multiple of 9?
False
Suppose 2*c = -2*f - 3*f - 203, 4*f + 94 = -c. Let g = -36 - c. Does 13 divide g?
True
Let y(z) = 26*z**2 - 11*z**2 + 3 + 29*z**2 + 11*z**2 + 5*z. Let d be y(-2). Suppose -5*x + 207 + d = 0. Is 33 a factor of x?
False
Suppose -3*b + 2*b + 163 = 0. Let j = -47 + b. Does 29 divide j?
True
Let m(f) = 6*f**2 - 51*f - 175. Is 40 a factor of m(21)?
True
Suppose 4*y + 19 = -5*z, -y - 21 = 2*y - 3*z. Is (y/(-4))/((-28)/(-1792)) a multiple of 16?
True
Let m(p) = -p**2 - 11*p - 6. Suppose 6*o - 7*o + 1 = 0. Let h = -8 + o. Is m(h) a multiple of 12?
False
Let m(f) = -212*f - 2. Let i be m(-1). Let u = 164 + i. Is u a multiple of 17?
True
Let l = -9 - -9. Suppose l = -u + 5*u - 4. Is u*(-1 - 1) + 40 a multiple of 17?
False
Let b be (-164)/7 + 8 - 3/(-7). Does 27 divide (-30992)/(-240) - (-2)/b?
False
Suppose 5*x + r - 6 = 16, -4*r = 5*x - 13. Let p(c) = 4 - x*c**2 - c**3 + 2 + 0*c**2 - 1 + 7*c. Is 22 a factor of p(-7)?
False
Suppose -12 + 27 = 5*n. Suppose 15 + 117 = n*g. Let p = 33 + g. Is p a multiple of 10?
False
Is 12 a factor of (-48)/(54/9)*259/(-4)?
False
Suppose -19 = 5*n + 6. Let r(t) = -18*t - 10. Let q be r(n). Suppose -4*l + q = l. Does 8 divide l?
True
Let y(s) = s - 10. Let g = 17 + -8. Let h be y(g). Is (2 + h - -2)*11 a multiple of 14?
False
Let x(i) = i**2 - i + 7. Let y(z) = -3*z**2 + 4*z - 22. Let a(o) = -14*x(o) - 4*y(o). Let v be a(9). Is 6/24 - v/8 a multiple of 9?
False
Let q(x) = 2*x**3 + 32*x**2 - 8*x + 43. Is q(-13) a multiple of 43?
True
Suppose 5*a + 16 = a. Is 2 a factor of 4 + -2 + a + 4?
True
Let y = 0 + -23. Let q = -21 - y. Suppose q*b - 65 + 1 = 0. Is b a multiple of 8?
True
Let p be ((-9)/12)/(1/(-20)). Let r be (76/3)/((-5)/p). Let y = 130 + r. Does 20 divide y?
False
Let q(a) = -8*a**3 - 7*a**2 + a + 6. Let v(g) = 17*g**3 + 14*g**2 - 2*g - 13. Let c(f) = 7*q(f) + 3*v(f). Is 27 a factor of c(-3)?
False
Suppose 5*i - 9095 = 6*z - 9*z, 3*i + 2*z = 5457. Is i a multiple of 8?
False
Does 2 divide (-862)/(-18) + (-1)/(-9)?
True
Suppose 4*n - 3*n = 4. Let g be (-1)/4 - 18/(-8). Suppose -n*w = g*k - w - 69, -3*w = -15. Is k a multiple of 9?
True
Let t = 5141 + -2634. Is t a multiple of 14?
False
Is 42 a factor of (373/(-5) - 1)*(-240)/36?
True
Let j = -7 + 3. Let o be 3*j/(-12) + 45. Does 21 divide (-2 + o - 2) + -2?
False
Let l = 50 - 46. Suppose l*b - 270 = -b. Is 27 a factor of b?
True
Let m(d) = d - d**2 - 12 - 3*d + 3*d**2. Let f be m(-12). Suppose 104 - f = -5*v + 2*c, -105 = -3*v - 3*c. Is v a multiple of 10?
False
Suppose 16*c = 17*c - 48. Let t = c + 6. Is 27 a factor of t?
True
Suppose -2*h = 5*s + 33, h + 5 = -s - h. Does 4 divide (-594)/(-77) - 2/s?
True
Let n(t) = -2 + 1 + 2*t**2 - 7 + 6 + 6*t. Is n(-5) a multiple of 6?
True
Let u = 650 + -293. Is 47 a factor of u?
False
Suppose 3*f + 2*n = -2*n + 7854, 2*f + 3*n = 5236. Is 77 a factor of f?
True
Is 14 a factor of 2/(-3) - (-25728)/36?
True
Suppose 24*v + 403 = 5011. Does 12 divide v?
True
Suppose -3*d + 23 = 5*b, 4*b - 5*d - 7 = b. Let g be 5/(4/b + 0). Suppose 5*n - 20 = 0, -2*h - 4*n = -g*n - 98. Is 17 a factor of h?
True
Let z be ((-15)/(-6))/((-2)/(-4)). Suppose 5*f = -z*d + 280, f - 7 = -5*d + 45. Does 19 divide f?
True
Let t(j) = -2*j**3 + 52*j**2 + 6*j - 14. Does 71 divide t(26)?
True
Suppose -5*a - 3*z = 2*z - 20, 5*a - 3*z = 28. Suppose -105 = -o + 5*h, -a*o + 5*h = -76 - 469. Is 11 a factor of o?
True
Let w be -1 + 0 + 2*3. Suppose w*x - 3*p - 49 = 182, -4*x + 186 = -2*p. Does 12 divide x?
True
Let u be 2 - (-23 - 9/3). Let n be (u/8)/(2/52). Suppose -50 = -3*s + n. Does 9 divide s?
False
Suppose 4*k - 22 = 5*q - 3*q, 5*q + 35 = 5*k. Suppose -k*n = -2*n - 6. Suppose -137 - 67 = -n*m. Is 17 a factor of m?
True
Let v(t) be the third derivative of -3*t**5/40 - 3*t**4/8 - t**3 + 7*t**2. Let s(p) be the first derivative of v(p). Is s(-4) a multiple of 9?
True
Suppose 402 = -9*m + 11*m. Does 13 divide m?
False
Let l(h) be the first derivative of -1/4*h**4 - 9 - 12*h - 3*h**2 - 2*h**3. Is 6 a factor of l(-6)?
True
Suppose 0 = 3*t - 6*t + 123. Let o = 0 + 2. Suppose -o*c + f = c - t, -50 = -4*c - f. Is c a multiple of 13?
True
Let c = 90 - 86. Suppose -x + 3*t + 52 = 8*t, c*t + 213 = 3*x. Is x a multiple of 15?
False
Suppose -5*c + 3*v + 5343 = 0, -3*v = -c + 239 + 820. Does 63 divide c?
True
Let q = 2455 - 2081. Does 3 divide q?
False
Let i(l) = l**2 + 6*l. Let m be i(-6). Suppose 4*q = 3*r - m*q + 7, 5*r - 3*q + 8 = 0. Does 17 divide -3 - (r + -60 - -3)?
False
Let m = -1010 - -1736. Is m a multiple of 27?
False
Let f be (-900)/(-270)*(-2)/(4/(-33)). Suppose 33 = 2*d - 1. Suppose 0 = -3*p + f + d. Is p a multiple of 8?
True
Let x(b) = b**2 + 5*b + 3. Let p be x(-5). Let f be p/(6/(-10))*-1. Suppose 5*c + f = 25. Does 4 divide c?
True
Suppose -s + 6 = 1. Suppose -4*q + s*v + 0 = -146, -4*v = -2*q + 70. Let b = q - 21. Is 9 a factor of b?
True
Let i = -18 - -16. Let x = i + -21. Let m = x - -27. Is m a multiple of 2?
True
Let m(s) be the third derivative of -s**5/60 + 7*s**4/24 - 2*s**3/3 + s**2. Let b be m(6). Suppose -2*l = b*l - 64. Does 6 divide l?
False
Suppose 272*z - 265*z - 13622 = 0. Is 31 a factor of z?
False
Let f(p) = 19*p**2 + 11*p - 40. Does 17 divide f(-8)?
True
Let d be 140/(-3) - 10/(-15). Is 23 a factor of d/(4*(-3)/18)?
True
Suppose 5*w = -h + 1574 - 432, 0 = 5*w - h - 1138. Is w a multiple of 57?
True
Let j = 2212 - 282. Does 13 divide j?
False
Let q be (-14 - -9) + (-2)/(-2). Is (6/q)/((-3)/44) a multiple of 22?
True
Does 21 divide 4/(-6) + (-407)/(-3)?
False
Let r be 44 + 5 + -3 - -1. Suppose 0 = -2*t - 18 - 18. Let o = t + r. Is o a multiple of 6?
False
Suppose -2826*g = -2834*g + 3904. Does 5 divide g?
False
Suppose 0 = -5*i + 53 + 27. Suppose -w = w + i. Does 5 divide (2 + w - -2)*-5?
True
Suppose 2*i = 5*i - 15. Let c be (-2)/i - 27/45. Is 7 a factor of (-26)/(-2) + (2 - c)?
False
Suppose -2248 = -8*c + 3576. Does 56 divide c?
True
Let g(s) = 10*s**3 - 11*s**2 + 18*s + 5. Let m(q) = 3*q**3 - 4*q**2 + 6*q + 2. Let p(i) = 2*g(i) - 7*m(i). Let k be p(5). Let b = k + 14. Is b a multiple of 3?
False
Suppose 4*q + 4*x = -8, 0 = -q - 0*q + x + 6. Suppose 4*r - 6 = -q. Does 20 divide ((-3)/r)/(6/(-80))?
True
Suppose -2*k - 4 - 4 = 0. Let r be k/(3*2/(-3)). Suppose 9 + r = c. Does 4 divide c?
False
Let t(a) = 51*a - 149. Does 16 divide t(5)?
False
Let u(q) = 2*q**2 - 18*q + 16. Let b be u(8). Is 27 a factor of (b/4 - 2) + 56?
True
Let g be 3*(3 - (-40)/(-12)). Let f be ((-2)/g)/(2/(-5)). Let o = 19 + f. Does 8 divide o?
False
Let f be (-19)/1*(1 + 0). Let q = 34 + f. Does 5 divide q?
True
Does 7 divide (-47784)/(-84) + 24/(-28)?
False
Is 44 a factor of (-6)/((-5072)/22176 - 2/(-9))?
True
Suppose 157 + 386 = 3*n. Suppose -j - 2*j = -4*h - n, -j = 3*h - 43. Is 11 a factor of j?
True
Suppose 2*s - 25 = -3*s. Suppose s*b = 5*m + 115, 3*b + 0*m - m = 61. Suppose -b = -j - 0. Does 10 divide j?
False
Suppose -18 = -k - 56. Is 15 a factor of 274/18 + k/9 + 4?
True
Let g = 6 + -4. Let z(u) be the third derivative of u**4/8 - 6*u**2. Does 3 divide z(g)?
True
Suppose 0 = 2*h + 5*z + 35, 0 = -3*h + 3*z + z - 18. Is (-4)/h*(-13 + 33) a multiple of 3?
False
Let z(d) = d**2 - 3*d - 104. Does 52 divide z(16)?
True
Let v(a) = 4*a**3 - 12*a**2 - 17*a + 19. Is v(9) a multiple of 48?
False
Let n(d) = d**3 - 16*d**2 - 64*d + 4. Is n(20) a multiple of 36?
True
Let r(o) = -o**3 - o + 4. Let s be r(0). Suppose -5*g + s = -4*j, 4*g - 2 = -j + 18. Suppose -2*b - j*q - q + 44 = 0, 5*b + 3*q = 129. Is 7 a factor of b?
False
Suppose 22*m - 11*m - 37224 = 0. Is 12 a factor of m?
True
Let p(d) = d**3 + 32*d**2 - 120*d - 33. Does 14 divide p(-35)?
False
Let d(n) = -17*n + 414. Does 7 divide d(12)?
True
Let v(n) = -4*n + 1. Let w = -25 + 24. L