e 0 = -5*m - 3*j + 8, -j + 3*j = -h*m + 4. Is 34 + m/2*4 a multiple of 18?
True
Suppose 80 = z + z - 5*n, 3*z + 3*n - 141 = 0. Is z a multiple of 3?
True
Is 3 + 1 - (-1 + -77) a multiple of 43?
False
Let c(m) = -m**3 + 6*m**2 - 4*m - 5. Let r be c(5). Let q be (r - -3)*(-1 + 2). Let u(z) = -z**3 + 4*z**2 + 3*z - 1. Is u(q) a multiple of 11?
False
Suppose -2*m + 14 = 3*r, -m - 18 = -4*r - 4*m. Let g = r + -15. Is (-6)/((-4)/((-312)/g)) a multiple of 18?
False
Is 14 a factor of (-8)/(-12)*-3 - -16?
True
Let l(x) = 19*x - 94. Does 56 divide l(24)?
False
Let z(h) be the first derivative of h**4/4 - 4*h**3/3 + h**2/2 - 3*h + 4. Let t be z(4). Suppose y + 5 = 0, 4*y + t = -n - 1. Is 9 a factor of n?
True
Suppose 15*t - 350 - 310 = 0. Is 11 a factor of t?
True
Let u(s) = s**3 - 10*s**2 + 2*s + 1. Let b be u(10). Let p be 1/(0 - (-1)/(-2)). Does 12 divide p/(-9)*3*b?
False
Let o(u) = -u + 9. Let n be o(4). Suppose 2 = n*g - 133. Is 9 a factor of g?
True
Suppose -j + 6 = -3*j. Let v(w) = -9*w**3 - 3*w**2 + w - 3. Let h be v(j). Suppose -2*k + 7*k = h. Is k a multiple of 14?
True
Let w(q) = q**3 - 11*q**2 - 19*q + 1. Is w(13) a multiple of 23?
True
Let o be 12/15*(-5)/(-2). Suppose 3*y = -8*a + 3*a + 43, o*a + 50 = 2*y. Is y a multiple of 7?
True
Suppose 4*s = -2*q + 20, -4*q = s - 14 - 5. Suppose 0 = 4*r - q*m - 20, 2*r - 5*m - 2 = 5. Is 3 a factor of r?
True
Let v(q) = q - 6*q - q. Is 18 a factor of v(-3)?
True
Let o = -4 + 7. Suppose -5*w = -1 - 4, q - 12 = -o*w. Is q a multiple of 4?
False
Let k be 1 - 5 - 90/(-10). Suppose z + 47 = 2*a - 44, -3*a + 119 = -k*z. Is 16 a factor of a?
True
Suppose -6*p + 191 = -97. Is p a multiple of 12?
True
Suppose 0 = u + 4 - 23. Is u a multiple of 8?
False
Let k be (-2 - (-42)/5)*5. Let j be (-1 - -4)*(-28)/6. Let z = k + j. Is z a multiple of 11?
False
Let g be (45/12)/(9/(-24)). Let t = -2 - g. Is t a multiple of 7?
False
Let a = 123 - 33. Is 15 a factor of a?
True
Suppose 6*b - 17 = 49. Does 11 divide b?
True
Let m(p) be the third derivative of -11*p**6/40 + p**5/30 + p**4/12 + p**3/6 - p**2. Let x be ((-2)/6)/(1/3). Does 15 divide m(x)?
False
Let j = 7 + -10. Let b(m) = -m**3 - 2*m**2 - 4*m - 3. Is 9 a factor of b(j)?
True
Suppose 0 = -4*t + 3 + 9. Is -1*4/t*-3 a multiple of 3?
False
Suppose 0 = -2*r - 6 - 2. Does 7 divide 126/r*(-8)/12?
True
Let w(a) be the first derivative of 2*a**3/3 + 3*a**2 + 7*a + 1. Let y be w(-6). Suppose m = -0*m + y. Is 15 a factor of m?
False
Let s = -4 + -8. Is 3/4 - 27/s a multiple of 2?
False
Let w = 13 + -8. Suppose 3*k + 4 = w*k. Suppose -6*f = -k*f - 116. Is 24 a factor of f?
False
Let i be -6*((-3)/(-3) + -10). Let w = i + -24. Does 11 divide w?
False
Let w(u) = u**3 + 7*u**2 - 9*u - 10. Let q be w(-8). Let p be q*1/2*3. Is (-129)/(-9) - (-1)/p a multiple of 7?
True
Let v be ((-18)/2)/(-3) - -2. Suppose -390 = -0*d - v*d. Is d a multiple of 24?
False
Let u(x) = -x**3 - 3*x**2 - 5*x - 10. Is 32 a factor of u(-6)?
True
Is 11 a factor of ((-132)/(-36))/(1/15)?
True
Let i(x) = -31*x + 1. Is 10 a factor of i(-3)?
False
Suppose g + 4*c = 28, 9*g = 4*g - 3*c + 72. Let i = 23 - g. Is i a multiple of 3?
False
Let j be 57/(2/((-8)/(-6))). Let l = 64 - j. Let a = l + -4. Is 11 a factor of a?
True
Let r(p) = 4*p - 5. Let o(u) = 3*u - 4. Let g(b) = -5*o(b) + 4*r(b). Suppose -7*m - 20 = -11*m. Does 2 divide g(m)?
False
Suppose 221 = -4*g + 5*x + 841, -5*x + 280 = 2*g. Is g a multiple of 38?
False
Suppose 199 = 3*k + 31. Suppose 4*n - 5*i = -0*n + 20, 0 = 4*n + 4*i - k. Is 5 a factor of n?
True
Let s(p) be the third derivative of -p**5/30 - p**4/3 + p**3 + 2*p**2. Let j be s(8). Is (-3 + 2)/(6/j) a multiple of 11?
False
Let g(b) = -2*b**3 + 3*b**3 - 4*b**3 + 2*b**3 + 4*b**2 + 3. Does 3 divide g(4)?
True
Let a(g) be the first derivative of g**5/30 - g**4/6 + g**3/3 - 2. Let j(b) be the third derivative of a(b). Is j(3) a multiple of 7?
False
Let b(y) = -2 - 7 + 8*y + 7. Is b(2) a multiple of 14?
True
Suppose 3*i - 212 = -l - 3*l, -5*i + 2*l + 310 = 0. Is 16 a factor of i?
True
Let j = -178 + 103. Let q = j - -115. Is q a multiple of 10?
True
Let j = 11 - -7. Does 7 divide j?
False
Suppose -5*p - 18 = 3*g, -p - 3*p = 2*g + 14. Let j be (-6)/p + -3 - 1. Let l = j + 4. Is 2 a factor of l?
True
Let h(z) = 11*z**3 - 25*z**2 - 19*z - 4. Let i(o) = -5*o**3 + 12*o**2 + 9*o + 2. Let q(u) = 6*h(u) + 13*i(u). Let c = -35 + 30. Does 12 divide q(c)?
True
Let b(u) = 3*u**2 - 4*u - 28. Is b(6) a multiple of 8?
True
Is (26/(-104))/((2/(-1688))/1) a multiple of 18?
False
Let z be 66/15 + 6/(-15). Suppose -h = -z*p - 3*h + 4, -16 = -4*p + h. Suppose -22 = -p*l + 32. Is l a multiple of 14?
False
Let j(z) = -z**2 - 8*z - 5. Let k be j(-7). Suppose -k*r + m = -27, -3*r + 23 + 18 = -m. Does 11 divide 4/r + (-440)/(-28)?
False
Let v be (-5)/((-10)/(-6)) + 122. Suppose 0*z + 4*z - v = -5*j, -2*z + 2*j = -46. Is z a multiple of 9?
False
Is 8 a factor of 7/((-21)/(-66)) - -2?
True
Suppose 4*l + 60 = -l. Does 5 divide 4/24 + (-178)/l?
True
Let o(v) = -2*v**2 + 4 - 2*v**2 + 10*v**2 + v**3 + v**2. Does 8 divide o(-6)?
True
Let f(p) = -3*p**2 - 12*p + 1. Let t be f(-4). Let v(l) = l**2 + 4. Let c be v(-5). Suppose a + 2*b - c - t = 0, 4*a + 5*b - 105 = 0. Is a a multiple of 10?
True
Let q(p) = -p**2 - p. Let r be q(2). Let d(h) = h + 10. Is 2 a factor of d(r)?
True
Let u = -109 + 72. Suppose 3*h - 9 = 0, -l + 4*h + 63 = -6*l. Let i = l - u. Is 14 a factor of i?
False
Let b be (32/40)/((-2)/(-10)). Let j be ((-3)/(-4))/1*b. Suppose -i = -4*u + 22, j + 23 = 4*u - 3*i. Is u even?
False
Let i(d) = -d**3 - 10*d**2 - 8*d + 12. Is i(-9) a multiple of 3?
True
Suppose -3*s + 0*s = 207. Let g = s - -115. Is g a multiple of 13?
False
Let t(m) = 2*m. Let g = -2 - -5. Let n be t(g). Let d(o) = o**2 - 5*o - 1. Is d(n) a multiple of 2?
False
Let a(x) = -2*x - 1. Let o be a(-2). Suppose o*n = 2*n + 4. Let d = 0 + n. Does 4 divide d?
True
Let d(o) = -o**2 + 5*o + 2. Let n be d(4). Let t = 8 - n. Suppose -22 = -t*p - r + 24, -p - 2*r + 29 = 0. Is p a multiple of 7?
True
Suppose 2*h = 50 + 50. Suppose -90 = -4*v + h. Is v a multiple of 14?
False
Let g(t) = 46*t - 1 + 70*t - 1 + 1. Let d be g(1). Suppose 5*x + 3*r = d, r + 9 - 56 = -2*x. Does 24 divide x?
False
Let q(s) = 3*s + 12 + 1 - 1 - 1. Let w(b) = -b**3 + 5*b**2 + 8*b - 3. Let a be w(6). Does 19 divide q(a)?
True
Suppose -p = 6 - 32. Is p a multiple of 13?
True
Let m = 76 + 27. Does 13 divide m?
False
Suppose 3*b = -t - b + 50, -2*t + 112 = 2*b. Is t a multiple of 9?
False
Let p = -10 + -6. Is 1 - (p - 2)/3 a multiple of 7?
True
Let m(g) = -g + 15. Is m(5) a multiple of 10?
True
Suppose -420 = -17*u + 158. Is 10 a factor of u?
False
Suppose 0*b + 360 = 5*b. Is b a multiple of 8?
True
Let q = 14 + 24. Does 10 divide q?
False
Let i = 72 + -49. Suppose -3*l + 52 = 5*j - 7*l, j = 5*l + i. Is j a multiple of 2?
True
Suppose 0*x = 5*w - 5*x + 15, 5 = 5*x. Let c(p) = -4*p**3 - 2*p**2 + 2. Is c(w) a multiple of 6?
False
Suppose 2*r = f - 9, 0 = 3*r - 5*r + 2*f - 6. Let n(z) = -z**3 - 7*z**2 - 8*z - 2. Let w be n(r). Suppose 3*l + w = 46. Is l a multiple of 5?
False
Let l = 85 - 45. Is l a multiple of 10?
True
Is (2 + (-148)/6)*6/(-4) a multiple of 8?
False
Suppose q - 4*q = 5*m + 107, -3*q - 2*m = 95. Let o = -86 + 127. Let y = o + q. Does 12 divide y?
True
Let z(p) = -p**2. Let g be z(1). Let f be g + 1 + -2 + 48. Let m = f + -24. Is m a multiple of 11?
True
Suppose 0 = 3*l + 2*l - 15. Suppose -2*s + 24 = -20. Suppose l*b = 2*b + 4*r + s, 0 = 5*r + 5. Does 18 divide b?
True
Let q be (88/(-12))/((-2)/3). Suppose 2*p - 10 = 3*j + q, p - 28 = 5*j. Suppose 0 = -p*v - 2*y + 50, -2*v - 2*y + 17 = -15. Is 9 a factor of v?
True
Suppose -b + 12 = 3*u, 21 = 4*u + 4*b - 3. Suppose -w = 5*j - 26, u*w + 0*j - 129 = 2*j. Is w a multiple of 16?
False
Let u be 1/((-4)/(-12)) - -54. Suppose 13 = 2*f + z - 58, 4*f + 4*z = 148. Let o = u - f. Is o a multiple of 9?
False
Let o be 38/(-1)*18/(-12). Suppose -2*y - 87 = -m, -m - 4*y = -o - 24. Is 17 a factor of m?
True
Let m(w) = 5*w + 7. Suppose -5*d - 7 = -3*z - 0*z, -5*d = z - 9. Let p be d/((-1 - 1)/(-12)). Is m(p) a multiple of 18?
False
Let d = -5 - -2. Is 49/2 - d/(-2) a multiple of 9?
False
Let n be (-118)/(-4) + (-1)/2. Let h(c) = 8*c + 3. Let d be h