7). Let o = -35 + m. Is 26 a factor of o?
False
Suppose 4*c = 2*j + 2684, -10*c + 2012 = -7*c - 2*j. Does 21 divide c?
True
Let k = 200 + -189. Is k a multiple of 11?
True
Suppose 5*z - 9*z = -16. Suppose 0 = -z*r - 82 + 346. Suppose -v = v - r. Is v a multiple of 11?
True
Let f(l) = l**3 + 6*l**2 - 5*l - 3. Let i be f(-5). Is i/9 - (-16)/(-72) a multiple of 2?
False
Let g(c) = 3*c - 6. Let b(j) = -3*j + 6. Let m(n) = 6*b(n) + 5*g(n). Is m(-7) a multiple of 9?
True
Let l(f) = 2*f**2 + 5*f - 3. Let s be l(-6). Let i be (s/(-26))/((-3)/8). Does 8 divide (-466)/(-22) + i/(-22)?
False
Let f(i) = -2*i**2 - 17 + 160*i - 285*i + 155*i. Does 5 divide f(12)?
True
Suppose 0 = 2*b - 6*b + 16. Suppose -b*i + 23 + 1 = 0. Suppose 59 = 5*g + 3*u - u, 2*u + i = 0. Does 5 divide g?
False
Suppose -4*m = -3*u + 138, 1 - 10 = 3*m. Does 6 divide u?
True
Let j(w) = 2*w**2 + 1. Let b(n) = 13*n**2 - 8*n + 21. Let c(r) = b(r) - 3*j(r). Does 6 divide c(3)?
False
Suppose 7*n - 8*n = 45. Let p = n - -155. Is 11 a factor of p?
True
Let f(r) = -r**3 - 10*r**2 + 12*r + 13. Let b be f(-11). Suppose b*u - 12 = -6. Let i(c) = c**3 - 3*c**2 + 3*c. Is 9 a factor of i(u)?
True
Suppose 17*w - 137 = 33. Let h(f) = 4 - 2*f + 4*f + 2. Does 14 divide h(w)?
False
Let a = 10 + -8. Let r(y) = 2*y**2 - y - 2. Let q be r(a). Is 15 a factor of (-6)/q*60/(-3)?
True
Let s = 9 + 4. Suppose 0 = v + 4*v - 35. Suppose v = x - s. Is 6 a factor of x?
False
Suppose -z + 6*z - 22 = -4*t, 0 = 3*z + 5*t - 21. Suppose j - 19 = 3*f, -j - z*f + 35 = 3*f. Does 12 divide j?
False
Let b(x) = -x**3 + 18*x**2 - 7*x + 6. Does 12 divide b(15)?
True
Suppose 0 = 2*i - 3 - 11. Suppose -352 = -i*z + 3*z. Is 11 a factor of z/(-10)*15/(-6)?
True
Suppose -c = -0*c - 1. Let m(t) = -t - 13. Let z be m(-13). Is 31 a factor of (-2 + z)/(c/(-16))?
False
Suppose 2507 = 4*o + 19*o. Is 5 a factor of o?
False
Let b = -5 + 102. Suppose 0*l - l = -b. Does 11 divide l?
False
Suppose -2*q = -5*n - 87, 3*q - 3*n = 7*q - 135. Is 3 a factor of q?
True
Let h(y) = -y**2 + 16*y - 3. Let l be (-1)/(-2)*(-28)/(-2). Is h(l) a multiple of 15?
True
Suppose -5*w = 2*q - 0*q - 42, 3*q = -4*w + 49. Suppose 25 = 6*d - q*d. Let f(x) = 3*x**2 - 2*x - 4. Does 23 divide f(d)?
False
Suppose 2*u = 2*f + 3444, -4*u + 4*f + 6890 = -f. Does 20 divide u?
True
Let s(o) = o**2 - 8*o - 2. Let w be s(10). Suppose -w - 10 = -l. Is 18 a factor of l?
False
Suppose 3*c - 14 = 2*w, -c - 2*w + 50 = 4*c. Suppose 0 = q + q - 5*i - 8, 2*q - 3*i = c. Suppose q*u - 31 = 57. Is 11 a factor of u?
True
Let b = -59 - -93. Does 8 divide b?
False
Let s be 33 - (-3 + 4 + 0). Suppose 2*y - 5*o = 11, 10 = 4*y - 0*y + 2*o. Suppose -8 + s = y*r. Does 3 divide r?
False
Let y = 24 + -20. Is 239/3 + y/3 a multiple of 11?
False
Let z(d) = 4*d**3 + 5*d**2 - 29*d - 3. Is z(4) a multiple of 11?
False
Let v(p) = 828*p + 396. Does 72 divide v(5)?
True
Let r = 881 + -467. Does 46 divide r?
True
Let s = -656 + 1094. Is 9 a factor of s?
False
Let n be (1 + -1 - -1) + -9. Is 2 a factor of 40/n*54/(-15)?
True
Let o = -66 - -71. Suppose -4*z + o*a + 168 = 0, -2*a - 122 - 71 = -5*z. Is 9 a factor of z?
False
Let m(k) = -14*k**2 + 7*k - 1. Let q(s) = -15*s**2 + 6*s - 2. Let y(v) = 2*m(v) - 3*q(v). Let a be y(-4). Suppose 4*p = -0*p + a. Does 11 divide p?
False
Let n(j) = -j**3 - j**2 - 14*j - 80. Is 10 a factor of n(-10)?
True
Let b(z) = -208*z**2 - 1. Let w be b(1). Let n = w + 299. Is n a multiple of 34?
False
Suppose 2*b - 8 + 2 = 0. Suppose 3 + 6 = b*x. Is x a multiple of 3?
True
Let x be ((-8)/10)/(2/(-5)). Let n be 1*-33 + 0/x. Let m = n + 78. Does 15 divide m?
True
Let w(g) = -g**2 - 10*g - 5. Let s be w(-5). Does 5 divide ((-145)/s)/(2/(-8))?
False
Let v(p) = -p**3 - 41*p**2 - 2*p + 63. Is v(-41) a multiple of 5?
True
Let b(r) = r**2 + 7*r. Let t be b(-5). Let i(p) = -p**3 - 10 + 55*p**2 + p - 119*p**2 + 55*p**2. Is 16 a factor of i(t)?
True
Suppose 0 = v - 2*b, -7*v = -3*v + 2*b - 20. Suppose 0 = 4*h - v*y - 140, -2*h - 2*y + 23 = -67. Is h a multiple of 8?
True
Suppose 3*g + 0*j + j - 8 = 0, 3*g - 10 = j. Is (-8)/(-12) + 43/g a multiple of 3?
True
Let x(b) = 461*b**2 + 6*b - 5. Is 7 a factor of x(1)?
True
Suppose -q = h - 5, 0*h + 3*h - 2*q - 5 = 0. Suppose h*t = -2*j + 344, 0*t - j - 118 = -t. Does 24 divide t?
False
Suppose -2*a = -3*h - 68, 2*a - 104 = -a + 5*h. Suppose -a = -b - b. Is b/21*(-42)/(-1) a multiple of 7?
True
Suppose -4*j = 16, z + j - 350 = 6*j. Is 3 a factor of z?
True
Suppose -46*n - 140 = -47*n. Is n a multiple of 20?
True
Let c(h) = 5*h**3 - 79*h**2 + 86*h - 64. Let o(z) = -z**3 + 16*z**2 - 17*z + 13. Let b(f) = 2*c(f) + 11*o(f). Is b(17) a multiple of 7?
True
Is 8 a factor of (45/36 + -3)/(2/(-24))?
False
Let b = 232 - 241. Suppose -2*l - 2*p + 58 = 0, -26 = -2*l + l - 2*p. Let a = b + l. Does 11 divide a?
False
Let f(g) = 27*g**2 - 9*g + 14. Is 36 a factor of f(2)?
False
Let p(s) = 70*s**2 + 9*s + 1. Does 8 divide p(2)?
False
Let r = 96 + -85. Let d(k) = k**3 - 9*k**2 - 19*k + 11. Does 22 divide d(r)?
True
Suppose -2*o = 5*l - 2334, -l + 3*l + 5*o - 921 = 0. Is 9 a factor of l?
True
Suppose -6*s - 6 = -8*s. Let i(q) = q + 34. Let f be i(0). Suppose s*t - t = f. Does 9 divide t?
False
Suppose 2*t - 31 + 27 = 0. Suppose t*w + 104 = 5*i - 0*w, 3 = w. Does 4 divide i?
False
Let n(u) = u - 1. Let o be n(-10). Is (o/(-2) + -2)*24 a multiple of 12?
True
Let x = 7 + 55. Suppose 2*i - 10 = i + 4*l, -3*i - 4*l = -x. Is i a multiple of 4?
False
Let a = 133 - -427. Is a a multiple of 7?
True
Suppose -24 + 109 = 5*x. Let b = 23 + x. Let c = b - 16. Is 24 a factor of c?
True
Let u = -1007 + 2009. Does 9 divide u?
False
Let q(n) = -3*n**3 + 15*n**2 - 20. Let l(v) = -v**3 - v. Let h(o) = -2*l(o) + q(o). Is h(15) a multiple of 10?
True
Let r = -20 - -14. Let f(p) = -8*p - 7. Let l be f(r). Suppose -22 = -3*c - 5*w + l, -21 = -c + 3*w. Does 21 divide c?
True
Suppose 2*n - 1452 = 2*w, -21*n + 17*n + 2906 = -3*w. Does 56 divide n?
True
Let s be (0 + 2)*(-6)/(-4). Suppose -s*g = 5*g - 280. Is g a multiple of 21?
False
Let f(g) be the second derivative of g**7/2520 - g**6/144 + 2*g**5/15 + 5*g**4/6 - 8*g. Let x(a) be the third derivative of f(a). Is x(9) a multiple of 26?
True
Suppose -5*n + 3*m + 21 = 0, 0*n - 5*n - 3*m + 9 = 0. Let q(k) = -6 + 1 + 5*k**n + 9*k**3 + 2*k**2 + 4. Is q(1) a multiple of 4?
False
Does 17 divide (-10)/30 - 11325/(-9)?
True
Let s(v) = 23*v**2 - 64*v - 19. Is 27 a factor of s(11)?
False
Suppose -2*d - 6*x + x = 0, -2*d = x. Let r(l) = -3*l**3 - 7*l - 15. Let u(n) = 2*n**3 + 4*n + 7. Let c(a) = -3*r(a) - 5*u(a). Is c(d) a multiple of 4?
False
Let p = 97 - 55. Suppose -2*q - 8 = -2*d - p, 4*q - 86 = -2*d. Suppose q = 5*c, -k - c + 33 = -4*c. Is k a multiple of 20?
False
Let j be (4 - (-2 - -6)) + -3. Let k be (j - 17)*(2 + -3). Is (-1)/5 - (-1164)/k a multiple of 29?
True
Suppose 2*f = -0*f + 4*u + 26, -5*f + 5*u + 40 = 0. Suppose -1 - 14 = -f*a. Suppose 0 = 4*d - 4*v - 28, -a*d + 12 = 3*v + 1. Is d a multiple of 3?
False
Let m be 6/(-8) + (-46)/32*-4. Suppose -3*a + 86 = 2*j - a, m*j - 4*a - 197 = 0. Is 9 a factor of j?
False
Suppose 5*g + 2*m - 18 = 0, 5*g - 5*m + 3*m = 22. Suppose -5*l + 49 = 3*k, k + 9*l - 3 = g*l. Suppose 0 = 3*o + 3 - 15, 2*o = -p + k. Does 4 divide p?
False
Does 7 divide ((-14)/21)/((-1329)/441 + 3)?
True
Let v(q) = -5*q + 3. Suppose -y = 0, 2*y + 2*y = l + 10. Is 7 a factor of v(l)?
False
Let p(y) = 2*y**3 - 20*y**2 - 10*y - 8. Does 71 divide p(14)?
True
Let k(i) = 129*i**3 - i**2 + 1. Is k(1) a multiple of 3?
True
Suppose -12*y + 53 = -91. Suppose y*p - 16*p = -608. Does 38 divide p?
True
Suppose -35*f - 720 + 1875 = 0. Is f even?
False
Suppose 90 = 47*n - 41*n. Is n a multiple of 4?
False
Let p(c) = 2*c**3 - c + 2. Let z be p(3). Is z + 30/20*2/1 a multiple of 7?
True
Suppose 5*q + t = -t + 1192, -4*q + 980 = -5*t. Suppose c - q = -3*c. Is c a multiple of 6?
True
Let v be 0/(-10) - -22*1/(-2). Let r(z) = z**2 + 6*z - 25. Is r(v) a multiple of 7?
False
Let w be (-105)/(-6) - -2 - (-5)/10. Let j be -1 - (-4*3)/2. Suppose -3*s - w = -2*c + 3, -j*c - 3*s = -110. Is 7 a factor of c?
False
Let m = 24 - 20. Suppose m*c = b + 137 - 18, -4*c - b = -121. Is c a multiple of 17?
False
Let f(w) be the first derivative of 3*w**4/4 + w**3/3 - w*