 3*m - d*m. Is m a multiple of 15?
False
Let a = 35 + 151. Is 43 a factor of a?
False
Let y = -85 + 143. Does 13 divide y?
False
Let j(u) = -u**2 + 2*u + 4. Let f(z) = -1. Let a(c) = 4*f(c) - j(c). Is 15 a factor of a(7)?
False
Suppose 0 = -5*v - s + 8, -2*s - 2 = 3*v + 2*s. Suppose 2*f - 19 - 141 = 0. Suppose 0*l - l + f = 4*p, 0 = v*l. Does 12 divide p?
False
Let y(u) = -6*u + 1. Let c be y(-2). Let o = c - 8. Suppose o*a = -3*q + 12, -q + 4*a + 0 = -4. Is q a multiple of 4?
True
Suppose 62 = 6*y + 32. Does 2 divide y?
False
Let l(v) be the second derivative of -v**4/12 - 13*v**3/6 - 11*v**2/2 + 4*v. Is 11 a factor of l(-11)?
True
Suppose -4*q + 144 = 4*p, 4*q = 2*q - 4*p + 66. Is 38 a factor of q?
False
Is ((-6)/3)/(4/(-86)) a multiple of 16?
False
Suppose 4*d - 6 = -2. Suppose -3*o - d - 5 = 0. Does 4 divide 1*2 - o/1?
True
Suppose 0 = -0*m - 5*m + 65. Let c = -18 + m. Does 4 divide (-5)/c - -10*1?
False
Suppose -3*o + 4 = 5*y + 10, o = 3*y + 12. Let k = y - -21. Is 9 a factor of k?
True
Suppose -7*b + 505 = -2*b. Is b a multiple of 17?
False
Let y(h) = -h**2 - 7*h - 7. Let a be y(-5). Suppose -8 + 20 = a*v. Is 4 a factor of v?
True
Let n(m) = -m + 4. Let v be n(7). Let k(j) = -2*j**3 + j**2 + 4*j - 1. Is k(v) a multiple of 22?
False
Suppose -5*t = 2*s - 7*s - 25, 5 = 5*s + t. Let l be 4 + -1*s/(-2). Suppose 4*w - 48 = -2*r, l*r = 6*r + 5*w - 47. Is r a multiple of 13?
True
Suppose 5*w + 7 + 3 = 0. Let r = w - -4. Does 2 divide r + 0 + -2 - -2?
True
Let l be (13 - 2) + 2/(-1). Let b be 1208/l - 4/18. Is 8 a factor of 4/(-10) - b/(-10)?
False
Suppose 3*a = -0*a, 4*a + 135 = 3*f. Does 12 divide f?
False
Let t = -5 - -81. Does 8 divide 4/10 - t/(-10)?
True
Let x be (-18)/42 - (-22)/(-14). Let k(q) = 9*q**2 - 1. Does 7 divide k(x)?
True
Let d(b) = -b + 28. Does 5 divide d(0)?
False
Let i be (3/6)/((-4)/144). Let u = i - -24. Is u even?
True
Does 7 divide 1 + 1 + (26 - -2)?
False
Let r(t) = -t**3 - 4*t**2 - t - 7. Let f be r(-6). Let z = f + -13. Does 25 divide z?
False
Let f(g) be the third derivative of -17*g**4/6 + g**2. Let o be f(-1). Suppose -4*i - w = -o, -3*i - 4*w + 39 = 1. Is 10 a factor of i?
False
Let z = -3 + -8. Let u = -7 - z. Does 3 divide u?
False
Let q(w) = -w**2 - 19*w - 17. Is 11 a factor of q(-9)?
False
Suppose -4*s = -2*w + 770 + 6, 0 = 4*s - 4*w + 784. Does 7 divide (s/(-30))/(2/5)?
False
Let u(o) = -o**2 - 8*o. Let s be u(-8). Suppose 3*d + 3*x - 14 = -d, s = 3*d + x - 13. Suppose -d*k + 60 = 2*f - 0*k, -k - 73 = -3*f. Does 9 divide f?
False
Let t(x) = 12*x + 4. Suppose 5*l + 3*p - 35 = 0, 4*l + 0*l = -5*p + 41. Does 14 divide t(l)?
False
Let n = 42 + -5. Is n a multiple of 7?
False
Suppose 7*k - 10 = 2*k. Suppose -m - 54 = -5*x, -4*m = k - 6. Is 4 a factor of x?
False
Let g(m) = m**3 - 8*m**2 + m - 4. Let n be g(8). Let l be n*(-1 - 27/(-12)). Is 11 a factor of (-1)/l - (-112)/10?
True
Let j be (-12)/(-18) - (-16)/3. Suppose 45 = -r + j*r. Is 6 a factor of r?
False
Let x(y) = 21*y**2 + y + 3. Let q be x(-3). Suppose 2*m - q = -3*l, 5*m + 4*l - 361 = 94. Is 23 a factor of m?
False
Let h be 3*(-3 + (-11)/(-3)). Suppose h*g - 3*r = 127, 5*g + 2*r + 0*r = 346. Is 19 a factor of g?
False
Let a = -27 + 79. Is 13 a factor of a?
True
Let y = 3 + -5. Let q = -37 + 23. Is (-19)/y + 7/q a multiple of 9?
True
Let x be (-1)/(-3) + (-4)/3. Let k(r) = -6*r**3. Let f be k(x). Is ((-8)/(-1))/(f/15) a multiple of 10?
True
Let q(y) = -y**2 + 13*y + 17. Let u be q(13). Suppose c - 5 = u. Is c a multiple of 22?
True
Let f be 1*(6/3 + 0). Let l(w) = 7*w + w**2 + 3*w**f - w**3 + 1 + 0*w**3. Does 11 divide l(5)?
True
Let m be (6/3 + -3)*-20. Suppose b - 6*b = m. Let r = 7 + b. Is 2 a factor of r?
False
Suppose -4*h + 18 + 6 = 0. Is h a multiple of 3?
True
Let a = 114 - -15. Is 19 a factor of a/4 - 2/8?
False
Suppose -2*v - 2*v = -4*l + 108, l - 30 = 2*v. Does 4 divide l?
True
Suppose 0 = -2*j + 7*j - 285. Is 40 a factor of j?
False
Suppose 0 = 3*o + o - 12. Suppose v - j - o*j = 21, -3*j - 32 = -4*v. Let i(h) = h**3 - 5*h**2 + 5. Is i(v) a multiple of 5?
True
Let c(d) = 0*d + 3 - 4 + 3 + 8*d. Is c(2) a multiple of 16?
False
Suppose 5*c = -4*k, -2*c + 0*c = -k. Let n be c + 1*(-6)/(-3). Suppose y - n*p = 24, y + y + p = 48. Is 12 a factor of y?
True
Let u(i) be the second derivative of -i**5/10 + i**4/12 - i**2/2 + 2*i. Let h be u(-1). Suppose -y - 3*f + 19 = 0, -34 = -h*y - 3*f - 11. Is 4 a factor of y?
True
Suppose 4*y = -36 + 76. Does 10 divide y?
True
Let f = -193 - -331. Does 23 divide f?
True
Suppose -4*c - 3*g = 265 + 153, 5*c + g + 528 = 0. Let l = c - -148. Does 13 divide l?
False
Let u be 34/10 - (-2)/(-5). Let k(x) = 2*x**2 - 2*x - 3. Is 9 a factor of k(u)?
True
Let c(k) = k - 1. Let h(n) = -n + 9. Let s(v) = 2*c(v) + h(v). Let r(t) = t**3 + 5*t**2 + 5*t + 4. Let d be r(-4). Is s(d) a multiple of 4?
False
Let o = 1 - 5. Let j = -16 + 27. Let t = o + j. Is 4 a factor of t?
False
Let h = 67 + -107. Let w = 71 + h. Suppose 2*u + 5*r = w, -3*u + 21 = r - 45. Does 8 divide u?
False
Let z = 5 + -10. Let s(y) be the third derivative of -y**4/6 + y**3 + y**2. Is s(z) a multiple of 16?
False
Let n = -8 + 76. Suppose 5*x + 5*d - 32 - n = 0, 0 = 4*x - 4*d - 96. Does 11 divide x?
True
Let v(x) be the second derivative of -11*x**3/6 + 2*x**2 + 9*x. Does 37 divide v(-3)?
True
Is 1/((-1)/1) + 68 a multiple of 18?
False
Does 24 divide 2108/22 + (-18)/(-99)?
True
Let z(l) = 5*l**2 - 12*l - 1. Let n(c) = 9*c**2 - 23*c - 1. Let i(q) = 6*n(q) - 11*z(q). Let b be (-4)/1 + (0 - 2). Is 2 a factor of i(b)?
False
Suppose -5*t + 2*v - 58 = -168, 0 = 5*t + v - 110. Is t a multiple of 5?
False
Let i(c) = c**3 - 7*c**2 - 8*c - 4. Let n be i(8). Does 14 divide (n/2 - -51) + 1?
False
Let a(g) = 38*g**3 + g**2. Let v(s) = -s + 4. Let r be v(4). Let k be (-2)/2*(r + -1). Is a(k) a multiple of 14?
False
Suppose p = 4*r + 2*p + 236, 3*r + 4*p + 164 = 0. Let b = 108 + r. Does 12 divide b?
True
Let w(z) = -14*z**2 + z. Let u be w(-1). Let r = u - -33. Is 6 a factor of r?
True
Suppose 2*c + 3*c - 123 = -2*v, -5*c + 187 = 3*v. Is v a multiple of 32?
True
Suppose 5*c - 2*u + 7*u - 60 = 0, 4*u = -20. Suppose -2*v - c + 119 = 0. Is v a multiple of 17?
True
Let b = 19 - 2. Let w = 23 - b. Is 2 a factor of w?
True
Let k = -6 - -3. Let h(c) be the second derivative of c**5/20 + c**4/2 + 2*c**3/3 - c. Does 15 divide h(k)?
True
Let q(o) = o**2 + 3*o + 3. Let d(b) = 2 + 2*b - 2 - 3*b. Let m(z) = 4*d(z) + q(z). Does 10 divide m(-4)?
False
Let o = 12 - 0. Let p = -3 + o. Let m = -5 + p. Is m a multiple of 2?
True
Suppose -f + 4 + 24 = 0. Does 12 divide f?
False
Let t(u) = u**3 - 2*u**2 - 4*u + 3. Let q be t(3). Suppose -h = -3 - q. Suppose -40 = -h*k + 2. Is k a multiple of 14?
True
Suppose -42*b = -37*b - 560. Does 11 divide b?
False
Let u(q) be the first derivative of q**3/3 - 3*q**2 - 10*q - 3. Let h be u(7). Is (h + -11)*1/(-2) a multiple of 5?
False
Let t = -59 - -131. Does 9 divide t?
True
Let j = 72 + -47. Is 14 a factor of j?
False
Suppose -3*y = -7*y + 56. Is y a multiple of 14?
True
Suppose -198 = -5*y + 152. Let u = y + -25. Is u a multiple of 9?
True
Let o(w) = 47*w**2 - w - 1. Suppose -5*z = 6*f - 2*f + 24, 0 = f - 5*z - 19. Does 20 divide o(f)?
False
Let w(o) = o - 4. Let n be w(7). Suppose 0 = -n*l - 2*l + 150. Is l a multiple of 8?
False
Let o(u) = u**3 + 8*u**2 - 2*u - 8. Let n = 1 + -8. Is 23 a factor of o(n)?
False
Let x(q) = 35*q + 26. Does 22 divide x(5)?
False
Is 6 a factor of -1 - -1*(2 - -16)?
False
Let w(m) = -10*m**3 + 2*m + 1. Let r be w(-1). Does 4 divide ((-15)/r + 2)*12?
True
Let w = 2 - 1. Let i be -1 + 0 + (w - 0). Let o = 14 + i. Is o a multiple of 14?
True
Let h = 78 - 3. Does 31 divide h?
False
Let n(l) = -4*l**2 + 3*l + 2. Let o(p) = p**2 + p + 1. Let d(z) = -n(z) + 2*o(z). Suppose -2 = 2*i - 3*i. Is d(i) a multiple of 11?
True
Let w(i) = -i - 3. Let j be (-8)/2*25/20. Let a be w(j). Suppose 2*m = -a*m + 168. Is m a multiple of 19?
False
Let g(k) = 2*k**3 - 2*k**2 + k + 2. Let d = 0 - -2. Does 4 divide g(d)?
True
Suppose -a + 18 = a. Let b be (-51)/a + 2/(-6). Let c = 31 - b. Is c a multiple of 14?
False
Let q(v) = v**3 - 5*v**2 + 4*v + 4. Let h be q(4). Let i = h + 2. Does 3 divide i?
True
Suppose -3*i - 51 = 5*h, -2*i - 69 = 3*i + 3*h. Let 