 of l(-40)?
False
Let x = 499 - 497. Suppose 5*z - q - 145 = 4*z, -x*z + 260 = 4*q. Is 10 a factor of z?
True
Let n = 503 - 1187. Let k = 1292 + n. Is 16 a factor of k?
True
Let k(x) = 1092*x + 5845. Is 7 a factor of k(-4)?
True
Let n = 1245 - -2107. Suppose 5*x + 4208 = 5*v + 4*x, -4*v - 4*x + n = 0. Suppose -v = -8*w - 169. Is w a multiple of 16?
False
Let a(n) = 422*n - 12010. Does 68 divide a(71)?
True
Suppose -2*v + 344 = -860. Suppose 4*p - 2*d - v = 0, -6*p + 725 = -p + 3*d. Is 37 a factor of p?
True
Let z = 26372 - 14747. Is z a multiple of 93?
True
Let z(d) = 774*d - 9338. Does 52 divide z(21)?
True
Let w = 192 + -50. Suppose j + 3*c - w = 0, j - 5*c = 3*j - 280. Is 13 a factor of j?
True
Let f(a) = -35*a - 5. Let z be f(-3). Let r(w) = w**3 - 3*w**2 - 3*w - 4. Let j be r(4). Suppose j = p + p - z. Is p a multiple of 10?
True
Let j = 4439 + -391. Is j a multiple of 44?
True
Suppose 209*m - 213*m - 8 = 0, -s + 3*m = -15324. Is 138 a factor of s?
True
Suppose -3*f - 2*z = -25084, 2*f - 2465 = -4*z + 14239. Is 89 a factor of f?
True
Suppose 510 = 11*s + 47*s + 27*s. Is s a multiple of 5?
False
Suppose -11*g = -8*g - 60. Let l be g/(-6)*3/(-2). Is 75/6*4/l a multiple of 8?
False
Let h(o) = 7*o**2 - 81*o + 988. Is 3 a factor of h(56)?
False
Does 48 divide 23 + 185530/((-210)/(-21))?
True
Let s be -2*(-14)/(-10) - (-92)/115. Let o(l) = 142*l**2 - 2*l - 10. Is 39 a factor of o(s)?
False
Let j = 43 + -40. Is 6 a factor of j + -1 + 118/(-2 + 3)?
True
Is 4110 - ((-24 - -45) + -7) a multiple of 16?
True
Let c(a) be the second derivative of a**4/4 + a**3/2 + a**2 + 24*a. Let i(t) = -t**2 + 4*t + 6. Let f be i(6). Does 27 divide c(f)?
False
Let r(w) = -3*w**2 - 5*w - 3. Let f = 25 - 28. Let t be r(f). Is 7/((-35)/t) + 77 a multiple of 16?
True
Is 11 - (8/28 + (-418986)/126) a multiple of 13?
False
Let u = -23 - -167. Let x = -6 + u. Does 23 divide x?
True
Does 11 divide 308*(15 + (-304)/112)?
True
Let c(w) be the second derivative of -29*w**3 + 11*w**2 - w + 20. Does 17 divide c(-3)?
True
Suppose 4*o = 5*w, -2*o - 3*o = w. Let n(c) = c - 1. Let h be n(o). Is 13 a factor of (-4 + 1 + 4)/(h/(-75))?
False
Suppose 13715 = 4*p + 5*i, -5*i + 3306 = 2*p - 3539. Is p a multiple of 4?
False
Let i(p) = -3*p**3 - 2*p + 2. Let u be i(1). Let a(q) = -q + 3. Let t be a(u). Is 10 a factor of ((-165)/(-22))/(t/8)?
True
Suppose 5*f + x = 52202, -3*f + 31406 = -5*x + 68. Is 117 a factor of f?
False
Suppose 5*i + 3*c - 19 + 0 = 0, i - 4*c = 13. Let r = 8 - i. Suppose 16 = -4*f, 0*f + 154 = r*k - f. Is k a multiple of 15?
False
Suppose 4*x = -5*z + 3*x - 1226, 5*x + 250 = -z. Let c = z + 683. Does 34 divide c?
False
Let v(d) = 11*d**3 + 6*d**2 + 4*d + 10. Let c(l) = -2*l**3 + l**2. Let q(m) = -5*c(m) - v(m). Is q(-11) a multiple of 34?
True
Let i(p) = p**2 + 2*p - 94. Let t be i(-11). Suppose 0 = o - t*n - 882, o - n + 0*n = 866. Is 26 a factor of o?
False
Suppose -20 = 5*l, l - 74 = -d + 81. Let o = d + -105. Is 10 a factor of o?
False
Let k be (6 + 2)*1 - (2 - -1). Let y be ((-12)/(-5))/(k/(-150)). Does 26 divide (702/y)/((-6)/176)?
True
Let f(i) = 2*i**3 - 3*i + 8330. Does 70 divide f(0)?
True
Let w be 6/(-51) + (-4186)/(-34). Let z = w - -89. Does 9 divide z?
False
Does 21 divide -1 + ((-4)/(-6))/(70/2273145)?
False
Let d be (-206)/(-721) - 2*(-201)/14. Is 15 a factor of d/(87/3420) + 7?
False
Let j(q) = -21631 + 87*q + 21487 + 12*q. Does 36 divide j(5)?
False
Suppose 0 = 5*c - 4*c + 9. Let p be 1565/15 + (-6)/c. Suppose -4*l + l = -p. Is l a multiple of 5?
True
Suppose 77*r - 6549 = 74*r. Is 6 a factor of (r/(-118))/(1/(-18))?
False
Let k be ((-110)/(-7))/(3/7)*3. Let x(v) = 57*v - 13 - k*v + 19*v. Is 7 a factor of x(-3)?
False
Let x(k) = 6*k + 2 + k + 4*k**2 - 78 - k**2. Does 22 divide x(-11)?
False
Let q(n) = 97 - 2*n - 42 - 3*n**3 - 50 + 3*n**2. Is q(-6) a multiple of 30?
False
Let l be 0 + (-3327 - -2)/(-7). Let x = 305 + -626. Let a = l + x. Does 11 divide a?
True
Let v(r) = r**2 - 22*r - 48. Let b be v(24). Suppose b = -10*f - 8*f + 4248. Is f a multiple of 59?
True
Suppose -2*z + q = -650, -3*z + 941 = 2*q - 48. Suppose 2*i + z = 1039. Is i a multiple of 10?
False
Let h(g) = -26*g**3 + 9*g**2 + 17*g - 1. Is h(-3) a multiple of 5?
False
Let l(w) = 470*w - 2468. Is 27 a factor of l(13)?
False
Suppose 15*d - 5*d - 354980 = 0. Suppose -5901 = 17*i - d. Is i a multiple of 11?
False
Suppose 0 = -a - 3, -6*l + 7*l - 3*a - 29 = 0. Is 7 a factor of 2/(l/726) - (-60)/150?
False
Let a(c) = -16*c - 136. Let n be a(-10). Does 17 divide (3424/n)/((0 - 1)/(-15))?
False
Let t(k) = -2*k**2 + 42*k + 397. Is t(14) a multiple of 7?
False
Let b = 9800 - 1704. Is b a multiple of 46?
True
Let j(n) = -n**2 + 43*n + 459. Is 10 a factor of j(50)?
False
Suppose -5*d = -9*d + 16. Let z be 5/((-25)/15)*d/(-6). Suppose 3*t - 40 = z*j - 151, 5*t + 165 = 3*j. Is 10 a factor of j?
True
Suppose 23*p - 4282 = p + 81650. Is 47 a factor of p?
False
Let s be 1/(-3 - (-345)/114). Suppose 0 = 2*d + 26 - s. Suppose -x + d*x = 430. Is x a multiple of 43?
True
Let l be (-42)/21 - ((-2 - -1825) + -2). Let r = l + 2611. Is r a multiple of 19?
False
Let h be (-4316)/(-92) + 30/345. Suppose -h*n = -6*n - 26322. Is 27 a factor of n?
False
Let l = -21057 - -33615. Is 273 a factor of l?
True
Suppose 3310 = 5*s - 3*q - 3519, q = -4*s + 5453. Suppose -6*t + 4*b = -2*t - s, 2*b + 1714 = 5*t. Is t a multiple of 8?
True
Let v = 13916 + 1484. Is 25 a factor of v?
True
Let t(l) = l**3 + 38*l**2 + 132*l - 29. Is 5 a factor of t(-33)?
True
Let j be 13851/21 - 21/(-49). Suppose 8*i - j = 2196. Is i a multiple of 7?
True
Let a(o) = -o**3 + 29*o**2 + 12*o - 1332. Does 5 divide a(25)?
False
Let d(r) = r**2 + 1. Let k(s) = -2*s**2 + 4*s - 12. Let l(g) = 3*d(g) - k(g). Is l(5) a multiple of 40?
True
Let s be (11 - -7158)/(2/6*3). Suppose 21*b - s - 118 = 0. Is 19 a factor of b?
False
Let j = 58 - 56. Is 8 a factor of (4/14)/j - 1090/(-14)?
False
Let c = -50 - -20. Let l be c/((-7)/((-84)/8)). Let d = l + 93. Does 16 divide d?
True
Let q(c) = 473*c**2 - 177*c + 557. Does 2 divide q(3)?
False
Suppose 49*z - 35588 = 8*z. Let k = 1798 - z. Is 30 a factor of k?
True
Suppose 14*s + 8551 - 25337 = 0. Does 27 divide s?
False
Suppose -2*p - 3*c + 5*c = -22, 3*c + 3 = -2*p. Is 18 a factor of 4*3/p + 196?
True
Suppose -5*s + 5150 = -20*o + 19*o, 2*o = 5*s - 5150. Is 206 a factor of s?
True
Suppose 0 = 11*i + 60546 + 30930. Is i/(-20) - (1 + 6/(-5)) a multiple of 21?
False
Suppose 3*f - 16 = -4*r, 10 = -0*r + 2*r + 2*f. Let p be (190 - 1)*((-2)/3)/r. Is 7 a factor of (p/(-4) - 4) + (-3)/2?
False
Let d = 813 - -1718. Is d a multiple of 9?
False
Let y(b) = -14*b - 5. Suppose -2*d = 2*q + 6, 2*d + 2 = 3*q - 4. Let m(r) = r**3 - 6. Let j be m(q). Does 9 divide y(j)?
False
Suppose v = -0*v + 16. Suppose 4*j + v = 0, -444 = -2*w + 2*j - 5*j. Does 12 divide w?
True
Let c = -169 - -140. Let r(a) = 2*a + 63. Does 5 divide r(c)?
True
Let t = 2358 - -7650. Is t a multiple of 9?
True
Suppose 3*r - 34 = -p, -p = 2*r - 6*r + 43. Let k(z) be the first derivative of -z**3/3 + 6*z**2 - 6*z + 2. Is 5 a factor of k(r)?
True
Let i = 56 - 40. Let c = i + 19. Is (-15)/((c/10)/(-7)) a multiple of 3?
True
Let n(d) = 52*d**2 - 13*d + 11. Let p(t) = -t**3 - 12*t**2 - 12*t - 8. Let x be p(-11). Is 20 a factor of n(x)?
True
Suppose -2*h + 2286 = -5*a + 24214, 4*a = -4*h + 17548. Is a a multiple of 6?
True
Suppose z = 24 - 17. Suppose z*t - 19*t + 5112 = 0. Is 60 a factor of t?
False
Let m(i) = -3*i**2 + 69*i + 45. Is m(17) a multiple of 39?
True
Suppose -3*v + 4*v = 2*v. Suppose -2*o = -v*o + w - 155, -3*w = -3*o + 228. Let f = o + 22. Is f a multiple of 33?
True
Let n(q) = 73*q**2 + 31*q + 4. Let s be n(5). Suppose -s - 72 = -8*d. Does 9 divide d?
False
Suppose -114 + 6004 = 19*z. Let m(a) = 445*a - 4. Let k be m(2). Suppose -6*h + k = z. Is 24 a factor of h?
True
Let b be (-109 + 23)*38/4. Does 39 divide b/(-2) - (-5 + (-39)/(-6))?
False
Let b(k) = 168*k**2 + 45*k - 460. Is 25 a factor of b(9)?
False
Let k be 0 + (-15 - (1 + -4))*2. Let a be 16/k + (-1648)/(-6). Let c = a + -108. Is c a multiple of 19?
False
Does 19 divide 4/3*391932/24?
True
Let x = 10650 - 9615. Is 23 a factor of x?
True
Let d(t) = -5*t**3 - 42*t**2 - 28*t - 282. Does 14 divide d(-1