169. Is r a multiple of 6?
False
Suppose -4*h + 22 + 6 = 0. Suppose -4*j + 0*z + h = z, -4 = -j + 2*z. Suppose y = j*n + n - 31, -2 = -y. Is n a multiple of 2?
False
Suppose 16*m - 19*m + 9 = 0. Suppose 4*t - 444 = 4*z - 7*z, -m*z + 450 = 2*t. Is 19 a factor of z?
True
Let o = 5 - -57. Is o a multiple of 2?
True
Let c be 0 + (3 - 1) + 0. Let t be c/(-5) + (-1448)/(-20). Is (-3 - -1) + (t - 3) a multiple of 14?
False
Let l(v) = -14*v**3 - 3*v**2 + 7*v + 5. Is l(-4) a multiple of 11?
True
Let n = 4885 - 2805. Is 52 a factor of n?
True
Suppose -w = -p - 43, 3*p - 120 = -5*w + 63. Does 4 divide w?
False
Let y = -2 - -8. Let w = 5 - y. Is (-43)/(-3) + w/3 a multiple of 14?
True
Let v = -1699 + 3532. Is v a multiple of 141?
True
Let y(g) = -10*g**2 + 2*g - 1. Let v be y(1). Let b(w) = -w**3 - 9*w**2 - 2*w + 8. Let m be b(v). Suppose a - m - 4 = 0. Is 15 a factor of a?
True
Is 3 a factor of -16*((-1)/((-4)/(-4)))/1?
False
Suppose -5*n + 2759 = a, -3*n + 2024 = -5*a + 363. Is n a multiple of 11?
False
Let z(k) = -9*k**3 + 3*k**2 + 5*k + 3. Suppose -18 = 2*a - 12. Does 13 divide z(a)?
False
Let l(d) = 3*d - 5*d**2 - 1 + 12*d**2 - d**3 - 6. Suppose 0 = k - 171 + 164. Does 7 divide l(k)?
True
Suppose -6*z = -17*z + 3762. Does 68 divide z?
False
Let z be (-23)/(-7) - 4/14. Let x = 37 - 39. Is 1 + (x - (-40 + z)) a multiple of 18?
True
Suppose 8*p = 81 + 111. Is 3 a factor of p?
True
Suppose 3*w - 272 = 2*l + 116, 3*w + 5*l = 416. Suppose 0 = -6*j + 10*j - w. Does 11 divide j?
True
Let l(x) = -18*x**3 - 17*x**2 + 11*x + 80. Does 10 divide l(-5)?
True
Let a(w) = 2*w**2 + 76*w + 696. Is a(-34) even?
True
Suppose 5*v = -3*i + 7, -v = -5*i - 4*v - 15. Let s be (-4)/i - (-686)/6. Suppose 4*a + s = 2*n + 5, -2*n = -2*a - 120. Does 20 divide n?
False
Let y be (54 + -2)*(-2)/(-4). Is y/(-4)*(-9 + 5) a multiple of 13?
True
Let o be (-1)/((1 + -2)/(-1)). Let g = o - -5. Suppose g*a + 3*l = l + 34, 5*a - 46 = l. Is 7 a factor of a?
False
Suppose -5 = -5*d + 5. Suppose 0 = -d*h + h + 80. Is 16 a factor of h?
True
Suppose -v + 0*v = -2. Let a be (11 - 10)/(v/18). Suppose -4*g + 111 = -5*u, g + u - a = 12. Is 12 a factor of g?
True
Suppose -12 = -2*x - 4*j, 2*x + 5*j = -3*x + 20. Let u = x - -2. Suppose -u*y = y - 30. Is 3 a factor of y?
True
Suppose 0 = -3*u - 82*g + 77*g + 173, -2*g = 3*u - 161. Does 2 divide u?
False
Let u be 1*(2 - 0) + 13. Let w be (176/(-24))/((-6)/(-9)). Let g = u - w. Is g a multiple of 9?
False
Let j(m) = 50*m**2 + 25*m - 61. Does 9 divide j(4)?
False
Suppose -3*y - 4*g + 3*g - 34 = 0, y + 2*g = -8. Is 20 a factor of 0 + 6/4 + (-330)/y?
False
Suppose 5*i = 10*i - 2*f - 242, -5*i + 5*f = -245. Is i a multiple of 6?
True
Suppose -4 = 3*x + 2. Let u be 3/(-12) - x/8. Suppose -n = -u*s + 3*s - 317, -5*n = 5. Is s a multiple of 18?
False
Is 67 a factor of 1/((-1)/5) + 476658/189?
False
Let c(p) = -p**3 + 6*p**2 + 13*p - 4. Does 5 divide c(7)?
False
Does 5 divide (-1)/(-4)*(-18 - -406)?
False
Let r = 108 + -107. Let c(i) = i**2 + 1 + 10*i**2 + 0 - i. Is c(r) a multiple of 3?
False
Let u = 580 - 548. Is 9 a factor of u?
False
Let h be (54/63)/((-8)/(-14))*28. Let f = h - -18. Does 20 divide f?
True
Let r(c) = -2*c**2 - 4*c + 5. Let a be r(-4). Suppose -16*j - 18 = -15*j. Let k = a - j. Does 2 divide k?
False
Let g = -36 + 21. Let q be g/(-5) + -1 + 12. Is q*(3 + (-10)/4) a multiple of 6?
False
Let t(q) = -q**3 - 25*q**2 - 51*q + 8. Let z be t(-23). Let x = z + -31. Does 56 divide x?
False
Suppose -10*a + 11*a = 0. Let n(u) = u**3 + 3*u**2 - u + 14. Is 7 a factor of n(a)?
True
Suppose 4*z - 2*u = -z - 278, 4*z = -5*u - 196. Does 15 divide z*((-2 - (-28)/(-6)) + 4)?
False
Suppose 4*d - w - 17 = 0, 2*w = 3*d - 1 - 8. Suppose -3*g + d*n = -0*g - 353, 0 = -5*g + 3*n + 599. Is 25 a factor of g?
False
Let p(x) = 3 + 2*x**2 + 2*x + 2*x + 3. Does 38 divide p(-7)?
True
Let t(w) = -2*w + 15. Let c be t(9). Is 15 a factor of 378/(-36)*(c + 1)?
False
Let s = 360 + -75. Does 15 divide s?
True
Let z(s) = 4*s**2 - s + 3024. Is z(0) a multiple of 12?
True
Suppose -3*a - 5*t + 464 = 0, -326 = -2*a + 5*t - 0*t. Suppose 4*i + 4*v = 9 + 127, 0 = 5*i + v - a. Does 27 divide i?
False
Suppose 0 = -45*h + 47*h - 1036. Does 14 divide h?
True
Let u(q) = 37*q**2 - 61*q - 11. Does 11 divide u(-4)?
True
Let n = -946 - -1180. Is n a multiple of 12?
False
Let k = -689 - -1229. Is 9 a factor of k?
True
Suppose -2*m + 1 = 4*t + 9, 32 = 3*m - 5*t. Suppose f = 3*n + 3, -m*n - 3 = -3*f + 2*f. Suppose -f*q - 3*i = -27 - 9, 2*q = 3*i + 9. Does 9 divide q?
True
Let w(g) = -g**2 - 4*g. Let a be w(-3). Suppose -3*c + c - 3*b = -89, -3*c = a*b - 135. Suppose -c = -0*o - 2*o. Is 11 a factor of o?
False
Suppose 2*t + 5*l - 1032 = 0, -2*l + 79 = -5*t + 2688. Does 12 divide t?
False
Suppose -u = -6*u + 510. Let a be (u/(-8))/((-39)/520). Suppose 3*g - 141 = -4*p, a = p + 4*p + 5*g. Is p a multiple of 17?
False
Suppose -3*z = z - 1032. Let i = z + -84. Does 14 divide i?
False
Let w(p) = -3*p. Let v = -8 - -12. Let d be w(v). Is (-9)/d - 125/(-4) a multiple of 18?
False
Let m(w) = -870*w - 18. Let r be m(5). Is 9 a factor of r/(-98) + (0 - 3/(-7))?
True
Let t(j) = 15*j - 3 + 10*j - 19*j + 5*j - j**2. Is 2 a factor of t(10)?
False
Let f = 3 - 1. Let i be (-497)/14 - f/4. Let h = 54 + i. Is h a multiple of 7?
False
Is 6 a factor of (498/24)/((-3)/4 + 1)?
False
Suppose 5*v - 32 + 7 = 0. Suppose c + v*q + 269 = -162, -5*q = -4*c - 1749. Does 28 divide -2 - c/(7 + -3)?
False
Let d(w) = 168*w**2 - 86*w**2 - 11*w**3 - 1 - 4*w - 81*w**2. Is 19 a factor of d(-2)?
False
Suppose -3*q + 42 = -q. Suppose 0 = -q*o + 23*o - 102. Is 9 a factor of o?
False
Suppose 16 = -4*s, -4*a + 10*s - 6*s + 3012 = 0. Does 22 divide a?
False
Is (31/((-2635)/(-1224)))/((-4)/(-10)) a multiple of 6?
True
Let k(g) = -286*g**3 + g**2 + g + 2. Is 8 a factor of k(-1)?
True
Suppose 3*g = 2793 + 1629. Is 22 a factor of g?
True
Let k be 1/(40/14 - 3). Let h = -7 - k. Is 14 + 0/1 + h a multiple of 14?
True
Suppose 2*d - 3*h = 20, -3*h + 6*h + 27 = 3*d. Let x(s) be the third derivative of -s**6/120 + 2*s**5/15 - s**4/8 + 5*s**3/3 - s**2. Is x(d) a multiple of 9?
False
Let n = -236 + 481. Suppose -6*g + 11*g - n = 0. Is g a multiple of 7?
True
Suppose -3255 = 42*p - 11235. Does 3 divide p?
False
Let z(v) be the first derivative of 21*v**4/4 - v**3/3 - v**2/2 + v + 4. Let y be z(-2). Let l = -94 - y. Does 25 divide l?
True
Let j = 2 + 182. Is 8 a factor of j?
True
Suppose 10*o - 11*o + 14 = 3*l, 4*l - o - 14 = 0. Let q(v) = 2*v**2 - 4*v + 24. Is 8 a factor of q(l)?
True
Suppose j + 16 = -3*j. Is 8 a factor of 3*(11 + j + (-3)/(-9))?
False
Let f be 78/4*(-32)/12. Let v be (-5)/(-5) + f + 3. Let h = v + 92. Does 11 divide h?
True
Let q = -2 + -17. Suppose -70*n - 562 = 558. Let z = n - q. Does 2 divide z?
False
Suppose 0*g - 5*g = -10. Suppose c + g*c - 162 = 0. Is 13 a factor of c?
False
Suppose -61 = -4*h - 5*g, 6*g = 5*h + 2*g - 25. Suppose -h = -2*y - o, 0 = 4*y - 0*y - 3*o - 3. Does 5 divide (-4 + y/1)*-20?
True
Is 4932/126*(8 - -48) a multiple of 13?
False
Let s(u) = u**3 + 5*u**2 + 7. Let c = -29 - -24. Is 3 a factor of s(c)?
False
Suppose 6 + 9 = 3*k. Suppose 2*a + 0*a - 49 = -z, k*z = 2*a + 245. Suppose 3*f = -5*r + 24, -2*f + r - z = -6*f. Is 7 a factor of f?
False
Let s = 4211 - 1868. Does 18 divide s?
False
Let w = -6 + -1. Let a be (-3348)/378 - 8/7. Let i = w - a. Is i a multiple of 3?
True
Let t(b) = 53*b**2 - 14*b + 5. Does 12 divide t(3)?
False
Let j(l) = -2*l + 2*l**2 - 2*l - 4 - 2*l. Suppose -2*n - 3*a - 2 = 0, -9*n - a = -6*n - 11. Is j(n) a multiple of 3?
False
Let p = 11 - 6. Suppose 4*b - 4 = p*b. Let f = b - -30. Is 12 a factor of f?
False
Suppose k + k - 6 = -h, 0 = 4*k + h - 14. Suppose -n = 3, -k*n + n + 189 = 3*l. Is l a multiple of 28?
False
Let c(d) = 3 + 14 - 2 - 7*d. Let f be c(7). Is (-1 - 1)*119/f a multiple of 5?
False
Suppose -y - 2*f - 121 = -4*y, -3*f + 111 = 3*y. Suppose 3*p + y - 96 = 0. Does 19 divide p?
True
Let d be (-150)/70*(-7)/2*8. Suppose 5*z = d + 30. Does 3 divide z?
True
Suppose 0 = -2*c - i + 487, -4*i - 1216 = -5*c - 7*i. Is c a multiple of 47?
False
Let l(p) = -p**2 - 3*p - 2. Let j be l(-2). Suppose 0*d - 5*d + 55 = j. Does 11 divide d?
True
Suppose 0*o + 1 = -o. Is 6 a factor of (-1)/o