11 divide o?
False
Let k(y) = -3*y + 3 + 179*y**2 + y - 175*y**2. Is k(5) a multiple of 28?
False
Let q(s) = -13*s - 9. Is q(-5) a multiple of 7?
True
Suppose 3*x - 11 + 5 = 0. Suppose -p = 4*q - 66, 6*p = -x*q + p + 42. Is 16 a factor of q?
True
Let q(v) be the first derivative of -3*v - v + v + 4*v + 10*v**2 + 1. Does 21 divide q(1)?
True
Let m(i) = -i**3 - 7*i**2 + 4*i - 1. Let g be m(-9). Let l = -61 + g. Is 16 a factor of l?
True
Let p(d) = -5*d - 22. Is 14 a factor of p(-10)?
True
Let z = 5 + 13. Does 6 divide z?
True
Let h(d) = -d**3 - 6*d**2 + 6*d - 7. Let z be h(-5). Let i = -42 - z. Is 16 a factor of i?
False
Suppose 2*g - 4 = -2*g. Suppose -4*r = -5*r - g. Is 13 a factor of r/(-3) - 76/(-6)?
True
Let d = 33 + 10. Does 6 divide d?
False
Let v be (-1 - -1)/(-6 - -8). Suppose u = -2*d + 125, -10 = -2*u - v. Does 23 divide d?
False
Let s = 20 + -20. Suppose 5*l + 5*c - 135 = s, -l + 3*c = -15 - 0. Is 13 a factor of l?
False
Let n = -225 - -397. Let w = n - 97. Is w a multiple of 29?
False
Does 11 divide 22*(20/(-5) + 6)?
True
Let i = 20 + 22. Is 19 a factor of i?
False
Is 42 - 1*(-4 + 5) a multiple of 17?
False
Let g = 4 - -6. Does 6 divide ((-12)/g)/(9/(-120))?
False
Suppose 0 = w + 2*i - 115, -3*i - 427 = -4*w - 0*i. Does 12 divide w?
False
Let t = 16 + -9. Let d = t + -2. Is 15 a factor of 380/d*1/2?
False
Let u be 1 + 0/(-1) + 15. Let l be (u/(-10))/((-2)/125). Suppose 0 = 4*f + f - l. Is f a multiple of 20?
True
Suppose 5*h + 12 = 522. Does 28 divide h?
False
Let z be (2 - 6)/(-2) + 0. Does 12 divide ((-2)/(-3) - z)*-18?
True
Let z(f) = -f**3 - 8*f**2 + 12*f - 1. Let w be z(-9). Suppose -x - 33 + 14 = 0. Let g = x - w. Does 9 divide g?
True
Let f = -14 - -18. Suppose 3*o = 2*o + 3. Suppose -2*d + 12 = 2*a, 0 = o*a - 2*d + f*d - 19. Does 7 divide a?
True
Suppose 3*v - 2*k - 86 = 0, -5*v = -2*k + 6*k - 180. Is v a multiple of 5?
False
Let w be (-8 + 1)/(0 - 1). Let g = -3 + w. Suppose -g*o = -n, -2*n + 10 = -4*o - 6. Is 16 a factor of n?
True
Suppose -97 = -g - 11. Is 52 a factor of g?
False
Let b = -4 - -4. Let l = b - -6. Is 12 a factor of 26*(-1)/(-4)*l?
False
Suppose -2*f = -2*t + 88, 3*t + 3*f = -0*f + 150. Is 16 a factor of t - (-3 + 3) - -2?
False
Suppose -11*u + 13*u - 70 = 0. Is u a multiple of 2?
False
Let u(x) = -x**3 - 4*x**2 - 3*x - 4. Let f be u(-4). Let w = f - 4. Does 2 divide w?
True
Suppose -2*m - 3 = -5. Suppose -x + m = -2. Suppose -8*w + 40 = -x*w. Is 3 a factor of w?
False
Let c = -52 - -108. Is c a multiple of 10?
False
Let o = 139 + -87. Is o a multiple of 17?
False
Let v(l) = -l**3 - 4*l**2 - 2*l. Let y be v(-3). Let w be 0 - y/(3/26). Suppose n = -3*k + w, 0*n + 132 = 4*n - 2*k. Is n a multiple of 16?
True
Suppose 5*j - 8 = 4*j. Let a(d) = 3*d**3 - 9*d**2 + 6*d + 1. Let h(y) = 10*y**3 - 27*y**2 + 17*y + 2. Let o(c) = 7*a(c) - 2*h(c). Is o(j) even?
False
Suppose -3*r + 2*o + 17 = 0, 0 = -r + 2*o - 0*o + 7. Does 2 divide r?
False
Let y = 18 - -33. Is 13 a factor of y?
False
Suppose -9 = 5*y - 6*y. Is y a multiple of 4?
False
Suppose -5*c + 160 + 70 = 0. Is 16 a factor of c?
False
Suppose n + 28 - 67 = 0. Is 8 a factor of n?
False
Let q be 30/7 - 8/28. Suppose -q*k = -56 - 4. Is 15 a factor of k?
True
Let u be 5/2*66/55. Let v(x) = x**2 + x - 3. Is 3 a factor of v(u)?
True
Suppose h + d - 2*d - 89 = 0, -4*h + 2*d = -346. Does 21 divide h?
True
Suppose 3*z = -4*a + 8*z - 367, -2*z = 2*a + 170. Is 3 a factor of ((a/2)/4)/(-1)?
False
Let r be -1*2 + 108/4. Suppose 0 = 5*c - g - r, -2*c + 6*g + 33 = g. Suppose -4*t = -c*n + 44, 5*t - 23 = -4*n + 2*t. Is n a multiple of 3?
False
Let l(a) be the first derivative of -a**3/3 - 3*a**2/2 - 1. Let w be l(-3). Let h = w - -5. Does 2 divide h?
False
Let g(q) = q**3 - 8*q**2 - 10*q + 8. Let m be g(9). Is 10 a factor of 1/((-72)/74 - m)?
False
Let s be (5/10)/(1/6). Suppose -2*g - c + 1 = -10, 26 = 5*g + 2*c. Suppose 0 = -3*p + s*t + 33, -3*p + g*t + 7 = -24. Is 13 a factor of p?
True
Let f = -117 - -273. Is f a multiple of 44?
False
Let l = -5 - -9. Suppose 3*f + 3 = 3*o, -1 = l*o - 2*f - 3. Suppose -2*j - 5*k = -70 + 10, j - 5*k - 45 = o. Is j a multiple of 13?
False
Let o be 11/(-3 + 2) + 3. Let t = -3 - o. Is 3 a factor of t?
False
Suppose -q + 41 = -63. Is q a multiple of 8?
True
Suppose 0 = -5*r - 5*m + 430, 0*r + 4*m - 92 = -r. Does 9 divide r?
False
Let i(j) = j**3 + 7*j**2 + 6*j + 7. Let k be i(-5). Suppose k = 5*f + 2. Suppose -f*m = -o - 102, -2*o + 77 = 3*m + 21. Is m a multiple of 10?
True
Is (-3)/(-2)*(-280)/(-12) a multiple of 17?
False
Let x(v) be the first derivative of -v**3/3 - 2*v**2 + 7*v + 1. Let r be x(-5). Suppose -30 = -7*c + r*c. Is 6 a factor of c?
True
Let g(a) = a**2 + 4*a + 7. Is g(5) a multiple of 26?
True
Suppose -307 = -3*c + 5*b, -4*b - 40 - 60 = -c. Is (c/(-12))/((-1)/3) a multiple of 13?
True
Suppose -2*h = 4*u - 78, u + 5*h = -3*u + 75. Is 4 a factor of u?
True
Let q(y) = y**2 + 10*y - 7. Let l be q(-5). Let c = -9 - l. Is 23 a factor of c?
True
Let o(d) = -23*d - 1. Let k = 20 + -29. Let w(g) = -g**2 - 10*g - 10. Let z be w(k). Does 9 divide o(z)?
False
Suppose -5*m = 2*i - 645, -23*m + 19*m = -4*i - 516. Does 51 divide m?
False
Let j(f) = 4*f**2 + 1 - 2*f**3 + 0*f**3 + 0*f**3 + 3*f**3 - 4*f. Is 10 a factor of j(-3)?
False
Let w = -10 - -15. Does 9 divide 133/w + (-20)/(-50)?
True
Does 9 divide (54/(-45))/(2/5) - -138?
True
Let q(g) = g + 14. Let i = -6 + 0. Does 5 divide q(i)?
False
Let v = -8 + 4. Let u be (-7 - v)*11/(-3). Suppose -c + 6 = -2*n + 19, u = -n - 3*c. Is 4 a factor of n?
True
Let b(w) = -w**2 - 15*w - 17. Let y be b(-13). Does 13 divide y/(-1*(-4)/24)?
False
Suppose -20 + 0 = -4*g. Suppose -15 = -g*j + 2*j. Suppose -2*f + j*f = 18. Is 6 a factor of f?
True
Suppose 0 = -s + 5*r + 2 - 9, -5*s + 34 = -2*r. Does 2 divide s?
True
Is 4 a factor of 13 + (0 - -3) + -4?
True
Let i = 1 + 77. Is 6 a factor of i?
True
Let j(t) = -t + 1. Let g(h) = h - 9. Let z be g(8). Let r be j(z). Suppose -98 = -5*l + r. Does 10 divide l?
True
Suppose -p + 27 = 2*p. Suppose -5*k + 31 = -4*k. Let g = k - p. Is 11 a factor of g?
True
Let l(b) = 10*b**2 + 9. Is 13 a factor of l(-4)?
True
Suppose 3*w = -0*w + 27. Does 10 divide (6/w)/(6/153)?
False
Let c be 0 - (-1 + (0 - 29)). Suppose 0 = -2*q - 2*x - 6, 7*q = 2*q + 4*x + c. Suppose -4*b = i - 77, i + 96 = 5*b + q*i. Does 13 divide b?
False
Suppose 2*q + 2 + 8 = 0. Let u(a) = a**3 + 4*a**2 - 6*a - 1. Let j be u(q). Suppose j*v - 5 = 15. Is v a multiple of 5?
True
Suppose -3*k + 15 = -18. Suppose 10*o = k*o - 45. Is o a multiple of 15?
True
Suppose -4*x + 5*i + 68 = 0, -i - 122 + 38 = -4*x. Is x a multiple of 6?
False
Is 101/5 - (-3)/(-15) a multiple of 20?
True
Let z(x) = -5*x**2 + 0*x**2 - x + 3*x + 1 + 27*x**2. Is 15 a factor of z(-1)?
False
Let x = 61 + 19. Does 8 divide x?
True
Suppose -10 = -4*r + 2. Is 3 a factor of r?
True
Let r(t) = -8*t + 2. Is r(-3) a multiple of 26?
True
Suppose 4*w - 2*a - 102 = 0, w + a - 7 - 26 = 0. Does 28 divide w?
True
Suppose -7*c - 78 = -813. Is 7 a factor of c?
True
Let p(q) = -q**2 + q. Let j(c) = -9*c**2 + 3*c - 1. Let t(w) = -j(w) + 5*p(w). Is t(-2) a multiple of 6?
False
Let x(d) = 23*d. Does 23 divide x(1)?
True
Let l be (-2*1)/1 - -22. Suppose -l = 4*t - 4. Does 9 divide (-2)/t - (-117)/6?
False
Let y(p) = -p**2 + 8*p + 9. Let o be y(9). Is 13*(o + 3) + 1 a multiple of 10?
True
Let t = -6 + 8. Suppose t*v + 0*v + 92 = 0. Let k = -33 - v. Is k a multiple of 7?
False
Let l be -6 + 5 + 1 + 99. Let p = 140 - l. Let q = 61 - p. Is q a multiple of 7?
False
Let i = -3 - -8. Suppose i*u - 211 = -36. Is 13 a factor of u?
False
Let d(v) = -v**2 + 3*v + 3. Let a be d(3). Suppose a*o - o = 38. Is o a multiple of 4?
False
Is 13 a factor of (-252)/(-3) - 4/((-4)/3)?
False
Let j(t) = 2*t**2 - 2*t - 2. Suppose -5*k = -4*k - 4. Suppose 15 = k*y + y. Is 5 a factor of j(y)?
True
Let k be 12/(-5) + 8/20. Is 12 a factor of k + (-1 - -2) - -25?
True
Let b(t) = -28*t - 10. Let q be b(-7). Is 7 a factor of (-4)/10 - q/(-15)?
False
Let d = 37 + -26. Is d a multiple of 5?
False
Let o(x) = -2*x**2 + 5*x + 3. Let n be o(4). Let d = -5 - n. Suppose d*b - 17 = 35. Does 13 divide b?
True
Let b(f) = f**2 + 7*f + 4. Let h be b(-7). Is 8 a factor of (-2)/h*-10*3?
False
Suppose 4*i - 6 - 