
Suppose 0 = -11*x + 53 + 2. Suppose 3*g + 258 = 4*f + g, -x*f = g - 319. Does 8 divide f?
True
Is (339588/81)/4 - 2/18 a multiple of 8?
True
Let s(h) = -8*h**3 + 2*h**2 + h - 1. Let d be s(-1). Suppose -d = -6*v + 16. Does 4 divide v?
True
Let i(y) = -372*y**3 - 2*y**2 + 6*y**2 + 387*y**3 - 3*y + 5. Let s be i(4). Suppose -7*b = 2*b - s. Is 13 a factor of b?
False
Suppose 0 = -3*j + r + 14, -2*r - r + 14 = 5*j. Is 14 a factor of 221/j - (51/(-4))/17?
True
Suppose -37*q - 3*q + 41600 = 0. Suppose 0*c - q = -13*c. Is c a multiple of 16?
True
Let a(r) = 10*r**2 + 9*r + 9. Let y be a(-3). Suppose y*d = 56*d + 4032. Is d a multiple of 42?
True
Let k(h) be the first derivative of 13*h**3/3 + 11*h**2/2 + 64*h + 15. Does 26 divide k(-4)?
False
Let z be (-217)/(-62) - 2*(-6)/(-8). Let n(c) = c - 2 - 3*c**2 - 1 + 24*c**3 + z*c**2 - 31*c**3. Is n(-2) a multiple of 11?
False
Let r(w) = 3*w - 24. Let f be r(6). Let l = -5535 - -3303. Does 29 divide f/(-21) + l/(-28)?
False
Let o = 0 + 16. Suppose -o*j = -17*j + 5. Suppose -j*t + 190 = -50. Is t a multiple of 24?
True
Suppose 53 - 11 = 6*m. Suppose 3*w - 3*z = 165, -m*z = 5*w - 4*z - 283. Is w a multiple of 14?
True
Let b(j) = -123*j - 15. Let a be b(4). Let u = a - -957. Does 90 divide u?
True
Let b be (-59)/(-19) - 16/152. Suppose -u + 1178 = -2*n + 4*n, -2*u = b*n - 1768. Is 28 a factor of n?
True
Let a = -3846 + 24960. Is a a multiple of 102?
True
Let t(u) = -42*u**3 - u**2 + 1. Suppose 0*q = -4*q + 16. Suppose -a + 3 = -q*a. Is t(a) a multiple of 14?
True
Suppose 3*k + 2*k + 19 = -3*x, 0 = -3*x - 2*k - 4. Suppose -7*u + d + 2595 = -x*u, -3*u - 3*d + 1539 = 0. Is u a multiple of 39?
False
Suppose 199*x - 851220 = 163*x. Does 17 divide x?
False
Is ((-2399648)/(-1640))/(1 - (-3)/(-5)) even?
True
Suppose 0 = 63*o - 70*o + 30331. Is o a multiple of 20?
False
Let b(n) = 737*n**3 + 4*n**2 + 12*n - 69. Is 82 a factor of b(3)?
False
Does 7 divide (-260)/(-15)*(-1365)/(-10)?
True
Let b(s) = -2*s + 22. Let d be b(6). Suppose -20 = 6*x - d*x. Suppose -v + 258 = 5*q, x*q = v + 422 - 160. Is q a multiple of 12?
False
Suppose 4446669 + 866079 - 486966 = 78*p. Does 22 divide p?
False
Let c be 1*(0 - (24 - -3)). Let p be ((-7)/(-3))/((-9)/c). Suppose -4*o + p*o - 4*k - 20 = 0, -4*o - 3*k = -60. Does 4 divide o?
True
Suppose -2*f + 30668 = 31*s - 36*s, -5*f + 76810 = 5*s. Is 9 a factor of f?
True
Let r = 89 - 327. Let q = r + 344. Is q a multiple of 46?
False
Let n(f) = f**2 + 16*f + 23. Let z be n(-7). Is 3 + -7 - z*11/2 a multiple of 72?
True
Let i(z) = -z**2 - 7*z + 10. Let u be i(-8). Suppose -2*m = -5*a - 3*m + 540, u*m - 324 = -3*a. Suppose 7*y - y = a. Is 15 a factor of y?
False
Let k = 3061 + -2099. Is 27 a factor of k?
False
Let y be (5 - (-114)/(-21)) + (-9609)/21. Let b = y + 806. Is 12 a factor of b?
True
Suppose -411*u + 29896 = -407*u. Does 37 divide u?
True
Is 14 + (-37820)/(-40) - (-3)/(-2) a multiple of 13?
False
Suppose -2*k + 4*g - 6 = g, 3*g = -5*k + 6. Suppose -2 = 4*f + j + 5, -5*f - 13 = -3*j. Does 19 divide 39 + (-6)/f - k?
False
Suppose -271*k + 269*k + 17932 = 0. Is 113 a factor of k?
False
Let i = -2871 - -1891. Does 2 divide i/(-36) + (-16)/72?
False
Let f = 679 + 1205. Does 3 divide f?
True
Let t(z) = -z**3 - 12*z**2 - 18*z - 9. Let u be t(-8). Let i = 211 + u. Is 17 a factor of i?
False
Suppose 3*j - 3*w = -0*j - 27, -4*w + 26 = -2*j. Let f be j/((-5)/13) + -1 + 3. Let d(r) = r**3 - 15*r**2 + 10*r - 6. Does 16 divide d(f)?
True
Suppose 2690 = 2*l - 5*a, -4*a = l - 2*l + 1354. Does 19 divide l?
True
Let k = 3032 + 8173. Is 6/8 - k/(-180) a multiple of 3?
True
Let f = -400 - 103. Let w = f + 766. Is w a multiple of 36?
False
Suppose -y - 3*m = 9, -2*y - 8 - 2 = 4*m. Suppose o + 0*q - 3*q + 1 = 0, -3 = 3*o + y*q. Is 21 a factor of (-260 + -13)*o/3?
False
Suppose 3*c - 4*g + 14 = 0, -g + 4 = g. Let h be 1 - 2 - c - 386/(-2). Suppose k - h + 78 = 0. Is k a multiple of 40?
False
Suppose -3*v + 24490 + 8943 = 4*k, -2*k = 3*v - 16721. Does 240 divide k?
False
Let o(v) be the second derivative of -11*v**3/6 + 43*v**2/2 + 21*v. Let c be o(13). Is 19 a factor of 3040/c*30/(-4)?
True
Let j(m) = 354*m + 282. Let l be j(21). Suppose -20184 = -18*n + l. Is 78 a factor of n?
False
Let g(y) = 2*y**2 + y**3 - 2*y**2 + 4*y**2 - y - 1. Suppose 483 = -333*a - 499 - 17. Is g(a) a multiple of 3?
False
Let l(k) = k**2 + 4*k + 1. Let h be l(-3). Let w be 0 - 0 - (1 + h + -1). Let i = 6 - w. Is i even?
True
Let p = -2201 - -2645. Does 14 divide p?
False
Suppose -23 = 13*p + 3. Suppose -7 = -3*x + 62. Let o = x - p. Is 5 a factor of o?
True
Suppose 51376 = 14*s - 15264. Is s a multiple of 28?
True
Suppose 5 = -3*h + 5*f + 2, 2*h - 11 = -f. Suppose -2*v - h = -10. Is (80/v)/((-11)/(-66)) a multiple of 40?
True
Is 35/(245/11718) + 18 a multiple of 5?
False
Suppose 3*y + 3*d + 12 = 0, 0 = 2*y - 3*d + 2*d - 4. Let p be (6/18)/((-3)/(-594)). Suppose y = -l + 73 + p. Does 7 divide l?
False
Is 9 a factor of (428978/(-66))/31*((-15 - 1) + 1)?
False
Let x = -32 + 28. Let k be ((-38)/(-57))/(x/(-18)). Suppose -40 = -k*i + 50. Is i a multiple of 5?
True
Suppose -3*y - y + m = -517, -m = -y + 130. Suppose -2*u - 258 = 4*o, u + y = -0*o + o. Let a = -57 - u. Does 9 divide a?
True
Let h(n) = 2*n**2 - 4*n - 16. Suppose 0*f - 3 = x - 5*f, -x + 3*f = 1. Suppose -x*w - 7*t - 6 = -2*t, 3*t + 9 = -3*w. Is h(w) a multiple of 2?
True
Suppose 5 = 10*z - 35. Suppose 34 + 46 = z*u. Is u a multiple of 4?
True
Let s(l) be the second derivative of 5*l**3/6 - 49*l**2/2 - 9*l. Is s(12) even?
False
Suppose -514 = -2*i + 496. Suppose 0 = 5*s + c - i, 4*c + 180 = 3*s - 123. Does 13 divide s?
False
Let b be ((-184)/6)/(-4)*-3. Let n = -471 - -504. Let j = n - b. Is j a multiple of 8?
True
Let d = 39 + 506. Suppose -289*l = -284*l - d. Does 33 divide l?
False
Suppose -3*l + 180 = 17*l. Suppose -l*x = -8012 - 1888. Is 72 a factor of x?
False
Let l be (-1 + (-14)/(-8))/((-1)/36). Let n = l + 27. Suppose -3*f - 2*j + 424 - 151 = n, 5*f - 4*j - 455 = 0. Does 16 divide f?
False
Let d(g) = 6*g**2 + 4*g + 25. Let c(r) = -r**2 - 4*r - 4. Let h be c(-4). Does 7 divide d(h)?
True
Let v be (-258)/(-54) + (-6)/(-27). Suppose -3*m + 2*c = -1262 + 311, -2*m + c = -633. Suppose v*y - m = -3*l - 2*l, -l = -2*y + 129. Is y a multiple of 16?
True
Let j(l) = 10*l**2 - 11*l - 27. Let i be ((-16)/4)/(-1*(2 - 3)). Is j(i) a multiple of 13?
False
Let d = -1151 - -1690. Suppose 0 = 7*t - 2940 + d. Is 45 a factor of t?
False
Let j(z) = -z**3 - 5*z**2 + 3*z - 7. Let v(s) = -3*s**3 - 16*s**2 + 10*s - 21. Let b(w) = 7*j(w) - 2*v(w). Suppose -4 - 4 = 2*t. Is b(t) a multiple of 4?
False
Let d(a) be the second derivative of 0*a**3 + 0*a**2 + 0 + 1/5*a**5 - 10*a + 0*a**4. Does 32 divide d(2)?
True
Let j = 4186 - 1751. Is 8 a factor of j?
False
Let r be ((-120)/9)/(3*(-3)/27). Suppose -5*j = r - 40. Is 36 a factor of (j - 2)*(-123 + -14)?
False
Let k(x) = -x**3 + 9*x**2 + 8*x - 44. Let w(v) = -v**2. Let i(l) = k(l) - 4*w(l). Does 3 divide i(13)?
True
Suppose -1 = -32*c + 33*c, -o - c = -4538. Does 51 divide o?
True
Let q(f) = f**3 + 9*f**2 + 18*f - 1. Let b be q(-6). Let p(s) = 369*s**2 + 2*s + 2. Let u be p(b). Let z = u - 250. Does 17 divide z?
True
Let a be 7 + 5/(30/(-42)). Suppose p - 30 = -p - 5*y, 2*y + 4 = a. Is p a multiple of 10?
True
Let m be (22/(-77))/((-2)/28). Suppose -2*y - s + 501 = 0, 6*y = m*y + 2*s + 516. Is 23 a factor of y?
True
Let s(u) be the first derivative of -39*u**2 - 158*u + 173. Does 4 divide s(-4)?
False
Suppose 6410 + 4216 = 42*w. Does 44 divide w?
False
Let b be (-170)/(-51)*9/(-4)*94. Let i = b + 1475. Is 55 a factor of i?
True
Let u(o) = o**2 + 14*o + 42. Is 4 a factor of u(-13)?
False
Let r = -31 - -27. Let x be ((-24)/(0 + 2))/(r + 2). Suppose 2*v - 5*i = 175, 5*v - 395 = x*i - 2*i. Is v a multiple of 15?
True
Let r be (-2)/(-6) - -204*(-4)/18. Does 3 divide (16/(-10) + 5 + -4)*r?
True
Suppose 0 = -4*a + 5*s + 37993, 113*a = 118*a - s - 47507. Is 24 a factor of a?
False
Let v(j) = 2*j**3 - 6*j**2 + j + 3. Let c be v(5). Let i(k) = 87*k - c*k + 12 + 6. Does 38 divide i(-7)?
False
Let u be (-1197)/(-7) - (-4 - -3 - 1). Suppose 26*b = 139 + u. Is 4 a factor of b?
True
Let d(v) = 801*v**2 - 26*v + 37. Is 19 a factor of d(4)?
True
Let w = -4892 