 11 a factor of h/(-2)*(-36)/(-3)?
False
Let v(y) = y**3 + 11*y**2 - 2*y - 10. Let m be (2 - 1)/(5/(-55)). Is v(m) a multiple of 6?
True
Let g be 3 - 7 - (-1 - -2). Suppose 10 = -t - 0*t. Let f = g - t. Does 2 divide f?
False
Suppose -2*i + 10 = -0*i. Suppose z = i + 11. Is z a multiple of 8?
True
Let s(p) = 4*p**2 - 3*p. Is 11 a factor of s(-2)?
True
Let r(h) = -2*h + 9. Let i be r(6). Let s be 179 + (i/(-1) - 2). Suppose 15 = -2*f + 5*f, -5*d + 5*f + s = 0. Does 17 divide d?
False
Let i be 1*(-2 - -2 - 3). Let j be ((-1)/(-2))/(i/(-168)). Does 14 divide (-6 + 8)/(2/j)?
True
Suppose -4*j - 3*p = 12, 3*p + 9 = j - 3. Let q = 4 + 0. Suppose -i - 2*w + 6*w + 40 = 0, j = q*i + w - 160. Is i a multiple of 20?
True
Let w be 2/(-12) - 17/6. Does 11 divide 2 - (0/w - 18)?
False
Suppose -276 = -4*p + n - 2*n, 288 = 4*p + 4*n. Is p a multiple of 17?
True
Let r(p) = p**2 + 6*p - 7. Let y be r(-11). Does 16 divide y + (-3 - 3/(-1))?
True
Is 25/125 - 69/(-5) a multiple of 2?
True
Let h = 2 - -1. Suppose -10 - 8 = -h*x. Let s = x + 9. Does 10 divide s?
False
Let i(n) = 16*n. Let o be i(6). Let k = -63 + o. Is k a multiple of 17?
False
Let o(y) = -6*y**2 - 7*y - 5. Let q(d) = 5*d**2 + 6*d + 4. Let t(b) = 4*o(b) + 5*q(b). Is t(5) a multiple of 10?
False
Suppose 0 = -15*r + 16*r. Let l(u) = -22*u - 2. Let a be l(-2). Suppose r = 3*o - o - a. Does 21 divide o?
True
Let g(f) = -f**2 + 6*f - 6. Let z be g(4). Suppose -13 = z*c + 11. Does 18 divide (4 + -1)/((-2)/c)?
True
Let d be 0/(9/(-3))*1. Suppose -2*b - 4 = -d, -30 = -4*t - 5*b. Is 10 a factor of t?
True
Let h(k) = k**2 + 9*k + 4. Let o be h(-5). Let t be (o/6)/((-2)/120). Suppose 0*i + t = 4*i. Does 20 divide i?
True
Let l(y) = -3*y. Let w be l(10). Let f = -16 - w. Is 7 a factor of f?
True
Let u be (1*-5)/(1/3). Let h = -6 - u. Let p = h - 1. Is 4 a factor of p?
True
Let m(i) be the third derivative of i**5/60 + i**4/3 + 5*i**3/3 + 2*i**2. Let o be m(-7). Suppose 0 = o*j - 2*j - h - 5, -20 = -2*j - 3*h. Does 5 divide j?
False
Let l be (-3)/(-6) + 3/(-2). Let k(t) = -6*t - 1. Is 2 a factor of k(l)?
False
Let s(v) = -v**2 - 9*v + 7. Does 11 divide s(-8)?
False
Suppose -l + 0 = -5. Let k = -2 + l. Suppose i + 2 = 4*c, -3*c - 27 = -k*i - 2*c. Is i a multiple of 6?
False
Let s(x) = 3*x**2 + 17*x + 20. Does 5 divide s(-6)?
False
Let l(r) = r**3 - 6*r**2 + 5*r + 6. Let x = 3 - -2. Does 2 divide l(x)?
True
Let y = 229 + -139. Is 5 a factor of y?
True
Let d = -62 - -112. Does 45 divide d?
False
Let d be (-2)/(-3) + (-8)/(-6). Does 6 divide -6*(-3)/d - -2?
False
Let t = 316 - 204. Does 28 divide t?
True
Let j(t) = -179*t**3 - 10*t**2 + 11*t + 16. Let b(z) = 36*z**3 + 2*z**2 - 2*z - 3. Let y(w) = 11*b(w) + 2*j(w). Does 13 divide y(1)?
True
Let x = 25 - 41. Suppose 6*z - 4*z = -56. Let o = x - z. Is 10 a factor of o?
False
Let n be (-3)/(-6)*3*2. Let s be (-2 + n)/((-1)/2). Let l(m) = -10*m. Does 10 divide l(s)?
True
Let u be (2/(-6))/((-1)/3). Does 12 divide (-1 + u/3)*-36?
True
Let s(j) = j**2 - 8*j - 5. Let g be s(8). Suppose 14 - 4 = -5*y. Is 14 + (1 - (y - g)) a multiple of 12?
True
Suppose 0 = -3*m - o - 3*o + 12, -2*m + 5*o - 15 = 0. Let r be 12 - (-2 - m - -1). Suppose -5*k + r = -17. Is 6 a factor of k?
True
Suppose -5*d + 1 = -4*d. Suppose 5 = -a + 4*w - 6, 5*a + d = 2*w. Suppose 13 + a = k. Is 5 a factor of k?
False
Suppose -5*l = -9*l - 3588. Is l/(-27) + 4/(-18) a multiple of 9?
False
Let x be 1 + 4 + (-1 - 1). Suppose x*k = k - 5*a - 101, -3*a = -k - 23. Does 9 divide k/2*(3 - 4)?
False
Suppose -3*z + 3*k - 236 = -596, 0 = -3*z - 4*k + 346. Is z a multiple of 22?
False
Let a(f) = 6 + 0*f**2 + 7*f + 3*f**2 - 2*f**2. Let z be a(-7). Suppose -z - 16 = -2*w. Is w a multiple of 11?
True
Suppose 0 = -4*n - 8, 5*w + n = 309 + 739. Does 14 divide w?
True
Let j(r) = -58*r - 22. Let y(l) = -23*l - 9. Suppose 5*v = 5*a - 65, -3*v + 11 + 10 = 2*a. Let n(x) = a*y(x) - 5*j(x). Does 13 divide n(2)?
False
Suppose 4*y - 4 + 0 = -m, 4*m - 16 = 4*y. Suppose 5*c + 234 + 246 = y. Let k = -42 - c. Does 18 divide k?
True
Let j = 0 + 0. Let d = j + -1. Is 12 a factor of d*0/1 + 12?
True
Let n(j) be the first derivative of -3*j**4/2 + 2*j**3/3 - 2. Let o(a) = -5*a**3 + a**2. Let y(p) = -4*n(p) + 5*o(p). Is 14 a factor of y(-4)?
False
Suppose 2*b + 6 = 3*w, 3*w + w = -4*b + 8. Let h be 56 - (0 - (1 + -3)). Suppose -5*v - 14 + h = b. Is 8 a factor of v?
True
Is 22 a factor of 33/(1 - 1/2)?
True
Let r = 20 + -13. Suppose -r*j + 3*j + 164 = 0. Does 17 divide j?
False
Let k(n) be the second derivative of n**4/12 + 4*n**3/3 + 3*n**2 - 6*n. Does 6 divide k(-8)?
True
Let z(g) = 4*g - 14. Let m(t) = 4*t - 14. Let b(y) = 3*m(y) - 2*z(y). Suppose d + 3*o - 15 = 8*o, -4*d + o = -41. Is 10 a factor of b(d)?
False
Suppose c = -2 + 8. Suppose -2*w = -5*i + 54, 3*i - 3*w = c*i - 24. Does 6 divide i?
False
Let z be (10/(-8))/((-3)/12). Suppose -38 = -z*c + 4*x + 27, 4*x - 16 = -4*c. Is 6 a factor of c?
False
Suppose 2*z - 200 = -4*o, 0*o + 100 = z - o. Suppose z = 4*u + 4*x, -x - x - 153 = -5*u. Is 14 a factor of u?
False
Suppose 0 = -4*a + 4, 4*q - 5*a - 4 = 11. Suppose w - q*w + 328 = 0. Is 12 a factor of w?
False
Let c(d) = -d**2 - 9*d - 9. Let o be c(-7). Suppose -2 = o*v - 87. Does 9 divide v?
False
Let g(c) = -c**3 + 14*c**2 - 11*c - 6. Is g(13) a multiple of 20?
True
Let b(v) = v**2 - 20*v - 39. Is b(22) a multiple of 5?
True
Let k = 5 - 5. Suppose 2*u - 8 = -k*u. Suppose 18 + 18 = u*p. Is 3 a factor of p?
True
Let x(q) = -3*q + 1. Let k be x(2). Let f(i) = i + 11. Let w be f(k). Is 10 a factor of 4/(w/99*3)?
False
Let k(t) = t + 3. Let m be k(4). Let h be (3/1)/((-1)/m). Is 6 a factor of (-1 - h) + 4 + -7?
False
Suppose -t - g - 3*g = -177, 4*t - 765 = 3*g. Let d be (-2)/5 - t/(-35). Suppose 4*j = d*c - 57, 0 = -0*c + c - j - 11. Does 13 divide c?
True
Let m be (14/4)/(2/(-4)). Let w be m + 2/((-3)/3). Let y = 16 + w. Is y a multiple of 4?
False
Suppose 5*d = 3*t - 2, 4*t + d + 3*d = -8. Is 5 a factor of (5*t*1)/(-1)?
True
Let t be 0 + 56 - (6 - 4). Suppose -t = -3*p - 0*p. Does 14 divide p?
False
Let h(a) = 16*a + 1. Does 11 divide h(2)?
True
Suppose -7*z + 104 = -2*z + 3*r, 0 = 3*z + r - 60. Is z + ((-6)/(-3))/2 a multiple of 10?
True
Is 4 a factor of (-5)/(3/(-18)*3)?
False
Let l = -8 + 9. Is 5 a factor of l/1 - (-3 + -2)?
False
Let k(o) = -3*o**3 + o**2 + 13*o - 9. Let v(b) = -2*b**3 + b**2 + 7*b - 5. Let x(a) = 3*k(a) - 5*v(a). Is x(3) a multiple of 9?
False
Suppose 3*r + 5 = 8*r. Let d be 3/(-6)*(r + -1). Suppose 19 = -c + 4*a + a, -3*c - 3*a + 33 = d. Is c a multiple of 5?
False
Let r = 5 - -10. Is r a multiple of 7?
False
Let p(v) be the third derivative of -v**6/120 - v**5/60 + v**3/2 - v**2. Let q be p(0). Is q/(-2)*(-80)/12 a multiple of 10?
True
Suppose 0 = -2*m + 1 - 5. Let n = -2 - m. Suppose 2*i + 4*w - w = 33, -2*i + w + 37 = n. Does 8 divide i?
False
Let f(n) = -7*n**3 - 5*n**2 - 2*n + 5. Does 45 divide f(-2)?
True
Let s(x) = -3*x**2 + 9*x - 11. Let g(n) = 4*n**2 - 8*n + 12. Let u(t) = 2*g(t) + 3*s(t). Is u(8) a multiple of 11?
False
Let s(x) = -x**2 - 3*x + 5. Let a be 9/(-2)*8/6. Let m be s(a). Let w = 15 - m. Is w a multiple of 13?
False
Let p(m) = -5*m**2 - 13*m - 6. Let f(z) = -9*z**2 - 25*z - 13. Let x(a) = 4*f(a) - 7*p(a). Let b be x(-7). Suppose 63 + 29 = b*l. Does 8 divide l?
False
Is (-714)/(-11)*2 + (-22)/(-121) a multiple of 10?
True
Let s(y) = 3*y - 2. Let p be s(2). Suppose -k - 9 = -p*k. Suppose 5*x - 78 = -3*j, x = -4*j + k*j + 28. Is 18 a factor of j?
False
Suppose 8*o = -2*o. Let a(d) = -3*d**3 - 2*d**2 - d. Let i be a(-1). Is 4 a factor of i - (o - (3 - 1))?
True
Let z be (-4)/10 + (-259)/(-35). Let i(v) = v**2 + 3*v - 10. Is 20 a factor of i(z)?
True
Let g(k) = -4 + 2*k - 4 + 4 - 4 + k**2. Does 16 divide g(-7)?
False
Let b(n) = -n**3 + 5*n**2 + n - 3. Let t be b(5). Does 23 divide 45 + (3 - (0 + t))?
True
Let j(t) = -4*t**3 - t - 4. Is j(-2) a multiple of 5?
True
Suppose 0 = h, -o + 4*o + 4*h = 0. Let x(g) = -g + 7. Does 2 divide x(o)?
False
Is (199/(-1) + -2)/((-4)/8) a multiple of 67?
True
Suppose 9 = -0*r + 3*r. Suppose r*y = y + 8. Suppose -3*l + 41 = y*x, 8*x - l - 37 = 3*x. Does 5 divide x?
False
Suppose m - 495 = -5*g, 4*g - 679 + 254 = 5*m. Is g a multiple of 17?
False
Let o(p) = -p**2 +