Suppose -88 = -h*m - 4*m. Is 3 a factor of m?
False
Let f(r) = -17*r + 5. Let c be f(-3). Is 14 a factor of c + 0/4*-1?
True
Suppose 0 = -6*w + 414 + 18. Does 12 divide w?
True
Let w = -12 - -17. Suppose z - w*i - 913 = 0, -3*z = -i - 3*i - 2750. Is z/24 - 3/12 a multiple of 14?
False
Let l(a) = -3*a**3 - 12*a**2 - 14*a - 3. Let g(v) = -v**3 + 0 - 3*v**3 - 6 - 13*v**2 + 2 - 15*v. Let o(x) = 2*g(x) - 3*l(x). Is o(-8) a multiple of 11?
True
Suppose 5*v = -30*h + 35*h - 965, -3*h = 2*v - 559. Does 21 divide h?
True
Suppose -4*g = -g - 9. Suppose 30 = 2*h - 4*u, -g*h - 5*u + 28 = -50. Does 5 divide h?
False
Let n(h) = -h**3 - 7*h**2 + h + 7 - 3*h + 5*h - 2*h. Let u be n(-7). Suppose 14*r - 18*r + 80 = u. Does 10 divide r?
True
Suppose -4 = 4*m, 44 = h + 4*m - 75. Is 109 a factor of h?
False
Let b(s) = 266*s**3 - 3*s**2 - 3*s - 2. Is 17 a factor of b(2)?
True
Let b(a) = 14*a**3 + 2*a**2 - 8*a + 39. Is b(4) a multiple of 55?
True
Does 13 divide (115 + (4 - -1))*(-36)/(-8)?
False
Suppose -2*d - 3*c - 1 + 9 = 0, 5*d - 4*c = 20. Let z be d/16 + 38/8. Is 3 + -6 + z*12 a multiple of 17?
False
Suppose -6*y + 3*y = -27. Suppose -9 = -3*k + y. Suppose t - 3*t - 2*j = -k, 51 = 5*t - 4*j. Does 2 divide t?
False
Suppose -1548*x = -1537*x - 6402. Is 6 a factor of x?
True
Let w = -1 - -1. Suppose -h = -w*h - 4. Is 12 a factor of (38/h)/((-14)/(-28))?
False
Does 23 divide -12*105/10*(-170)/30?
False
Let b(y) = y**3 + 6. Let s be b(0). Suppose g + 45 = s*g. Suppose -2*i + 7 = -g. Does 8 divide i?
True
Suppose -158*n + 181*n = 2944. Is 2 a factor of n?
True
Let a be 14/(-21)*(-2943)/(-3). Let p = -366 - a. Suppose h + m = 62, 4*h - 5*m + m = p. Is 19 a factor of h?
False
Let f = 21 + -35. Suppose 5*s - 262 + 57 = 0. Let p = s + f. Does 9 divide p?
True
Let y = 41 + -39. Suppose 3*t + y*w = -2*w + 94, 5*t - 170 = -4*w. Does 19 divide t?
True
Let l(z) = -z**3 + 5*z**2 + 8*z - 11. Let n be l(6). Let a = -8 - n. Let k(p) = -2*p + 21. Is k(a) a multiple of 29?
False
Let n(m) = 2*m**3 - 3*m + 4. Let z be n(2). Suppose -3*o - 42 = -5*o. Is 8 a factor of 26/3 - z/o?
True
Let j = -56 + 111. Is j a multiple of 4?
False
Let g(u) = -4*u - 35. Let n be g(-8). Let w be (-5)/(-3)*6/2. Let s = w + n. Does 2 divide s?
True
Suppose -i - 5*h = 62, -4*h = -2*i - 84 + 16. Does 5 divide (i + (-6)/(-3))*-1?
True
Let q(d) = d**2 - 12*d + 60. Is 7 a factor of q(15)?
True
Let f(b) = -13*b - 47. Let k be f(-4). Suppose -2*m + 3 = -k*m, 4*a + m = 411. Is a a multiple of 17?
False
Let k = -517 - -817. Let q be k/78 + 2/13. Suppose -4*c = -0*a - 2*a + 34, -q*c + 4 = 0. Is a a multiple of 19?
True
Let j = 69 + -49. Let a = 18 - j. Is ((-4)/(-5))/(a/(-30)) a multiple of 8?
False
Let h = -213 - -226. Is 13 a factor of h?
True
Suppose -k + 27 + 111 = 0. Let s = 201 - -11. Let f = s - k. Does 13 divide f?
False
Suppose 0 = 2*l - 2*w + 52, 3*w + 2*w = -3*l - 94. Let n = -30 - -98. Let d = n + l. Does 12 divide d?
False
Let p be 50/15*(-3)/(-2). Suppose p*s = -2*k + 9, -75 = -2*k - 3*k + 5*s. Does 4 divide k?
True
Does 2 divide ((-13)/130*-284)/(2/5)?
False
Suppose 5*z + 2*g = -4, -4*g = 6*z - z + 8. Let h = z - 1. Is 6 a factor of (-8)/(-6)*(7 + h)?
False
Let a be 5/((-60)/4262) - (-3)/18. Let v = a + 513. Is v a multiple of 45?
False
Let h = 513 - 441. Does 24 divide h?
True
Let r(n) = n**3 + 6*n**2 - 8*n - 4. Suppose -d - 14 = d. Let s be r(d). Suppose s*g - 25 - 32 = 0. Does 8 divide g?
False
Let m be 279*3*(4 - (-22)/(-6)). Suppose -x - 5*d - 285 = -6*x, -2*d = -5*x + m. Does 5 divide x?
True
Let p = 18 - 11. Let o = 15 - p. Suppose 32 = 3*m - q - 0*q, -2*m + o = -4*q. Is 11 a factor of m?
False
Let o(v) = v**2 - 8*v - 9. Let f be o(7). Let r = f - -38. Does 3 divide r?
False
Suppose -3*l + 812 = 4*f, f - 14*l - 216 = -18*l. Does 10 divide f?
True
Let q be (-1378)/(-15) - 6/(-45). Suppose -4*s + w = -92, 7*w - 2*w = 4*s - q. Does 10 divide s?
False
Let s be (1 + -3 + 3)*(-2)/(-1). Does 14 divide (43 - 0)*(s - -2)?
False
Suppose 9*h - 23584 = -35*h. Is 67 a factor of h?
True
Suppose 3*w - 4*w = 4*b - 1917, -2*b - 3*w = -961. Is 11 a factor of b?
False
Is 22 a factor of (81/(-45))/(9/(-1470))?
False
Let v(b) be the first derivative of -b**3/3 - b**2/2 + 6. Let a be v(-1). Let g = a - -2. Is 2 a factor of g?
True
Suppose 4*o - 2*o = -o. Let v be 0 + 0 - (1 - 5). Suppose -2*a - 84 = -p - o*a, -284 = -v*p - 5*a. Is p a multiple of 14?
False
Suppose 0 = b + 1, 187 = -2*x - 6*b + 3*b. Is 38 a factor of (9/12)/((-1)/x)?
False
Suppose 0*g + 335 = 5*g. Suppose -g - 63 = -5*d. Is 8 a factor of d?
False
Let o(s) = -3*s + 3. Let x be o(5). Let t be 116/x - (-1)/(-3). Let u = t + 16. Is u a multiple of 6?
True
Suppose -5*j + 7 = -8. Suppose -3*y - j*q + 6 = 54, 0 = 5*y + 3*q + 78. Is 14 a factor of (-1 - y)*(-7 - -8)?
True
Let n(u) = 7*u + 5. Let q(w) = -29*w - 20. Let d(t) = 26*n(t) + 6*q(t). Does 10 divide d(6)?
False
Suppose 11*v - 8*v = 15. Suppose 4*x + 6*u - 68 = 2*u, -3*x - v*u = -61. Does 12 divide x?
True
Let u = 22 + -8. Let v = -9 + u. Does 13 divide 196/v - (-6)/(-30)?
True
Let t(x) = x**3 - 16*x**2 - 24*x + 60. Is 46 a factor of t(18)?
True
Let l(n) = 2*n**3 - 4*n**2 + 10*n - 28. Is l(6) a multiple of 10?
True
Suppose 18 = 2*x - w, -3*w = 5*x + w - 19. Suppose 74 = x*s - 5*s. Does 28 divide s?
False
Let v(j) = 3*j**2 - 4*j + 7. Does 21 divide v(-10)?
False
Let m = -570 - -910. Is 34 a factor of m?
True
Let c(a) = -5 - 9*a + 0*a**2 + 3*a**2 - 2*a**2. Let k be ((-96)/20)/((-6)/15). Does 31 divide c(k)?
True
Suppose -1867*v + 1870*v - 1056 = 0. Does 32 divide v?
True
Let h(o) = 3*o - 7. Let n be h(6). Is (-34)/119 - 92/(-14)*n a multiple of 24?
True
Suppose -3*y + 5088 = 13*y. Does 10 divide y?
False
Suppose 4 = -4*x, -3*f + x + 11 = -5*f. Let q be (-2)/f + (-96)/(-60). Does 11 divide (3 - 5) + q + 27?
False
Suppose 208 = -5*o + 213, 3*o = -3*u + 3387. Is 24 a factor of u?
True
Let o be 16/(-72) + (-659)/(-9). Let z = 67 - 115. Let y = o + z. Does 7 divide y?
False
Suppose -8 + 11 = d. Is (d - 42/4)*-6 a multiple of 13?
False
Let c(w) = -7*w + 39. Let x(q) = -14*q + 78. Let m(f) = -11*c(f) + 6*x(f). Is 9 a factor of m(-11)?
False
Let r(l) = 107*l + 72. Is 8 a factor of r(4)?
False
Suppose 2*f + 4 = -3*l - l, 19 = 4*f - l. Suppose -f*z = -z - 285. Does 23 divide z?
False
Suppose 3*m + 2*f - 5 = 0, -35 = -3*m - 2*f + 6*f. Suppose 11*a - 24 = m*a. Suppose -2*v = -0*v - l - 58, -a*v - 2*l + 132 = 0. Is v a multiple of 31?
True
Let m(u) be the second derivative of u**3/2 + 23*u**2/2 + 14*u. Is m(-5) a multiple of 5?
False
Let j = -61 + 56. Suppose -4*n + 2*n + 76 = 0. Let w = n - j. Does 7 divide w?
False
Let x(a) = -2*a + 12. Let m be x(7). Let c be 0 + (4 - (4 + m)). Suppose -2*w + 336 = c*w. Is 19 a factor of w?
False
Let w(q) = 5*q**2 - 7*q - 24. Is w(-6) a multiple of 6?
True
Is ((-15)/5 - -4)*(147 + 3) a multiple of 10?
True
Suppose 0 = -4*k - 2*h + 18, 4*k - 3 = 8*k - 5*h. Suppose -1 = -k*c + 14. Suppose 0 = c*j - 214 - 56. Does 18 divide j?
True
Let h(n) be the first derivative of -3/2*n**2 - 12 - 10*n + 11/3*n**3 + 1/4*n**4. Does 21 divide h(-11)?
False
Suppose 4*c = 5*c + 2*c. Suppose c = -4*s - 11 + 27, -102 = -2*f - 4*s. Is 43 a factor of f?
True
Let w be 8/((-40)/(-345))*(0 + 1). Suppose 0 = 7*m - 141 - w. Does 15 divide m?
True
Let l(f) = f**2 - 15*f + 60. Let b be l(8). Suppose 5*t + 5*z = 40, 27 = 2*t + t + b*z. Is t a multiple of 5?
True
Let k(m) = 3*m**3 + m**2 + 3*m - 2. Let s be k(2). Let u = -21 + s. Is 2 a factor of u?
False
Let h(c) = c**3 - 7*c**2 + 23*c - 11. Is h(6) a multiple of 13?
True
Suppose 0 = 2*m - d + 22, 4*m + 0*d = 4*d - 52. Let f(j) = j**2 + 8*j + 9. Is 9 a factor of f(m)?
True
Let d(m) = -m**2 - 7*m - 12. Let b be d(-4). Suppose b = 3*g - 2*g - 71. Is g a multiple of 11?
False
Suppose 5*s + 35 = -5*y, 4*s = -0*s - 2*y - 20. Let f be s/(-12)*4*0. Suppose f*l - 9 = -l. Is 3 a factor of l?
True
Suppose -3*h + 15 = -4*y + 5*y, y + 4*h - 16 = 0. Let t = 80 - 19. Does 15 divide (-4 - y/(-4)) + t?
True
Suppose -10*f + 562 = -328. Let q = f - 33. Does 22 divide q?
False
Let z(i) = 3*i**3 + 6*i**2 + 6*i - 3. Let q(k) = -16*k**3 - 30*k**2 - 30*k + 15. Let y(m) = -2*q(m) - 11*z(m). Suppose 4*c - 20 = 8*c. Is y(c) a multiple of 4?
True
Suppose 4*p = 3*w + 85, 2*p + 187 = -4