 + 74. Is 4 a factor of n?
False
Suppose f = -3*m + 208, 10*m - 5*m - 345 = -2*f. Let j = m + -31. Is 20 a factor of j?
True
Let b(w) = -3*w - 13. Let k be b(-3). Let i(l) = -l**3 - 5*l**2 - 7*l - 9. Does 3 divide i(k)?
True
Let b = 447 + -640. Let z = -138 - b. Is 17 a factor of z?
False
Suppose -f = -m + 97 + 61, -5*f - 146 = -m. Is 23 a factor of m?
True
Suppose 0 = 4*n + 3*h - 14, 0 = 4*h - 1 - 7. Suppose n*d + 111 = 3*u, -4*d = 3*u - 86 - 25. Does 37 divide u?
True
Suppose 0 = -4*j + 27 - 19, 0 = -b + 2*j + 2278. Does 14 divide b?
True
Let v be (-420)/54 + 2 + (-60)/27. Let m = v + 56. Is 12 a factor of m?
True
Let j be (-8433)/(-15) - (-8)/(-40). Suppose -2*f + j = 4*m, -3*f + m = -4*f + 278. Is f a multiple of 25?
True
Let t be -1 - (2 + (-5)/1). Let n be t - (-2 - (-2 + 10)). Let l = n - -51. Is 25 a factor of l?
False
Suppose -31*j + 17144 + 4618 = 0. Does 10 divide j?
False
Let v(z) = z**3 - 24*z**2 - 10*z + 18. Let k be v(25). Let m = k - 189. Is 12 a factor of m?
True
Let g be (-4)/(-3) + 824/(-24). Let o = 4 + 44. Let l = o + g. Is 4 a factor of l?
False
Let t(u) = -6*u + 10. Let o be t(7). Let s be -3 + 3/((-12)/o). Let y(i) = i**2 + 3*i - 7. Is y(s) a multiple of 15?
False
Does 8 divide (-6)/(-10) - (-10070)/50?
False
Is 7 a factor of 25/((-500)/(-14184)) - 12/10?
False
Suppose -48 = -5*g + 112. Suppose 28*v = g*v - 416. Is v a multiple of 8?
True
Let y be (-1)/(-5) - (-3528)/(-40). Let f = -40 - y. Is 12 a factor of f?
True
Let f(b) = -b**2 - 2*b + 8. Let v be f(-5). Let k(r) = -r**3 - 7*r**2 - 2*r - 1. Is k(v) a multiple of 13?
True
Suppose -3 = 5*m + 2. Let k be 2/(-6) - 2/(-6). Does 17 divide 68 - k*m/(-3)?
True
Suppose -136 = -5*x + 179. Suppose 58*r = x*r - 410. Is 11 a factor of r?
False
Let f = 1487 + 871. Is f a multiple of 27?
False
Suppose 4*k = -4*h - 558 + 2442, -k = -2*h + 942. Is 21 a factor of h?
False
Let b(n) = 21*n + 6. Let d(x) = 10*x + 3. Let c(h) = -6*b(h) + 13*d(h). Is c(1) a multiple of 6?
False
Suppose 2*g + o = -99, -5*g - o + 21 = 264. Let v = g + 68. Suppose -2*k + 5*j + v = 0, 4*k + 2*j + 5 = 45. Is 5 a factor of k?
True
Suppose -2*f = z - 628, 4*f + 3*z = -170 + 1422. Does 21 divide f?
False
Let a(w) = -w + 8. Suppose -5*k - 4*y + 28 = -4*k, 4*y = k + 12. Let x be a(k). Suppose -5*v + 141 = -2*g - 42, -v - 3*g + 40 = x. Does 22 divide v?
False
Let f = -7 - -14. Let p(l) = l - 5. Let x be p(f). Suppose x*i - 21 - 81 = 0. Is i a multiple of 17?
True
Let p = -29 - -31. Does 3 divide (-315)/(-99) - p/11?
True
Let c(n) = 8*n**2 + 17*n - 4. Is 7 a factor of c(3)?
True
Suppose 4*n - 8*n + 24 = 0. Suppose 2*g - n*g + 948 = 0. Does 49 divide g?
False
Let m(u) = u - 3. Let d be m(3). Suppose 0 = -d*a - a. Suppose a = -3*z + 6*z - 57. Is 19 a factor of z?
True
Let v = 2092 - -238. Is v a multiple of 27?
False
Suppose 4*g + 4*z - 272 = 0, -7*g - z + 356 = -2*g. Does 6 divide g?
True
Let o be (-17)/(85/(-150)) - 3. Let n = o + 10. Does 3 divide n?
False
Suppose 3*f - 32*s + 27*s - 865 = 0, -3*f + 847 = 4*s. Is 15 a factor of f?
True
Let b(l) = 2*l + 4. Suppose 3*g = -g. Let c(r) = -r**2 + r + 4. Let i be c(g). Does 8 divide b(i)?
False
Let m(v) = -11*v - 16. Let i be m(-2). Let r(l) = l**3 + l**2 + l + 1. Let k(f) = -6*f**3 + 3*f - 8. Let b(q) = k(q) + 5*r(q). Is 6 a factor of b(i)?
False
Does 16 divide 458/(-8)*(18 + -22)?
False
Suppose -5 = -2*p + 1. Let u(v) = 2*v**3 - 5*v**2 + 5*v - 4. Let j be u(p). Let y = -10 + j. Is 5 a factor of y?
True
Let k be (18/5)/(4/(-180)*-3). Suppose s - k - 99 = 0. Is s a multiple of 29?
False
Suppose -7 = -5*m - j + 20, 5*m - 19 = 3*j. Suppose 4 + 4 = 4*w. Suppose -m*r = 4*b - 185, -38 = -w*r - 2*b + 34. Is r a multiple of 18?
False
Let k = 121 - -159. Is 7 a factor of k?
True
Let y(c) = 2*c**3 + 6*c**2 - 5*c + 11. Let j(u) = u**3 + 5*u**2 - 6*u + 12. Let x(f) = -3*j(f) + 2*y(f). Is x(5) a multiple of 19?
True
Let c = 18 + -17. Is 26 a factor of (3 - 1)/(c/70)?
False
Suppose -2*s = -f - 77, -2*s + 47 = -0*s + 5*f. Let z be (s/(-8))/((-3)/4). Suppose z*o = 128 + 160. Does 16 divide o?
True
Let g(r) = -r**3 + 11*r**2 + 12*r + 15. Let j = -16 - -28. Does 4 divide g(j)?
False
Let x(i) = 7*i**2 - 55*i - 76. Is 28 a factor of x(20)?
True
Suppose -2*u - 2*v = -718, -3*u + 162 = 4*v - 917. Is u a multiple of 29?
False
Let l = -1416 + 1753. Does 9 divide l?
False
Does 7 divide -97 + 1566 + 10 + -1?
False
Suppose -u = 5*o - 269 - 51, 0 = 5*u + 5*o - 1520. Is 30 a factor of u?
True
Let n(a) = -15*a**3 + 5*a**2 - a + 6. Let o(x) = -x**2 - 1. Let s(h) = -n(h) - 5*o(h). Suppose t + 2 - 4 = -3*l, 2*l = 2*t + 4. Does 3 divide s(l)?
True
Let q(r) = r**3 - 1 + 2*r**2 + 3*r - 2*r + 6 - 7*r**2. Let p be q(5). Let u(h) = h. Does 10 divide u(p)?
True
Let k be 0/(-2)*9/(-18). Suppose 5*g - 9 = q - 42, k = q + 5*g - 23. Let p = 40 - q. Is p a multiple of 4?
True
Suppose -2*o = -0*o. Suppose 0 = -o*j + 3*j. Is 13 a factor of j - 4 - -1 - -68?
True
Let b be 4/(-16)*2*0. Suppose b = 4*m + 4*l - 316, -2*m = -0*l - 3*l - 163. Is 13 a factor of m?
False
Suppose -a = 2 + 3, a - 265 = -3*g. Suppose 8*f = 9*f - g. Does 15 divide f?
True
Let x be 5/5*(1 - -2). Let y(t) = 2*t**3 - 4*t**2 + 6*t - 6. Is y(x) a multiple of 5?
True
Let v = 249 - 225. Does 8 divide v?
True
Suppose -8*g + 40 = -3*g. Does 17 divide 818/8 - 2/g?
True
Let h(v) = -v**2 + 18*v + 12. Let s(i) = -i**2 + 18*i + 11. Let p(x) = -6*h(x) + 5*s(x). Let u be p(19). Suppose u*d + 5*d - 567 = 0. Does 27 divide d?
True
Let v(d) = -9*d - 8. Let n(z) = -36*z - 31. Let r(m) = -2*n(m) + 9*v(m). Is 5 a factor of r(-7)?
False
Let f(w) = 5*w**3 - w**2 - w + 1. Let n be f(1). Let a(s) = s**3 - 5*s**2 + 3*s + 7. Let p be a(n). Suppose p*l + 14 = 47. Is 11 a factor of l?
True
Let o = -5 + 14. Is 54 a factor of -327*(-3)/o + (-1)/1?
True
Let s(q) = q - 7*q**2 - 2*q**2 - 5*q**2 + 3 + 15*q**2. Let b be 4/(-6) - 11/(-3). Is s(b) a multiple of 14?
False
Let b(d) = d**3 + 19*d**2 + 4*d + 140. Is 8 a factor of b(-10)?
True
Suppose 22 = -5*d - 13. Let l be (-8)/28 - 23/d. Suppose 102 = 2*b + t, -2*t + 51 = l*b - 2*b. Is b a multiple of 17?
True
Suppose 0 = -5*d + 27 + 63. Does 12 divide d?
False
Suppose -253*m + 249*m = -16, 3*m + 22360 = 4*p. Is p a multiple of 17?
True
Let p = -294 + 322. Let t be (-1 - 0) + 9/(-3). Let y = p + t. Does 8 divide y?
True
Suppose 4*o + b = 14 + 10, -5*b + 45 = 5*o. Suppose 0 = 5*g + o*z - 360, -5*z + 22 = -3*g + 238. Let k = 121 - g. Does 12 divide k?
False
Let t = -4848 + 7058. Is t a multiple of 26?
True
Suppose -3*w - 40 = 4*r, -w + 3 - 7 = -r. Let v be (w/2)/((-6)/21). Suppose -2*c + 26 = -v. Is c a multiple of 10?
True
Let o = -9 + 0. Is -2 - o - (1 - 0) even?
True
Let d = -155 - -1130. Is 39 a factor of d?
True
Let v = 750 + -420. Does 5 divide v?
True
Let f = 1972 + -609. Is f a multiple of 15?
False
Suppose -4*f = -4*j + 604, j = -50*f + 48*f + 151. Is 31 a factor of j?
False
Let j = 86 - 82. Let p(a) = a**2 + 8*a - 3. Is p(j) a multiple of 45?
True
Let i = -12 + 11. Let y = 9 - i. Is y/(-45) + (-328)/(-18) a multiple of 9?
True
Is 19 a factor of -38*(-27 + 5)*4/16?
True
Let u(h) be the second derivative of h**3/6 + 5*h**2/2 + h. Let t be u(5). Suppose m + x = 41, 0 = 4*x - 10 - t. Does 18 divide m?
True
Let h = 169 - -31. Does 50 divide h?
True
Suppose q = -r + 4, r - 4*q = 21 + 8. Let i = r + -5. Suppose l - 93 = -4*n, -3*n - 65 = -6*n + i*l. Is 6 a factor of n?
False
Does 32 divide (100/(-6))/(72/(-8532))?
False
Let y(s) = 10*s**2 - s + 5. Suppose -5*z + 17*z + 36 = 0. Does 34 divide y(z)?
False
Suppose 17*s - 1672 = 9*s. Is s a multiple of 17?
False
Let o(c) = -8*c**3 - 6*c**2 + 6*c + 2. Is 32 a factor of o(-5)?
False
Suppose 0 = -4*d + 3*m + 51, -3*d - 7 = -2*m - 45. Let t(a) = a**2 - 2*a - 11. Is 12 a factor of t(d)?
False
Let a(k) = 3*k - 3. Let x(m) = 49*m**2 + 2*m + 1. Let u be x(-1). Suppose -n - u = -5*n. Does 11 divide a(n)?
True
Suppose -2*s + 3*j = s + 6, -3*j = -4*s - 6. Suppose a - b - 43 = -s*b, -51 = -2*a - 5*b. Is 14 a factor of a?
False
Let r = -1279 + 2840. Does 8 divide r?
False
Suppose 3*l = l + 220. Is ((-24)/20)/((-3)/l) a multiple of 22?
True
Let o be -119 + (0 - -3)/(-3). Let d(b) = 5*b - 16. Let v be d(-11). Let u = v - o. Does 21 divide u?
False
Suppose -33*m = -30*m - 78. Is m even?
True
Let y