uppose -2*v = -5*v + m. Is v a multiple of 9?
False
Let z(p) be the third derivative of p**4/4 + p**3 + 7*p**2. Is z(9) a multiple of 15?
True
Let r(w) = -6*w. Let h be r(-1). Let n(l) = 2*l**2 + 3 - 6 + 2*l - h*l**2 + 5*l**2. Is n(-4) a multiple of 4?
False
Let c(a) = a**2 - a. Let w(f) = f - 7. Let l be w(8). Let p be c(l). Suppose -45 = -p*i - 3*i. Is 5 a factor of i?
True
Suppose 3*y - 2*y = 15. Is y a multiple of 15?
True
Is (-3)/(-5) + (-1074)/(-10) a multiple of 27?
True
Suppose 2*l + l - 135 = 0. Does 6 divide (-2 - (-21)/9)*l?
False
Let q = -24 + 10. Let d be (-38)/q - (-4)/14. Suppose 3*a = 2*g - 5, 0 = -5*g - d*a - a + 24. Is 4 a factor of g?
True
Let y(t) = -15*t - 3. Let u(q) = -6*q - 1. Let w(x) = 12*u(x) - 5*y(x). Suppose -2*d - 2*d + 16 = 0, 5*d = -4*f + 48. Is w(f) a multiple of 8?
True
Let h(d) = -2*d**3 - 19*d**2 + 17*d + 1. Let b = -5 + 10. Let t(m) = -3*m**3 - 29*m**2 + 26*m + 1. Let i(g) = b*t(g) - 8*h(g). Does 22 divide i(-7)?
False
Suppose 399 - 83 = -4*m. Let k = m + 112. Does 7 divide k?
False
Suppose 4*g - 2*p - 342 = 0, -p = g - 122 + 44. Does 25 divide g?
False
Does 12 divide (-152)/(-7) - (-28)/98?
False
Suppose 0 = -12*c + 1421 - 17. Is 49 a factor of c?
False
Let t = 182 + -47. Is 25 a factor of t?
False
Suppose 0*r - 2*r = -6. Let t = r + -21. Is (t + 0)*(-3)/3 a multiple of 9?
True
Let n = 10 + 14. Is n a multiple of 21?
False
Suppose -4*s - 4*w - 168 = 0, -190 = 5*s + 4*w - 3*w. Let l = 7 - s. Is l a multiple of 13?
False
Let u(q) = -2 - 3*q + 0*q + 4 + q**3. Let p be u(2). Suppose -8 = -3*w + 2*s + 3*s, -p*w = 4*s - 64. Does 6 divide w?
False
Suppose -3 - 30 = -3*i. Does 3 divide i?
False
Let q = 8 + -5. Suppose q*w + 0*w - 63 = 0. Does 14 divide w?
False
Suppose 5*p - 62 = 48. Does 8 divide p?
False
Does 8 divide 5/(20/286) - 4/(-8)?
True
Suppose -k - j + 5 = -24, 0 = -k - 4*j + 44. Does 8 divide k?
True
Is 1/2 - 641/(-2) a multiple of 35?
False
Suppose -5*m + 7*m - 214 = 0. Does 14 divide m?
False
Suppose 4*v = -0*v + 284. Let w = v + -22. Does 13 divide w?
False
Let h be 161/2 + 2/4. Let i be (-10)/(-55) - (-1030)/22. Let l = h - i. Does 12 divide l?
False
Let o(j) = j + 3. Let u be o(-3). Let y(w) = -w**3 - w**2 + w + 5. Let h be y(0). Suppose v + u = h. Is v a multiple of 2?
False
Let i be (-1 - -5)*(-14)/(-4). Suppose -16 = -f + g - 3*g, i = -f + 4*g. Does 4 divide f?
False
Suppose -3*k - 4*x + 28 + 18 = 0, -2*k + 2*x + 40 = 0. Let d = k + -12. Does 3 divide d?
True
Is 12 a factor of (-5)/(-25) - 318/(-10)?
False
Is 34 a factor of (316/(-3) - -2)*6/(-5)?
False
Suppose a - 5 = 5*u, 2*a - 3*a + 3*u = -11. Suppose 4*c - a = 32. Is 8 a factor of c?
False
Suppose -2*f + 7 = -4*f - 3*u, 3*f = -5*u - 11. Let z(d) = d**2 + 2*d. Let p be z(f). Suppose a + 10 - 42 = p. Is a a multiple of 16?
True
Let b be 0*(2/4 + -1). Suppose -j = -b*j + 1. Does 13 divide (30 - j) + 1/(-1)?
False
Let u(v) = v + 2 + 2 + 2*v + 2*v. Let k be u(-5). Does 8 divide (-3)/(-3) + (2 - k)?
True
Let r = 106 + -78. Is r a multiple of 4?
True
Let o(v) be the third derivative of v**5/60 - v**4/8 + v**2. Let h be o(3). Does 8 divide (-2)/6*h + 16?
True
Let k = -5 - -1. Is 13 a factor of k*(34/(-4) - -2)?
True
Suppose k = 5*k - 4*d + 12, -14 = -2*k - 2*d. Is 4 a factor of (1*-2)/(k/(-4))?
True
Let g(x) = 6*x + 64. Is 2 a factor of g(-9)?
True
Suppose 40 = -5*d - z, 28 = -3*d + 5*z + 4. Let x be ((-6)/(-8))/((-2)/d). Suppose l + 94 = 5*k - l, -4*l - 62 = -x*k. Is 5 a factor of k?
False
Let g be -4*((-6)/(-4) - 2). Let u be 1/g - 15/(-2). Suppose -v + 3*w - u*w = 0, -4*w = -2*v + 42. Is 15 a factor of v?
True
Let l be 6/9*(-33)/2. Let b = 54 + l. Does 16 divide b?
False
Let g = -3 + 5. Let s be 2*-10*g/(-8). Suppose -s*m + 2*m + 147 = 0. Is 17 a factor of m?
False
Let d be 1*(-1)/(-1) + 0. Suppose -x = d - 4. Suppose -12 = -x*f + 15. Does 3 divide f?
True
Is (-316)/(-10) - 3/5 a multiple of 28?
False
Suppose -t + 5*q = -21, -5*t + 15 + 6 = -4*q. Is -1*(-3 - 23)*t a multiple of 12?
False
Suppose 5*d = 8 + 77. Suppose d = 2*u - 73. Does 17 divide u?
False
Let a(x) = -x. Let v(z) = -8*z - 4. Let f(o) = 10*a(o) - v(o). Is f(-5) a multiple of 14?
True
Suppose -12 = -4*a - 3*o, 4*a + 0*a + 4*o - 16 = 0. Let q be (-1 - -1)/(-2 - a). Is 3 a factor of 2*6/4 + q?
True
Let g = 8 - 18. Is g/(-2 + (-60)/(-33)) a multiple of 22?
False
Is 20 a factor of 364/6 - 12/18?
True
Let b(m) = 7*m**2 + 5*m - 4. Is b(-3) a multiple of 7?
False
Suppose -m + 64 = 3*m. Suppose -88 = -2*p - m. Is 12 a factor of p?
True
Let z(n) = -n**3 - 7*n**2 + 9*n + 12. Let s be z(-8). Suppose s*p + 0*p - 2*f - 156 = 0, -5*f - 48 = -p. Is p a multiple of 15?
False
Is (47 - 1) + -1 + 3 a multiple of 16?
True
Let w(r) = 2*r**3 - 4*r**2 - r + 1. Let x be w(5). Suppose 4*l - 2*y = 3*y - 292, -2*l - x = -3*y. Let q = l + 119. Does 18 divide q?
False
Let c(r) = -24*r - 4. Does 22 divide c(-2)?
True
Suppose -4*y - 4*v + 124 = -y, 0 = 3*y + 3*v - 123. Is 20 a factor of y?
True
Suppose 2*f - 156 = -3*i, -3*f = -3*i + 50 + 106. Suppose -4*g - 106 = -2*o + g, o - 2*g = i. Is o a multiple of 12?
True
Suppose 0*m = 5*g - m - 548, 2*g + m - 215 = 0. Does 38 divide g?
False
Suppose 0*i = -i + 72. Does 24 divide i?
True
Is 28 a factor of -2*(-1 + 0)*(-140)/(-2)?
True
Let v be 2/(-4)*(-16)/(-1). Is (-130)/v - (-6)/(-24) a multiple of 8?
True
Suppose 4*r + 0 = -16. Let x(y) = y**3 + 14*y**2 + 14*y + 19. Let f be x(-13). Let q = f + r. Does 2 divide q?
True
Let d(w) = -21*w - 4. Suppose -4*m + 6 = 18. Let j be d(m). Does 9 divide (-2)/(-6) + j/3?
False
Let m = 78 + -47. Is m a multiple of 19?
False
Let d(u) = -u + 5. Is 2 a factor of d(0)?
False
Let f = 3 + -2. Suppose -3*q = -211 + f. Let r = -50 + q. Does 10 divide r?
True
Suppose 3*o - o - 5*p - 18 = 0, -2*o - 3*p = -2. Suppose -f - 2*f + 4*w = 3, -o*f = -2*w - 6. Is 2 a factor of f?
False
Let n(m) = m**2 + m + 664. Let o be n(0). Suppose -o - 208 = 4*q. Does 12 divide 2/(-9) + q/(-9)?
True
Suppose x - 16 = -2*b, -b + 0 = -x - 5. Is b a multiple of 3?
False
Is 8 a factor of 16/2 + 0/2?
True
Let o = -3 - -5. Let w = 9 + 16. Suppose -3*r + 8 = 4*l - w, 0 = -2*l + o*r + 6. Does 6 divide l?
True
Suppose -v - 9 = -4*v, 5*v + 75 = 5*q. Suppose f - 4*j + 2 = 12, 0 = -4*f + 5*j + q. Is f a multiple of 2?
True
Is 18 a factor of (-4)/12 + (-856)/(-12)?
False
Suppose 5*d + 342 = 3*d. Let k be (d/12)/((-2)/8). Is (6/9)/(2/k) a multiple of 19?
True
Let j(a) = a**3 - 25*a**2 + 16*a - 52. Is 29 a factor of j(25)?
True
Suppose -5*u + 58 = -122. Is u a multiple of 9?
True
Suppose 0 = -2*h + 16*h - 3346. Is 9 a factor of h?
False
Let l = 150 - 58. Does 18 divide l?
False
Suppose -3*p - 2 = -8. Is (-5)/((-15)/153) - p a multiple of 21?
False
Let y be ((-1 + 2)*-46)/(-2). Suppose -f = -2*s - y + 146, 0 = -3*s - f + 177. Does 13 divide s?
False
Suppose 2*s = -3*s + 20. Is 9 a factor of 0 - -2*18/s?
True
Is 18/12*338/3 a multiple of 13?
True
Is 15 a factor of 5 - (0 - -1) - -38?
False
Let g(d) = -d + 4. Let s be g(-6). Is 13 a factor of 20/3*24/s?
False
Suppose l + 3*x = 21, 5*l - 3*l + x = 67. Does 6 divide l?
True
Suppose 28 = 2*k - 96. Does 19 divide k?
False
Suppose 4*n + 0 = -3*i - 13, 0 = -3*n - 12. Let m be 1*(1 + 139 + i). Suppose 4*z = m + 35. Is 16 a factor of z?
False
Suppose v - 108 = -3*v. Is 7 a factor of v?
False
Let r(c) be the second derivative of -c**7/840 - c**6/72 - c**4/6 + c**3/3 + 3*c. Let h(x) be the second derivative of r(x). Is 16 a factor of h(-6)?
True
Let c(t) = -t**2 - 5*t - 3. Let u be 2*(27/6)/(-3). Let j be c(u). Does 9 divide (-26)/(-3) + 1/j?
True
Let f(h) = -3*h - 2. Let i be f(6). Let w(k) = 5*k**3 + 2*k**2 - 3*k + 1. Let d be w(2). Let l = i + d. Does 13 divide l?
False
Suppose -p + 5 = s, 4 + 12 = 4*s + 2*p. Suppose -4*v + 3*v + 7 = 5*u, -s*u - 3 = 0. Is 4 a factor of v?
True
Suppose 5*o = 5*z - 45, -23 = -3*z + 2*o - 1. Suppose -5*j = -u - 21, -3*u - 13 = -z*j - j. Is 4 a factor of u?
True
Let g(x) = x**3 + 3*x**2 - 2*x - 1. Let c be g(-3). Suppose 2*m = -c*p - 25, -3*p = 2*p + 5*m + 10. Let b = p + 12. Is b a multiple of 3?
False
Let v = 133 - 77. Does 16 divide v?
False
Let o be 6/(-8) - (-1676)/16. Suppose -o = -4*n + 4*l, 3*n - 10 - 68 = 4*l. Is n a multiple of 10?
False
Let o be 2 - (-1 - (48 + -1)). Let n be (o - 2)/1 - 3. Su