True
Suppose -3263 = -3*n - d + 1825, -n + 5*d = -1680. Is n a multiple of 41?
False
Let i(j) = -j**2 + 27*j + 31. Is 33 a factor of i(26)?
False
Suppose 65*c - 1968 = -2*k + 60*c, k - 991 = c. Does 41 divide k?
False
Let t(h) = -h**3 - 15*h**2 + h - 3. Let g be t(-15). Let p = g - -162. Does 16 divide p?
True
Let x = -540 - -1008. Suppose -4*u = -2*u - x. Does 18 divide u?
True
Suppose 2*m - 349 - 1011 = 0. Is 40 a factor of m?
True
Suppose -s + 8 = -0*s. Suppose s = -k + 11. Suppose 2*z - 17 = k*c - 2*c, -2*z + 8 = 2*c. Is z a multiple of 4?
False
Suppose -21*p + 184 = -635. Does 39 divide p?
True
Suppose 0 = 2*r + 3*b + 11, 1 = -4*r - 3*b - 6. Let f(o) = 0*o**3 - o**3 + r*o - 4 + 2. Does 18 divide f(-4)?
True
Suppose -10 = 2*f - 7*f. Suppose 2*h = -f*h + 8. Suppose 5*s - 2*k = 234, -5*k - 102 = -h*s - 0*s. Is 20 a factor of s?
False
Let m(z) = z + 65. Let n be m(0). Let c = 456 + -424. Let k = n - c. Is k a multiple of 7?
False
Suppose -793 - 1430 = -9*u. Suppose -4*s + u = s + 2*b, -s + 50 = b. Is 10 a factor of s?
False
Suppose -5*v = -872 - 123. Let i = v + -119. Is 10 a factor of i?
True
Suppose -6*x = -0*x - 246. Suppose 2*t - d = -0*t + x, t - 13 = -2*d. Is 3 a factor of t?
False
Let b be (4/10)/(4/160). Suppose 867 = -b*z + 19*z. Is z a multiple of 23?
False
Suppose 2*p - 2622 = -5*m, p - 1324 = 3*m + m. Is 8 a factor of p?
False
Let z(f) = -6*f + 1. Let v be z(10). Let s = -29 - v. Does 9 divide s?
False
Let w(p) = -p**3 + 9*p**2 - 10*p + 26. Is w(6) a multiple of 5?
False
Suppose 4*o - l = 4*l - 41, 0 = 3*o - 2*l + 22. Let z be ((-106)/o - -1)*2. Suppose 4*g - 3*t - 25 - z = 0, 2*t = 0. Is 5 a factor of g?
True
Let j(m) = 8*m**2 + 38*m - 19. Is 14 a factor of j(-11)?
False
Suppose k + 5 = -z, 8 + 8 = -4*k - 3*z. Is (-1)/(-1)*k*3885/(-21) a multiple of 16?
False
Let d = -284 + 948. Is 35 a factor of d?
False
Suppose 2*c + 50 = 4*o, 3*c + 2*c = -5*o - 155. Let s = 38 + c. Is s a multiple of 9?
True
Let j = 25 - 22. Suppose x - 5 = -2*w + 3*w, -5*x + 21 = -j*w. Suppose -x*s + 6*s = 39. Is s a multiple of 6?
False
Let p be (-2)/(-4) + (-70)/(-20). Let g = p - -5. Does 2 divide g?
False
Suppose 80*i = 75*i + 340. Is 4 a factor of i?
True
Let q be ((-150)/(-4))/(2/(-24)*9). Let x = q + 120. Is x a multiple of 14?
True
Let d be 18/36 - (-25)/2. Suppose -4*h = -d*h + 243. Does 10 divide h?
False
Let i be (-1880)/(-35) - (-4)/14. Let r be 4/18 - (-96)/i. Suppose -m = r*n - 41, 2*n + 14 - 235 = -5*m. Does 15 divide m?
True
Let m(v) = 2*v + 25. Let f be m(-11). Suppose 5*n + 2*t = n + 698, t = f. Is n a multiple of 23?
False
Let f = 5 - 3. Let n be 311/2 + 1/f. Let o = n - 86. Is o a multiple of 18?
False
Let q = -438 + 110. Let t = -138 - q. Is 47 a factor of t?
False
Let h(o) = -12 - 8 + 2*o**2 - 10 + 7*o. Does 3 divide h(-8)?
True
Let n(v) = -v**3 - 2*v**2 - v + 4. Let u = -18 + 22. Let f be n(u). Let g = f - -150. Is g a multiple of 11?
False
Suppose -3*q + 1183 = 5*v - 3017, 4*q = -20. Is 38 a factor of v?
False
Let b(a) = a**3 + 3*a**2 - 5. Does 3 divide b(2)?
True
Let s be 6/(-5)*20/(-8). Suppose 123 = -s*o + 3. Is 13 a factor of (-504)/o + 2/5?
True
Let f(n) be the third derivative of n**5/20 - n**4/2 - 29*n**3/6 + 12*n**2. Is f(-10) a multiple of 59?
False
Does 39 divide (-18)/1*(-138)/9?
False
Does 26 divide 1*6*(-416)/(-12)?
True
Suppose 4*t - 162 = -2*z, 0*t + t - z = 36. Let b = 47 - t. Is b a multiple of 3?
False
Let o be (-4)/18 + (-325)/117. Let n = 5 - o. Suppose -58 = -5*h - n. Is h a multiple of 5?
True
Suppose 2*m = 4*n - 2806, -2*m + 0*m - 2104 = -3*n. Does 25 divide n?
False
Let d = -1806 + 2015. Is 19 a factor of d?
True
Let k(q) = 33*q - 288. Is 8 a factor of k(32)?
True
Is 13 a factor of (-486)/4*312/(-36)?
True
Let l(f) = 8*f + 211. Let o(d) = -2*d - 53. Let r(b) = -2*l(b) - 9*o(b). Is 10 a factor of r(0)?
False
Suppose 6*n - 717 = 861. Is n a multiple of 52?
False
Let q(h) = -4*h + 59. Let a be q(15). Does 16 divide (a/2)/(-1 - (-889)/896)?
True
Let u = -2611 + 3991. Is 31 a factor of u?
False
Let p(u) = u**3 - 4*u**2 + 4*u. Let h be p(3). Let x = h - -5. Suppose 2*m - 3*m + 32 = 5*b, m - b - x = 0. Is m a multiple of 12?
True
Let c = 0 + 10. Let o = -2 + 9. Suppose c*a = o*a + 30. Is 4 a factor of a?
False
Let t = 70 - 66. Is 19 a factor of (t/8)/((-5)/(-570))?
True
Let t = 76 - 35. Let j = 60 - t. Does 7 divide j?
False
Let f be (6 - 10)/((-1)/18). Suppose -5*j + f = k, 5*k + 4*j - 94 = 203. Suppose k = 2*l - 0*l + 5*v, -5*v - 73 = -3*l. Is 8 a factor of l?
False
Let p = 587 + -197. Is 65 a factor of p?
True
Let n = -29 - -25. Does 9 divide n/(-6) + 1261/39?
False
Suppose 3*y - 4405 = 59. Is 16 a factor of y/42 + 4/7?
False
Suppose -2*x = -2*b - 3086, 2*b - 1356 = -3*x + 3258. Does 28 divide x?
True
Let q = -752 + 1008. Does 4 divide q?
True
Let c(k) = -17*k. Let d be c(8). Let y = d - -148. Does 6 divide y?
True
Suppose -6*f + 4*f = h - 80, -f + 320 = 4*h. Is 4 a factor of h?
True
Let g = -11 - -3. Let j = g + 10. Does 11 divide (38 + 6)/(1*j)?
True
Let y(n) = 6*n**3 - 4*n**2 + 2*n - 11. Is 31 a factor of y(5)?
False
Suppose 31*s = 15*s + 7584. Does 57 divide s?
False
Suppose 2*l - 27 - 57 = 0. Does 2 divide l?
True
Is 6 a factor of (-16 + 55)*3/(6/128)?
True
Suppose 0 = 4*r - 8*r - 3*i + 1317, 3*r - 2*i - 992 = 0. Does 55 divide r?
True
Let t(b) = b**2 - b. Let l be t(1). Suppose 12*c - 5*c - 70 = l. Does 2 divide c?
True
Let y(k) = -17*k**2 - 9*k - 13. Let r be y(-2). Is 12 a factor of (-3 - r) + -1 + -4?
False
Let m = -19 + 20. Let p be 4 + 2 + m + -7. Suppose 3*b = 2*z + 18 + 54, p = 4*b - 2*z - 98. Is 8 a factor of b?
False
Let l = -32 - -196. Does 2 divide l?
True
Is 32 a factor of 54/(-135) + 3254/10?
False
Suppose 904 - 163 = 3*n. Does 19 divide n?
True
Suppose 2*j + 3*s = -2*j + 2, 2*s - 9 = 5*j. Let d be 2/4*j*-2. Is (-5 - 15)/(d/(-2)) a multiple of 11?
False
Suppose -32*r + 18*r = -2282. Does 16 divide r?
False
Let w(y) = -y**2 - 15*y - 16. Let z be w(-15). Is 9/((-36)/z) + 10 even?
True
Suppose 0 = -2*a + 60 + 1980. Is a a multiple of 17?
True
Let m = -5 - -9. Suppose 2*a = -m + 8. Suppose -5*b = 2*t + 2*t - 22, 22 = 3*b - a*t. Does 3 divide b?
True
Let w(z) be the second derivative of 13*z**5/20 + 2*z**3/3 - 9*z**2/2 + 2*z - 4. Is w(3) a multiple of 49?
False
Suppose 0 = 4*z - d - 11, -2*z - 4*d + 0 = 8. Suppose 5*j - 82 = -2*x, -x - 3*x = 2*j - 20. Suppose -z*v + j = -22. Does 10 divide v?
True
Is 19293/24 + (0 - (-5)/40) a multiple of 17?
False
Let k(t) = t**2 + t + 33. Let c(y) = 3*y**2 + 3*y + 99. Let b(g) = 6*c(g) - 17*k(g). Let d(s) = -s + 3. Let a be d(3). Does 33 divide b(a)?
True
Let g be 1*-2*(-1056)/11. Suppose 4*b = 88 + g. Does 35 divide b?
True
Let x(z) = -2*z**2 - 6*z + 13. Let l be x(10). Let o = 127 + l. Does 10 divide 7*13/((-364)/o)?
True
Let l = -291 + 295. Let g = 38 + -13. Suppose -3*d - 2*c + g = -0*c, -l*d + 32 = 3*c. Does 3 divide d?
False
Suppose -89 - 163 = -3*i. Suppose -4*g = 16, 0 = -2*n + g - 2*g + i. Is 21 a factor of n?
False
Let p be (44/7)/((-12)/(-42)). Suppose -2*k = 4*i - 18, -3*i - 3*k = 4 - p. Suppose -i*v = v - 20. Is v even?
False
Let r(s) = 1. Let y(t) = -19*t**2 - 2*t + 1. Let g(a) = 5*r(a) - y(a). Does 19 divide g(-2)?
True
Suppose -30*g + 249578 = 79148. Is g a multiple of 13?
True
Does 25 divide ((-189)/(-35) - 6)/(5/(-575))?
False
Let h(n) = n + 1. Let g be h(7). Suppose -x = 10 - 81. Suppose k + g = x. Does 21 divide k?
True
Suppose 47089 = -13*o + 62*o. Is o a multiple of 31?
True
Let z = -3 + 6. Suppose -21 = -z*x - 6. Is 4 a factor of x?
False
Let l(y) = 2*y**2 + 4 - y**2 - 2 + 3*y. Suppose 7*a - 35 = -14. Is 10 a factor of l(a)?
True
Let r = -380 - -568. Suppose -2*o = -2*g + r, -5*g + 311 = 3*o - 175. Is 12 a factor of g?
True
Is (-2314)/(-3 + 5)*(-11 - -10) a multiple of 13?
True
Let o(k) = -k**2 - 13*k - 3. Suppose -5*v - 65 = 5. Let p be o(v). Does 15 divide (-18 - p)/(2/(-64))?
False
Let c = 551 + -266. Is 9 a factor of c?
False
Let z = 1915 - 156. Does 25 divide z?
False
Let a(i) be the first derivative of -5*i**2 + 75*i + 18. Is a(0) a multiple of 5?
True
Let f = 116 + -68. Suppose 2*d + f = 3*c - 440, 2*c - d = 325. Is c a multiple of 8?
False
Let r(f) be the first derivative of 2*f**3/3 + 6*f - 2. Is 18 a factor of r(-6)?
False
Let j 