 p = -6 + 11. Suppose 6 = o - 4*d, -o + 2*o + p*d - 33 = 0. Does 12 divide o/(1 + (-2)/(-4))?
True
Is 19 a factor of (-1 - 123/6)/((-2)/4)?
False
Let s(n) be the third derivative of n**6/60 - n**5/60 - n**4/12 + 3*n**2. Let y be s(-3). Let x = -35 - y. Does 21 divide x?
False
Let u(m) = 9*m + 4*m**2 - m**3 - m - 9 + m**2. Suppose 3*b + 3 = -2*w + 15, 3*w = b + 18. Is u(w) even?
False
Suppose 4*c = -5*u + 62, -3*c + 4*u = -8*c + 73. Let x = c - 8. Is x even?
False
Let k(i) = -i**2 + 24*i - 27. Is k(18) a multiple of 25?
False
Let z(x) = x**2 + 10*x. Is z(-14) a multiple of 14?
True
Let r(g) = -g**2 + 8*g - 4. Let s be r(7). Let u be ((-2)/s)/(8/12). Is 7 a factor of u*2 + 16 + 2?
False
Suppose 1 = 3*t - 5*h, 4*t - 4*h - 6 = -2*h. Suppose -66 = -t*q - c - 0*c, 3*c + 99 = 3*q. Is q a multiple of 11?
True
Let i(g) = g**2 + 9*g + 10. Let a be i(-8). Suppose 2*z + 4*y - 5 = 15, 2*z - 50 = a*y. Is 10 a factor of z?
True
Let b(n) = -n**2 - 3*n + 1. Let k be b(2). Let a be k/2*(-26)/3. Suppose -5*h + 4*h = -a. Is h a multiple of 16?
False
Is (-6)/9 + 262/6 a multiple of 27?
False
Let v be ((-15)/(-12))/((-2)/(-56)). Let q = -34 - -18. Let s = q + v. Is 14 a factor of s?
False
Let o(m) = -1 - 2 - 3*m - 3 + 2*m**2 + 4. Is o(-4) a multiple of 14?
True
Suppose -15*o = -21*o + 210. Does 7 divide o?
True
Let o = -1 + 11. Suppose -4*d - o = 2. Is d/(-2)*(-14)/(-3) a multiple of 7?
True
Is 5 a factor of ((-6)/(-20)*-12)/(10/(-125))?
True
Suppose 0 = 2*g - 11 - 1. Let t(z) = z**2 - z + 8. Does 19 divide t(g)?
True
Let k(x) be the third derivative of x**5/60 + x**4/3 + 7*x**3/6 - 2*x**2. Let o be k(-7). Let p = o + 31. Does 14 divide p?
False
Let o(l) = l**3 + 7*l**2 - 3*l + 8. Let a be o(-7). Let c = a + -9. Does 20 divide c?
True
Is ((-105)/28)/((-2)/8) a multiple of 5?
True
Let x(p) = p + 14. Let z be x(-8). Suppose -z*u + 2*u + 16 = 0. Is u a multiple of 3?
False
Let p = 207 - 166. Does 6 divide p?
False
Let o(r) = -2*r**2 + 3*r + 2. Let f be o(3). Let i = f + 15. Is i a multiple of 4?
True
Let v(l) = 12*l - 38. Is 15 a factor of v(14)?
False
Let v(t) = -2*t**2 + 3*t + 2. Let r be v(6). Is (-5 - -2)/(4/r) a multiple of 13?
True
Let f(b) = 2*b**3 - 2*b**2 - b - 1. Suppose 9 = 4*m - v, 3*v - 1 = 2*m - 8. Let s be f(m). Suppose -3*d - u + 24 = -5*u, s*u + 15 = 0. Does 2 divide d?
True
Suppose 3*n + 3*w = -48, 2*n - 3*n + 3*w = 0. Is 6 a factor of 18*(3 + 32/n)?
True
Suppose -r = -5*l + 80, 4*l - 67 - 8 = 3*r. Let o = l + -8. Does 6 divide o?
False
Let v(j) be the third derivative of -13*j**6/40 - j**5/60 - j**4/24 - j**3/6 + j**2. Is v(-1) a multiple of 19?
True
Let t(g) = g**2 + 21*g + 33. Is t(-24) a multiple of 7?
True
Let x(a) = -37*a + 58. Is x(-6) a multiple of 14?
True
Let r be 0/2 - -2*1. Suppose 115 = 3*q + r*q. Is q a multiple of 10?
False
Let r(t) = 6*t**3 - t**2 - 4*t - 9. Is 9 a factor of r(3)?
False
Suppose -5*z + 2*g - 71 = 0, 5*z - 3*g = 3*z - 24. Is (-6)/z - 84/(-15) even?
True
Suppose 10 = 2*y - 0*y. Let b = y - -9. Is 14 a factor of b?
True
Suppose r - 3 = -0. Suppose -j = -r*j. Suppose 4*b + j*b - 87 = -3*n, 2*b + 3*n - 39 = 0. Is b a multiple of 10?
False
Let h = 229 + -46. Let n = 122 - 65. Suppose -n = -5*o + h. Does 16 divide o?
True
Let r(c) = -14*c - 4. Does 8 divide r(-2)?
True
Let n = 8 - 2. Does 4 divide (2/3)/(n/117)?
False
Let g be 6/9*(-6)/(-4). Suppose 4*v + g - 9 = 0. Suppose 4*k = 3*k - v*m + 32, 2*k - m = 64. Is 16 a factor of k?
True
Let v be (-15)/(-20)*2*78. Let m be (-5)/(-3) + (-1)/(-3). Suppose -3*h = -5*j + v, 0 = -j + m*h + h + 21. Is 9 a factor of j?
False
Let g be (-110)/4*(-4)/5. Suppose g + 6 = 4*a + 4*n, 5*n = -4*a + 29. Let f = a - -7. Is f a multiple of 5?
False
Suppose 2*x = -7 + 19. Let k be (366/9)/(4/x). Suppose 2*p + k = 3*z + 2*z, z - 26 = 5*p. Is 6 a factor of z?
False
Suppose 8 = -y - y, 3*z + 4*y + 7 = 0. Suppose 5*i = 3*q + 10 + 12, z*i + 3*q = 18. Is i a multiple of 3?
False
Let t = 71 - -19. Does 9 divide t?
True
Suppose 3*g = 6*g + 18. Let f(k) = k**2 + 5*k - 4. Let y be f(g). Suppose -5*c - z + 91 = 0, y*c - c - z - 23 = 0. Does 10 divide c?
False
Let p be 2/(-12) - 155/(-30). Suppose -4 = -p*z + 11. Is z a multiple of 2?
False
Suppose -k + 12 = -3*u, u = 3*u + 6. Suppose 12 - k = 3*x. Suppose 64 = r + x*r. Is 10 a factor of r?
False
Suppose -3*o - 2*o = -25. Suppose 36 - 11 = o*v. Suppose 5*z - 58 - 9 = -2*q, 184 = v*q - 4*z. Is q a multiple of 12?
True
Let x = 15 + 18. Is 15 a factor of x?
False
Suppose 2 = b - 1. Suppose -b*a + 73 = 16. Is a a multiple of 15?
False
Let g(p) = 39*p**2 + p - 2. Let b be g(-2). Let m = -103 + b. Is m a multiple of 10?
False
Suppose -4*v = -2*v. Suppose 69 = 3*m + p, -3*m + 3*p - 25 + 82 = v. Does 10 divide m?
False
Suppose l = 5*g + 412, 5*g + 261 = -2*l + 1010. Suppose -l = -4*h + 213. Suppose 2*b - 3*w = -w + 90, 4*b - h = -2*w. Does 20 divide b?
True
Let v be 120/2*2/5. Does 19 divide v/56 - 137/(-7)?
False
Let p(i) = -i**3 + 8*i**2 - 4*i - 5. Is p(7) a multiple of 8?
True
Let s be (-162)/7 - (-11)/77. Let q = s - -59. Is q a multiple of 18?
True
Let u be -2*1/(6/(-15)). Suppose -2*w + 3 - 15 = -u*f, 0 = 5*w - 3*f - 8. Let c = w + 14. Is c a multiple of 6?
True
Let s(o) = o**3 - 2*o + 162. Is 15 a factor of s(0)?
False
Let f = -77 + 119. Is 7 a factor of f?
True
Let r(p) = -13*p + 3. Let o be r(2). Is 16 a factor of 2 + (-2 - (0 + o))?
False
Let m = 98 - 69. Let s = 12 - m. Let q = s + 43. Does 7 divide q?
False
Suppose 3*k - 208 = -k. Does 22 divide k?
False
Is 26 a factor of 760/(-6)*(-132)/110?
False
Suppose -3*v + 5*s + 72 = 0, -2*v - 3*s = -5*v + 66. Suppose v = -2*n - 15. Let q = n - -29. Is q a multiple of 12?
True
Let u(l) be the first derivative of -1 + 1/3*l**3 - 2*l + 7/2*l**2. Does 2 divide u(-8)?
True
Let g be 1/2*-2 - -1. Suppose g = 3*f - 0*f - 33. Is 11 a factor of f?
True
Let u(t) = 9*t**2 - 2*t + 2. Does 42 divide u(4)?
False
Suppose -5*n + 74 + 69 = 4*i, 2*n - 2*i = 50. Does 3 divide n?
True
Suppose -2*c + 4*c + 2 = 0, 5*s - 3*c = 113. Does 22 divide s?
True
Suppose 0 = k + w + w - 174, -5*k + 4*w = -828. Does 10 divide k?
False
Let p(i) = -i**2 + 2*i + 2. Let l be p(2). Suppose 3*y + 53 = l*h, -3*h + 0*y - 5*y = -51. Let q = -8 + h. Does 7 divide q?
True
Let m = 214 + -124. Does 12 divide m?
False
Let f(o) = -o**2 - 9*o - 9. Let g be f(-6). Let h = g + -4. Is h a multiple of 2?
False
Let f(j) be the first derivative of -j**3/3 + 13*j**2/2 + 5*j + 1. Let z(d) = -d**2 + 12*d + 5. Let o(n) = -2*f(n) + 3*z(n). Is o(9) a multiple of 14?
True
Let l be (-12 + 3)/(-2*6/8). Let a(z) = z + 4. Let x be a(0). Suppose -t + 5*p - l = 0, -2*p = -x*t + 2*p + 40. Is t a multiple of 6?
False
Let i = 66 + 4. Suppose -i = -5*w - 0*w. Is w a multiple of 14?
True
Let u(l) = -l**3 - 4*l - 3. Let y(h) = h**3 - h**2 - 2*h + 2. Let d be y(2). Suppose -6*n - 12 = -d*n. Is 18 a factor of u(n)?
True
Let h = -8 + 28. Is 5 a factor of h?
True
Suppose 3*n + 5 - 32 = 0. Suppose 5*g + 3*k = 26, 0*k + n = -3*k. Is 7 a factor of g?
True
Let t = 437 - 300. Is 10 a factor of t?
False
Let w(f) = f**3 + 8*f**2 + 5*f + 6. Let s be w(-8). Let c = 83 + s. Is c a multiple of 18?
False
Suppose -4*s - 146 = l, -2*l = 7 - 3. Let f(i) = -i - 2. Let v be f(-1). Is 11 a factor of v - -1 - 1*s?
False
Let k be (-2)/1 + (-162)/(-1). Suppose 5*l = 5*i + k, 5*i = 2 + 13. Is l a multiple of 16?
False
Let t(m) = -4*m. Let o be t(-7). Let s = o + -15. Let j = s + -9. Is j a multiple of 2?
True
Let n be -3 - (-6 + (-3 - -6)). Suppose n = 2*l - 3*m - 11, 3*l = 3*m + 9 + 9. Does 2 divide l?
False
Suppose -6*v = -755 + 269. Is 13 a factor of v?
False
Suppose -3*l - 91 = 20. Let m = 56 + l. Is 19 a factor of m?
True
Let q = -9 + 5. Let c be 3/q + (-6)/(-8). Suppose 0 = -c*r - 5*r + 40. Does 8 divide r?
True
Suppose -4*g = -289 + 53. Is g a multiple of 23?
False
Suppose -160 = -4*f - 0*f. Let s(c) = 8*c - 9. Let o be s(-2). Is ((-60)/o)/(6/f) a multiple of 8?
True
Let n(p) = -7*p + 0 + 2*p**2 - p + 5. Let m be n(5). Suppose 4*f - 2*f = -4*b + 30, -3*f + 4*b = -m. Is 5 a factor of f?
False
Let j(c) = -c**3 + 10*c**2 - 8*c - 4. Suppose x - 2*q - 3*q + 6 = 0, 15 = 3*x - 4*q. Let d be j(x). Suppose d*s - 32 = 28. Is 12 a factor of s?
True
Suppose -62 = -4*p + 666. Suppose -2*d + p = 68. Is 19 a factor o