3*n - 7 + 18 = 2*u, 0 = h*n + 2*u + 7. Does 17 divide f(n)?
True
Let c(n) = n**3 + 13*n**2 - 12*n - 31. Does 21 divide c(-9)?
False
Let r(v) = -41*v - 166. Does 5 divide r(-15)?
False
Suppose -r - b = 2, 10*r + 16 = 7*r - 5*b. Suppose -5*n + 4*n = f - 103, 0 = n + 2*f - 106. Suppose -r*w - n = -8*w. Is w a multiple of 5?
True
Suppose 0 = -3*g - 3*i + 7500, 9*g + 3*i = 4*g + 12502. Does 28 divide g?
False
Does 22 divide -4 + 8 + -10 + 248?
True
Suppose -4*q - 5*j + 8 = 0, 4*j + 8 = 4*q + j. Suppose 4*k - 2*m - m = 21, -k - 1 = -q*m. Is 3 a factor of k?
True
Suppose -z + 1653 = 4*z - 3*i, 3*z - 5*i - 995 = 0. Suppose 90*v = 87*v + z. Is v a multiple of 28?
False
Let w(o) = 2 - 43*o + 10 + 41*o. Is w(-7) a multiple of 6?
False
Let w(t) = 9 + 8 - 4 + 3 + 2*t**2. Is 6 a factor of w(-4)?
True
Is 5 a factor of 327 - (40/24)/((-10)/(-12))?
True
Let d(c) = c**2 - c - 12. Let w be d(3). Let v = 21 - w. Is 4 a factor of v?
False
Let s be 1 + 199 - (-10)/(-10). Let b = s - 115. Is 28 a factor of b?
True
Let b(w) = -w**3 + w + 375. Let r be b(0). Suppose r = 3*j + 24. Is j a multiple of 39?
True
Suppose -2*u + b - 7 = -4*b, -3*u - 3*b + 21 = 0. Suppose 0 = -4*w - 14 + 2, -3*i = u*w + 3. Is 20 a factor of 2639/63 - i/(-27)?
False
Let m be 8/(-14) + (8864/28)/1. Is 20 a factor of (-5)/(-10) - m/(-8)?
True
Let g be (4 + -6)*(2 + -4). Suppose g*m - 11 = -43. Let c(f) = f**3 + 10*f**2 + 12*f + 3. Is c(m) a multiple of 15?
False
Let h(p) = p + 1. Let c be h(-10). Let d be (-2)/(-8) + c/(-12). Let a(u) = 3*u + 1. Does 2 divide a(d)?
True
Let l = 20 - 14. Let v = 85 - l. Does 6 divide v?
False
Let r = -250 - -802. Does 24 divide r?
True
Let v be -276 - (-1 - 4/4). Let a be (v/(-5))/(8/20). Let h = a - 95. Does 14 divide h?
True
Suppose 0 = r - 272 + 28. Let y = r + -119. Does 25 divide y?
True
Suppose 0 = 5*r + d - 31, r + 6*d = 5*d + 7. Let p be (r/9)/((-4)/(-6)). Does 13 divide (11 - 6)/(p/3)?
False
Let j be 0/((10/(-5))/(2/(-2))). Suppose -2*n = -2, j*n - 2*n = -2*a + 328. Is 15 a factor of a?
True
Suppose 5*b = -4*i + 9, 2*b + b - 3 = 0. Let t(y) = 3*y**2 + 65*y**3 - 3*y**2 - y**2. Is 32 a factor of t(i)?
True
Suppose 4*z + 0*z = 0. Suppose 2*x = -x - 9, z = -3*o - x - 6. Is 18 a factor of 1 - (-33 + (-3 - o))?
True
Suppose 2*w = 35 - 29. Let a(t) = 2*t - 4. Let l be a(-3). Is (l/w)/(8/(-36)) a multiple of 15?
True
Suppose 987*w - 991*w = -3584. Is w a multiple of 112?
True
Let d = 25 + -55. Is 18 a factor of -54*(-5)/(d/(-4))?
True
Does 14 divide 28/(((-154)/2717)/(-7))?
True
Let h be -100*((-20)/(-15))/((-6)/9). Let u = h + -128. Does 18 divide u?
True
Suppose 2*y - 24 = -v, -2*v = -6*v + 2*y + 96. Is 3 a factor of v?
True
Let w(r) = -447*r + 81. Is 147 a factor of w(-11)?
True
Suppose 104*q = 114*q - 1610. Is 3 a factor of q?
False
Suppose 2 = -2*h + 8. Suppose h*y + 12 = 3*s, 4*s - y - 23 = -10. Suppose 0 = -5*v - d - 4*d + 95, 58 = s*v + 4*d. Is v a multiple of 6?
True
Suppose 0 = -2*p + 4 + 4. Suppose 3*c = 8 + p. Suppose y - 37 = 3*w + 25, 2*y = -c*w + 104. Is y a multiple of 14?
True
Let f(s) = s + 4. Let h be f(-14). Is 25 a factor of -10*5*h/4?
True
Let m = 21 - 13. Suppose 6*o - m*o = -90. Is 15 a factor of o?
True
Suppose n = 3*n - 102. Suppose -n = -o - z, -o - 23 + 84 = 3*z. Let u = o + 2. Does 12 divide u?
True
Suppose 7*z + 226 - 1108 = 0. Is 3 a factor of z?
True
Let x(g) be the first derivative of g**3 + 2*g**2 + 6*g - 2. Let s(h) = -h**2 - 2*h - 3. Let c be s(-3). Is 29 a factor of x(c)?
False
Is 326 - (35/(-7) - (1 - 2)) a multiple of 15?
True
Suppose 3*k - 2*w + 1 = -8, 0 = -4*k - 2*w + 2. Let d be (-7)/((-7)/165)*k. Let t = -55 - d. Is t a multiple of 30?
False
Let s = -189 - -234. Is 5 a factor of s?
True
Let s(z) = z**3 - 13*z**2 - 8*z**2 - 2 + 24*z - 13. Let w be s(20). Let r = 92 - w. Is 15 a factor of r?
False
Suppose 0 = -3*x - 15, 73*v = 74*v + 5*x - 1754. Does 25 divide v?
False
Let s(v) = -v**3 - 5*v**2 - v + 17. Let x be s(-4). Does 5 divide (6 - -2) + x + -1?
False
Let s be ((405/20)/9)/(3/(-24)). Let h(n) = -n**2 - 21*n + 6. Does 24 divide h(s)?
False
Let r = 83 - 20. Is 21 a factor of r?
True
Suppose 0 = 5*l - 52 - 203. Suppose l = -a + 4*a - 5*o, 2*o = 4*a - 54. Let r(p) = -p**2 + 14*p - 11. Is r(a) a multiple of 7?
False
Let o(s) = 2*s + 10. Let w be o(-10). Let x(p) = 4*p**3 + 2*p + 1. Let i be x(-1). Is (4/i)/(w/525) a multiple of 21?
True
Let g be 238/(-4) - (-1)/(-2). Let x(o) = o**3 + 9*o**2 - 9*o + 22. Let v be x(-9). Let d = v + g. Does 23 divide d?
False
Let y(a) = 21*a + 145. Is y(0) a multiple of 5?
True
Suppose 197*j + 11928 = 203*j. Is j a multiple of 48?
False
Let l(p) = 2*p**2 - 2*p + 5. Suppose -a - 16 = -3*a. Let b be l(a). Suppose -3*s = -k - 1 - b, -3*k - 88 = -2*s. Is s a multiple of 31?
False
Suppose 5*v + 3425 = 3*w + 2*w, 5*w - 4*v = 3422. Does 17 divide w?
False
Let l(d) = -53*d + 2. Let r be l(-1). Suppose -8*m + 3*m = r. Let o = m - -23. Is 12 a factor of o?
True
Suppose 0 = 301*p - 297*p - 1712. Is p a multiple of 8?
False
Let m = 14 - 16. Let a(o) = -17*o - 3. Does 31 divide a(m)?
True
Let u(y) = -y**3 + 7*y**2 - 5*y - 1. Let g be u(6). Suppose g*s - 230 = -70. Suppose 5*p = -5*i + 33 + s, -p + 21 = 5*i. Is 3 a factor of p?
False
Suppose 4*u + 7 = -3*s, -u = -s - 0*s + 7. Suppose 3*z + l = -s*l + 119, -3*z - l = -113. Does 8 divide z?
False
Let v(d) = d**2 + 7*d + 1. Let z(p) = -8*p**2 - 1. Let g be z(-1). Does 19 divide v(g)?
True
Let z = 114 + 93. Does 9 divide z?
True
Let d(j) = -j**3 - 5*j**2 - 3*j + 4. Let s(z) = 4*z + 4. Let m be s(-2). Let h be d(m). Suppose 5*l - g - 200 = h, g - 80 = -2*l - 4*g. Is l a multiple of 20?
True
Suppose 4*g - g + 5*w - 52 = 0, 5*w = 5*g - 20. Let x = 13 - g. Suppose -f + 5*d = -35, 5*f + 8*d - x*d = 233. Is f a multiple of 9?
True
Let r(b) = b**2 - b - 2. Suppose -s = 5*y - 2*s - 35, 0 = -3*s + 15. Is 24 a factor of r(y)?
False
Suppose 0 = s - 694 - 1742. Does 58 divide s?
True
Suppose -15 = -5*l, l + 13 = 4*s - 76. Let t = 26 - s. Suppose -144 = -3*k + x + 2*x, -t*k - 3*x + 138 = 0. Does 11 divide k?
False
Suppose -2*k - 830 = k + n, -5*n = 3*k + 826. Let d = k + 524. Does 13 divide d?
True
Let f(z) = z**3 - 6*z**2 - 8*z + 45. Is 12 a factor of f(9)?
True
Is -21*(110/(-14) + 1) a multiple of 8?
True
Let h = 12 - 135. Let c = -299 - -86. Let j = h - c. Is 17 a factor of j?
False
Suppose 8 = -w + 1. Let p(n) = -2*n**2 - 16*n + 3. Does 6 divide p(w)?
False
Let x(t) be the first derivative of -t**4/4 + 4*t**3/3 - 2*t + 4. Let v be x(-3). Suppose -14*m = -15*m + v. Is 21 a factor of m?
False
Let g be ((-9)/(-6))/((-12)/64*2). Is g/((-20)/(-15)) + 187 a multiple of 46?
True
Let c be 3/2 + (-51)/6. Is 8/(-28) + (-1808)/c a multiple of 23?
False
Let q be 26/(1 + 2 + -1). Suppose 4 = 3*a + q. Is (-12)/a - -1*28 a multiple of 16?
True
Let l = 24 - 16. Suppose 1596 = v - l*v. Does 38 divide 1/(-4 + (-914)/v)?
True
Suppose 2*j - 6*j + 184 = 0. Let z = j + -22. Is 4 a factor of z?
True
Let m(i) = i. Let b be m(2). Suppose 0 - 5 = -y, 0 = b*j + 3*y - 71. Is 4 a factor of j?
True
Suppose -1090 - 600 = -10*u. Is 11 a factor of u?
False
Is 52 a factor of 368/115*(-1885)/(-2)?
True
Let c(d) = -d + 5. Let i be c(-6). Suppose -13*j + 10*j + 120 = 0. Let z = j + i. Is z a multiple of 17?
True
Suppose 2*d + 2*c - 1077 = d, 1083 = d - c. Suppose -4*o - 421 = -d. Let z = o - 90. Does 13 divide z?
False
Let c(t) = 1 - 3*t**3 + 2*t - 2*t + 8*t**3 + t**2. Let y be c(-2). Let r = 41 + y. Is r a multiple of 5?
False
Suppose -3*t + 4*o + 4634 = 365, -t - 3*o + 1410 = 0. Does 18 divide t?
False
Let q = -8 - -12. Suppose 0 = -3*x - 3*d + 114 + 48, -5*d = q*x - 219. Is 13 a factor of x?
False
Let i(b) = 84*b**2 + 26*b - 58. Does 30 divide i(2)?
True
Let o be 3*(-29)/(-9)*3. Let t = 36 + o. Is 13 a factor of t?
True
Let y(r) = r**2 + r. Let v(k) = 3*k**2 - 12*k - 1 - k**2 - 6 - 2 - k**3. Let a(b) = -v(b) - 6*y(b). Is 19 a factor of a(8)?
True
Let y(u) = -u + 54. Let b be y(0). Suppose -3*d + 17 = 77. Let a = d + b. Is 13 a factor of a?
False
Let q be (-40)/(-6) + 6/(-9). Let a(s) = -s**3 + 6*s**2 + s + 2. Let b be a(q). Does 9 divide ((-4)/b)/(2/(-72))?
True
Let r = -1116 - -1806. Suppose 2*b = 5*d + 6*b - r, d - b = 138. Suppose m + m - d = 0. Does 23 divide m?
True
Let z = 16 + -26. Let