 = -i. Does 16 divide a?
False
Let d(f) = -f**2 - 10*f - 6. Let b be d(-10). Is 3/b*2 - -33 a multiple of 20?
False
Let q(n) = n - 1. Let i be q(5). Suppose 2*f - i = f. Suppose 57 = f*u - 3. Does 14 divide u?
False
Let u(x) = -x**2 - 4*x + 7. Let w be u(-5). Let g be (((-16)/1)/(-4))/w. Is 19 a factor of -1 + (41 - g - -1)?
False
Let s be 7 + -1 + 3 + -4. Suppose -4*u = c - 39 - 1, 0 = -s*c + 5*u + 125. Suppose 5*v - 98 = -5*o - c, -4*v - 56 = -4*o. Is o a multiple of 9?
False
Let f = 3 - 0. Suppose -113 = -8*w + 159. Suppose -2*y - 4*o + 0 = -w, 0 = -f*y - 3*o + 60. Does 11 divide y?
False
Suppose y - 186 = -5*h + 3*y, 39 = h - y. Is 6 a factor of (20/15)/(1/h)?
True
Let l be 58*10/5 + (-4)/(-2). Let p = l + 8. Is 21 a factor of p?
True
Is 15 a factor of 2968/9 - (-4 - (-204)/54)?
True
Suppose 0 = 4*m + 4*h + 22 - 234, -h = 4*m - 221. Suppose 2*u - m = -8. Is u a multiple of 8?
True
Let i(u) = -u**3 - 21*u**2 - 10*u + 113. Is 16 a factor of i(-21)?
False
Suppose 0 = -5*a - 106 - 39. Let l(h) = 2*h + 31. Let o be l(-9). Let t = o - a. Is t a multiple of 14?
True
Let q(d) = 92*d + 164. Is q(5) a multiple of 16?
True
Suppose -38*y = -33*y + 10. Is 11 a factor of y*(0 - -3*(-5)/2)?
False
Let x(b) = -2*b**2 - 6*b + 2. Let l be x(-3). Is 10 a factor of 64 + -2*(l - 4)?
False
Is (-125)/2*(-1496)/170 a multiple of 55?
True
Suppose 5*f + 54 = 324. Let x = f - 30. Is 5 a factor of x?
False
Let t(r) = r**2 + 2*r + 4. Suppose -13 = -4*a - 5. Suppose 5*i + a = -18. Is t(i) a multiple of 11?
False
Let p = 2638 - 430. Does 16 divide p?
True
Let u(y) = -56*y**3 + 9*y**2 + 30*y + 97. Is 95 a factor of u(-4)?
True
Let d = 9 + -7. Suppose a = -d*y + 13, -y + 0*y - 1 = 0. Is 7 a factor of a?
False
Let w(y) = y**2 - 4*y. Let f be w(5). Suppose -20 = -f*h - 0*h. Suppose 80 = -j + 5*j + h*r, 3*j + 4*r - 63 = 0. Is j a multiple of 6?
False
Suppose 5*x + 44 = -4*k, -4*x + 5*x - k + 7 = 0. Is 11 a factor of (-4)/x*50 + 1?
False
Suppose -7*s = -3*s. Suppose s*b = 5*b + 140. Let i = b + 55. Is 8 a factor of i?
False
Let f be 1/(1/20*4). Suppose 44 + 186 = f*r. Is 10 a factor of r?
False
Let d be (-2 - 1) + ((-147)/(-3) - 3). Let f = -8 + d. Is 9 a factor of f?
False
Let h = 248 - 147. Let d = h + -13. Is d a multiple of 6?
False
Let x = 4202 + -1035. Is 68 a factor of x?
False
Suppose 0 = l + 5, 0*l - 5*l = r + 22. Suppose 5*i - 1003 = -3*m, 6*m + 397 = 2*i + r*m. Is i a multiple of 10?
True
Let m(x) = 2*x**3 - 3*x**2 + 2*x + 2. Let t be m(7). Let r = t + -211. Is (9/(-6))/((-12)/r) a multiple of 11?
False
Suppose -4*b = 5*t - t - 20, -2*t - 3*b + 13 = 0. Suppose 3*q + 3*d - 255 = 0, q - t*d - 81 = -4*d. Does 15 divide q?
False
Suppose 5*s + 4 = 4*s. Let h be s*(1/(-1) + 2). Is (-6)/2 - (h - 15) a multiple of 16?
True
Suppose -f + 5 - 3 = 0. Let v = -91 + 93. Suppose -192 = -4*p + f*g, -v*p + 4*g + 58 + 26 = 0. Does 15 divide p?
False
Let l be (0/(-4))/((12/(-3))/4). Suppose -5*m + 5 = l, 0*m + m + 23 = 3*t. Is 6 a factor of t?
False
Suppose 192 = y - 3*y. Let b = 141 + y. Is b a multiple of 7?
False
Suppose 5*c + 435 = 1410. Suppose 0 = 2*d + d - c. Suppose 4*m - 205 = -d. Is m a multiple of 9?
False
Is 12 a factor of (-2060)/(-6)*15/10?
False
Let j = 340 - 316. Is j a multiple of 14?
False
Let v(p) be the second derivative of 4*p**3/3 - 6*p**2 - 2*p. Let k be v(-9). Is 14 a factor of k/(-8)*(3 + 1)?
True
Suppose 6*c = -15 + 3. Let x be 3/(-1*(-1 - c)). Is (11 + -2)*(-10)/x a multiple of 10?
True
Let l = -12 - -17. Suppose l*s + 32 = s. Let y = 54 - s. Is y a multiple of 23?
False
Suppose -204 = -y - y. Let u = y + 85. Let i = -79 + u. Does 36 divide i?
True
Let u(k) = -5*k - 21. Let p(g) be the third derivative of g**4/8 + 7*g**3/3 + 6*g**2. Let c(h) = 8*p(h) + 5*u(h). Does 5 divide c(-16)?
False
Let u = -8 + 5. Let i be -11 - ((-6)/u + -5). Is 20 a factor of (-1485)/(-20) - (-2)/i?
False
Let a(d) be the third derivative of d**5/60 + d**4/8 - 6*d**2. Let z be (6/9)/((-2)/(-21)). Is 16 a factor of a(z)?
False
Suppose -5*g + p = 0, -g - g - 4*p = -22. Let l be (-15 + g)/(6 - 7). Suppose 5*i - l - 46 = 5*r, -2*i = r - 39. Is 17 a factor of i?
True
Let j be (42/147)/((-1)/(-161)). Suppose n - 3*x = 23 + j, 4*n - 3*x - 249 = 0. Does 30 divide n?
True
Let t(a) be the first derivative of 3*a - 3/2*a**2 + 1/2*a**4 - 4 + 2/3*a**3. Is 14 a factor of t(2)?
False
Let d(w) = -65*w + 88. Is 27 a factor of d(-19)?
True
Let s(c) = -22*c**3 + 3*c**2 - 4*c + 1. Let f be s(2). Let h = f - -411. Suppose 0 = -u + 6*u - h. Is 16 a factor of u?
True
Suppose -t = -4 - 2. Suppose -4*p = -2 - t. Suppose -2*f + 4*l - 2 = 0, 0 = 8*f - 3*f + p*l - 55. Is 3 a factor of f?
True
Suppose -107*b + 10845 + 7131 = 0. Is b a multiple of 2?
True
Let x be (-57)/(-2) - (-4)/(-8). Suppose 4*w + 0*k = 2*k + x, -4*k = 16. Suppose 5*b + 0*b + 15 = 0, 0 = 5*z + w*b - 25. Is 8 a factor of z?
True
Let l(t) be the second derivative of -t**5/20 - t**4 - t**3 - 3*t**2 - t. Suppose -g = -0*i + 4*i + 4, i = -4*g - 46. Is 19 a factor of l(g)?
False
Let m be (-13)/2*(2 + 2). Let j be (-102)/(-13) + (-4)/m. Suppose -q + j = q. Does 4 divide q?
True
Let u = 36 - -28. Is 2 a factor of u?
True
Suppose 0 = 5*q + 2*y - 453 - 305, y - 304 = -2*q. Is 15 a factor of q?
True
Let m be -1 - (-3)/(12/(-20)). Let r(o) = o**3 + 6*o**2 + 3. Let t be r(m). Suppose t*h = 5*u + 8*h - 225, 2*u - 93 = -3*h. Is u a multiple of 14?
True
Let j = -390 - -569. Is j a multiple of 16?
False
Suppose -9 = -3*o - 0*o. Let t(w) = 15*w - 11. Let l be t(1). Suppose 8 = -l*f, -9 = -n - 2*f - o*f. Is n a multiple of 13?
False
Let u = 28 - 4. Suppose -3*k + u + 48 = 0. Is k a multiple of 14?
False
Let u(r) be the third derivative of 17*r**5/120 + r**4/12 + r**3/6 + 6*r**2. Let j(a) be the first derivative of u(a). Does 21 divide j(2)?
False
Let c(p) = p**3 - 7*p**2 + 9*p - 4. Suppose 0 = 2*r - 4*z - 16, -2*r - 5*z = -r + 6. Suppose -x = r*s + 13, -4*s - 18 = x + s. Is c(x) a multiple of 12?
False
Is 3 - 315/10*-6 a multiple of 31?
False
Suppose 6 = 3*y - y. Suppose -164 = -y*g + 5*d, -3*d - 2*d = 20. Is 16 a factor of g?
True
Let l(t) = -t**3 + 46. Let c be l(0). Let v = -2 + 5. Is ((-24)/(-16))/(v/c) a multiple of 7?
False
Let r = 6 - 7. Let z = 3 + r. Suppose -118 = -5*m + z*c - 5*c, 0 = m + 3*c - 26. Is 19 a factor of m?
False
Let j(a) = 63*a - 2. Let i(d) = -d**3 - 2*d**2 + 3*d + 8. Let k be i(-2). Is 14 a factor of j(k)?
False
Suppose -3*a + 88*v - 86*v = -826, 0 = 5*a + 5*v - 1385. Does 46 divide a?
True
Suppose -3*q = -3*u + 915, -3*q - 606 = -2*u - 5*q. Is u a multiple of 8?
True
Let a(o) = 3 + 1 + 0 - 23*o**2 + 33*o**2 - 2*o - o**3. Is 4 a factor of a(8)?
True
Let g(w) = -2*w - 11. Let f be g(-11). Let n(h) = h - 9. Let v be n(f). Suppose 0 = -3*x - 5*i + 33, x + 4*i - 33 = -v*x. Is 3 a factor of x?
False
Let h(q) be the second derivative of q**4/12 + 5*q**3/2 + 45*q**2/2 + 3*q. Does 26 divide h(-20)?
False
Suppose 243 = 10*a - a. Let n = a - -133. Does 20 divide n?
True
Is 65 a factor of 3926 + -128 + (0 - 1)?
False
Let l(n) = 1038*n**3 + n. Is l(1) a multiple of 15?
False
Suppose 0 = -61*h + 72*h - 2530. Does 41 divide h?
False
Let l be (5/(-2))/((-2)/(-4)). Is 4 - (-116 - (l - -5)) a multiple of 30?
True
Let u = -4 + 3. Let o(l) = -41*l**3 - 2*l**2 + 44*l**3 - 27*l**3 - 1 - 2*l. Is o(u) a multiple of 8?
False
Let p = 2 + 10. Suppose -4*v + 62 = 46. Suppose 0 = -v*r - 4*k + 180, r + 4*k = p + 33. Does 17 divide r?
False
Suppose 2*w - 357 = 187. Is w a multiple of 68?
True
Let h be (-1)/(-2)*(-4)/1. Suppose -3*n + 9*x = 4*x - 15, -36 = -3*n - 2*x. Is 24 a factor of 90*(h - (-28)/n)?
True
Suppose 4*q + 0*q = 12. Suppose 0 = -h + q*h - 102. Does 16 divide h?
False
Is -52*377/(-78) - 4/(-6) a multiple of 28?
True
Let k be (0*(-1 + 0))/(34 - 33). Suppose k = -92*u + 93*u - 27. Is 5 a factor of u?
False
Let t(l) = 2*l + 2. Let u be t(2). Let q be (u + -7)/((-2)/8). Suppose 0 = -3*s + j + 124 + 3, 170 = q*s - j. Is 10 a factor of s?
False
Suppose -525 = 39*r - 64*r. Does 17 divide r?
False
Let q(h) = h**3 - 7*h**2 - 13*h. Let v = 3 + 1. Suppose -45 = -n - v*n. Is q(n) a multiple of 15?
True
Suppose -2*b = -3 - 1. Suppose 0 = b*k + 3*k - 330. Is 22 a factor of k?
True
Suppose -821 = -41*x + 1885. Is 22 a factor of x?
True
Let m be (-108)/45*(6 - 1)