y(o) = -9*g(o) + 2*q(o). Is 6 a factor of y(10)?
False
Suppose 0 = -x - 4*x + 45. Suppose 5*w - 11 = x. Suppose j - w*s + 2 = 19, -5*s = 5*j - 10. Does 5 divide j?
True
Suppose -4*x = x + 5*w - 150, 5*x = 3*w + 150. Does 5 divide x?
True
Let v(f) be the first derivative of -3*f**4/4 + 2*f**3/3 - f + 3. Let r be v(-1). Let i(b) = 2*b**2 - 7*b + 6. Is 5 a factor of i(r)?
True
Let l be -3 + 11 - 0 - 3. Suppose l*c - 9*c = -28. Is c a multiple of 3?
False
Does 3 divide 228/15 - (-4)/(-20)?
True
Suppose 3*i = 7*i - 16. Let r = 73 - 31. Suppose 2*g = -2*j + r, -2*j + g + 49 = -i*g. Is j a multiple of 11?
True
Let u(b) = -b**2 + 4*b + 1. Let r be u(4). Is (-5 + r)/((-11)/22) a multiple of 4?
True
Suppose -66 = -w - 0*w. Suppose -m - w = -3*m. Let y = m - 0. Is y a multiple of 20?
False
Let c(g) be the second derivative of -8*g**3/3 - 23*g**2/2 - g. Let p(u) = -11*u - 15. Let v(w) = -5*c(w) + 8*p(w). Is 12 a factor of v(-5)?
False
Let k(m) be the third derivative of -m**4/6 + m**3/2 - 2*m**2. Let y be k(-3). Is 0/(-5) + -1 + y a multiple of 9?
False
Let y be 11/(11/210) - 1. Suppose y = 5*t - 66. Let c = t - 38. Is c a multiple of 17?
True
Suppose -6 = 2*i + 8. Let u = i - -10. Is u even?
False
Is 22 a factor of (-4)/(-14) + (-1440)/(-56)?
False
Let b(t) = -3*t + 4. Let d be b(-10). Let a = d + -23. Does 4 divide a?
False
Suppose 3*c - 5*n = c + 276, -3*c + 3*n = -396. Does 12 divide c?
False
Suppose 0 = u - 5*k, -1 + 9 = u - k. Suppose -3*d - u = -169. Is d a multiple of 14?
False
Suppose 3*w + 3 = -9. Let z be w/6*-9 - 2. Suppose z*k = o + 181, o + 2 + 44 = k. Does 18 divide k?
False
Let z(p) be the third derivative of p**6/60 + p**5/20 - p**4/12 + 2*p**2. Let a be z(-3). Let r = a - -40. Is 7 a factor of r?
False
Let o = -2 + -2. Let t be (-1)/2 + (-10)/o. Suppose t*i + 2*i = -5*m + 139, 0 = -5*i - 5*m + 175. Does 15 divide i?
False
Suppose -4*m + 3*s + 446 = 0, 3 = 2*s - 1. Let z = m - 53. Suppose -2*g + z = g. Is 10 a factor of g?
True
Let t(v) = v**2 + 23*v + 37. Is 15 a factor of t(-22)?
True
Let g be ((-6)/(-2))/((-9)/(-6)). Suppose 5*a - 3*q - 46 = 0, -2*q + g = 6. Is a a multiple of 3?
False
Let g = -53 + 23. Does 15 divide g*(15/(-6) + 2)?
True
Let f(l) = 0*l**3 - 2*l**3 + l**3 + 0*l**3 + 1 + l. Let r be f(0). Let s(h) = 13*h. Is 13 a factor of s(r)?
True
Let s be 14/(-3)*(-156)/8. Suppose s = 2*i + b, b = i + 4*i - 231. Does 10 divide i?
False
Suppose 0 = -3*v + y + 1 + 22, -4 = -4*y. Does 2 divide v?
True
Does 13 divide (-10)/50 - 242/(-10)?
False
Suppose 0 = -14*x + 19*x - 90. Is x a multiple of 4?
False
Let f be 6/(-15) - (-42)/5. Suppose 3*j - 66 = -3*l + f*j, 0 = l - 3*j - 18. Does 9 divide l?
True
Let x be 86/(-3) - (-10)/15. Let y = 64 + x. Is y a multiple of 22?
False
Let k(o) = -2*o**3 + 2*o**2 + 3*o - 3. Is 15 a factor of k(-3)?
True
Let m be 2/(-6) - (-56)/(-3). Suppose w + 30 = -c, 4*w - 2*w - 45 = c. Let v = m - c. Does 8 divide v?
True
Let c = 51 + -42. Is c a multiple of 6?
False
Suppose 5*z = -5*y + 40, -2*y + 0*z + z = -1. Let n be (-4 - (-5)/5) + 6. Is (7/y)/1*n a multiple of 2?
False
Is 17 a factor of (-956)/(-14) + (-8)/28?
True
Let u be (-16)/(-24) - 2/3. Suppose s + 2*s - 42 = u. Is s a multiple of 14?
True
Suppose -v - v - 10 = 0, -5*d + 2*v = -125. Let h = d - 35. Does 9 divide h/(-3 + 2) - 3?
True
Suppose d - 22 = -d - 2*u, -2*u + 30 = 3*d. Is d a multiple of 3?
False
Suppose 0 = 4*v + 5*w + 100, 2*w = -v - 4*v - 125. Let h(r) = -r**2 + 2*r + 6. Let m be h(6). Let n = m - v. Does 4 divide n?
False
Suppose -5*f + 157 = -143. Suppose 3*l = -2*i - 3*i + f, i - 2*l = -1. Is i a multiple of 5?
False
Suppose p - 679 = -2*p - 4*i, 445 = 2*p - 5*i. Is 12 a factor of p?
False
Let u = -33 - -17. Does 13 divide (u/(-3))/((-2)/(-6))?
False
Let b = 0 - -15. Suppose b = 3*h - 2*d - 0, -2*h = d - 17. Is h a multiple of 7?
True
Suppose 4*j = -5*v - 57, 3*v - 2*v - 2*j = -3. Let d be (30/v)/((-2)/(-33)). Does 9 divide 8/10*d/(-2)?
False
Let s be 2*2*(-34)/(-8). Suppose -j = -5*h - s, -2*h + h = j + 13. Is (-4)/6*j*3 a multiple of 8?
True
Let b(o) = -2*o**3 + 4*o**2 + 4*o - 1. Let p be b(4). Let z = 85 + p. Is 18 a factor of z?
True
Suppose 3*m + 2*f = -152, m = 5*m - 5*f + 172. Suppose 2*g = -g - 9, -4*g = -n + 110. Let r = n + m. Is r a multiple of 14?
False
Let o(n) = 25*n + 1. Let j be o(-1). Let f(d) = -2*d**3 - 2*d**2 + 1. Let w be f(-1). Is 12 a factor of j*((-2 - 0) + w)?
True
Suppose 0 = -5*y + 2*p + 671, y - 547 = -3*y + 5*p. Is y a multiple of 11?
False
Let j(x) = 10*x - 36. Is j(10) a multiple of 8?
True
Let x(d) = -2*d - 9. Let b be x(-7). Suppose 0*j - 125 = -b*j. Does 6 divide j?
False
Let h(r) = r**3 - 3*r**2 + 3*r - 2. Let m be h(3). Is 281/7 - 1/m a multiple of 20?
True
Suppose 5 = 2*m - 13. Let t = m + -5. Suppose 2*b - 78 = -4*s, 2*s + 45 = t*s - 5*b. Does 20 divide s?
True
Is 44/8 - (-3)/6 a multiple of 3?
True
Let b(r) = 2 - r + 0*r - 3*r + 1. Is b(-4) a multiple of 9?
False
Let n(h) be the third derivative of h**6/120 + h**4/24 + 31*h**3/6 + 2*h**2. Does 12 divide n(0)?
False
Let q(u) = u**3 + 8*u**2 + 5*u - 3. Is q(-7) a multiple of 2?
False
Let f be 4/(-1*2/(-4)). Let a(v) = 11*v - v**2 - 7 + 5*v**2 - 5*v**2. Is a(f) a multiple of 15?
False
Let g(o) = -o**3 - 7*o**2 - o - 7. Let k be g(-7). Suppose w + 3*p - 86 = -w, -2*w + p + 86 = k. Is w a multiple of 40?
False
Let a(v) = v**3 + 10*v**2 + 8*v - 7. Let u be a(-9). Is 37/(1 - (2 - u)) a multiple of 7?
False
Let h(r) = -r**2 + r. Let y be h(0). Suppose 3*p + p - 88 = y. Does 6 divide p?
False
Let u = 14 + -10. Suppose u*k = j + 113, -k + 0*k - 5*j + 2 = 0. Is 9 a factor of k?
True
Suppose -5 = -4*n + 43. Is n a multiple of 6?
True
Let v(o) = -o**3 - 8*o**2 - 9*o - 12. Is v(-8) a multiple of 20?
True
Let f(x) be the second derivative of -x**3/6 - 3*x. Let u be f(-3). Suppose 3*b = -w - u*w + 70, 8 = 4*b. Is w a multiple of 16?
True
Suppose 4*q = 3*q. Suppose -2*t + 21 + 25 = q. Is 7 a factor of t?
False
Let g = -8 + 15. Let v = g + -3. Is (2/v)/(4/16) even?
True
Suppose -2*r + 21 = -95. Suppose 4*q = -2*y - y + r, -q - 2*y + 12 = 0. Let z = 11 + q. Is z a multiple of 14?
False
Suppose 0 = -3*k + 9*k - 264. Does 12 divide k?
False
Let o(q) = -q**3 + q - 2. Let p be o(0). Let f(k) = -9*k**2 + 6*k + 1. Let l(w) = -9*w**2 + 7*w. Let u(g) = -3*f(g) + 2*l(g). Is u(p) a multiple of 14?
False
Suppose 1 = -g + 3. Let b(p) = -3*p**2 - 6*p + 7 + 0*p + 6*p**g + 2*p**2 + p**3. Is 12 a factor of b(-5)?
False
Suppose 3*p - 47 = 88. Let z(f) = -9*f - 1. Let b be z(-2). Let u = p - b. Does 11 divide u?
False
Is -2 + (8 - 4) + 10 a multiple of 3?
True
Suppose 0 = -2*w - 18 + 6. Is 1/2 - 195/w a multiple of 21?
False
Let k(x) = -9 + 0 - 2 - x + 4*x. Is k(12) a multiple of 6?
False
Let z be 9/4*16/3. Suppose -2*h - z = 36. Does 4 divide (-1)/(-4) + (-186)/h?
True
Let j(w) = 5*w - 6. Suppose 0 = z + 2*z + 18. Let u(i) = -2*i + 2. Let a(n) = z*j(n) - 17*u(n). Is a(5) a multiple of 22?
True
Let v(n) be the third derivative of -n**4/24 + 7*n**3/2 + 8*n**2. Does 6 divide v(7)?
False
Let j be (-4 + 1 - 8)*-2. Let l = j + -14. Is l a multiple of 4?
True
Let h be (7*-1*1)/(-1). Suppose -13 = 4*l - q, 3*l - h = 5*q - 38. Is 1*-5*2*l a multiple of 7?
False
Let u(z) = z**3 + z - 2. Let l be u(0). Let b be (l - -4 - 5)*-1. Suppose b*m - 41 = 7. Is m a multiple of 9?
False
Let a(n) = -2. Let f(o) = -o - 1. Let s(g) = -2*a(g) + 4*f(g). Let r be s(-1). Suppose 50 = r*t - 2*t. Is t a multiple of 13?
False
Suppose 32 = u + 2*b, 34 = u - b + 5. Suppose 54 = 4*j - u. Does 7 divide j?
True
Let b be ((-72)/27)/(4/(-6)). Suppose -t = -6 + 3. Suppose -x - t*x - b*c = -100, -4*x + c = -125. Is 14 a factor of x?
False
Is (4/(-3))/(-2)*(-33 - -159) a multiple of 7?
True
Let a(d) be the second derivative of -1/20*d**5 + d**2 + 0 + 0*d**3 + d - 1/2*d**4. Is a(-6) even?
True
Let d(w) = 6*w**2 + 12*w + 10. Does 6 divide d(-4)?
False
Let b = 37 - 18. Suppose -3*h = -2*t - 18, 5*t + 6*h + 45 = h. Let p = t + b. Is 10 a factor of p?
True
Let f(p) = -p**3 - 6*p**2 - p - 3. Let g be f(-6). Suppose w - g = 19. Is w a multiple of 11?
True
Let x = 3 - 0. Does 5 divide 21 - (x - -3 - 3)?
False
Let i(b) be the first derivative of b**2/2 + 34*b - 3. Is i(0) a multiple of 17?
True
Let y be 5/(-20) + 1165/4. Suppose