5/(-12). Let f = -17 - o. Suppose 5*p + 3*r + f = 90, 3*p + 2*r - 53 = 0. Does 12 divide p?
False
Let x(z) be the third derivative of z**4/24 + 13*z**3/6 - 9*z**2. Let i be x(-7). Suppose -4*h + i*h - 108 = 0. Is h a multiple of 11?
False
Let d(o) = 4*o**2 - 3*o + 3*o. Let s be d(1). Suppose 140 = s*l + l. Is l a multiple of 14?
True
Let z(f) = -14*f - 1. Let p(k) = k + 1. Let q(a) = -5*p(a) + z(a). Does 9 divide q(-6)?
True
Suppose 0 = -3*v + 2*o + 7262 + 2391, -3*o - 6427 = -2*v. Is v a multiple of 18?
False
Suppose t = -5*g + 27, 2*t - 9 = -4*g - 3*t. Let i = 19 - 7. Is 15 a factor of g/i - (-69)/2?
False
Suppose 366 + 180 = 3*a. Suppose -3*z + 303 = 3*g, a + 320 = 5*z + 2*g. Does 15 divide z?
False
Let f(r) = r**3 - 12*r**2 - 10*r + 6. Is f(13) a multiple of 15?
True
Let q(p) = 4*p**3 - 14*p**2 - 17*p + 40. Is 26 a factor of q(7)?
False
Does 16 divide 35966/112 - ((-50)/(-16) - 3)?
False
Suppose -2850 = -3*r - 7*r. Let u = -177 + r. Is u a multiple of 27?
True
Let m = -207 + 282. Is 25 a factor of m?
True
Let a(c) = -2*c + 2. Let t be a(-3). Let v(d) = -d**3 + 9*d**2 - 6*d + 11. Is 14 a factor of v(t)?
False
Suppose -4*y + 340 = 5*n, -y + 82 = -5*n + 7*n. Does 45 divide y?
True
Suppose -q - 1 = -9. Let r = 15 + 14. Let c = r - q. Is c a multiple of 7?
True
Let k(a) = -165*a + 6. Let v be k(-2). Suppose -4*y = -v + 104. Is y a multiple of 12?
False
Suppose 2*s + x + 52 = -2*s, -4*s + 3*x = 68. Is (s/(-6))/(2/12) a multiple of 4?
False
Let b be (-20)/15*(-12)/4. Suppose 0 = -b*f + 41 + 23. Does 8 divide 6*f*(-5)/(-15)?
True
Let d(v) = v + 29. Is d(13) even?
True
Suppose m = -2*q + 599, -10*m + 1 = -11*m. Is 15 a factor of q?
True
Let r be ((-2)/(-4))/((-14)/(-56)). Suppose 3*o + r*o = 2*n + 4, 5*o + n = -2. Suppose 0 = j - 3*j + 2*k + 30, -5*j - 4*k + 48 = o. Is 11 a factor of j?
False
Suppose 4*f - f - 75 = 0. Suppose 3*j - f + 7 = 0. Let c(s) = -s**3 + 5*s**2 + 8*s + 2. Does 14 divide c(j)?
True
Let q = 2212 - 1782. Does 43 divide q?
True
Let r = -581 - -1865. Is r a multiple of 72?
False
Let a be 2/(-10) + 57/(-15). Let o(q) = q**3 + 11*q**2 + 6*q + 2. Let t be o(a). Suppose -3*j - 27 + t = 4*k, -j = k - 16. Does 7 divide k?
False
Suppose 5*g - 7*g = 0. Suppose g = -0*x + x - 33. Is x a multiple of 12?
False
Let c(b) = b**2 - 9*b - 2. Let u(f) = f**2 - 9*f - 3. Let r(x) = -7*c(x) + 6*u(x). Let w be r(9). Is (-1)/w - 94/(-8) a multiple of 12?
True
Is (3*(-29)/(-3))/1 a multiple of 3?
False
Let v(z) = z + 14. Let a be v(-11). Let p = -7 + a. Is 7 a factor of p - (0 + 0) - -32?
True
Let c(s) = -2*s - 12. Let i be c(-7). Let t(q) = 44*q + 2. Is 13 a factor of t(i)?
False
Let z = 38 - -58. Is 8 a factor of z?
True
Suppose 33 = x + 10*x. Is 5 a factor of (x/(-12))/((-178)/88 - -2)?
False
Let z = -2495 + 3899. Does 27 divide z?
True
Let k(i) = i**2 - 13*i + 24. Let t be k(11). Suppose t*b - 2*f + 298 = 6*b, -64 = -b - 4*f. Suppose -7*d + 3*d + b = 0. Is d a multiple of 15?
False
Let s(g) = 119*g**2 - 2*g - 3. Let l be s(2). Suppose 0 = 5*b - 3*c - l, 0 = 2*b - 3*c + 8*c - 200. Is b a multiple of 20?
False
Let j = 6 - 8. Let w be 23/2 - 1/j. Suppose -70 = -2*i - w. Does 5 divide i?
False
Suppose 5*a - 5547 = -4*z, 5556 = -6*z + 10*z - 4*a. Does 26 divide z?
False
Let p = 15 - 11. Let r be 4743/63 + p/(-14). Suppose -y + r = 4*y. Is 4 a factor of y?
False
Let h = 363 + -162. Is h a multiple of 16?
False
Suppose -10 = -2*s, 5*y + 3*s - 7180 = -s. Does 101 divide y?
False
Let l(w) = -6*w**3 + 3*w**2 - 5*w - 13. Does 3 divide l(-2)?
True
Suppose -6 = -3*j, 5*v - 3*j - 1758 = v. Is 21 a factor of v?
True
Suppose -8092 = 12*v - 46*v. Does 14 divide v?
True
Let m = 422 + -83. Does 15 divide m?
False
Let w(b) = 74 - 30 + b - 24. Let r be w(12). Does 25 divide (8/(-2) - -1) + r?
False
Suppose 136 - 26 = 5*s. Suppose -3*u + u = -s. Suppose u = -2*b + 47. Is 9 a factor of b?
True
Is 6760/3 - 46/(-69) a multiple of 85?
False
Is 108 a factor of ((-14746)/(-365))/((-2)/(-95))?
False
Let j(o) = o**2 + 3*o - 4. Let p be j(-4). Does 27 divide 1/1 + p + 35?
False
Suppose -2149 = -3*m - f, -793 - 631 = -2*m - 5*f. Suppose -3*k - 709 = -5*k - 3*z, 5*z + m = 2*k. Is k/5 + (-24)/(-30) a multiple of 20?
False
Let r(l) = -18*l - 68. Does 3 divide r(-5)?
False
Let g(m) = 4*m + 16. Let d(z) = z - 1. Let o(n) = 2*d(n) - g(n). Is o(-14) a multiple of 6?
False
Let z = -82 - -151. Let x = 121 - z. Suppose -5*k + 51 = m, 0*k - x = -4*k + 2*m. Is 5 a factor of k?
False
Suppose -2 = -3*i + 7. Suppose -3*h + 0*h - 5 = -4*u, -5*h = -i*u - 10. Suppose -4*z + 31 = -u. Does 2 divide z?
False
Suppose -18599 + 53119 = 20*m. Does 15 divide m?
False
Let k be ((-3)/2)/((-24)/64). Suppose 16 = 3*q - 4*y, 12 = -q + y - k*y. Does 5 divide (2 + q - 7)/(-1)?
True
Suppose -m = 2*m - 648. Is 29 a factor of m?
False
Let v(g) = -4*g**2 - 4*g - 2. Let w be v(-2). Let i(y) be the third derivative of y**6/120 + 11*y**5/60 + y**4/4 + 7*y**3/3 + 12*y**2. Is i(w) a multiple of 27?
True
Let l = -35 - -43. Suppose 44 - l = j. Does 18 divide j?
True
Let y(t) = -3*t**3 + 2*t**2 - 1. Let j be y(-1). Suppose -j*o + 2*v = -100, 0 = -2*o + 6*v - 3*v + 54. Does 4 divide o - 8 - (-8)/2?
True
Let t = 28 - 18. Suppose 0 = 5*d - t - 5. Suppose 8*x - d*x = 175. Is x a multiple of 15?
False
Let q(z) = 11*z**2 + 2*z - 3. Let k be 2 + -1 + -1 - -2. Let a be q(k). Let v = a - 11. Does 7 divide v?
False
Let g be (-18018)/(-45) + (-2)/5. Suppose -2 = 3*f + 5*h - 250, -5*h + g = 5*f. Is f a multiple of 19?
True
Suppose -22 - 6 = -2*z. Is 9 a factor of 10/35 + 934/z?
False
Let j be (-5 + 37)*((-18)/8 + 0). Let c = j + 123. Does 8 divide c?
False
Let x be (-2)/1*(-119)/(-34). Let n(k) = -16*k - 3. Does 8 divide n(x)?
False
Suppose 5*n = 37 + 13. Let r be (-28)/n - 1/5. Does 2 divide 0 - r*(0 + 1)?
False
Suppose -j = 3*f + 27, -5*j + 6*j = -4*f - 30. Is 15 a factor of (-21*(-6)/(-9))/(12/j)?
False
Let l(n) = -n**3 - 5*n**2 - 12*n - 3. Suppose 3*c + 3 = 2*z + z, 3*z = 4*c + 3. Suppose -5*g + 2*g - 23 = -5*m, 4*g - 4*m + 28 = c. Is 24 a factor of l(g)?
False
Let d(f) = f**2 - 26*f + 50. Let m be d(24). Suppose 0 = m*z + 3*v - 234, 4*z - 3*v = -7*v + 472. Does 15 divide z?
True
Let p(h) = 37*h**3 - 6*h**2 - h - 2. Let v be p(-4). Let w = -1447 - v. Is w/21 + 4/6 a multiple of 23?
False
Suppose 12 = 8*i - 4. Suppose -3*z = 3, -i*w = -4*z + 6 - 18. Is w a multiple of 4?
True
Suppose -4*y + 68 = -2*y. Let i = y - 20. Does 9 divide i?
False
Suppose 26 = -3*w + 77. Let g = 26 + w. Is g a multiple of 5?
False
Suppose -3*i + 164 = -1744. Suppose 0 = 2*t + t + i. Let m = -150 - t. Does 25 divide m?
False
Let r = -39 + 23. Is 2 a factor of 4 + 51/(-12) - 36/r?
True
Is 82 a factor of (-15526)/(-21) + 2/3 + -2?
True
Let c be ((-1 - 1)/6)/(8/(-600)). Suppose -5*o = -75 - c. Is 10 a factor of o?
True
Let o be (-7 - -8)*(4 - 1). Let v be (-2 - -4)*o/2. Let l = v + 9. Does 6 divide l?
True
Suppose 2*c + 2*b = 308, -5*c - 4*b = -b - 772. Is c a multiple of 2?
False
Is 3 a factor of (-6 + 3)*(-1842)/18?
False
Suppose -5*l + 2951 = 5*f + 366, 4*f = l - 542. Does 29 divide l?
True
Let r(x) = 14*x**2 + 19*x + 6. Is 59 a factor of r(-9)?
False
Let s = 980 - 770. Is 10 a factor of s?
True
Let g = -11 - -35. Is 8 a factor of g?
True
Suppose 16 = 5*l + 16. Suppose l = 7*o - 2*o - 40. Is o a multiple of 4?
True
Let q(m) = 836*m**3 - m**2 + 2*m - 2. Let l be q(1). Does 14 divide (-3)/((-6)/4)*l/10?
False
Let t = 655 - 251. Is 32 a factor of (t/8)/(1/2)?
False
Let n = -29 - -31. Let j be 99 + (5 - 2/n). Suppose 83 = 3*a - j. Is a a multiple of 31?
True
Let q be (-68)/(-2) - (2 + 1). Let s = 85 - q. Let a = s - 16. Is a a multiple of 11?
False
Let r(n) = 3*n**2 + 18*n + 14. Is r(-12) a multiple of 46?
True
Suppose -2*u + r - 4 = -3, 0 = -2*u + 2*r. Is 10 a factor of (134 - u)/(24/16)?
True
Let m(c) = 3*c**3 + 43*c**2 + 16*c + 47. Does 11 divide m(-9)?
True
Let x be ((-15)/6 - -2)*2. Let z be 3/((-6)/8*x). Let l(h) = -h + 12. Is l(z) a multiple of 5?
False
Let s(q) = q**2 + 11*q - 1. Let c be s(-9). Let f = 20 + c. Suppose r - 49 = -f. Is 7 a factor of r?
False
Suppose 7*r = 523 + 1087. Is r a multiple of 23?
True
Let x(q) be the first derivative of 2*q**3/3 - 6*q**2 - 6*q + 4. Is 12 a factor of x(10)?
False
Suppose -2*c + c = -4*o - 52, 5*c + 3*o - 329