9/(-2))/(9/(-36))?
True
Let z be 6/(-1)*5/(-15). Suppose 4*l - 5*o = 101, -z*l - l = -o - 62. Is 4 a factor of l?
False
Let q = 1 + 0. Does 3 divide -2*(-2 + -1 + q)?
False
Let g be (-173)/(1 - 2 - 0). Suppose 5*x + 3*i = -0*x + g, 2*x - 2*i = 66. Is x a multiple of 17?
True
Let q(n) = -8*n + 7. Let o(z) = 4*z - 4. Let f(x) = 7*o(x) + 3*q(x). Let c(w) = -w**2 + 6*w + 1. Let u be c(5). Does 17 divide f(u)?
True
Let x(h) = h**2 + 8*h - 14. Suppose 2*t = -t + 5*i - 8, 17 = -2*t + i. Is 19 a factor of x(t)?
True
Let n(o) = 5*o - 6. Let w(h) = 6 + 4*h**2 + 2 + 5*h - 4 - h**3. Let a be w(5). Is 7 a factor of n(a)?
True
Let j(y) = 4*y - 5. Let n be j(7). Let t be n + 6/(-4)*-2. Let k = -14 + t. Is k a multiple of 12?
True
Let t(v) = 2*v**2 - 7*v + 3. Let f be (-2 + 16)*2/4. Is 19 a factor of t(f)?
False
Suppose 6*g - 2*g + 3*r = 75, -20 = -g - 2*r. Let n = g + -11. Is 2 a factor of n?
False
Suppose -5*l + 14 = 4. Suppose -g + l*g - 11 = 0. Is g a multiple of 7?
False
Suppose -3*l - 10 = 5*k, 3*l - 2*k - 3 = 1. Let t be (3/6*l)/(-2). Suppose -2*u + 16 = 4*h, t = u - 0*u + 5*h - 11. Is 6 a factor of u?
True
Suppose -2*i = 4*i. Let s(v) be the third derivative of v**5/60 + v**4/24 + 5*v**3/2 - v**2. Is 15 a factor of s(i)?
True
Let q = 8 - 5. Let b(c) = q - 7 + 3*c**2 - 2 + 2 - c**3 + 4*c. Is b(3) a multiple of 6?
False
Let a be ((-6)/4 - -1)*-2. Let m(l) = 21*l**2 - l. Let c be m(a). Suppose -2*g - 72 = -5*t + c, t - 17 = -g. Is t a multiple of 6?
True
Suppose 4*x + 90 = 7*x. Let c = x - 6. Does 12 divide c?
True
Let z = 15 - 9. Let a be 4/z*(-30)/(-4). Suppose 6*s = -a*x + 3*s + 108, -2*x - 5*s = -28. Is x a multiple of 11?
False
Let j = 0 - -1. Suppose 5*n = -g - 6, -n = g - 1 - j. Suppose 0 = -g*o + 3*w + 84, 0 = -5*o + 6*o - w - 22. Is o a multiple of 12?
False
Let d = 9 - 6. Suppose d*a - 27 = -t + 7*a, -a = 5. Does 6 divide t?
False
Suppose -5*o + 3*f = -16, -4*f = 1 + 7. Suppose 0 = -2*j + y + 103, -2*j + o*y = 3*j - 259. Let z = j + -22. Does 21 divide z?
False
Suppose -4*x = -0*x - 8. Suppose 9*h + 10 = -4*d + 4*h, d + 4 = -x*h. Suppose -a + 5*s + 15 = d, s + 54 = 5*a - 3*s. Is a a multiple of 5?
True
Let r(n) = n**2 - 8. Suppose 4*d - 11 = 13. Does 14 divide r(d)?
True
Let s(p) = p**2 - 11*p + 42. Does 12 divide s(6)?
True
Let b(s) = -s**3 + 8*s**2 - 3*s + 9. Is 12 a factor of b(7)?
False
Suppose 0 = -3*x + 19 + 5. Suppose x + 6 = 2*y. Is 3 a factor of y?
False
Let a be (-4 - 44/(-8))*4. Suppose 2*h + a = 0, h + h = -3*i + 72. Is 14 a factor of i?
False
Let n = 107 - 27. Is 8 a factor of n?
True
Let d(c) be the second derivative of -c**5/20 - c**4/6 - 5*c**3/6 - 2*c**2 - 7*c. Does 10 divide d(-3)?
True
Let z = -49 - -113. Does 16 divide z?
True
Suppose -9*h + 108 = -3*h. Does 6 divide h?
True
Let f = -44 - -49. Is f a multiple of 3?
False
Let f be (-8)/(3 - (1 - -1)). Suppose -4*r - 12 = -4*h, 0 - 5 = -h - r. Is 74/h + (-4)/f a multiple of 11?
False
Let i(q) = q**2 - 4*q + 2. Let r be i(3). Let s be (r - 0)/((-5)/65). Let c = s + -8. Is 3 a factor of c?
False
Suppose 0 = m + 4*m. Does 11 divide m + 1 - -2*7?
False
Let r(a) be the third derivative of a**4/8 - 2*a**3/3 + 5*a**2. Let m = 6 - -2. Does 10 divide r(m)?
True
Let t(i) = 2*i**2 - i - 4. Is t(-8) a multiple of 44?
True
Suppose 66*f = 62*f + 56. Is 3 a factor of f?
False
Let o = -13 + 51. Is o a multiple of 8?
False
Suppose -3*x = -2*x - 10. Suppose 4*h - 14 = i, -5*i - h + x = -4. Does 10 divide 50/(-3)*(-3)/i?
False
Suppose 2*o = 3*o - 84. Is o a multiple of 6?
True
Let m be -1 - 0 - 16/(-4). Let o = 1 + m. Is o a multiple of 4?
True
Let c be 456/15*(-1 - -6). Let u = c - 222. Let z = u - -117. Does 14 divide z?
False
Let m be 3 - (1/(-1) - -1). Let y(c) = m + c - 4 + 9*c. Is y(1) a multiple of 8?
False
Let l(a) = -a**3 - 5*a**2 - a + 7. Let h(x) = 10*x**2 + x - 1. Let p be h(1). Let k be (-4)/4*p/2. Is 6 a factor of l(k)?
True
Let s be (-1 - 1)*(4 - 3). Let f be 2*-7*(-1)/s. Let w = f - -18. Is w a multiple of 11?
True
Suppose 0*m - 4*o = 5*m - 480, -288 = -3*m - 5*o. Is m a multiple of 24?
True
Suppose -411 = -6*v + 837. Is v a multiple of 13?
True
Suppose 0 = -0*m + 4*m - 28. Does 3 divide m?
False
Suppose 0 = -2*p - 2*p - 36. Let h = 4 + p. Let t = h + 10. Is t a multiple of 5?
True
Suppose 3*x - 35 = 64. Suppose 43 = 5*v + 3*f, 4*v + 0*f + f = x. Is v a multiple of 8?
True
Let n be (-1)/(2*(-1)/38). Suppose -2*r + 27 = -n. Is 13 a factor of r?
False
Suppose -2 + 28 = 4*k + 3*d, 3*k + 4*d - 23 = 0. Suppose k*p + 3*t - 105 = 0, -p + 4*t + 15 = -29. Does 6 divide p?
True
Let w = -89 + 135. Suppose -3*t - 2*x = -31 - 21, w = 3*t - x. Let p = t - 10. Is 6 a factor of p?
True
Let r(b) = 9*b**3 - b**2 - 4*b + 1. Let h(k) = -35*k**3 + 4*k**2 + 17*k - 5. Let y(z) = -2*h(z) - 9*r(z). Suppose 0*o = -3*o - 3. Does 11 divide y(o)?
True
Suppose 0*q + 10 = 2*q. Suppose 0 = 2*i + 3*b - 0*b + 46, 0 = 3*i - 4*b + 52. Is 354/8 + q/i a multiple of 16?
False
Let p = -148 + 226. Let w = p + -37. Let d = w - 18. Is 16 a factor of d?
False
Let p(m) be the second derivative of -m**5/20 + 7*m**4/12 + 5*m**3/3 + 5*m**2 - m. Does 13 divide p(8)?
True
Let b(n) be the third derivative of n**6/120 - n**5/12 - n**4/6 - 7*n**3/6 - 2*n**2. Let f be b(6). Suppose -f*p + 206 = 56. Is 10 a factor of p?
True
Let s(i) = i + 25. Is s(-7) even?
True
Let v(h) = h**2 - 22*h - 3. Is 10 a factor of v(23)?
True
Let t(g) = -2*g - 13. Let v be t(-9). Suppose 5*x = v*n - 80, 5*x - 120 = -6*n + n. Is 10 a factor of n?
True
Let g be 4/8 - 14/(-4). Let f = g - -6. Is f a multiple of 10?
True
Let z be (-7 - (-4)/4)/(-2). Does 11 divide z/(-2) + (-198)/(-4)?
False
Let u(t) = -13*t + 9. Is u(-11) a multiple of 44?
False
Suppose y + 6 = -8. Let o = y + 25. Is 8 a factor of o?
False
Let w(a) = a**3 - 7*a**2 - a + 1. Let t(q) = q**2. Let z(b) = 2*t(b) + w(b). Let p be z(6). Is 3/(-6) + p/2 a multiple of 8?
False
Let j(d) = -d**2 + 5*d - 4. Let a be j(3). Suppose -n - 36 = -a*n. Does 36 divide n?
True
Let q(y) = -4*y + 8. Let p be q(-10). Suppose 5*t = -3*j - p + 144, -2*j = -3*t + 69. Is 7 a factor of t?
True
Let z(m) = m - 9. Let l be z(9). Does 4 divide (1 - l) + 10/2?
False
Let h(a) = -a**3 + 3*a**2 + a - 2. Let q be h(4). Is 4/(q/5 - -3) a multiple of 10?
True
Let w(n) = 8*n - 3 - 9*n - 7*n - n**2. Let x be ((-1)/(-2))/(1/(-10)). Does 12 divide w(x)?
True
Let v be 6/5*(-7 + 142). Suppose -4*a = 2*j - v, 5*a - 119 = -4*j + 214. Does 29 divide j?
True
Let p(q) = q**2 + 7*q - 11. Let m be p(-9). Let d = m + -5. Is (d + -8)*(-4)/3 a multiple of 8?
True
Suppose 6*d = 9*d - 483. Is d a multiple of 13?
False
Suppose -p - 5*i = -51, -5*p + 365 = -4*i + 7*i. Is 19 a factor of p?
True
Let h(k) = -k**3 + 5*k**2 - 5*k + 6. Let a be h(4). Suppose -a*c + 18 + 36 = 0. Let w = c - 7. Is w a multiple of 10?
True
Suppose -5*i = -g - 56, i = -g + 3 + 13. Suppose -2*y + 5*y = -i. Is 5 a factor of (-6 - y) + 20 + 1?
False
Suppose -l + 100 = 3*u + 14, 5*u - 125 = 2*l. Does 9 divide u?
True
Let p(x) = -3*x. Is p(-10) a multiple of 15?
True
Suppose -4*f = y - 5*y - 24, 24 = -4*y - 5*f. Let d = 32 + y. Does 14 divide d?
False
Let y(o) = -2*o**2 + 11*o - 2. Let q be y(8). Let j = -7 - q. Does 9 divide j?
False
Let b be 2/(-2 - 8/(-3)). Suppose -b*a - 7 = -19. Is a even?
True
Let o = -7 + 5. Let p = o + 5. Suppose b - 16 = -4*h, 3*h = 3*b - p - 15. Does 8 divide b?
True
Suppose 3*s + 4 - 19 = 3*o, s - 3*o - 9 = 0. Is 3 a factor of s?
True
Let f = -19 + 10. Let x = 11 - f. Is x a multiple of 20?
True
Suppose -5*y = -4*y - 20. Suppose -3*h + y = -10. Does 8 divide h?
False
Let d = 127 - -102. Does 31 divide d?
False
Let k = 19 + -10. Suppose -k*x - 30 = -4*x. Let b(a) = -2*a + 3. Is 9 a factor of b(x)?
False
Suppose 11*f - 7*f - 144 = 0. Does 12 divide f?
True
Let v = -15 - -29. Is 11 a factor of v?
False
Let f(t) = -t**2 - t. Let j be f(0). Suppose j*w + 4*w = 12. Suppose -w*y - 58 = -2*r, -y - 3*y - 29 = -r. Is r a multiple of 11?
False
Let z = -3 + 6. Suppose 0 = -3*q - 5*u + 77, -z*q + 2*q + 26 = 2*u. Is q a multiple of 9?
False
Let b = 30 + -8. Suppose -248 = 5*d + b. Is 7 a factor of d/(-5) - (-4)/20?
False
Let i = -27 - -69. Does 23 divide i?
False
Suppose i + j - 12 - 8 = 0, 35 = 2*i + j. Suppose 0 = 5*p - 0 - i. Suppose -p*m + 37 + 2 = -c, c + 11 