3*d + 868 = -9*d. Does 48 divide d?
False
Let z be 58/8 - 3/12. Let q(m) = -3*m - 4. Let l(k) = 3*k + 5. Let y(p) = -3*l(p) - 4*q(p). Does 9 divide y(z)?
False
Let t(x) = 2*x - 3. Let k be t(9). Let v = k + 12. Is v a multiple of 10?
False
Let n = 7 - 19. Let g(k) = -k**2 - 14*k - 2. Is 11 a factor of g(n)?
True
Let c = 38 - 26. Does 10 divide c?
False
Is 5 a factor of 2*(2 + (-152)/(16/(-4)))?
True
Suppose y + 13 = 73. Is 12 a factor of y?
True
Let f = -51 + 71. Suppose -2*b = h - 12, 7*h - f = 2*h. Is 2 a factor of b?
True
Does 13 divide (-2*1)/((-10)/520)?
True
Suppose 0*s + 2*z = 2*s, 0 = s - 4*z - 15. Let h = 4 - s. Is 4 a factor of h?
False
Suppose 29 = -6*z + 827. Does 11 divide z?
False
Let a(t) = t**2 + 2*t - 2. Let u be a(-3). Let c(q) = 25*q - 1. Is c(u) a multiple of 18?
False
Let b be 2*(0 + 3 - 2). Let l(t) = 20*t**2 + 2*t - 2. Let s be l(b). Suppose -5*o + s = -28. Is 22 a factor of o?
True
Let x(c) = c**3 - 4*c**2 - 3*c - 7. Let f be x(5). Is 6 a factor of 4/(-12) + 49/f?
False
Let v = -3 - -5. Suppose -v*a - 4*h + 64 = 0, -a + 4*h - 3*h = -32. Does 14 divide a?
False
Let u be 2/5 + (-39)/(-15). Let z be (-1)/(-2) - (-10)/4. Suppose z*x - 105 = -u. Is 14 a factor of x?
False
Let v be 5/1 - (3 + -2). Suppose p - 5*t = -4*p + 90, -5*p = v*t - 135. Is p a multiple of 12?
False
Let a(r) = -5*r**3 - 2*r**2 - 3*r - 2. Let m be a(-1). Let i = 21 - 3. Suppose 4*t + 2 = -m*l + 58, 0 = -3*t + 5*l + i. Is 11 a factor of t?
True
Is 107/7 + 4/(-14) a multiple of 6?
False
Suppose -5 = 5*h - 3*j, 4*h + j - 19 + 6 = 0. Let k(v) = 4*v**2 + 2*v - 2. Does 7 divide k(h)?
False
Suppose -4*g + g + 123 = 0. Is 12 a factor of g?
False
Is 1 - (-21 + (-5)/1) a multiple of 9?
True
Let a = 16 + -12. Suppose 0 = -a*g + 69 + 87. Is g a multiple of 13?
True
Let c(w) = -w**3 + 9*w**2 + w - 2. Let p be c(8). Suppose -15 = 5*a - p. Is a a multiple of 3?
False
Let p = -8 + 33. Does 6 divide p?
False
Let f(g) = -9 + 9 + 2*g**2 - g + 4. Let t be (-1 + 3)/(2/(-4)). Does 12 divide f(t)?
False
Let s(t) = t**3 + 8*t**2 + 2*t - 5. Let v = 4 - 1. Suppose -2*a - 32 = 4*b, -b + 0*b + v*a - 1 = 0. Does 15 divide s(b)?
True
Let q(g) be the third derivative of -g**7/840 - g**6/40 + g**5/30 - g**4/2 + g**3/6 - 3*g**2. Let i(a) be the first derivative of q(a). Does 16 divide i(-10)?
True
Let k be ((-40)/(-12))/((-6)/9). Let n = k + 11. Does 6 divide n?
True
Let v(p) = p**3 - 9*p**2 - 8*p - 6. Let l be v(10). Is 13 a factor of 951/21 + (-4)/l?
False
Let c(u) = u**2 - 2*u - 1. Let s be 1*4*(-7 - -8). Does 3 divide c(s)?
False
Suppose 0 = 2*k - x - 10, 2*k - 5*k = 3*x + 3. Suppose -2*o + 5*y + 225 = k*o, o - 2*y = 47. Let a = -30 + o. Is 13 a factor of a?
True
Suppose -k = -4*k + 90. Is 10 a factor of k?
True
Does 9 divide (-3 + 4)*(48 + (2 - 5))?
True
Let n(b) = -b**3 + 8*b**2 - 4*b - 7. Does 7 divide n(7)?
True
Suppose 4*x = x + 6. Let o be (-30)/(x/(4 + -2)). Let s = -6 - o. Is 12 a factor of s?
True
Let f be (-4)/2 - (-36)/3. Let m = 21 + 0. Let a = m - f. Is a a multiple of 11?
True
Let w = 6 + -2. Suppose -2*l + w*l - 78 = 0. Suppose 12 = -3*s + l. Does 7 divide s?
False
Suppose -4*j = -2*j - h - 35, j - h = 15. Is 24 a factor of (j/(-25))/(1/(-60))?
True
Let i(q) = -q**2 + 9*q - 8. Let g be i(5). Let c = 24 - g. Is c a multiple of 6?
True
Let t(f) = -f**2 + 17*f + 10. Let g be t(13). Is 14 a factor of g/4 - 1/(-2)?
False
Let c(v) = 2*v**2 + 9*v + 9. Is c(-9) a multiple of 24?
False
Let q(u) be the first derivative of u**2/2 + 7*u + 1. Let m be q(-8). Let s = 3 - m. Is s a multiple of 3?
False
Let n(d) = -11*d**3 - 19*d**2 - 23*d + 21. Let z(a) = -7*a**3 - 13*a**2 - 15*a + 14. Let h(k) = 5*n(k) - 8*z(k). Is h(-8) a multiple of 5?
False
Let b(o) be the third derivative of o**5/10 - o**3/3 - o**2. Suppose 0 = 2*c + p, 2 = -2*p + 10. Is b(c) a multiple of 11?
True
Suppose 5*g + 12 = -8, 2*k + 4*g + 12 = 0. Let j be (-2)/k + (-17)/(-1). Suppose -3*z = -4*z + j. Is 16 a factor of z?
True
Suppose 5*y + 0*y = 385. Is 10 a factor of y?
False
Let w(g) = g**2 - g - 1. Let s be w(-2). Suppose 0 = 5*a + 2*c - 317, -5*a + s*c + 229 = -81. Does 21 divide a?
True
Let o(d) = -d. Let m be o(-4). Suppose 76 = m*i - 244. Suppose -v = v - i. Is 20 a factor of v?
True
Suppose -4*x + 114 = 2*a, x - 2*a + 2 = 18. Does 13 divide x?
True
Let s = 8 - 9. Let f(m) = -9*m - 1. Does 4 divide f(s)?
True
Let u = 10 + -6. Suppose 4*l = u*c - 20, 6*l - 2*l - 34 = -2*c. Is c a multiple of 8?
False
Suppose 4*r = -5*l + 6, -2*l - r + 0*r = -3. Suppose 4*b - 89 = -c, -6*b + l*b + 4*c = -64. Does 8 divide b?
False
Let v(w) be the third derivative of 11*w**4/24 - 14*w**2. Let q = -4 - -10. Is 22 a factor of v(q)?
True
Suppose 428 = 3*l + 2*l - 4*a, 4*l + a = 355. Is l a multiple of 22?
True
Let y = 2 + -2. Let z be 2 + y - (-31 - -2). Let j = -17 + z. Does 13 divide j?
False
Suppose -b + 102 = 18. Is 11 a factor of b?
False
Suppose -4*a + 3*h + 90 = 0, -2*a + 4*h + h + 38 = 0. Let x = -125 + 183. Suppose -2*q - x = -3*j, a = -4*j - 3*q + 90. Does 6 divide j?
True
Let t(w) = 305*w**2 - 5*w. Is t(-1) a multiple of 10?
True
Let q(i) be the first derivative of -i**7/840 - i**6/90 - i**5/60 - 5*i**4/24 + i**3/3 - 2. Let x(y) be the third derivative of q(y). Is 3 a factor of x(-4)?
True
Let o = 201 + -111. Is 15 a factor of o?
True
Let v(p) be the second derivative of -p**3/2 - p**2 - 3*p. Is v(-10) a multiple of 7?
True
Let c(i) = 3*i**2 - 5*i + 14. Is 7 a factor of c(4)?
True
Let d(c) = c**2 + 20*c + 41. Is d(-22) a multiple of 19?
False
Let x(r) = -28*r**2 + 2*r + 1. Let s be x(2). Let k = s - -70. Is (-4)/10 - k/5 a multiple of 3?
False
Suppose -p + 2*v + 25 = -32, -4*p + 228 = 4*v. Is 17 a factor of p?
False
Is 30 a factor of 108/(3 - 1)*5?
True
Let n(l) = -4*l - 6. Let u be -1 - -3 - 2*-1. Let f(y) = y**2 - 7*y + 6. Let s be f(u). Is n(s) a multiple of 18?
True
Let g(l) = -9*l**3 - l**2 + l - 3. Let v be g(3). Let a = -111 - v. Suppose -3*q + a = -0*q. Does 13 divide q?
False
Let m be 1*-1*(8 + -9). Is 17 a factor of -45*1*(-2 + m)?
False
Let j = -2 - -119. Let p = -76 + j. Let i = p + -29. Does 12 divide i?
True
Is 15 a factor of 2/(-4)*0 - (1 - 72)?
False
Suppose -d + 3*o - 160 = -5*d, -2*d + 5*o = -106. Let u = 82 - d. Is 3*(-2 + u/9) a multiple of 3?
False
Let q = 3 - -1. Suppose 2 = q*j - 2*t, -18 = -0*j - 3*j - 4*t. Suppose -5*y = 3*k - 1, 0 = -y - j*k - 1 - 3. Does 2 divide y?
True
Let o(u) = -u**2 - 6*u + 4. Let k be o(-6). Suppose -k*d + 2 = v - 15, 3*v - 23 = -5*d. Is 2 a factor of d?
True
Let x = -5 - -5. Suppose x = j + 4*j + 4*v - 105, -3*j + 65 = 2*v. Does 13 divide j?
False
Suppose y + 100 = 2*w + 5*y, -5*w + 5*y + 190 = 0. Is 42 a factor of w?
True
Suppose 3*g - 99 = 45. Suppose t = 5*t - g. Is 12 a factor of t?
True
Let s be (-1)/(-3)*(-2 - -14). Suppose -s*l + l = -5*t + 10, 0 = 4*l + t - 2. Suppose 2*c - 94 = -l*c. Is c a multiple of 16?
False
Suppose 0*r + 2*r = 26. Let u = r - 9. Suppose -4*y - u = -24. Is y a multiple of 5?
True
Let j be -1 - (1 + -4 - 2). Suppose -j*d = -5*d + 27. Is 9 a factor of d?
True
Let z = -126 + 74. Let b = -28 - z. Is 8 a factor of b?
True
Let z(g) = -g**2 + 8*g + 1. Let f be z(6). Suppose 38 - f = d. Does 16 divide d?
False
Suppose 0*a - 3*a + 15 = 0. Let r be 17/(-1)*(a + -2). Let p = 79 + r. Does 14 divide p?
True
Suppose -2*j + 3*j = 5*w - 85, 5*j + 425 = -3*w. Let k = -45 - j. Suppose k = u + u. Is 10 a factor of u?
True
Let y be (-5)/(-2)*-11*2. Let i = -83 - -172. Let v = y + i. Is 17 a factor of v?
True
Let j(u) = -u**3 - 12*u**2 - 9. Let t be j(-12). Suppose -11 = -a - 5*y, -4*y - 6 + 15 = a. Is 7 a factor of 63/(-36)*(a + t)?
True
Let z(s) = 43*s + 2. Let y be z(1). Let v(h) = -24*h - 1. Let u be v(-1). Let f = y - u. Is f a multiple of 11?
True
Suppose 4*v - 4 = 32. Let q = -10 + v. Is -1*(-2 + q + 0) a multiple of 2?
False
Let f(m) = -2*m + 5*m**2 - m**2 - 4 + 2*m. Does 32 divide f(3)?
True
Does 37 divide -3 + -10*1*-4?
True
Let y = 118 + -82. Suppose 3*l + y = 6*l. Does 12 divide l?
True
Let h = -133 + 139. Is h a multiple of 6?
True
Suppose m + m - 6 = 0. Suppose 3*u = c - 22, 2*u - 6 = -c - m*u. Is 16 a factor of c?
True
Let m be (130/8)/((-6)/(-24)). Suppose -5*h + m = -0*h. Is 5 a factor of h?
False
Suppose 0*o = 3*o. Let z be (0 - o) + 2 + 5.