ppose 0*r = -4*r - 4. Let t = -75 + 44. Is r*((-1)/(-1) + t) a multiple of 13?
False
Let t(j) = -j**3 - 5*j**2 - 6*j - 4. Let k be t(-4). Is 19 + 4/k - -1 a multiple of 7?
True
Suppose 156 = -4*p - 548. Let n be 3/(4/(p/6)). Let l = n + 42. Is 7 a factor of l?
False
Suppose -5*d + 4*s - 8 = -3*d, -3*d = 3*s - 24. Let c be 1 - (-12 + -2 + d). Is 5 a factor of c + 1 + -1 + 1?
False
Let w = -26 - -146. Suppose -30 = -5*m + w. Is m a multiple of 16?
False
Suppose -4*k + 732 = 5*p, -5*p + 711 = -2*k - k. Is p a multiple of 24?
True
Let s(q) = q**2 + 2*q - 5. Let t be s(-7). Suppose -d = -0*d - t. Is 15 a factor of d?
True
Let y = 83 + -56. Is y a multiple of 9?
True
Let d(s) = 60*s**2 - 4*s + 3. Let r be d(2). Suppose r = 2*b - 5. Suppose 0 = -2*x - 2*x + b. Is 17 a factor of x?
False
Suppose -4*j + 26 = -3*j - 3*y, -104 = -4*j + 3*y. Suppose -4*u + 5*m + 142 = 0, 4*m - 65 = -3*u + j. Does 33 divide u?
True
Let z(w) = -9*w - 28. Does 10 divide z(-12)?
True
Suppose -3*v = 2*v + 3*i + 5, -25 = -5*v + 3*i. Let k(r) be the second derivative of r**5/5 - r**4/6 - r**3/3 - 2*r. Is k(v) a multiple of 20?
True
Is (-10)/(-4)*(4 + (-420)/(-25)) a multiple of 4?
True
Let w be 2/6 + (-16)/(-6). Suppose -s - w*s = -2*h + 104, -3*s + 312 = 5*h. Is 15 a factor of h?
True
Let p(l) = -l**2 + 4*l - 3. Let t be p(2). Suppose -4*s + 136 = -4*y, 10 - t = s + 4*y. Is s a multiple of 26?
False
Let y(c) = 4*c**2 + 5*c + 2. Let l(s) = s + 1. Let a be l(-4). Is y(a) a multiple of 23?
True
Is 29*(-3 - (-7 - -3)) a multiple of 7?
False
Let w(g) = -37*g. Is 17 a factor of w(-1)?
False
Suppose -5*u + 6 = -774. Is u a multiple of 39?
True
Let u(p) = p**2 + 7*p + 1. Let h be u(-3). Let q(m) = -3*m**2 - 8*m - 3. Let j(n) = -4*n**2 - 7*n - 2. Let c(v) = 2*j(v) - 3*q(v). Is c(h) a multiple of 16?
True
Let k be (-22)/2 - (5 - 5). Let s = k + 4. Is 3 + -3 + s/(-1) a multiple of 3?
False
Suppose -3*j + 18 = -j. Let q = j + -2. Is q a multiple of 7?
True
Suppose 4*m - 2*f = 464, -3*m + 4*m - 4*f = 109. Is m a multiple of 14?
False
Let w(v) = v**2 + 3*v - 9. Let j be w(6). Suppose j = 7*a - 4*a. Does 13 divide a?
False
Let u = 8 - 5. Let d be u + (-6)/(2/1). Let w(r) = r**2 + r + 14. Is w(d) a multiple of 7?
True
Suppose 2*q + 2*j = -2*q + 122, 3*q = -3*j + 84. Is q a multiple of 11?
True
Suppose -4*t + 10 = 2. Suppose a = -2*a + 4*y + 35, t*y - 5 = -a. Is 2 a factor of a?
False
Suppose -57 = 4*n - 5*m - 407, -3*n = 2*m - 274. Is n a multiple of 15?
True
Does 4 divide (-3)/(-9)*12*-2*-4?
True
Let s = -30 + 37. Does 2 divide s?
False
Suppose 66 = b - 345. Is 57 a factor of b?
False
Suppose -5*g + 706 + 334 = 0. Does 24 divide g?
False
Let z be 80/24 + 2/(-6). Suppose -4*w + 4 = 0, -z*b - w + 17 = w. Does 5 divide b?
True
Suppose 0*y + 18 = -3*y. Let l(q) = q**3 + 6*q**2 + 3*q - 1. Let k be l(y). Let d = k - -41. Does 22 divide d?
True
Let o(m) = m + 3. Let n be o(-3). Let h = 166 - n. Does 9 divide h/18 + (-2)/9?
True
Let j = 1 - -2. Suppose 0*l = -3*t + l + 4, j*t + 3*l = -12. Does 8 divide -10*(t - 1) + -2?
True
Let h(c) = -15*c - 3. Let g be h(-7). Let l = -61 + g. Is 12 a factor of l?
False
Let y(s) = 7*s - 7. Let b(l) = 20*l - 20. Let f(t) = 4*b(t) - 11*y(t). Is 3 a factor of f(2)?
True
Let k(b) = 11*b - 4. Let l = 6 + -4. Suppose 26 = l*d + 4*j, -3 = -4*d + 3*j - 6. Is k(d) a multiple of 12?
False
Let y be 10*-3*(-1)/6. Let x = 1 + y. Is x/((-48)/(-22) + -2) a multiple of 13?
False
Suppose -n = -4*n + 12. Let s(h) = 17*h - 4. Let k be s(n). Let i = -36 + k. Does 14 divide i?
True
Suppose -3*s - 92 = 2*q, 4*s - q + 118 = q. Let i = s + 50. Does 10 divide i?
True
Suppose 3*s - 3 = -x, 2*s + 12 = 4*s + 4*x. Suppose -5*l = -5*b - 50, s = -3*l - l - 3*b + 68. Let d = l + -10. Does 2 divide d?
True
Suppose o = 5*o - 3*t - 286, 5*t = o - 63. Is o a multiple of 13?
False
Let u be (1 + -1042)*(-1)/3. Suppose -5*x + 418 = o, 3*x + 103 = -4*o + u. Suppose 4*c - x - 76 = 0. Does 14 divide c?
False
Suppose 282 = 3*z + 3*z. Is 46 a factor of z?
False
Suppose 2*a = -2*p + 12, -8 = 4*a - 24. Let m be (24/30)/(p/10). Suppose -m*w - 1 + 33 = 0. Does 8 divide w?
True
Let q(n) = n + 11. Let l be q(-8). Suppose 2*g + 5*h - 53 = 0, l*h = -4*g - 0*h + 71. Does 14 divide g?
True
Let k = -32 - -140. Is k a multiple of 18?
True
Let r(b) = -32*b - 1. Is 7 a factor of r(-1)?
False
Let n(z) be the first derivative of -2 - 1/2*z**2 + 3*z. Is 4 a factor of n(-5)?
True
Let l(n) = 11*n**2 - 9*n + 22. Is 9 a factor of l(4)?
True
Suppose -3*s + 2*s = -8. Suppose -4*c = s - 84. Is 5 a factor of c?
False
Suppose 0 = 4*t + t - 25, 4*z = -t + 141. Does 12 divide z?
False
Let v(g) = -9*g - 9. Let f be v(-13). Suppose 72 + f = 5*y. Is 22 a factor of y?
False
Let k = -4 + 9. Suppose g + 5*r = -0 - 8, 0 = -k*r. Let j = g - -24. Does 8 divide j?
True
Suppose -1 + 11 = 5*d. Does 12 divide -2 + 72/d + 2?
True
Let q(f) = 0*f + 0*f + 2*f. Let m be (-14)/49 + (-116)/(-14). Is 16 a factor of q(m)?
True
Let v(m) = 30*m**2 - 1. Does 9 divide v(-1)?
False
Let s(z) be the first derivative of -z**4/4 + 3*z**3 + 11*z**2/2 + 4*z - 3. Does 5 divide s(10)?
False
Let m be 3 + -3 - -1 - -1. Does 11 divide (-67)/(-3) + m/(-6)?
True
Suppose -2*b + 4*b - 46 = 0. Suppose -5*j = -0*j + 75. Let d = b + j. Is d a multiple of 4?
True
Let p(u) = u**2 - 8*u + 7. Let g be p(7). Suppose -1 = -g*k + k. Is 22 a factor of 2/((-4)/(-86)) - k?
True
Suppose 148 = 2*z - 6*z. Let g(b) = 8*b**3 - b**2 - 3*b - 3. Let v be g(-2). Let r = z - v. Is 14 a factor of r?
True
Let i(j) = 49*j. Is i(1) a multiple of 17?
False
Is 3 a factor of (-4)/2 - 15/(-1)?
False
Let m(v) = v**3 - 9*v**2 + 10*v - 7. Let y be m(8). Suppose 0 = -12*f + y*f + 153. Is f a multiple of 17?
True
Let f(y) = y**3 - 5*y**2 - 4*y - 7. Let x be f(6). Let u = x + -10. Let v = 1 - u. Is 6 a factor of v?
True
Let o(t) = -t - 2. Let x be o(-6). Suppose -5*f + 74 - x = 0. Is 6 a factor of f?
False
Suppose 5*q + 253 = 973. Suppose 2*b = -3*y + q, 0 = -2*y - b + 31 + 64. Is 23 a factor of y?
True
Suppose -o + 0*p = -2*p, -4*p = 2*o - 8. Let q = -35 + -59. Is o/(q/(-46) - 2) a multiple of 17?
False
Is 27/15 - 2 - (-7637)/35 a multiple of 25?
False
Let d(i) = -19*i - 1. Let o be d(4). Does 16 divide 2/4 + o/(-2)?
False
Let p be 3 + -3 - (-3 - -1). Suppose -7 = -5*u + s, p*u - 5*s = 3*u - 17. Suppose 12 = u*v - 0*v. Is 3 a factor of v?
True
Let t(b) = 2*b**2 + 6*b + 10. Is 9 a factor of t(-6)?
False
Is 57 + (3 + -1)/((-26)/39) a multiple of 14?
False
Let z = -35 + 66. Suppose 0*c - 119 = -4*c - 5*g, g - z = -c. Is 12 a factor of c?
True
Suppose 5*f - 772 = f. Is 30 a factor of f?
False
Let l = 382 + -157. Suppose y = 6*y - l. Is y a multiple of 18?
False
Let k be (5/3)/(1/6). Let w(t) be the first derivative of t**4/4 - 10*t**3/3 + t**2 - 7*t + 19. Is w(k) a multiple of 5?
False
Let x = -5 + 3. Let q be (-1)/x*(3 + -3). Suppose q*k - 74 = -2*k. Does 14 divide k?
False
Suppose 0 - 20 = -4*h. Let a = h - -4. Does 8 divide a?
False
Let b(x) = 2*x - 1. Let m be b(3). Suppose -2*s + 2*f = -20, -56 = -m*s + f + f. Suppose -4 = j - s. Is j a multiple of 6?
False
Let u(r) = r**2. Is 6 a factor of u(6)?
True
Let f(j) = 3*j - 14. Let h(o) = 4*o - 14. Let t(a) = 6*f(a) - 5*h(a). Let s = 4 - 14. Is t(s) a multiple of 3?
True
Let d(m) = -4*m + 4. Let n be d(4). Let y be 0 + 0 + 0 + n. Let c = y - -17. Is c a multiple of 2?
False
Let p(y) = 9*y + 15. Is p(4) a multiple of 13?
False
Let t = -49 - -29. Let k = t - -30. Is 10 a factor of k?
True
Let r = 359 - 212. Does 49 divide r?
True
Let k be (-156)/27 + 6/(-27). Let z = -6 - k. Is 3 a factor of (-1 - z)/(2/(-12))?
True
Suppose 5*t - 74 = 1. Suppose 4*v + 2 = -14, -5*v - t = o. Let m(g) = g. Is 4 a factor of m(o)?
False
Let c = -23 - -49. Suppose -2*u = -4*i - 0*i - 28, -u + 5*i + c = 0. Does 4 divide u?
False
Let g(q) = -8*q + 18. Is 2 a factor of g(-1)?
True
Suppose -2*n + 124 = -4*n. Is (n/(-4) + -3)*2 a multiple of 25?
True
Suppose -73 = -4*u - 3*n - 2*n, 2*n = 2*u - 50. Is 8 a factor of u?
False
Let q(i) = i + 4. Suppose -2*z - 6 = -14. Is 7 a factor of q(z)?
False
Is (5 + -4)/((-2)/(-14)) a multiple of 7?
True
Suppose 0*c = -3*c + 12. Let z = c - 1. Suppose 3*l = 2*l + 4*g + 20, -4*l - z*g = -23. Does 8 divide l?
True
Suppose -5*t = -2*c + 320, -4*t = -6*c + 2*c