-137, 0 = -4*s + 5*q + 106. Let b = -17 + s. Is 12 a factor of b?
True
Let o(g) be the first derivative of g**2 + 5*g - 2 + 1/3*g**3. Is 13 a factor of o(-4)?
True
Let k = -498 + 743. Does 49 divide k?
True
Let w be 9/((-27)/(-12)) + 13. Let u(h) = -h**3 - 4*h**2 + 6*h - 3. Let n be u(-5). Let i = w + n. Is i a multiple of 4?
False
Suppose -2*r + 6*i - 3*i - 13 = 0, -30 = -5*r - 5*i. Is 4/6*39*r a multiple of 21?
False
Let j(n) = -n + 1. Let m(i) = 20*i - 7. Let w(h) = -6*j(h) - m(h). Does 23 divide w(-2)?
False
Let s(k) = -k**2 + 10*k + 2. Let f be s(8). Is 7 a factor of (36/(-7))/(f/(-84))?
False
Let o be 6/(-18) - (-7)/3. Is 8 a factor of ((-16)/(-6) - o)*48?
True
Suppose -30 = 3*g - 3*x, 2 = -g - 4*x + 7. Let j = 5 + g. Let m(u) = 9*u**2 - u - 1. Is 17 a factor of m(j)?
False
Suppose -2*c = -2*x + 4 - 2, 28 = 4*c + 4*x. Does 3 divide c?
True
Suppose 3*i + 5*f - 66 = 0, -2*i + 0*i - f + 51 = 0. Is i a multiple of 21?
False
Suppose 3*t = -68 + 422. Suppose 5*f + 2*z = 287, 2*f = -5*z + z + t. Is 19 a factor of f?
True
Let x be 3 + -3*2/(-6). Suppose -q + 5*q = -x*w + 80, -q = 3*w - 52. Is 16 a factor of w?
True
Suppose 8*x = x + 105. Is x a multiple of 3?
True
Suppose 3*z - 28 + 133 = 0. Let p = 55 + z. Is 6 a factor of p?
False
Let x be (-2)/(-6) + 34/(-3). Let d = x + 16. Let u(w) = -w**3 + 4*w**2 + 7*w - 6. Is u(d) a multiple of 4?
True
Let w(y) = 2*y + 8. Let b(h) = -h**3 + 2*h**2 - h. Let r be b(1). Suppose r = -0*o - o + 6. Is w(o) a multiple of 10?
True
Let d(z) = -z**2 + 6*z + 127. Is d(0) a multiple of 19?
False
Let g = 84 + -51. Does 11 divide g?
True
Let c(q) = -10*q**3 + q**2. Let t be c(-1). Let o(h) = 5*h + 14. Is 23 a factor of o(t)?
True
Suppose -2*i = 4*k - 2, i - 2 = k - 1. Suppose k = 5*l - 4*l - 14. Suppose z = 1 + l. Is 14 a factor of z?
False
Suppose 279 = 3*b - 420. Is 53 a factor of b?
False
Let y(p) = -p**3 + 5*p**2 - p - 2. Let r be y(3). Suppose -5*d + 5 + 15 = 0, 148 = 4*v + 5*d. Suppose a + r = v. Is 15 a factor of a?
False
Let h(b) = b**3 + 5*b**2 - 2*b + 3. Let k = -11 + 6. Is 13 a factor of h(k)?
True
Suppose -5*f + 4*j + 20 = 0, f - 4*j = 4 - 0. Suppose 3 = 5*w - 17. Let p = w + f. Is 3 a factor of p?
False
Let y(n) = -n**3 - 2*n**2 + 6*n + 2. Let p be y(-4). Let g(x) = 4*x. Let f be g(5). Let i = f - p. Does 10 divide i?
True
Let n(m) be the first derivative of m**4/3 - 2*m**3/3 + 3*m**2/2 - 2*m + 4. Let g(f) be the first derivative of n(f). Does 4 divide g(2)?
False
Let w = 55 - -3. Is 51 a factor of w?
False
Let o = 5 - 5. Let f be (0 + o)*1/2. Suppose -5*n - 4*a + 101 = 0, 5*a - 16 = -n - f*n. Does 13 divide n?
False
Let p = -1 + 3. Suppose -x + 7 = 2, 4*n = -p*x + 130. Is n a multiple of 10?
True
Let m be (-1 - 158/(-2))*4. Is m/9 + 2/(-3) a multiple of 17?
True
Let a be (2/(-1))/2*0. Suppose a = 5*z + 9 - 134. Is 12 a factor of z?
False
Let a be ((-1)/(-2))/((-4)/(-72)). Let f = 23 + a. Is 9 a factor of f?
False
Suppose 10*a + 14 = 12*a. Does 5 divide a?
False
Does 16 divide (-1 - (-4)/8)*-126?
False
Let q = 5 - -5. Does 10 divide q?
True
Suppose -20 = o - 84. Is 16 a factor of o?
True
Let l(b) = b**2 + 19*b + 27. Is 9 a factor of l(-27)?
True
Let d(a) = -5 + 6 - a - 3. Is d(-8) a multiple of 6?
True
Let j be -3*(-3)/((-27)/(-12)). Suppose -5*g = -2*y - 80, 27 = 4*g - j*y - 37. Is 5 a factor of g?
False
Suppose -4*k + 4*f = f - 23, -5*f = k. Let s(a) = 11*a**2 + a. Let h be s(-1). Suppose h*j - k*j = 240. Is j a multiple of 24?
True
Let h be ((-3)/(-2) - 1)*0. Suppose 0 = v - h*v - 18. Is v a multiple of 9?
True
Suppose 0 = -5*d + 5*m + 180, 2*d - d = -m + 38. Is 15 a factor of d?
False
Let i = 43 - -116. Is i a multiple of 7?
False
Let s(z) = 4*z**2 - 2*z**2 - 5 + 6*z - z + 2*z**2. Is s(4) a multiple of 14?
False
Suppose -4*k + 3*k = -3. Let n(l) = 3*l**k + 2*l**2 - 5*l**2 - l**3. Is n(2) a multiple of 4?
True
Is (18/12)/(-1*6/(-16)) a multiple of 4?
True
Let o(j) = 189*j**3 - 3*j**2 + j + 1. Is 13 a factor of o(1)?
False
Let q(c) = -c - 1. Let u be q(-4). Let h(b) = -b**3 - 8*b + b + u*b - 3 - 2*b**2. Is h(-3) a multiple of 9?
True
Let v(s) = s**3 + 11*s**2 + 11*s - 13. Is 10 a factor of v(-9)?
True
Let w(r) = 3 - 2*r + 3 + 0*r - 2*r. Is 15 a factor of w(-6)?
True
Suppose -10 + 30 = 3*s + 5*b, -3*b - 2 = -s. Suppose 5*f + i = 12 + s, 15 = -5*i. Suppose -3*l = f*d - 85, -2*d = -4*d + l + 45. Is 11 a factor of d?
True
Suppose 3*j + 2*j - 435 = 0. Does 17 divide j?
False
Let j = -16 - -13. Is 9 a factor of (-1)/j + (-580)/(-15)?
False
Let q(m) = -4*m + 13*m**2 + 3 + m**3 - 18 - 2*m**3 + 7*m. Is 6 a factor of q(13)?
True
Let b = -2 + 123. Is 11 a factor of b?
True
Suppose -3*x + 5*x + 22 = 0. Let b = 16 + x. Does 2 divide b?
False
Suppose -5*d + 332 = -k, 4*d + 2*k - 268 = 4*k. Suppose -3*j = -5*t - 141, 3*t = -5*j + 4*j + 47. Let o = d - j. Is 10 a factor of o?
False
Let z(h) = 2*h**2 - 1. Let n be z(-1). Let m = 5 - n. Suppose 4*q + m*g = 3*q + 27, 5*g - 105 = -5*q. Is 9 a factor of q?
False
Suppose -17 = -2*c + 49. Is c a multiple of 11?
True
Let d be 2*1/(-2)*62. Let k = -39 - d. Is k a multiple of 12?
False
Let s(b) = -b**2 - 3*b + 2. Let v be s(-4). Let u be v/(-5)*(1 - 31). Is (-2 + u)/(-2)*2 a multiple of 14?
True
Suppose 0 = -3*w + 3*m, 8*w - 3*w - 15 = 2*m. Suppose 35 = 10*s - w*s. Suppose s*g - 3*g - 36 = 0. Is g a multiple of 5?
False
Suppose -19*g - 280 = -21*g. Does 15 divide g?
False
Let m(h) = h**3 - 3*h**2 - 3*h. Let n be m(4). Suppose 81 - 21 = n*s. Does 11 divide s?
False
Let y = -44 + 198. Suppose 170 = 4*w + 5*k, 3*w + 24 = -5*k + y. Is w - (-2 + (6 - 2)) a multiple of 18?
False
Let m(u) = u**3 - 3*u**2 - 4*u + 5. Let b be m(4). Suppose -g = -b*g + 88. Is g a multiple of 13?
False
Suppose 0*g - 3*l - 18 = -3*g, 16 = 5*g + 2*l. Suppose g*p = -p + 330. Does 21 divide p?
False
Let y = 77 + -46. Let x = 63 - y. Is 26 a factor of x?
False
Let g(s) = 2*s**2 + 3*s - 12. Does 28 divide g(8)?
True
Suppose -3*b = -2*v - 338, 3*b - 333 = -0*v - 3*v. Is b a multiple of 28?
True
Let w be 4/14 - (-47)/7. Let x = 21 - 16. Suppose -p = -2*d + w*d - 112, d - x*p - 12 = 0. Is 11 a factor of d?
True
Let n = 6 - 3. Suppose 26 = 4*c + 3*k, 0 = n*c + 2*c + 4*k - 32. Does 4 divide c?
True
Let p(l) = 2*l**2 - 3*l. Suppose 5*x - 3*c - 10 = 0, x + 3*c - 1 = 1. Let o be p(x). Suppose 0*g + o*r - 40 = -2*g, 0 = -5*r - 20. Does 17 divide g?
False
Let j = -7 + 11. Suppose -5*p + r = -140, -j*r - 7 - 13 = 0. Is p a multiple of 6?
False
Let d be (1 + 1)*(-2)/4. Let o be 1/(-2)*(d - 1). Is 16 a factor of (-16)/(o + 1 - 3)?
True
Let h(g) = -45*g - 2. Let j be h(-3). Let w = j - 77. Suppose 2*k + 2*k - w = 0. Does 14 divide k?
True
Let h(z) = -z**2 + z + 22. Let d be h(0). Suppose 0*p = -2*p + d. Is p a multiple of 3?
False
Let f(t) = t**2 + 5*t - 2. Let y be f(-6). Suppose -o + 4*o - 2*r - 171 = 0, -230 = -y*o + 2*r. Is 12 a factor of o?
False
Suppose 2*x - 3*v = 308, 4*x - 5*v - 12 - 600 = 0. Is 4/20 - x/(-10) a multiple of 15?
True
Let f(a) = a**2 - 6*a + 3. Let j be f(4). Let r(o) = o + 7. Let m be r(j). Suppose -m*t = -4*t + 90. Does 18 divide t?
False
Suppose w - 28 = l - 5, 5*w - 10 = 0. Let c = l + 30. Does 5 divide c?
False
Let r = -80 + 129. Does 23 divide r?
False
Suppose -5*v + 2 = -2*w, 3*v + 16 = v + 5*w. Suppose -4*h = -j - 88, -2*j - 2*h = v*j + 262. Let a = -32 - j. Is 13 a factor of a?
False
Let d be 4/(-6) - 2/(-3). Suppose d = -4*t + t + 3. Is -3*(-3 - t - -2) a multiple of 3?
True
Let z = -48 + 200. Suppose z = s + s. Suppose 0 = 5*o + 5*p - 0*p - 110, p = -4*o + s. Does 18 divide o?
True
Suppose -3*y = -0*y - 69. Is y a multiple of 23?
True
Let v be 2*(-1 + 9/(-2)). Suppose 75 = -2*f - f - 3*n, -2*f + 4*n - 20 = 0. Let x = v - f. Does 8 divide x?
False
Let u(v) = -5*v**3 + v**2 - 2*v. Is 12 a factor of u(-2)?
True
Let g(d) = -4*d + 4. Let y be g(12). Let f = y + 122. Is 18 a factor of (-2 - f/8)*-4?
False
Let d(v) be the third derivative of v**6/120 + v**5/10 - v**4/4 - v**3/6 - 3*v**2. Let r be d(-6). Suppose -2*f + 11 = -r. Does 23 divide f?
True
Suppose 20 = k - 3*k. Let n = k - -28. Is 13 a factor of n?
False
Let m be -3*((-4)/6 + 1). Let d be (8/(-6))/((-2)/6). Let u = m + d. Is u even?
False
Let a be 3/(-1) - (-18 + 1). Suppose a + 12 = 2*y. Is 9 a factor of y?
False
Let t(m) = 11*m + 1