-3*i + 104 + 85 = 0. Is 16 a factor of i?
False
Let w = 38 - 1. Let k = w + -11. Suppose 3*g + 3*u - 30 = 0, k = 3*g + 4*u + 1. Is g a multiple of 13?
False
Let v(q) = 30*q**2 + q + 1. Suppose -w = 2*f - 1, 3*w + 0*f = 2*f - 5. Is v(w) a multiple of 15?
True
Let h = 20 + 153. Suppose 0*z - 2*u = z - 37, 5*z = 2*u + h. Does 11 divide z?
False
Suppose 2*u = 5*d - 64, 5*d + 3 = u + 65. Suppose -3*n = -5*n - d. Is (-160)/n - 10/15 a multiple of 10?
False
Let b = -21 - -97. Is 20 a factor of b?
False
Suppose -5*b + 54 = 2*d - b, 5*b = -2*d + 56. Does 23 divide d?
True
Let p = -1 - -5. Does 4 divide p?
True
Let q(w) = -3*w + 1. Let r be q(3). Let t(g) = -3*g - 1. Let h(d) = -3*d. Let p(n) = 3*h(n) - 2*t(n). Is p(r) a multiple of 13?
True
Suppose -3*s = -4*m - 5*s + 24, -m - 4 = -2*s. Let y(p) = 6*p + 4. Does 7 divide y(m)?
True
Suppose 5*o = 2*o + 36. Is (-30)/o*318/(-15) a multiple of 9?
False
Suppose -r - 4*b - 20 = 0, 4*r - 4*b + 80 = -2*b. Let l = 36 - r. Is l a multiple of 17?
False
Suppose -i = h + 1, -h - 2*i = -2*h + 11. Suppose 4*w = 5*k + w - 101, 2*k = h*w + 35. Does 22 divide k?
True
Let h = 9 + -17. Let l = 13 - 10. Let d = l - h. Does 3 divide d?
False
Let w(m) = m**2 + 5 + 2*m**2 - 21*m + 27*m. Let u = 1 + -5. Does 16 divide w(u)?
False
Suppose -28 = 2*t + n, -t - 5*n - 4 = 1. Let j be 254/6 + 5/t. Let l = j + -9. Is 12 a factor of l?
False
Is 8 + 1/(-3)*0 a multiple of 8?
True
Does 13 divide (2/(-3))/(4/(-204))?
False
Let m be 20 + -5 + (-9)/(-3). Let o = 11 + 0. Let k = m - o. Is k a multiple of 6?
False
Let a be (-2 + 2)/(12/(-6)). Let l(h) be the third derivative of -h**5/60 + h**4/24 + 7*h**3/3 + h**2. Is 7 a factor of l(a)?
True
Suppose 9 = 2*s - c, 5*s + c = -c. Suppose l - 12 = s*l. Let g = -2 - l. Does 5 divide g?
True
Let x = 1 + -23. Let j = -11 - x. Is j a multiple of 11?
True
Let l(m) = 26*m - 15. Does 37 divide l(2)?
True
Let s be 3 + 3/(0 - 1). Suppose s = -3*v - 0*v + 264. Is 27 a factor of v?
False
Suppose -5 = -4*c + 3*k - 2*k, -4*c + 3*k = -15. Suppose 0 = -f - c*f + 5. Suppose -f*w = 3*r + 2*r - 35, -5*w = -2*r + 49. Does 6 divide r?
True
Let n = -8 - -6. Let y be n/((6/(-15))/1). Suppose 5*u - s - 107 = 0, 0 = -4*u + u - y*s + 81. Does 9 divide u?
False
Let b(f) = -f**3 - 3*f**2 + 3*f - 12. Is b(-6) a multiple of 26?
True
Suppose 2*i - 3*i + 7 = 0. Let w(g) = g - 4. Let u be w(i). Suppose 5*k - u*d + 0*d = 221, -4*k + 196 = 4*d. Does 23 divide k?
True
Let a(h) = h**2 + 9*h. Let q be a(-7). Let y = q + 20. Is y a multiple of 4?
False
Let o(a) = 2*a**2 + 1. Let d be o(1). Let v be 8/d + 5/15. Suppose -3*x - j + 16 = 0, -3*x = v*j - 3 - 9. Does 4 divide x?
False
Let m be (64/(-12))/((-1)/3). Suppose -3*q - 14 = -2*g - 0*g, 4*g + m = -5*q. Does 3 divide g - -2 - -2 - 2?
True
Let s(g) = -g**2. Let f(i) = 4*i**2 + 4*i + 3. Let k(x) = f(x) + 3*s(x). Is 16 a factor of k(-9)?
True
Let n = -13 - -22. Let u(i) = i + 0 + 0*i + 5. Is u(n) a multiple of 7?
True
Suppose 5*f + 3*b - 396 = 0, 4*f - 207 = 5*b + 95. Suppose -c = -3*c + f. Does 13 divide c?
True
Let d(z) = 61*z**3 - 9*z**3 + 4 - 2*z - 3. Is d(1) a multiple of 17?
True
Suppose -3*t = 3*a - 8*a - 19, 2*t + 4 = 0. Let r(s) be the second derivative of s**4/12 + s**3/6 + 7*s**2/2 + 2*s. Is r(a) a multiple of 13?
False
Let y(z) be the third derivative of -z**5/60 - 3*z**4/8 - z**3/2 - 7*z**2. Is 15 a factor of y(-6)?
True
Let c(q) be the third derivative of q**5/60 + q**4/6 + 7*q**3/6 - q**2. Let p be (14/4)/(2/(-4)). Does 14 divide c(p)?
True
Let d be (3/(-3))/1 - 3. Let l(o) = -5*o + 4. Is l(d) a multiple of 14?
False
Let c(q) = -5*q**2 + 30 + 3*q**2 + q**2. Let h be c(0). Is (-40)/3*(-36)/h a multiple of 16?
True
Let l be 288/13 - 20/130. Suppose y + l = 2*t - t, 0 = -2*t - 4*y + 56. Is 12 a factor of t?
True
Let k(m) = -2*m**3 + 15*m**2 - 24*m + 17. Let p(z) = -z**3 + 7*z**2 - 12*z + 9. Let r(a) = 3*k(a) - 5*p(a). Is r(8) a multiple of 14?
False
Let d = -11 + 17. Does 22 divide -12*(-3 + (-4)/d)?
True
Let b(a) = 2*a**2 + a + 2. Does 17 divide b(-6)?
True
Let x(z) be the second derivative of z**3/6 + z**2/2 - z. Let p = -71 + 77. Is x(p) a multiple of 3?
False
Let y = 559 - 193. Is 51 a factor of y?
False
Suppose -55 = t - 4*d, -2*t - 74 = 3*d + d. Let s = t + 81. Is 22 a factor of s?
False
Let r(w) = -2*w + 10. Let v be r(7). Is 10*((-32)/5)/v a multiple of 8?
True
Is 19 a factor of (8/((-240)/126))/((-1)/25)?
False
Let o(l) = -3*l - 2. Let k be (-3)/9 + (-32)/(-6). Suppose 6 = 2*w - k*i - 6, -4*w = 4*i + 32. Is o(w) a multiple of 5?
True
Suppose -99 = -q - 2*q - l, 4*q = -l + 131. Does 10 divide q?
False
Let x = -6 + 5. Let o be (x - 3)*(0 + -38). Suppose -4*v + o = -0*v. Does 19 divide v?
True
Let g(h) = -6*h + 2. Does 5 divide g(-6)?
False
Does 25 divide (-8)/10 + 762/15?
True
Let r be 3/(-2)*16/(-6). Let t = 1 + r. Suppose 2*c + 115 = t*i - c, i - 46 = -4*c. Does 13 divide i?
True
Suppose 5*y - 4 = y, 2*p - 5 = y. Suppose -3*g - 2*g = p*v - 14, -g = 5*v + 6. Let t = g - -2. Does 3 divide t?
True
Let r be (-1)/3 + 39/9. Suppose k - 2*y - 4 + 1 = 0, -r*k + 12 = y. Suppose -c - m = 3*c - 19, k*c - 2*m - 28 = 0. Is c a multiple of 6?
True
Let i(q) = -1 + 7*q - q**2 - q**2 + 9 + 3*q**2. Is 15 a factor of i(-11)?
False
Suppose 0 = z + 3*w - 7, -4*z - 5 = 4*w - 25. Suppose -12 = 3*g, -3*a = z*g - 2*g - 13. Let i = -4 + a. Does 3 divide i?
True
Let r = -16 - -31. Let o = -10 + r. Suppose -34 = -3*z - o*k, -3*z = z - k - 76. Does 9 divide z?
True
Let i(u) = 12*u**2 + u + 1. Suppose -5*k = 2 + 3. Is 7 a factor of i(k)?
False
Suppose -2364 = -5*v - 399. Is v a multiple of 15?
False
Let m(f) = f + 17. Let r be m(-13). Suppose 7*o - r*o = 138. Does 22 divide o?
False
Let l(m) = 2*m**3 - 11*m**2 - 13*m + 15. Is 21 a factor of l(7)?
False
Let q = 26 + 41. Suppose -4*c = s + 42, c + q = 4*s + 184. Is 8 a factor of -2*7/(21/s)?
False
Let y(z) = z**3 - 7*z**2 - 7*z - 2. Let p be y(8). Is 9 a factor of ((-36)/7)/(p/(-28))?
False
Suppose 3*z = 4*r + 63, 5 + 105 = 5*z - 5*r. Is z a multiple of 7?
False
Suppose q - 4 + 3 = 0. Is 14 a factor of 22 + (-2 - q - -5)?
False
Let u = -2 - -90. Is u a multiple of 4?
True
Let d = -34 + 98. Suppose -d = -0*n - 4*n. Is 13 a factor of n?
False
Let p(h) = h - 2*h + 5 + 2*h. Let u be 5/4*(4 + 0). Does 10 divide p(u)?
True
Suppose -r - 3*f - 2 = 7, 5*r - 12 = 4*f. Let t = r + 10. Is 9 a factor of t?
False
Let g = 95 + -55. Is g a multiple of 5?
True
Let h(r) = -r + 353. Let x be h(0). Suppose -x = -5*o - 73. Is o a multiple of 19?
False
Suppose -3*g + 4 = -j, 2*j = -2*j + 2*g + 14. Suppose 5*y - 56 = 4*l, 3*l + 50 = 4*y + j*l. Does 6 divide y?
True
Does 8 divide 9/45 - 159/(-5)?
True
Suppose -33 = 2*x - 715. Does 17 divide x?
False
Let t(d) = -d + 7. Let z be t(8). Is 13*(-1)/z - 0 a multiple of 6?
False
Let w(g) = -3*g**3 - 5*g**2 - 4*g. Is w(-2) a multiple of 12?
True
Let r = 3 + 0. Let c = 99 + -57. Suppose -r*j = -2*j - c. Does 25 divide j?
False
Suppose 0*y + 54 = y. Is y a multiple of 14?
False
Let a = 21 - 2. Does 7 divide a?
False
Let h = -20 + 89. Does 7 divide h?
False
Let h(o) = o**3 + 3*o**2 - 4*o. Let w be h(-4). Suppose 2*r + 3*i = 7, -r + 2*i - 7 = -w*r. Let d = r + 23. Is d a multiple of 10?
False
Let g = -10 - -14. Suppose 0 = 4*x - x + 12, g*q = -x. Does 3 divide 1 - (0 - q) - -2?
False
Let p(b) = -b + 8. Is p(-9) a multiple of 17?
True
Suppose -5*v + 2*l = -2*l, 3*l = v. Suppose -5 = -n - v*n. Suppose 0 = 2*z - z + 3*r - 2, 0 = -5*r - n. Is z a multiple of 2?
False
Let q(j) = -j**2 + 4*j - 3. Let a be q(3). Suppose r - 3 = 1. Suppose 120 = r*m - a*m. Is m a multiple of 28?
False
Suppose 8*t = 335 + 297. Let u(p) = p**2 + p. Let b be u(-4). Suppose 0*s - 4*s + 5*w = -t, 0 = 4*w + b. Is s a multiple of 16?
True
Suppose -4*k - 5 = -h, 3 = -2*k - 2*h - 7. Suppose -6*p = -p. Does 11 divide 11 - (2 - p) - k?
True
Suppose -19*l = -14*l - 475. Does 47 divide l?
False
Let j(i) = i + 11*i**2 + 7 + 0*i - 7. Suppose -6 - 2 = 4*m. Does 15 divide j(m)?
False
Let j(q) = q**3 - 2*q**2 - q - 1. Let n be j(3). Suppose n*a = 11 + 44. Is 8 a factor of a?
False
Let r be (-137)/(-2) - (-2)/(-4). Let p = r - 15. Suppose 5*n - 24 - 3 = -2*s, -3*s = 5*n - p. Does 11 divide s?
False
Suppose 0 = -2*b + 6 - 10. Is ((-46)/(-6) + b)*3 a multiple of 17?
True