4 = 5*z. Let j = -3 - 0. Is -2 - (j + -22 + f) a multiple of 6?
False
Let l be (-6)/(-15) - (-18)/5. Suppose -l*d + 2*d = 0. Suppose 6 + d = w. Is 6 a factor of w?
True
Let p(u) = -u**3 - 3*u**2 + 3*u - 4. Let b be p(-4). Let m(w) be the first derivative of w**4/4 - w**3/3 + 7*w + 2. Is m(b) a multiple of 6?
False
Suppose 4*u + 4*g - 10 = 2*g, 4*g = 3*u - 2. Let k(v) = -u*v - 2*v + 2 + v**2 - 1. Does 11 divide k(-3)?
True
Let s = 102 - 32. Is 14 a factor of s?
True
Let w(i) = i. Suppose 7*a - 3*a - 4 = 0. Let s(h) = 16*h**2 + h - 1. Let g(j) = a*w(j) + s(j). Is 21 a factor of g(-2)?
False
Suppose 0*p + p = 0. Let u(w) = 2*w**3 - 3*w**2 + 4*w - 1. Let i(j) = -j**3 + j**2 - j - 1. Let c(t) = -3*i(t) - u(t). Is 2 a factor of c(p)?
True
Let q = 11 + -9. Is 14 a factor of (q - -1)*150/9?
False
Suppose -5*z + 6 = -39. Is z a multiple of 9?
True
Suppose 5*y + d - 12 = 0, -d - 21 = -3*y + 3*d. Let w(i) = -i**3 + 3*i**2 + 2. Let q be w(y). Does 16 divide q - (-38 + 6/3)?
False
Suppose 0 = 3*x - 2*x - 91. Suppose -x - 38 = -3*t. Is 17 a factor of t?
False
Let q = -333 - -685. Is q a multiple of 14?
False
Let h = -21 - -34. Suppose -u + 11 = 3*a, -u - a + h = 4*a. Does 3 divide u?
False
Let r be (-9)/(-2) - (-3)/6. Suppose -20 = -r*j + 5*a, 5*j - 3*a = -a + 35. Does 9 divide j?
True
Let a be ((-198)/(-4))/(5/(-30)). Does 33 divide (a/18)/((-1)/6)?
True
Let x(v) = v**3 - 3*v + 3. Let c be x(3). Suppose c - 1 = 4*y. Suppose -y*z = -w - 13, 3 = 2*z + w - 5. Is z a multiple of 3?
True
Is ((-24)/(-20))/(6/20) a multiple of 2?
True
Is 11 a factor of (4 - 2)/(6/66)?
True
Let s be (3/3 + 1)*1. Let u(i) = 7*i - 2*i**s + 9 - i**2 + 4*i**2. Is 9 a factor of u(-8)?
False
Suppose x + 3*n - 10 = -4*x, 4*x - 2*n - 30 = 0. Suppose x*u - u = 20. Suppose -39 + 9 = -u*w. Is w a multiple of 3?
True
Suppose -140 = 3*g - 7*g. Let y = -11 + g. Is y a multiple of 11?
False
Let q = 0 + 12. Suppose 20 = 2*t + 3*t - 3*o, 3*t - q = -3*o. Does 3 divide (t/(-10))/((-4)/40)?
False
Let d = -238 - -334. Is d a multiple of 24?
True
Let g(k) = 18*k - 3. Suppose -3*p + 2*l = -10, 0 = -0*l + 2*l + 4. Suppose 2*y = n + 10, p*n = -3*y + 5*n + 21. Is 19 a factor of g(y)?
False
Suppose -n + 0*n - 15 = 0. Let z = 38 + n. Let o = -13 + z. Is o a multiple of 10?
True
Suppose 4*d + 4*u - 344 = 0, -2*d - 4*u + 427 = 3*d. Does 28 divide d?
False
Let h(s) = s**3 + 11*s**2 + 14*s + 8. Let m be h(-9). Let r = m + -91. Let g = r + 72. Does 9 divide g?
False
Let q(f) = -11*f + 16*f**2 - 6 - 9*f + 36. Let s(p) = -3*p**2 + 4*p - 6. Let m(a) = -2*q(a) - 11*s(a). Is m(6) a multiple of 15?
False
Suppose 0*k + 4 = -2*k. Let f = 22 + k. Is f a multiple of 10?
True
Suppose 3*k + 3*o = -57, 5*o = -2*k + 3*k + 49. Let f = -7 - k. Is 17 a factor of f?
True
Let r(d) = -3 - 2*d + 4 + 0. Let h be r(-5). Suppose 17 = c - h. Is c a multiple of 14?
True
Suppose 0 = -5*t + 841 + 874. Does 15 divide t?
False
Suppose 4*g = 3*z + 73, 0 = -4*z - 4*g + g - 114. Let j = -1 + z. Is j/6*(-12)/4 a multiple of 7?
True
Suppose 7*m = 8*m - 21. Does 2 divide m?
False
Let w(f) = -8*f**3 - f**2 + f + 1. Let t be w(-1). Suppose -1 = -3*l - t. Is 8 a factor of ((-16)/10)/(l/20)?
True
Is (-66)/(-4)*(-48)/(-9) a multiple of 20?
False
Let d be 9/11 - (-4)/22. Let u be 9/6 + d/2. Does 6 divide (3/(-5))/(u/(-70))?
False
Let s(n) = n + 94. Let h be s(0). Suppose h = -4*u + 2*i, 2*u + 38 = -0*u - 2*i. Let k = u + 38. Is k a multiple of 8?
True
Is 28 a factor of -3*(-50 - 3) - 2?
False
Suppose -9 = -3*p - 0. Suppose -2*c - 9 = p. Let z = c - -41. Does 13 divide z?
False
Let i = -11 + 15. Suppose -2*k = -22 + i. Is 6*(-2 - (-24)/k) a multiple of 2?
True
Let n(x) = -15*x + 15*x + 2*x**2 + 3. Does 14 divide n(-3)?
False
Let a be (-6)/4 + (-2)/(-4). Suppose 0 = 2*h + 35 - 7. Let s = a - h. Is 7 a factor of s?
False
Let r(k) be the second derivative of -7*k**4/24 + k**3/2 + k**2/2 + 2*k. Let y(j) be the first derivative of r(j). Does 12 divide y(-3)?
True
Let k(s) = -4*s**3 + s + 3. Let j(x) = x**3 + x**2. Let o(d) = -5*j(d) - k(d). Let f be o(-5). Suppose 5*q = f*q + 39. Is 13 a factor of q?
True
Suppose -2*l = 4*r, 8*r = -3*l + 3*r. Let z = -21 - -21. Is 11 a factor of 5*(3 - (l - z))?
False
Let g be ((-2 + -3)*-1)/1. Suppose g*f + 0 = 20. Suppose 3*c + 3*n - 15 = -n, 5*n + 20 = f*c. Is 3 a factor of c?
False
Suppose 37 = t + d, d - 72 = -2*t - 2. Does 2 divide t?
False
Suppose n = c + 10 + 18, -n - 3*c + 40 = 0. Is n a multiple of 4?
False
Let h(s) = 62*s**3 + s**2 - 2*s + 1. Let r be h(1). Suppose 0 = y - r + 14. Let g = y + -30. Is g a multiple of 12?
False
Let q = 19 - 16. Suppose 5 + 61 = q*u. Is u a multiple of 11?
True
Suppose d + 5*q - 115 = 0, 2*q = -d + 2*d - 143. Is 15 a factor of d?
True
Let j = 5 + -7. Let b = 0 - j. Suppose -4*o - m + 17 = -85, b*m - 22 = -o. Is 16 a factor of o?
False
Suppose -5*p + 40 = -195. Is p a multiple of 15?
False
Let b(z) be the first derivative of -z**6/360 - z**5/15 - z**4/24 + 2*z**3/3 + 3. Let i(w) be the third derivative of b(w). Is i(-7) even?
True
Let i be (-4)/3*(-2 + -1). Suppose 3*z = i*z + 104. Is 5 a factor of 2/(-5) + z/(-10)?
True
Suppose 0 = 2*l - 178 + 28. Let d = l + -24. Does 16 divide d?
False
Let k(j) = -j + 8. Let s = -1 + 17. Let y be s/3 + (-10)/(-15). Is k(y) even?
True
Does 24 divide (-1184)/(-14) - (-5 - (-160)/35)?
False
Let v(h) = -h**3 - 2*h - 6. Let d be v(-4). Let c be d*1/(6/4). Suppose -6*b = -2*b - c. Is 7 a factor of b?
False
Let l = -40 + 69. Suppose 2*c + l + 31 = 0. Does 3 divide c/(-20)*8/3?
False
Let b = 51 - 27. Is b a multiple of 8?
True
Let h = 2 + -1. Let z(v) = -v**3 + v - 1. Let r(c) = -5*c**3 - 7*c**2 + 14*c. Let q(o) = h*r(o) - 6*z(o). Is 9 a factor of q(6)?
True
Suppose 17 = 2*l - 103. Is l a multiple of 10?
True
Let w(j) = j**3 + 7*j**2 + 3*j - 2. Suppose -3*m - 3*x = -30, 0*x - 5*x = -3*m + 46. Suppose p = 5*p + m. Is w(p) a multiple of 9?
False
Let q(p) = p**2 - 14. Does 9 divide q(-10)?
False
Let t(z) = z**2 - 7*z. Let m be t(6). Let f = m + 22. Is f a multiple of 8?
True
Suppose -5*l - 21 - 4 = 0. Let a = l - 1. Is (-15)/a*8/2 a multiple of 10?
True
Let h(i) be the first derivative of i**4/4 + 2*i**3 + 2*i**2 + 4*i + 2. Is h(-5) a multiple of 9?
True
Suppose -69 = -2*d + j, d + 2*j + 2*j - 30 = 0. Suppose r = -r + d. Is 15 a factor of r?
False
Let b = -54 - -163. Does 43 divide b?
False
Let f = -2 - -5. Suppose 0 = 5*s - 10, -f*i + 6*i = s + 40. Is i a multiple of 14?
True
Let s be -1 + 2 + 2 + 3. Suppose -2*o = -s - 4, -z - 14 = -4*o. Does 6 divide z?
True
Let w = 128 - 25. Let o = 61 - w. Let t = o - -63. Does 16 divide t?
False
Let p = 175 + -123. Suppose -n + p = n. Is n a multiple of 13?
True
Suppose -j + 4 = -x, -5*j + 6 = 3*x - 6. Is (15/(-6) + j)*146 a multiple of 20?
False
Let j(h) = -h**2 + 12*h + 6. Let f be j(10). Suppose -4*o + 0*o = 5*k - 47, -4*o = -2*k - f. Is 8 a factor of o?
True
Let k(v) = -2*v - 6. Suppose -3*f - 43 - 2 = 0. Is 12 a factor of k(f)?
True
Let t(i) = i + 3. Let o be t(0). Suppose 0 = -o*x + z - 2, 2*z - 4 = -3*x - 0*z. Let u = 3 - x. Is u a multiple of 3?
True
Let h(t) = t**3 + 7*t**2 + 8*t + 9. Let k be h(-6). Let v = k - -6. Suppose v*f - 31 = -1. Does 10 divide f?
True
Let t(p) = 4*p**3 + 3*p**2 - 3*p - 8. Let c(q) = 3*q**3 + 3*q**2 - 3*q - 7. Let i be ((-6)/(-8))/(4/(-16)). Let v(g) = i*c(g) + 2*t(g). Does 8 divide v(-4)?
False
Let m = -17 + 16. Let t = m - -13. Is t a multiple of 3?
True
Let p be 1 + 1 + -1 - -2. Suppose m - 2*m = -5*v + 44, p*v = 4*m + 40. Suppose -h + 5*i - 10 = 0, -4*h + 0 + v = -4*i. Is 2 a factor of h?
False
Suppose 5*y + 0*y - 3*b - 124 = 0, 5*y - 2*b = 126. Is y a multiple of 13?
True
Let m(l) = l**3 - 7*l**2 + l - 7. Let x be m(7). Suppose x = 5*j - 5*v - 122 + 22, -j = 2*v - 5. Is 3 a factor of j?
True
Let c(w) = -w - 4. Let j be c(-12). Suppose -2*i = 3*t + 8 - 1, -6 = 4*t + 2*i. Let r = j + t. Does 9 divide r?
True
Let l be (-2)/(-1)*(0 + -12). Let s = 81 + l. Suppose 2*q - 2*c - 3*c = s, 0 = -5*q + 5*c + 135. Is q a multiple of 13?
True
Suppose 4*o - 2 = -3*w + 8, -3*o + 5 = w. Suppose 2*y + 13 = -3*h, w*h - 11 = 3*h - y. Is 2 + -2 - 3*h a multiple of 7?
True
Let a = -1 - -1. Suppose 0*s + 2*s - 6 = a. Suppose -s*x = -x - 38. Is x a multiple of 19?
True
Let a(u) = u**2 + 1. Let r be a(