4. Let w(s) = 3*s + 2. Let j = -11 - -4. Let p(u) = j*w(u) + 4*t(u). Does 8 divide p(2)?
True
Let l = -58 + 130. Is l a multiple of 16?
False
Let z(c) be the first derivative of -c**4/4 - 7*c**3/3 - 4*c**2 + 4*c - 3. Is z(-6) a multiple of 8?
True
Suppose -4*h + 3*x + x = -292, -5*h + 325 = 3*x. Does 17 divide h?
True
Is 2/(-6) + 304/12 a multiple of 10?
False
Let m = -16 - -64. Is m a multiple of 8?
True
Let d(i) = -24*i**3 + 2*i**2 + 2*i + 1. Is 25 a factor of d(-1)?
True
Suppose 5*z - 4*d - 843 = 0, -3*z + 171 = -2*z - 2*d. Suppose -4*v = -37 - z. Is 17 a factor of v?
True
Let k(o) = 37*o**2 - 1. Does 14 divide k(-2)?
False
Let l(d) = -d**2 - 8*d + 8. Is l(-7) a multiple of 4?
False
Let w be (-10*3/(-6))/1. Suppose -212 = -w*a - 62. Is 15 a factor of a?
True
Let m = -146 - -50. Is 10 a factor of 3/2*m/(-9)?
False
Suppose 32 = s + 10. Is 22 a factor of s?
True
Suppose 400 = 5*r + 70. Is r a multiple of 11?
True
Suppose -v + 6*v - 30 = 0. Suppose -4*d + 40 = -v*d. Let r = 40 + d. Is 9 a factor of r?
False
Let m(j) = -j + 1. Let k be m(-2). Let i(x) = -x**2 - 8*x - 9. Let y be i(-4). Suppose -y*b + k*b = -48. Is b a multiple of 6?
True
Let l = 374 - 245. Is 7 a factor of l?
False
Suppose k + 16 = -39. Let l = k - -85. Is 12 a factor of l?
False
Suppose -8*l + 13*l = 135. Is 9 a factor of l?
True
Let x be 2/6 - 165/9. Is 18 a factor of (3 + 7)*x/(-5)?
True
Does 7 divide (-4)/6*42/(-4)?
True
Let z(v) = -v - 8. Let r be z(-9). Let i(k) = 42*k - 1. Does 23 divide i(r)?
False
Let s be 2*(414/4)/3. Is s/9 + (-6)/9 a multiple of 3?
False
Let b = -14 - -28. Is 6 a factor of b/(-49) - 44/(-7)?
True
Suppose -4*v + 118 = 14. Is 20 a factor of 25*(-1 + v/10)?
True
Let c(l) = l - 7. Let g = -8 + 18. Let z be c(g). Let w = 14 - z. Does 5 divide w?
False
Suppose -8 = -o - 6. Suppose t = -5*p - 18, -o*t - 4*p + 6 - 18 = 0. Suppose 2*a + t*a - 4*d = 76, -21 = -a + 2*d. Is a a multiple of 7?
False
Suppose -2*l = -5*n + 3*l + 455, -3*l - 455 = -5*n. Is 12 a factor of n?
False
Suppose -7*c - 160 = -9*c. Suppose -2*p = 3*u - 44 - 18, -4*u = 4*p - c. Is u a multiple of 11?
True
Let t(o) = 58*o**2 + 1. Let f be t(1). Suppose q + 3 = -h - 2, -q = 2*h + 10. Suppose q = -4*d - 11 + f. Does 6 divide d?
True
Suppose -5*m + 496 = -0*m + 3*b, -5*b - 382 = -4*m. Suppose 2*k + 3*d + m = 7*k, 68 = 4*k - 5*d. Is k a multiple of 8?
False
Let k be -6*(-3 + 6)/(-9). Let p(x) = 2*x**2 - 3*x + 3. Is 3 a factor of p(k)?
False
Let l(s) = 3*s + 7. Let u be l(-5). Let b = 13 + u. Suppose -3*a - 175 = -5*i, b*i - 74 - 81 = -a. Does 21 divide i?
False
Suppose -3*d + 9 = -3. Suppose 5*z = d*p - 158, 2*z + 32 = p - 3*z. Is 14 a factor of p?
True
Let k(q) = q**3 - 9*q**2 - 10*q + 14. Let l be k(10). Is (-4)/l - 1410/(-35) a multiple of 20?
True
Suppose 4*z - 1 + 3 = 2*m, -z = -3*m - 7. Let k be 1*2 - 4/z. Let q(b) = 9*b - 2. Is q(k) a multiple of 15?
False
Suppose 2*b + 4 = 4*g + 2, 5*g + 2*b - 16 = 0. Suppose 2*z - 16 = -g*z. Suppose 22 = y + 4*k, z*y - 78 = -2*k - 18. Is 7 a factor of y?
True
Let a(w) = -w**3 - 3*w**2 - 3*w - 5. Let v be a(-3). Suppose 0 = v*z - s - 402, 0 = -4*z - 5*s + 283 + 107. Is z a multiple of 17?
False
Let s(j) = 7*j**2 + 2*j + 1. Let k be s(-1). Let h(v) = -12*v + 20. Let t(r) = -4*r + 7. Let u(d) = -3*h(d) + 8*t(d). Is 20 a factor of u(k)?
True
Let v = -3 - -4. Suppose -2*j - v = -3. Is 120/(-4)*j/(-1) a multiple of 15?
True
Suppose 3 = 3*p - 3. Let k = p + 0. Suppose -18 + k = -4*q. Is q a multiple of 2?
True
Is (-194)/(-8) + 5/(-20) a multiple of 21?
False
Let p(q) = -q**3 - 5*q**2 - 2*q + 7. Is 17 a factor of p(-5)?
True
Suppose -4*h + 6*h = j - 3, 4*j - 17 = 3*h. Let u(l) = 43*l - 2. Is 20 a factor of u(h)?
False
Let c(u) = u**2 + u + 1. Is 3 a factor of c(3)?
False
Suppose 5*i - 4*b + 10 = 0, 2*i - 15 = -3*b + 4. Suppose 2*z = z + i. Is 2 a factor of z?
True
Is 9 a factor of ((-42)/(-7))/(16/6 + -2)?
True
Suppose -5 - 20 = 5*s, 3*m - 2*s = 16. Suppose m*a - 13 = 3. Is 8 a factor of a?
True
Suppose 3*w - 80 = 4*v, 4*w = w - 3*v + 45. Suppose 6 = 2*x, -2 = -3*i - 5*x - w. Let h = i - -21. Is h a multiple of 5?
True
Let v(h) = 2*h**2 + 7. Let d(j) be the second derivative of -5*j**4/12 + j**3/6 - 7*j**2 - 2*j. Let k(w) = -3*d(w) - 7*v(w). Does 7 divide k(6)?
False
Is 34 a factor of ((-18)/(-8))/((-18)/(-816))?
True
Suppose 0 = -5*d + 5*x + 25, -d + x = 4*d - 17. Let y(c) be the first derivative of 2*c**2 - c + 2. Is y(d) a multiple of 7?
False
Let y be 4/((-4*1)/4). Let l(i) = -6*i - 5. Does 8 divide l(y)?
False
Let m(b) = -b**3 - 7*b**2 - 7*b + 4. Suppose 0*u - 4*u - 24 = 0. Is 4 a factor of m(u)?
False
Let j be 33/6 - (-9)/(-6). Suppose -2*a = j*h - 20, 2*a + h = -3*a + 50. Is a a multiple of 10?
True
Suppose -114 = -4*q + 114. Does 18 divide q?
False
Let a(i) = -i**3 + 4*i**2 + 6*i - 7. Let b be a(5). Let h = b + 5. Suppose 0 - 18 = -h*u. Is 3 a factor of u?
True
Suppose 0 = -2*p + 4*p. Let d be 0/(p - (-2 + 3)). Suppose 3*y + 3*u = -u + 15, u = d. Is 5 a factor of y?
True
Suppose -3*v + 9 = -3, -3*l + 96 = -3*v. Does 18 divide l?
True
Let i = -134 + 49. Let j = i - -124. Is 10 a factor of j?
False
Suppose 0 = -5*u + 5*g + 240, -3*g + 247 = 5*u - g. Let z = u - 7. Suppose 0 = -0*f - 3*f + z. Does 7 divide f?
True
Let v(w) = w + 2. Let z(m) = 1. Let l(k) = v(k) - 3*z(k). Let b be l(3). Suppose 0 = -3*r + i + 77, 2*i = -0*i + b. Does 13 divide r?
True
Let x = 1 - -23. Does 24 divide x?
True
Is 7 a factor of 5 - (1 + 6/(-2))?
True
Suppose -v + 4*v - c - 117 = 0, 3*v = -2*c + 108. Does 12 divide v?
False
Is 9 a factor of (-18)/(-4)*(8 - 2)?
True
Let b = 1 + 70. Does 13 divide b?
False
Let o(g) = 99*g**2 + 6*g + 7. Does 25 divide o(-1)?
True
Suppose w + 4*w + 3*k = 128, -5*k = 20. Let u = -1 + -16. Let l = w + u. Does 4 divide l?
False
Suppose 3*f - 4*f + y = 4, -f + 5*y = 8. Let q = f - -8. Is (9/q)/(3/10) a multiple of 6?
True
Is 3 - (2 + 2)/(-4) a multiple of 4?
True
Let f = 0 - 2. Let m(a) = -7*a - 1. Is m(f) a multiple of 5?
False
Let d(y) = -y**3 + y. Let t(j) = 36*j**3 + j**2 + 3*j. Let a(x) = 2*d(x) - t(x). Is a(-1) a multiple of 14?
False
Suppose -4*h + 0 = -4. Suppose -4*s + h = -51. Does 11 divide s?
False
Suppose 6*h = -4*j + 2*h + 348, -5*j = 3*h - 443. Is j a multiple of 13?
True
Let m(h) = 7 + h**2 - 5*h + 2*h + 2. Is m(-7) a multiple of 22?
False
Let t = 463 - 680. Is 1/(-5) + t/(-35) a multiple of 3?
True
Let n be (7 - 46)/((-3)/(-2)). Let k(q) = 8*q + 4. Let a be k(5). Let z = a + n. Is 12 a factor of z?
False
Let b(m) = -m**2 - 10*m - 8. Let h(v) = -v**2 + 6*v - 6. Let r be h(6). Let u be b(r). Is 6 a factor of (u - 2) + 0 + -2?
True
Let x be 9 + 0/3 + 3. Is (-4)/(-12) + 104/x a multiple of 7?
False
Let n(k) be the third derivative of k**6/40 + k**5/60 - 3*k**2. Let x be n(1). Suppose -x*c + 3*c = -6. Is c a multiple of 4?
False
Let h = -94 - -124. Is h a multiple of 16?
False
Let d(b) be the first derivative of -b**4/4 - b**3/3 - b**2/2 - 2*b + 4. Let a be d(0). Does 2 divide (-12)/a - 1 - 1?
True
Let t(n) = n**3 + 11*n**2 + 9*n + 11. Let a be t(-9). Suppose -2*k = -4*k + a. Does 16 divide k?
False
Let g = 0 - -5. Suppose -g*x - 3*z - 220 = 2*z, -2*x - 76 = 5*z. Let n = 75 + x. Is 9 a factor of n?
True
Let g be 16/(-6)*3/2. Does 7 divide ((-30)/g)/((-2)/(-4))?
False
Let w(a) = -15*a - 1. Let m be w(-3). Let z = m + -21. Is z a multiple of 23?
True
Suppose 0 = -5*v + 2*y, 0*v + 29 = 2*v + 5*y. Suppose 5*i + 946 = -3*x, -v*i + 0*x - 368 = -4*x. Is 13 a factor of 2/3 + i/(-6)?
False
Suppose 3*r + 24 = 2*r. Does 13 divide (-354)/r + (-2)/(-8)?
False
Let q be (-3)/(-9) - 715/(-15). Let o = 5 + -2. Suppose -2*p = 4*l - q, 0 = -2*p + 3*p - o*l - 49. Does 16 divide p?
False
Is 28 a factor of (0 - -42) + 0 + 4?
False
Let x = 18 + -5. Does 13 divide x?
True
Suppose 3*c + c - 91 = -5*z, 3*c = 2*z + 51. Is c a multiple of 6?
False
Is 36 a factor of 15140/70 + 18/(-14) + 1?
True
Let o(i) = i**2 - i + 1. Let a be o(-2). Suppose -a*d + 5*d = 0. Suppose 57 = 3*z - d*z. Is z a multiple of 19?
True
Suppose 0 = -4*j - 53 + 13. Let f be 2/10 - 38/j. Suppose x + 3*x - 126 = 2*u, -f*x - 5*u + 133 = 0. Is x a multiple of 13?
False
Let g(j) = 3*j**3 + 2*j**2 - 4*j + 3. Is g(2) a multiple of 9?
True
Suppose 3*c = 4*c. Suppose c = 5*h - 71 - 34. Suppose -2*l + 7 