3*s + 48. Suppose 9*j - s*j + 45 = 0. Is j even?
False
Suppose 10 = 2*o + 3*o. Suppose -1864 = 4*q + 4*b, -6*b = -3*q - 4*b - 1408. Is (-5)/o*q/45 a multiple of 23?
False
Suppose 3*o - 2*n = -6*n - 16, 4*n = 20. Let l = -7 - o. Suppose -9 = -l*d - 2*u - 3, 4*u = -4*d. Is d a multiple of 2?
True
Let m(r) = -r**3 + 4*r**2 - 2*r + 2. Let v be m(4). Let l be (-3)/v - (-2)/(-4). Suppose l*n = -2*n + 48. Is n a multiple of 16?
False
Let i = 248 + -146. Is 7 a factor of i?
False
Let x be (3/(-9))/(3/(-207)). Suppose 37 = h + 5*a, 3*a + 22 = 5*h - x. Is 8 a factor of 9/(-12)*h*-1?
False
Suppose -3*o + 2*h + 18 = 5*h, 4*o - 5*h = 6. Suppose 156 + 576 = -o*f. Is 7 a factor of f/(-27) - (-2)/9?
True
Suppose -p - 2*p = -90. Is 15 a factor of p?
True
Suppose 0 = 8*r - 4*r - 8. Suppose 0*k = r*k - 22. Is 6 a factor of k?
False
Let i(v) = -v**2 + 8*v + 5. Is i(7) even?
True
Let v = 7 - 5. Suppose -4*z - 24 = -4*h, -h + 6*h - 21 = v*z. Suppose -4*p = -3*i - 2*p + 56, 0 = -h*i + p + 61. Does 13 divide i?
False
Let j = 4 + 89. Suppose -w - 2*w + j = 0. Suppose -2*n - o + w = 0, n - 30 + 4 = -4*o. Is n a multiple of 7?
True
Let z be (1 + -1 + 3)*1. Suppose z*f = -407 + 149. Let a = f + 130. Is 12 a factor of a?
False
Let o(t) = 2*t**2 - 2*t + 3. Suppose -5 = -2*d + 1. Suppose y + d*y = -12. Is o(y) a multiple of 11?
False
Let b(j) = 5*j**3 + 4*j**2 - j - 3. Does 27 divide b(2)?
False
Let h be (3/3)/((-1)/25). Let t = h + 50. Suppose 4*j - t - 7 = 0. Is 6 a factor of j?
False
Let a be (-1 + -20)/(9 + -10). Let h be 644/a - 4/6. Let k = -20 + h. Does 9 divide k?
False
Let k(p) = p**3 + 2*p**2 + p - 12 + 12 + 2*p**2. Is 6 a factor of k(-3)?
True
Suppose 0*b - 15 = 3*b. Let v = b - -9. Suppose -3*t = 3*s - 135, v*t + 2*s = -3*s + 185. Does 20 divide t?
True
Suppose 2*t = -2*i + 3*i + 52, 3*i = -t + 40. Suppose -3*g + 12 = 3*v, -5*v = -10*v - 3*g + 12. Suppose v*z = 2*z - t. Is z a multiple of 5?
False
Let t(h) be the second derivative of -h**5/20 - 2*h**4/3 + 7*h**3/6 - 3*h**2/2 - 3*h. Does 15 divide t(-9)?
True
Let x = 4 - -4. Let a = x - -12. Is a a multiple of 10?
True
Let j(p) be the second derivative of -7*p**6/180 + p**4/4 - 3*p. Let u(o) be the third derivative of j(o). Does 14 divide u(-1)?
True
Let r(n) = 22*n**3 + 2*n - 1. Let h be (-70)/(-15) - (-1)/3. Suppose h*q - 5 + 0 = 0. Does 9 divide r(q)?
False
Suppose -5*l - 3*t + 698 = 0, -8 = 5*t - 3*t. Does 46 divide l?
False
Let z(x) = 2*x. Let d be z(-7). Let i = 32 + d. Let l = i - 10. Is l a multiple of 8?
True
Let d = 2 - -2. Suppose -d = -5*h + 11. Let z = h - -9. Does 8 divide z?
False
Let z = 5 + -2. Suppose 2*b - 4 = -j, b - 4*b = -3*j + z. Is 4 a factor of (-1 - -11) + j + -4?
True
Let j(d) = d**3 + 10*d**2 + 11*d. Let u be j(-9). Let s = 33 + u. Does 5 divide s?
True
Let q(y) = y**2 - 8*y + 15. Is q(11) a multiple of 12?
True
Let l(v) = -3*v + 2. Let s be -3 + -2 + 2 + -2. Is 6 a factor of l(s)?
False
Let w = 9 - 6. Let l be w/6*2*12. Does 2 divide ((-28)/l)/((-1)/3)?
False
Suppose 0*n - 9 = -i + 4*n, 0 = 5*i - 4*n - 29. Is i a multiple of 3?
False
Let o(h) = -5*h - 6 - 3*h**3 + 4*h**3 - 6*h**2 + 12*h. Let p be o(5). Suppose -99 = b - p*b. Is b a multiple of 19?
False
Let f(o) = -o**2 - 8*o - 9. Let i be f(-6). Let c(g) = 0*g - 5 - i*g - 2*g + g**2. Is 12 a factor of c(-4)?
False
Suppose 0*k - 3*k = 15. Let o = k - -8. Suppose 2*b = 5*l - l - 54, 0 = -2*l + o*b + 37. Is 11 a factor of l?
True
Let f(i) = i**3 - 3*i - 3. Let n be f(-2). Let k(v) = v**3 + 6*v**2 + 3*v - 5. Let b be k(n). Suppose -b*s + p = -154, -4*s + 83 + 45 = 4*p. Does 12 divide s?
False
Let h be (-23)/(-7) - (-6)/(-21). Suppose -a + 10 = -3*w, -2*w - h*w = 4*a - 125. Is 25 a factor of a?
True
Suppose -2*v - 2*p = -5*v + 571, -3*p = 6. Is v a multiple of 18?
False
Does 4 divide 4 + 336/30 - (-1)/(-5)?
False
Let k(o) = o**2 + 4*o - 3. Let s be k(-5). Suppose -3*v + v = -s. Is 13 a factor of (6/4 + v)*14?
False
Is 39 a factor of 2/(-3)*-116 - 6/(-9)?
True
Let l = 9 + 51. Is l a multiple of 17?
False
Suppose k + 4*k = 680. Suppose 0 = -2*a + 6*a - k. Is a a multiple of 12?
False
Suppose -4*k = -6*k - 12. Let l = -64 - -67. Is 14 a factor of (3 + l)*(-38)/k?
False
Let j = 4 + -4. Suppose j = -4*v, 4*t - v - 12 = -0*t. Is t/1 + 1/1 a multiple of 4?
True
Suppose -5*t - 2*w + 11 = 0, t + 4*w = -0*t - 5. Is t/6 + (-81)/(-2) a multiple of 14?
False
Let u = 20 + -5. Suppose 41 = 4*w - u. Does 7 divide w?
True
Let d be -10 + 14 - (0 - -243). Let o = -154 - d. Is o a multiple of 18?
False
Let h(b) = -15*b**2 - 6*b + 3. Let k(l) = 8*l**2 + 3*l - 2. Let c(j) = -6*h(j) - 11*k(j). Does 12 divide c(-4)?
True
Let c(m) = m**2 + 2*m + 1. Let g(a) = -a**2 - a + 2. Let t be g(0). Is 9 a factor of c(t)?
True
Suppose -o = 30 - 109. Is o a multiple of 12?
False
Let m = 5 + -1. Suppose -4*u - 16 = 0, -t + 151 = m*t - 4*u. Is t a multiple of 27?
True
Suppose d + 41 = 2*d. Suppose c - d = -18. Does 9 divide c?
False
Let u = 21 + -42. Let i = 11 + u. Let c = i - -23. Is 13 a factor of c?
True
Let f = 40 + -28. Is f a multiple of 5?
False
Let o be (-70)/(-22) - (-8)/(-44). Let g be 33*(1 + (-2)/o). Suppose g = l - 17. Does 10 divide l?
False
Suppose 0 = 2*y - 2 - 2. Let r = 6 + -7. Is 26 - (r + 1)/y a multiple of 10?
False
Let d(s) = 9*s**3 - 6*s**2 - 5*s - 6. Let y(l) = 8*l**3 - 5*l**2 - 4*l - 5. Let u(x) = -6*d(x) + 7*y(x). Does 25 divide u(2)?
True
Suppose -l = 3*n - 26, 0 = -2*n - l - l + 12. Let v be n/(-4)*2/1. Let h(k) = 3*k**2 + 7*k + 4. Does 15 divide h(v)?
False
Let v(p) = p**3 - 6*p**2 + 11. Is v(6) even?
False
Let m(i) = -i**3 + 4*i**2 + i - 2. Let j be m(4). Suppose -5 + j = 3*z. Let s(w) = -11*w - 1. Is 10 a factor of s(z)?
True
Suppose -3*o + 5*o - 40 = 0. Suppose v + o - 48 = 0. Does 14 divide v?
True
Suppose 5*c - 69 = 3*g, 2*c - 18 = -2*g - 0*g. Is 3 a factor of c?
True
Let d(c) = c**3 + 12*c**2 + 21*c - 1. Does 25 divide d(-9)?
False
Suppose 5*b + 0 - 420 = 0. Is b a multiple of 28?
True
Suppose l + c - 87 = 0, 0 = -l + 4*c + c + 99. Suppose l + 99 = 5*y + 2*q, -q - 39 = -y. Does 19 divide y?
True
Let b(f) = f**3 + f**2 - 7*f + 22. Is b(6) a multiple of 29?
True
Let x = 13 - 20. Let v = -18 + 6. Let z = x - v. Is 4 a factor of z?
False
Let y(j) = -2*j + 5. Let u be y(-6). Let o(h) = 6*h**2 + 2*h + 2. Let c be o(-1). Let g = u - c. Is 5 a factor of g?
False
Let r = 49 + -17. Is 8 a factor of r?
True
Suppose 368 = -10*j + 928. Does 31 divide j?
False
Suppose -j - 4*n - 2 = 0, -j - 6 = 2*j - 4*n. Let d(g) = 7*g**2 - g - 2. Does 14 divide d(j)?
True
Let a(q) = -q - 5. Let v be a(-3). Let g(n) = 6*n - 1. Let y(b) = -19*b + 4. Let r(j) = v*y(j) - 7*g(j). Is 8 a factor of r(-5)?
False
Is 37 a factor of (3/(-1))/((-12586)/2513 + 5)?
False
Suppose 4*j - 5*w - 106 = 0, j - 2*w - 27 = -w. Is j a multiple of 4?
False
Suppose -2*r + 16 = 2*q - 0*r, 35 = 5*q + 4*r. Suppose 5*t = 4*j - j + 50, -6 = -q*t - 3*j. Does 7 divide t?
True
Suppose 2*y = y + 65. Is y a multiple of 27?
False
Let t(s) = s**2 + 0*s**2 - 11 + 7. Let d(c) = c + 4. Let q be d(0). Is 12 a factor of t(q)?
True
Let j(v) = -39*v + 2. Let q be j(1). Let p(z) = 58*z**2 - z. Let y be p(1). Let f = q + y. Is f a multiple of 7?
False
Let l(k) = k**3 - 6*k**2 + 9*k. Let j be l(6). Suppose 4*p - j = -10. Let u = p - 2. Is u a multiple of 4?
False
Let c = 15 + -11. Let j = -32 - -60. Suppose c*t - j = 2*t. Is t a multiple of 14?
True
Let y be (-12)/(-15)*(-10)/2. Let o be 8/36 - y/(-18). Suppose -q + 0*q + 8 = o. Is 6 a factor of q?
False
Let a be (-4)/(0/(-2) + 1). Let z be (-1)/a + (-10)/8. Let l = z - -6. Does 5 divide l?
True
Let i(s) = 3*s**3 + 4*s**2 + 4*s + 2. Let p be i(-5). Let l = p - -170. Does 8 divide 1/(-5) + l/(-15)?
True
Let i = 15 - 11. Suppose 4*l = 1 - 17. Is 1/l - (-61)/i a multiple of 6?
False
Let c = 16 + -10. Is 9 a factor of 22/c*36/6?
False
Suppose 2*u + 562 = -5*g, 5*g + 4*u - 94 = -658. Let w = 182 + g. Let m = w - 27. Does 21 divide m?
False
Let n = 13 - 8. Suppose 3*g + 5*h = 77 - 6, -g - n*h = -17. Let k = g + -8. Is 5 a factor of k?
False
Suppose n - 385 = -5*p, n + 2*p + 1650 = 5*n. Is 24 a factor of n?
False
Suppose 2*h + 4*i + 100 = 0, -4*i + 7 = -5. Let c = h + 125. Does 23 divide c?
True
Suppose -4*j + 5*v = -147, 2*j - 4*v - 72 = -2*v. Does 5 divide j?
False
S