of 15?
False
Let a(m) = -m**2 - 3*m + 1. Let p be a(-5). Is 10 a factor of 6/p*(-25 + -2)?
False
Let n(z) = z**3 + z**2 + 2. Let j be n(0). Suppose -j*i - 3 = -i, -5*i = 4*r - 101. Does 9 divide r?
False
Does 10 divide (28/7)/(32/15 + -2)?
True
Let h = 44 - 24. Does 5 divide h?
True
Suppose -7*r + 163 + 117 = 0. Is r a multiple of 20?
True
Let y = 15 - 11. Let q = 64 - y. Suppose 0 = -0*m + 3*m - q. Is m a multiple of 10?
True
Suppose 0 = 9*s - 12*s + 15. Is 5 a factor of s?
True
Let g(i) = 3*i**2 - 3*i + 2. Suppose b - 4*b - 9 = 0. Is 11 a factor of g(b)?
False
Let k = 33 + -15. Does 9 divide k?
True
Suppose -3*o = 2*n - 6*n + 74, -n - 64 = 2*o. Is 4/8*o/(-1) a multiple of 5?
True
Let m(o) = 2*o. Let z be m(6). Suppose b = -j - 0 + 6, -4*b - 3*j = -21. Suppose b*y - y = z. Does 5 divide y?
False
Suppose -450 = -14*j + 4*j. Is 15 a factor of j?
True
Let j = -15 - -37. Is j a multiple of 22?
True
Suppose -s + 10 = -4*u - 9, -2 = 2*s + 2*u. Suppose -4*t - 3*a + a = -110, 0 = -s*t - a + 80. Suppose 0 = 5*g + t, -3*r = 3*g + 13 - 106. Is r a multiple of 13?
False
Let v = 10 + -3. Suppose 2*l - v*l - 52 = -3*w, 2*l + 4 = 0. Is w a multiple of 14?
True
Let k(b) be the second derivative of b**3/3 - 2*b**2 - b. Is 3 a factor of k(5)?
True
Let q(f) = 2*f - 3. Let x be q(3). Suppose 83 = x*p + 20. Suppose 2*g - g = p. Does 9 divide g?
False
Suppose 0 = k - 2*m - 137, -2*k - 3*m = -342 + 33. Is k a multiple of 17?
False
Let n(t) = 8*t - 22. Does 11 divide n(16)?
False
Suppose -3*o + 14 + 5 = -5*k, 0 = -3*o - 5*k + 59. Suppose 0 = -5*u - 10, 5*g = -5*u + 2 + o. Is g even?
False
Let v = 13 - 7. Let h(x) = -x**3 + 5*x**2 + 6*x + 3. Is h(v) a multiple of 3?
True
Let x(b) = 3*b**2 + b + 1. Let q be x(-2). Suppose -g + q + 0 = 0. Is 4 a factor of g?
False
Let z be 1/(-4) - 26/(-8). Suppose 0 = -z*c + 18. Is 4 a factor of c?
False
Let r = -5 + 8. Suppose -r*k + 5 = 4*m, 2*m + 4*k - 2 = -m. Is 10/(-4)*(0 - m) a multiple of 5?
True
Let k be 1 - 5/((-10)/6). Is k/(-4) + (-1 - -30) a multiple of 14?
True
Let d = 3 - 4. Is 18 a factor of (2 + d)*(4 - -14)?
True
Is ((-1)/2)/((-1)/344) a multiple of 44?
False
Suppose -2*k = 12 + 10. Let m(r) = r**2 + 8*r + 9. Let b be m(k). Suppose -s + 5*s + a = b, -24 = -3*s + 3*a. Is s a multiple of 5?
True
Suppose l - 4 = -2. Suppose 5*y - 22 = -0*c - l*c, y = 2*c - 46. Is 7 a factor of c?
True
Suppose -2*p + 196 = -4*z, -2*p = 3*p + 3*z - 464. Does 24 divide p?
False
Let o(f) = f**2 + f + 37. Let j(v) = -v**3 - 6*v**2 + 3. Let m be j(-6). Let c = m - 3. Is 19 a factor of o(c)?
False
Suppose 0 = 4*g - 31 + 11. Suppose n - 3*n + s = -69, -5*s = g*n - 210. Does 14 divide n?
False
Suppose 0 = 5*l - 0 + 20. Let h = -8 - l. Let n(u) = 2*u**2 + 5*u - 1. Does 3 divide n(h)?
False
Suppose 0 = 5*r + 5, -4*j + 4 = -2*j + 2*r. Suppose 2*o - a = -j*a + 14, -5*a + 5 = -o. Suppose -3*g = -4 - o. Does 2 divide g?
False
Let d(m) = 6*m + 2. Let p be d(2). Suppose 2*o + 3*o + t = 35, -2*o + p = -2*t. Is 6 a factor of o?
False
Suppose 4*b = 4*s + 16, s + 4*s + 3*b = 20. Let g = s - 1. Let k = 3 + g. Does 3 divide k?
True
Let a(d) = d**3 - 4*d**2 + 10*d + 1. Is 17 a factor of a(7)?
False
Let i = 1 + 1. Let p(c) = -1 + 3*c + 7*c**2 - 4*c - 3*c**i. Is p(2) a multiple of 6?
False
Let t(z) = z**3 + 4*z**2 + 2*z - 1. Let f be t(-3). Suppose 5*h - f = 13. Suppose 6*o - h*o = 42. Does 7 divide o?
True
Let u(v) = -v**3 + 5*v**2 + 6*v + 1. Let y be 2 - 4/3*-3. Let p be u(y). Is p + -1*5*-5 a multiple of 24?
False
Let u(t) = -3*t - 4. Let m be u(-6). Let o = m + 0. Suppose 0 = -2*x + 64 - o. Is 7 a factor of x?
False
Let l(k) be the first derivative of k**3/3 - 5*k**2/2 + 1. Suppose -6*u = -4*u - 16. Is 15 a factor of l(u)?
False
Suppose -3*k + 8*k + x = 20, -3*k + 24 = 3*x. Suppose -y + f = k*f - 12, 4*y - f - 3 = 0. Suppose c - 17 = y*t, 0 = 5*c + 6*t - 3*t - 85. Is 9 a factor of c?
False
Let z = -6 + 8. Does 12 divide 43/z*(3 - 1)?
False
Let p be (-4)/22 - 395/(-55). Suppose -3*a + 3*y = -24, -2*a - 12 = -4*a + y. Suppose a*b - 20 = -h, 13 = -5*h - p. Is b a multiple of 3?
True
Suppose 3*z + 3*a + 3 = 0, 2*a - 1 = -z - 7. Is z a multiple of 4?
True
Let j(h) = -2*h**3 + 2*h**2 - 5*h + 5. Let k(s) = -s**3 - s**2 + 1. Let r(o) = -j(o) + 3*k(o). Is r(-6) a multiple of 4?
True
Let x(n) = -7*n + 3. Does 17 divide x(-2)?
True
Suppose -2*g - 2 + 62 = 0. Is (g/24)/((-2)/(-96)) a multiple of 15?
True
Let m(u) = 6*u - 4. Let z be m(-4). Let r = -17 - z. Does 11 divide r?
True
Is 10 a factor of 20*(-2)/((-12)/9)?
True
Is -3 - (-13)/2*6 a multiple of 12?
True
Let d = 4 - -6. Is 238/5 + 4/d a multiple of 12?
True
Let r(i) = 3*i - i**3 - i + 0*i + 3 + 2*i + 3*i**2. Is r(-2) a multiple of 11?
False
Let w(x) = -x**3 - x**2 + 5*x - 2. Let n = 3 - 7. Let a be w(n). Suppose 4*m - 5 - 11 = 0, -z + a = 3*m. Does 11 divide z?
False
Is 56 + -1 + 0/8 a multiple of 28?
False
Let d be -6*2*(-1)/6. Suppose 4*z - 16 = 2*w, 0 = -7*z + d*z - 3*w + 20. Is z a multiple of 2?
True
Let b(s) = s**3 + 10*s**2 + 2. Let i be b(-10). Suppose -i*q + 2 = -4*k, q + 2*k - 26 = -q. Is 4 a factor of q?
False
Let s(b) = -21*b - 4. Let c be s(-2). Let t = 1 + 1. Let i = c - t. Is i a multiple of 17?
False
Let f(n) = 10*n**2 + 30*n + 11. Let h(o) = -7*o**2 - 20*o - 7. Let u(v) = 5*f(v) + 7*h(v). Does 6 divide u(-11)?
False
Suppose 0*j - 85 = -5*r + 3*j, 0 = -4*r + j + 61. Is 12 a factor of r?
False
Let b(z) = -z**3 - 8*z**2 - 8*z - 4. Let w be b(-7). Suppose 30 = k - w. Suppose -l = -k + 11. Does 18 divide l?
False
Let f(j) = j + 131. Let y be f(0). Suppose 3*v = -4 - y. Let r = -27 - v. Does 10 divide r?
False
Let t(o) = -7*o**3 + o. Let z be t(-2). Let l = z - 36. Suppose 0 = 3*m - 2*m - l. Does 14 divide m?
False
Suppose 0 = -n - 2*n + 4*z + 23, 4*n + 2*z = 38. Is n even?
False
Let v(b) = 4*b**2 + b. Let c(r) = -r**2 + 1. Let a(l) = -5*c(l) - v(l). Is a(-4) a multiple of 15?
True
Is -24*4*1/(-6) a multiple of 4?
True
Let c = 8 - -48. Let o = c - 29. Does 9 divide o?
True
Suppose 3*h - 87 = h - 5*i, 0 = -3*h + 5*i + 93. Does 6 divide h?
True
Suppose 2*m + 2*r - 182 = -2*r, -2*r = 5*m - 471. Suppose -3*t + 1 + m = 0. Is 11 a factor of t?
False
Suppose -95 = -z + 139. Does 39 divide z?
True
Let a = -2 - 6. Let v = 4 - a. Does 6 divide v?
True
Let a be ((-6)/(-12))/((-2)/48). Let x = a - -27. Does 8 divide x?
False
Let t(a) = -6*a - 25. Does 4 divide t(-7)?
False
Let s(b) = 5*b - 13. Is s(5) even?
True
Let u(b) = b**2 - 4*b - 5. Let p be u(5). Suppose -5*l + p*l = -365. Does 19 divide l?
False
Let f be -4*(15/(-6) - -2). Suppose f*l + 5*r = 135, 3*l - 2*r = -7*r + 195. Is 12/(-10)*l/(-9) a multiple of 8?
True
Let x = -49 + 78. Is 11 a factor of x?
False
Let i = 98 - 179. Let z = i - -115. Suppose 2*p = -4 + z. Is 15 a factor of p?
True
Let q = 21 + 17. Suppose 3*j - q = 2*j. Suppose -66 = -4*a + 3*z, z = -5*a + 3*a + j. Is 12 a factor of a?
False
Let p = -3 - 2. Let h(a) = -2*a**3 - 6*a**2 + 2*a + 4. Is 19 a factor of h(p)?
False
Let g = 3 - 6. Let c be (-85)/(-15) - 1/g. Does 14 divide c*2/8*22?
False
Let z(h) = h**3 - 5*h - 3. Let s(x) = x**3 - x - 2. Let p be s(2). Is 9 a factor of z(p)?
False
Suppose 0 = -0*t - 4*t + 108. Is t a multiple of 9?
True
Suppose 183 = 6*r + 3. Is r a multiple of 30?
True
Suppose 0 = 2*m + 2*m. Suppose 2*x + 2*x - 4 = m. Is 22 a factor of -3 + x + 0 + 46?
True
Let m = 7 - 5. Let o(g) = 2*g. Let z be o(m). Suppose -50 = -z*f - 14. Does 9 divide f?
True
Let u = 14 - 14. Suppose y = -y - 4*c + 58, u = 3*c + 15. Is y a multiple of 13?
True
Let m = -12 - -34. Is m a multiple of 2?
True
Suppose 4 + 8 = 3*k. Suppose -6 = k*d - 498. Suppose 4*l = l + d. Is 19 a factor of l?
False
Let j be (-168)/(-10) - (-7)/35. Does 26 divide (0 + 3)*j - 3?
False
Let x(f) = -f**2 - 4*f + 6. Let w be x(-5). Suppose o = 36 + w. Is o a multiple of 14?
False
Suppose 3*n - 1179 = -5*z, z = -0*z - 5*n + 249. Does 39 divide z?
True
Let f = 62 - 30. Let d = f + 13. Is d a multiple of 8?
False
Let z(g) = -g**3 - 10*g**2 + 12*g + 15. Let b be z(-11). Let o(l) = 4*l**2 - 5*l - 2. Is o(b) a multiple of 14?
True
Let p(a) = -9*a + 34. Let z(c) = -5*c + 17. Let m(o) = 4*p(o) - 7*z(o). Is m(0) a multiple of 7?
False
Let h(a) = -4*a - 9. Does 23 divide h(-8)?
True
Suppose 40 = -4*i + 4*g + g, g = 3*i + 41. Let 