 -y**3 + 5*y**2 + 6*y. Let r be x(6). Suppose -4*i - 32 = -5*i + 4*n, -i = 2*n - 26. Is (-1 + r)/((-4)/i) a multiple of 7?
True
Let i be 3/(6/4)*-1. Let r be (-7 + -5)*i/(-4). Does 2 divide 2 + 3/(-6)*r?
False
Let b(v) = -v**2 - 8*v + 5. Let s be b(-8). Suppose 12 = -s*f + 2. Let x(j) = -j**3 - 2*j**2 + 2. Is x(f) a multiple of 2?
True
Suppose 0 = -8*p + 840 + 200. Is p a multiple of 19?
False
Let o(s) = -s**3 + 12*s**2 - 9*s - 12. Let w(j) = 2*j + 5. Let x be w(3). Is 5 a factor of o(x)?
True
Let c be (-16)/6 - (-1)/(-3). Let d be 1*(3/c)/1. Is 20 a factor of 27 + 2 + 2/d?
False
Let j be 2/3 + (-38)/(-6). Suppose j*h + 152 = 11*h. Is h a multiple of 19?
True
Suppose 2*d + 10 = 3*d. Is d even?
True
Suppose 8*j = 2*j + 18. Is 7 a factor of j/(-9) - 44/(-6)?
True
Is 8/(-10) - 698/(-10) a multiple of 17?
False
Suppose 5*a + 15 = 5*u + 45, -u - 2 = a. Does 15 divide a/(-7) + 163/7?
False
Let v = 117 - 68. Is 28 a factor of v?
False
Suppose 4*g + 0*g - 40 = 0. Suppose 0 = -0*c - 4*c + 2*k - 28, 3*c + 4*k + g = 0. Let w(u) = -2*u - 8. Does 4 divide w(c)?
True
Let v(z) be the first derivative of 2*z**3/3 - z + 4. Is 21 a factor of v(-4)?
False
Let q(r) be the second derivative of 17*r**5/10 + r**4/6 - r**3/3 + r**2/2 + 5*r. Does 13 divide q(1)?
False
Let j(o) = 33*o**2 + 18*o. Let f(i) = -i**2 - i. Let c(x) = 18*f(x) + j(x). Is c(-1) a multiple of 8?
False
Let j(x) = x**2 - 4*x + 2. Let u be j(4). Suppose -20 = -u*a - 0*a. Is 6 a factor of a?
False
Suppose 3*q - 65 = -17. Is 16 a factor of q?
True
Let w = -69 + 101. Is w a multiple of 32?
True
Let q(a) = -a**2 - 7*a - 8. Let z be q(-6). Let n = 2 + z. Let f = 7 + n. Is 7 a factor of f?
True
Suppose -3*o = -0*o. Suppose o = f - 39 + 9. Is 10 a factor of f?
True
Let r = -50 + 61. Does 10 divide r?
False
Suppose -9*n + 2288 = 7*n. Does 13 divide n?
True
Let f(g) = g - 1. Does 4 divide f(20)?
False
Let k(z) = -5*z**3 - z**2 - z + 1. Let m be k(1). Let n = -6 - m. Suppose g + g - 8 = n. Is g even?
True
Suppose 0 = -2*r + 6*r - 20, -5*r = m - 125. Is 4 a factor of m?
True
Suppose -1 = 3*a - 4. Let h(o) = -7*o - 1. Let q be h(a). Is 2 a factor of q/6*(-9)/6?
True
Let x be (-1092)/(-54) + 2/(-9). Let w = x + 4. Is w a multiple of 12?
True
Let v(z) = z**2 - 13*z - 32. Does 8 divide v(17)?
False
Let w(s) = 49*s**2 + 2*s + 1. Is w(-1) a multiple of 16?
True
Suppose 2*y - 3 = -1. Let g(p) = 33*p**2 + 1. Is g(y) a multiple of 20?
False
Let y = 6 + -3. Let i be y/(-9) - (-56)/(-3). Let j = 27 + i. Does 3 divide j?
False
Let b(u) = -u**3 + 3*u**2 + u + 1. Let p be b(3). Is 20 a factor of 145/p - (-2)/(-8)?
False
Let m = 170 - 38. Is m a multiple of 21?
False
Suppose 15 = 5*h, -6*h = -3*o - 3*h - 9. Suppose -2*z + 5 + 19 = o. Is z a multiple of 6?
True
Let h(a) = 18*a - 1. Let p(v) = -v**2 - 2*v + 1. Let y be p(-2). Does 8 divide h(y)?
False
Let r = -13 + 62. Let n be (5/2)/(-5)*-6. Suppose n*w + 2*b = 41, 5*b + r = 5*w - 36. Is 10 a factor of w?
False
Let t(a) = -a**3 + 6*a**2 - 5*a + 3. Let q be t(4). Let r(f) = 11*f + q*f - 5*f - 1. Does 10 divide r(1)?
True
Suppose -3*o = -3*k - 3, 0*o + 5*o = 15. Suppose 0 = 2*g + k*g - 20. Suppose -41 - 44 = -g*h. Is 15 a factor of h?
False
Let z = -33 - -127. Let k = -67 + z. Does 14 divide k?
False
Let m = -180 - -285. Does 15 divide m?
True
Let k = 8 + -6. Let i be k/(-6)*-3*4. Suppose -i*q - 62 = -6*q. Is 10 a factor of q?
False
Suppose p = -4*u + 26, -46 = -4*u + 2*p - 14. Does 2 divide u?
False
Let j(h) = 3*h**3 + 5*h**2 - 3*h - 4. Is 14 a factor of j(3)?
False
Let x(y) = y**3 - 3*y**2 - 7*y - 1. Does 6 divide x(5)?
False
Suppose 2*g = 3*n - 162, -n = -5*n + 5*g + 209. Is n a multiple of 11?
False
Let v(i) = 2*i**2 + 6*i. Let a be v(-4). Does 9 divide a/(-10)*(-75)/6?
False
Let a = -49 + 52. Let t(f) be the second derivative of f**3 - f**2/2 + f. Is 17 a factor of t(a)?
True
Suppose -x - x + 26 = 0. Suppose o = c - o + x, 3*o - 31 = 2*c. Is c/(-3)*(-24)/(-8) a multiple of 23?
True
Let x(i) be the first derivative of i**3/3 - 9*i**2/2 - 5*i + 3. Is 23 a factor of x(-6)?
False
Is 3 a factor of (11 + -10)*(-24)/(-2)?
True
Suppose 5*d = 22 + 3. Suppose -2*u - 1 = -d. Suppose -4*o = 4*p - 3*o - 80, 0 = u*p + 2*o - 46. Is 5 a factor of p?
False
Let n = -165 + 111. Suppose 4*b = -3*q + 22, 3*b - 14 = -5*q + 2*b. Is q + (-7)/(21/n) a multiple of 13?
False
Suppose 6*k + 21 + 51 = 0. Let i(c) = 2*c**3 - 7*c**2 + 6*c. Let v be i(4). Let q = v + k. Does 11 divide q?
False
Let h be 0/((-4)/2) - -3. Suppose 4*g = m + 7, g - 9 = -h*m + 3*g. Suppose -240 = -m*u + 15. Does 17 divide u?
True
Suppose -7 = -2*m - 3*w, 0 = 6*m - 3*m + 5*w - 13. Let f be (-18)/(1/(8/(-6))). Let d = f - m. Is d a multiple of 14?
True
Suppose 2*q - 12 = -3*g + 19, 4*q - 4*g = 112. Does 9 divide q?
False
Suppose -3*n - 4*r + 3*r + 13 = 0, 0 = r - 1. Suppose -m - 5*k = m - 47, -5*m + 126 = n*k. Does 10 divide m?
False
Let z be (-1 - -2)/1*2. Suppose -z*a = -6*a + 148. Suppose 4*j - a = -d + 3*j, 4*j = 3*d - 132. Is d a multiple of 20?
True
Suppose -4*m + 23 = o, -98 = -2*o + 2*m + 3*m. Is 9 a factor of o?
False
Suppose -z + 3 = 0, -5 = -2*g + 4*z + z. Suppose -5*l + g = -15. Suppose -5*v = l, 3*v - 69 = -5*c + 2*c. Is c a multiple of 9?
False
Let s = -3 - -6. Suppose i = -s, 6*x - x - 3*i = 104. Does 10 divide x?
False
Suppose -5*x + 22 + 53 = 0. Let l = x - 4. Is 3 a factor of l?
False
Suppose -19 = -3*k - 1. Suppose 0 = k*s - 66 - 78. Does 12 divide s?
True
Suppose 0 = 2*c - 97 + 367. Let x = 277 + c. Is x a multiple of 37?
False
Suppose -3*f + 3*v = -198, -3*f - f + 264 = 5*v. Is f a multiple of 21?
False
Is 26*(2 - -1 - -7) a multiple of 52?
True
Let l(x) = x**3 + 5*x**2 - x + 7. Suppose 0 = -2*s + 2*o - 7*o - 30, 0 = -3*o - 12. Does 12 divide l(s)?
True
Suppose 4*j - 2*w = -w + 54, 56 = 4*j - 2*w. Is 2 a factor of j?
False
Suppose 107 = 5*f - 4*a + 5*a, -4*f + 4*a + 76 = 0. Does 7 divide f?
True
Suppose 132 = 5*z - 2*z. Suppose 0 = -3*w + 5*w - z. Is 11 a factor of w?
True
Does 7 divide -1 - (1 + 0)*-22?
True
Suppose 17 = 3*n + 5. Does 8 divide (n/6)/((-3)/(-36))?
True
Suppose -30*v + 38*v - 392 = 0. Is v a multiple of 7?
True
Let h be 338/65 + (-2)/10. Suppose 3*z - 8*z + 103 = r, -5*r - h*z = -475. Is 31 a factor of r?
True
Suppose 2*j - 7 = -4*u + 27, 0 = 4*j - 2*u - 88. Let i = 13 - -11. Suppose j + i = n. Is n a multiple of 20?
False
Let g(b) = -3*b**3 - b**2 + 2*b - 3. Let c be g(3). Let l be 1 + (-1 - 0)*2. Is l/(-3) - c/9 a multiple of 10?
True
Suppose 0 = 3*d - 2*j + 6, 5*d = j + j - 6. Suppose i - 4*z - 40 = d, -4*z + 0*z - 8 = 0. Is i a multiple of 16?
True
Suppose 0 = -4*n - d + 17, 0*n + d = 2*n - 13. Let o = n - 16. Let q = o - -35. Is q a multiple of 12?
True
Let a(z) = 5*z**2 - 2*z + 3. Let r = 6 - 4. Suppose 2*n + 18 = -x - r*n, -4*x - n = -3. Is 19 a factor of a(x)?
True
Suppose 0 = o + o - 186. Is 29 a factor of o?
False
Let p(y) = 5*y + 1. Let z be p(-2). Is 6 a factor of ((-112)/(-12))/((-3)/z)?
False
Let m(b) = b**2 + 2. Let o be m(2). Suppose d - o*d - 5 = 0. Does 5 divide (0 + d)/(4/(-28))?
False
Suppose 5*r - 3*k - 20 = 0, -5*r + 4*r + k = -6. Is (0 - 1)/r*-6 even?
True
Is 21 a factor of (-13)/1*(-17 - 10/(-5))?
False
Let i = -25 - -42. Suppose -4*d + i = -143. Is d a multiple of 9?
False
Let x(j) = 5*j**3 - 14*j**2 - 5*j + 19. Let f(d) = 6*d**3 - 15*d**2 - 5*d + 20. Let g(m) = 4*f(m) - 5*x(m). Is g(10) a multiple of 12?
False
Let m = 32 + -7. Suppose 5*r - m = -0*r. Suppose -4*x + 34 + 8 = -3*q, -r*q = -5*x + 50. Is 12 a factor of x?
True
Let v be 271 + (-3 - (1 + -3)). Suppose -5*w + y + v = 4*y, -2*w = -3*y - 129. Does 19 divide w?
True
Let y(r) = -2*r**2 + 24*r**3 - 1 + 0*r**2 + 3*r + 33*r**3 - r. Is y(1) a multiple of 13?
False
Suppose -3*m - 3*d = -306, 9*d - 4*d = 3*m - 298. Is m a multiple of 15?
False
Let l = 16 - 26. Let j = l - -19. Let s = 14 - j. Does 2 divide s?
False
Let y = 68 + -48. Is y a multiple of 18?
False
Let p = 231 + -115. Does 29 divide p?
True
Let l be -6 + 2 + -3 + 1. Is (1 + 15)*(-12)/l a multiple of 16?
True
Let m(d) be the second derivative of d**7/2520 + d**6/240 + d**5/30 + d**4/3 + 3*d. Let n(y) be the third derivative of m(y). Is 14 a factor of n(-5)?
True
Let d(o) be the first derivative of -o**3/3 + 4*o**2 + 9*o + 11. Let b be 2/4 - (-30)/4. 