2 = 0, -26 - p = -4*j + 5*x. Is 4 a factor of j?
True
Does 4 divide ((-24)/(-10))/((-3)/(-20))?
True
Is ((-28)/(-4))/((1*-2)/(-26)) a multiple of 10?
False
Suppose -4*t - 75 = -7*t. Let a be 0 - (2 - 0)/(-2). Does 12 divide t + 0 + a + -2?
True
Let k(a) = a**2 + 2*a - 4. Let p be 72/(-16)*8/6. Let n(m) = m**3 + 5*m**2 - 5*m. Let l be n(p). Does 13 divide k(l)?
False
Does 18 divide (-6)/(-2)*(5 + -4) - -126?
False
Suppose -2*s = -s, -5*s + 54 = 2*p. Let z be 6/p*3*6. Is (z/2 - 1) + 9 a multiple of 10?
True
Suppose 5*z = m - 28 - 6, -2*z - 76 = -2*m. Does 13 divide m?
True
Let o be 24 - (2 + (-3 - 0)). Let a = 9 - o. Let m = 32 + a. Is 16 a factor of m?
True
Suppose 2*k = -22 - 14. Let l(x) = -2*x + 9. Is 9 a factor of l(k)?
True
Let c be (-2)/(-1 - 0) + 0. Suppose -4*k + 0 = -2*o - 2, -3*o - c*k - 3 = 0. Does 5 divide o/(2/(-4)) - -8?
True
Suppose -u = -2*k - 15, 2*u + 3*k + 28 = 4*u. Let f(d) = d**3 - 10*d**2 - 9*d - 8. Is 13 a factor of f(u)?
False
Suppose -n = s - 5, n + 13 = 5*s - 0. Let a be (-5 - -6) + 1 + n. Suppose -o - a*f = o - 68, -4*o + 158 = -3*f. Is o a multiple of 19?
True
Suppose 0 = -3*y - 12, 5*y + 3 + 18 = u. Does 10 divide (-21*2)/(-2)*u?
False
Let t be (1 - -1)*2/1. Suppose 8*j - t*j = 80. Is 4 a factor of j?
True
Let f be (4/5)/((-6)/(-135)). Let a = f - 9. Suppose 4*v = a + 15. Is 3 a factor of v?
True
Suppose -34 = -2*p + 84. Let d = -39 + p. Is d a multiple of 9?
False
Let t(b) = -2*b**3 - 4*b**2 - 4*b - 3. Let g be t(-2). Suppose g*q - 56 = q. Is 8 a factor of q?
False
Let g = 38 + -22. Let h be ((-18)/8)/((-6)/g). Suppose -6 = -d + h. Does 12 divide d?
True
Is (-20)/(-4)*1 + 0 a multiple of 5?
True
Suppose -28 = 2*b + 8. Is (0 - 8)*117/b a multiple of 15?
False
Suppose 0 = t - 2*t - 5*w + 90, 2*w = t - 76. Is t a multiple of 10?
True
Suppose -2*k + 17 = 5. Let z = 27 - k. Does 17 divide z?
False
Let n(d) = -d**2 - 7*d + 0*d - 1 + 0*d. Let p be n(-8). Let y = -5 - p. Is 2 a factor of y?
True
Let k(w) = -w**3 + 2*w**2 + 4*w - 2. Is k(-3) a multiple of 4?
False
Let c = -1 - -32. Suppose -4*h = 3*p - c, 5*h + 0*p = -p + 47. Is h a multiple of 5?
True
Is (1/(-3))/((-1)/33) a multiple of 3?
False
Suppose -2*r + 6*r + 4*o - 44 = 0, 11 = r + 5*o. Let g = -5 + r. Does 2 divide g?
True
Let l(a) = 2*a**3 - 5*a**2 - 5. Is l(4) a multiple of 11?
False
Suppose -m + 0*m - 1 = -2*v, 0 = -5*v + 5*m - 10. Let k(u) = 3*u + u**2 + 5*u - 14*u - 2 + 8*u. Does 8 divide k(v)?
False
Suppose 0*f = -5*f - 5*g + 410, -4*g + 8 = 0. Suppose -v = -3*u + 7 + 41, -2*v = 5*u - f. Does 9 divide u?
False
Let i(g) = -3*g - 7*g - g**3 + 1 + 0*g**3 + 6*g**2. Let q be i(7). Does 15 divide q/(-6) + 2/(-3)?
False
Suppose 37 = 3*m + 10. Is m a multiple of 8?
False
Let c = 6 + -9. Is 13 a factor of (c - (-33)/(-2))*-2?
True
Suppose 0 = -2*f - 3*b + 80 - 15, -87 = -3*f - b. Does 13 divide f?
False
Suppose 6*c - 3*c = 2*g - 120, -5*g + 325 = 5*c. Is g a multiple of 24?
False
Let p(s) = 41*s**2 - s - 1. Does 17 divide p(-1)?
False
Suppose 0*b - 3*b = 5*h - 531, 3*h = 4*b + 336. Does 6 divide h?
True
Let k(g) be the first derivative of -g**4/4 - 7*g**3/3 - 3*g**2/2 - 5*g - 6. Is k(-7) a multiple of 8?
True
Does 3 divide (6/15)/(2/60)?
True
Suppose -2*r = -4*r. Let u(x) = -x**2 - x + 6. Is u(r) a multiple of 6?
True
Let g be (-159)/(-3) + -1 - 1. Suppose 3*j = 6*j + 3*s - 33, -s = 5*j - g. Is j a multiple of 5?
True
Let l(o) = o**3 - 4*o**2 - 6*o - 7. Let b be l(5). Let v = -3 + 2. Does 12 divide (v - 4)/(2/b)?
False
Suppose r + 4*v = 2*r + 8, -2*r = v - 11. Suppose y - 5*y - 5*b - 15 = 0, -9 = 3*b. Suppose r*o + 24 - 108 = y. Is 13 a factor of o?
False
Suppose 5*a - 106 = i + 134, 4*a + i - 192 = 0. Does 12 divide a?
True
Let h(p) = 4*p**3 - 3*p**2 - 2*p + 1. Let a be h(-5). Suppose 3*r + 2*k + 32 = 0, -5*r - 95 = -5*k - 0*k. Is 8/(-28) + a/r a multiple of 11?
False
Suppose 0 = -y - y + 40. Let c = 28 - y. Does 8 divide c?
True
Let z be (-4)/(-2) + 4 - 2. Let p(f) = -f + 7. Let s be p(3). Suppose x + d = 2 + 11, -s*d - z = 0. Is x a multiple of 7?
True
Let r(b) be the first derivative of -7*b + 1/3*b**3 + 3/2*b**2 + 1. Is r(-6) a multiple of 11?
True
Suppose -5*r - 2*j = -992, -5*r = -2*j - 856 - 132. Is 18 a factor of r?
True
Suppose 2*x + 18 - 54 = 0. Let f be 1/(-1) - x/2. Let c = f + 19. Does 8 divide c?
False
Suppose -4*v + 8*b - 3*b + 348 = 0, 0 = -2*b. Is v a multiple of 7?
False
Let k(p) = -p - 9. Let o be k(-8). Let b be ((-116)/6)/(2/(-3)). Let j = b + o. Does 12 divide j?
False
Let n(d) = -d + 8. Is n(-7) a multiple of 4?
False
Let b(s) = -s + 23. Let n = -26 - -38. Is b(n) a multiple of 5?
False
Suppose 3*i - 395 = -o, -3*i + o = 3*o - 394. Is i a multiple of 8?
False
Let w = 13 - 5. Let l(c) = 2*c - 13. Is l(w) a multiple of 2?
False
Let f = 12 - 6. Suppose 0 = -3*j + j - f. Let u = j - -7. Does 3 divide u?
False
Let x = -21 + 25. Is 2 a factor of x?
True
Let s = 84 + -40. Does 22 divide s?
True
Let b = 6 - 5. Is 7 a factor of 17/(3 + -1 - b)?
False
Suppose -3*v - 46 = 32. Let o = v - -59. Suppose -4*t + o - 13 = 0. Does 2 divide t?
False
Let f(y) = y**2 - 6*y - 5. Is 10 a factor of f(10)?
False
Suppose 3*c + 0*c - 3 = 0. Is (23 - (-6)/(-2))/c a multiple of 20?
True
Suppose -9 = 2*w + 5*f, f = -5*w - 3*f - 31. Let v = w - -33. Is v a multiple of 22?
False
Suppose 81 = v - o, 2*o = -v + 31 + 35. Is 38 a factor of v?
True
Suppose -5*s - 2*d - 62 = 106, d = -3*s - 100. Let j = 51 + s. Is 19 a factor of j?
True
Let m(v) = v**3 + 6*v**2 + 4*v - 2. Let g be m(-5). Suppose x = b + b - 13, 5*b + g*x - 38 = 0. Does 6 divide b?
False
Let f be 10/6*(3 + 0). Suppose -p - 38 = -f*o - 0*p, -o = 4*p - 16. Suppose -5*i + 75 = 5*r, -o - 17 = -i + r. Is 17 a factor of i?
False
Is 19 a factor of (-6 - -3)/(-3)*57?
True
Suppose -4*z = -191 - 521. Suppose n - o = -5*o + 42, -4*o = 5*n - z. Let x = n - 18. Does 8 divide x?
True
Suppose 27 = -2*p - 3*g, 37 = 4*p - 6*p - 5*g. Let d(m) = -m**2 - 9*m - 3. Is 7 a factor of d(p)?
False
Suppose 7*a = 2*d + 3*a - 140, 3*d + 5*a = 221. Let c be 4/14 - 24/(-14). Is 13 a factor of (1/2)/(c/d)?
False
Suppose -2*h + 10 = 3*n, -9 = n - 2*n + 5*h. Let m = 4 - 2. Suppose 3*t + m*t - 4*j = 53, 0 = -n*j + 12. Is 11 a factor of t?
False
Suppose 4*y + 0*x - 28 = x, -y + 5*x + 7 = 0. Suppose -3*u = -y*u + 56. Does 5 divide u?
False
Let f(o) = -o**3 + 2*o**2 - o. Let s be f(2). Does 14 divide (s/8)/(1/(-116))?
False
Suppose 0 = -5*h - 0*v - 2*v + 572, -v = -1. Does 19 divide h?
True
Is (0 + -2 - 3)*25/(-5) a multiple of 25?
True
Suppose 2*a = -2*a + 48. Is 9 a factor of ((-9)/a)/(2/(-48))?
True
Suppose 32 = -i + 5*i. Let v(r) = r**3 - 6*r**2 - 9*r - 3. Let w be v(i). Suppose s - 8 = -0*a + 3*a, -w = -5*s + 2*a. Is 7 a factor of s?
False
Let r(t) = 3*t - 2. Let n be r(-4). Let o be (-3 + n)/(1/(-3)). Suppose -5*f + 2*b = -o, f = -2*f + 2*b + 33. Is f a multiple of 8?
False
Suppose -2*u = -4*c + u + 26, -3*u = 2*c - 22. Let f(x) = 7 + x**3 - x - 6 + c. Is 5 a factor of f(0)?
False
Let y be (0 - -22)/((-1)/(-10)). Suppose p + 3*p = y. Is p a multiple of 30?
False
Let b(w) = -3*w**3 - 2*w**2 - 7*w. Let c be b(-5). Is 7 a factor of c/26 + (-4)/(-26)?
True
Suppose 2*z - 768 = -4*t, 0*z + 192 = t + 2*z. Let w = t - 114. Does 13 divide w?
True
Let h be 5 + -7 - (-1 - 1). Suppose h = n - 4 - 2. Is 2/n + 83/3 a multiple of 11?
False
Let q = 6 + -3. Suppose -3*m = -m + 10, -3*n - q*m = -18. Is n a multiple of 11?
True
Let v = -15 + 21. Is 11 a factor of -10*(0 - 9/v)?
False
Let n = 177 + -80. Is 15 a factor of n?
False
Let k be (2 - 0)/((-1)/(-3)). Suppose o + k - 17 = -5*w, -5*w + 31 = -4*o. Is w a multiple of 2?
False
Is 8 a factor of 89/4 + 1/(-4)?
False
Suppose -2*l = 2*f + 18, -3*f - 45 = 5*l - f. Let q = l + 92. Is 15 a factor of q?
False
Suppose 0 = -j - 2 + 6. Suppose -r = j*a - 26, 5*r = -2*a + 20 + 92. Is r a multiple of 4?
False
Let i be (-18)/6 + (-2)/2. Let j be 3/6 + 62/i. Let l = -8 - j. Is 7 a factor of l?
True
Let v(b) = -1 + 1 + 1 - 7*b + 9*b**2 + 6*b. Suppose 5*t = 5*a - 3*a - 17, 2*a + t + 1 = 0. Does 6 divide v(a)?
False
Let y(p) = 85*p**3 - 1. Let m be y(-1). Let j = m - -121. Does 10 divide j?
False
Is 2 a factor of 10*((-28)/(-8) - 3)?
False
Let w(c) = c + 8. Let v be w(-6). Let r(y) = 4*y**2 + 1. Is r(v) a multiple of 8?
False