 multiple of 35?
True
Let a(y) = -y + 8. Let g be a(10). Let f(x) be the second derivative of -x**5/5 + x**4/3 + x**3 + x**2 + 320*x. Is f(g) a multiple of 5?
False
Let g = 3056 + -973. Is 20 a factor of g?
False
Let g be (0 - -18)/((96/126)/8). Suppose -5*i + 51 = s, s + 3*i = -2*s + g. Suppose -z + s + 63 = 0. Is 19 a factor of z?
False
Let f(k) be the first derivative of k**4/4 + 17*k**3/3 + 9*k**2/2 - 37*k + 21. Is 25 a factor of f(-14)?
True
Suppose 8*i = 3*i + 315. Suppose 3*q = 3*y - i, 2*y = -0*y. Is 33 a factor of 234/7 + 9/q?
True
Suppose 86 = 7*k - 26. Is 65 - 1 - (-3 - k/(-2)) a multiple of 3?
False
Suppose 7*g - 2408 - 809 = 927. Does 8 divide g?
True
Let r = -521 + 940. Suppose 6*a = 2*a + 5*y + 1721, a - r = -y. Does 8 divide a?
True
Suppose -838*t = -880*t + 589050. Is t a multiple of 17?
True
Let m = -138 + 146. Suppose -m*i + 406 = -170. Is 17 a factor of i?
False
Suppose -a + k - 5*k = -9024, 3*a - 2*k = 26960. Is a a multiple of 16?
True
Let b(p) = -9*p - 43. Let q be b(-5). Suppose -7 = -n - q*d + 1, -2*n - d + 13 = 0. Suppose n*i + 980 = 16*i. Does 14 divide i?
True
Suppose 5*y + 6 = 6*y. Suppose 2*c - y = -2. Is 6 a factor of c*(-2)/(-12) + (-856)/(-24)?
True
Let k = -47 + 51. Suppose 5*t - 6 = -v - 3*v, -2*v = k*t. Suppose 179 = v*c - 81. Is 15 a factor of c?
False
Let n be (-2)/90*-6 - (-206)/30. Let x = -6 + 7. Let p = n - x. Does 4 divide p?
False
Suppose u + 17*p - 401 = 22*p, p = -5*u + 1979. Does 18 divide 4*u/(-192)*424/(-3)?
False
Let c(t) = 5*t - 6. Let a be c(2). Let g be a + (2 - 0/(-4)). Suppose g*j - 99 = -21. Is 13 a factor of j?
True
Suppose 52*t - 53*t = -496. Let q = 1344 - t. Is 16 a factor of q?
True
Let s(f) be the second derivative of f**4/4 + 5*f**3/3 - 17*f**2/2 - 45*f - 2. Does 7 divide s(-8)?
False
Let k(p) = -13*p - 121. Let i(t) = -40*t - 362. Let r(j) = -2*i(j) + 7*k(j). Is r(-13) a multiple of 2?
True
Suppose r - 17*r + 23792 + 95328 = 0. Is 72 a factor of r?
False
Let h(a) = 3*a**2 - 7*a - 48. Let d be h(20). Suppose -369*u + 367*u + d = 0. Is 11 a factor of u?
True
Suppose 3*f + 2*r = -2, 3*r - r + 16 = 4*f. Let n be f/(-4) - (-870)/20. Suppose q - l = 64, n = q + 2*l - 6. Is q a multiple of 37?
False
Let t = -306 - -307. Is ((-11372)/(-7) - (-36)/84)*t a multiple of 48?
False
Let y = 2722 + -1792. Suppose 0 = 4*h + 3*x - y, -8*x + 4*x = -4*h + 944. Is h a multiple of 6?
True
Let x = 16805 + -2817. Does 88 divide x?
False
Let o(a) be the third derivative of -3*a**4/4 + 74*a**3/3 - a**2 - 20*a. Is o(-7) a multiple of 55?
False
Suppose 0 = -3*o - 3*s + 64809, 0*o + 5*o - 11*s - 108047 = 0. Is 31 a factor of o?
False
Let q(y) be the first derivative of -37*y**2/2 - 6*y + 30. Let x be q(-5). Suppose 1 = 3*d - x. Does 37 divide d?
False
Let b(q) = -2*q**2 + 28*q - 18. Let n be b(12). Suppose -3*f + n = -2*a, 0 = 3*f - 3*a - 19 - 8. Suppose 3*z + f = 0, -d - 4*z = 3*d - 484. Does 15 divide d?
False
Let x(f) = -2*f**3 + 2*f + 0*f**3 - 3 - 2 + 14*f**2 - f. Let s be x(7). Suppose s*g = -26 + 264. Is 15 a factor of g?
False
Let q be 100/60 - 124/6. Is (q - -42)/(1/7) a multiple of 23?
True
Let f = 716 + 137. Let q = f + -523. Is q a multiple of 11?
True
Let g(h) = -h**3 - 8*h**2 - 23*h - 86. Is g(-10) a multiple of 8?
True
Suppose -2*b + 2*d = -26736, -20*d + 24*d - 40146 = -3*b. Is b a multiple of 49?
False
Let b = 1712 - -7435. Does 80 divide b?
False
Let u(k) = -10 - 29*k - 42*k + 15*k**2 + 14*k + 1. Does 47 divide u(9)?
False
Let t be (-9)/(36/8)*(4 + 67). Is 6 + (-12)/2 - t a multiple of 19?
False
Does 54 divide (0 - (-231)/(-4))/(243/(-77112))?
False
Suppose 22 = -g + 23. Let d be g*(5 + -3) - -4. Let x = 96 + d. Is 9 a factor of x?
False
Let a(r) = 8*r**2 + 2*r - 25. Let y be 8/1*6/8. Is a(y) a multiple of 11?
True
Is 175*(-3 + 5) - (-2 - (3 + 1)) a multiple of 2?
True
Suppose 0 = -t + v + 95, 4*t + 4*v + 44 - 464 = 0. Suppose 0 = -2*c + 4*j + t, -13 - 90 = -2*c + 3*j. Let u = c + -26. Is u a multiple of 6?
True
Suppose -37 - 119 = -6*b. Suppose -6*h = -b*h + 2400. Does 10 divide h?
True
Let r(c) = 57*c**2 - 53*c + 535. Does 11 divide r(9)?
True
Suppose -107*d = -85*d - 9042. Is 2 a factor of d?
False
Let y(u) = 4*u**2 + 79*u - 461. Is 8 a factor of y(-25)?
True
Suppose 55*v - 15304 = 51*v. Suppose y - 69 = -n + 1217, 3*n - 5*y = v. Is n a multiple of 44?
False
Let t(b) be the first derivative of 47*b**2/2 - 74*b + 61. Is 38 a factor of t(4)?
True
Suppose -1234791 = -24*d - 157503. Does 27 divide d?
False
Suppose -p - 6 = -5*x - 16, 27 = -3*p - 4*x. Let f(t) = t**2 + 4*t - 5. Let k be f(5). Let n = k + p. Is n a multiple of 35?
True
Let s = -591 - -627. Let x = s + 268. Is 16 a factor of x?
True
Let v = 7957 + 3466. Does 155 divide v?
False
Let r be 8*(1 + (-175)/(-2)). Suppose -5*d + r + 3687 = 0. Is 58 a factor of d?
False
Let v = -12168 - -12348. Does 17 divide v?
False
Does 29 divide (-9)/((-4)/(928/12))?
True
Let j be (-1)/(-2)*2 + 3. Let i be j/7*(-77)/22. Let p(f) = -f**3 + f**2 + 2*f + 4. Is 2 a factor of p(i)?
True
Suppose -2*a - 16*d + 83183 = -15*d, a - 41609 = -3*d. Is 20 a factor of a?
False
Suppose -4*j - 13483 = -5*b, -b + 122*j + 2685 = 127*j. Does 13 divide b?
False
Let h(v) = 187*v + 125. Let r be h(3). Suppose u - r = -77. Does 13 divide u?
False
Suppose 4*y = g - 23, 0 = 4*y - 2*g + 12 + 10. Let f(o) = 4*o**2 - 20 + 173*o - 3*o**2 - 172*o. Is f(y) a multiple of 10?
True
Let f(j) = -10 + 2 + 35*j + 1 - 52. Is f(7) a multiple of 11?
False
Let f(r) = 568*r**3 - r**2 - r + 3. Is f(1) a multiple of 9?
False
Suppose -6*j + 12 = 84. Is 9 a factor of -4 - (-78 - j/(-4))?
False
Suppose 0 = 61*r - 48376 - 5914. Does 30 divide r?
False
Suppose -2*j + 3*a + 4 = 7, -2*a + 10 = 0. Is -1*1*(-11 + (-600)/j) a multiple of 44?
False
Let z(l) = 9*l**2 + 154*l - 1274. Is 25 a factor of z(-76)?
False
Let j = -6797 - -12475. Is j a multiple of 34?
True
Suppose 4*x - 3*l = 20411, -2*x - 3*x + 2*l = -25505. Suppose 3*z - 3840 = 3*c, 4*z + 6*c - 3*c = x. Is 18 a factor of z?
False
Let q = -24 - -29. Suppose -4*c - q*t + 59 = -42, 3*t = -4*c + 91. Let u = 16 + c. Does 9 divide u?
False
Let t be 8020/30 + 2 + (-2)/6. Suppose -d - t = -u - 108, u = -3*d + 157. Is 23 a factor of u?
False
Suppose -20*h = -21*h + 10. Suppose h = 2*o - 0*o. Suppose -o*y + 2*k + 308 = 0, 6*y - k = y + 304. Is 12 a factor of y?
True
Let l(x) = 4*x - 23. Let t be l(-31). Let h = t - -435. Is 20 a factor of h?
False
Suppose 0 = -g + b + 18, -3*g - 3*b = -5*g + 33. Let w be (-68)/3*g/7. Let i = 187 + w. Does 26 divide i?
False
Let o(f) = -f**3 + 12*f**2 - 2*f + 10. Let q be o(12). Let v = 13 + q. Is -24*(v + (0 - 0)) a multiple of 24?
True
Let c(x) = -7*x**3 + 15*x**2 - 13*x + 20. Let o(d) = 4*d**3 - 7*d**2 + 6*d - 10. Let z(p) = 3*c(p) + 5*o(p). Let h = 3 - -6. Is 5 a factor of z(h)?
True
Let x(t) = -3*t**3 + 36*t**2 - 2*t + 15. Let k be x(12). Let u(y) = 11*y - 13. Let j(w) = 5*w - 6. Let r(v) = -5*j(v) + 2*u(v). Is r(k) a multiple of 13?
False
Suppose 2*w + 42 = 4*w - 4*f, f = 3. Let o(g) = g**3 - 28*g**2 + 33*g + 9. Is o(w) a multiple of 57?
True
Let r = 4817 - -26072. Is 109 a factor of r?
False
Suppose 8*f - 17 + 473 = 0. Does 17 divide (-2 - 0)*f/6?
False
Suppose 5*h = 10*q - 5*q - 45, -12 = -q - 2*h. Does 27 divide ((-4)/(-10))/(q/1350)?
True
Suppose 14*l - 90 = 20*l. Let t be -2 - (6/l + (-362)/(-5)). Let s = 86 + t. Does 3 divide s?
True
Let j(t) be the third derivative of t**6/40 - t**5/15 - t**4/3 + 3*t**3/2 + 2*t**2. Suppose -549 + 597 = 12*m. Does 4 divide j(m)?
False
Let v = 78 - 66. Suppose 3*k + v = 27. Suppose b - 1 = 1, k*b = -m + 27. Does 7 divide m?
False
Suppose 25*a = 24*a + 2. Suppose 3*h + 5*i = -10, -h + a*i + 20 = -i. Suppose -4*d = -h*n - 553, 5*d - 469 = -3*n + 176. Does 11 divide d?
True
Suppose 5*r - 37*c + 32*c - 70835 = 0, 42513 = 3*r + 3*c. Is r a multiple of 31?
False
Suppose 29*m = 24*m + 25. Suppose n = 5*a + 85, -3*n = -5*n + m*a + 150. Is -13 + 12 + 1 + n a multiple of 8?
False
Let c(y) = -44*y + 1802. Is c(-9) a multiple of 7?
True
Let s = -32 + 35. Suppose -k - 2*g = -34, -s*g - 3 + 9 = 0. Let v = -7 + k. Is 8 a factor of v?
False
Let t(z) = 7*z**2 - 641*z + 90. Does 30 divide t(93)?
True
Suppose -21282 = 335*p - 339*p - 2*q, -q - 21279 = -4*p. Is p a multiple of 31?
False
Let n(t