 -720 + 720. Suppose f + y - 620 = m, -3*y = -4*f + 2673 - 221. Is 14 a factor of f?
True
Is 2 a factor of 11198/(-99)*(-153)/34?
False
Suppose -5*u + 3*n = -2*n - 35, -31 = -5*u + 3*n. Suppose 2*j - 2 = w, 2*w - u*j + 7 + 0 = 0. Does 43 divide 344*(w - 14/4)?
True
Let g = 48520 + -26694. Does 14 divide g?
True
Suppose -31*k = 231*k - 25*k - 8202807. Is 57 a factor of k?
False
Suppose -80*n + 115*n - 81060 = 0. Is 4 a factor of n?
True
Let c(s) = s**3 - 50*s**2 + 47*s + 2584. Is 116 a factor of c(48)?
True
Suppose -3*y - 5*l + 18620 = 0, y + 7*l - 11*l = 6235. Does 23 divide (y/(-44))/(40/(-64))?
False
Is 257619/9 + (-4)/12 + -44 + 40 a multiple of 12?
True
Suppose -995 - 38655 = -25*j. Is 9 a factor of j?
False
Suppose 1 - 13 = -3*w. Suppose -249 - 247 = -w*b. Suppose b = 3*v - 2*c + 4*c, 2 = c. Is v a multiple of 11?
False
Let u be (-3)/((-3)/(-10)) - (1 + 0). Is 200/(u/(11/(-2))) a multiple of 10?
True
Suppose -j = -0*a - a - 6, -2*j + 3*a = -12. Let f(o) = -6*o - 2. Let b be f(j). Let s = -26 - b. Does 12 divide s?
True
Let g(t) = t**3 - t. Let z(p) = 2 - 5 + 2*p + 2*p**3 + 7*p**2 + p**3 - 7*p. Let l(h) = -2*g(h) + z(h). Is l(-7) a multiple of 5?
False
Suppose 2*q + 30 = 4*i, -2*i - 10 + 0 = 4*q. Let p = 215 + q. Is 30 a factor of p?
True
Suppose 6 = -y, 80*y - 5823 = -k + 83*y. Is k a multiple of 13?
False
Let i(m) = -17*m - 45. Let n(q) = -q - 1. Let u be n(12). Is 22 a factor of i(u)?
True
Suppose 50*i + 8614 = 120264. Does 2 divide i?
False
Suppose 0 = 3*z - 8*z - 3*w - 53, 0 = -3*w - 3. Let d be 5*z/(-125)*5. Suppose -x - d*c + 100 = 0, -x + 0*c - 3*c + 102 = 0. Is x a multiple of 15?
False
Suppose -4394 = -25*k + 4181. Suppose -3*b = 2*f - 280, 4*f - b - 917 = -k. Is f a multiple of 44?
False
Let m = 165 + -151. Suppose m*x + 1620 = 20*x. Does 15 divide x?
True
Suppose 3*t + 1 = 2*a - 1, -2*t + 2 = 2*a. Let o be -3*(28/(-12))/a. Let d = 35 + o. Is 7 a factor of d?
True
Let j(u) = -1626*u**3 + u**2 - 7*u - 7. Let y be j(-1). Let b = y + -667. Does 60 divide b?
True
Is 1288/(-1)*(-16 + 161/46) a multiple of 14?
True
Suppose -63*i = 5*a - 66*i - 187150, 11*a - 2*i - 411730 = 0. Is 285 a factor of a?
False
Suppose -32118 = 7*p - 44*p + 67079. Does 48 divide p?
False
Suppose 22*m = 25*m + k - 2945, m - 3*k = 965. Is m a multiple of 72?
False
Let i be (2/(-10) - 2088/(-15))*-1. Let c = i + 482. Let w = c - 101. Is 12 a factor of w?
False
Let c be (-10)/65 + 3/(-39)*-6541. Suppose -508*s + 1555 = -c*s. Is 17 a factor of s?
False
Suppose 0 = -123*z + 18124 + 142760. Is 6 a factor of z?
True
Suppose -5*f - 4*p + 21080 = 0, 2*f - 7099 = 2*p + 1315. Does 19 divide f?
False
Suppose 5*i - 130071 = v, -5*i + 130083 = 146*v - 149*v. Is i a multiple of 88?
False
Let z = 713 + -784. Let i be 3*(-1 + 46/(-6)). Let x = i - z. Is 10 a factor of x?
False
Suppose -3*s + 3 = 9. Let z(f) = -7*f**2 + 2*f + 7. Let c be z(s). Is 14 a factor of (-288)/(-20) + 10/c?
True
Is 5 - -104*20/8 a multiple of 26?
False
Let w(t) = 3*t**2 + 4*t - 11. Let x be w(4). Let q(h) = -h**3 - 9*h**2 - 5*h - 2. Let n be q(-8). Let i = x + n. Is i a multiple of 16?
False
Let p(m) = 115*m**2 - 177*m + 70. Does 10 divide p(5)?
True
Let w(c) = -201*c - 463. Does 2 divide w(-3)?
True
Suppose 31*i = 29*i + 1720. Is i a multiple of 43?
True
Let y be -20*(26/10 - 3). Let f be (-1 + (-10)/y)*(-8)/6. Suppose 56 = f*a - 7. Does 7 divide a?
True
Let s be -1 - 1 - 0/4. Let i be -40*(s + 60/8). Is 96/10*i/(-33) a multiple of 36?
False
Let u = 46 - -152. Suppose 2*t - u = 624. Does 33 divide t?
False
Let z(s) = s**2 - 3*s - 38. Suppose 14 = -t - 4*x, x = -3*t - 6 - 3. Let g be t*(-3 + (-39)/(-6)). Is 22 a factor of z(g)?
False
Let w(h) = h**3 + 9*h**2 + 10*h - 2. Let p(d) = -d**3 - 2*d + 1. Let v(g) = -2*p(g) - w(g). Suppose 4*r + 2*u - 20 = 14, 0 = 2*u + 6. Does 7 divide v(r)?
False
Is (-40)/(-32) - (-298163)/68 a multiple of 129?
True
Let z(p) = 7*p**3 - 16*p**2 - 5*p - 39. Let g(r) = 9*r**3 - 16*r**2 - 4*r - 39. Let h(y) = -3*g(y) + 4*z(y). Does 45 divide h(17)?
False
Let s be -1 + (-2 - (-5)/1). Suppose -w + w = s*w. Suppose -26*i + 20*i + 264 = w. Is 9 a factor of i?
False
Let a(l) = -11*l**3 + 13*l**2 + 29*l + 128. Is a(-7) a multiple of 15?
True
Suppose -4*u = 4*d + 272, 4*u + 3*d = -0*u - 273. Let t = u - -189. Is 20 a factor of t?
True
Is 4 a factor of (-68352)/(-9) + (6 - 234/27)?
True
Let q(y) = 3*y**3 + y**2 - 7*y + 13. Let l(a) = -1. Let h(i) = l(i) + q(i). Does 6 divide h(4)?
True
Let b be (2*1)/((-2)/4). Let n be (-2)/6 - -42*(-24)/216. Does 7 divide ((-62)/b)/(n/(-40))?
False
Let f(z) = 934*z**2 + 160*z - 40. Is f(5) a multiple of 113?
False
Let h be -76*5/(-20) + 6 + -3. Suppose l - 625 = -z, z - 618 = -4*l + h. Is 31 a factor of z?
True
Let m = -116 + 125. Suppose 12*k - m*k - 51 = 0. Is 5 a factor of k?
False
Suppose 5*h + 2*y - 1742 = 667, 981 = 2*h - 5*y. Is 23 a factor of h?
True
Let k(j) = j**3 - j**2 - 2*j - 1. Let r(l) = -l**2 - 5*l - 4. Let c be r(-2). Let i be k(c). Let g = 52 + i. Is g a multiple of 11?
False
Is 13698/12*(-2)/(-3) even?
False
Suppose 20 - 12 = 2*l. Suppose 3*b = l*r + 15, 0*b + 1 = b. Does 19 divide r - (-6)/2 - -36?
False
Let z = 21 + -26. Let s be 4 + z + 21 + 1 + 2. Let g = s - 3. Does 15 divide g?
False
Suppose 3*d = 2*u - 1071, -2*d + 620 = u + 95. Let r = 273 + u. Is r a multiple of 67?
True
Let w(c) = -c**3 - 5*c**2 - 4*c + 12. Suppose -5*a + 18 - 3 = 0. Suppose -5*o - 18 = -4*f, 2*f - a = 4*o + 15. Does 6 divide w(o)?
True
Let z = 1071 - -165. Suppose z = 10*s - 2334. Is s a multiple of 7?
True
Suppose -28 - 12 = -4*m. Suppose 3*p - 15 = -2*y, -4*p = -5*p - y + 5. Suppose b - m = -0*b + p*c, b = 4*c + 9. Is b a multiple of 2?
False
Suppose 0 = 18*p - 100112 - 17410. Is 12 a factor of p?
False
Let x = 9486 - -5277. Is 21 a factor of x?
True
Let r(z) = z**3 + 38*z**2 - 58*z - 203. Does 23 divide r(-37)?
True
Suppose -243*g = -257*g + 62062. Is 31 a factor of g?
True
Suppose 15 = -5*a - 3*v, 3 = 2*a - 0*a + 3*v. Let m be (-31 - -37)*((-21)/6 + -2). Let j = a - m. Does 8 divide j?
False
Let u(f) = f**2 - 32*f - 6. Is u(38) even?
True
Let k = 503 - 637. Does 64 divide -2 - (10 + -6 + k)?
True
Does 3 divide (-4 - (-2)/1)*(-2884 - 8/(-2))?
True
Suppose -13*a = -17*a - 16. Is 51180/210 - a/14 a multiple of 13?
False
Let g be (3/(-27)*3)/(1/(-477)). Let u = -138 + g. Does 3 divide u?
True
Suppose 0 = -2*h - 2 - 2. Let f = -8 - h. Is 264/(-16)*44/f a multiple of 29?
False
Let s(w) = 43*w**2 + 5*w + 266. Is 7 a factor of s(12)?
False
Let c = -19868 - -33805. Is c a multiple of 10?
False
Let t(y) be the third derivative of -y**6/15 - y**5/60 + y**4/24 + y**3/3 + 73*y**2. Is t(-2) a multiple of 15?
True
Let o = 28 - -68. Suppose -69 = -n + o. Does 26 divide n?
False
Let u be 32/144 - 646/(-9). Suppose -o + u = 24. Is 12 a factor of o?
True
Suppose 0 = 23*v - 375 + 7. Is ((-22)/(-8) - 12/v) + 100 a multiple of 17?
True
Let o(q) = -66*q**3 - q - 1. Suppose -20*w = -25*w - 10. Is o(w) a multiple of 11?
False
Let g(u) = -1105*u - 1745. Does 36 divide g(-5)?
True
Let r = -1238 + 1830. Suppose r = 7*j + 151. Is j a multiple of 10?
False
Let c(y) = 3*y**3 - 2*y**2 - y + 2. Let n be c(1). Suppose -5*s = -4*r + 1945, -n*s = r - 70 - 400. Is 10 a factor of r?
True
Let l(v) = 18304*v**2 - 66*v + 66. Does 44 divide l(1)?
True
Let a = 493 - 82. Let v = a - 75. Is 48 a factor of v?
True
Let o(j) = 61 - 79 + 29 + 35*j. Is o(18) a multiple of 20?
False
Let o(f) = f**3 - f**2 - 4. Let c be o(6). Suppose 0 = -5*h - 3*h - c. Let a = h - -58. Is 18 a factor of a?
True
Let q(m) = -1972 + 3586 + 71*m - 1858. Is q(12) a multiple of 16?
True
Let v be 254/(-32) - 39/624. Let j(q) = -60*q - 84. Is j(v) a multiple of 22?
True
Suppose -z + 19115 = -5*p, -4*z + 7*z + 5*p = 57385. Is 9 a factor of z?
True
Let m(p) be the third derivative of -11*p**4/24 + p**3/2 - p**2. Suppose -42 = -6*f + 7*f + 7*l, 3*l + 15 = 0. Is m(f) a multiple of 20?
True
Does 52 divide 4 + (-1409706)/(-129) + 130/2795?
False
Let d(f) = f**2 + 10*f - 6. Let u(t) = -5*t. Let o be u(1). Let j be d(o). Let h = j + 44. Does 3 divide h?
False
Let v be (4 - 8) + 7 + -17. Let a be 4/v + 8385/21 + -1. Suppose 34 = -2*z + a. Does 45 divide z?
False
Let k be (21 - 1)*2/4. Suppose 0 = -j - 4 + k. Suppose n = -j*n + 273.