(4) a multiple of 4?
True
Let a = 18 - 23. Let b = 965 + -533. Is 22 a factor of (b/(-45))/(1/a)?
False
Let j = 2 + 0. Let b be 5/(j/(2*4)). Let r = b + -13. Does 3 divide r?
False
Is 410/8*4/(-10)*-8 a multiple of 22?
False
Suppose 10*s - 16 = 8*s. Is 2 a factor of s?
True
Suppose 8*y + 102 = 11*y. Is 5 a factor of y?
False
Suppose -3*o - o = -156. Is 18 a factor of 2 + (0 - 1) + o?
False
Let j(y) be the first derivative of y**2/2 - 3*y + 4. Does 4 divide j(11)?
True
Let g(f) = -3*f**2 + 2*f**2 - 1 - 2*f**2 + 0*f - f**3 - f. Let s be g(-3). Suppose s*z - 2 = -q + 12, -38 = -5*z - q. Is 4 a factor of z?
True
Let f(p) = -p**3 - p**2 - p + 9. Let l be f(0). Suppose -3*n - 29 - l = -2*w, -95 = -5*w - 2*n. Let y = w - -10. Is 11 a factor of y?
False
Let q(d) = d + 0*d - 2*d - 9. Let o be q(-7). Let u(k) = -3*k**3 + k + 2. Is 12 a factor of u(o)?
True
Let g = 3 + 32. Is 7 a factor of g?
True
Let r = -60 + 65. Is 2 a factor of r?
False
Suppose -s - s + 6 = 0. Suppose -s*z + 2*z + 3 = 0. Suppose 0 = -g + z + 9. Does 4 divide g?
True
Let b(l) = 2*l**2 - 9*l + 4. Let k be b(7). Suppose -3*a = -2*a - k. Does 13 divide a?
True
Let h be (-2)/4*1*-6. Suppose 9 = -h*a, 9 = 5*k + a - 4*a. Suppose k = 2*p + 1 - 25. Does 12 divide p?
True
Suppose 4*p + 49 = y - 13, 4*y = -p + 248. Suppose 3*j + j + 5*z = y, -5*j + 55 = -5*z. Does 7 divide j?
False
Let m = -145 - -178. Is 11 a factor of m?
True
Let d be (-18)/4*4/3. Let y(h) = -h - 4. Let l be y(d). Suppose -l = 2*j - 8. Does 2 divide j?
False
Is ((-12)/(3 + 0))/((-2)/124) a multiple of 10?
False
Let u = -38 + 151. Is u a multiple of 24?
False
Suppose 2*s + 2*s = 8. Suppose -s*p + 85 = 3*p. Does 6 divide p?
False
Suppose 0*j + 2*j - 5*s - 139 = 0, -5*j - s + 361 = 0. Is j a multiple of 12?
True
Let q = 8 + 8. Is 10 a factor of q?
False
Let u(h) = -h**3 + 4*h**2 - 2*h - 2. Let i be u(2). Let t(x) = -x**2 - x**i + x**3 - 2*x**3 + x + 2. Is 4 a factor of t(-3)?
True
Let r be -24 + 0 + -1 + -2. Does 16 divide 6/r - (-688)/18?
False
Suppose -3*z = -p + 6, -2 = -5*p + 3*z + 4. Suppose 2*c + p*k + k = 133, -4*c = -4*k - 272. Is 9 a factor of c?
False
Let t = -7 - -7. Suppose 0 = f - 18 - t. Does 9 divide f?
True
Let n(f) = -f**3 + 6*f**2 - f + 3. Let m be n(6). Let p = -2 + m. Let d = p + 9. Is d a multiple of 2?
True
Let t(y) = -3*y**2 + 4*y + 1. Let b be t(3). Is 20 a factor of (-2)/(-7) - 444/b?
False
Suppose 4*z - 314 = -2*x, 0 = -4*z + 2*x + 85 + 233. Is 18 a factor of z?
False
Let p(j) = -5*j**3 - 2*j**2 - 5*j - 2. Let f(i) = -14*i**3 - 6*i**2 - 14*i - 5. Let x(n) = 4*f(n) - 11*p(n). Does 3 divide x(-2)?
False
Does 11 divide -3*(-1)/((-9)/(-33))?
True
Suppose -8 = -3*p - 5*c - 24, 2 = -c. Does 10 divide (48/(-10))/(p/25)?
True
Let k be -2 + 0 + 1*-36. Let y = k + 68. Is 20 a factor of y?
False
Let l(n) = -n**3 + 8*n**2 - n - 20. Does 17 divide l(6)?
False
Suppose 0 = 2*t - t - 12. Is t a multiple of 7?
False
Let c be (1 - -2) + (8 - 2). Does 8 divide c/(-15)*(1 + -26)?
False
Let d be ((-8)/3)/(3/(-117)). Suppose 0 = 4*j, -d = 4*z + 4*j + j. Is (-5)/10 - z/4 a multiple of 3?
True
Let q = 82 - 34. Is 16 a factor of q?
True
Let c = -135 - -196. Let r = 37 + 2. Let t = c - r. Is 9 a factor of t?
False
Suppose 21 = 5*c + 6. Suppose 6*b - b = -5*l + 355, 284 = 4*b - c*l. Suppose b = 4*r - 81. Is 19 a factor of r?
True
Let w = 7 + 8. Is 10 a factor of (200/w)/(6/9)?
True
Suppose 0 = -4*d - 4*a + 36, -4*a - 12 = -4*d + 56. Does 13 divide d/(-2)*(-3 + -1)?
True
Let r(f) = f**3 + f**2 + f + 36. Let i be r(0). Suppose q = -q + i. Does 5 divide q?
False
Let g(i) be the third derivative of i**5/60 + i**4/4 + 5*i**3/6 - 4*i**2. Let l be g(-9). Suppose r - l - 4 = 0. Does 10 divide r?
False
Let c(l) = 5*l**3 - 2*l**2 + 2*l - 3. Is c(2) a multiple of 15?
False
Let v(f) = f - 1. Let a be v(-2). Is 3 a factor of (-20)/a*(-9)/(-6)?
False
Let d = -5 + 2. Let x be 4 + d - (0 - 3). Is (3 - -2) + x/2 a multiple of 4?
False
Suppose -4*k + 3*o + 71 = 0, 2*k - 3*o - 55 = -12. Is 3 a factor of k?
False
Suppose -53 = -4*n - 1. Let b = 22 + 9. Let u = b - n. Does 11 divide u?
False
Let u(v) = 43*v**2. Let p = -10 - -11. Is 10 a factor of u(p)?
False
Let z(w) = 4*w**3 + 3*w**2 - w + 1. Let y(b) = -7*b**3 - 5*b**2 + 2*b - 1. Let a(r) = -3*y(r) - 5*z(r). Does 3 divide a(2)?
False
Does 9 divide (0 - 142/(-8)) + 2/8?
True
Suppose -8*t - y + 432 = -5*t, -5*t + 4*y + 703 = 0. Is 15 a factor of t?
False
Let t(f) = -f**3 - 8*f**2 + 11*f + 14. Is 26 a factor of t(-10)?
True
Suppose 0 = x - 3*y, -3*y + 21 + 15 = 2*x. Suppose -a = -4*a + x. Does 3 divide a?
False
Suppose -504 = 15*f - 19*f. Does 7 divide f?
True
Suppose 381 = 4*y - 3*a, -5*a - 283 = -4*y + y. Let m(d) = -d**2 + d + 63. Let h be m(0). Suppose -4*l - y = -4*g - 0*l, 2*g - h = 5*l. Is 19 a factor of g?
True
Let x = 13 - 9. Suppose 0 = -z - 4 - x. Let g = z + 19. Does 6 divide g?
False
Suppose -l + 11 = 2*h, 3*h = 2*l + h + 2. Is 3 a factor of l?
True
Let r(j) be the third derivative of -1/60*j**5 + 23/6*j**3 + 0 + 0*j + 0*j**4 + j**2. Is 10 a factor of r(0)?
False
Suppose -t = -2*f + 31, 29 - 1 = 2*f - 4*t. Suppose -4*d = 3*r + f, 4*d + 20 = -0*d - 4*r. Does 8 divide (17 - 0)/(d/(-1))?
False
Suppose -5*t = 65 + 180. Let r = t + 97. Does 16 divide r?
True
Suppose 8*b + 288 = 11*b. Does 8 divide b?
True
Suppose -3*v = -138 + 30. Does 6 divide v?
True
Suppose -217 = -3*p - f, -p + 4*f - 19 + 100 = 0. Suppose -p - 2 = -3*b. Does 25 divide b?
True
Suppose -2*t + 175 = 4*y - 3*t, 2*y - 83 = 5*t. Does 11 divide y?
True
Let b(x) = -x**3 + 5*x**2 - 4*x + 2. Let t be b(3). Let f(m) = m**2 - 8*m - 3. Let d be f(t). Is 1 - -3 - (d - -2) even?
False
Let a = 3 + -1. Suppose 2*b + 0*r + 2*r = 34, 2*b - a*r = 34. Let q = 40 - b. Is 12 a factor of q?
False
Suppose o = 3 + 2. Suppose 0 = 2*d + c - 27, d = o*d - 3*c - 79. Is d a multiple of 8?
True
Let h(z) = -z**3 + 5*z**2 - 4*z + 2. Let i be h(4). Suppose 2*l - 34 = 5*t - 10, 2*l + i*t = -4. Suppose 0 = l*s + 3*s - 25. Does 4 divide s?
False
Suppose -q = -31 + 8. Is 3 a factor of q?
False
Suppose -n - 10 - 11 = 0. Let b = -12 - n. Is 8 a factor of b?
False
Suppose v + 5*h = 20, -v - 3*h = -2*h - 28. Suppose 3*j = -2*u - 0*j + v, 5*j - 44 = -3*u. Is 6 a factor of u?
True
Suppose 0 = -5*r - 4*f + 65, f - 59 = -5*r - 9. Does 9 divide r?
True
Suppose 5*o - 9 - 6 = 0. Suppose -4*p + o*q + q = -164, -5*q - 25 = -p. Is 15 a factor of p?
True
Let k(i) be the third derivative of 3*i**2 + 0 + 1/20*i**5 - 1/3*i**3 + 0*i + 1/12*i**4. Is 5 a factor of k(2)?
False
Let f = 9 - -38. Let k = -12 + f. Does 14 divide k?
False
Suppose -4*s + 71 - 15 = 0. Is (1 + 3)*s/8 a multiple of 7?
True
Is 3 a factor of 10 + 8/(-4) - 2?
True
Let y(p) = p**3 - 7*p**2 - 2*p + 8. Let d be y(7). Let g = 6 - d. Does 12 divide g?
True
Let d = 73 + -49. Let n = d - 11. Is n a multiple of 7?
False
Let z(y) = -15*y + 1. Let j be z(1). Let r be (-6)/21 + (-312)/(-14). Let c = r + j. Does 8 divide c?
True
Suppose 4*y - 16 - 464 = 0. Is y a multiple of 7?
False
Suppose 5*h + 17 = -4*w, -4*w + 3*h = -2*w - 19. Let i(r) = -2*r**3 + 4*r**3 - 3*r**w - r**3 - 2*r**3 - 2*r. Does 6 divide i(-3)?
True
Let w = -2 + 5. Suppose -3*t - w = -4*c + 2, 6 = 2*t - 5*c. Let u = 11 + t. Is 4 a factor of u?
True
Let x(j) = -j - 10. Let y be x(-12). Suppose -y*m = -4*m + 10. Is m even?
False
Let r(y) be the second derivative of y**5/20 + y**4/4 - y**3/6 - 3*y. Is 16 a factor of r(3)?
False
Let x = 8 + -5. Suppose -x*c = c - 12. Suppose -84 = -c*y - y. Is 8 a factor of y?
False
Let w(g) be the third derivative of g**6/120 - g**5/10 - g**4/8 - 7*g**3/6 + 4*g**2. Is 7 a factor of w(7)?
True
Suppose -2*c + 7 = -r, -4*c = -r - 7 - 10. Suppose 0 = -3*q + 15, 3*v + 2*q - 170 = -v. Suppose r*l - 2*j = v, l + 3*j = -4*l + 35. Is l a multiple of 3?
False
Let b(l) = -l**3 - 8*l**2 - 10*l. Let f be b(-7). Let n = f - -23. Does 22 divide n?
True
Is 1*(86 - (1 + 1)) a multiple of 14?
True
Let p = 201 - 107. Is p a multiple of 24?
False
Suppose 3*v - 174 = 189. Suppose 5*k = 3*i + 123, -k = -6*k + i + v. Is 21 a factor of k?
False
Suppose 2*x + 5*v + 43 = 5*x, 0 = 2*x + 2*v - 34. Suppose 3 - x = -c. Is 10 a factor of c?
False
Let u = -37 + 67. Does 6 divide u?
True
Suppose 3*i + 0*i = 12. Suppose -3*f + 1 + 5 = 0. Let s = f + i. 