3 - 15. Suppose -b - 3 = -u. Suppose b + 110 = 5*z. Is 15 a factor of z?
False
Suppose 4*m = -i + 84 - 3, -3*m = 5*i - 490. Let o be 2 + 51/(-57) + -1 - (-264)/19. Let d = i + o. Does 17 divide d?
False
Let x be (-3)/4 + (-3885)/(-140). Is 15 a factor of 6 - 12 - -3*x?
True
Suppose 5*v - 2*v + 3*u = -3, -4*u - 25 = -3*v. Suppose 2*d = -w + 3*w + 94, -v*d + 142 = -2*w. Is 6 a factor of d?
True
Let v be (3/12 - 75/(-20)) + 26. Suppose -v = 5*k - 70. Does 5 divide k?
False
Suppose -14917 = -29*z + 102794. Does 37 divide z?
False
Suppose -2*m - 331 = -a - 18452, -m + 9029 = 4*a. Is m a multiple of 5?
False
Let v = -5214 + 28932. Is 6 a factor of v?
True
Let c = 172 + -70. Let o = c - 133. Let k = o + 64. Is k a multiple of 5?
False
Let w(v) = -6*v - 37. Let g be w(-7). Suppose -224 = g*h - 1224. Is h a multiple of 25?
True
Let s(a) = 12*a**2 + 71*a + 466. Is 8 a factor of s(-22)?
True
Suppose 76110 = 227*u - 168*u. Is u a multiple of 43?
True
Is (-9285)/(-2)*17*(-44)/(-561) a multiple of 14?
False
Suppose 0 = -4*x - 16, 5*c - 195 = -5*x - 75. Let y = c - 24. Let j(s) = 5*s**2 + s - 4. Does 20 divide j(y)?
True
Suppose -14*l + 159081 = 21*l + 4*l. Is l a multiple of 8?
False
Let h be 154/55 + (-2)/(-10). Suppose h*q + 8*q = -0*q. Suppose -28*b + 23*b + 365 = q. Is 7 a factor of b?
False
Let h(a) = -14*a + 28. Let p(d) = 2*d - 1. Let c(j) = -h(j) - 5*p(j). Does 8 divide c(27)?
False
Suppose 563*a - 12010 = 561*a + 3*c, 2*a + 5*c - 12074 = 0. Does 175 divide a?
False
Let q(w) = 656*w - 1182. Does 75 divide q(9)?
False
Suppose 90*i - 83*i - 45857 = 0. Does 4 divide i?
False
Let i(x) = 4*x + 8. Suppose 2*h + 19 = -0*h - 5*w, -4*h + 7 = w. Suppose h*q = -g + 28, -g - q - 9 = -31. Is i(g) a multiple of 14?
True
Suppose y = 3*y, -4*b + b + 1284 = -3*y. Is b a multiple of 35?
False
Let n(r) = 61*r - 6. Let p(j) = -122*j + 13. Suppose -b + 20 = -5*o, -3*b + 2*o = -b - 16. Let c(y) = b*n(y) + 2*p(y). Does 10 divide c(4)?
True
Let h(u) = u**3 - 36*u**2 - 45*u - 1. Let r be h(40). Suppose 26*m - r = 5*m. Is m a multiple of 3?
True
Let q(y) = 3*y**3 - 33*y**2 + 23*y + 6. Let v be q(13). Suppose 0 = 5*a - 3*t - 2042, -5*a - 5*t + 691 = -v. Is a a multiple of 15?
False
Suppose 0 = -5*c + 3*a - 26, -4 = -3*a + 2. Let o = -41 + c. Let d = o - -77. Is 4 a factor of d?
True
Suppose -28*i + 406 = -35*i. Let o = i - -127. Is 3 a factor of o?
True
Suppose 5*x - 150095 = -5*b, -2*x + b - 10250 + 70303 = 0. Does 153 divide x?
False
Let z be (-2)/7 + 4080/21. Let p = 321 - z. Does 17 divide p?
False
Suppose 0 = -2*o - 3*c + 13278, -3*o - 4*c + 3362 + 16556 = 0. Is o a multiple of 162?
True
Suppose 5*t - 9*x + 64 = -7*x, -3*t + 3*x - 42 = 0. Does 29 divide t*(1519/(-42) - -9)?
False
Let y(f) = -f**3 - 27*f**2 - 8*f + 804. Is y(-28) a multiple of 75?
False
Suppose 50*a + 7704 = 68*a. Let n = -23 + a. Is 10 a factor of n?
False
Let f(z) = z**3 + 35*z**2 - 22*z - 176. Does 108 divide f(-26)?
True
Let v(p) = -7*p**2 + 28*p - 16. Let y(t) = -t**2 + t + 1. Let z(o) = -v(o) + 6*y(o). Let u be z(22). Suppose -s - u = -72. Does 10 divide s?
True
Suppose -9*i + 6*i + 4962 = -h, 9 = 3*h. Is i a multiple of 18?
False
Suppose 419813 = 90*c - 8587. Is c a multiple of 56?
True
Let f(z) = -1819*z + 22. Let o be f(-2). Is o/50*(-5)/(-2) a multiple of 35?
False
Suppose -35*b - 44 = -57*b. Does 51 divide (-543)/b*(-184)/69?
False
Let k(p) = 11*p**3 + 4*p**2 - 5*p - 2. Let m be k(3). Suppose 257 = -3*n - 391. Let v = n + m. Does 10 divide v?
True
Suppose 150*l = 151*l - 4. Does 11 divide (l - 1) + (-2 - (3 - 99))?
False
Let r(v) = 116*v - 62. Let a(y) = -y. Let w(d) = 6*a(d) + r(d). Is w(4) a multiple of 21?
True
Let z(n) = n**3 - 14*n**2 + 5*n - 15. Let w be z(14). Let p = 50 - w. Does 25 divide 18*8/(-12)*p?
False
Let o(s) = 141*s**2 - 296*s - 63. Does 2 divide o(-6)?
False
Let s(r) = -r**3 - 11*r**2 - 8*r + 4. Let a be s(-10). Let y(j) = -39*j + 132. Is 13 a factor of y(a)?
False
Let d = 1448 - -11132. Does 37 divide d?
True
Suppose -2*z + 6 = 6. Suppose y - 2 - 7 = z. Suppose -y*o = -5*o - 184. Does 8 divide o?
False
Let h(j) = 2*j**3 - 54*j**2 + 78*j + 46. Is 22 a factor of h(32)?
True
Let j = 13869 + -11715. Is 6 a factor of j?
True
Let o = 11035 - 5434. Is 11 a factor of o?
False
Let s(b) = 4*b**2 + 2*b - 116. Let x(h) = -6*h**2 - 3*h + 230. Let u(a) = 5*s(a) + 3*x(a). Is 16 a factor of u(28)?
False
Let n(p) = -6*p + 320. Let t be n(54). Let j(g) = 40*g**2 + 8. Is j(t) a multiple of 108?
True
Does 39 divide 13/(7 + (-33690)/4815)?
True
Let t(j) = -19*j + 122. Let u be t(-10). Let i = u - 139. Is i a multiple of 28?
False
Let c be (9/(-4))/((-1)/(-4)). Let j(h) be the second derivative of -h**5/20 - 2*h**4/3 + h**3/3 + 7*h**2/2 + 1508*h. Is 7 a factor of j(c)?
True
Suppose -11*f - 18 = -8*f, -2*r + 4952 = -4*f. Is r a multiple of 44?
True
Suppose 5*k - c - 29221 = 3*c, k - 5879 = -5*c. Is k a multiple of 4?
False
Let w(z) = -2*z + 4. Let a = 33 + -10. Let g = a - 30. Does 3 divide w(g)?
True
Suppose -o + 375 + 230 = -2*m, -5*o - 4*m = -3081. Let d = -193 + o. Is d a multiple of 35?
True
Let g(u) be the first derivative of u**4/2 - 13*u**2/2 - 22. Let h be g(3). Let n(f) = -f**3 + 16*f**2 + 7*f - 7. Is 17 a factor of n(h)?
True
Let c(b) be the first derivative of -2*b**3/3 + 29*b**2 + 41*b + 122. Is 16 a factor of c(24)?
False
Suppose 69*n - 66*n = -4*k + 13251, -5*k = -n - 16578. Is 106 a factor of k?
False
Suppose -60*l = 42*l - 1682184. Is 76 a factor of l?
True
Let t(g) = -g**3 + g**2 + 11*g + 2. Is t(-13) a multiple of 16?
False
Let m(i) = 24*i - 34. Let d be m(11). Is 64 a factor of (-2 - d)*(4 + -8)?
False
Let g(d) = -d**2 - d - 1. Let v(c) = c**2 - c - 4. Let p(l) = -3*g(l) - v(l). Let o be p(3). Suppose o*b - 32*b = 210. Is b a multiple of 3?
True
Let l be 50/5*2 - 2. Suppose 4*h - u = 162, 94 - l = 2*h - 3*u. Suppose 50 = c - h. Is c a multiple of 15?
False
Let z = 34 - 24. Let d(a) = -z - 12*a + 0 - 8. Does 44 divide d(-17)?
False
Let o = -2956 - -4586. Is 2 a factor of o?
True
Let l(r) be the third derivative of 5*r**4/6 + 22*r**3/3 - 133*r**2. Does 14 divide l(9)?
True
Suppose 0 = 4*y - k - 4*k - 2067, 0 = 2*y - k - 1029. Let v = y - 363. Does 6 divide v?
True
Suppose 3*v = -5*v + 3*v. Suppose 5*r = 8*r - 3*z - 387, v = 2*r + 4*z - 240. Is 7 a factor of r?
True
Suppose -6*g = 12 - 42. Suppose -9*d + 7*d - 3*w + 75 = 0, 3*d + g*w = 113. Is 6 a factor of d?
True
Let r = -45 - -48. Let b be (-3)/r*(-5 + 2). Suppose b*k + 4 = 4*k. Is k a multiple of 2?
True
Let x be 3 - (-38)/(-7) - (-6)/14. Let q(g) = 33*g**2 + 3*g + 7. Is 6 a factor of q(x)?
False
Let z(g) = 3*g - 46*g + 8 + 8*g - 23*g. Does 46 divide z(-7)?
True
Let b = -3305 - -5591. Does 110 divide b?
False
Suppose -2*h - 28 = l - 3*l, 3*h - 4*l = -41. Let b be ((-3)/(5 - -1))/(h/6990). Let m = b - 131. Is 17 a factor of m?
True
Let x(o) be the second derivative of 4*o**3/3 - 5*o**2/2 + o. Let y(n) = n**3 - n**2 - 5*n + 11. Let l be y(2). Does 10 divide x(l)?
False
Suppose -5*u - 151 = -2*z, 54*u - 56*u = 6. Is 3 a factor of z?
False
Let v = 62 - 22. Let u(r) = r + v + 9*r - 43. Is u(5) a multiple of 7?
False
Let b(j) = j + 4. Let z be b(1). Suppose 0 = -l - 6*g + 3*g + z, -3*l = 5*g - 11. Suppose -l*s = 3*s + k - 153, 5*k - 105 = -3*s. Is s a multiple of 12?
False
Suppose -8161 + 75681 = -16*k. Does 42 divide 12/(4/k*-10)?
False
Is (-15 + -1)/((-5025)/(-420) + -12) a multiple of 7?
True
Suppose 7*n = -177495 + 247796. Is 27 a factor of n?
False
Let h(b) = b**3 - 3*b**2 - 8*b + 14. Let i be h(4). Let g be ((5 - 6)/3)/(i/24). Let n(y) = 10*y**2 - 4*y - 3. Does 47 divide n(g)?
True
Suppose -2*c - 2*z + 45694 = 0, -12*c + 16*c = -5*z + 91386. Is 181 a factor of c?
False
Suppose -43*k - 35*k - 1326 = 0. Let u(a) = -3*a**2 + 26*a - 24. Let p(g) = -4*g**2 + 26*g - 24. Let c(s) = 4*p(s) - 5*u(s). Is c(k) a multiple of 28?
False
Let t(u) = 60*u**2 - 65*u - 410. Does 94 divide t(18)?
True
Let b be 549376/185 + (-2)/(-5). Suppose 243*z - b = 240*z. Does 33 divide z?
True
Is 20 a factor of (-120890)/(-165)*(-90)/(-21)?
True
Suppose 24*p + 112*p - 77063 = 27*p. Is p a multiple of 5?
False
Let b(a) = 26*a**2 + 10*a + 33. Is b(8) a multiple of 148?
False
Suppose -14 = 3*f - 4*f - 2*t, 5*f - 2*t - 10 = 0. Suppose -2*a + 419 = f*v - 19