 Let z(s) = -28*s + 10. Let k(o) = 7*x(o) + 2*z(o). Does 5 divide k(3)?
True
Let o = -1 - -6. Is o - 1 - 2 - -55 a multiple of 19?
True
Let q(l) be the third derivative of 3*l**4/8 - 4*l**2. Let x(f) = f**3 - 4*f**2 + f. Let o be x(4). Does 13 divide q(o)?
False
Let z = 154 - 89. Is z a multiple of 25?
False
Suppose 2*d + 0 - 4 = 0. Suppose 0 = d*f + 2*f + 2*l - 150, 4*f = l + 159. Does 13 divide f?
True
Let t be 2/8 - (-77)/28. Suppose t*w - 73 = -3*s + 4*w, -96 = -4*s + w. Is 6 a factor of s?
False
Let z = -13 - -23. Let s(j) = j**3 - z + 0*j**3 + 9 + 2*j - 2*j**2. Does 2 divide s(2)?
False
Suppose -r = -11 + 7. Suppose r*m - 28 - 224 = 0. Is 15 a factor of m?
False
Let w(r) = r**2 - 7*r + 6. Let p be w(5). Does 11 divide p + (-1)/(4/(-148))?
True
Let o = -18 + 61. Is o a multiple of 9?
False
Suppose -2*d - 5*y + 30 = 2*d, -3*d + y + 13 = 0. Suppose -d = 2*b - 3. Is 11 a factor of (-3 - b) + (14 - -1)?
False
Let t be (-1)/(3/(-2) + 2). Let f(u) = u**3 + 2*u**2 - u. Let d be f(t). Suppose -5*a - d*q = -178, -44 = 2*a + q - 116. Does 15 divide a?
False
Let u be 3/3*(27 - -2). Let y = 51 - u. Let a = y + 0. Is 11 a factor of a?
True
Let c = 79 + 24. Is 27 a factor of c?
False
Let t(k) = -k + 3. Let x be t(3). Suppose -g - 2*g + 43 = -2*u, -3*u - g - 37 = x. Does 15 divide (-4)/14 - 242/u?
False
Let r be 0 - (-2 + 0) - 39. Let j be r/(-2) - 1/(-2). Let y = 29 - j. Is 4 a factor of y?
False
Let h(t) = t - 6. Let b be h(9). Suppose 3 + 0 = n. Suppose n*m - 110 = -4*r, 0 = -3*m - 0*m + b*r + 75. Is m a multiple of 10?
True
Suppose -5*c - 3 = -23. Let f = 2 + c. Does 2 divide f?
True
Suppose -2*j - 406 = -x, -620 - 1410 = -5*x + 2*j. Does 29 divide x?
True
Let l(s) = -s**3 + 2*s - 1. Let f be l(-2). Suppose f*u = -0*u + 156. Is u a multiple of 13?
True
Let m = 72 - 42. Is m a multiple of 15?
True
Let w be 6/((-15)/(-6) - 1). Suppose -82 = -3*t + 2*b, w*b - 18 = -3*t + 52. Does 13 divide t?
True
Let j be ((-84)/(-60))/((-1)/(-5)). Let p(b) be the second derivative of b**3 + 9*b**2/2 + 3*b. Does 15 divide p(j)?
False
Let k(l) be the second derivative of -l**5/20 - 7*l**4/12 + l**3/6 + 2*l. Is k(-8) a multiple of 30?
False
Suppose 4*v = 3*i - 17, 5*i + 0*v + 3*v + 20 = 0. Let j(w) = -3*w + 3. Let s(y) = -1. Let x(k) = i*s(k) - j(k). Is x(4) a multiple of 10?
True
Suppose 0 = -3*y + 3 - 96. Let p = -10 - y. Is p a multiple of 19?
False
Suppose 4*w + 5*j + 80 = 7*w, -4*j = 4. Is 6 a factor of w?
False
Suppose 3*n = -n - 5*u + 391, 4*u = n - 82. Is 19 a factor of n?
False
Suppose q - 4 = -2*o + 9, 5*o + 3*q - 32 = 0. Suppose 5*r - 5*k - 18 = 7, -r = k - o. Does 4 divide r?
False
Suppose 5*v + 39 - 14 = 0. Does 14 divide (-212)/v - 2/5?
True
Let v(c) be the first derivative of -c**2/2 - 3*c - 2. Let h be v(6). Let s = 4 - h. Is s a multiple of 13?
True
Let v(z) = -z + 2. Let m(f) = -7*f - 3. Let t be m(-3). Suppose 4*w + 28 = -4*c, t = -3*c - 2*w - 0*w. Does 3 divide v(c)?
True
Suppose 3*d + q = -0*q + 1, 3*q = -15. Suppose -3*o + 40 = d*o. Is o a multiple of 4?
True
Let c = 47 + 212. Suppose c = -6*r + 949. Is 30 a factor of r?
False
Suppose -2335 + 375 = -10*n. Is n a multiple of 49?
True
Suppose -5*i + 194 = 4*w, 4*w + i - 182 = 2*i. Is 7 a factor of w?
False
Let i(l) = -6 + 4 + 4*l**3 - 2*l - 3*l**2 - 5*l**3. Let h be i(-3). Is h*(2 + (-21)/(-12)) a multiple of 15?
True
Let y(h) = h**2 - 4*h - 3. Let v be y(6). Suppose 6*f - v*f + 27 = 0. Is 4 a factor of f?
False
Let p(z) = -z**2 + 5*z + 2. Is 2 a factor of p(0)?
True
Suppose -4*x = -2*j + 20, -2*j + 2 = 3*x + 3. Let t(h) = h**2 - 2*h - 5. Let f be t(j). Let i = 1 + f. Is 2 a factor of i?
True
Let r(t) = -t**3 + t**2 - t + 2. Suppose 0 = -7*f + 12*f. Let i be r(f). Suppose -3*n - 3*y + 5 = -7, i*n - 6 = -4*y. Does 5 divide n?
True
Suppose 45 = 3*q - 18. Let z = -8 - q. Let a = -9 - z. Is 20 a factor of a?
True
Is 10 a factor of ((-330)/(-75))/((-1)/(-25))?
True
Let l = 7 - 7. Suppose 0 = -l*k + 2*k. Let v(z) = z + 45. Is 15 a factor of v(k)?
True
Suppose 7*x + 56 - 224 = 0. Is 5 a factor of x?
False
Let s(j) = j**2 - 11*j - 7 + 4 + 13. Let r be s(7). Let n = 13 - r. Is n a multiple of 21?
False
Let b(g) = 75*g + 12. Is b(2) a multiple of 22?
False
Suppose 5*s = 3*s + 20. Is s a multiple of 10?
True
Let q(p) be the second derivative of p**4/12 - p**3/6 - p**2 + 3*p. Is 6 a factor of q(5)?
True
Let x(s) = 5*s**2 - 8*s + 3. Let g(z) = -z**2 + z + 1. Let l(v) = -6*g(v) - x(v). Is l(6) a multiple of 14?
False
Let w = -52 - -112. Let i = 16 - 42. Let o = w + i. Does 14 divide o?
False
Let o be 15*(32/(-20) + 2). Is (-20)/o*(-2 + -1) a multiple of 2?
True
Let c(y) be the third derivative of y**6/120 + y**4/12 - y**2. Does 11 divide c(3)?
True
Let r be (2/2)/1*5. Suppose r*u - 3*z = 2*z + 5, u - 16 = -2*z. Is u a multiple of 3?
True
Let g = -22 - -20. Is 11 a factor of g/(-6) - (-118)/6?
False
Suppose 2*l - 2*g + 33 = 3*l, 0 = -2*l + g + 41. Let m = l - 11. Is m a multiple of 6?
True
Suppose 0 = 7*h - 2*h. Let r(t) = h + 1 + 0 + 13*t + 0*t. Is 4 a factor of r(1)?
False
Let j = 13 - 4. Let g = j - 9. Let q = g + 5. Does 5 divide q?
True
Let t = -7 - -10. Let s be 62/(-8) - t/(-4). Let d = 11 + s. Is d even?
True
Let p(c) = c**3 - 6*c**2 + 5*c - 7. Let b be p(3). Let u be 2/8*2*0. Does 8 divide u + (-3)/1 - b?
True
Suppose -1 - 3 = -w. Suppose 3*f - 156 + 53 = -w*z, 2*z - 64 = -4*f. Is z a multiple of 11?
True
Let y(a) be the second derivative of a**5/20 - a**4/2 - 4*a**3/3 + 5*a**2/2 - 3*a. Let i be y(7). Is (0 - (-8 - -1)) + i a multiple of 4?
False
Suppose 0*x + 56 = 4*x. Let p = -8 + x. Is p a multiple of 6?
True
Let b = 12 + -17. Is 11 a factor of 10/25 + (-163)/b?
True
Let j(n) = -n**2 + 2*n + 2. Let i be j(3). Is 2 a factor of 7/(0/1 - i)?
False
Let u = 31 + 1. Is u a multiple of 16?
True
Let v(x) = 3*x - 3. Let p be (-1 - -1) + 8/2. Let d = 0 + p. Is 6 a factor of v(d)?
False
Let q(x) = 5*x + 10. Let b(s) = 9*s + 19. Let p(z) = 6*b(z) - 11*q(z). Let y be p(0). Suppose -6 = -3*m + 3*c, -c - 13 = -y*m - 2*c. Does 3 divide m?
True
Let h = -6 - -11. Suppose -h*q + i = -596, -12 = -4*i + i. Suppose -q = -5*k - 2*w, -k - 4*w + 21 = -3. Is 12 a factor of k?
True
Suppose -3*j - 15 = -123. Does 18 divide j?
True
Suppose -4*u = 382 - 1534. Does 24 divide u?
True
Let c = 4 - 1. Let n be c/(2*(-2)/(-20)). Does 4 divide 10/n - 10/(-3)?
True
Let d = -7 - -4. Let v be -3*(5 + -2)/d. Suppose j + v = -4*q, -5*j + 4*q = -0*j - 81. Is 12 a factor of j?
False
Suppose -44 = -5*p + p. Suppose -g = 1 - p. Is 10 a factor of g?
True
Let s(v) = 6*v. Let d(k) = k**2 + 2*k + 2. Let m be d(-2). Is s(m) a multiple of 6?
True
Suppose -7*j = -2*j - 30. Does 3 divide j?
True
Let o = 65 + -44. Let f = -6 + o. Is 15 a factor of f?
True
Let s be 132/(-30)*(-5 - 0). Suppose 2*d = -5*y + s - 2, -y = -5*d - 4. Does 4 divide y?
True
Let q(j) be the second derivative of j**7/72 - j**6/360 + j**5/120 + j**4/12 - 3*j. Let s(w) be the third derivative of q(w). Does 14 divide s(1)?
False
Suppose 3*j = 45 + 9. Suppose -2*h = c - j, 0 = -4*h - 0*c + c + 48. Is h a multiple of 11?
True
Let z = -7 + 10. Suppose 2*a = 11 + 13. Suppose n + k - a = 0, z*k - 5 = -n + 5. Is 13 a factor of n?
True
Suppose -4*b = 4*a - 168 - 156, -a + b = -73. Is a a multiple of 21?
False
Suppose x + 0*x - 77 = 0. Is 19 a factor of x?
False
Let u(n) be the first derivative of 2*n**3/3 - n**2 - 4*n + 3. Is u(3) a multiple of 4?
True
Let t be (-8)/(-12)*(-3 + 0). Is 5 a factor of (3/t)/((-3)/16)?
False
Let s(a) = 2*a - 9. Let d be s(6). Suppose 2*j - 140 = -d*j. Is j a multiple of 14?
True
Does 8 divide (-8)/(-5 + (-1 - -5))?
True
Let o(y) = -6 + y**2 + 5*y + 4*y**2 + y**3 - 8*y**2. Does 15 divide o(4)?
True
Let o(j) = 38*j + 1. Let s be o(-2). Let d = 127 + s. Let p = -22 + d. Does 17 divide p?
False
Let l be -1 + 3 + (2 - -1). Suppose -x + 3*w + 25 = 0, -7*w + 2*w = -l*x + 85. Does 13 divide (x/(-2))/((-4)/8)?
True
Let t = -10 + 15. Let r = 7 - t. Is r a multiple of 2?
True
Let m = -13 + 3. Let g be (-20)/(24/m + 2). Suppose g = -o + 6*o. Is o a multiple of 5?
True
Let j be 13/4 + (-2)/8. Suppose l = j*l - 4. Suppose l*v = -2*w + 14, -v = 2*w - 15 - 2. Does 8 divide w?
False
Let b(r) = -4*r - 9. Let l be b(-6). Suppose l = 2*o + t, 5*t - 30 = -3*o + 2*o. Is 3 a factor o