= a*j + 2*h. Is j a multiple of 9?
False
Let x = -6 - -10. Suppose -3*c + 6*c = -x*t + 71, -c - 2*t = -27. Is 5 a factor of c?
False
Let z(m) = m**2 - 4*m + 9. Let w be z(6). Suppose 4*c - 52 = -0*c. Let y = w - c. Is y a multiple of 5?
False
Suppose -3*b = -4*b + 9. Is b a multiple of 3?
True
Let r = 16 + -25. Let t = r + 6. Is (-4 - t)/(1/(-18)) a multiple of 9?
True
Let f = 4 + -5. Let y be f*3*(-2)/(-3). Let o(a) = 4*a**2 + 2*a - 1. Is o(y) a multiple of 11?
True
Suppose -5*f - 2 - 28 = 0. Let v = f - -6. Suppose 4*t - 96 = 5*x, t - 2*t - x + 15 = v. Does 9 divide t?
False
Let z(f) = -3*f**3 + 5*f**2 + 3*f. Let w be z(-4). Suppose -4*x + w = -0*x. Suppose -45 - x = -5*y. Does 10 divide y?
False
Let j be 1*1*-5*-1. Suppose 0 = 5*h - 3*w + j - 19, -h + w = -4. Let g = h - -3. Is 4 a factor of g?
True
Let j be 4/6 + 13/3. Let p = j - -11. Is p a multiple of 6?
False
Let l(v) be the second derivative of -v**5/120 + v**4/12 + 2*v**3/3 + 3*v. Let q(o) be the second derivative of l(o). Does 6 divide q(-7)?
False
Suppose -4*r = -569 - 27. Is 31 a factor of r?
False
Suppose 2*h - 2 = -0. Let c = -10 + h. Does 15 divide (-15)/c*36/2?
True
Let t = 51 + -36. Is 11 a factor of t?
False
Let v = -110 - -69. Let w(d) = -d - 6. Let s be w(9). Let b = s - v. Is b a multiple of 13?
True
Suppose -2*n - 4 = -12. Suppose 2*w - 8 = 3*j - j, 0 = 2*w + n*j - 32. Does 8 divide w?
True
Suppose -3*j = -2*i + 8, 0*j - 14 = i + 3*j. Suppose 9 = -5*x + 2*x. Is (i/1 - x) + 4 a multiple of 3?
False
Let u be 8/4 - 2*-1. Suppose -t + u*t = 5*k - 10, 0 = -t. Suppose -k*i + 9 + 3 = 0. Is i a multiple of 6?
True
Let z = 12 - 7. Suppose z*s - 47 = -4*o, s - 7 = -2*o - 0. Is 11 a factor of s - (1 + 1/(-1))?
True
Suppose 0 = 2*q - 423 + 147. Is 30 a factor of q?
False
Is 17 a factor of 10/25 - (-648)/5?
False
Let f(w) = 20*w + 1. Let y be f(1). Suppose -5*x + 2*o = -o - 36, -4*o = x - y. Does 8 divide x?
False
Suppose -109*h + 107*h = -60. Is 4 a factor of h?
False
Suppose -2*s = -3*s + 28. Let r = s - -4. Is 17 a factor of r?
False
Suppose -2*x - 45 + 143 = 0. Is 1 - 4/((-4)/x) a multiple of 25?
True
Is 6 a factor of (-124)/(-16) - (-6)/(-8)?
False
Is 6 a factor of 4/(-14) - (-1674)/126?
False
Let u(m) = 4*m**2 + 4*m + 39. Is u(-8) a multiple of 8?
False
Suppose 6 = l - 2*l. Does 2 divide l/(-5)*(-30)/(-12)?
False
Let v = 189 + -65. Does 31 divide v?
True
Let m(q) = q**3 + 3*q**2 - 4*q + 4. Let f be m(5). Let v be 36/10 + 4/10. Suppose -f + 60 = -v*g. Is 11 a factor of g?
False
Let t(g) = -g**3 - 4*g**2 - 4*g. Suppose -4*o - 9 = -p - o, 5*o = -5*p - 35. Is t(p) a multiple of 2?
False
Suppose -17*a + 12*a = -370. Does 6 divide a?
False
Let j(f) = -f**2 + 30*f + 13. Does 4 divide j(27)?
False
Suppose 0*a + 105 = 5*a. Let i = -13 + a. Let v = 0 + i. Is 7 a factor of v?
False
Let y(p) = -p**3 - 5*p**2 + 2*p + 8. Let b be y(-6). Suppose w - 6*w + 260 = 0. Let n = w - b. Does 10 divide n?
True
Suppose -5*a + 3*u - 7*u = -20, u = -4*a + 16. Let d = 6 - a. Is 11 a factor of (-13)/(3/2 - d)?
False
Let i = -95 + 119. Is i a multiple of 3?
True
Does 28 divide (-5)/(-15) - (-188)/3?
False
Suppose h = -o - h + 1, 0 = h - 3. Let g = 24 + o. Does 18 divide g?
False
Suppose -5*h = 2*o - 131 - 34, -2*h + 5*o + 95 = 0. Suppose -f = -h + 1. Is f a multiple of 6?
False
Let o be (15/(-10))/((-1)/8). Does 32 divide (o/(-9)*-111)/2?
False
Let p(x) = 2*x**2 - 11*x - 5. Is p(-8) a multiple of 41?
False
Suppose -4*u + 13 = -5*b, 2*b + u = -16 + 3. Let z be ((-8)/10)/(2/b). Is 12 a factor of ((-6)/(-7))/(z/56)?
True
Is 181/7 + (8/7 - 1) a multiple of 4?
False
Let o = -123 - -341. Does 29 divide o?
False
Suppose -u = -4*h + 17, 2*h + 2*u - 5 = 1. Suppose 1 = -5*s + 4*b - 5, s - h*b = -14. Suppose -60 = -3*r - s*r. Is 6 a factor of r?
True
Let l(o) be the third derivative of -o**4/24 + 2*o**3/3 + 4*o**2. Does 4 divide l(-7)?
False
Is (177/(-9) - -1)*-3 a multiple of 28?
True
Suppose u - 38 = -t, 3 = 2*t - 3. Let w be (-3)/(-2)*76/(-6). Let g = w + u. Is 8 a factor of g?
True
Let y(k) be the first derivative of -9/4*k**4 + 3 + 2/3*k**3 + 0*k + 1/2*k**2. Is 5 a factor of y(-1)?
True
Let t(d) be the third derivative of -d**6/60 - d**5/60 - 2*d**2. Let l be t(1). Does 18 divide (36 + -2)/((-2)/l)?
False
Suppose 2*y + 366 = 4*l, 0 = 3*l - 8*l - 5*y + 435. Suppose -3*j - 60 = -2*a, -j - l = 3*a - 6*a. Is 15 a factor of a?
True
Let o be (2 + 18)*1 + 0. Suppose 2*h - 3*s - o = 0, -5*h + 0*h - s = -16. Is 2 a factor of h?
True
Let h = 18 - 6. Suppose -9*w - 18 = -h*w. Let q = 10 - w. Is q even?
True
Let r be 1*7 + 0 + 0. Let u = -3 + r. Suppose -u*d + 61 = -35. Is d a multiple of 12?
True
Suppose -4*m = -4, m - 145 = -3*a - 0*a. Let l = -1 + 5. Suppose l*f - f = a. Is 9 a factor of f?
False
Let l(j) = 71*j - 2. Is l(1) a multiple of 21?
False
Suppose 34*y + 1292 = 38*y. Is 17 a factor of y?
True
Let f(i) = 14*i**2 + 17*i**2 - 2*i - 9*i**2 - 1. Is 23 a factor of f(-1)?
True
Let y = -55 - -77. Does 11 divide y?
True
Let f be (-2 - -1)*1*-1. Suppose 17 = 3*x - f. Is x a multiple of 6?
True
Let p = -19 + 61. Suppose -38 = -d + p. Is 17 a factor of d?
False
Let p be (0*2/(-4))/(-2). Let a = 2 - p. Suppose -2*y + t + 58 = 0, -3*y = a*t - 0*t - 73. Does 13 divide y?
False
Suppose 0 = -d + 2*d - 150. Suppose b - d = -4*r, b = -3*b + 8. Is 13 a factor of r?
False
Suppose -10 = f - 6*f. Suppose -3*a - f*a = -5*m - 5, 5*m = 4*a - 3. Is m/(3/6) - -7 a multiple of 6?
False
Let b(f) = f**3 - 7*f**2 + 5. Let r be b(6). Let v = 67 + r. Is v a multiple of 18?
True
Let p be 14*((-3)/(-6) - -1). Is 13 a factor of (-9)/p + (-408)/(-21)?
False
Let w(h) = 13*h + 13. Is 11 a factor of w(6)?
False
Let j be (-4)/10 + (-82)/(-5). Suppose -q = -j - 4. Is q a multiple of 8?
False
Let z(f) = f**2 - 4*f - 20. Does 19 divide z(-8)?
True
Let u be (-8)/(-3) - 4/6. Suppose -u*j + 19 = -77. Is j a multiple of 8?
True
Is (-304)/(-10) - 6/15 a multiple of 3?
True
Is (-1408)/(-8) + (0 - 3) a multiple of 16?
False
Let m(k) be the third derivative of 0*k**4 + 1/10*k**5 + 5/6*k**3 + 1/120*k**6 + 0*k + 2*k**2 + 0. Is 15 a factor of m(-5)?
True
Let q be (4/(-2) - 4) + -1. Let w(h) = 69*h - 5. Let y(r) = 35*r - 2. Let c(v) = q*y(v) + 3*w(v). Is 15 a factor of c(-1)?
False
Let p(m) be the second derivative of 5*m**3/6 - m**2/2 - 2*m. Let o be (-2)/5 + (-51)/(-15). Is p(o) a multiple of 7?
True
Suppose 3*i + 6 = 5*i. Let y(p) = -6*p**2 - 2*p + 9. Let q(d) = 3*d**2 + d - 5. Let c(w) = -5*q(w) - 3*y(w). Is c(i) a multiple of 20?
False
Suppose 2*z - 4*j - 20 = 106, -5*z - 4*j + 315 = 0. Does 12 divide z?
False
Suppose 3*i = -3*b + 294, -b - 92 = -2*b + 2*i. Is b a multiple of 16?
True
Let u(h) = 8*h + 12. Does 38 divide u(8)?
True
Suppose 0 = -3*b - b + 56. Does 7 divide b?
True
Suppose -1 = 2*t - 19. Let d = 30 + t. Is 15 a factor of d?
False
Suppose 0*b = -2*b + 3*p + 202, -2*b = 5*p - 202. Let l = -17 + b. Does 28 divide l?
True
Let k(t) = -t**3 - 2*t**2 + 6*t + 4. Let d be k(-4). Let l = d - 9. Is 3 a factor of (l + -3)/3 - -3?
True
Let x be (-3)/(((-3)/4)/1). Suppose p + 6 = x*p. Does 2 divide p?
True
Let x = -80 + 112. Let q = 68 - x. Does 22 divide q?
False
Suppose 0*k = -2*k. Let d(y) = y + y + 2 + k - 4 + 2*y**2. Is 11 a factor of d(3)?
True
Suppose l - 30 = 8. Suppose 0 = 5*b + u - 94, -b + l = -u + 6*u. Is 18 a factor of b?
True
Let d be (-1)/3 + 3/9. Suppose d = 2*l - 0*l - 6. Suppose s + l*s = 76. Does 11 divide s?
False
Suppose 0 = -6*p - 76 + 328. Does 5 divide p?
False
Let m = 17 - 34. Is 4 a factor of m/(-2) - 2/(-4)?
False
Let c be (0 - 0)*2/(-4). Suppose -2*h + 0*h + 14 = c. Is 2 a factor of h/3 + 8/12?
False
Let a(f) = 4*f - 1. Let p be 3/9 + (-4)/(-6). Suppose 4*j = 3*j + p. Does 2 divide a(j)?
False
Let n be 0*1/4 + 50. Suppose 2*u - 4*r - 16 - 72 = 0, 5*r + n = u. Does 15 divide u?
False
Let t = 17 + -11. Is 24 a factor of 1*t/5*55?
False
Let p(q) = q**2 + 12*q + 15. Let b be p(-11). Let c(z) = 21*z - 4. Is 24 a factor of c(b)?
False
Suppose -1 = f - 0. Let c = f - -6. Suppose -c = -3*q + 10, 2*y + 4*q = 50. Does 9 divide y?
False
Suppose 0 = 5*y - 55 + 15. Let u(r) = r**3 - 7*r**2 - 8*r - 2. Let a be u(y). Does 12 divide a/(-5) + 174/15?
True
Let x(y) = y**3 - 4*y**2 + 4*y + 2. Is x(4) a multiple of 9?
True
Let v(b) = b - 13. Let i be 