0 - r)*52/(-6) a multiple of 26?
True
Let j = 50 + -62. Let x be (4 - 2)/((-4)/j). Let b(a) = a**3 - 7*a**2 + 6*a + 7. Is 2 a factor of b(x)?
False
Let r(k) be the first derivative of k**3/3 + k**2/2 + k - 12. Let b(c) = 6*c**2 + 29*c + 6. Let n(o) = b(o) - 4*r(o). Is n(-17) a multiple of 31?
True
Suppose 79*c = 114*c - 52535. Does 9 divide c?
False
Let k(m) = 4*m**2 - m + 4. Let g be (5 - 3 - 1)/(2/10). Let h be k(g). Suppose -a - 2*l - 2 = -65, 2*a - 5*l = h. Does 18 divide a?
False
Let t = -8985 - -13370. Is t a multiple of 25?
False
Let v(o) be the second derivative of 5*o**6/144 - o**5/20 + 5*o**4/2 - 26*o. Let q(x) be the third derivative of v(x). Does 30 divide q(7)?
False
Let a be (1410/45 - 13)*(1 - -2). Suppose a*v = 6*v + 38269. Does 35 divide v?
False
Let c = -3499 + 3971. Does 8 divide c?
True
Let o(a) = -14*a - 3. Let t = -69 - -96. Suppose -5*m = 3*y + t, 2*y + 2*y = 2*m - 10. Does 7 divide o(y)?
False
Let x(t) = -7*t**3 - 10*t**2 + 5*t - 4. Suppose -5*v - 2*s = 7 - 40, -3*v + 5*s - 5 = 0. Suppose l + 1 = h, -h - 4 - 19 = v*l. Is 24 a factor of x(l)?
True
Suppose -5*t - 2*v = -t - 68088, 0 = -2*t + 2*v + 34038. Is 141 a factor of t?
False
Let q be -21*((-357)/9)/7. Let x = q - 109. Is 5 a factor of x?
True
Suppose -85 = -7*w - 50. Suppose -4*i + 149 = a - 858, 0 = -a - w. Is i a multiple of 25?
False
Suppose 164*f + 38*f - 13938 = 0. Let k(h) = 4*h**2 + 7*h. Let p be k(-6). Let m = p - f. Is m a multiple of 7?
False
Suppose 34*f + 9*f + 191115 = 1186436. Does 68 divide f?
False
Let i = 51243 + -26379. Is i a multiple of 112?
True
Let x(l) = -12*l + 40. Let q be x(3). Is (-3 + q/2)*-112 a multiple of 7?
True
Does 97 divide (2583/(-210)*5)/(6/(-776))?
True
Let b = 158 - 157. Let k(d) = 192*d**3 - 2*d**2 + 2. Does 12 divide k(b)?
True
Let j = 21 + -17. Suppose -2*o + 5*a = -1363 - 945, j*o + 5*a = 4556. Is o a multiple of 52?
True
Let c be (-250 + -19)/(2*2/(-8)). Let p = 2095 - 1310. Suppose -2*a + 2*b = -c + 138, p = 4*a - b. Does 13 divide a?
True
Let j be ((-12)/(-40))/(2/90)*6 + 7. Let b = -150 + 295. Let f = b - j. Does 17 divide f?
False
Let r be 770/(-44) - 2*(-3)/(-12). Let s = r + 771. Is 10 a factor of s?
False
Suppose 37*i - 574532 = -2*i + 5*i. Is i a multiple of 26?
False
Let k(j) = j**3 + 15*j**2 + 24*j + 21. Let h be k(-9). Let q = h - 75. Does 37 divide q?
False
Suppose -4*h - 5*b = -576 - 140, 5*b - 890 = -5*h. Let s = h - 138. Suppose -l + s - 11 = 0. Does 5 divide l?
True
Let m(j) = -8297*j - 1995. Is 8 a factor of m(-3)?
True
Let d(p) = 33*p**2 - 26*p + 186. Let j be d(6). Let t = -226 + j. Is 16 a factor of t?
True
Let k(l) be the second derivative of l**4/12 + 7*l**3/6 + 17*l**2/2 + l. Let b = 466 - 477. Is k(b) a multiple of 18?
False
Let p be 8*(5/(-2) - -5). Suppose p*t - 595 = 645. Is 53 a factor of t?
False
Is 3910/14 - 0 - (-324)/(-1134) a multiple of 16?
False
Let l(x) = 88*x - 1566 - 26*x + 1513. Is l(4) a multiple of 9?
False
Suppose 284248 + 134384 = 33*c - 147483. Is c a multiple of 59?
False
Let i(a) = a**3 - a + 9. Let h(m) = -m**2 + m. Let t = -120 - -121. Let g(w) = t*i(w) - 2*h(w). Is 31 a factor of g(4)?
True
Suppose -19*r + 12*r - 224 = 0. Does 17 divide (-112)/r*(-188)/(-7)?
False
Let u = -4242 + 7234. Is u a multiple of 8?
True
Suppose -p + 3 = 0, -5*p + 126 + 17 = -l. Is 1*5 - (l - -25) a multiple of 12?
True
Suppose 30*j = 40*j + 130. Let u(h) = -37*h - 96. Is 35 a factor of u(j)?
True
Is (-4)/7 - (-1890972)/378 a multiple of 42?
False
Let m(k) = -k + 4. Let f(n) = -12*n - 2. Let i(a) = f(a) + 3*m(a). Suppose 2*s + 2 + 2 = h, 3*h - 4*s = 4. Is i(h) a multiple of 35?
True
Let g = 4706 - 4485. Is 17 a factor of g?
True
Let x = 25 + 11. Suppose 9*u - 21*u = -x. Let c(y) = 2*y**2 + 4*y - 11. Is c(u) a multiple of 3?
False
Let h(y) be the third derivative of y**7/2520 + y**6/120 - 41*y**5/60 - 30*y**2. Let u(d) be the third derivative of h(d). Is 28 a factor of u(12)?
False
Let f = 53 - 53. Suppose 0 = -h - 5*p + 26, 4*h + 3*p - 15 - 21 = f. Suppose h*y + 680 = 11*y. Is 34 a factor of y?
True
Let i be (227/2)/(14/28). Let s = i + -70. Let o = s + -68. Does 10 divide o?
False
Let v = -679 - -1734. Let b = v - 745. Is 10 a factor of b?
True
Let c = -1559 + 5637. Does 13 divide c?
False
Let m(c) = c**3 - 2*c**2 + 2*c. Let v be m(3). Suppose -5*i = -v - 105. Let t = 40 - i. Is t a multiple of 2?
True
Let d = -5524 + 6729. Is d a multiple of 12?
False
Is 12 a factor of -3 - (-13)/(91/3556)?
False
Suppose 3*i + 4*v - 8585 = 0, -6*v + 3*v - 8571 = -3*i. Suppose 2*n + 153 - i = 0. Is 33 a factor of n?
True
Let f be (-8)/6*(648/16)/9. Does 31 divide (2604/24)/(f/(-12))?
True
Let h = 19332 + -17048. Does 3 divide h?
False
Let d(r) = 12*r**2 - 7*r. Let t(k) = -18*k**2 + 10*k. Let s(i) = -7*d(i) - 5*t(i). Let y be 2/(-1) - (4 + -2). Is 25 a factor of s(y)?
True
Let w = -914 - -806. Does 14 divide (228 - 18)*w/(-15)?
True
Is 2/(-14) - (35 - 191214/63) a multiple of 60?
True
Let q be (-1)/((-4)/630) - (-9)/6. Let s = -111 + q. Is s a multiple of 3?
True
Suppose -5*h - 2*u + 119 = 0, 5*h + 13*u - 12*u - 122 = 0. Suppose -k - 245 - h = -5*i, -k - 216 = -4*i. Is 27 a factor of i?
True
Suppose 0 = -643*u + 632*u + 67067. Is u a multiple of 12?
False
Let s = 246 + -230. Let r(p) = p**3 - 15*p**2 + 36*p - 55. Is 81 a factor of r(s)?
False
Let z be 4/14 + (-1204)/98. Let p(k) = -k**2 - 17*k - 37. Is 2 a factor of p(z)?
False
Let u = 410 - 134. Suppose -t + u = 90. Is t a multiple of 18?
False
Suppose 3*q - 5325 = -5*l + 3792, 0 = 5*l + 5*q - 9115. Is l a multiple of 48?
True
Suppose 0 = -87*m + 104*m - 680. Let o be 1/(-2) + 238/4. Let b = o - m. Does 3 divide b?
False
Let s = 2159 - 2149. Let b(g) = g**3 + 4*g**2 - 5*g + 1. Let c be b(4). Let a = c + s. Does 23 divide a?
False
Does 42 divide (1 - (1 - -1)) + (20504/(-8))/(-1)?
True
Suppose -4*g = -2*h + 21216, h - 10608 = -g + 6*g. Is h a multiple of 26?
True
Let k = 19050 - 10360. Is k a multiple of 158?
True
Let q = 12220 - 3729. Is q a multiple of 32?
False
Suppose 5*f + 13 = k, 4*k - 2*f + 14 = 2*k. Is 9 a factor of (-4)/((-16)/k)*(-3 + -72)?
True
Is 2679 + (32 - 26 - 14/2) a multiple of 19?
False
Let v be -7 + (-5)/(5/(-13)). Is 73 a factor of 291/9*(-3 + v)?
False
Let m(p) = p**2 + 8*p - 7. Let t be m(-9). Suppose 4*n - t*n - 2 = 0. Does 32 divide 132 - n - (14 + -16)?
False
Suppose 20*q - 54*q + 380443 = -11*q. Is q a multiple of 65?
False
Suppose 147 = 4*u + 4*d - 185, 2*u - 2*d = 170. Let k = 132 - u. Is 6 a factor of k?
True
Let k(q) = -6*q + 10. Let u be k(-16). Suppose -2*i = u + 58. Let z = -22 - i. Does 8 divide z?
False
Suppose -32 = -4*j - 4*n, 0 = 2*n + 2*n - 20. Suppose -f = x + j*f + 36, -2*f = -4*x - 72. Is 9 a factor of (-15)/x*2*30?
True
Suppose -11647 = -13*n + 16072 + 15961. Does 10 divide n?
True
Suppose 627*d = 609*d + 32742. Is 13 a factor of d?
False
Suppose -21*a = -18*a. Suppose a = 5*q + 2*n - 60 - 80, 4*q + 2*n = 112. Does 4 divide q?
True
Let p(m) = -31*m - 4. Let s be p(3). Let j = 39 + 74. Let f = j + s. Does 4 divide f?
True
Let r be (1 + -1)*(-3)/3*-1. Suppose r*m + 147 = -7*m. Let l = 33 + m. Does 9 divide l?
False
Let k(j) = -j**2 - 19*j. Let a be (25 - 26)*18/2. Is k(a) a multiple of 15?
True
Suppose -8*i + 11*i + 18 = -3*v, -5*i - 26 = 4*v. Let p(h) be the third derivative of -h**6/30 - h**5/10 + h**4/8 + 5*h**3/6 + h**2. Does 17 divide p(v)?
True
Let z = -409 - -410. Suppose -2*k + 0*k - 8 = 0. Does 5 divide z/(-2) + (-106)/k - 3?
False
Is 6 a factor of 165 + -16 + 4 + 26?
False
Suppose 0 = -44*t + 45*t - 2. Let x(m) = m**3 - 2*m**2 + 2*m - 4. Let w be x(t). Suppose w = 9*v - 6*v - 435. Is 29 a factor of v?
True
Let h be 2/4 - (-382)/(-4). Let a = -74 - h. Suppose -6*y + a = -5*y. Is 4 a factor of y?
False
Let k(w) = w**3 + 51*w**2 + 273*w + 7. Does 38 divide k(-41)?
True
Suppose -47*m - 126 = -26*m. Let s(j) = -79*j - 110. Is s(m) a multiple of 13?
True
Let t(f) = -276*f**3 - 43*f**2 - 113*f + 11. Is t(-3) a multiple of 7?
False
Let o be ((-4)/8 + -1)*(-88)/(-6). Let r be 26/143 - (-70)/o. Is 23 a factor of 2/(-3) - (0 - (-347)/r)?
True
Let m(k) be the second derivative of k**3/6 - 8*k**2 - k. Let y be m(10). Let x = 6 - y. Is 10 a factor of x?
False
Let v be (-18 - -15)*(-4)/(-6). Let s be (v/(-2) - -1)*1. Suppose