- f**3 - 7*f**2 + f. Let t = 27 - 34. Does 21 divide y(t)?
True
Suppose 4*d = -3*c + 563, -2*d + 949 = 5*c - 6*d. Does 21 divide c?
True
Let j = 85 - 80. Suppose -354 = -4*r + 2*m, -j*r - 6*m = -4*m - 429. Does 6 divide r?
False
Suppose -410 = -w - 2*b, -5*w = 7*b - 8*b - 1995. Is w a multiple of 25?
True
Let b be (0 - -2)*21/(-2). Let p = 13 + b. Let s(n) = n**2 + n - 8. Is s(p) a multiple of 16?
True
Let t = 61 + -100. Is 7 a factor of (t/(-9))/((-6)/(-18))?
False
Does 10 divide 2215/10 - (-3)/2?
False
Suppose -5*p + 2121 = 596. Suppose -p = -4*h + z, 6*h - 3*h + z - 227 = 0. Is 19 a factor of h?
True
Is 30 + 15 + (5 + 2 - 2) a multiple of 3?
False
Suppose -4*y - 9*j + 6*j + 2724 = 0, -4*j = -3*y + 2043. Is y even?
False
Suppose 0 = -13*w + 2860 + 6305. Is 63 a factor of w?
False
Let i(v) = -65*v**3 - 3*v**2 + 8*v + 11. Is i(-1) a multiple of 2?
False
Suppose 0 = -4*u + 5*c + 5921, u + 7*c - 2*c - 1474 = 0. Does 13 divide u?
False
Let d = 23 + -21. Suppose v + d = -0*v. Is 21 a factor of 14/(16/(-12) - v)?
True
Let a(h) = h**3 + 22*h**2 - 2*h - 26. Let u be a(-22). Does 6 divide 40/((-3)/(u/(-12)))?
False
Let c(u) be the third derivative of -u**6/120 + u**5/15 + u**4/12 - 2*u**3/3 + 2*u**2 - 13*u. Let r = 2 + 1. Is 7 a factor of c(r)?
False
Let r be -3 - (32/(-1))/4. Suppose 4*n - 86 = 2*n. Let h = n + r. Is h a multiple of 20?
False
Does 19 divide 819 + -4 + (-6)/18*-6?
True
Let q = 27 + 422. Does 45 divide q?
False
Let c(b) = -b + 10. Let v(x) be the first derivative of -x**3/3 + 5*x**2/2 - 4*x + 5. Let i be v(6). Does 16 divide c(i)?
False
Let z(b) = -b**3 - 6*b**2 - 7*b - 8. Let d(o) = 3*o**2 + 5*o + 4. Let s be d(-4). Suppose 5*y - 2 = -s. Is z(y) a multiple of 9?
False
Let j = 3824 + -2580. Is j a multiple of 67?
False
Let c = -209 - -266. Is 57 a factor of c?
True
Suppose 4*r - 25 = -5. Suppose 6*x = 10 + 2. Suppose -2*n = x*z - 91 - 41, r*z + 3*n = 338. Is z a multiple of 15?
False
Let q(p) = -7*p - 4. Let c = -66 + 41. Let s = c + 21. Does 24 divide q(s)?
True
Suppose -1247 = -7*m + 2442. Is 31 a factor of m?
True
Suppose 4*f = 2*m - 164, 3*m + 0*f + 2*f - 254 = 0. Is m a multiple of 4?
True
Let v = -301 + 371. Is 5 a factor of v?
True
Let z be 3/((-1)/(7 + -2)). Let u = z - -72. Is u a multiple of 15?
False
Let i = 198 - 40. Suppose 5*x - 257 - i = 0. Suppose -4*p - 20 - 116 = -5*n, 0 = -3*n + p + x. Is 14 a factor of n?
True
Let m = -116 - -171. Suppose -f + 5*k = 4*f + m, 0 = 5*f + 2*k + 20. Let a(r) = r**3 + 6*r**2 - r + 8. Is 7 a factor of a(f)?
True
Suppose 90 = 4*f - 2*x + 16, -5*f + 99 = 4*x. Let m(s) = s**3 - 18*s**2 - 13*s - 49. Is 13 a factor of m(f)?
True
Let x = -5 - -6. Let h(r) = r + 1 + x + 6. Is h(6) a multiple of 7?
True
Let h = 35 + -31. Suppose -h*d = -92 - 28. Does 10 divide d?
True
Let y = 1658 + -650. Does 21 divide y?
True
Let y be 2/8 - 1/4. Suppose s = r + 6*s - 20, -r - 2*s + 11 = y. Suppose -155 = -r*l - 0. Is l a multiple of 11?
False
Let j = -1 - -4. Let z be 8/j + 28/(-42). Suppose -z + 6 = -4*d, -d = 3*m - 122. Is 22 a factor of m?
False
Suppose 3*v + f = 1, -2*f - 14 = -2*v - 0*f. Suppose -236 = -9*t + 8*t - 2*u, -u = t - 237. Suppose z = 3*m - 193, 5*m + v*z = 80 + t. Is m a multiple of 20?
False
Suppose 4*u = 3*p + 263, 189 = 3*u + 3*p - 8*p. Let o = u - 50. Is o a multiple of 6?
True
Suppose -5*h + 13 + 7 = 0. Suppose -x + 5 = 5*m, 1 + h = 2*m + x. Suppose 0*b - 4*b = 2*l - 18, 4*b - 5*l - 53 = m. Does 4 divide b?
False
Let n(c) = -13*c**3 + 3*c**2 - 15*c**3 + 5 + 2*c**2 + 29*c**3 - 20*c. Is n(-6) a multiple of 14?
False
Let p be 27/(-18)*(-8)/3. Suppose 0 = g - p. Is (-24)/(-3) + (-12)/g a multiple of 5?
True
Let s(c) = -3*c**3 - 2*c - 6. Suppose 11 = -5*b - 9. Let j be s(b). Suppose 2*v = j - 42. Is 21 a factor of v?
False
Let g be (-3 + 2)/((-86)/(-44) + -2). Suppose -z + 160 - g = 0. Does 20 divide z?
False
Let o(x) = -x + 6. Let i be o(3). Suppose -y = 2*p - 0*y - 7, -5*p - i*y = -19. Suppose -7 = -p*w + 7. Is w a multiple of 3?
False
Let c(n) = -2*n - 5*n**3 - 3 + 1 - 18*n**2 + 18*n**2. Is c(-2) a multiple of 11?
False
Let f(x) = -4*x**3 + 7*x**2 + 5*x + 2. Let c be f(-3). Does 37 divide (10 - c)/(-2 + 0)?
True
Suppose -3 = -n + 62. Suppose 4*v - x - x - 90 = 0, 3*v - n = -x. Does 4 divide v?
False
Suppose -2*t + 0*t - 3*l + 518 = 0, -4*l - 1249 = -5*t. Does 11 divide t?
True
Let p = -297 - -413. Does 10 divide p?
False
Suppose 0 = -13*c - 2225 + 9505. Is c a multiple of 16?
True
Is (-1 + 11)/(62/1705) a multiple of 55?
True
Let q(t) = 15*t + 10. Suppose 18*v - 20*v = -16. Is q(v) a multiple of 33?
False
Let f(p) = -187*p**2 - 2*p. Let l be f(1). Is 4 - (l - (3 + 2)) a multiple of 33?
True
Let x be 12/8*(-4)/6. Let n be x/(3 + (-113)/38). Let z = 66 + n. Is 10 a factor of z?
False
Let x(c) = -c**3 - c**2 + 36. Let a(q) = -q**3 + 11*q**2 - 11*q + 13. Let f be a(10). Suppose 1 + 11 = 5*v + f*r, 3*v = -5*r + 20. Is 12 a factor of x(v)?
True
Suppose 3*l = 5*l - 114. Let n = 94 - l. Does 14 divide n?
False
Suppose -20 + 98 = 6*t. Suppose -16*k + t*k = -126. Is 13 a factor of k?
False
Let i = 2 - -15. Let r = 10 - i. Let n(o) = -o**3 - 6*o**2 + 3*o - 1. Is 7 a factor of n(r)?
False
Suppose 2*s - 5*y = 7*s - 225, -5*y = -3*s + 127. Let h be (-2 - 1)/((-2)/(-10)). Let g = s + h. Is 13 a factor of g?
False
Let m(t) = t**3 - 38*t**2 + 40*t + 40. Is m(37) a multiple of 51?
False
Let b be (3*-1)/((-6)/6). Suppose 0 = 5*n + 4*p + 6, b*n - 7 = 5*n - 3*p. Does 10 divide 64/6 - n/(-3)?
True
Let m = -1950 - -2188. Is m a multiple of 7?
True
Let l be (2 + (-1 - 2))*0. Let h be ((-270)/5)/(-6) + -4. Let y = h - l. Is y a multiple of 5?
True
Suppose 0 = -0*l + 7*l - 42. Let p(x) = -x**3 + 6*x**2 + 10*x - 3. Let g(t) = t**3 - 6*t**2 - 10*t + 2. Let n(z) = 6*g(z) + 7*p(z). Is n(l) a multiple of 25?
False
Let r be 2/(-3) - 1936/(-24). Suppose -5*y + r = 10. Let k = 52 - y. Is k a multiple of 19?
True
Let g be (-4)/16 + 18/8. Let v(x) = g + 3*x + 0*x + x + 7*x**2. Does 11 divide v(-2)?
True
Let k = 1567 + 149. Is k a multiple of 52?
True
Suppose 4*k - 3 = -5*i + 3, -3*i = -4*k - 10. Suppose -5*c + o + 120 = -c, -2*c - i*o + 60 = 0. Is c a multiple of 15?
True
Let n(a) = -a**3 + 11*a**2 - 11*a + 22. Is n(10) a multiple of 6?
True
Let c be -1*30/((-2)/1). Suppose -3*f + 2*h + c = -10, -f + 4*h + 25 = 0. Suppose -r - r = -f*y + 85, 4*y = 3*r + 75. Is y a multiple of 15?
True
Does 34 divide (0 + -426)*(-90)/60?
False
Let o(b) = -2 + 1 - 3*b + 5*b**2 + 2*b**3 + 3*b**2 - b**3. Let y be o(-8). Let x = 39 - y. Does 12 divide x?
False
Let l(s) = -s**2 - 2*s - 1. Suppose 2 = -3*n + 2*b, 3*n = -4*b - 10 - 4. Let f be l(n). Let x = f - -7. Is x a multiple of 2?
True
Let s = 9238 - 6220. Does 144 divide s?
False
Let q = 624 - -240. Does 16 divide q?
True
Let f = 54 - -69. Is f a multiple of 20?
False
Let j(i) be the second derivative of 5*i**4/12 - i**3/3 - 6*i. Let q be j(2). Does 9 divide (-4)/q + (-109)/(-4)?
True
Let r(y) = y**2 + 3*y - 6. Let j be r(2). Suppose 3*v + b = 225, -2*v = v + j*b - 216. Is v a multiple of 22?
False
Suppose 8*s + 5 = 3*s. Let n be (15 + -14)/(s/(-25)). Suppose -j + 20 + n = 0. Is j a multiple of 15?
True
Suppose 0 = 63*r - 65*r + 1474. Is r a multiple of 11?
True
Suppose 4*z + 33 = -3*w + 8, -2*z + w - 5 = 0. Let p = z - -6. Suppose -32 = -p*a - 4. Does 4 divide a?
False
Suppose 4*w = 2*l - 86, 2*w = -2*l - 3*w + 86. Suppose j - l = -b - 0*b, -207 = -4*b + 3*j. Is b a multiple of 11?
False
Let g(p) = 3*p**2 + 3*p - 8. Let l(q) = -4*q**2 - 4*q + 8. Let a(u) = 5*g(u) + 4*l(u). Let v be a(-5). Is (-8)/v + (-332)/(-14) a multiple of 6?
True
Suppose -3*g + 3*o + 106 + 326 = 0, 4 = 4*o. Is 2 a factor of g?
False
Let o(c) = c + 13. Let k be (-6)/5*(-220)/(-33). Let u = k + 22. Does 9 divide o(u)?
True
Let s(c) = -4*c - 4*c**2 + 2 + 0*c - 8 + 5*c**2. Let x be s(6). Suppose -x*d = -d - 65. Is d a multiple of 13?
True
Let f(g) = g**3 - g**2. Let q(t) = 2*t**3 + 4*t**2 - 5*t - 4. Let y(w) = -3*f(w) + q(w). Let r be y(6). Does 3 divide (r - 1)/(7/42)?
True
Suppose 3*z - 2*w = 1382, -3*z - 2*w - 918 = -5*z. Is z a multiple of 62?
False
Let a be (-10)/5*(-18)/4. Let i(s) = s + 6. Let z be i(-6). Let b = a + z. Is b a multiple of 9?
True
Suppose -2*z = -z. Suppose 40 = -z*w - w. Is 11 a factor of 4*(-1)/(4