z = -166 - -171. Suppose 4*c + 4*m - 60 = 0, 4*c - z = 2*m + 85. Does 6 divide c?
False
Let i(j) = 200*j**2 + 60*j - 38. Is i(-8) a multiple of 69?
True
Let m = 34961 - 22030. Is m a multiple of 107?
False
Let m(u) = u**3 + 3*u**2 - 2*u - 1. Let d be m(-3). Let o(w) = -w**2 + 5*w - 2. Let x be o(d). Let i = x - -10. Is i a multiple of 3?
False
Suppose 371 = 14*r - 2989. Let b = -92 + r. Does 37 divide b?
True
Let s(p) = 4*p**2 - 24 + 14 + 12 + p - 3*p**2. Is s(11) a multiple of 15?
False
Let j(c) = c**2 + 2*c - 4. Let b be j(-4). Let f be 260/50 - 12/10. Suppose 0 = -d + 1, -f*y = -0*y - b*d - 320. Does 9 divide y?
True
Let o = 116 + -116. Suppose -37*l + 35*l + 236 = o. Is 18 a factor of l?
False
Does 14 divide 112/(3380/1120 + -3)?
True
Let c = 70247 + -37887. Is c a multiple of 20?
True
Let l(t) = -5*t**3 + 3*t**2 + 10*t - 6. Let q be l(4). Let o = -43 - q. Does 15 divide o?
True
Let o be 4/((-8)/6)*(-14 + 16). Let l(w) = -w**3 - 7*w**2 - 14*w - 9. Is l(o) a multiple of 3?
True
Let g = 409 - 404. Suppose -r = g*o - 324, 1689 = 5*r - 13*o + 15*o. Does 3 divide r?
True
Let l be 20/7 + (-3)/(-21). Let n be (58/18 - l) + 102/27. Suppose -5*o + 300 = -8*h + n*h, -o + 2*h + 54 = 0. Does 8 divide o?
True
Suppose 4*y - f - 6 = 3*y, 15 = -3*f. Let q(l) = -y - 10*l + 0*l**3 + l**3 - 6*l - 18*l + 7*l**2. Is q(-10) a multiple of 39?
True
Let l(r) = 286*r + 42. Let f(y) = -y. Let a(b) = -4*f(b) + l(b). Is 16 a factor of a(3)?
True
Suppose 4*a - c = -363, 0 = -3*a - 2*c - 2*c - 296. Let s = 9 - a. Let t = s + -59. Does 8 divide t?
False
Suppose -b = 6, 0 = 8*n - 4*n + 4*b - 2832. Is 7 a factor of n?
True
Let i = -109185 - -166305. Is 13 a factor of i?
False
Let k = -4 + -90. Let x = -62 - k. Let g = 100 - x. Does 4 divide g?
True
Let d(m) = 10*m**2 + 96*m + 3. Let f(r) = -20*r**2 - 189*r - 6. Let s(a) = 5*d(a) + 3*f(a). Is s(-8) a multiple of 3?
False
Let r be 9/(-3) - (0 - 992). Suppose -5*m = -601 - r. Is 25 a factor of m?
False
Let y(q) = q**3 + 18*q**2 + 3*q + 102. Let u = -297 + 279. Does 10 divide y(u)?
False
Suppose -25*r = -7736 + 611. Does 19 divide r?
True
Suppose 21*l - 35 = 70. Suppose -4*q - 20 = -l*d + 2, 4*d = 3*q + 16. Let w = 32 + q. Is w a multiple of 24?
True
Let c = -19278 - -25800. Is 12 a factor of c?
False
Let g(b) = 69*b - 3. Let j be g(3). Let w be 20/6*j/(-10). Let c = 98 + w. Is 10 a factor of c?
True
Let c(q) = -q**3 + 2*q**2 - 1. Let r be c(-2). Let a be (r/30)/((-1)/2)*-1. Is 38 a factor of (65 + 0)/a - (-1 + 3)?
False
Suppose 0 = 51*r - 48*r - 3996. Suppose 0 = -21*l + 27*l - r. Is l a multiple of 35?
False
Suppose -y + 16 = -3*r, 2*y = 3*y + 5*r. Is (-2)/1*((-2215)/y + -5) a multiple of 44?
False
Let a = 277 - 286. Let z(c) = -20*c**2 - 56*c - 46. Let y(x) = -7*x**2 - 19*x - 15. Let j(h) = 14*y(h) - 5*z(h). Does 8 divide j(a)?
True
Suppose 0*r + 4*x = 4*r + 120, 5*x + 84 = -4*r. Let t = 102 + r. Is 9 a factor of 1/((-3 + t/26)/(-5))?
False
Suppose 0 = -3*p + 3*r - 5*r + 54, 5*r + 18 = p. Suppose 3*j - 3*y - 786 = 0, -y = -p + 22. Is 43 a factor of j?
True
Let u(g) be the second derivative of 47*g**3/3 + 15*g**2 + 37*g. Is u(3) a multiple of 78?
True
Let k = 6884 + -784. Does 32 divide k?
False
Let i be 4/(-2)*1 - 284. Let m = 423 + -306. Does 15 divide 26/m - i/9?
False
Let k be 9603/(-45) - (-4)/10. Let d = k + 1080. Is d a multiple of 7?
False
Suppose 4*c + 840 = 2*p, -4*p = -2*p + 4*c - 872. Suppose 31*m = 5388 - p. Is 5 a factor of m?
True
Let c = -5169 - -10983. Does 9 divide c?
True
Suppose -3*m = -4*o - 5, -o = -0*o - 3*m - 1. Does 13 divide o + 3608/4 - 12/4?
True
Suppose 4*c + 8 = 8*c. Let k be c/((-24)/(-10) - 2). Is (k/10)/((-1)/(-454)) a multiple of 42?
False
Let t(l) = -l**2 + 77*l + 0*l**2 - 62*l + 13. Let k be t(12). Suppose -5*b = -5*v + 65, 5*v - v - 3*b = k. Does 10 divide v?
True
Suppose -4*b - 10 = 2*n, -b + 5*b - n + 13 = 0. Is (22 - (0 - b)) + -8 a multiple of 11?
True
Let u(a) = -2*a**3 - 38*a**2 + 2*a + 12. Let p be u(-19). Let h(o) = -31*o + 151. Does 87 divide h(p)?
True
Let a be -6 - 3*(272/(-24) + -2 - 0). Suppose -u + 179 = 4*d, u + 27 = d - 14. Suppose -a*q + 32*q + d = 0. Is q a multiple of 22?
True
Let d(q) = -3*q + 6. Let n(m) = -12*m + 8. Let g(z) = d(z) - n(z). Let v(a) = a**3 - a**2 + a + 9. Let c be v(0). Is 8 a factor of g(c)?
False
Let a be (4/10)/(2/20) + 46. Let b = a + 59. Let l = b - 51. Does 29 divide l?
True
Is (-98)/((-3)/2*(-146)/(-2847)) a multiple of 61?
False
Is 16/(-84)*-3618 + (-18)/(-21) a multiple of 30?
True
Suppose 15*g - 6*g = -7146. Let s = -385 - g. Is s a multiple of 18?
False
Let c(r) = -5522*r - 1231. Does 50 divide c(-3)?
False
Let u(s) = s**2 + 2*s - 2. Let g be u(6). Let b = g + -46. Suppose b = 2*h - 21 - 183. Does 12 divide h?
False
Let q(t) = 2*t**3 - 17*t**2 - 6*t - 22. Let z be q(9). Suppose f + 0*f = -z*i + 432, 0 = -2*i + f + 170. Is 24 a factor of i?
False
Let q(w) = -40*w + 43. Suppose -t = 4*t - y + 21, -5*y + 21 = -4*t. Is q(t) a multiple of 5?
False
Let q(k) be the first derivative of -k**4/4 + 3*k**3 + 7*k**2/2 + 5*k + 8. Does 21 divide q(5)?
False
Let a be -2*(-161 + (2 - (-1)/1)). Suppose -2*d - 3*s + a = 0, -d + 2*s = -6*d + 779. Suppose -d = -6*g + 5*g. Is g a multiple of 20?
False
Does 6 divide (-34739)/(-11) - 325/3575?
False
Suppose 222*a = 224*a - 5*i - 5643, 5*i = -5. Does 5 divide a?
False
Let i be (102/9)/(30/45). Suppose 0 = -19*n + i*n + 1704. Does 12 divide n?
True
Let t(l) = 87*l + 952. Is 35 a factor of t(67)?
False
Suppose -5*b - 3*o + 4*o = -78, 40 = 3*b - 4*o. Suppose -2*h = -f + 19, -5*f - b = 2*h - 3*f. Is (-556)/h + (-4)/(-36)*2 a multiple of 18?
False
Let y(d) = -d**3 + 72*d**2 - 4*d + 18. Is y(71) a multiple of 12?
False
Suppose 0 = -u + 34 + 9. Suppose 0 = l + l - 6, l = -2*g + u. Suppose a - 42 = 4*f + g, 0 = -4*f. Is a a multiple of 7?
False
Let u = -526 - -523. Does 30 divide u/(-4) + (-3410)/(-8)?
False
Let d(g) = 62 - 3*g**2 - 102*g + 70*g + 2*g**2. Is d(-26) a multiple of 16?
False
Let h = 54019 + -42651. Is h a multiple of 29?
True
Let c(y) = 17804*y - 6537. Is 145 a factor of c(3)?
False
Let d(v) = 42*v + 398. Let b be d(-16). Suppose 3*w + 9 = -0*w. Is 11 a factor of (-1)/w + b/(-6)?
False
Let l = -3409 + 3885. Is l a multiple of 28?
True
Let o = 1307 - 1391. Let j be 5 + 2/(2/2). Does 5 divide (o/(-20))/j*105?
False
Let r(f) = -1664*f**2 - 4*f + 1671*f**2 - 8*f. Is 65 a factor of r(8)?
False
Let i be (-2 - -7) + -1 + -1. Suppose -i*z + 294 = -3. Is z a multiple of 11?
True
Let p(z) = -z**3 + 86*z**2 - 23*z - 534. Does 18 divide p(84)?
True
Suppose i - 6532 = -5*l + 13940, -5*i = -4*l + 16395. Suppose -10*s + l = -s. Does 24 divide s?
False
Suppose 20*l + 85229 = 151517 + 376552. Is l a multiple of 28?
False
Let z = -1100 - -2134. Does 22 divide z?
True
Suppose x = 4*k + 58354, -12*k + 10*k = 5*x - 291682. Does 42 divide x?
True
Suppose -f - 5*h + 643 = 0, -3*f = -5*f - 3*h + 1272. Does 3 divide f?
True
Suppose -171*d = -168*d - 780. Let k = d + -82. Is k a multiple of 8?
False
Suppose 451 - 435 = 4*h. Suppose 2*c + 1766 = 4*t, t - 444 = -6*c + h*c. Does 26 divide t?
True
Suppose -2*w - 16 = -6*q + 3*q, 6 = -5*w - q. Let k = w - 20. Does 4 divide k - -20 - (-21 + 0)?
False
Let d(k) = -3*k + 27. Let r be d(8). Suppose r*j - j = 18. Is 7 a factor of (1/(-2))/(j/(-702))?
False
Let l(x) = 41*x**2 - 3*x - 12. Let o be l(-4). Suppose -o + 152 = -9*q. Suppose 52 = 9*d - q. Is 3 a factor of d?
True
Let d be (2 - (-2)/(-4))/((-42)/(-17528)). Suppose -5*f + 4*c = -614, 5*c = 5*f + 4*c - d. Suppose -120 = -a - 2*a + b, -3*a + f = b. Is 5 a factor of a?
False
Suppose -3*o = -0*o. Let k(q) = 8*q**2 - 28*q + 124. Let s be k(6). Suppose o = 4*f + 4*u - s, f + 254 = 5*f + 2*u. Does 8 divide f?
False
Let y(o) = -o**3 + 6*o - o - 12 - 6*o**2 + 3. Let i be y(-7). Suppose h - 298 = -5*n, -2*n + 230 = 2*n + i*h. Is n a multiple of 18?
False
Let r be (2/(-4))/(9/(-54)). Let i(p) = p**3 + 2*p**2 - 7*p - 10. Is 7 a factor of i(r)?
True
Is 28 a factor of (327/(-2))/(5/(-10))?
False
Let p be (-2)/(-9) + -6*34/(-54). Suppose 107*q = 109*q - p. Suppose -q*a = -9*a + 280. Does 10 divide a?
True
Let u(f) = f - 24. Let g be u(16). Let j be 61 - (-3)/((-36)/g)*-3. Let h = j + 1. Is h a multiple of 12?
True
Does 11 divide (-22)/33 - (-25624