 = -b + 5 - l. Is b a multiple of 3?
False
Suppose -4*m + 8*m - 32 = -4*v, 4*m + 3*v - 28 = 0. Suppose 3*f = -f + m*y + 940, -y = 4. Does 20 divide f?
False
Let d = -67 - -69. Suppose w + 3*g = -d + 9, 0 = -3*w - 2*g + 49. Suppose -w*t + 126 = -5*t. Is 3 a factor of t?
True
Let a = 245 + -198. Suppose -a*p + 54*p = 3570. Is 5 a factor of p?
True
Suppose -9000 = -2*c + b, -b - 1775 = 4*c - 19763. Is 18 a factor of c?
False
Let i = -178 + -336. Let m = -217 - i. Does 11 divide m?
True
Let x(t) = t**3 + 8*t**2 + 20*t + 30. Let z be x(-11). Let r = 17 - z. Is r a multiple of 15?
True
Suppose -1325 = -5*s - 795. Let t = 420 - s. Does 11 divide t?
False
Let r be (0 - 0)*((-3)/(-6) + -1). Suppose r = -33*g + 28*g + 1020. Does 34 divide g?
True
Let w = 69 + -62. Suppose -w*r = -6*r - 395. Suppose 3*p - g - r = 0, 3*p - 394 = -0*p + 2*g. Is p a multiple of 22?
True
Let b(c) = -31*c**3 - 26*c**2 - 24*c - 9. Let x(m) = 15*m**3 + 13*m**2 + 12*m + 4. Let w(p) = -4*b(p) - 9*x(p). Is 17 a factor of w(-4)?
True
Let i(n) = -n**3 + 5*n**2. Let z be i(5). Suppose 5*l - 25 = z, -58 = -v + 2*l + 224. Does 7 divide v?
False
Let w = -120 + 125. Does 65 divide 4 - (-458 + w/((-20)/(-16)))?
False
Let b = -100 + 65. Let c = 41 + b. Suppose c*t - 188 = 2*t. Is t a multiple of 8?
False
Suppose -49*w = -28*w + 168. Is 3 a factor of ((-762)/w)/((-162)/(-432))?
False
Suppose 2*y - 5*v = 6*y + 257, 0 = -4*y + 4*v - 284. Is 17 a factor of (y/(-14)*10)/((-22)/(-77))?
True
Let n = 2389 + -1685. Is n a multiple of 11?
True
Is 15 a factor of 4 + ((-23076)/36)/(1/(-3))?
False
Suppose 307*a - 236*a - 3201958 = 0. Is a a multiple of 48?
False
Suppose -17*i + 75 = -v - 12*i, v + 5*i + 45 = 0. Suppose 4 = -3*w + 4*w. Is (-63)/w*640/v a multiple of 18?
False
Let c(h) = 4*h**3 + 140*h**2 - 23*h + 65. Is 2 a factor of c(-35)?
True
Let w(k) = -3*k**2 - 18*k + 1. Let y be w(-5). Let h(v) = v**2 - 2*v + 14. Is h(y) a multiple of 14?
True
Suppose 3*s + 5*s = -5*s + 38610. Is 27 a factor of s?
True
Let a(r) = -r**3 - 8*r**2 + 9*r - 2. Let y be a(-9). Let n be (-418)/(-18)*3 + y/(-6). Suppose 7*x - 1155 = n. Is 10 a factor of x?
False
Suppose 4*f - 1553 = 3*z, -5*f - 3*z - 2*z = -1985. Does 14 divide f?
True
Suppose -4*k = -t + 21643, 76*k - 86548 = -4*t + 80*k. Does 236 divide t?
False
Suppose -3*f = -8*f - 3*p + 30, -22 = -4*f - 2*p. Let q = -2132 + 2134. Suppose 285 = q*b + f*b. Does 19 divide b?
True
Let q(x) be the second derivative of -x**3/3 + 7*x**2 - 27*x. Let j be q(7). Suppose 0 = f - 3*f - 4*a + 138, 5*f + 4*a - 321 = j. Is f a multiple of 14?
False
Let h(g) = -4010*g - 1877. Is h(-6) a multiple of 25?
False
Let c(m) = 19*m**2 + 8*m - 34. Let u be c(5). Suppose -480*k - 198 = -u*k. Does 9 divide k?
True
Suppose 12*i = 7*i - 13*i + 8262. Is i a multiple of 40?
False
Let p(i) = 726*i - 4. Let q be p(-2). Let z be q/70 - (2/10 - 0). Let w = 83 + z. Does 31 divide w?
True
Suppose 3*c - 6312 - 191 = 5*s, 2*s = -4*c + 8662. Suppose -9*o + c = -2739. Does 45 divide o?
False
Let g(a) be the third derivative of 7/6*a**4 + 20*a**2 + 0 + 1/30*a**5 + 13/3*a**3 + 0*a. Does 54 divide g(-19)?
True
Suppose -46*q = -41*q - 4*m - 104134, -83307 = -4*q + 3*m. Is q a multiple of 114?
False
Let c be 0/(((-9)/6)/(2/4)). Let y = 103 + c. Suppose q - y = -4. Is q a multiple of 18?
False
Let s = -138 + 165. Let n(r) = -r**3 + 27*r**2 + 10*r - 20. Does 25 divide n(s)?
True
Does 62 divide (-8022)/(-5) + (-23 - 2486/(-110))?
False
Suppose 3*w - j - 50 = 0, -3*w + 3*j + 12 = -30. Suppose 81 = -t - 2*v + 309, -5*t + 1126 = 3*v. Is ((-3)/(72/t))/((-4)/w) a multiple of 6?
True
Let f be ((-84)/9 - 0)*6. Let m = f - -497. Suppose -3*y + 329 = r, 2*y + m = 6*y - r. Does 29 divide y?
False
Let m(u) = 1191*u + 6908. Does 49 divide m(36)?
True
Let l = -377 + 377. Suppose l = 37*t - 24*t - 8866. Does 43 divide t?
False
Let d(k) = -k**3 - 6*k**2 + k + 14. Let g(x) = x**2 - 14*x + 11. Let z be g(12). Let b = z + 7. Is d(b) a multiple of 8?
True
Let n = -4698 - -4717. Is n a multiple of 4?
False
Let n(p) = -39*p - 393 + 194 + 190. Let y be (-2)/(-6)*0 - 4. Is 39 a factor of n(y)?
False
Suppose -j = 21 - 19. Let f(v) = 31*v**2 - 3*v - 11. Does 7 divide f(j)?
True
Let f(p) = p**2 - 15*p + 12. Let m be f(14). Let j be -3*((-3)/m + 4/(-24)). Let u(a) = a**2 + a + 17. Is u(j) a multiple of 10?
False
Suppose 43*j - 40*j - 681 = 0. Is j - -9*(-3)/9*-1 a multiple of 23?
True
Let j = -44 + 160. Suppose -j = 10*y - 376. Is 10 a factor of y?
False
Let l = 25 + 14. Is 58 a factor of l*(138/9 + 4)?
True
Let a = -1416 - -2917. Is a a multiple of 19?
True
Suppose -14*z + 118569 - 2369 = 0. Is z a multiple of 5?
True
Suppose -3*u = 9, 68*r = 63*r + 4*u + 26442. Is r a multiple of 69?
False
Let p be 15/10*16/6. Is 22 a factor of (-1)/p + 6348/48?
True
Suppose -2*f - 3 = -k, -4*f = 3*k - 3*f + 12. Let n(v) = 4*v**2 - 5*v - 2. Let q be n(k). Let h = 57 - q. Is 4 a factor of h?
True
Does 105 divide (-7627272)/(-360) + 8/60?
False
Suppose -131*t = 120*t - 1584131 - 288831. Does 41 divide t?
True
Suppose 0 = -104*k + 38*k + 152460. Does 15 divide k?
True
Suppose 21*t = 178097 - 5540. Is 138 a factor of t?
False
Suppose 6*r - 7*r + 6047 = -3*x, 2*x - 30218 = -5*r. Is 12 a factor of r?
False
Suppose 4261 = 21*r - 9494 - 4200. Is r a multiple of 9?
True
Let f = 189 + -196. Let g(k) = -22*k + 13. Let o(u) = 23*u - 13. Let v(y) = 6*g(y) + 5*o(y). Does 32 divide v(f)?
False
Suppose -11*m = -6*m + 4*p - 258, -2*m - 3*p + 106 = 0. Is 23 a factor of (805/(-14))/((-5)/m)?
True
Let s(k) = -90*k + 7. Let l be s(-3). Suppose 12*v = 203 + l. Let f = 73 - v. Is 33 a factor of f?
True
Is 13 a factor of (-1)/42*-6 + 457616/112?
False
Suppose 3*d - 3 = 0, -4*s + 3793 + 17337 = 2*d. Is 142 a factor of s?
False
Let m = -29 + 15. Suppose 5*w - 721 + 536 = 0. Let t = w + m. Is t a multiple of 5?
False
Let u(i) = i**2 - 5*i + 2. Let s be u(6). Let d be 4 - s - -2 - 190. Let g = d - -352. Does 43 divide g?
False
Suppose -p - x = 2*p + 1187, p + 414 = -4*x. Let w = p + 682. Is 48 a factor of w?
True
Let v(k) = -15*k**2 + 7*k - 2. Let t(l) = -16*l**2 + 9*l - 4. Let u(p) = -5*t(p) + 4*v(p). Does 23 divide u(-4)?
False
Let n = -210 + 103. Let a = n - -109. Suppose -a*s = -4*g - 168, -3*s + 0*s + 5*g = -252. Is s a multiple of 7?
True
Suppose 524 = 5*g - b - 11, -5*g = 2*b - 520. Suppose -6*y = g - 4. Let c = y + 31. Does 7 divide c?
True
Suppose -57*a = -460475 - 34627 - 62358. Is 20 a factor of a?
True
Let l be (-4)/6*(-5502)/(-4). Let x = -625 - l. Suppose p + 54 - x = 0. Does 14 divide p?
True
Is (90/(-10) - -19)*2335/2 a multiple of 8?
False
Let x = -5913 + 12924. Is x a multiple of 57?
True
Suppose 35*d + 13*d + 14*d - 1096842 = 0. Is 216 a factor of d?
False
Let d(b) = 57*b**2 - b - 2. Let f(x) = 56*x**2 + x - 3. Let w(n) = -3*d(n) + 4*f(n). Is 18 a factor of w(-3)?
True
Suppose 4*d = -8*a + 4*a + 20, -5*d = -a - 19. Let i = -38 + 15. Is 23 a factor of i/(-1)*(d + (-16)/(-4))?
True
Let d = -292 - -165. Let a = -2 - d. Is 8 a factor of a?
False
Let w be (-2)/1 - -262*2. Let m(p) = 6*p - 644. Let v be m(55). Let a = v + w. Is 13 a factor of a?
True
Suppose 24*l - 11232 = 36*l. Is 36 a factor of (l/65)/((-8)/180)?
True
Suppose -1668*q + 1724*q - 18624 = 86096. Is 11 a factor of q?
True
Let q(u) = u + 2. Let c be q(4). Suppose -3*o = n - c*o, -5*n - 5*o = 0. Suppose 5*z - 80 = 5*x, n = 5*z - 3*z + 5*x - 11. Does 4 divide z?
False
Let q(n) be the first derivative of -n**4/4 - 13*n**3/3 - 11*n**2/2 + 7*n + 69. Does 21 divide q(-14)?
True
Suppose -2*f + 6 = 7*g - 12*g, f = -3*g - 8. Let j(w) = -266*w - 21. Let v be j(g). Suppose v = 5*d + 2*d. Is d a multiple of 10?
False
Let c = 48 - 47. Let t be 15 - (c + -1 + 2 + -5). Suppose t*h - 160 = 16*h. Is h a multiple of 10?
True
Suppose -261*v = -288*v + 142101. Is v a multiple of 19?
True
Suppose 0 = 5*q + 4*w - 477, 61*w - 59*w = 6. Let b = 524 + -319. Let k = b - q. Does 16 divide k?
True
Suppose 3*h + p - 107557 = 0, -9*h + 7*h = p - 71707. Is 239 a factor of h?
True
Suppose z - 5*v - 173 = -35, -2*z + 4*v + 282 = 0. Let r = -71 + z. Is 3 a factor of r?
True
Suppose -2*n = -5*i - 5867, -3*i - 1983 - 3878 = -2*n. Is 77 a factor of n?
True
Let o = -401 - -441. Suppose o*s - 49606 = -17046. Does 22 divide s?
True
Suppose 