 = 3*c - 2*c - p. Does 3 divide c?
False
Let q = 4367 + -371. Is 37 a factor of q?
True
Suppose 5*z = -5*p + 15, 3*p - 4 + 10 = 2*z. Suppose 3*r - 6*r - 3*c + 1482 = p, 2462 = 5*r + 3*c. Is 35 a factor of r?
True
Suppose -7*b = -17*b - 20. Is b*((-1964)/8 - (7 - 12)) a multiple of 13?
True
Let j be 1206/9 + (-1 - (-5 + 0)). Let s = 248 - j. Is s a multiple of 5?
True
Let y = 479 - 477. Suppose 2*l - y*n + 349 = 2653, -n + 1152 = l. Is l a multiple of 32?
True
Let n(r) = 19*r**2 + 6*r + 14. Suppose -3*i + b = 2*b - 32, 42 = 3*i + 3*b. Let g(p) = -39*p**2 - 13*p - 29. Let v(f) = i*n(f) + 4*g(f). Is 50 a factor of v(4)?
False
Suppose 12*b - 7018 - 86 = 0. Let s = -418 + b. Is s a multiple of 29?
True
Let s be (-2158)/(-8) - (108/16)/9. Let z = s + 28. Does 33 divide z?
True
Let j = 55 - 52. Suppose j*d = 3*g + g + 127, 4*g = 2*d - 90. Suppose 0 = -w - 0*w + d. Is 27 a factor of w?
False
Let z = -598 + 1810. Suppose -b + 2*u + 760 = 0, -u + z = 4*b - 1783. Is b a multiple of 30?
True
Does 21 divide (-16)/14 - 380/(8808/2216 - 4)?
True
Let k(c) = -4*c + 9. Let x be k(3). Let v(g) = -23*g + 1. Let n(q) = -46*q + 3. Let l(p) = x*n(p) + 5*v(p). Is l(2) a multiple of 18?
False
Let b(t) = 24*t**2 + 5*t + 2. Is b(-10) a multiple of 32?
False
Suppose 30*u - 155687 = 20*u + 50093. Is 5 a factor of u?
False
Suppose 84089 - 8630 = 9*c - 3*a, 0 = 2*c + a - 16757. Is c a multiple of 66?
True
Let g be (22/6)/(2/6). Suppose -g*j + 49851 = 18*j. Is 16 a factor of j?
False
Suppose 6*i + 7 = 25. Is (-4340)/(-12) + 2/6 - i a multiple of 18?
False
Suppose -10*y + 3908 = -6*y - 4*v, 0 = 4*y + v - 3908. Suppose -2*p + y = 203. Is 14 a factor of p?
False
Suppose 2*h - 14704 = -2*g, 14*h + 3*g + 29415 = 18*h. Suppose -8*y + 27*y = h. Is 43 a factor of y?
True
Let v be (-5 - (-710)/(-15))*(-67 + 1). Suppose -29*b + v = -2462. Is 34 a factor of b?
True
Let u(z) = 17*z - 91. Does 15 divide u(24)?
False
Let i(v) = -8*v**3 + 6*v**2 + 3*v + 122. Let d(h) = -h**3 + 20. Let o(c) = 7*d(c) - i(c). Let s(b) = -9*b - 1. Let m be s(-1). Does 12 divide o(m)?
False
Let r(t) = 136*t**2 + 108*t + 32. Does 68 divide r(7)?
False
Let j(n) = -n**3 - 5*n**2 - 14*n + 5. Let f be j(-6). Let u = -46 + f. Suppose -b + 5*z = -u, -2*b + 4*z = -b - 74. Is b a multiple of 12?
False
Suppose -18 = q - 4*q. Let c(o) = 5*o**2 - 5*o - 10. Does 35 divide c(q)?
True
Suppose 5*b - 5*v = 29720, 11884 = 2*b - 4*v + 3*v. Is 10 a factor of b?
True
Suppose -3*x + 100 = 94. Suppose -19*f + 1496 = -x*f. Is 10 a factor of f?
False
Let t = -714 + 1171. Is 5 a factor of t?
False
Suppose -2*k = -5*i + 41186, 2*i + 5*k - 1431 = 14997. Is i a multiple of 46?
True
Let t be 0 + 1 + 0 + -158. Let h = 722 + t. Suppose -6*i - h = -11*i. Is i a multiple of 21?
False
Suppose -17*c + 0*c = -4607. Let h = c + -119. Does 38 divide h?
True
Let p(r) = 3*r**2 - 8*r + 7. Let s be p(-7). Let n(y) = y**2 - 35*y + 42. Let t be n(35). Suppose 7*u = s + t. Is u a multiple of 6?
True
Let g(h) = 2*h**3 + 14*h**2 - 12. Suppose -5*l - 4*b + 26 = 0, 1 = b - 2*b. Let f be g(l). Suppose -7*r + f = -0*r. Is 33 a factor of r?
True
Let a = -18116 + 26081. Does 45 divide a?
True
Let s = 5404 - 604. Is s a multiple of 79?
False
Suppose 8*s + 3*j = 3*s - 57, 16 = -4*s + 5*j. Is 9 a factor of (-3481)/s + (-22)/(-99)?
True
Let c(p) = -p**3 - 6*p**2 - 5*p - 7. Let w be c(-5). Let i(d) = -53*d + 27*d + 13 + 0 + 6 + 27*d. Is i(w) a multiple of 4?
True
Let d(t) = -27*t**2 - 1507*t - 42. Is d(-35) a multiple of 33?
False
Let y(t) = -t**2 - 3*t**3 + 5*t**2 + 0*t**2 - 1 - 3*t**2. Let p be y(1). Let f(z) = 11*z**2. Does 25 divide f(p)?
False
Let m be (-280)/(-4) - (21/(-7) + -2). Is (30/m)/((-5)/(-4475)) a multiple of 54?
False
Let o = -112 + -111. Let b = -158 - o. Does 13 divide b?
True
Let f(i) be the first derivative of 11*i**2 - 340*i + 172. Is f(32) a multiple of 4?
True
Let a be 1238*(-2)/3*(-30)/40. Suppose 2*n + 828 = 4*w, -7*w + 4*w = -2*n - a. Does 24 divide w?
False
Let a be 987/(-35) + (4/(-5) - -1). Let f = -26 - a. Does 15 divide -5*(1 - f)*6?
True
Let b(k) = 2*k**2 + 3*k + 2. Let d be b(-2). Let y be (134/(-8) - (-1)/d)*-2. Suppose -30*m = -y*m + 297. Is m a multiple of 16?
False
Let i(p) = -29*p + 159. Let q be (-4)/(-12)*(0 - -1)*0. Does 3 divide i(q)?
True
Suppose 319 = -39*i + 85. Is i/(3/(-56)*2) a multiple of 28?
True
Suppose -w = 4*s - 8424, -53*w + 67479 = -45*w + 3*s. Is w a multiple of 12?
True
Let z be (183/6 - 1)/(28/672). Let w = z - 480. Is w a multiple of 4?
True
Suppose -4*o - 4*f = -5096, -14*o + 13*o + 5*f = -1262. Is o a multiple of 24?
True
Suppose -368 = -16*t - 0*t. Let n = 23 + t. Is 46 a factor of n?
True
Suppose -4018 = 28*p - 35*p. Let i = 62 + p. Is 19 a factor of i?
False
Let r(w) = 144*w**3 + 2*w**2 - w. Let t be r(1). Suppose -361 = -8*a - t. Let b(s) = 10*s - 6. Is 13 a factor of b(a)?
False
Suppose 15 = 24*m - 21*m. Suppose -q + 2 = 0, 3*q + 2031 = m*w + q. Suppose 3*i - 636 = -n, 0*i - 2*i = -5*n - w. Is 15 a factor of i?
False
Suppose -3043*c + 3035*c = -6336. Is 18 a factor of c?
True
Let c(g) = -153*g + 9. Let b be c(-2). Does 5 divide (b/14)/((-6)/(-8))?
True
Suppose -6*l - 5*l + 1738 = 0. Let m = l + -75. Is m a multiple of 22?
False
Is 44 a factor of (66/(-5))/((-13)/(-3) - (-4194683)/(-967740))?
True
Is ((-35)/(-14))/(5/7382) - 3 a multiple of 4?
True
Suppose -l = -4*m + 13693, 0 = 4*m - 2*l - 9009 - 4681. Suppose 3576 = 14*s - m. Is s a multiple of 29?
False
Suppose 25 = 3*r - 35. Let y(t) = 48 - 12*t - r*t + 42*t. Is y(0) a multiple of 14?
False
Is (((-33)/(-6) - 7)/1)/(3/(-6858)) a multiple of 127?
True
Let d = 14394 - 3290. Is 27 a factor of d?
False
Suppose 282 = -5*g - 68. Let w = 122 - g. Let v = w - 105. Is v a multiple of 22?
False
Suppose 39*c - 30761 - 11398 = 0. Is c a multiple of 4?
False
Suppose 10578 + 155055 = 137*r. Is r a multiple of 12?
False
Suppose -15*h + 234 = -6*h. Suppose 0 = 2*k + h - 30. Is 26 a factor of k*(2 + 988/8)?
False
Suppose -3*t - 614 = -4*v + 154, 583 = 3*v - 4*t. Does 63 divide v?
True
Let m = -120 - -119. Let w = m - -142. Is w a multiple of 27?
False
Let n(a) = -a**3 + 5*a**2 + 5*a + 11. Let q be (-1 + -2 + 0)*-2. Let r be n(q). Suppose -4*w = r*u - 1130, -w + 1180 = 5*u + 65. Is u a multiple of 22?
False
Suppose -124*t + 30 = -119*t. Let j(q) = -q + 9. Let p be j(t). Suppose p*n - 234 = n. Does 9 divide n?
True
Let y(c) = 4*c + 1. Let w be y(3). Let h(b) = -b**2 + 9*b + 5. Let t be h(w). Let m = -33 - t. Does 14 divide m?
True
Let w = 344 - 197. Suppose -8*g + w = -g. Is 3 a factor of g?
True
Let l = 28 - -14. Let d be (-1 - -10)/(-81) - 109/(-9). Let k = d + l. Is k a multiple of 27?
True
Let o(g) = 573*g**2 - 100*g + 2. Is o(-4) a multiple of 87?
True
Let s(k) = 2*k**3 + 10*k**2 - 79*k + 501. Is s(32) a multiple of 113?
False
Let y be (-72)/(-10) + (-3 - 56/(-20)). Suppose 4*z + 4 + y = -5*m, -4*z = m - 1. Does 2 divide (-1*(-3 + z))/(2/3)?
False
Let k = -7 + 30. Let x = 25 - k. Is 4 a factor of -2 - (x - (-90)/(-5))?
False
Suppose 10*g - 8*g = 4*l + 34498, -17249 = -g + l. Is g a multiple of 11?
False
Let a(y) = 5*y + 39. Let i be a(3). Suppose 2*m + 8 = i. Is m a multiple of 19?
False
Does 52 divide ((-50)/20)/(90/(-369936))?
False
Is 36 a factor of 23/((-690)/(-29800))*(-18)/(-8)?
False
Let b(x) = -x**2 - 13*x - 31. Let f be b(-9). Let l(o) = 2*o**3 - 4*o**2 - 3*o + 5. Let z be l(f). Let k = z + -84. Is k a multiple of 17?
False
Let w(h) be the first derivative of h**4/4 - 10*h**3/3 + 13*h**2/2 + 23*h - 115. Does 24 divide w(12)?
False
Let y(h) = -2*h + 5. Let n be y(6). Let l be (3/(-2))/(n/490). Suppose 0 = 3*m - 2*u - 293, -m = -0*m + 3*u - l. Is m a multiple of 15?
False
Let u(o) = 158*o + 31. Let d be u(-2). Let t = 291 - d. Is 48 a factor of t?
True
Let s be (4 - (3 + (-2 - 1)))/2. Let r be (-2*s/6)/((-2)/15). Suppose -105 = -5*w + b, 2*w + w + r*b = 91. Is w a multiple of 8?
False
Let i be (-1 - 0)/3 + 27500/150. Suppose 12*t = i + 1977. Is 12 a factor of t?
True
Suppose -4*l = 3*i - 64457, 2*i + 4*l + 16909 - 59887 = 0. Does 26 divide i?
False
Let n = -89 - -65. Let p(i) = 3*i - 3. Let l be p(2). Is (n/30)/(l/(-150)) a multiple of 8?
True
Let o(i) = i**3 - 13*i**2 - 211*i + 39. Is o(26) a multiple of 13?
True
Let r = -4656 + 14096. Does 118 divide 