. Suppose u = 4*d - 9 - 11. Does 2 divide d?
False
Let l be -2 + 0 + 2 + 5. Suppose -291 + 111 = -5*s. Suppose 2*g - l*p + 1 = s, -82 = -4*g - 2*p. Is 16 a factor of g?
False
Let o(y) = -5*y - 9. Does 27 divide o(-17)?
False
Suppose b = 5*j - 0 - 83, 2*b + 86 = 5*j. Does 4 divide j?
True
Let c(d) = d - 42*d**2 + 2 + 2 + 113*d**2 + 0*d. Let n be c(-3). Does 16 divide n/15 + 1/3?
False
Suppose -j + 3*s - s = -114, -4*j - 5*s + 417 = 0. Is j a multiple of 36?
True
Suppose f = 62 + 28. Does 15 divide f?
True
Let t(p) be the first derivative of -p**4/4 + 7*p**3/3 - 3*p**2 - 5*p - 1. Let f be t(6). Let c(d) = d + 11. Is c(f) a multiple of 4?
False
Let h(i) = 4*i - 8*i - 12*i + 4. Let k be h(-3). Suppose 2*d - 2*f - k = 0, 74 = -2*d + 5*d - f. Is d a multiple of 12?
True
Let r(m) = -m**3 + 6*m**2 - 5*m - 4. Is r(4) a multiple of 3?
False
Let q = -112 + 222. Is q a multiple of 13?
False
Let k(g) = g**3 + 4*g**2 - 4*g + 4. Suppose -3*i - 2 = 5*t, -14 = 5*i + 2*t + t. Let x be k(i). Suppose -3*q - 2*c = -40, -4*c = -0*c - x. Is 10 a factor of q?
True
Suppose -4*r + 42 = 2*a, 7*a = -3*r + 2*a + 21. Suppose r = 2*t - 6. Is t a multiple of 9?
True
Let v(b) = -5*b. Let d(g) = g + g - g + 0 - g**2 + 1. Let o be d(-1). Does 3 divide v(o)?
False
Is 12 a factor of 304/6 + (-4)/6?
False
Let r(l) = -l - 1. Let h(z) = -2*z - 8. Let n(g) = h(g) - 5*r(g). Let j be n(2). Suppose -3*i - 2*f = -66, 37 = 2*i + 2*f - j*f. Does 7 divide i?
False
Let c be (-33)/(-3) - 1/(-1). Is 20 a factor of c/78 - 2685/(-39)?
False
Suppose -5*g - 6*s = -7*s - 1652, 984 = 3*g + 3*s. Is 55 a factor of g?
True
Let w be (4/(-5))/((-4)/230). Suppose 5*g - 160 = 200. Let j = g - w. Does 13 divide j?
True
Let r(x) = -x**3 - 8*x**2 - 2*x - 8. Let t be r(-8). Let g = 15 - t. Is 7 a factor of 51/g - 8/28?
True
Let k = 43 + -71. Let x = 40 + k. Is 5 a factor of x?
False
Suppose -x = -4*u + 67, 0*u + x = -4*u + 69. Let p = u + 7. Does 12 divide p?
True
Let x(z) = -3*z + 3. Let h = 26 - 37. Does 15 divide x(h)?
False
Suppose 0 = -5*m + 52 - 2. Suppose -v = -1 - m. Suppose n - 71 = -v. Is 17 a factor of n?
False
Let l = -209 + 121. Let b be 9/6*l/(-6). Suppose v + 2*h = b, -5*h + 2*h = -3*v + 66. Is 11 a factor of v?
True
Let y(f) = 19*f - 2. Is 9 a factor of y(2)?
True
Let m(n) = 5*n**2 + n - 1. Let s be m(1). Suppose 0 = -s*j + 269 - 79. Is 19 a factor of j?
True
Let d = -12 - -85. Suppose s - d = -19. Is 22 a factor of s?
False
Suppose -2*f + q = 22 - 10, 4*q - 16 = 0. Let c(i) = -i**3 - 4*i**2 - 6*i - 2. Does 15 divide c(f)?
False
Suppose -5*m + 5*q = -740, 5*q = -m + 166 - 42. Does 16 divide m?
True
Let y = -20 + 12. Let v = -21 - -15. Is 2 a factor of 9/v*y/6?
True
Suppose l = -4*c - 6, 4*l - 21 = 5*c - 3. Suppose 4*m - 42 = -l. Is 5 a factor of m?
True
Suppose -3*b = -15, 2*b - 133 + 15 = -3*h. Suppose 2*s - 8 = h. Is 22 a factor of s?
True
Is 20 a factor of 5/(-20) + (-14)/(-8)*35?
False
Let n(x) = x**2 + x. Let c(v) = 10*v**2 + 6*v - 2. Let i(q) = c(q) - 5*n(q). Let b = -6 + 4. Is 16 a factor of i(b)?
True
Let c(w) = 6*w + 45. Is 3 a factor of c(-7)?
True
Suppose 153 - 37 = 4*i. Does 11 divide i?
False
Let t(q) be the third derivative of q**6/120 - 7*q**5/60 + q**4/3 - q**3/6 + 2*q**2. Is 11 a factor of t(6)?
True
Suppose -3*s - 9*s = -468. Is s a multiple of 9?
False
Suppose -31*c - 87 = -34*c. Does 4 divide c?
False
Let d be ((-10)/(-6) - 2)*3. Let z be 13/d - (-4 + 5). Let c = 21 + z. Does 7 divide c?
True
Let p = 16 + 18. Is p a multiple of 17?
True
Let y = 67 - 37. Is 11 a factor of y?
False
Let o(r) = -r**3 - 6*r**2 + r + 5. Let l be o(-6). Does 9 divide (0 - 3)*3*l?
True
Suppose -3*k + 2*k - 7 = 0. Let j be 520/k - 4/(-14). Let z = -42 - j. Is 16 a factor of z?
True
Let n = 4 - 3. Is -3*1*(-5 - n) a multiple of 18?
True
Let i(v) = 2*v**3 + 2*v**2 - 2*v + 1. Let c be i(1). Suppose c*j - j = 24. Is (-3)/(-12) + 657/j a multiple of 22?
False
Let h(f) = 7*f + 2 + 4*f**2 - 4*f**2 - 18*f - f**2. Is h(-8) a multiple of 13?
True
Suppose -2*g + g = -6. Does 12 divide g/(72/(-340))*-3?
False
Suppose 2*z - 298 = -2*f, -f - 4*z = 4*f - 746. Is 14 a factor of f?
False
Let c(m) = 2*m**3 + 31*m**2 + 13*m - 17. Is c(-15) a multiple of 13?
True
Suppose l - 38 = 2*s, -134 = -12*l + 7*l - 4*s. Is 15 a factor of l?
True
Let a(n) = -n + 9. Is a(0) a multiple of 9?
True
Let h be 1*(4 + -2) - 2. Suppose h = 3*u + 2*u. Is 4 a factor of (2 - u)*(-1 - -3)?
True
Let p(j) = -4*j - 9. Does 5 divide p(-9)?
False
Let h(c) = -3*c**2 - 1 - 4 + 9 - 3*c**2 + c**3 + 5*c. Let s be h(5). Suppose 0 = -0*g + s*g + 4, -n = -4*g - 58. Is 24 a factor of n?
False
Let c(u) = 21*u**3 + u**2 - 2*u + 2. Suppose -y = 3*z - 4*y - 12, 3*z = -3*y. Let d be c(z). Suppose 5*n + 0*n = d. Does 17 divide n?
True
Suppose -g + 14 + 8 = 0. Is g a multiple of 5?
False
Suppose 6*r - 16 = 2*r. Let i(a) = 6*a + 3. Does 5 divide i(r)?
False
Let k be (-3)/9 + 2/(-3). Let n(y) = -10*y + 1. Does 3 divide n(k)?
False
Suppose -10*t = -11*t + 23. Is 23 a factor of t?
True
Suppose 7*u - 4*u - 3 = 0. Does 12 divide (-213)/(-6) - u/(-2)?
True
Let p(b) = -b**3 + 8*b**2 - 14*b + 9. Is 3 a factor of p(5)?
False
Suppose 9 = 2*b + b. Suppose -d - b*g + 3 = 1, -2*d - g = -9. Suppose 0 = u + 2*r - 30, r = 6*r - d. Is u a multiple of 14?
True
Suppose -2*t = -2*n + 64, 0 = -5*n - 5*t + 2*t + 168. Does 11 divide n?
True
Suppose -2*s = 4*d + 2, -24 = -5*s + 2*s + 3*d. Suppose -s*q + 262 = 87. Does 12 divide q?
False
Let l = -10 + 25. Is l a multiple of 9?
False
Let u(g) = 2*g**2 + 10*g + 8. Let o be u(-7). Let d = o + 8. Let v = -10 + d. Is 17 a factor of v?
True
Suppose -24 = 5*c - 7*c. Is 6 a factor of c?
True
Suppose 1027 = 7*l - 23. Is l a multiple of 30?
True
Suppose -4*h - 2*d = -252, 0 = 2*h - 7*h + d + 329. Does 13 divide h?
True
Let p(a) = -2*a**3 - 2*a**2 + a + 2. Let i = 3 - -2. Let j = 3 - i. Is p(j) a multiple of 5?
False
Suppose -4*v = 23 - 3. Let l = v - -8. Is 3 a factor of l?
True
Let a(h) = -4*h - 9. Does 31 divide a(-11)?
False
Let k = 49 - -12. Does 26 divide k?
False
Let k(i) = -i**2 + 11*i - 8. Let v = -9 - -19. Let r be k(v). Suppose -r*s + 30 = -2*p + 4*p, -4*p = -5*s + 30. Is 5 a factor of s?
True
Let w(q) = 6*q**2 + 4*q - 3. Let p be w(2). Suppose 0 = 3*g - 4*l - 22, 2*l - 3*l = -3*g + 28. Let x = p - g. Is 19 a factor of x?
True
Let q be 4/18 + (-220)/18. Does 6 divide (63/q + 3)*-4?
False
Suppose -5*r - y - 33 = 0, 27 = -7*r + 3*r - y. Let t = r - -5. Does 7 divide (-82)/(-6) - t/3?
True
Let p(n) be the first derivative of 0*n**2 - 1/4*n**4 + 2 + 7/3*n**3 + 9*n. Does 3 divide p(7)?
True
Let t = 75 + -43. Is 15 a factor of t?
False
Let d(x) = 42*x - 11. Is 14 a factor of d(3)?
False
Let g = 83 - 56. Is 3 a factor of g?
True
Let z be (-5)/(-1)*12/15. Suppose -z = -m - 3. Let l(o) = 11*o - 1. Is 4 a factor of l(m)?
False
Suppose 0 = 3*f + 2*k + 8, -4*k = f + f + 8. Let x be 0/((8/2)/f). Suppose x = u - c, 0*c - 4*c = 4*u - 40. Does 5 divide u?
True
Suppose 4*p - 30 = -10. Is 24 a factor of 2 - p - (0 - 46)?
False
Let t = -19 + 31. Suppose -8 = -2*p + 4*f, p + t = 3*p - 2*f. Let i = -1 + p. Is 7 a factor of i?
True
Let t(a) = a**3 + 7*a**2 + 13*a + 12. Let n(z) = -z**3 - 6*z**2 - 14*z - 13. Let y(v) = 3*n(v) + 4*t(v). Let o be y(-9). Suppose -f + 3 = -o*f. Is f even?
False
Suppose 2*s - 3*s = 2*p - 32, -2*s = -5*p - 28. Let y = 48 - s. Is y a multiple of 24?
True
Let s be (-15)/9 - (-2)/3. Let f be ((0 - s)*0)/(-2). Does 9 divide f - (3 + -5) - -25?
True
Let h be (0 + 6)*4/6. Suppose 3*t - h = 11. Suppose t*i - 4*i - 12 = 3*l, i = 5*l + 12. Is 7 a factor of i?
False
Suppose -s - 1 = -r, r - 8 - 5 = -2*s. Suppose -2*m - 8 = y, -2*y - r + 13 = -4*m. Let b(u) = -2*u + 1. Is 5 a factor of b(m)?
False
Suppose 0 = -d + 2*d - 16. Suppose 0*i - i = -d. Is i a multiple of 16?
True
Suppose -3*l + 14 = -5*m, l - 3*l + 5*m = -11. Let p(u) = 20*u + 1. Let y be p(1). Let g = l + y. Is g a multiple of 12?
True
Let o(c) = -c**2 + c + 2. Let k be o(0). Suppose 2 = -p - 2, -2*z - k*p + 40 = 0. Does 9 divide 1/4 - (-426)/z?
True
Let s(u) = -u**3 - 6*u**2 + 6*u + 6. Let y be s(-7). Suppose y = 4*r - 3. Is 2 a factor of r?
True
Suppose -5*v = -v - 3*i - 121, 0 = -v + 4*i + 40. Let c = v - 12. Is c a multiple of 6?
False
Let x(o) = o**2 - 6*o + 2. Let d be x(7)