3*n**2 + 22*n. Is 7 a factor of r(p)?
True
Let y(q) = -26*q**2 + 46*q**2 - q**3 - q - 5 - 28*q**2. Let s be y(-8). Suppose 0 = -f + 5*n + 205, 0 = -4*f - n - s*n + 700. Is 15 a factor of f?
True
Let j(c) = 13*c**3 - 58*c**2 + 36*c - 53. Does 32 divide j(11)?
False
Let m(r) be the first derivative of -61*r**2/2 - 6*r - 62. Is 35 a factor of m(-5)?
False
Suppose 0 = 14*r - 590 - 880. Suppose -5*b - 35 - r = -5*f, -3*b + 84 = 3*f. Does 2 divide f?
True
Suppose 3*v - 8*j + 3*j = -4510, -5*j = 20. Suppose 0 = 91*s + 120 + 608. Does 18 divide v/s + (-1)/(-4)?
False
Suppose -3*v = -3*q - 55086, -2*v - 4*q = v - 55072. Is 180 a factor of v?
True
Let x = -98 + 108. Let i(q) = -14*q + 21 + 20 - x. Is 21 a factor of i(-6)?
False
Let z(v) = -3*v + 14. Let o be z(4). Does 15 divide o/(0 + 2)*(9 - -231)?
True
Let w(f) = -26*f**3 + 13*f**2 + 54*f + 54. Is w(-4) even?
True
Let c be 4*15/10*2/4. Suppose -1112 = -c*x - 500. Is 3 a factor of x?
True
Let o = -38 + 83. Suppose 5*u + o = 60. Let x(p) = 4*p + 8. Does 2 divide x(u)?
True
Suppose 2*p = -13*p + 75. Suppose -3*o - b = -4*b - 549, 3*b + 913 = p*o. Does 14 divide o?
True
Let o be (-420)/(-98) + 2/(-7). Suppose 0 = 4*f - 3*z - 1152, o*f - 7*z = -6*z + 1144. Does 15 divide f?
True
Suppose -8*m + 7256 = 7240. Let p(q) = -q**3 + 6*q**2 + 7*q + 3. Let w be p(7). Suppose w*j = 4*v - 222, 7*j = m*j - 10. Is v a multiple of 18?
True
Suppose 5*h - 3*g - 111443 = 0, -28*h + 89149 = -24*h + 3*g. Does 69 divide h?
False
Let n(i) = 29*i**3 - 2*i**2 - 2*i - 1. Let g be n(-1). Let q = -39 - g. Let j = 17 + q. Does 2 divide j?
True
Let a(u) = 576*u - 2844. Is 108 a factor of a(10)?
True
Let t = -2047 - -2918. Suppose -m = 4*h - 1757, -2*h = 2*m + m - t. Is h a multiple of 10?
True
Suppose -39*z = -127682 - 188998. Is z a multiple of 21?
False
Suppose -7*i - 81914 = -5*b, 0 = -4*b + 39*i - 44*i + 65563. Is b a multiple of 46?
False
Suppose 15*o - 4350 - 10215 = 0. Suppose 7*c = c + 30. Suppose t - 199 = -n - 0*n, -c*n + t + o = 0. Is 39 a factor of n?
True
Let o(s) = 37*s - 61. Let y be (26/9)/((-108)/(-486)). Is 12 a factor of o(y)?
True
Let n be (65/(-20) + 3)*-8. Suppose n*o + 1375 = 7*o. Is o a multiple of 26?
False
Let t = 4 - 105. Suppose 3*c = -4*c - 371. Let i = c - t. Is i a multiple of 16?
True
Suppose 2*p = -36 + 28, k - 5*p = 29. Suppose k*j - 45 - 297 = 0. Does 19 divide j?
True
Does 15 divide 18338 + 16 + (11 - 11)?
False
Let o(x) = -2*x**3 + 15*x**2 - 14*x + 47. Let a(s) = -3*s**3 + 30*s**2 - 28*s + 95. Let u(n) = 3*a(n) - 5*o(n). Does 52 divide u(-15)?
True
Suppose -1196*d - 72140 = -1201*d. Is d a multiple of 18?
False
Let l(m) = -5*m**3 + 31*m**2 - 9*m + 8. Let z(c) = 8*c**3 - 51*c**2 + 15*c - 14. Let n(i) = -13*l(i) - 8*z(i). Let a = 1 + -5. Is 6 a factor of n(a)?
True
Suppose -b - 129 - 10 = -4*n, -4*b + 4 = 0. Does 26 divide 7645/n - 18/42?
False
Let n(w) = 52*w**2 + 12*w + 69. Let r be n(-5). Suppose r = 10*s - 2131. Is 50 a factor of s?
False
Let g(c) = 4*c - 10. Let y be g(4). Suppose 3*q + 441 = r, q + y = 4*q. Is r a multiple of 9?
False
Let l(b) = b**3 - 21*b**2 - 2*b + 38. Let i be l(22). Let h = -170 + i. Suppose -3*k = 0, -s + h = s - k. Is 14 a factor of s?
True
Suppose -19*x - 1764 = -13*x. Let p = 728 + x. Does 31 divide p?
True
Is (-86200)/(104/(-26)) + -25 a multiple of 35?
True
Let a(g) = -13*g**3 + 10*g**2 + 60*g - 24. Is a(-6) a multiple of 26?
False
Suppose 4*v + 2*u = 16611 + 8277, 31110 = 5*v + u. Is 173 a factor of v?
False
Let x(s) be the third derivative of s**5/60 + s**4/24 + 27*s**3/2 - 10*s**2. Let m be x(0). Let r = m + -61. Is r a multiple of 10?
True
Suppose -5*z - 190 - 215 = 0. Let w = z + -7. Let g = w - -151. Does 22 divide g?
False
Let n(a) = -a**3 - 6*a**2 + 6*a + 54. Let x be n(-5). Let y(s) = 311*s**2 - 10*s - 8. Does 24 divide y(x)?
False
Let s(f) = f + 11. Let h be s(-11). Suppose h = 3*l - 44 + 50. Does 6 divide ((-13)/2 - -6)/(l/44)?
False
Suppose 5*k + 11*s - 23296 = 42442, 13156 = k - 2*s. Is 96 a factor of k?
True
Suppose 5*x - 4*x = 2, 0 = -5*t + 3*x - 26. Is 14 a factor of ((-115 - t) + -1)*-3?
True
Suppose -37*q + 97853 = -172099. Does 61 divide q?
False
Let n be (-2)/(-4) + 9/2. Let k(f) = -44*f + 2 + 4*f**2 + 26*f - f**3 + 25*f. Is 12 a factor of k(n)?
True
Let n(u) = 41*u + 9. Let p be n(-1). Is 43 a factor of 2/3*(-35088)/p?
True
Suppose 2*b + 202 = 1810. Suppose 3*w = -w - b. Let r = w - -289. Is 9 a factor of r?
False
Let y(f) = -8*f - 144*f - 66 + 43. Is 39 a factor of y(-4)?
True
Suppose 4*g - 16 + 12 = 0. Let k be (-3 + g)/(((-9)/6)/3). Suppose 0 = k*z + 34 - 146. Is z a multiple of 8?
False
Let j(g) = -5*g - 177. Let y be j(-28). Let z = y - -507. Is 19 a factor of z?
False
Let w = 21131 - 14225. Is w a multiple of 26?
False
Suppose 47150 = 2*x - 6*u + 7*u, -2*x + 47138 = -2*u. Is 19 a factor of x?
False
Let f = -2 - -32. Does 2 divide (24/f)/((-10)/(-225))?
True
Suppose y + 379*h - 4770 = 382*h, 0 = -5*y - 4*h + 23964. Is 18 a factor of y?
True
Let q(t) be the first derivative of -t**4/4 - 20*t**3/3 + 21*t**2 - 8*t + 3. Let p be q(-22). Let s = -13 + p. Is 3 a factor of s?
False
Suppose 0 = 38*o - 33*o - i - 109795, 2*i = -4*o + 87850. Is o a multiple of 20?
True
Suppose -5*w - 21128 + 73248 = 0. Is 20 a factor of w?
False
Suppose -c = -15 + 16, -c - 820 = -3*j. Is j a multiple of 21?
True
Let d(o) = -25*o**3 - 2*o**2 + 19*o + 30. Is d(-9) a multiple of 58?
True
Let m = 24573 + -7311. Is m a multiple of 21?
True
Let q = -3150 + 6620. Does 9 divide q?
False
Suppose 18 = 19*y - 217 + 64. Suppose 2*i = 4*i + 80. Let v = y - i. Is v a multiple of 11?
False
Suppose 0 = q - 4, 17*v - 5*q + 42 = 18*v. Suppose 0 = -i + 398 + v. Is 7 a factor of i?
True
Suppose -y + 3105 = l, 3*l - 1805 = -2*y + 7508. Does 107 divide l?
True
Let c(k) = k**3 - 8*k**2 + 8*k - 4. Let x be c(7). Suppose 0 = -2*o + x*o - 4. Suppose 5*l - o*l = 117. Is 39 a factor of l?
True
Suppose 2*h + 3*h + d = 36, -2*h = -5*d - 36. Let a be (h/5)/(22/55). Suppose a*r - 217 = 103. Is r a multiple of 26?
False
Let g(z) = z**3 - 66*z**2 + 259*z + 69. Does 23 divide g(76)?
False
Let s be (-8)/6*(1 + 30/(-12)). Suppose -95 = 5*r - 5*c, 0*r = s*r + 3*c + 23. Let m = 50 + r. Does 5 divide m?
False
Let x = 20306 + -13406. Is 60 a factor of x?
True
Let x(n) = 14*n + 19. Let u(j) = -2*j**2 - 18*j - 19. Let m be u(-7). Let c be x(m). Let g = c - -95. Does 15 divide g?
True
Suppose 2*t - 2*p - 63022 = 0, t - 8*p - 31531 = -12*p. Is t a multiple of 22?
False
Let t(i) = i**2 - 2*i - 9. Let v be t(5). Let k be 6 + v*((-2)/1)/4. Suppose -k*q = -4*q + 82. Is q a multiple of 17?
False
Suppose u = -2*a + 66, 4*u - 270 = -u + 2*a. Suppose 31 + 15 = -3*x - 2*s, 4*x = -4*s - u. Is (-6)/x - (-314)/3 a multiple of 35?
True
Let o = -56 - -55. Let z = 30 - 12. Does 15 divide z + -3 + (-3)/o?
False
Suppose 2*r - t - 16000 = 0, 20*t - 23961 = -3*r + 15*t. Is 128 a factor of r?
False
Is 74 a factor of 1830/9*(-4329)/(-195)?
True
Suppose 5*o + 126*x = 129*x + 11151, -4*o = -4*x - 8916. Does 8 divide o?
True
Suppose -1181*s + 1166*s + 187455 = 0. Is 5 a factor of s?
False
Let x be (-4)/1*(3/1)/(-3). Let o be ((-225)/12)/((-1)/x - 0). Suppose -131 = -2*n + 4*q + o, -3*n - 2*q = -293. Does 15 divide n?
False
Suppose 171 = 3*d - 76*m + 72*m, 238 = 4*d - 2*m. Does 61 divide d?
True
Suppose 0 = 14*y - 15*y + 14. Suppose -y = -2*w - 10. Suppose 0 = -2*h, -v - 3*h = w*v - 267. Is 35 a factor of v?
False
Suppose 34847 = 3*n - 88165. Is 51 a factor of n?
True
Suppose -4678 = 23*q + 2958. Let r = q - -892. Is r a multiple of 16?
True
Let o = 149 - 105. Let l = 73 + o. Is l a multiple of 59?
False
Let p(a) = -a**2 - 19*a - 76. Let q be p(-7). Suppose q*w - 504 = 200. Does 11 divide w?
True
Suppose -13 = 11*v + 31. Let j(q) be the second derivative of -q**5/20 + 5*q**4/12 - q**3/3 + 2*q**2 + q. Is j(v) a multiple of 39?
True
Let x = 937 + -574. Suppose 8*t - 2475 = -x. Does 33 divide t?
True
Let f = -3725 - -9503. Is 13 a factor of f?
False
Suppose 0 = -74*i + 54490 + 117190. Is i a multiple of 16?
True
Let b = 506 - 434. Let x = b + 153. Is x a multiple of 15?
True
Let d be -14 + 725 - 2/(4/(-6)). Let h = d + -573. Is h a multiple of 16?
False
Let d = 11931 - 2859. Suppose 18*s = 6*s + d. Does 28 divide s?
True
Is 54 a fact