*f + 2*k = f - u. Is 3 a factor of f?
False
Suppose 0 = l - 6*l - 5. Let q = 3 + l. Suppose -3*n + 3*b = -9, n - 12 = -q*b - 0*b. Does 2 divide n?
True
Let k(i) be the second derivative of 51*i**4/4 + 2*i**3/3 + 5*i**2/2 + 2*i. Suppose -155*b - 3 = -152*b. Is 40 a factor of k(b)?
False
Let s(a) = 36*a**2 - 403*a - 10. Does 7 divide s(14)?
False
Suppose -15*o + 21*o = -3*o + 202995. Does 5 divide o?
True
Let c = -154 + 523. Is 2 a factor of c?
False
Let s(d) = -30*d**3 + d**2 - d - 4. Let v(p) = -p**3 + 10*p**2 + 9*p + 20. Let a be v(11). Is 22 a factor of s(a)?
True
Let s be 3 - 475/(-11) - 8/44. Suppose -s*g + 40*g + 630 = 0. Is 5 a factor of g?
True
Let q = -31 - 32. Let n = q + 127. Does 16 divide n?
True
Suppose -6*w + 2106 = 3*l - 5*w, 2*l - 1394 = -4*w. Suppose 131 = a - 3*t, 5*a + 0*t + t - l = 0. Is a a multiple of 7?
True
Let l = -248 + 738. Let f = 54 + l. Is 68 a factor of f?
True
Let m(i) = i**3 - 19*i + 8. Suppose -42 = -4*a + 3*k - 13, 5*a + 4*k = 44. Is 24 a factor of m(a)?
False
Does 9 divide 206145/18*(5/(-50))/(8/(-128))?
True
Let d(g) = 65*g + 150. Let p be d(15). Let a = p - 657. Does 18 divide a?
True
Suppose 5*y = 44295 + 6795. Is y a multiple of 131?
True
Suppose 2*d - 20 = -4*c, -2*c - 5 = -3*d - 7. Suppose -3*o - 2*s + 196 = -44, 2*s - 160 = -d*o. Suppose 4*r + 6*q - 146 = q, q = 2*r - o. Does 13 divide r?
True
Let z be (2/(-12) + 130/6)*2. Suppose -48*h = -z*h - 20. Suppose 0 = h*p + 76 - 516. Does 22 divide p?
True
Let f(u) = 4*u**2 - 15*u + 27. Let p be f(8). Let k = p + 14. Suppose -3*m + k = 4*l, -5*l + 176 = -l + 4*m. Does 23 divide l?
False
Suppose -63 = -6*v + 7*v. Let h = v + 71. Suppose -102 = -h*y + 50. Is 19 a factor of y?
True
Let y = -3785 - -7216. Does 16 divide y?
False
Suppose -c = -394 - 1994. Is 4 a factor of c?
True
Suppose -19*k + 24963 + 24152 = 0. Is 55 a factor of k?
True
Let o(l) = l**3 - 3*l**2 - 7*l - 1. Let z be o(5). Suppose -z*c = -9*c - 25. Suppose -k + 270 = c*b, 5*b - k = 2*b + 170. Is 11 a factor of b?
True
Let f(v) = v**2 + 2*v + 10. Let r be f(0). Suppose -u + r*u = 252. Does 21 divide u?
False
Suppose -28*b = -9*b - 1330. Is (35/b)/((-1)/(-588)) a multiple of 22?
False
Let m(r) be the third derivative of -r**6/120 + r**5/10 + 5*r**3/6 - 4*r**2. Let w be m(5). Suppose 27*i + 384 = w*i. Does 16 divide i?
True
Is 84/16*(-5860)/(-15) a multiple of 6?
False
Let o(c) = -6*c**3 - 29*c**2 - 26*c - 25. Is 174 a factor of o(-10)?
False
Suppose 4588 = 7*w + 689. Suppose 1013 + w = 5*p. Is 10 a factor of p?
False
Let t be (4 - 2)*(-2 + 15/(-2)). Let a be 12/(-10)*(14 + t). Is 2 a factor of 62/3*a/4?
False
Let y(c) = 1102*c + 1538. Is 11 a factor of y(18)?
False
Let l(t) = -25*t - 8. Let k be l(-25). Let g = k + -364. Does 11 divide g?
True
Suppose 16*a = 694 + 42. Suppose 7 - 76 = -3*l. Suppose -b + a + l = 0. Is b a multiple of 10?
False
Let a = 11447 - 9620. Is a a multiple of 29?
True
Suppose 1095 = -6*z - 1023. Let g = 637 + z. Is g a multiple of 71?
True
Suppose 4*t = 5*p + 2543, -8*p + 5*p = 3*t + 1515. Let j = -272 - p. Is j a multiple of 15?
False
Let a(d) = 572*d - 636. Does 6 divide a(6)?
True
Let m be ((-1)/(-2))/(5/10) - 5. Is 870/m*(-9 - (-25)/3) a multiple of 13?
False
Let u be -306*(-3)/12 - 1/(-2). Suppose b = u + 68. Suppose 3*l - 4*o - 81 - 1 = 0, -b = -5*l + 5*o. Does 34 divide l?
True
Suppose 0 = 3*b, -2 = -2*l - 2*b - 8. Let w be (l/9)/(6/(-216)). Suppose -7*a - 116 = -w*a + 4*j, -2*j = 5*a - 92. Is 2 a factor of a?
True
Suppose 0 = -p - 3, -5*z + 13 = 4*p - 5. Let j(f) be the third derivative of f**6/120 - f**5/20 - f**4/6 + 3*f**3/2 - 80*f**2 - 13. Is 13 a factor of j(z)?
False
Suppose 45486 = 54*d + 32074 - 63376. Is 18 a factor of d?
True
Let d = 297 - 210. Suppose r - i - i - d = 0, -3*r = 5*i - 206. Let p = -27 + r. Does 9 divide p?
False
Let f = 636 - -764. Is 10 a factor of f?
True
Let v(f) = -91*f - 15. Is v(-5) a multiple of 2?
True
Let z be 7*(-18)/(-15)*-15. Is (0 - 80)/(28/z) a multiple of 25?
False
Suppose -22*w + 137 = 27. Let a(v) = 162*v - 82. Is 7 a factor of a(w)?
True
Suppose 3*v + 2*n - 193 = 79, -3*n = -v + 98. Let j = 202 - v. Does 16 divide ((-352)/j)/((-2)/50)?
True
Let a(h) be the first derivative of 3*h**4/2 + h**3 - h**2/2 - h + 8. Let s be a(1). Suppose s*z = 6*z + 69. Is 23 a factor of z?
True
Let g(v) = v + 6. Let x be 108/(-26) + (-28)/(-182). Let k be g(x). Suppose -k*o = -3*o + 7. Is 7 a factor of o?
True
Suppose 719375 = 420*m - 7081705. Is m a multiple of 21?
False
Let w(p) = p**3 + 13*p**2 + p + 11. Let t(b) = -11*b**2 + 5*b + 3. Let f be t(-1). Let r be w(f). Does 31 divide 4564/49*2 - r/(-7)?
True
Let y(i) = 23*i**2 + 57*i - 82. Is 72 a factor of y(15)?
False
Suppose 218 = -5*d - 102. Let y be 24*(9 - (-51)/(-9)). Let s = y + d. Is s even?
True
Suppose 1346 - 202 = 3*w + 2*k, -2*w = k - 761. Suppose 0 = -5*p + p - 5*h + 1580, -w = -p + 3*h. Does 15 divide p?
True
Suppose -149*d + 501941 = -893891. Is d even?
True
Suppose -4*i - 6 + 14 = 0, -3*s + 3*i = -303. Suppose 4*x = 2*x - 156. Let h = x + s. Does 4 divide h?
False
Suppose -71782 = -49*r + 55226. Does 24 divide r?
True
Let r(m) = m**2 - 6*m + 28. Let s be r(8). Suppose -b + 10 = 3*x - s, -2*x = 3*b - 169. Is b a multiple of 19?
True
Let j = 2302 - -3574. Does 52 divide j?
True
Is 11239/5 + -7 + 806/130 a multiple of 21?
True
Let t(s) = s**2 + 5*s - 10. Let g be t(-9). Suppose -2172 = -g*m + 246. Is m a multiple of 3?
True
Suppose 0 = 2*q - 2 - 22. Suppose 25 = 4*f - 5*n, -2*f = -3*n - 3 - q. Suppose -3*d + d + 44 = f. Is 22 a factor of d?
True
Suppose 2*x - 2634 + 522 = 0. Suppose -7*z + x = -3*z. Is 8 a factor of z?
True
Let l(i) be the first derivative of -2*i**3/3 - 13*i**2 + 4*i - 14. Let b be l(-13). Suppose 6*h - b*h - 48 = -4*z, 5*h = 2*z + 156. Is 5 a factor of h?
True
Let z(t) = -t**2 + 5*t - 10. Let l be z(5). Let w = 112 + l. Is 4 a factor of w?
False
Let o(f) = f**3 - 10*f**2 + 23*f - 77. Is o(23) a multiple of 53?
False
Let d = 76 + -73. Let n = d + 2. Is 34 a factor of 1 - (-36)/(-8)*n*-6?
True
Is 14 a factor of -13 + 3086 + (-14)/2?
True
Suppose 2*p = -5*y + 520, 2*p = -3*y + 391 - 79. Suppose 3*x + 153 = -3*f, 141 = -5*f + 5*x - y. Let s = f - -82. Is 25 a factor of s?
False
Suppose 4*x = -25 + 45. Suppose 5*n = -x*o + 316 - 121, o = 3*n - 121. Does 4 divide n?
True
Let b = 25 - 13. Suppose -8 - b = -4*m. Suppose 5*k = 3*j + 40, -m*k = -5*j - 21 - 9. Does 3 divide k?
False
Suppose 3*u + 0 = 9. Suppose 12*r - u*r = 810. Let j = r + -16. Does 7 divide j?
False
Let f(b) = -b**3 - 49*b**2 + 38*b - 135. Does 353 divide f(-52)?
True
Let o = -102 - -118. Let r(d) = 2*d**2 - 22*d + 39. Let x be r(o). Let n = -106 + x. Does 31 divide n?
True
Suppose 0 = -90*i + 77*i - 442. Let v(c) = 10*c + 2. Let t be v(-2). Let x = t - i. Is 2 a factor of x?
True
Let n = 13 + -21. Let s be n + 4 - (-5 - 2). Suppose -3*t - t = -2*w + 156, -s*t + 78 = w. Is w a multiple of 13?
True
Let t = 63 - 59. Suppose -3*h - 314 = -t*g, -5*h + 3*g = -2*h + 312. Let q = h + 126. Is q a multiple of 3?
True
Let r(n) = n**2 - 2*n + 2. Let l be r(3). Let o(i) = -i**3 + 6*i**2 - 2*i - 11. Let b be o(l). Is 14 a factor of b/(-18) - (2024/(-36) + 5)?
False
Let c(x) = x**3 + 26*x**2 + 21*x + 159. Let b be c(-26). Let n = b + 429. Does 7 divide n?
True
Let u be (-8)/(-80) - (-147)/30. Suppose 0 = u*b + 25, -3*b + 75 = 7*x - 4*x. Is 10 a factor of 5 + (-2*x)/(-4)?
True
Let f(s) = 5*s**2 + 4*s - 4. Let v be f(4). Let u = 430 + -390. Let g = v - u. Is 15 a factor of g?
False
Let o = 1823 - -424. Suppose 0 = -13*p - 453 + o. Does 69 divide p?
True
Let c be 10/(-20) + 49/2. Let h be 94/(4/c*-4). Let f = 16 - h. Does 37 divide f?
False
Suppose -22*l + 14*l + 13*l - 4795 = 0. Is l a multiple of 2?
False
Suppose 84*o + 591852 = 195*o. Does 62 divide o?
True
Suppose 0 = -5*j - m + 35, -8*m = -4*j - 4*m + 28. Suppose 223 - j = y. Suppose 2*u - y = c - 4*c, 0 = -c. Is u a multiple of 12?
True
Let k be 1/(2*(-18)/(-8) + -4). Let x be 4/12 + (14/3 - k). Suppose 0 = -x*f + z - 0*z + 193, f = -3*z + 61. Is 11 a factor of f?
False
Suppose 5*l + 5*b = 6 + 9, 12 = -l + 4*b. Suppose l = -10*r + 2389 + 961. Is 4 a factor of r?
False
Let u = 149 + -102. Let n = u - 57. Is 26 a factor of -78*(n/(-15) + -1)?
True
Let k = -99 - -1