7 = 4*k. Does 17 divide k?
True
Let n be (21/4)/(6/(-16)). Let o = 18 + n. Is 22 a factor of 263/4 - (-1)/o?
True
Let r be ((-24)/(-18))/((-2)/(-21)). Suppose r = -4*l + 122. Is 10 a factor of l?
False
Suppose -2*u + 2 = 0, 4*y + 4*u + 177 = 3297. Does 41 divide y?
True
Let b(o) = 9*o - 117. Does 36 divide b(25)?
True
Let d(z) be the first derivative of 107*z**2/2 + 4. Let r be d(8). Suppose 3 = -g, 5*t - r = -4*g - 248. Is 31 a factor of t?
True
Let r(w) = w**2 - w + 11. Let o(n) = -n + 1. Let j(y) = -4*o(y) + r(y). Is j(-7) a multiple of 7?
True
Suppose -2*x - 2*x + 212 = 0. Let c = x + -30. Is c a multiple of 2?
False
Suppose -28*u + 18*u + 2010 = 0. Let w = -145 + u. Is w a multiple of 14?
True
Suppose 1 = -v + 6. Suppose -4*f = -5*n - 0*f + 360, 3*f - 325 = -v*n. Is n a multiple of 34?
True
Let a(o) = o**3 - 2*o**2 + o + 1. Let b be a(2). Suppose 0 = b*x + x - 20, -5*x + 79 = 3*h. Is h a multiple of 18?
True
Suppose -125 = -22*i + 17*i. Let a = i - 13. Is (-666)/a*2/(-3) a multiple of 11?
False
Let q(t) = 16*t**2 + 10*t + 14. Let i = 30 - 19. Let m(f) = 3*f**2 + 2*f + 3. Let n(r) = i*m(r) - 2*q(r). Does 12 divide n(-5)?
False
Let i be (-2)/3*36/(-4). Does 32 divide (-4 + i)*(-210)/(-4)?
False
Let x = 202 - -153. Is x a multiple of 13?
False
Let l = -12 - -15. Let a = l - 0. Suppose a*g = -15, 0*o + g - 47 = -o. Is o a multiple of 26?
True
Let j = -269 + 334. Does 2 divide j?
False
Let y = 349 - 160. Suppose -3*n + 0*n = -y. Is n a multiple of 9?
True
Let p(s) = -s - 39. Let a be p(-17). Let y(j) = j**3 - j**2 - j. Let o be y(-2). Let h = o - a. Is h a multiple of 4?
True
Let h(c) = -3*c**3 + 29*c**2 + 8*c - 4. Is h(7) a multiple of 6?
True
Suppose 0 = -3*l + 3*a + 108, 0*l - 3*a = -l + 36. Is 11 a factor of l?
False
Suppose -s + 4*g + 20 - 7 = 0, 9 = -3*g. Does 18 divide s/(-1*4/(-72))?
True
Let q = -68 + 63. Is (1 - 0)*(-4 - q)*52 a multiple of 13?
True
Let l = 96 + -219. Let t = l + 183. Does 12 divide t?
True
Suppose 0 = 4*t - 20, -1196 = 5*z - z + 4*t. Does 11 divide 10/4*z/(-40)?
False
Let j(p) = p**3 - 13*p**2 + 16*p + 23. Does 24 divide j(14)?
False
Let i be (-2 + -2)/((-58)/(-62) + -1). Suppose -3*r = i - 386. Does 22 divide r?
False
Let c = -5 + 9. Suppose 0 = -3*s, -s = -c*g + 144 + 240. Is g a multiple of 32?
True
Let z(x) = 144*x**2 + 3*x + 2. Let q be z(-1). Let m = q + -23. Is m a multiple of 24?
True
Let z be (2 - 1)/((-4)/172). Let t = -34 - z. Does 3 divide t?
True
Let k be 21/(-14) + (-14)/(-4). Let u = 5 - 0. Suppose -t = 2*a - 91, 0 = -k*a + u*t - t + 106. Is a a multiple of 12?
False
Let m(p) = p. Let k be m(2). Suppose -k*r + r + 112 = 0. Does 28 divide r?
True
Let c(w) = w**3 + 3*w**2 - 18*w - 2. Let k be c(6). Is 4 a factor of (-2 - k/(-10)) + (-4)/10?
False
Let x(l) = -5*l - 5. Let y be x(-2). Suppose 3*d = -w + 79, -y*d + 2*w = -168 + 29. Is 2 a factor of d?
False
Let n = 2239 + -1016. Does 10 divide n?
False
Let q be 0/(-3) + 1*2. Suppose -q*p = 2*p - 40. Suppose p*u - 13*u + 108 = 0. Is u a multiple of 12?
True
Is 4 a factor of (-32672)/(-192) - (-1)/(-6)?
False
Suppose -m = -24 - 18. Suppose 3*g - 144 = -m. Does 11 divide g?
False
Let x be (-6)/4*(-444)/(-18). Let q = x - -62. Does 5 divide q?
True
Let o = -41 - -46. Suppose -3*b - 141 = -5*k, -o*k - 4*b - 143 = -10*k. Is 3 a factor of k?
True
Suppose 28 = 4*m + 12. Let v be ((-6)/(-3))/(10/(-75)). Is m*1 + (v - -25) a multiple of 2?
True
Let n = 287 - 191. Does 24 divide n?
True
Let u(r) = 38*r - 6. Let g be u(3). Suppose 4*f = -68 - g. Let y = f - -63. Is y a multiple of 19?
True
Does 13 divide 2/(-8) - (5570/(-8) - 3)?
False
Let y be (0/((-3)/1))/2. Suppose -8 = -2*h + 4. Suppose -h*c + y*c = -84. Does 14 divide c?
True
Let a(m) = -m**3 + m**2 + m + 1. Let b be 1/(-3) + (-132)/(-18). Let l(s) = 3*s**3 - 2*s**2 - s - 2. Let n(x) = b*a(x) + 4*l(x). Is 13 a factor of n(2)?
False
Suppose -t - 4*u = 633, -2*t + 295 - 1501 = -4*u. Let s = -365 - t. Is s a multiple of 46?
False
Let n(u) = u + 2. Let d be n(7). Suppose 0 = -3*t + d, 5*w = 5*t + 134 + 51. Is 12 a factor of w?
False
Let a(j) = -j + 7. Suppose 2*m = 3*m + 1. Let k be m - 7 - (2 + -1). Is a(k) a multiple of 12?
False
Let u = -6 + -15. Suppose 0 = -6*q - 248 + 230. Is 14 a factor of q/(-7) - 1062/u?
False
Let q = 14 - -26. Does 17 divide 60/q*1*34?
True
Let g(x) be the second derivative of -x**4/6 + 25*x**3/3 - 19*x**2/2 + 23*x. Is g(24) a multiple of 29?
True
Let g be ((-128)/4)/(-1) + 10/(-5). Let w(x) = 2*x - 5. Let h be w(-8). Is 1*g*(-14)/h a multiple of 8?
False
Is 4 a factor of 6088/20 - 63/45?
False
Suppose 1997 = 6*u - 559. Is u a multiple of 6?
True
Let w(n) = n**2 - 30*n + 110. Does 5 divide w(0)?
True
Let h = 1480 - 1195. Is 54 a factor of h?
False
Suppose -35*m + 492 = -31*m. Let s = m - 56. Does 12 divide s?
False
Let w(a) = -4 - 5*a - a - 4*a**2 - 5*a + 16*a**3 - 15*a**3. Let o be w(6). Suppose o*c = c + 16. Is c a multiple of 8?
True
Let m = 674 + -396. Is 19 a factor of m?
False
Suppose 83 + 110 = s. Is 26 a factor of s?
False
Is 23 a factor of (1983/(-9) + 2)/((-1)/3)?
False
Suppose -54 = -0*n + n. Let g = 88 + n. Suppose -2*s = -0*s - 2*t - g, -4*s - 5*t = -59. Is 16 a factor of s?
True
Let k be 11/9 - (4 - 170/45). Does 13 divide (k - -30)*(1 + 0)?
False
Let t(b) = -18*b + 30*b - 4 + 15 + b**2. Let s be t(-12). Let r(v) = 2*v + 14. Is 16 a factor of r(s)?
False
Let v(x) = -16*x + 11. Is v(-2) a multiple of 5?
False
Let p(z) = 2*z**3 + 6*z**2 - 5*z - 6. Let f(n) = -3*n**3 - 6*n**2 + 5*n + 7. Let g(q) = -3*f(q) - 4*p(q). Is 11 a factor of g(6)?
True
Suppose -4*p - b = 2*b - 32, -4*b + 26 = 2*p. Suppose -p*y - 2*g - 30 = -4*y, 0 = 4*y + g + 92. Let z = y + 43. Does 21 divide z?
True
Let b be 6/(-8) - 5388/(-16). Let d = b - 223. Is d a multiple of 50?
False
Suppose -3*m - 3*l = -54, m + 5*l + 5 = 19. Let d = m + 41. Is d a multiple of 10?
True
Suppose -2*y - y + 6 = 0. Let l be (-107 - y) + -3 + 1. Let a = 161 + l. Is 10 a factor of a?
True
Let g = 1525 + -1038. Is 17 a factor of g?
False
Suppose 0 = 267*p - 272*p + 3160. Does 11 divide p?
False
Let c be (-32 - -30)/(-2 + 196/97). Let a = -49 - c. Is 16 a factor of a?
True
Let u be 3/(-2) + (-11)/(-2). Suppose u*p + 4*s + 68 = -92, -46 = p + 4*s. Let m = p - -66. Is m a multiple of 10?
False
Let i = 30 + -26. Suppose 3*v - 4 = i*q, 0 = -2*v - 3*q + 2*q - 12. Is 5 a factor of v - (25/(-1) - -3)?
False
Suppose 6*d = 4652 + 1684. Is d a multiple of 16?
True
Suppose 0*l + 4*l = -24. Let k be 1 - (-72)/(l/(-2)). Suppose 0 = 2*h - 57 - k. Does 22 divide h?
False
Is 2 a factor of ((-182)/52)/(2/(-52))?
False
Suppose -1 = 5*u + 4, u - 140 = -3*y. Suppose 3*r - s = y, s - 3*s = 3*r - 41. Is 7 a factor of r?
False
Let q(m) = m**3 + 8*m**2 + 5*m + 6. Let r(p) = p - 9. Let h be -2 + 3/3 + 4. Let v be r(h). Does 8 divide q(v)?
True
Let m = 35 - -866. Is m a multiple of 3?
False
Let b(s) = s**3 - 2*s**2 + s - 2. Let d be b(2). Let x be (-3 - -3)*(-3)/9. Suppose -2*q - 10 = x, d = t + q + 3 - 13. Is t a multiple of 4?
False
Let s be (-1)/(-3)*(3 + 6). Let v be 12*(11/(-2) + s). Is (84/v)/(4/(-10)) a multiple of 3?
False
Is (-691621)/(-406) + (-6)/(-4) a multiple of 18?
False
Let f(j) be the first derivative of -3*j**5/40 - 5*j**4/24 + 5*j**3/3 + 6. Let w(h) be the third derivative of f(h). Does 10 divide w(-5)?
True
Let j = -365 + 609. Suppose -4*p + 0*p = -j. Let y = -35 + p. Is y a multiple of 6?
False
Suppose 6*l - 5*l = 12. Suppose 12*f = l + 36. Does 4 divide f?
True
Let h(i) = -i**3 + i**2 + i + 8. Let r be h(0). Suppose -37 = -5*j + u, 1 = 3*u - r. Is 8 a factor of j?
True
Let v = -14 + 19. Suppose -v*c - 11 = -2*h, 11 = 5*h + 3*c + c. Suppose 64 = -h*g + 391. Does 13 divide g?
False
Let w(l) = l**3 + l**2 - 10*l + 5. Does 9 divide w(4)?
True
Let g = -4020 - -6742. Is g a multiple of 65?
False
Suppose 0 = -z - 4*z + 30. Let d = -4 + z. Suppose -d*k - 28 = -2*v, -k - 2*k = v - 22. Is 8 a factor of v?
True
Suppose -9*f + 20*f - 3300 = 0. Does 20 divide f?
True
Let j = 91 + -83. Suppose -l + 207 = -j*x + 6*x, 5 = -x. Does 47 divide l?
False
Let j = -3 - -7. Suppose 2*r = -j*q + 4, 2*q + 4 = -0. Suppose y = r*y - 80. Is 13 a factor of y?
False
Let q(o) = 2*o**3 - 4*o**2 - 6*o. Let s be (-2)/3 - 119/(-21). Let g be q(s). Suppose -k + g = 4*k. I