-7*n = -57*n + 70200. Does 9 divide n?
True
Let i = 52 - 50. Suppose 0 = -i*r - 0*r + 68. Does 23 divide r?
False
Let r = 41 + -36. Suppose 374 = r*z - 251. Is 25 a factor of z?
True
Suppose -4*z = 15 - 35. Is 5*(21 - 5)*1/z a multiple of 5?
False
Suppose 11 + 10 = 3*w - 2*y, -33 = -2*w - 5*y. Suppose w*s + 44 = 11*s. Is s a multiple of 22?
True
Let k = -192 - -426. Does 9 divide k?
True
Let x(s) = 2*s**3 + 29*s**2 - 7*s + 59. Is x(-13) a multiple of 23?
False
Is 32 a factor of 2238/(2/(-25) + (-869)/(-550))?
False
Suppose -15 = -2*s - 3*s. Let c be (3 + (-17)/s)*3. Is 7 a factor of (-6)/8 + (-230)/c?
True
Let y = 123 + -112. Does 8 divide y?
False
Suppose 15*n + 983 = 3023. Is 8 a factor of n?
True
Let g = 68 - 70. Is (-1 + 4 - 98)/(g/2) a multiple of 5?
True
Does 7 divide (1*(-245)/(-5))/1?
True
Let d = -40 - -26. Is 3 a factor of 4/d - 344/(-28)?
True
Let a = 981 - 225. Is a a multiple of 12?
True
Let l = 10 + -4. Let w(r) = 20*r + 8. Let k(g) = -7*g - 3. Let t(a) = l*w(a) + 17*k(a). Is t(15) a multiple of 4?
True
Suppose -4*r - 5*z - 113 = -33, -65 = 3*r + 5*z. Let n = -5 + 38. Let y = n + r. Is 9 a factor of y?
True
Suppose 3*m - 10611 = n, m = 3*n - 571 + 4116. Does 68 divide m?
True
Suppose 0 = 5*j + 4*s - 463, s = -3*j - 3*s + 281. Let p = j - 14. Is 11 a factor of p?
True
Let l(x) = -2*x - 24. Let a be l(-12). Suppose a = 11*t - 7*t - 108. Does 3 divide t?
True
Let f(q) = -q**2 + 83. Suppose 5*k + 20 = v, 2*v - 20 = 3*k + 2*k. Is 23 a factor of f(v)?
False
Let l(d) = 3*d**3 - 13*d**2 + 22*d - 48. Is 78 a factor of l(10)?
True
Let k(v) = -5*v + 28. Let x(g) = -g + 1. Let y(a) = -k(a) + 3*x(a). Is y(17) even?
False
Let t = -139 + 181. Is 3 a factor of t?
True
Let g = 9 - 16. Let o(w) be the third derivative of -w**5/60 - w**4/4 + 7*w**3/3 + 58*w**2. Is o(g) a multiple of 2?
False
Let c = 108 + -86. Suppose -2*d + c = -12. Is 2 a factor of d?
False
Suppose 2*p + 68 = -3*i + 603, 0 = -p - 4*i + 275. Does 23 divide p?
False
Let z be 2/(76/20 + -4). Let f = 31 + z. Is f a multiple of 9?
False
Let s = 20 - 17. Suppose -6*t + s*t = -162. Is t a multiple of 27?
True
Let x = -26 - -14. Let i = x + 12. Suppose i*k + 2*k + 2*f = 26, -f - 53 = -5*k. Is 7 a factor of k?
False
Let d(z) = -z**3 + 6*z**2 + 7*z - 3. Let m be 6*8/12 + 0 + 1. Is 17 a factor of d(m)?
False
Let r = 13 + 166. Let t = r - 40. Let a = -74 + t. Does 32 divide a?
False
Is 8 a factor of (-10)/(-6 + (-1048)/(-176))?
False
Let w(a) = 15*a**2 - 16*a - 56. Does 23 divide w(-4)?
False
Let c(n) be the second derivative of 4*n + 1/20*n**5 - 4/3*n**3 - 3/2*n**2 + n**4 + 0. Does 34 divide c(-12)?
False
Let l = -440 + 705. Let q = 453 - l. Suppose -q = -2*m - 2*m. Is m a multiple of 14?
False
Let g(f) = -7*f**2 - 3. Let p(l) = 7*l**2 - l + 4. Let x(u) = 5*g(u) + 6*p(u). Does 26 divide x(3)?
False
Suppose -16 = 4*h - 12*h. Suppose 210 = 2*k - 4*f, 3*k - 5*f = -h*k + 530. Suppose -2*t + a = -48 - k, 0 = -t - 2*a + 90. Is 20 a factor of t?
True
Let f = -24 - -172. Is f a multiple of 37?
True
Let z = -15 - -16. Is 5 a factor of 150/40*(z + 26/6)?
True
Let z = -422 - -607. Is z even?
False
Let n = 43 - 39. Suppose -544 = -n*f - 64. Is f a multiple of 24?
True
Let d = 12 + -8. Suppose 7*k = r + d*k - 69, 207 = 3*r + k. Let p = r - 37. Is p a multiple of 7?
False
Let r(s) = 10*s + 23. Let g be r(-5). Let v = g + 64. Is v a multiple of 5?
False
Suppose -46*v + 18*v - 43*v = 0. Let x = 5 + -2. Suppose v = -x*q - 2*q + 95. Is q a multiple of 3?
False
Let q = 35 + -9. Suppose 2*d - 4 = q. Let l = d - 7. Does 3 divide l?
False
Let k(v) = -v + 28. Suppose 5*b + 5*n = 10, 2*b + 5*n = -0 + 10. Suppose x - 6*x = b. Does 12 divide k(x)?
False
Let f = -1 + 4. Suppose j = 2*q + f*q + 27, -2*q = 2*j - 30. Let b = 9 + j. Is b a multiple of 19?
False
Let l(r) = -5*r - 2. Let q be l(-1). Let j be 14/4*18/q. Suppose j = y - 3. Is 8 a factor of y?
True
Let p(c) = c**3 + c**2 - 4*c - 25. Let u be p(6). Suppose 4*z - 165 = u. Is 9 a factor of z?
False
Let m(u) = -u + 1. Let g be m(-1). Suppose 0 = g*h + 4*q + 14, -5*h + 2*q = -q - 30. Suppose d - h + 0 = 0. Is 2 a factor of d?
False
Let l be 788/12 + -1*(-3)/9. Let z be (-1)/(-1) + 1 - 14. Let p = l + z. Is 25 a factor of p?
False
Let f(n) = 13*n**2 - 8*n + 66. Does 84 divide f(-10)?
False
Suppose 4892 = 2*z + 2*d, z = -4*z - 2*d + 12236. Is 68 a factor of z?
True
Let s(h) = 8*h - 62. Let t be s(21). Suppose 5*d - t - 184 = 0. Is d a multiple of 29?
True
Let z = -1 - 67. Let t = -39 - z. Is 3 a factor of t?
False
Suppose 2*a + 2*z = 6, 4*z = 3*a + 3*z - 13. Let s(y) be the first derivative of y**2/2 + 5*y - 2. Is s(a) even?
False
Suppose -4*l + 381 = c - 199, 3*l = -3*c + 1758. Is 49 a factor of c?
True
Suppose -2*h = 13*t - 10*t - 4037, -5*h - 2723 = -2*t. Is 18 a factor of t?
False
Let b(o) = 17*o. Let w be b(4). Suppose 3*g = -g - w. Let f = g - -39. Does 11 divide f?
True
Let v(z) = 2*z**3 - 71*z**2 - 31*z - 16. Does 9 divide v(36)?
False
Let m(r) be the first derivative of r**4/4 + 5*r**3/3 + 2*r**2 + 8. Let v be m(-4). Suppose v = -4*d + 5*u + 138, 41 = 3*d - 2*d + 2*u. Is d a multiple of 10?
False
Suppose 0 = 5*h - 0*h - 10. Suppose -x + 67 = h*r, r + 0*x = -2*x + 38. Does 16 divide r?
True
Let f(r) be the second derivative of -r**4/12 + 11*r**3/6 - 5*r**2 - 20*r. Is f(5) a multiple of 13?
False
Let q = 160 + -43. Is 17 a factor of q?
False
Let l(b) = -99 - b**3 - 9*b + 11*b**2 + 99. Is 14 a factor of l(9)?
False
Suppose 52849 - 16693 = 46*b. Does 26 divide b?
False
Let m(q) = q**3 - 7*q**2 - 6*q + 4. Let s(v) = v**2 + v - 4. Let l be s(3). Does 10 divide m(l)?
True
Let m(p) = p**2 - 5*p + 1. Let s be m(5). Let r(z) = 4*z. Let u be r(s). Suppose -8*c + 3*c - u*f + 51 = 0, 2 = -2*c + 4*f. Is 3 a factor of c?
False
Does 26 divide 153/(211/52 + -4)?
True
Let j(s) = 2*s. Suppose -15 = 4*o - 9*o. Let k be j(o). Suppose k*i = 389 - 47. Is i a multiple of 19?
True
Suppose 29*h + 2970 = 44*h. Is 18 a factor of h?
True
Is 68 a factor of ((-6936)/(-60))/((-1)/(-10))?
True
Suppose 2*j = 9 - 1. Suppose 2*m + 2*w = -w + 10, 0 = m - j*w - 5. Suppose -136 - 39 = -m*a. Is a a multiple of 12?
False
Let t(y) be the third derivative of y**7/840 - y**6/36 + 5*y**4/12 - y**3 - 2*y**2. Let s(o) be the first derivative of t(o). Is 5 a factor of s(10)?
True
Let v = 981 + -557. Is v a multiple of 8?
True
Let m(n) be the second derivative of n**5/15 + n**4/12 - n**3/6 + n**2/2 + 2*n. Let w(t) be the first derivative of m(t). Is w(-2) a multiple of 11?
True
Let g = 43 + -45. Is g/7 + (-760)/(-14) a multiple of 18?
True
Let b(v) = 59 - 329*v + 334*v + 9. Is b(-8) a multiple of 14?
True
Let r(i) = 2. Let v(y) = -1. Let l(h) = 4*r(h) + 7*v(h). Let a(p) = 32*p**2 + p + 6. Let t(b) = a(b) - 6*l(b). Does 7 divide t(-1)?
False
Suppose -6*j + 10 = -j. Let w(c) = 0 + 2*c**2 - 2 + c + 4*c**2 - j. Does 14 divide w(3)?
False
Let b(c) = 1 + 13*c + 1 + 2 - 2*c + c**2. Let u be b(-5). Let p = u - -56. Is p a multiple of 30?
True
Suppose 50*k - 11*k = 31941. Is k a multiple of 7?
True
Let f = -32 + 35. Suppose -f*v = 3*q - 33, -3*q - 7 = -v - 36. Is q a multiple of 3?
False
Let p(u) = 4*u**2 - 17*u + 49. Suppose 10 = 4*c + 3*s, 3*c + 4*s - 6 = -2. Is p(c) even?
False
Let i = -325 + 489. Suppose 111 = 5*l - i. Is l a multiple of 11?
True
Let v(y) = -y**2 - 16*y - 14. Suppose -3*q + 2*q - 4*r - 32 = 0, -3*r - 15 = 0. Is 17 a factor of v(q)?
True
Suppose 5*k - 14 = 1. Suppose i + 32 = k*i. Let y = 24 - i. Is y a multiple of 4?
True
Let j be (1211/(-14))/((-1)/2). Let w = -104 + j. Is 10 a factor of w?
False
Suppose 0 = a - 4*a + 24. Is 3 a factor of (-44)/(-10) + a/(-20)*1?
False
Let f(d) be the third derivative of 0*d - 1/3*d**3 + 1/60*d**5 + d**2 + 0 + 1/8*d**4. Does 12 divide f(4)?
False
Let o be (2/(-4))/(19/2166). Is (-7 - o) + 4*-1 a multiple of 39?
False
Is 720/(-28)*(-28)/8 a multiple of 10?
True
Suppose 5*t + 3*f - 5*f = 25, 0 = -3*f. Suppose 0 = -t*u - 10, 0*u = 5*v - 3*u - 86. Is v a multiple of 2?
True
Let v(t) = 6*t**2 - 4*t + 3*t - 3*t**2. Suppose 4*u = 6*u + 5*a - 16, -3*u = -5*a + 26. Does 13 divide v(u)?
False
Let o(q) = 9*q**2 + 5*q - 98. Is o(-11) a multiple of 12?
True
Let n = -38 - -94. Let g = 31 + -28. Suppose -g*p + n + 82 = 0. Does 13 divide p?
False
Let t(w) = 2*w**2 + 2*w