 = -l. Is 397/7 + m/(-28) a multiple of 23?
False
Let h be (-4188)/42 - (-6)/(-21). Let a = 172 + h. Does 5 divide 470/18 - 8/a?
False
Suppose -2*i - 4*n - 4 = 0, 2*i + 0*n + 11 = 3*n. Let p = 2 + -12. Does 14 divide (i/p)/((-1)/(-40))?
False
Let y(g) = 53*g - 10. Let v be y(6). Let o = v + -113. Is o a multiple of 35?
False
Does 11 divide (-600)/(-7) - 88/(-308)?
False
Suppose x = -3*l - 146, -4*x - 487 - 141 = l. Let y = x - -110. Let r = -24 - y. Is r a multiple of 8?
True
Suppose 25 = -l + 1. Is 19 a factor of (-333)/1*8/l?
False
Let x = -7 + 4. Let m be (-33 + 11)*x/2. Suppose -2*k = -5*s - 3*k + 48, m = 5*s - 4*k. Is s a multiple of 6?
False
Is 6 a factor of ((-117)/2)/((315/108)/(-35))?
True
Let t be (-3 - -1)*(-22 + 20). Suppose -3*l = 2*l - 20, 0 = 3*i - 3*l + 12. Suppose k + 4*o - o - 7 = i, -k + 3 = t*o. Does 11 divide k?
False
Let i(p) = -79*p + 138. Is i(-6) a multiple of 17?
True
Suppose -4*i + 16 - 73 = 5*w, i + 30 = -3*w. Let t be 57/3*(-2)/2. Let z = w - t. Does 3 divide z?
False
Let q be (4 + -3)*(-7)/(-1). Suppose -2*t + q*t = -n + 28, 2*t + 140 = 5*n. Is 10 a factor of n?
False
Let v(l) = 24*l + 3 - 7 - 4 + 9. Is v(2) a multiple of 5?
False
Let p(q) = 19*q**2 + 91*q + 5. Is p(-12) a multiple of 17?
True
Let m(c) = -2*c**3 - 18*c**2 - 2*c + 56. Does 8 divide m(-12)?
True
Let d(k) = -22*k + 69. Let g be d(3). Let h(s) be the third derivative of s**6/120 + 5*s**4/24 - s**3/2 + 2*s**2. Is 13 a factor of h(g)?
True
Let q(m) = m**3 - 15*m**2 - 24*m + 39. Let y = -6 + 23. Does 19 divide q(y)?
True
Let r(s) = 2*s - 17. Let l(b) = b + 6. Let h be l(5). Is 5 a factor of r(h)?
True
Let q be (-52)/130*(1 + -66). Let g = -17 + q. Is g a multiple of 9?
True
Suppose -170 = -5*w - 2*x, -5*w + 118 = x - 57. Does 22 divide w?
False
Let f = 27059 - 11799. Let i be 2/11 + f/(-77). Is (2/(-6))/(3/i) a multiple of 22?
True
Suppose 0 = d + 2*d. Suppose -t + 1 = d, 2*g = t - 2*t - 3. Is 9 a factor of g/6 + (-82)/(-3)?
True
Suppose -551 = -h - 4*r, -3*h + 2*r + 1626 = 5*r. Suppose h + 1001 = 7*n. Is n a multiple of 20?
True
Let w(z) = 2*z + 9. Let f be w(-8). Let h(a) = -2*a - 12. Let l be h(f). Suppose 4*d = -0*d - l*u + 112, -5*d + 145 = 5*u. Is 18 a factor of d?
False
Let z = -3459 - -5939. Is z a multiple of 62?
True
Let k = 2443 + -1730. Does 11 divide k?
False
Is 94 a factor of (21 + -1)/((-164)/(-34030))?
False
Let j be (1 - 7)*(-4 + 3). Is 9 a factor of (50 + -2)*4/j?
False
Let g = -577 - -738. Does 7 divide g?
True
Is 22 a factor of 2/5 - 17154/(-15)?
True
Suppose 19 = 2*g + 5*f, -g - 2*f = -0*g - 8. Let w(j) = -4*j + j + 7*j + g*j**3 + 0*j**3 - 3. Is w(2) a multiple of 5?
False
Let j(i) = -362*i - 492. Is 136 a factor of j(-10)?
True
Suppose 3*l = p, -p + l + 8 = -0*p. Suppose -5*v + v + p = 0. Suppose 200 = v*y + 2*f - f, 215 = 3*y + 4*f. Is 13 a factor of y?
True
Suppose 0*t - 3*t + 1134 = -2*i, -3*t + 1149 = 3*i. Does 4 divide t?
True
Let i(t) be the first derivative of 93*t**2/2 - 7*t - 37. Is 37 a factor of i(2)?
False
Suppose -3*g + 815 = 4*f, 2*f + 3*g - 277 = 138. Does 40 divide f?
True
Is (7 - -743)*(5/3 + -1) a multiple of 7?
False
Let r(m) = -15*m**2 - 14*m + 12. Let c(u) = -5*u**2 - 5*u + 4. Let h(l) = 11*c(l) - 4*r(l). Is 21 a factor of h(4)?
False
Suppose -2*x + 1418 = 3*q, 0*x - 8 = -2*x. Suppose a - 175 = -2*j, -q = -5*j + 6*a - 2*a. Is 9 a factor of j?
True
Is 22 a factor of (-67 - -1)/(24/64*-4)?
True
Suppose 5*l = 4*g + 500, -3*g = -3*l - 0*g + 300. Let j = -7 - -13. Suppose -20 = -4*k, 4*u - j*k - l = -2*k. Is 10 a factor of u?
True
Let x be (-1 - 2)/((-4)/(8/2)). Suppose -5*l - c = -450 + 42, 2*l + x*c - 171 = 0. Does 27 divide l?
True
Suppose 5*s - 15 = -t + 7, 0 = -s - 4*t + 12. Suppose 4*n = s - 0. Suppose -5*b = -u + n, 2*u = b - 0*b + 11. Is 3 a factor of u?
True
Let h = 455 - 335. Does 40 divide h?
True
Let y = -1265 + 1972. Does 19 divide y?
False
Let m = -11 - -7. Let q be 55 + 1/(2/m). Let i = -25 + q. Is i a multiple of 15?
False
Let i = -615 + 1072. Does 25 divide i?
False
Suppose -6 = 3*h - 15. Suppose c = n - 5*n - h, -4*c + 21 = 5*n. Is 4 a factor of c?
False
Suppose x + 0 = -87. Let c = x + 102. Is 7 a factor of c?
False
Let g = 251 - -1420. Is 12 a factor of g?
False
Let l = 416 - 267. Suppose 5*p = -n + l, 141 = 2*n + 2*p - 149. Does 16 divide n?
True
Let j(d) = -6*d + 1. Let x be j(4). Suppose v + 5 = n + 47, -3*n = 6. Let u = v + x. Is u a multiple of 17?
True
Let v(h) = 2*h**3 - 13*h**2 + 142*h - 2. Is 51 a factor of v(8)?
True
Suppose 3*o - 58 + 16 = 0. Let x = 7 + o. Does 7 divide x?
True
Let l(k) = -168*k - 98. Is l(-2) a multiple of 17?
True
Is (15 + -139)*(75/(-6) + -3) a multiple of 7?
False
Let k(y) = 8*y + 52. Let t be k(0). Let z = t - -3. Is 5 a factor of z?
True
Suppose 75*h - 177 = 72*h. Is h a multiple of 3?
False
Let l be 3 + -6 + (370 - 1) - -3. Let a = l + -187. Is 14 a factor of a?
True
Suppose -t - 16 = 5*q, 5*q + 15 = 3*t - 17. Suppose 116 = t*l - 60. Does 22 divide l?
True
Let i(o) = -2*o + 16. Let b be i(6). Suppose 292 - 24 = b*a. Does 29 divide a?
False
Let l = 2531 - 1437. Does 66 divide l?
False
Suppose -6*w - 6 = -9*w. Suppose w*r - 100 = 52. Does 22 divide r?
False
Let h = 78 - 75. Suppose -h*w - 51 = -6*w. Is 2 a factor of w?
False
Suppose 141 = 7*i - 1182. Suppose -i = -13*s - 20. Does 5 divide s?
False
Suppose -80 = -2*d + 2*b, -5*d + 176 = -9*b + 10*b. Is d a multiple of 2?
True
Let a be 0 + -2 + 160 + -2. Let b = -86 + a. Suppose b = 3*g - 173. Is 27 a factor of g?
True
Let r = -25 - -23. Does 3 divide r/8 - (-148)/16?
True
Suppose 0 = -l - w - 4*w + 2, 3*w - 18 = -2*l. Suppose -12 = 3*j - 7*j. Suppose j*s = l + 60. Is s a multiple of 8?
True
Let v be (-1)/(10/11 + -1). Let r(p) = 2*p**2 - 2*p - 9. Let c be r(-2). Let g = v + c. Is g a multiple of 7?
True
Let o(f) = f**3 - 15*f**2 + 2*f - 5. Let h(s) = -s**3 + 6*s**2 + 2*s + 3. Let b be h(6). Is 5 a factor of o(b)?
True
Suppose 0 = -5*s + 4*g + 339, 5*s + 0*g = -g + 359. Let k = s - 27. Does 23 divide k?
False
Let d(h) = -h**3 + h**2 + h + 2. Let i be d(2). Suppose -2*a - 56 = -3*p - 15, i = -5*p + 15. Let v = 31 + a. Is 11 a factor of v?
False
Let v(n) = -135*n + 180. Does 66 divide v(-6)?
True
Let n(u) = 4*u**3 + u. Let l be n(-1). Let a be 374/8 + l/(-20). Let v = a + -27. Does 10 divide v?
True
Let q = -27 - -105. Suppose -q + 14 = -4*v. Does 16 divide v?
True
Suppose 5*r - 52 = 33. Suppose -3*z - 3*w = -90, -2*z - 5*w + 62 = r. Suppose -13 = -4*y + z. Does 12 divide y?
True
Let h(z) = -z**2 - 3*z + 264. Let b be h(0). Let j = 487 - b. Is 39 a factor of j?
False
Let i(d) = -11*d**2 - 137*d - 18. Is i(-9) a multiple of 17?
False
Let v = 38 + -36. Suppose -2*u - 8 = 0, -v*u + 134 = g - 50. Is 13 a factor of g?
False
Let a(m) be the second derivative of -23/2*m**2 - 2*m**3 + 1/20*m**5 - 5*m + 0 - 2/3*m**4. Does 15 divide a(10)?
False
Does 49 divide (-3746)/(-4) - (-20)/40?
False
Let y(a) = a**2 + 17*a + 34. Let h be y(-15). Let l(d) = -d**3 + 6*d**2 - 4*d + 15. Is l(h) even?
False
Let d be (1989/27)/((-1)/(-6)). Suppose 4*n - n + q = 339, -2*q = -4*n + d. Does 26 divide n?
False
Let p(l) = l**2 - 11*l - 10. Does 11 divide p(-9)?
False
Let p(q) = -q**3 + 6*q**2 - 4*q - 7. Let t be (10/(-4))/(1/2). Let a be p(t). Suppose 4*z - 2*m = -5*m + a, 0 = -m. Is 15 a factor of z?
False
Is 14 a factor of (-4 + 20/8)*(-730)/3?
False
Is 12 a factor of 0 + 45*(-32)/(-4)?
True
Let j(m) = 12*m - 133. Is j(16) a multiple of 5?
False
Is 20 a factor of 4156/26 - (-1)/((-78)/(-12))?
True
Let u(x) = x**2 - 9*x + 26. Let p be ((-30)/(-25))/((-3)/(-30)). Is 31 a factor of u(p)?
True
Let g(r) = -r**3 + 11*r**2 - 9*r + 5. Let v be g(10). Let f(j) = j**3 - 16*j**2 + 21*j + 22. Is f(v) a multiple of 28?
True
Let t(i) = 2*i + 13. Let f be t(-5). Is 28 a factor of (112/5)/(f/15)?
True
Let f be 4/(-22) + 21580/110. Is 17 a factor of f - (-4 + 0 - -4)?
False
Is 11 a factor of (-1361)/(-4) + ((-99)/(-36))/(-11)?
False
Let y(n) be the first derivative of -n**3/3 + 9*n**2/2 - 15*n + 12. Let g be y(6). Suppose 0 = -g*l + 5*l - 16. Is 8 a factor of l?
True
Suppose -7*t = -25 - 31. Let g(m) be the second derivative of m**3/3 + 2*m**2 - m. Is g(t) a multiple of 10?
True
Let q(n) = 13*n - 7. Suppose -v - 6 = -w, 0*w = 5*w + 2*v - 9. Does 18 divide q(