m = -16 - -4. Let z = -48 - -120. Let h = m + z. Is 18 a factor of h?
False
Let s be (-2)/(2*2/(-12)). Suppose -114 = 3*t - s. Let q = t - -86. Is q a multiple of 15?
False
Let r be 135 + (-6)/(6 + -3). Suppose -4*s - 44 = -6*s + 3*q, -5*s - 4*q = -r. Suppose -3*x + 5 = -s. Does 5 divide x?
True
Is 29 a factor of -12*((-812)/(-12))/(-7)?
True
Is 14 a factor of (32 - 33)/((-1)/89)?
False
Let v be ((-1)/(-3))/(2/12). Suppose 0 = -v*c + 1 + 3. Suppose d + 7 = c*d. Is d a multiple of 6?
False
Let p(d) = -d + 10. Suppose 5*b + 5 = 2*i, -4*b = 4*i - b + 3. Does 3 divide p(i)?
False
Let u = 5 - 3. Suppose -2*v + 52 = -u. Is 15 a factor of v?
False
Let i be 1/2*(4 + -8). Does 8 divide -12*i*6/9?
True
Let k(d) = -2*d + 14*d**3 + 5*d**2 + 3*d - 5 - 5*d**3 - 8*d**3. Suppose 10 = -3*b - p + 1, b = -2*p + 2. Is k(b) a multiple of 7?
True
Let h(a) = -16*a**3 + a**2 - 1. Let s be h(-1). Is 1740/s + (-1)/(-4) a multiple of 22?
False
Let l = -3 - -21. Does 6 divide l?
True
Suppose 0 = 5*a - 5*m + 10, 2*a = a + 3*m + 2. Let d = a - -8. Suppose -d*q - 17 = -3*s, s + 13 - 4 = 5*q. Is 11 a factor of s?
True
Let a(n) = 5*n**2 - n. Let b(w) = w**2 + 3*w + 1. Let k be b(-3). Let l be a(k). Suppose 0*z + l*q = -3*z + 103, -5*z - 3*q + 179 = 0. Is 15 a factor of z?
False
Let t(s) = -s**2 - 19*s - 16. Let f be t(-16). Suppose -h + 92 = f. Does 15 divide h?
True
Let o be 1*-2 - (-6 + -9). Suppose -8*v = -o*v + 130. Is 13 a factor of v?
True
Suppose 2*b + i + 8 = 3*b, 3*b + 5*i = 8. Suppose s + 4*d = b, -2*s + 4*d = 2*s - 64. Does 7 divide s?
True
Let n(s) be the third derivative of 0 - 1/2*s**3 + 0*s - 1/4*s**4 - s**2. Does 17 divide n(-4)?
False
Is 12 a factor of -16*(-1 + 0) - 4?
True
Let l be -8 + (-2)/(-1) + -2. Let w(p) = -p**3 + 6*p**2 + 2*p - 3. Let j be w(5). Let c = l + j. Is c a multiple of 12?
True
Suppose 0 = 4*g + 60 - 164. Let h = -2 + g. Is 12 a factor of h?
True
Let v(h) = 5*h**3 - 6*h**2 + 4*h + 2. Let d(b) = b**3 - b**2 + b + 1. Let l(s) = -3*d(s) + v(s). Let n be l(3). Suppose 2*z - n = z. Is 11 a factor of z?
False
Let i be 1/((-188)/(-186) + -1). Suppose 0 = -4*b - 5*z + 17 + 112, -3*b = 3*z - i. Is b a multiple of 10?
False
Suppose 2*m + 1 + 1 = 0. Let r be (-4)/m + 1 + -3. Suppose 3*g - 3*q = r*q + 33, 0 = 4*g + 5*q - 79. Is g a multiple of 10?
False
Suppose 0 - 22 = -c + 3*z, -2*z = -4*c + 48. Let r = c - 8. Does 2 divide r?
True
Suppose m = 3*l - 3*m - 29, -4*m - 1 = l. Let r = l + -3. Suppose 40 = r*y + y. Is y a multiple of 4?
True
Let b be (-351)/36 - (-2)/(-8). Let r = b + 29. Is r a multiple of 12?
False
Let w be 0*(4/(-2))/(-2). Let y(x) = -x + 3. Let o be y(w). Is 11 a factor of (-1)/(o/(-33))*1?
True
Suppose 342 + 250 = 4*x. Suppose -51 + x = 3*f + q, -53 = -2*f - 3*q. Does 14 divide f?
False
Let i(n) be the second derivative of n**5/20 - 5*n**4/12 + n**3/6 + 2*n**2 - n. Let b be i(5). Suppose b*o - 4*o = 130. Is o a multiple of 13?
True
Let l = -6 - -10. Suppose 48 = -2*n + l*n. Is 9 a factor of n?
False
Suppose 0 = -4*w + 20, -4*d + 2*w = -5*d + 12. Suppose d*k = 89 + 3. Suppose r + 103 = 3*s - 0*s, k = 2*s + 5*r. Is 21 a factor of s?
False
Let q(l) be the second derivative of 2*l**3 + l**2 + l. Let y(b) = b**2 - 9*b - 8. Let m be y(10). Is 13 a factor of q(m)?
True
Let o = -3 - -2. Let d = -3 + o. Let p = d + 14. Is p a multiple of 10?
True
Suppose 0 = l - 85 - 6. Suppose -3*c - 25 = -l. Is 11 a factor of c?
True
Let z(u) = 3*u**2 + 8*u + 10. Let r(w) = -w**2 - 1. Let j(y) = -2*r(y) - z(y). Let m be j(-6). Suppose m*k - 6*k = -16. Is 8 a factor of k?
True
Let a = 57 + -31. Is a a multiple of 26?
True
Let l(r) = -7*r + 14. Let o be l(4). Does 9 divide -3 - o*(-9)/(-6)?
True
Suppose -5*c = -g - 5, 2*g + 3*c - 95 = -2*g. Is 10 a factor of g?
True
Suppose -3*h = -5*y + 490, 0 = 4*y - 3*h - 434 + 45. Is y a multiple of 7?
False
Suppose 10*s - 5*s = 90. Is 4 a factor of s?
False
Suppose g + 3*g = -24. Let w be (3/g + 1)*0. Suppose w*u + 2*u - 8 = 0. Is 2 a factor of u?
True
Let d be (6 + -3 - 9)*3. Does 7 divide ((-28)/6)/(4/d)?
True
Let y(v) = v - 11. Let g be y(18). Let h = g - -39. Does 8 divide h?
False
Is 3 a factor of (-8)/6 + 104/6?
False
Suppose 0*r - r + 28 = 0. Let h = -13 + r. Is h a multiple of 5?
True
Suppose 0 = -f + c + 5 + 11, -56 = -2*f - 4*c. Is f a multiple of 10?
True
Let w(d) = d + 2. Let f be w(3). Suppose q + 3*q = 3*s + 96, 2*q - 48 = -f*s. Does 12 divide q?
True
Let l = -3 + 8. Suppose 3*v = 9, i + l*v = -3*i + 107. Suppose -4*p = 3*b + p - i, b - p - 21 = 0. Does 6 divide b?
False
Let d = 8 + -6. Let z(a) = -12*a**2 + 11*a - 3. Let l(r) = 6*r**2 - 5*r + 1. Let p(n) = 7*l(n) + 3*z(n). Does 7 divide p(d)?
False
Suppose 2 = w - 0*w. Let p = 3 + -1. Suppose -3*v - 4 - 39 = -w*l, 4*v = p*l - 48. Does 5 divide l?
False
Let z = 13 - 12. Suppose w + 20 = 6*w. Suppose q - w + z = 0. Is q a multiple of 3?
True
Let r = -6 + 12. Suppose -4*c = 4*o - 4 - 36, -2*o + r = 0. Suppose 26 = i - c. Does 11 divide i?
True
Suppose 0 = p + 3, 3*a - 22 = 5*p + 8. Suppose 3*u + 2*u + a*m = -15, 5*u + 27 = m. Let g(n) = -7*n - 7. Is 17 a factor of g(u)?
False
Suppose -2*n + 8 = 2*n + j, 19 = -n + 5*j. Let i be (-1)/(n/2 - 1). Suppose 5*p = 2*m - i, 3*p - 34 - 2 = -5*m. Is 4 a factor of m?
False
Suppose -4*c - 14 + 50 = 0. Let v(p) = -p + 9. Let n be v(c). Suppose n*j = j - 7. Is 2 a factor of j?
False
Let s = 4 + -1. Let k(l) = 3*l - 4. Let o be k(s). Suppose -5*b + o = -0, 3*b = -g + 41. Is 13 a factor of g?
False
Is (-8)/20 - 24/(-10) a multiple of 2?
True
Let d = -8 + 235. Let j = d + -155. Is 24 a factor of j?
True
Suppose -6 = -2*k - 0*k. Suppose -5*x + 15 = -5*u, 5*u + k = 4*x - 12. Suppose x = 5*q - 5*n - 40, -5*q - n + 19 - 3 = 0. Is 2 a factor of q?
True
Let y(n) = 2*n**2 + 5*n + 3. Let k be y(-3). Let v(m) be the first derivative of 7*m**2 - 5*m + 10. Is 20 a factor of v(k)?
False
Suppose -3*g - 3*s + 2 = -1, -5*s = g - 5. Suppose g*b - 36 = -3*b + 3*j, 2*j - 15 = -b. Is b a multiple of 13?
True
Let r be (33/6)/(1/(-2)). Let q = r + 45. Does 15 divide q?
False
Let s(b) = -b**2 + 2*b - 1. Let g = -3 + 4. Let m be s(g). Suppose m = 4*z - 13 - 19. Is z a multiple of 4?
True
Suppose -2*w - 2*a = 3*a + 95, 2*w + 92 = -4*a. Does 26 divide (-2090)/w - 1/4?
True
Suppose 0 = -2*p + 2*s + 8, -p + 16 = -3*p - 4*s. Suppose 4*x + 0*x = p. Suppose x = -w - 0 + 3. Is 2 a factor of w?
False
Let d = -1 - 0. Let v(m) = 83*m**2 + m + 1. Does 22 divide v(d)?
False
Let r be (-26)/(-3) - (-2)/(-3). Is 16 a factor of 455/20 + 2/r?
False
Let z(k) = -k**3 + 11*k**2 + 16*k - 13. Is 9 a factor of z(12)?
False
Let n(s) = 0*s**2 + 8*s + 2*s**2 - 1 - 10*s. Let a be n(2). Suppose a*h + 4*i = 25, -2*h - 1 = 5*i - 6. Is 13 a factor of h?
False
Let l(v) = 5*v**2 + 0*v**3 - v**3 - 1 + 2*v + 7*v. Is 15 a factor of l(6)?
False
Let d(f) = f**3 + f**2 - f - 2. Let o = -8 + 10. Is 7 a factor of d(o)?
False
Suppose 5*y - 9*y = 16. Is 19 a factor of (-3 - 0/y) + 60?
True
Let d(y) = -y**2 - 14*y - 10. Let w be d(-13). Suppose 0 = -w*x - 49 + 196. Does 5 divide (-3)/(-15) + x/5?
True
Let v(c) = -c**2 - c + 4. Let x be v(-3). Let j(q) = -2*q**3 + q**2. Is 10 a factor of j(x)?
True
Suppose 0 = 2*o - 5*i - 113, -3*i - 183 = -3*o - 0*i. Is 21 a factor of o?
False
Let b be (1/1)/(-4 + 5). Let v be ((b - 19) + -2)*-5. Suppose v = 3*u + u. Does 7 divide u?
False
Let y(x) = 13*x**2 + 8*x - 21. Let m(n) = 3*n**2 + 2*n - 5. Let z(u) = 9*m(u) - 2*y(u). Is z(5) a multiple of 16?
True
Is (-4)/14 + 564/14 a multiple of 20?
True
Let p = -1 + 5. Suppose 1 = -p*u + 81. Is 10 a factor of u?
True
Let j = 47 - 29. Suppose j*c - 15*c = 12. Does 4 divide c?
True
Let s = -59 + 134. Does 14 divide s?
False
Suppose -133 = -3*j + 65. Let q = j + -40. Is q a multiple of 13?
True
Let s(p) be the third derivative of p**5/20 + 5*p**4/24 - p**3/3 + 3*p**2. Is 24 a factor of s(-5)?
True
Let j(z) = -z**3 + 2*z**2 + 3*z. Let b be j(3). Suppose 2 + b = 4*w + 5*g, g = w - 5. Let c = 11 + w. Does 7 divide c?
True
Is -6*(38/(-6) - -3) a multiple of 10?
True
Suppose -2*v - w = 22, -5*v - 77 = 5*w - 22. Let t(q) = q**2 + 12*q + 15. Is t(v) a multiple of 3?
False
Let g(k) = k**3 + 8*k**2 + 3*k - 9. Does 15 divide g(-6)?
True
Suppose 4*d - d = 147. Let v be 2/(-4) + 318/4. Let a = v - d. Does 19 divide a?
False