ltiple of 23?
True
Let p(h) = -h**3 - 10*h - 7. Is 62 a factor of p(-7)?
False
Let o(z) be the first derivative of -z**3/3 + 7*z**2/2 + 5*z - 1. Let s = 11 - 5. Is 11 a factor of o(s)?
True
Let v(h) = -11 + 11*h**2 + 2 + 6*h**3 - 2*h - 5*h**3. Let l be v(-6). Suppose 5*x = 2*x + l. Is x a multiple of 16?
False
Does 43 divide (-4 + 7)/(2/68)?
False
Let m = 34 - 18. Let s(d) = d**3 + 3*d**2 + 4*d + 10. Let u be s(-3). Let o = m - u. Does 5 divide o?
False
Suppose -3*a = -5*j - 12, 0 = 4*j - 9*j - a - 16. Let z(d) = -13*d - 4. Is 9 a factor of z(j)?
False
Let p(w) = -w**2 + 15*w - 9. Is 16 a factor of p(9)?
False
Let g(q) = 5*q. Let y(j) = 9*j - 1. Let r(s) = -11*g(s) + 6*y(s). Let h be r(-11). Suppose m = -4*t + t + 47, 0 = 4*m + h*t - 167. Is m a multiple of 19?
True
Let y(x) = -5*x**3 + 4*x + 4. Let i be y(-3). Let v = 208 - i. Is 16 a factor of v?
False
Suppose -2*h = -4*h + 8. Let a(g) = -5*g**2 + 4*g**2 - 1 - 7*g - h*g + 5. Is 11 a factor of a(-9)?
True
Let l be 2*(70/4)/5. Suppose -10 = -2*h + l*z - 2*z, -5 = -h - 5*z. Does 3 divide h?
False
Let n = -49 + 20. Let r(u) = -u**2 - u + 48. Let g be r(0). Let o = n + g. Does 9 divide o?
False
Suppose -3*o - k + 94 = 0, o - 3*k - 48 = -0*k. Is 5 a factor of o?
False
Suppose 0 = 5*c - 6*c + 6. Does 2 divide c/(5/2 - 1)?
True
Let s(f) = -f**2 + 9. Let r be s(0). Suppose i = -0*i - 4*l + 12, 5*i - r = -3*l. Suppose -3*h = a - i*a - 72, 4*a = 5*h - 103. Is 10 a factor of h?
False
Suppose -5*j - 3*a = -343, 0 = j - 5*a - 38 - 25. Is j a multiple of 22?
False
Suppose 3*d + 2*d = 5*a + 10, 0 = -5*d + 10. Suppose 2*v - o = -v - 19, 3*v + 2*o + 7 = a. Let b = v + 9. Does 2 divide b?
True
Let z = 70 - 30. Is z a multiple of 20?
True
Let t = -27 - -105. Is t a multiple of 12?
False
Suppose -2*m = -10*m + 504. Is m a multiple of 14?
False
Let t be (-1)/(52/(-18) - -3). Let w = 15 + t. Let b(z) = z**3 - 7*z**2 + 8*z + 3. Is 10 a factor of b(w)?
False
Let m be 2 + -1 + 2 + -3. Suppose 5*y - 56 - 69 = m. Is 15 a factor of y?
False
Suppose -5*d + 75 = -3*w, -4*d = -w - 2*w - 63. Is d a multiple of 5?
False
Suppose -17 = -4*n + 35. Is 11 a factor of n?
False
Let g = 9 + -3. Let l = 18 - g. Does 12 divide l?
True
Suppose 3*q = 2*t - 0*t + 44, 0 = -5*q - 3*t + 48. Is 2 a factor of q?
True
Let k(o) = -o - 3. Let m be k(-3). Suppose 0 = -m*x + 3*x - 3. Is (2 - x) + -2 - -8 a multiple of 6?
False
Let k(h) = -6*h + 1. Let j be k(-1). Suppose -j*i = -2*i - 120. Suppose u + 5*n - 51 = -u, n - i = -u. Is 14 a factor of u?
False
Let t = -27 + 47. Suppose -4*c = 4*l - 2*l - t, -c + 4*l + 23 = 0. Does 6 divide c?
False
Is 20 a factor of (4 + -3 + 2)*29?
False
Suppose 2*d + 6 = 4*d. Suppose 5*h - 118 = -d. Is 12 a factor of h?
False
Let z(y) be the first derivative of -y**4/4 + 10*y**3/3 - 9*y**2/2 + 7*y - 1. Does 4 divide z(9)?
False
Let j be (-2 + 3 + 1)*3. Let h(m) = 45*m - 2. Let s(x) = -22*x + 1. Let f(y) = j*h(y) + 11*s(y). Is 12 a factor of f(1)?
False
Suppose -x + 8 = x. Suppose -x*w - l + 3*l = -58, -4*w - 3*l = -73. Does 13 divide w?
False
Let y(q) = -q**2 - 22*q - 11. Does 18 divide y(-11)?
False
Let r = 4 + -6. Let p = 2 + r. Let v(z) = z**3 + 8. Is v(p) a multiple of 3?
False
Suppose -5*m + 241 = -29. Is 9 a factor of m?
True
Let o = -184 + 283. Let l be -4*o/12*1. Let b = -21 - l. Does 12 divide b?
True
Let p(j) = j**3 + 7*j**2 - 10*j + 2. Is p(-8) a multiple of 10?
False
Is ((-1)/(-2))/((-4)/(-40)) even?
False
Let s be (1 - 3)*(-4)/8. Let z be s/(2 - (-15)/(-6)). Is (-4)/6*-27 + z a multiple of 7?
False
Let g be (9/3)/(1 + 0). Let p be 4/g - 4/(-6). Let m = 7 - p. Does 5 divide m?
True
Let m = 35 + -5. Is 9 a factor of m?
False
Suppose 0 = -3*b - 5*j + j + 67, -5*b + 2*j = -77. Suppose 5*r - t - 15 = -0*t, 4*r = -5*t - b. Is 2/(-2) + 52 - r a multiple of 18?
False
Let b = 1 - 1. Suppose i - 4*i - 21 = b. Does 17 divide (-317)/i - (-20)/(-70)?
False
Let m be ((-30)/4)/5*-2. Suppose -m*c - 27 = -3*y, -5*c + 63 = 5*y - y. Is 12 a factor of y?
True
Let t = -28 + 82. Is 9 a factor of t?
True
Suppose 0 = -a - 5*l + 50, 5*l - 150 = -3*a - 2*a. Suppose -h = -r + 15, -r + 2*r = -4*h + a. Is 8 a factor of r?
False
Suppose 4*b + 99 = -61. Let c = -15 - b. Suppose 0 = 3*y + 2*n - 120, -5*n + 2 + c = y. Does 11 divide y?
False
Does 7 divide ((-76)/(-6))/((-4)/(-42) - 0)?
True
Let p be 8*(-1 + 1 - -1). Let y(o) be the first derivative of -o**3/3 + 6*o**2 - 4*o - 2. Is y(p) a multiple of 12?
False
Let w be (2/4)/(2/(-52)). Let j = w - -20. Is 2 a factor of j?
False
Let z(r) = 50*r. Let w be z(3). Suppose 4*u = -u + w. Does 15 divide u?
True
Let f be -10 + 0 + (-1 - 2). Is (-1 + 0)*(f + 2) a multiple of 11?
True
Let r be -10*2*3/6. Let x = 41 + r. Does 7 divide x?
False
Let a be 46/6 - (-2)/6. Suppose -68 = -2*x - a. Suppose 5*s - x = -0*y - 5*y, -4 = -4*s. Is y a multiple of 5?
True
Suppose 4*h = -h + 60. Does 9 divide h*(-4 + 44/8)?
True
Let x(t) = t**2 - 5*t - 2. Let p = -6 - -14. Is x(p) a multiple of 15?
False
Let h(u) be the first derivative of -3*u**2/2 + u + 2. Is h(-5) a multiple of 7?
False
Suppose 2*u - u - 1 = 0. Does 12 divide (30/u)/(6/4)?
False
Suppose -3 = -5*x + 6*x. Let s(t) = t**3 + 4*t**2 - 2*t - 4. Does 11 divide s(x)?
True
Suppose -15*n - 125 + 1610 = 0. Is 32 a factor of n?
False
Suppose -3*j - d - 3*d + 216 = 0, 0 = j - 5*d - 91. Is j a multiple of 24?
False
Suppose 3*t + 4*l = 12, 2*l - 8 = 5*t - 2. Suppose 3*k - b + 14 + 36 = 0, 5*k - 2*b + 83 = t. Let z = 30 + k. Is 7 a factor of z?
False
Suppose -4*w + 0*w = 3*p - 83, 0 = -4*w - 4. Is 10 a factor of p?
False
Let t = -221 + 500. Is t a multiple of 10?
False
Let x be (1/2)/((-1)/(-14)). Suppose x*c - 3*k + 37 = 2*c, -c = 4*k - 11. Let o(a) = a**3 + 5*a**2 - 4*a - 1. Does 13 divide o(c)?
False
Is 53 a factor of ((-14)/(-8))/7 + 1710/8?
False
Let k(o) = -o**3 + o**2 - o + 64. Suppose -5*a = 0, 0*r - 4*a = 2*r. Let t be k(r). Suppose 2*i + 0*i = t. Is 12 a factor of i?
False
Suppose -4*o + 5*o - 4 = 0. Suppose -5*r - 5*a + 29 = o, -5*a - 45 = -5*r. Let w = 7 + r. Is w a multiple of 5?
False
Let w(a) = a**2 - a + 2. Let v be w(0). Let x = 28 - 27. Let y = x + v. Is y a multiple of 3?
True
Let q(k) be the second derivative of k**7/840 + 7*k**6/360 + k**5/40 + k**3/2 + k. Let w(r) be the second derivative of q(r). Is 12 a factor of w(-4)?
True
Let m = 79 + 249. Is m a multiple of 20?
False
Let o(p) = -8*p - 12. Let f be (1 + 3/(-2))*-20. Let s be (f + -2)/(-1 + 0). Is 18 a factor of o(s)?
False
Let k be 1160/15 - 2/(-3). Suppose -3*m + k = -0*m - 3*a, 0 = -2*a - 2. Is m a multiple of 7?
False
Is 0/(-37) + 108*2 a multiple of 12?
True
Let n(f) = f**2 + 2*f + 3. Let z be n(-2). Suppose 0 = -z*o + o + 78. Is 13 a factor of o?
True
Let j be ((-1)/1)/((-2)/4). Suppose 0 = 3*z + j*z - 90. Is z a multiple of 9?
True
Suppose 26 = 3*d - 4*a, 14 = d + 4*a - 0*a. Let c be ((-1)/(-1))/(1 - 2). Let q = d + c. Is q a multiple of 4?
False
Let j = 1 - -11. Is j a multiple of 8?
False
Let r be -26*(2 - (0 + 3)). Let g = r + -16. Is 5 a factor of g?
True
Suppose -4*v + 5*n - 37 = 0, -2*v + 4*v - 9 = -3*n. Is 9 a factor of 55 + -2 + v/(-3)?
True
Suppose -16*k + 18*k = 16. Is 8 a factor of k?
True
Is 212/(-2)*1*(5 - 6) a multiple of 15?
False
Let v be (-2)/(-4) + 287/2. Let x = v + -67. Does 14 divide x?
False
Let u be (-1580)/(-25) + 2/(-10). Suppose 5*y + u = -52. Is 7 a factor of -3 - (y/1 + -2)?
False
Suppose 0*o = q - 3*o + 52, -q + 4*o = 56. Let j be (24/(-20))/(6/q). Let f(t) = -t**3 + 7*t**2 + 12*t - 4. Does 18 divide f(j)?
False
Let m(i) = -5*i**2 + 2*i - 2. Let l be m(1). Is 20 a factor of -60*(3 + l + 1)?
True
Is 4 a factor of ((-11)/(-2) + 1)*2?
False
Let w(m) = -8*m - 1. Let n(o) = 8*o + 2. Let g(b) = 5*n(b) + 4*w(b). Let y be g(-4). Let j = y + 49. Is 10 a factor of j?
False
Let f = 31 + 41. Is f a multiple of 16?
False
Suppose a = -4*p + 18, 2*p - 5*a + 0*a - 20 = 0. Suppose -3*t = -4*l - 15, -p*t + 15 = -4*t + 2*l. Is t a multiple of 2?
False
Suppose 5*i = 10, 0 = 4*r + 4*i - 2*i - 340. Is 8 a factor of r?
False
Let r(z) = -2*z**3 - z**2 + z + 3. Is 4 a factor of r(-3)?
False
Let v = -166 + 276. Does 10 divide v?
True
Let j(p) = 7*p + 1. Let u be j(-2). Let k = u + 40. Is 9 a factor of k?
True
Suppose 0*c - 32 = -4*c. Suppose c = 3*p - 1. Is p a multiple 