4*k + 37, 4*b + 3*k - 43 = 0. Is 13 a factor of b?
True
Suppose -3*m - 7796 = -4*u - 8*m, -u + 1960 = 4*m. Let k(p) = -14*p + u - 17*p - 1937. Is 20 a factor of k(-3)?
True
Suppose 0 = -466*s + 474*s - 62167 + 10303. Is 77 a factor of s?
False
Suppose -226 = 12*o - 10*o. Let u = o + 164. Suppose 3*g - 30 = u. Does 9 divide g?
True
Does 12 divide (-1)/6*3*(3 - 8965)?
False
Let n = 1875 - 686. Let q = -815 + n. Does 17 divide q?
True
Let d be (-7870)/(-60) + 1/(-6). Let t = -699 + 980. Let u = t - d. Is u a multiple of 30?
True
Let f(p) = 1216*p - p**2 + 4 - 1218*p + 8. Let k be f(-3). Suppose s + 105 = 2*i, -k*s + 5*s + 243 = 5*i. Is i a multiple of 17?
True
Suppose 5*n + 47 - 160 = 4*l, -4*n + 4 = 0. Is (3528/l)/8*(-15 - 0) a multiple of 18?
False
Does 20 divide (1 - 37939/2)*((-54 - -95) + -43)?
False
Let z be 44/10 - (-14)/(-35). Suppose 0*s - z = -s. Suppose v + 8 = -5*b, 3*b - 58 = -s*v + b. Is v a multiple of 11?
False
Let f(d) = 13*d**2 - 3*d - 3. Let r(t) = 74*t**2 + 2*t - 1. Let i be r(1). Let g be (-2)/((-5)/(i/(-10))). Is 41 a factor of f(g)?
True
Let i = -37 + 44. Suppose -5*w + 5*y + 40 = 0, -25 = -4*w - 2*y + i. Does 5 divide (w - 2) + -1 + 5?
True
Suppose f + 19 = 4*j, 0 = -2*j - 3*j + 2*f + 20. Does 12 divide 3/(0 + j)*216?
True
Let m = 3897 - 1959. Is 57 a factor of m?
True
Let u = 9249 - 4983. Is 83 a factor of u?
False
Let j = -42 - -46. Suppose -17 = j*r + 7. Is (-11*2/8)/(r/72) a multiple of 24?
False
Suppose 0 = 14*z + 561 + 195. Is (z/12 + 3)*-320 a multiple of 20?
True
Suppose -m - 2*u - 755 = -2*m, -4*m + 2996 = 4*u. Suppose -6*q = -m - 101. Let s = -97 + q. Is 15 a factor of s?
True
Suppose -1 - 3 = 4*c. Let y(x) be the first derivative of -17*x**4/4 + x**3 + x**2 - 159. Is 3 a factor of y(c)?
True
Let q(k) = -125*k - 3637. Is 4 a factor of q(-49)?
True
Suppose -1246*o + 12696 = -1234*o. Does 36 divide o?
False
Suppose -3*r + 3*y - 1235 = 7*y, -4 = -4*y. Let l = r + 567. Is l even?
True
Does 66 divide (4 - -2 - -1845)/1?
False
Let y be (21/35)/(-3*2/(-30)). Is 12 a factor of y*(139/3 - (-28)/(-7))?
False
Let c(n) = -2*n + 12. Let x be c(4). Let p be 0 - ((-104)/x + 1). Let z = p + -9. Does 2 divide z?
True
Let x(a) = 71*a**2 - 4*a - 21. Is x(-7) a multiple of 21?
True
Let z = 159 + 96. Let t = -218 + z. Is t a multiple of 3?
False
Is 7 a factor of 76570/38 - (-1 - -17)/(-2)?
True
Suppose -78*t = -83*t - 165. Suppose 0 = b + o + 13 + 5, 5*b + 2*o + 93 = 0. Let j = b - t. Does 7 divide j?
True
Suppose 3*v + 940 = -y, v + 324 = -0*y + 5*y. Let i = v + 444. Suppose 108 = 7*u - i. Does 17 divide u?
True
Let d = 89 - 82. Is 17 a factor of 3*d/12*(-672)/(-12)?
False
Let s(w) = -37 + 19 - 18*w + 23. Suppose 118 = -12*i + 46. Is s(i) a multiple of 25?
False
Let i(v) = 12 - 81*v + 265*v + 6*v. Is i(6) a multiple of 72?
True
Let q(o) = -o**3 - 3*o**2 - 2*o - 11. Let x be q(-7). Let w = x + -71. Suppose 0*t + 4*c - w = -t, -5*t + 732 = -3*c. Is t a multiple of 9?
True
Is 28 a factor of (2/4)/((-139)/(-1081142))?
False
Let n be 88/77*(-7)/(-2). Suppose 0 = -4*j + n*f + 584, j = -5*f - 0*f + 158. Is 5 a factor of j?
False
Is (-5 - (-5 - 3)) + (-9544)/(4*-1) a multiple of 65?
False
Suppose 4*l - 6*l + 5*p + 67 = 0, -p - 202 = -5*l. Let c be 1*0/((-9)/(-3)). Suppose c = 43*b - l*b - 72. Is b a multiple of 6?
True
Suppose -3*t - 3 = 0, 2*p + 4*t = 6*p - 1008. Does 33 divide p?
False
Let v be (-119264)/(-120) + 2 + 4/30. Suppose v = 5*o - o. Does 20 divide o?
False
Let m = 49009 - -12278. Is 42 a factor of m?
False
Let p(r) = 551*r**3 - 25*r**2 + 12*r + 13. Is p(3) a multiple of 15?
False
Let h = 4437 + -1442. Suppose -2*m - 4*x + 1263 - 67 = 0, -5*m - 5*x = -h. Does 25 divide m?
True
Let b be (2/2)/(2 + (-3 - 0)). Let d be 218 + 2*(0 + b). Does 13 divide 1 - (-5)/(10/d)?
False
Suppose 147 = -22*t + 37. Let n(b) = -21*b - 7. Does 21 divide n(t)?
False
Let b be (-18)/(-2) - (58 + -55). Suppose -2*j + a = -129, -2*j - 2*a = -b*a - 144. Does 8 divide j?
False
Let m(v) be the first derivative of -29*v**2/2 - 27*v - 6. Is m(-4) a multiple of 12?
False
Let c = -65 - -78. Suppose c*i - 100 = 9*i. Let z = -1 + i. Is z a multiple of 3?
True
Suppose 84 = 15*c - 8*c. Does 17 divide (-8)/c*(-357 - (-5 - -5))?
True
Let z(m) = 38*m - 1. Let y be z(4). Suppose 0 = 2*o + b - y, -o + 2*b + 68 = 4*b. Suppose 5*d + 3*r = 315, -r = 4*d - o - 181. Is 11 a factor of d?
True
Suppose 15*k + 42254 = 87820 + 95314. Does 24 divide k?
False
Suppose 1155 = r + 14*r. Suppose -r + 14 = -3*z. Is 7 a factor of z?
True
Let m(v) = 2861*v**2 + 779*v + 2339. Is 11 a factor of m(-3)?
True
Suppose 17*l = 9*l + 16. Is 3 + (-1*(-8)/l - -17) a multiple of 4?
True
Let n(b) = -254*b - 4788. Is 21 a factor of n(-114)?
False
Let u = -9122 - -60446. Does 94 divide u?
True
Is (-18114)/9*(15 - 20 - -2) a multiple of 15?
False
Let q be (-15)/35*(-4 - 3). Let j be ((-4)/(-10))/((-12)/3000) - q. Is 24 a factor of (1 + 1)/((-1)/j)?
False
Let b be (-52)/14 - 2/7. Let a be b*(1 - (1 + 6)). Suppose 6*d - 840 = a. Does 16 divide d?
True
Let f(t) = 15*t**2 - 84*t + 309. Is 19 a factor of f(37)?
False
Suppose 6*v = 5*n - 11136, 3639 + 3003 = 3*n + 3*v. Is 15 a factor of n?
True
Suppose 255 - 939 = -18*r. Let a(s) = 7*s - 234. Is 8 a factor of a(r)?
True
Let x(k) = 7*k**2 + 3*k + 19. Let b(u) = u**3 + 11*u**2 - 28*u - 20. Let h be b(-13). Is x(h) a multiple of 40?
False
Is 5 a factor of (6/(-48)*-12)/((-1)/(-3026))?
False
Let j(y) = y**3 + 6*y**2 + 10*y + 6. Let h(n) = -n - 1. Let z(i) = -2*h(i) - j(i). Let p = 16 - 22. Is z(p) a multiple of 28?
False
Let x = 5222 + 2646. Is 52 a factor of x?
False
Let l = 9348 + -4573. Is l a multiple of 25?
True
Let o = -625 - -1226. Let x = -105 + o. Does 62 divide x?
True
Let t = 2864 + -1031. Is 86 a factor of t?
False
Suppose -2*m - 191522 = -7*t, 54724 = 2*t + m - 5*m. Is 36 a factor of t?
True
Let l(k) = k**3 + k**2 - k - 1124. Let v = -34 - -34. Let m be l(v). Is 14 a factor of m/(-20) - (-3)/(-15)?
True
Let o be (3/3*1 - -2) + -3. Suppose -5*d + 5*l + 485 = -o*d, -297 = -3*d - 3*l. Suppose -4*p + 5*s - d = -421, p = s + 81. Is p a multiple of 17?
False
Let b(x) = -18*x - 89. Let d be b(-26). Let k = d + -353. Is k a multiple of 12?
False
Suppose 4*r + 94 = -3*c - 150, -5*c = 2*r + 430. Let f = -46 - c. Is 42 a factor of f?
True
Let s(x) = -263*x + 13640. Does 220 divide s(-98)?
False
Suppose -74*m + 18546 = 6558. Let l be (1/2)/(1/4). Suppose 286 = l*a - m. Does 16 divide a?
True
Suppose -42*w + 11*w + 257604 = -19*w. Is 65 a factor of w?
False
Let f(d) = -31*d**3 + 2*d**2 - 645*d - 3820. Does 96 divide f(-6)?
False
Suppose -36 = -d - 32. Suppose d*z + 0*z = 12. Suppose z*x = 414 - 108. Is 6 a factor of x?
True
Suppose -13*v - 2*v = -1170. Is 9 a factor of (-13)/(v/(-1392)) - -3?
False
Let v = -16527 - -23247. Is 30 a factor of v?
True
Suppose 3*s + s + 16 = 0. Is (s + 15)/(2/20) a multiple of 7?
False
Suppose 4 - 4 = -23*r. Suppose 318*h - 311*h - 336 = r. Does 8 divide h?
True
Let v be (-5 + 143/22)*(-8)/(-6). Suppose -9*w = -v*w - 252. Does 3 divide w?
True
Let y = -6 - -9. Suppose 0 = y*t - 225 - 138. Suppose -4*g - 42 = -i, 4*i - 5 = 2*g + t. Is 6 a factor of i?
True
Suppose -3*y + 93 = -2*v, -3*y + v + 105 = 3*v. Is 5 a factor of (2 + 2 - 7) + y?
True
Suppose -14004 = 55*x - 142052 - 61702. Is 49 a factor of x?
False
Let f be ((-228)/9)/(12/(-54)). Let o = f + -19. Suppose -5*s - k + 58 = -o, s - 15 = 5*k. Is 5 a factor of s?
True
Suppose -11*s + 17*s = 1068. Suppose -4*d + 3*q - 5*q + s = 0, 2*q = 10. Does 19 divide (-6)/d*-1685 + 4/14?
False
Let p(c) be the third derivative of c**5/60 + 11*c**4/24 + 13*c**3 - 6*c**2 + 4*c. Is 29 a factor of p(-25)?
False
Suppose 0*l = l - 3. Let t(s) = s**3 + 9*s**2 - 9*s - 5. Let a be t(-9). Suppose 4*g + l*h = 2*h + a, g = -4*h + 34. Is g a multiple of 9?
True
Suppose -73*b + 24*b = -351820. Is 14 a factor of b?
False
Suppose -4*y - 6 = -2*r + 4*r, -5*y - 3*r - 9 = 0. Let d be (-2)/(-2) - (y - 1*2). Suppose -2*m - a = -153, -m + 52 + 14 = -d*a. Is 13 a factor of m?
False
Is (15/(-3))/(-5)*((-24)/3 + 2899) a multiple of 84?
False
Suppose -1845 = 17*f + 280. Let y = -226 - f. Let n = -50 - y. Does 6 divide n?
False
Suppose w + 5*t - 22 = t, 0 = -4*t + 20. Let m = 393 + -48. Suppose 0 = 4*h + w*u - 354, -3*