tiple of 3?
False
Suppose 3*w + 2214 = -3*w. Let z = w + 531. Is (z/(-4))/(5/(-10)) a multiple of 21?
False
Suppose d = -d, -x - 3*d = -5. Suppose x*v - v - 320 = 0. Does 13 divide v?
False
Let b(n) be the first derivative of n**4 - n**3/3 - n**2/2 - 2*n - 17. Let w(f) = f**3 - 8*f**2 - 10*f + 11. Let z be w(9). Does 8 divide b(z)?
True
Let l be 0/(-7) - (2 - 0). Let a be (3/(-4))/(l/(-32)). Is ((-26)/(-4))/((-2)/a) a multiple of 18?
False
Is 22 a factor of 1158/(-18)*-15 - (0 + -5)?
False
Suppose 2*p - 4*d + 34 = 0, 3*d - 3 = -3*p - 9. Let h be (-2 - -29) + (-4 - p). Suppose 125 + h = 5*i. Is 12 a factor of i?
False
Suppose 0 = -7*a + 113 + 237. Is 5 a factor of a?
True
Suppose -22*s + 416 + 332 = 0. Does 17 divide s?
True
Let h be 1 - -2*3 - 3. Suppose 0 = 3*f - h*f. Suppose -9*w + 8*w + 45 = f. Is 15 a factor of w?
True
Let l(r) = r**3 + 26*r**2 - 4*r - 93. Is l(-26) a multiple of 2?
False
Suppose 82 - 8 = -q. Let m = -40 - q. Is 17 a factor of m?
True
Let i(n) = 275*n**3 + 3*n - 3. Does 25 divide i(1)?
True
Suppose -4*i + 305 = d, -4*i = -4 - 0. Suppose -2*m = 3*a + d, 6*m = 2*m - 20. Let p = a - -141. Does 22 divide p?
True
Let s = -34 + -118. Let y = s + 269. Is 39 a factor of y?
True
Suppose -4*n + 195 = 5*c, -13 = -c + n + 17. Let q = -14 + c. Is q a multiple of 4?
False
Let a(l) = 59*l + 86. Is a(2) a multiple of 4?
True
Let a = 12 + -12. Let m be 16*(1 + a - -1). Suppose 5*c = -2 + m. Is c a multiple of 6?
True
Let p be (50 - (-1 + 1))*1. Suppose p + 11 = k. Is k a multiple of 12?
False
Let b(k) be the second derivative of -k**5/20 - k**4/4 - 7*k**3/6 - 5*k**2/2 - 44*k. Is b(-7) a multiple of 48?
True
Suppose 5*i - 1307 = -2*n, -3*n + 31 + 220 = i. Let m = 18 + 167. Let h = i - m. Does 16 divide h?
False
Let w(s) be the third derivative of -s**5/60 + s**4/2 - 5*s**3/6 + 17*s**2. Is 9 a factor of w(8)?
True
Let g = 13 + 64. Let t = g - -16. Is t a multiple of 14?
False
Let i(m) = 65*m**2 - 9*m - 92. Is 6 a factor of i(-4)?
True
Suppose 12*k + 168 = 26*k. Is k a multiple of 6?
True
Suppose 2*k = -p + 1 - 0, 0 = -2*p + 5*k + 20. Suppose s + 232 = 3*u + p*s, -4*u - s + 305 = 0. Is u a multiple of 19?
True
Is (-13*(-30)/650)/(2/1130) a multiple of 3?
True
Suppose 3*l - 4*k = 678 + 570, 0 = -k - 3. Does 2 divide l?
True
Let w = 30 + 22. Let z = 106 - w. Does 18 divide z?
True
Let l = -74 + 72. Let q = 13 - l. Is q a multiple of 2?
False
Does 83 divide (-4*4/8)/(3/(-996))?
True
Let f(q) = -8 - 9 + 33 + 13*q - q**2. Let a be f(13). Suppose 3*k - 23 = a. Does 4 divide k?
False
Is (-48 + 51)*((-884)/(-6))/1 a multiple of 16?
False
Let m be (-2*1 + -9 + 11)/2. Does 8 divide 120/(m - 3)*32/(-10)?
True
Suppose 3*q + 5*j - 962 = 0, -2*j + 319 = 5*q - 4*q. Is 47 a factor of q?
True
Suppose 4*h + 5*v - 47 - 200 = 0, -4*v = -5*h + 319. Suppose 56 = 7*g - h. Is 12 a factor of g?
False
Let q be 5216/20*(-10)/(-4). Suppose -11*a - q = -15*a. Is a a multiple of 9?
False
Let x be (20/(-6) + 2)*27/(-18). Suppose -x + 0 = s, -3*r + 5*s = -64. Is r a multiple of 18?
True
Let w(z) = z**2 - 5*z - 4. Let v be w(6). Let n = 12 + v. Is 7 a factor of n?
True
Is 50 a factor of (-40)/70*10150/(-4)?
True
Suppose -4325 = -4*g + 3*p - 0*p, 4*g = 4*p + 4324. Let k = g - -1198. Is (-4)/(-22) - k/(-165) a multiple of 11?
False
Suppose -19*x - 272 = -11*x. Let p = 112 - -27. Let z = x + p. Is 35 a factor of z?
True
Is 34 a factor of (-4763)/(-7) - 132/308?
True
Suppose -5*c = 7*b - 6*b - 1787, -4*b - 1063 = -3*c. Is c a multiple of 51?
True
Let b be (-3)/(-9) + 140/3. Suppose 49 = 2*g + 3*q - b, -3*g + 3*q = -114. Is 14 a factor of g?
True
Let j = -6 - -7. Let s be (-17)/(j*(1 + 0)). Let r = 26 + s. Is 4 a factor of r?
False
Let y(z) = -12*z**3 + 2*z**2 + z - 2. Let u be y(1). Let o(m) = -m**3 - 11*m**2 - 13*m - 14. Let d be o(u). Suppose -4*p - 29 = -d. Does 7 divide p?
False
Let j(t) = -t + 7. Let n = -17 - -17. Suppose v + 3 = m - 0, -2*v - 5*m - 27 = n. Does 12 divide j(v)?
False
Let z = -30 - -34. Suppose 4*m - 64 - 52 = -z*w, 5*m = 5*w - 165. Does 29 divide w?
False
Let y = -6 - 12. Let b = 18 + y. Suppose 5*x - 5*v = 160, 2*v - 1 + 5 = b. Does 15 divide x?
True
Let u be (-1 - 2749)*-2*(-4)/(-8). Suppose 0 = -8*n - 3*n + u. Does 12 divide n?
False
Suppose 81*f - 96*f + 9240 = 0. Does 39 divide f?
False
Suppose -3627 = -2*p + n, -p + 671 = 3*n - 1153. Is p a multiple of 70?
False
Is 24 a factor of 5 + (-215)/45 + (-214)/(-9)?
True
Let a(q) = 8*q**2 + 52*q + 73. Is 29 a factor of a(-17)?
False
Suppose 0 = a - 4, 59 + 13 = c + a. Is c a multiple of 4?
True
Suppose 4*o + 13 = 21. Suppose -3*t = 2*t + 5*w - 145, 0 = -3*t + o*w + 77. Is t a multiple of 13?
False
Let x(q) = 9*q + 10*q**2 + 0*q**2 + q**2 + 863 - 859. Is 9 a factor of x(4)?
True
Let g(s) = -4*s**3 - 3*s**2 - 2*s - 1. Is g(-3) a multiple of 11?
False
Let g be -1 - (6/(-4))/((-2)/4). Let i(p) = -p**3 + 4*p**2 + 9*p - 4. Is 11 a factor of i(g)?
True
Let v(s) = 3*s**2 + 10*s - 76. Is 12 a factor of v(10)?
True
Let t be (0 - -1)*-1*(5 + 0). Is 3*-92*(t - -2)/3 a multiple of 46?
True
Let p(f) = f**3 - 4*f**2 - 6*f - 6. Let z be p(10). Suppose -3*x = -5*w + 669, 4*w + 3*x - 6*x = z. Does 27 divide w?
True
Let x(z) = -5*z**2 + z**3 + 2*z - 5 + 2 + 0*z**2 - z. Let g be x(5). Suppose g*r + 0*r = 18. Is 3 a factor of r?
True
Suppose -5*l - 2*i + 8 - 2 = 0, 4*i = -4*l. Suppose n = 3*r + 3 - 9, 3*n + 5*r = 24. Suppose -4*y + 38 = m, n*m + 0*y = l*y + 128. Does 6 divide m?
True
Let l = 650 + -374. Let z = 400 - l. Does 39 divide (-5 + 1)/(-4) + z?
False
Let l(c) = c**3 - 28*c**2 + 9*c + 14. Is 16 a factor of l(28)?
False
Let p be (1/(-3) + 10/30)/1. Suppose p*m - 54 = -o + 4*m, o + 2*m = 24. Is 17 a factor of o?
True
Let m(f) = -4*f + 115. Does 13 divide m(-20)?
True
Is 5 a factor of 671/5 + 140/175?
True
Let h(r) = r**3 - 6*r**2 + r - 1. Let g be h(6). Suppose 0 = g*w - 5, -6 = 5*a + 2*w + 37. Let f(o) = o**3 + 10*o**2 + 6*o - 5. Is 22 a factor of f(a)?
True
Let w(g) = -g**3 + g**2 + g + 6. Let r = -7 - -2. Is 40 a factor of w(r)?
False
Let s = -1 - -6. Suppose -2*y - q + 3 = 0, 4*y - 14*q = -12*q + 10. Suppose -8 = 2*x - s*h, -y*h = h - 12. Is 4 a factor of x?
False
Let f(l) = -88*l + 108. Does 14 divide f(-15)?
True
Let s(q) = 6*q - 24. Let c be s(6). Does 2 divide 10 - 5/(15/c)?
True
Let j(y) = -35*y**3 + 2*y**2 + y - 2. Suppose -2*g - 2*g + 4 = 0. Let w be j(g). Let u = w - -82. Is u a multiple of 16?
True
Suppose 4*o = r - 4*r - 4, -5*r + 28 = -2*o. Let l = 92 + r. Is l a multiple of 21?
False
Suppose -27*j - 733 = -28*j. Does 9 divide j?
False
Suppose m + 2*z = z + 4, -m - 2*z = -6. Let v(q) = q**2 - 2*q + 3. Let j be v(m). Suppose 26 - 8 = j*s. Does 5 divide s?
False
Let f = 1566 + -207. Is f a multiple of 72?
False
Suppose 509 - 1841 = -3*n. Does 5 divide n?
False
Let h be 534/24 - (-2)/(-8). Suppose 21*q - h*q = -88. Does 30 divide q?
False
Let c(w) = 17*w**2 - 2*w - 1. Let y be c(-1). Suppose 13*d + 10 = 12*d. Is (y/d)/((-24)/80) even?
True
Let k be 40/(-15)*141/(-4). Let a be 0/(1 - -2) + k. Does 5 divide (-3)/(-18) - a/(-12)?
False
Suppose 3638 = 2*z + 462. Does 89 divide z?
False
Does 14 divide (-93 + -39)*(-34)/8?
False
Suppose -5*q + 26 + 94 = 0. Suppose -s = -3*s + q. Suppose -5*f = f - s. Is f a multiple of 2?
True
Let b(r) = 2*r**2 - 10*r - 8. Let a be b(6). Is 180*2*a/20 a multiple of 6?
True
Let j = -460 + 516. Is j a multiple of 8?
True
Suppose -z + 5 = -2*f + 13, z - 22 = -4*f. Suppose 81 = v + 5*g, -3*v + 0*v = z*g - 295. Does 17 divide v?
False
Let j(y) = y**3 - 13*y**2 - 14. Let d = -18 - -32. Is j(d) a multiple of 13?
True
Suppose -120*g - 186 = -122*g. Is 3 a factor of g?
True
Let o = -10 - -409. Does 103 divide o?
False
Let a(j) = 63*j. Let f be a(1). Let z = f - 50. Is 2 a factor of z?
False
Suppose 3*s - r + 657 = 0, 0 = -2*s - s + 3*r - 657. Let d = -87 - s. Let j = d - 79. Is j a multiple of 15?
False
Suppose -4*c = 5*d - 264, c - 6*c + 3*d + 367 = 0. Does 8 divide c?
False
Let v be 51/15 - (-15)/25. Suppose -v = 2*s - 84. Suppose -s = -4*r + 3*a + 2*a, 2*r - 5*a = 10. Is 7 a factor of r?
False
Suppose -853 = -2*v + 351. Is 12 a factor of v?
False
Suppose 0 = -2*o - 0*o + 10. Let l be 9 - (3 + (-55)/10)*-2. Suppose -o*s = 4*y - 39, l*y + 41 = 5*y - 5*s. Is y a multiple of 4?
True
Let b