*i - 7. Let m(n) = 6*f(n) + 7*q(n). Let g = -788 - -790. Is 4 a factor of m(g)?
False
Let r = 701 + -253. Is r a multiple of 53?
False
Suppose -4*s = 3 - 11. Let c(k) = 7*k - s + 1 - 5*k. Is 9 a factor of c(6)?
False
Let m(j) be the third derivative of j**6/120 - 5*j**5/12 - j**4 + 35*j**3/6 - 33*j**2. Does 5 divide m(26)?
False
Suppose -757 = -4*c - 217. Is c a multiple of 27?
True
Let h(o) = o**3 + 9*o**2 - 6*o - 7. Let t be h(-7). Suppose 0 = -2*y + t + 17. Let b = y - 27. Is b a multiple of 11?
False
Let f = -128 + 180. Let x(d) = d**3 + 8*d**2 - 22*d - 7. Let i be x(-10). Does 29 divide 8/f - (-1506)/i?
True
Suppose -8*p + 3181 - 253 = 0. Is 3 a factor of p?
True
Is ((-4)/(-2) - 167)*(-104)/104 a multiple of 2?
False
Let z(p) = -3*p**3 + 3*p - 9. Let i be z(3). Let f = i + 161. Does 40 divide f?
True
Suppose -4*q + 215 = -5*h - 1370, 5*q + h - 1945 = 0. Does 3 divide q?
True
Suppose 0 = -11*y - y + 15156. Is 14 a factor of y?
False
Let r = 6 - 2. Suppose 4*s = 5*l - 12, -r*s = l - 5*l + 8. Suppose s*v - 104 = -4*a - 3*v, -2*a + 42 = 5*v. Does 16 divide a?
False
Suppose 0 = -2*a + 2*t + 1592, -6*a + 4*t + 2384 = -3*a. Is 40 a factor of a?
True
Does 8 divide (6/5)/(6*2/1040)?
True
Suppose 2*i - i - 226 = p, 2*i + 4*p = 428. Is 35 a factor of i?
False
Suppose 0*w - 5*w + 5*k = 185, -5*w - k - 209 = 0. Is 21 a factor of (w - 1)*(-2)/4?
True
Suppose -4*k + 8 + 28 = 0. Suppose k*d - 48 = 6*d. Is d a multiple of 12?
False
Let i(r) = 13*r - 51. Is 6 a factor of i(8)?
False
Let n = 4725 - 253. Is n a multiple of 43?
True
Let y(q) = -q**2 - 13*q - 10. Let n be y(-12). Is 12 a factor of 24/6 + (70 - n)?
True
Suppose 0*o + 13*o = 6240. Is o a multiple of 6?
True
Let b be 0 - 0/(1/(-1)). Let u be (-2 - -1) + b - -4. Suppose u*d + 30 = q, 2*d + 22 = 4*q - 88. Does 9 divide q?
True
Let v be 128*1 + (0 - -4). Is v/30 + (-3)/(-5) a multiple of 3?
False
Does 11 divide (0 - 5/4)*(-104)/2?
False
Suppose 0 = -0*r + 2*r - 836. Is r a multiple of 38?
True
Suppose c - 49 - 17 = 0. Let m = -32 + c. Suppose l - 4*s + m = 4*l, l + 5*s - 4 = 0. Does 14 divide l?
True
Let y = -763 + 762. Let c(w) be the second derivative of 9*w**4/2 - w**3/3 - w**2/2 - w. Is c(y) a multiple of 11?
True
Let v be 179*(-9)/((-36)/(-8)). Let y = v - -102. Let l = -154 - y. Is l a multiple of 17?
True
Let t(g) = 3*g**3 + 8*g**2 - 3*g - 3. Let v(z) = z**3 + z**2 - z + 1. Let f(i) = -t(i) + 4*v(i). Is f(5) a multiple of 5?
False
Is 11 a factor of (5365 - 114)/(1 - 0)?
False
Let a(b) = b**2 - 4*b - 1. Let v be -14 - (-4 - (-4)/1). Let i = 21 + v. Is a(i) a multiple of 10?
True
Let j(v) = -v**3 + 6*v**2 - 5*v + 4. Let i be j(5). Suppose -9*f + 6*f + 432 = 5*g, i*f + 152 = 2*g. Is g a multiple of 11?
False
Suppose 2*p + 3014 = 4*c, 3*c - 2263 = -255*p + 256*p. Is c a multiple of 14?
True
Let y = -51 + 55. Is 4 a factor of y?
True
Let r(l) = -6*l + 54. Let s be r(10). Let h(y) = 2*y**3 + 13*y**2 - 8*y + 4. Does 8 divide h(s)?
True
Let s be (27/2)/((-7)/(-14)). Suppose 5*o - 63 - s = 0. Suppose 3*a - 8 - 72 = -p, 0 = a - 4*p - o. Does 9 divide a?
False
Let f = -1385 - -1623. Is 7 a factor of f?
True
Suppose -3*r + 8*r = 10. Suppose -11 = r*l + 15. Let n(h) = -2*h - 16. Does 10 divide n(l)?
True
Let t = -2 - -3. Suppose 3 = -z - 3*l, z = -2*l - t + 3. Suppose -5*j = o - 0*j - z, -18 = -o + j. Is 16 a factor of o?
False
Let z = -7 - 28. Let g = -7 - z. Is 5 a factor of g?
False
Let u(o) be the third derivative of -o**4/3 + o**3/2 + 2*o**2. Let l be u(-2). Let q = -1 + l. Is q a multiple of 9?
True
Let x(f) = -8*f + 4. Is 26 a factor of x(-6)?
True
Suppose -i + 3*i - 3*h - 91 = 0, 0 = h + 3. Let u be 2 + -4 + 1 - 15. Let f = u + i. Is 25 a factor of f?
True
Let y = -47 - 85. Let z = 210 + y. Does 13 divide z?
True
Let c(u) = -6*u**2 - 3 + u + 5*u - 4 + 2*u**2 - u**3. Let s be c(-5). Does 7 divide 22/(4*(-2)/s)?
False
Let s = 459 + -270. Let g = -130 + s. Is g a multiple of 29?
False
Is 216 + 0/(-6)*2/4 a multiple of 18?
True
Let w(y) = -3*y + 4. Let q be w(-13). Let a = 53 - q. Is 10 a factor of a?
True
Let l be 176/6*21/2. Let s = l - 164. Is 17 a factor of s?
False
Suppose 5*g + 29*y = 25*y + 335, 3*g - 164 = 5*y. Does 3 divide g?
True
Suppose -2*x - 4*l = -752, 4*x - 18*l + 14*l = 1516. Is 32 a factor of x?
False
Suppose -4*d + 2*i + 5550 = 0, 0 = -12*d + 7*d - 5*i + 6975. Is d a multiple of 10?
True
Suppose 3*g = -0*g - 2*r + 1044, -5*g - 4*r = -1742. Is 67 a factor of g?
False
Let n(p) = -p + 15. Let w be n(7). Suppose 0 = -w*i - i + 90. Is i a multiple of 10?
True
Suppose l - 20 = -4*l. Suppose -a + 177 = -l*a. Let q = a - -99. Is 12 a factor of q?
False
Let o be (-1)/(4/(-772)) + -1. Is 12 a factor of (6/(-4))/((-8)/o)?
True
Let f = -89 + 90. Let b(z) = 23*z**3 - 7*z**2 - 7*z - 4. Let h(q) = -45*q**3 + 13*q**2 + 13*q + 7. Let i(n) = -11*b(n) - 6*h(n). Does 4 divide i(f)?
False
Suppose 0 = -5*u + 6*u - 24. Let g = u + 21. Does 22 divide g?
False
Suppose 25*v - 24*v - n = -1, 0 = 2*v - 3*n. Let r be -7*11*1 - 1. Let y = v - r. Is y a multiple of 25?
True
Let q = 199 - 145. Does 3 divide q?
True
Let z(x) = -x**3 - 5*x**2 + 5*x - 4. Let c be z(-6). Suppose 3*p = -c*p - 4*k + 197, 2*p - 3*k - 88 = 0. Is p a multiple of 16?
False
Suppose 0 = -3*w + 4*v + 1529, -w + v = w - 1026. Does 16 divide w?
False
Let d = -23 - -12. Let q = 19 - d. Is 15 a factor of q?
True
Suppose 25*u - 37 = 24*u. Is u even?
False
Let r(k) = -32*k**2 - 25*k - 3 + 33 + 31*k**2. Is r(-19) a multiple of 48?
True
Suppose -3*k - 5*m + 778 = 0, -713 - 71 = -3*k + m. Is k a multiple of 4?
False
Suppose j - 6 = -3. Let p(d) = -d**2 - d + 5. Let s be p(-3). Is 4*4/(j - s) a multiple of 2?
True
Let c(x) = 2*x**2 - 5*x + 15. Let f be 2/(-5) + (-5 - 399/(-35)). Does 13 divide c(f)?
False
Let i = -32 - -49. Suppose -3*h = -2*o - 8*h + i, h + 1 = 0. Does 11 divide o?
True
Let s be 3/(4/(-8)*-3). Suppose -696 = -8*w + s*w. Suppose 3*b = 6*b - 4*y - w, -142 = -4*b - y. Is 18 a factor of b?
True
Suppose 77 = 3*x - 445. Suppose 0 = -5*m - 3*i - x, 5*m + 190 = 7*i - 2*i. Is (-222)/m - 1/6 a multiple of 3?
True
Let t(x) = 90 - 77 - 5*x + 0*x. Let b be t(4). Does 20 divide (b + 31)*15/6?
True
Suppose t = 6*t - 3*k + 21, -k + 2 = 0. Is 16 a factor of t - 22*(-36)/8?
True
Suppose 2*f = -2*w - 8, -2*w + w = -4*f + 14. Does 38 divide (-3 - 1)/(w/57)?
True
Let o = -635 + 948. Is 8 a factor of o?
False
Let f be (6/(-4))/((-1)/(-8)). Let j be (-2)/f*3*8. Suppose -j*t + 33 + 43 = 0. Is 7 a factor of t?
False
Suppose -5*q = -2*j - 889, -15*q + 20*q - 887 = j. Is q a multiple of 59?
True
Let j(w) = w**3 - 5*w**2 - 26*w - 16. Suppose -5*o - 5*i = -45, 44 = 4*o + i - 5*i. Is j(o) a multiple of 40?
False
Suppose 2*a + 2 = -2*w, -3*w + 2*a + 9 = 2. Let i be (-1)/(w/3) + 34. Suppose 2*g + 1 = i. Is g a multiple of 10?
False
Let u(n) = -2*n + 3. Let d be u(-10). Suppose 5*k - 307 = d. Does 11 divide k?
True
Suppose 3*r - 141 = u, -3*r + 135 = -8*u + 5*u. Is 4 a factor of r?
True
Let a(t) = -t**3 + 20*t**2 - 65*t + 12. Is a(15) a multiple of 14?
False
Suppose 0*l = 3*n - 4*l - 2596, -3461 = -4*n + 5*l. Suppose -10*r + r + n = 0. Is r a multiple of 16?
True
Let i = -32 - -126. Does 3 divide i?
False
Let y = -16 + 19. Let o be (-2)/(-1 + y - 1). Is 21 a factor of (o - -3)*(70 - -6)?
False
Is 41 a factor of (-53 - 22)/(1/(-2))?
False
Let j be (2 - 1)*32/16. Let x(m) = m. Let a be x(3). Suppose -10 = -j*g, -3*g = a*h - 0*h - 36. Does 5 divide h?
False
Let s(i) = -i + 7. Let u(h) = -h. Let m(l) = s(l) + 4*u(l). Let k be m(-3). Is 19 a factor of -1*(-7)/(7/k)?
False
Let c(d) = d**3 + 17*d**2 - 19*d - 19. Let g be c(-18). Suppose 0 = 5*k + 4*w + 16 - 127, 0 = 2*k - 3*w - 49. Does 9 divide -6 + 3 + k + g?
False
Suppose 5*d = b + 11, -2*b + 6 = -3*b + 4*d. Is 5 a factor of 1016/12 + (b/6)/7?
True
Suppose -18 = -3*w + 4*k, 2*w - 4*k - 6 = 5*w. Let z(g) = 20*g**2 - 3*g + 3. Let t be z(w). Suppose 5*m - t = 23. Does 10 divide m?
True
Let g be 6/(-4)*(-2 - 0). Let a(h) = -19 - g*h + 2*h + 3*h - 4*h. Is 7 a factor of a(-13)?
True
Let f(i) = 2*i + 49. Let n(s) = -s - 16. Let r(p) = 2*f(p) + 7*n(p). Let y be r(-9). Suppose -50 = -y*x + 8*x. Does 3 divide x?
False
Let y = 1565 - 654. Does 5 divide y?
False
Let i(g) = 199*g**2 - g + 34. Does 18 divide i(3)?
False
Suppose 3*