c = -37 - -40. Let j be (10/(-15))/(c/(-18)). Suppose 0 = -5*n - w + 92, j*n = -4*w + 122 - 42. Is n a multiple of 3?
True
Let v(r) = -r - 8. Let k be v(-12). Suppose 0*s + 8 = k*s. Suppose 0 = s*a - 17 - 3. Does 5 divide a?
True
Let b = -36 - -438. Suppose -4*n - 4*n = -96. Suppose 5*v + 4*t + n - b = 0, 2*t = 10. Is 24 a factor of v?
False
Let i = 436 - 253. Let h = i - 127. Suppose -14 = -2*k + h. Does 11 divide k?
False
Suppose 0 = 69*q - 99*q + 7920. Is q a multiple of 66?
True
Let l(j) = 5*j + 143. Does 13 divide l(0)?
True
Let i(z) be the second derivative of z**4/6 + z**3/2 + 13*z**2/2 + 5*z. Let u be i(6). Let b = 175 - u. Is b a multiple of 21?
False
Let o(i) = -i + 13. Let h be o(4). Suppose g - 12 = -3*g - 2*c, -3*g + 5*c = -h. Suppose -w + 60 = g*w. Is 5 a factor of w?
True
Suppose 4*c + 2 = 6. Let l be (8/24)/(c/(-3)). Is 5 a factor of (-13)/((-2 - l)*1)?
False
Let q(l) = 26*l**2 + 9*l + 76. Is 13 a factor of q(7)?
False
Let x be (-18)/(-9) - (1 - -28). Let k be (x + -2)/(2/4). Let u = k + 103. Is u a multiple of 15?
True
Suppose -4*d - 149 = -377. Suppose 0 = -3*w + w + 72. Let l = d - w. Does 7 divide l?
True
Let x be 1/(-3 - -4) - -59. Suppose 3*a - x = -2*a. Does 10 divide a/8*26/3?
False
Let t = 10 + -10. Suppose 154 = 3*h + 5*j, t = -2*h - 3*j - 2*j + 111. Is 7 a factor of h?
False
Let v be (10/2)/((-8)/(-104)). Let k = v - 116. Does 15 divide (8/(-6))/(2/k)?
False
Let y be (0 + 1)*(-1 - -1). Suppose -16*g + 4 = -14*g. Suppose y = -0*w + g*w - 10. Is w a multiple of 4?
False
Let z(t) = 2*t**2 - 2*t + 11. Let s be (-46 + 46)/(2*1/2). Is z(s) even?
False
Is 5/(-20) + (-56695)/(-92) a multiple of 11?
True
Let g be 0 - (-4)/(-6)*-6. Let f be 2/g*(5 - -1). Suppose -f*n + p = -4*p - 111, n - 38 = 2*p. Does 7 divide n?
False
Let a = 229 + -149. Does 8 divide a?
True
Let q(i) = -98*i + 136. Does 18 divide q(-7)?
False
Let m be (-2 + (-4)/6)*(-18)/12. Suppose -m*z - 5*k + 7 = -41, 3*z + 2*k - 43 = 0. Does 17 divide z?
True
Suppose -2*l - 2*s = -18, 2*l = 4*s - 0*s + 12. Suppose -7*v - 149 = -l*v. Does 30 divide v?
False
Let b = 4206 + -1350. Is 119 a factor of b?
True
Let w(m) = -6*m**3 - 8*m**2 - 27*m + 12. Is 16 a factor of w(-5)?
False
Let t(z) = z + 8. Let i be t(6). Let y = 3 + i. Let b = 3 + y. Is b a multiple of 10?
True
Suppose 5*a + 13 = 4*f, 2*f - 3 = 4*a + 11. Let y(u) = 16*u - 63. Let l be y(5). Let i = l + a. Does 3 divide i?
True
Suppose 14 - 29 = -5*y. Suppose 586 = 5*g - y*g. Suppose 0 = -4*b - 5*i - 31 + g, -2*i + 130 = 2*b. Does 21 divide b?
True
Let h(v) = -2*v**2 + 5 + 16*v + v**2 + 16 + 2*v**2. Does 3 divide h(-16)?
True
Let h(x) = -x**2 + 7*x + 11. Let j be (9/(-6))/((-12)/64). Let a be h(j). Suppose -2*t = -p - 12, 0 = 6*t - 5*t + p - a. Is t even?
False
Suppose 2*m = 4*j - 0*j - 218, -4*j + 221 = -3*m. Suppose 5*g - t = 4*t + 150, -5*g + 138 = -t. Let s = j - g. Is 13 a factor of s?
True
Let z(d) be the first derivative of d**2 + 7*d + 12. Suppose a + 15 = 2*g + 6*a, 20 = 3*g + 5*a. Does 17 divide z(g)?
True
Is 55/20 + -3 + 644/16 a multiple of 40?
True
Let d(y) = y - 11. Let x be d(15). Does 23 divide 4*x/24*69?
True
Let u(m) = 30*m - 35. Is u(4) a multiple of 17?
True
Let o = 18 - 19. Suppose 145 + 26 = 3*i. Is (3 + -4)*i*o a multiple of 16?
False
Let i = 378 - -56. Is 31 a factor of i?
True
Let u(k) = -k**3 + k**2 - 8*k - 4. Let h be u(-6). Suppose 326*b + 48 = 330*b. Suppose -8*t - h = -b*t. Is 13 a factor of t?
False
Let x(o) = 7*o - 38. Let g be x(5). Is 28 - (g/(-2) - (-1)/2) a multiple of 13?
True
Let v = 5072 + -3083. Is v a multiple of 63?
False
Let c be (-4)/16 + 141/(-12). Let r(y) = -y**3 - 11*y**2 + 13*y - 4. Let s be r(c). Is 15 a factor of s/80 - (-106)/5?
False
Let w(a) = a**2 - 38*a - 120. Let b be w(42). Let f(t) = -t**2 - 4*t + 7. Let l be f(-5). Suppose -l*g = -8*g + b. Does 2 divide g?
True
Let k(b) = 3*b**2 - 15*b - 3. Let d(h) = 9*h**2 - 44*h - 8. Let t(z) = 6*d(z) - 17*k(z). Does 10 divide t(5)?
False
Suppose 4*t - 287 = j - 34, -3*j + 329 = 5*t. Suppose t = -3*m + 862. Does 38 divide m?
True
Let o(d) = -13*d - 18*d - 34*d + 1 - 25*d. Is o(-1) a multiple of 13?
True
Does 44 divide (18/(-8))/((-14074)/(-1760) - 8)?
True
Let q(h) = -5*h + 49. Let m be q(10). Is 73*(-3 - (-3 + m)) a multiple of 17?
False
Let s = 461 + -87. Is s a multiple of 23?
False
Suppose 2*a = -4*a + 66. Is 10*3 + -13 + a a multiple of 7?
True
Let p = -74 - -70. Is 18 a factor of 4/(-6)*(-58 - p)*3?
True
Let a(k) = -13*k + 19. Let m be a(4). Let s = -13 - m. Is 9 a factor of s?
False
Suppose 0 = 5*y - 15, -5*y = -k - 2*y - 695. Let z = k - -1016. Is 15 a factor of z?
True
Let c(g) = g**3 - 12*g**2 - 40*g - 6. Is c(15) a multiple of 42?
False
Let p(o) be the first derivative of o**2 + 5*o - 8. Let r be p(-6). Let h(k) = k**3 + 8*k**2 + 2*k + 10. Does 15 divide h(r)?
True
Let u(z) = 30*z**2 + 12*z + 69. Does 36 divide u(-5)?
False
Let u(l) = 3*l**3 - l. Let s be u(-1). Let h = 50 + -57. Is 3/(s + (-17)/h) a multiple of 7?
True
Let s(w) = w**2 - 2*w + 5. Does 26 divide s(-9)?
True
Let h = 5 - 1. Let r(u) = -u**3 + 44*u**2 - 2*u + 91. Let w be r(44). Suppose -18 = p - 2*p + w*f, -h*f - 57 = -5*p. Is 4 a factor of p?
False
Suppose -128687 = 77*t - 96*t. Is 16 a factor of t?
False
Does 25 divide 202/1717 + 1/((-34)/(-8496))?
True
Let i = 662 + 972. Is 36 a factor of i?
False
Suppose -4*t - 61 = t - 3*n, 0 = 4*t - 2*n + 48. Does 2 divide (12/4 - 4)*t?
False
Is (-11)/((-363)/308)*(-462)/(-4) a multiple of 7?
True
Suppose b + 1 - 2 = 0. Let g be b/2 - (-21)/14. Suppose -g*q = -q - 27. Is q a multiple of 7?
False
Let m(j) = -j**3 - 2*j**2 - 3*j. Let z be m(-6). Let s = 298 - z. Is 34 a factor of s?
True
Let j(v) be the third derivative of v**5/30 + 16*v**3/3 - 21*v**2. Is 27 a factor of j(0)?
False
Suppose 5 = -2*o + 15. Suppose -32 = o*w - 212. Is w a multiple of 9?
True
Let w(n) = 48*n**2 + 2*n + 2. Let g(y) = y + 6. Suppose -4*b + 3*t - 13 = 0, b + t = 2*b + 2. Let f be g(b). Is 16 a factor of w(f)?
True
Suppose x - 1477 = -2*d, 0 = -d + 7*x - 5*x + 751. Does 11 divide d?
False
Let c = -28 + 85. Suppose -17*q + 14*q = -c. Does 10 divide q?
False
Let k be ((-4)/22 - (-51)/(-22))*-2. Suppose 82 + 58 = k*z - 5*l, 84 = 3*z + 3*l. Is 14 a factor of z?
True
Suppose -3*j - 2*j - b = -379, -3*j - b + 227 = 0. Let x = j + -13. Suppose 2*h - 5*s - 95 - x = 0, -198 = -2*h - 5*s. Is h a multiple of 29?
False
Suppose 5*v = 4*p - 10799, -111*v - 5427 = -2*p - 114*v. Is 25 a factor of p?
False
Let j(l) be the second derivative of -1/12*l**4 + 0*l**2 + 1/6*l**3 + 2*l**5 - 7*l + 0. Is j(1) a multiple of 10?
True
Let x(z) = -4*z**2 + 66*z - 10. Is x(15) a multiple of 10?
True
Let t(r) = r**2 + 1. Let x be t(-1). Suppose -x*j = -5*h, -5*h - 3*j + 20 = -j. Suppose 3*c - 84 = -u, 5*c = -h*u + 6*u + 140. Is 9 a factor of c?
False
Let i = 18 - 39. Does 28 divide (i/5)/(3/(-60))?
True
Let x = -1463 + 2288. Is 75 a factor of x?
True
Let w = 1193 - 110. Is 57 a factor of w?
True
Suppose 0 = -i - 3, -5*q + 3*i + 13 = 2*i. Is 2 a factor of q?
True
Suppose -2*t + 1686 = 500. Does 50 divide t?
False
Let z = 180 - 169. Let t(r) = r**2 - 4*r - 4. Let j be t(3). Let d = j + z. Is 4 a factor of d?
True
Is 14 a factor of ((-129)/(-2))/((-56)/(-3472))?
False
Is 11 a factor of 27 + -24 - 45*-14?
False
Suppose -5*x = -x - 28. Let c = x + 25. Is c a multiple of 11?
False
Is 21 a factor of ((-6)/(-9))/(8564/(-4284) - -2)?
True
Let c = -3332 + 4952. Is c a multiple of 30?
True
Let b be (9/12)/(4/(-96)*-6). Suppose -5*x + 63 = r, -b*r + 11 = 2*x - 9. Does 13 divide x?
True
Let t(x) = 2*x + 3. Let h be t(3). Let l be (564/(-9))/((-3)/h). Suppose 0 = -5*b + 37 + l. Is b a multiple of 16?
False
Let g = 1408 + -684. Does 56 divide g?
False
Let h(k) be the first derivative of -k**2 + 8*k + 9. Let r be -10*4*(-2)/(-20). Is h(r) a multiple of 16?
True
Suppose 0 = -s - 5*z + 145, -2*z + 815 - 205 = 5*s. Let f = 215 - s. Is 24 a factor of f?
False
Let s = -4 + 8. Suppose 2*w + 39 = 5*r, r - s*w = 10 + 5. Suppose 0 = 3*g + 4*h - 82, r*g - 156 = 2*g + 3*h. Does 10 divide g?
True
Let m(z) = 22*z**2 - z + 1. Suppose 5*d + 2*f - 22 = 0, -4*d = -5*d - 3*f + 7. Suppose -2 = d*g - 6. Does 16 divide m(g)?
False
Suppose 5*f = 20 + 30. Let g(s) = s**2 - 11*s - 6. Let n be g(f). 