= 5*m - 5*f. Does 3 divide m?
True
Suppose -4*w = 5*r - 5, -4*r + 4 = -0*r. Suppose w = -g - 3*g + 48. Does 5 divide g?
False
Let w(z) be the third derivative of -z**6/120 - 2*z**5/15 - 3*z**4/8 - z**3/2 + 6*z**2. Let v be 79/(-11) + (-8)/(-44). Is w(v) a multiple of 4?
False
Suppose 4*m = -m. Suppose -3*h = -m*h + 45. Let w = h - -30. Is w a multiple of 6?
False
Let r be (1/(-2))/((-2)/(-72)). Let b = 86 - 118. Let l = r - b. Is l a multiple of 9?
False
Let p = -12 + 12. Let g(s) = -s**2 - s + 28. Is 14 a factor of g(p)?
True
Let c(u) = 6*u + 2. Is c(8) a multiple of 9?
False
Let w(z) = 2*z - 2. Let x be w(7). Suppose -j = -x - 25. Does 11 divide j?
False
Suppose 6 = 3*r - 0*r. Is r/(-9) - 1090/(-45) a multiple of 12?
True
Let u = 5 + -3. Suppose -3*r = -9 - 0. Suppose -u*o - 45 = -4*h - 123, -5*o + 143 = r*h. Is 17 a factor of o?
False
Let x(z) = 2*z - 6. Let i be x(4). Suppose 0 = -2*v - i*v + 220. Let n = v + -26. Is n a multiple of 14?
False
Let p = -8 - -74. Does 7 divide p?
False
Suppose -899 = -7*n + 319. Is 43 a factor of n?
False
Let u = 4 + 64. Suppose -z = z - u. Is z a multiple of 11?
False
Is (-9216)/(-45) - (-4)/(-5) a multiple of 55?
False
Let q(z) be the second derivative of z**3/6 + 7*z**2/2 + 2*z. Does 11 divide q(5)?
False
Let o(l) be the second derivative of l**5/20 - l**4/12 - l**2/2 + l. Let g be o(2). Suppose -84 = g*j - 7*j. Is j a multiple of 19?
False
Suppose 2*f - 126 = -5*s, -5*f - 36 = -s - 0*f. Does 11 divide s?
False
Let v(f) be the third derivative of f**5/15 - f**3/6 - 2*f**2. Does 7 divide v(2)?
False
Suppose -5*k + 5*i - 6*i = 14, 3*i = 5*k - 2. Let s be 156/(-3*1/k). Suppose g + 3*g = s. Does 12 divide g?
False
Let i(r) = 2*r - 23. Is i(13) a multiple of 2?
False
Let t be (75/2)/(2/4). Suppose -26 - 118 = 4*i. Let y = i + t. Does 14 divide y?
False
Suppose -4*k + 4 = -4*b, 4*k = 2*b + k + 5. Suppose -2*f - 3*i + 1 = 0, 8*f - 3*f - 31 = b*i. Suppose 38 + 82 = f*o. Is 12 a factor of o?
True
Does 28 divide 1/(-10) - (-14963)/130?
False
Let a(z) = 2*z**3 - 9*z**2 + 4*z - 5. Let m(y) = 3*y**3 - 17*y**2 + 7*y - 10. Let t(s) = 5*a(s) - 3*m(s). Is 9 a factor of t(-6)?
False
Let v(i) = -i**2 - 5*i - 4. Let u be v(-3). Is 15 a factor of 46*2/(u/1)?
False
Suppose -1 = v - 2*m, -v - 7 = -4*m - 2. Suppose -2*u = 4*s - 32, 0 = s + 4*u - 1 - 7. Suppose -77 = -v*y - s. Does 12 divide y?
False
Suppose -3*h + h - a = -2, -4*a - 4 = 2*h. Suppose p = 2*p + o - h, 0 = -3*p + 5*o + 6. Suppose z - p = 11. Is z a multiple of 8?
False
Let b = -11 + 61. Does 25 divide b?
True
Suppose -3*b = 5*o - 14, 0 = 2*b - 4*b - 4*o + 10. Suppose -i = -2 + b. Is 14 a factor of (34 - i) + -1 + 2?
False
Suppose -f + 0 = -4. Let n(a) be the first derivative of a**3/3 - a**2/2 - 4*a + 2. Is 8 a factor of n(f)?
True
Let s be (-1)/4*2*2. Let n = s - -5. Suppose n*h + 23 = -3*a + 113, 5*h + 115 = 5*a. Is a a multiple of 13?
True
Let i(q) = 3*q + 5. Let s be i(6). Let u be -1 - (2 + -2 - s). Let g = u - -9. Is 11 a factor of g?
False
Let k(q) be the first derivative of -5*q**2/2 - 11*q + 1. Let o(n) = -n - 1. Let l be o(9). Is k(l) a multiple of 23?
False
Let c(o) = o**3 + 10*o**2 + 10*o + 3. Is c(-8) a multiple of 17?
True
Does 39 divide -2*(-4)/(-20)*-195?
True
Let m(v) = -v**2 + 2*v + 8. Is 2 a factor of m(0)?
True
Suppose -5*d + d - 4*h = 0, 2*d = 2*h + 8. Is 13 a factor of ((-75)/d)/(18/(-24))?
False
Let b be ((-4)/2)/(1/(-1)). Let y = -1 - -10. Suppose -y + 1 = -b*n. Does 3 divide n?
False
Let a(y) be the third derivative of y**5/30 - 5*y**4/24 + y**3/6 + 2*y**2. Does 11 divide a(4)?
False
Let c(o) = -o**3 + 10*o**2 + 14*o + 1. Let u(j) = -11*j. Let q be u(-1). Is 11 a factor of c(q)?
False
Suppose 2*v = -v + 6. Does 22 divide 781/9 + v/9?
False
Let r be 4/10 - 504/10. Suppose -3*s - 204 - 9 = 0. Let p = r - s. Is 8 a factor of p?
False
Let p = 5 + -3. Let g be p + 43 + 2/1. Suppose -13 = 4*d - o - 56, 4*d = -3*o + g. Is 7 a factor of d?
False
Suppose -2*q + 210 = -2*n, 3*n - n = 0. Suppose q = 4*w - 15. Is 15 a factor of w?
True
Suppose -4*c = -9 - 15. Suppose c*o - 18 = 5*o. Does 6 divide o?
True
Let h = 114 - 42. Suppose 4*k - 176 + h = 0. Is k a multiple of 13?
True
Let t = -6 - -8. Suppose -5*z - 2*o + 38 = 0, -z = -t*o - 15 + 5. Is 4 a factor of z?
True
Let p be 1 + (-5)/(15/(-6)). Suppose -3*i = -2*j - 79, i = 2*i + p*j - 41. Suppose 4*z - 44 = -4*h + 40, 3*h = -z + i. Does 8 divide z?
False
Let q(g) = g**3 + 6*g**2 + 3*g + 4. Is q(-3) a multiple of 11?
True
Let z(n) = -10*n + 7. Let p be z(-8). Let c = p - 151. Let a = -30 - c. Does 17 divide a?
True
Does 15 divide 1*111 + (10 - 7)?
False
Let g(s) be the second derivative of s**5/20 + s**4/12 - s**3/2 - 3*s**2/2 - 6*s. Is 8 a factor of g(3)?
True
Let r = 3 + -9. Let v(s) = -s**3 - 6*s**2 - 2*s + 8. Let n be v(r). Suppose p + 0*p - n = 0. Does 10 divide p?
True
Let s(f) = 8*f**2 + 2*f - 3. Let i be s(2). Suppose 0 = -n - 2*n + i. Let q = -6 + n. Is 4 a factor of q?
False
Suppose -4*c + 27 = -3*s + 2, 0 = 5*c + 4*s - 8. Suppose 5*l = 5*o + 85, c*l - 3*o = -2*o + 74. Does 19 divide l?
True
Let m be (-12)/(-30) + (-8)/(-5). Suppose 63 = 2*u - 5*g, 0 = -0*u + m*u - g - 83. Does 21 divide u?
False
Let a = 10 - 7. Suppose -24 = -a*z - z. Is 4 a factor of z?
False
Let z be 4/6 - (-575)/(-3). Let p = z - -295. Let y = p + -74. Is y a multiple of 20?
False
Let q = -2 - -8. Is 3 a factor of q?
True
Let s(v) = 2*v**3 - 2*v**2 + 3*v - 2. Let u be s(2). Let d = 23 - u. Is d a multiple of 11?
True
Let o(v) be the first derivative of 3*v**2 + 2*v + 3. Let l(j) = j. Let h be l(6). Does 19 divide o(h)?
True
Suppose 4*b = -11 - 1. Is 2/b + (-14)/(-3) a multiple of 3?
False
Let n(y) be the third derivative of 0*y + 0 + 3/8*y**4 - 1/15*y**5 + 4/3*y**3 - 1/120*y**6 + y**2. Is 11 a factor of n(-6)?
False
Is 15 a factor of 15/((0 + 2)*(-15)/(-150))?
True
Let k = 6 - 2. Let v be (2 - 1 - k)*-1. Is 165/10*2/v a multiple of 11?
True
Let z(u) = -u**3 - 3*u**2 - 3*u. Let d(w) = w**2 + w - 2. Suppose -3*s = s. Let v be d(s). Is z(v) a multiple of 2?
True
Let q(n) = -n**3 - n**2 + n + 1. Let p(v) = -v**3 + 5*v**2 + 10*v. Let c(h) = -p(h) + 2*q(h). Is 8 a factor of c(-6)?
False
Let k = 15 + -2. Suppose -k = -c + 6. Is c a multiple of 14?
False
Let b = -180 + 276. Does 12 divide b?
True
Let s(v) = v**2 + 9*v + 9. Is 16 a factor of s(6)?
False
Let i = 30 + -49. Let r = 38 + i. Is 16 a factor of r?
False
Let o be -3*1/(-6)*132. Suppose -3*q + 0*t = 4*t - o, 2*q - 44 = -2*t. Is q a multiple of 11?
True
Suppose 2*l - 2*s = 316, 2*l = -5*s + 168 + 113. Let f = -67 + l. Suppose 5*v + f = 4*o, -v = -5*v - 8. Is o a multiple of 8?
False
Suppose 0*z = 3*z + 117. Let s = -23 - z. Is s a multiple of 14?
False
Suppose -4*p + 37 = -5*o + 6, 4*p + 4*o = 76. Suppose -z = -0*z - p. Is 7 a factor of z?
True
Let j = -12 - -12. Suppose 4*y + 5*g - 3*g - 28 = j, 2*g - 1 = -y. Is y a multiple of 8?
False
Is 12 a factor of 9*(-1)/(-2)*396/27?
False
Let h(t) = 66*t**2 + 2*t. Let k be h(-2). Let s be k/22 - (-16)/88. Let i = 20 - s. Is i a multiple of 6?
False
Let a(o) = -o**3 - 15*o**2 + 5*o - 1. Let j(t) = t**3 + 22*t**2 - 8*t + 2. Let b(i) = -7*a(i) - 5*j(i). Is b(3) a multiple of 7?
True
Let v = 69 - -41. Does 11 divide v?
True
Is 4 a factor of (7/((-7)/(-8)))/2?
True
Is 1 - ((-3)/(-4) + 631/(-4)) a multiple of 9?
False
Suppose b - 78 + 15 = 0. Let y = b - 33. Is (y/2 - 0) + -1 a multiple of 5?
False
Let w = 1 - -1. Let j(b) = -4*b**w + b**2 + 4*b + 4*b**2. Does 12 divide j(-6)?
True
Suppose 2*v = v. Suppose g + 2 = -v*g. Let b(l) = -2*l**3 + l - 2. Is b(g) a multiple of 12?
True
Let s(y) = 29*y**2 + 1. Does 10 divide s(1)?
True
Let l = 17 + 0. Let w = l + 1. Is w a multiple of 9?
True
Let d(i) = -8*i + 6. Let f be d(5). Let x = -4 - f. Is 15 a factor of x?
True
Let p(o) = 8*o**3 - 2*o**2 - 2. Let w be p(3). Suppose 5*y - 108 = 3*m, -6*m + 3*y = -m + w. Let k = 57 + m. Does 6 divide k?
False
Let s = 18 + -1. Let x = s + -26. Let m = 22 - x. Is m a multiple of 16?
False
Let u(m) = 6*m**3 + m**2 - 11*m + 3. Let p(w) = 5*w**3 + w**2 - 10*w + 3. Let r(s) = -7*p(s) + 6*u(s). Does 9 divide r(3)?
True
Suppose 2*y - 55 + 11 = 0. Is y a multiple of 6?
False
Suppose k + 4*k = 1260. Is k a multiple of 28?
True
Suppose -7*u + 910 = -2*u. Does 13 di