pose 1 - 11 = -5*u. Let w be -3*((-150)/9)/u. Is 2/10 - (-895)/w a multiple of 13?
False
Let n(m) = -6*m + 8 - 5*m - 32 + m. Is n(-7) a multiple of 46?
True
Let l be 3 - (-7)/((-35)/75). Is (1 + 65)*(l + 13) a multiple of 11?
True
Let a(j) = -j**2 + 2*j + 21. Let h be a(0). Suppose 24*i - h*i = 432. Let m = -84 + i. Does 12 divide m?
True
Let t be (-240)/32*4/(-5). Let v(r) = 8*r - 10. Is 13 a factor of v(t)?
False
Let n(x) = 145*x - 214. Is n(5) a multiple of 7?
True
Let d be (-150)/14 - (-4)/(-14). Let j = 21 + d. Let o = -2 + j. Does 5 divide o?
False
Let u(v) = v**3 - 7*v**2 - 29*v - 33. Does 21 divide u(14)?
False
Is 15 a factor of (-59)/236 - (-85)/4?
False
Suppose -3*j + 0*j = 9. Let d be -3 - j - -3 - -3. Suppose -p + 19 = -d. Is p a multiple of 6?
False
Suppose 0 = 2*y - 16*y + 168. Suppose -y*f + 147 = -9. Does 13 divide f?
True
Suppose -3*s + 0*k + 103 = -5*k, 3*k + 152 = 4*s. Let q = 78 - s. Is q a multiple of 7?
False
Let p = -2866 + 4405. Is 57 a factor of p?
True
Let x(k) = 88*k - 56. Let u = -5 + 0. Let o(q) = -8*q + 5. Let p(t) = u*x(t) - 56*o(t). Is 20 a factor of p(5)?
True
Is 10 a factor of (-20)/6*(-2 - (70 - 0))?
True
Suppose -9*s = 10*s - 11780. Does 37 divide s?
False
Suppose -5*c + c + 5*h + 173 = 0, c - 50 = -h. Is 25 a factor of c?
False
Let s(i) = 5*i**2 - 6*i + 12. Let f be s(-6). Let z = f - 103. Let x = z - 85. Does 20 divide x?
True
Is (-871 - 45)*(1 - 10/8) a multiple of 4?
False
Suppose 3*g + 10 = 5*n, 2*n + 3*n = -5*g + 50. Suppose 4*j = -n*q - 12, 5*q + j - 3*j - 6 = 0. Suppose 2*a - 14 - 16 = q. Is a a multiple of 5?
True
Is 4/4 - (200*1)/(-4) a multiple of 3?
True
Let r = 1239 - 355. Does 26 divide r?
True
Suppose -c = -8*l + 4*l - 515, 4*l = 2*c - 1026. Let t = c - 264. Is t a multiple of 10?
False
Let p(o) = o**3 + 11*o**2 + 6*o. Let u be p(-10). Suppose -u = -4*l + 16. Suppose -5*a + 164 = -4*s + l, 2*s + 150 = 5*a. Is 14 a factor of a?
False
Let i be (219/(-12))/((-1 - -2)/(-8)). Let c = i + -90. Is c a multiple of 24?
False
Let z be -8*3/(-6)*1. Let t = -6 + 10. Suppose -t*d - 3*m = -5*d + 48, z*d - 207 = -3*m. Does 16 divide d?
False
Let a = 18 + -20. Let l(d) = -8*d**3 - 2*d + 2*d**3 - 1 - 4*d + 4*d. Is 11 a factor of l(a)?
False
Let i = 133 - 67. Suppose r - i - 81 = 0. Is r a multiple of 21?
True
Suppose -7 = -4*v + 1. Suppose u + u = -3*b + 86, 2*u = -v*b + 88. Is 46 a factor of u?
True
Let j = 61 - 7. Suppose -5*r = n - j, -6 - 18 = -n + r. Does 10 divide n?
False
Does 7 divide 0/(-3) - -1*(-14 - -964)?
False
Let w(f) = 3*f + 173. Let v be w(-47). Let p = -14 - -20. Suppose -2*b - p = -v. Is 13 a factor of b?
True
Is 5 a factor of 9/45*-2 - 1877/(-5)?
True
Suppose k - 61*m - 443 = -58*m, 3*k - 1335 = 3*m. Is 11 a factor of k?
False
Suppose -w = 4*w - 15. Suppose p = 3*y - 17, -3*p = -w*y + 36 - 9. Is 16/y*6 + -4 a multiple of 5?
True
Suppose 45 = -3*h - 21. Let f = h - -18. Let s(x) = -5*x. Is 17 a factor of s(f)?
False
Let h be 3 + (-17)/5 + (-72)/45. Is (-27 + -267)/(h/2) a multiple of 42?
True
Let w be 3/(-9)*(-5 - 1). Let i be (-45*w - 3)*-1. Suppose 0*m = 3*m - i. Is m a multiple of 11?
False
Let z = -178 - 497. Is (2/(-2))/(9/z) a multiple of 15?
True
Let g be ((-4)/8)/((-1)/10). Suppose 10*t - g*t = 30. Does 5 divide t - (0 + -3 + 0)?
False
Is (-729)/(-1) + -7 + 14 a multiple of 46?
True
Let j(z) be the second derivative of z**7/168 + z**6/360 - z**5/120 + z**4/24 - z**3/2 - z. Let t(c) be the second derivative of j(c). Is 22 a factor of t(2)?
False
Let a(y) = y - 2. Let z be a(3). Let g be (4 - 2) + z*-18. Does 8 divide (g/(-5))/(1/5)?
True
Suppose -12 = -y + 3*y. Is -8*(y/24 + -1*4) a multiple of 4?
False
Let d be 9/(-12) + 0 + 1539/36. Suppose -3*b = -2*c + 509, d = c - 4*b - 205. Is 43 a factor of c?
False
Suppose 20 = -5*y, -123 = -5*j - 4*y + y. Does 9 divide (-630)/j*54/(-7)?
True
Let x = -359 + 607. Suppose -h = 4*i - 53, -2*h = 3*h + 3*i - x. Does 7 divide h?
True
Let v = -40 - -52. Let w = v - -2. Is w a multiple of 14?
True
Suppose -196*z + 191*z + 970 = 0. Is z even?
True
Suppose 0 = -28*p + 33*p + 4*d - 4502, d - 1802 = -2*p. Does 41 divide p?
True
Let m(t) = -2*t**3 - 2*t**2 - 10*t - 15. Does 4 divide m(-9)?
False
Let t(o) = -85*o + 172. Does 22 divide t(-6)?
True
Suppose -11*q + 10837 - 717 = 0. Is 10 a factor of q?
True
Let w(v) = v**2 + 8*v - 4. Let h be w(-9). Suppose h*m - 64 = 291. Is 27 a factor of m?
False
Let k(x) = x**3 + 11*x**2 + 8*x + 10. Is 23 a factor of k(-8)?
True
Is (-13)/((-78)/(-180))*-10 a multiple of 30?
True
Suppose 833 = -6*l + 209. Let p = 65 + l. Does 7 divide 7*(-3 - p/7)?
False
Is (-114)/(-190) - (30188/(-20) - 2) a multiple of 42?
True
Let z = -8 - -12. Let a(g) = z*g + 0*g + 9*g - 10 - g**2 - 2*g. Does 18 divide a(7)?
True
Let b(z) = z**2 - z + 2. Let n be b(2). Suppose 6*l = 5*l + n. Suppose -66 = -l*k + 3*k. Is k a multiple of 13?
False
Suppose 154*r = 158*r + 368. Let j = r + 104. Is j a multiple of 3?
True
Suppose 9*b = 4*b. Suppose b = -10*j + 11*j - 2. Suppose k - j = 52. Is 18 a factor of k?
True
Suppose 1155*j - 715 = 1154*j. Is j a multiple of 40?
False
Let z(j) = 15*j**2 + 13*j - 14. Does 18 divide z(4)?
False
Suppose 101*b = 102*b - 375. Does 34 divide b?
False
Let h(i) = -7*i + 15*i - 4*i - 3 - 8*i + 12*i**2. Is 13 a factor of h(-3)?
True
Suppose -2851 = -2*o - m, o + 2*o = -2*m + 4275. Is o a multiple of 50?
False
Is 3 a factor of -2*5/2*(-40320)/800?
True
Let q = -1249 - -1483. Is 9 a factor of q?
True
Suppose -6*y + 10 = -4*y. Let h = y + -8. Let r(c) = -17*c. Does 17 divide r(h)?
True
Suppose 4*i + 5*h + 142 = 0, 46 = -i - 3*h + 7. Does 8 divide (i/(-9))/((-1)/(-24))?
True
Let z = 4 + 5. Suppose 45 = z*i - 8*i. Is i a multiple of 8?
False
Suppose -3*f = 2*b - 384, 3*f + 2*b = -b + 387. Does 4 divide f?
False
Let b(i) = -i**2 - 6*i + 8. Let o be b(-7). Let n = o - -32. Is 3 a factor of n?
True
Let t(z) = z**2 - 27*z + 16. Is 53 a factor of t(30)?
True
Let s = 2330 + -1146. Is s a multiple of 148?
True
Let p = -415 - -594. Is p a multiple of 19?
False
Let v = -70 + -34. Let q = 146 + v. Does 14 divide q?
True
Suppose -6 = 4*a - 2*k, a - 3*a + 5*k + 17 = 0. Let j(q) = -10*q + 14. Does 18 divide j(a)?
True
Does 59 divide 1039/4 + 200/160?
False
Let u = -629 - -2064. Is u a multiple of 8?
False
Let i be (-6)/(-2)*(-1)/3. Let t be i/1*(8 + -11). Is 3 a factor of ((-66)/(-9))/(2/t)?
False
Suppose 5*s - 10 = 10. Let w(y) = -y**2 - 5*y + 6. Let p(z) = 3*z**2 + 11*z - 12. Let r(l) = 2*p(l) + 5*w(l). Is r(s) a multiple of 3?
False
Suppose -95 = 3*t + 34. Let z = t + 117. Is 32 a factor of z?
False
Let f = 1066 + -1003. Does 7 divide f?
True
Suppose 0 = -4*w + 3*d + 2*d + 27, 5*w - 3 = -4*d. Suppose 23 = 2*s - 5*b, 4*s - 2*s = -3*b - 17. Is 2 a factor of 1 + w - (s - 1)?
True
Suppose 0 = 91*u + 60851 - 243488. Is 9 a factor of u?
True
Suppose 1303*a - 1286*a = 10778. Is 24 a factor of a?
False
Let w(z) = -z + 5. Suppose 2*x = l - 11 + 24, -17 = -4*x - l. Suppose -19 + 0 = 2*f - b, f - 7 = -x*b. Is 13 a factor of w(f)?
True
Suppose 0 = 5*s + 2*z - 30, -41 = -4*s - 3*z - 2*z. Let u be -3 + (24/s - -2). Suppose 5*i - 2*p + 1 = 26, 0 = -u*i - 2*p + 25. Does 5 divide i?
True
Suppose 0 = -3*h + j + 657, -86 = -h - 4*j + 133. Does 3 divide h?
True
Let b be 261/27*(1 - (-2)/1). Let h = -1 + 1. Suppose b = 5*s - 2*a, h*a + a = -3*s + 13. Is s a multiple of 5?
True
Let k(n) = -3*n + 4*n + 20 + 1. Does 3 divide k(6)?
True
Let q be 6 - -1*(-3 + 5). Suppose 3*t + q*g - 3*g = 6, -3*g = 3*t - 6. Suppose 0 = -t*m + 91 + 27. Is 9 a factor of m?
False
Suppose 2*o - 37 = -199. Let j = -52 - o. Is 12 a factor of j?
False
Suppose 5*w - 190 = -0*x - 2*x, 0 = -3*x. Let p be 3/(-15) - w/10. Let r(l) = -3*l - 1. Is r(p) a multiple of 4?
False
Let l = -25 + 28. Suppose 19 = l*u - 38. Is u even?
False
Suppose -7*h = -5*h - 130. Let v = h - 95. Let a = -9 - v. Is a a multiple of 21?
True
Let m(l) = 2*l**2 - 8*l + 7. Let s(k) = -k + 1. Let j(y) = m(y) - 2*s(y). Does 25 divide j(5)?
True
Does 60 divide (-2 - -2902) + 99/11?
False
Is 9 a factor of -16*11/(55/(-20))?
False
Is 82*2*22/8 a multiple of 30?
False
Suppose 0 = 2*q, 0 = 3*y + 7*q - 2*q - 42. Suppose -y*k = -10*k. Suppose k*p + 100 = 5*p. Is p a multiple of 8?
False
Let l(n) = 2*n**3 + 10*n**2 + 7*n + 5. Let 