 3 - 11*m**3 + m. Let x be y(-1). Is 24 a factor of -180*((-48)/x)/6?
True
Let k = -43 - -45. Suppose k*r = -7*r. Suppose 2*o - 3*s = -6*s + 83, -4*o + 4*s + 176 = r. Does 4 divide o?
False
Suppose -4*n = -3*b + b - 140, 5*n = -5. Is b*2/4*-3 a multiple of 9?
True
Suppose 106 = -r + 4*z, -5*r - z - 236 = 252. Let u(w) = 18*w + 4. Let d be u(6). Let g = d - r. Is 35 a factor of g?
True
Suppose -180 = l - 6*l. Let m be (-8)/l - -1*47/9. Suppose 0 = m*n - 9*n + 340. Is n a multiple of 21?
False
Let j = -309 - -314. Suppose -j*s - 4*d + 1812 = 0, -5*d + 735 = s + s. Does 12 divide s?
True
Suppose -204*b - 3*j - 25145 = -206*b, 3*b + 3*j - 37755 = 0. Is b a multiple of 148?
True
Let j(i) = 31*i**2 + 103*i + 30. Is j(18) a multiple of 24?
True
Let r(v) = 55*v**3 + 3*v**2 - 2*v - 12. Let s be r(-7). Does 72 divide 1/5 + 1*s/(-20)?
True
Let m(x) = -1351*x + 330. Is m(-2) a multiple of 8?
True
Suppose -5140 = -22*v + 3968. Suppose -2*m = -3*l + 602, -4*m - 3*l - 1463 = m. Let c = m + v. Does 14 divide c?
False
Let h be ((-368)/(-64) - (-1)/4) + -418. Let n = h + 652. Is 10 a factor of n?
True
Let a = 647 - -1589. Is a a multiple of 52?
True
Let d(s) be the second derivative of -s**4/12 + 4*s**3/3 + 214*s**2 + 6*s - 11. Is 46 a factor of d(0)?
False
Suppose -z - 5*m + 651 = 0, 100*m - 99*m + 693 = z. Suppose w - 2*x - 4 = 0, -2*w = -w - 4*x - 8. Does 9 divide w + (7/(-14) - z/(-4))?
True
Let r(h) = 1174*h**2 + 258*h - 504. Is 165 a factor of r(2)?
False
Let i = -124 + 126. Let s(q) = -q**2 + 8*q + 4*q**i - 2*q**2 + 3*q - 26. Does 18 divide s(-19)?
True
Let i(a) = 222*a**3 - a**2 + a. Let b be i(1). Let v be (b/7 - -2) + 10/35. Let l = v - 25. Is 4 a factor of l?
False
Let j(m) = 857*m**2 + 16*m + 27. Is 26 a factor of j(-5)?
True
Let d be ((-740)/25 - (-4)/(-10))*-1. Let q = 170 - d. Suppose 0 = -10*i + 3*i + q. Is 10 a factor of i?
True
Suppose 10*p - 70 = -0. Suppose -m = p*m - 456. Is 20 a factor of m?
False
Suppose 2*i + 2*v - 44238 = 0, -10 = 595*v - 590*v. Does 140 divide i?
False
Let w be 11964/10*(-14)/105*-25. Suppose 22*q - 26*q = -w. Is 45 a factor of q?
False
Let r(a) = 2*a**3 + a**2 - 2. Let x be r(2). Suppose x*v = 14*v + 8. Suppose 84 = h - v*q, 7*h + 2*q - 228 = 4*h. Does 26 divide h?
True
Let p(n) = -n**2 - 5*n - 9. Let h be p(-3). Is 4 a factor of 36/(-45)*(h - (-79)/(-2))?
False
Suppose 0 = -22*q + 19*q + 2*g + 57270, -q = 2*g - 19082. Is 8 a factor of q?
True
Suppose -5*p = -g - 16, -2*p - 10*g + 11*g + 7 = 0. Suppose q + 914 = p*t + 192, -3*q - 486 = -2*t. Is t a multiple of 16?
True
Let w be (-1 + (-2)/10)/((-3)/10). Suppose -4*z = w, 4*k - 5*z - 37 = -16. Is 27 a factor of (-100 + -10)/(-1 + 2/k)?
False
Let y(q) = 2394*q + 67. Is y(1) a multiple of 4?
False
Let s(z) = -18*z + 82. Let d be s(5). Is 23 a factor of 4460/18 + -4*d/144?
False
Let i = -701 + 1845. Does 111 divide i?
False
Suppose -f - 5*v = 123 - 3771, 3648 = f + 4*v. Is 114 a factor of f?
True
Let a(g) = -7 + 15 + 7 + 9 + 30*g. Is 26 a factor of a(5)?
False
Let t(f) = 3*f - 1. Suppose 4 + 17 = m + 5*p, -5*m + 240 = -2*p. Suppose -4*q - m = -2*l, 2*q = -6 + 2. Is t(l) a multiple of 4?
True
Suppose -2*b - 4*s = -64, 5*s + 25 = b - 0*s. Let q(j) = -15 + 45*j + b*j - 85*j. Does 15 divide q(-6)?
True
Let o = -231 + -15. Let g = o + 439. Is 16 a factor of g?
False
Suppose 4*h + 10 = 3*z, -10 = h + 4*h - 5*z. Let g(s) = -s - 1. Let k(i) = 12*i - 28. Let m(w) = h*g(w) - k(w). Does 39 divide m(-15)?
False
Let u(o) = -3*o**2 + 154*o + 100. Let d be u(51). Suppose -x - 4*a = 10, 0*x - 3*a = 2*x + 15. Is d + (-8 - x)*(-3)/6 a multiple of 8?
True
Let p be ((-16)/(-20))/((-42)/35)*3. Is (p + (-20)/(-8))/((-4)/(-992)) a multiple of 31?
True
Does 7 divide (4/12)/((-113771)/56889 - -2)?
True
Let a = 4796 + 2339. Is a a multiple of 12?
False
Let f(h) = -4*h**2 + 42*h - 13. Let k be f(6). Suppose 3 = -0*r - 3*r. Is k + -3 + (-1 - r) a multiple of 23?
True
Let p = 33 - 31. Suppose -5*z + p + 4 = 3*m, m + 2*z - 1 = 0. Suppose -171 = -m*o - 2*o. Does 5 divide o?
False
Is (-9652)/(-3) - 5*((-64)/(-120))/8 a multiple of 23?
False
Suppose -20*y = -25*y - 2*x + 6683, 3*x = 12. Suppose 3*w + 390 = y. Is 9 a factor of w?
True
Suppose 131 = 3*w - 670. Suppose 0 = 2*p + 2*i - 18, 29*p + 4*i - 6 = 27*p. Suppose w = d + p. Is 63 a factor of d?
True
Suppose 4*d = 4*a + 21288, 66*d - 26655 = 61*d - 4*a. Does 12 divide d?
False
Suppose -15*i = 30247 - 188362. Suppose -i + 3251 = -18*l. Is l a multiple of 27?
True
Suppose -5*l + 28 = -2*c, 0*c + 5*c = l - 1. Suppose -t + 515 = 2*h, -l*t + 2*t + 2069 = -h. Suppose -464 = -4*m - 4*k, -5*m + 75 = 2*k - t. Does 24 divide m?
True
Let q(u) = u + 101. Let b be q(-14). Suppose v + 3*i - b = 0, 4*v = -i + 205 + 154. Does 15 divide v?
True
Let z(q) = 163*q**2 - 24*q - 87. Is z(-9) a multiple of 12?
True
Let s(u) be the first derivative of 4*u + 2*u - 14 - 3*u**2 - 3*u + 4*u + 8*u**3. Is 5 a factor of s(1)?
True
Let y(o) = 428*o**2 + 32*o + 180. Is 32 a factor of y(-5)?
True
Let y = -8496 - -14997. Does 10 divide y?
False
Suppose -4*t + 4*h + 348 = 0, -5*t + 6*t = -h + 77. Let r = t + 92. Is 17 a factor of r?
False
Let f(o) be the first derivative of 17 + 2/3*o**3 + 6*o - 1/4*o**4 + 3/2*o**2. Is f(-3) a multiple of 6?
True
Let v be ((-11)/((-88)/480))/(2 + 0). Suppose 4*j = -5*h - 7, 0 = j - 0*h - 4*h - 14. Is -2*j/2 - v*-3 a multiple of 6?
False
Suppose 0 = 2*a - 5*d - 20 - 1, 0 = -d - 3. Is a/4 - (-2025)/20 a multiple of 16?
False
Let c(f) = -874*f - 187. Is 5 a factor of c(-1)?
False
Let f be (31/(-2))/((-2)/(-4)). Suppose 271 = -5*g - 3*t, -280*g + 3*t = -278*g + 121. Let a = f - g. Does 6 divide a?
False
Let i(j) = 4 - 3 + 511*j - 491*j. Suppose 2*w + 1 = 3. Does 7 divide i(w)?
True
Suppose 0 = 9*r - q - 2399, -104 = -4*r + 2*q + 956. Is r a multiple of 2?
False
Let a(i) = 36*i**3 + 7*i**2 - 47*i. Is a(4) a multiple of 2?
True
Let t be 4/(-16) + (-781)/(-4). Let c(s) = -30*s + 33. Let b be c(-3). Let u = t - b. Is 36 a factor of u?
True
Let m(a) = -3*a**2 + 126*a - 1. Let c be m(41). Let h be (-1340)/5*(-2)/2. Suppose -r + c = r + 2*d, 4*r - 2*d = h. Is 18 a factor of r?
False
Suppose -z = 3*q + 11087 - 57962, -2*z - 62510 = -4*q. Is 17 a factor of q?
False
Let o(n) = n**2 + 11*n - 25. Let v be o(8). Suppose 1585 = 3*q + 2*q. Suppose v = 4*p - q. Is 16 a factor of p?
False
Suppose -48*w - 51702 = -34*w - 35*w. Does 12 divide w?
False
Let b be (-4)/6*(2 + -1451). Let s = 1221 - b. Is 51 a factor of s?
True
Let r = 15 - 13. Let y be 3/(-4)*2/(-3)*0. Suppose -2*o + 178 = r*j, y = 2*o + o. Does 13 divide j?
False
Suppose 4*s + 0*s + 4 = -3*k, 0 = -k - 5*s - 5. Suppose k = -41*u + 29756 - 4910. Is 16 a factor of u?
False
Does 6 divide (2579 + 1)*8/(-112)*-7?
True
Let j be (6 - (-11)/(-2))*0. Suppose 3*s + 2913 = 3*l, j*l - 4*l - s = -3859. Does 42 divide l?
True
Let r(w) = 4*w - 33. Let t be r(7). Let y(f) = -4*f + 3. Let x be y(t). Does 17 divide x/23 + 38/1*4?
True
Let v(s) = -4*s - 43*s**3 - 2*s - 12 + 42*s**3 + 8*s**2 - 3*s. Let q(r) = -r**2 + 6*r + 5. Let x be q(6). Does 9 divide v(x)?
True
Suppose -56 = -2*y + 2*u - 3*u, 0 = -3*y - 3*u + 87. Let z = 239 - y. Is 12 a factor of z?
False
Let c(i) = -10*i - 4. Suppose 0 = 2*y - 4*q + 16, 2*y = 6*y - 5*q + 26. Is c(y) a multiple of 18?
True
Is ((175490/(-253))/(-35))/((-1)/(-11)) a multiple of 14?
False
Let m(r) be the second derivative of r**4/12 - 5*r**3/3 - 40*r**2 + 14*r + 2. Is m(18) a multiple of 18?
False
Let z be (0 + -52)/(-4)*1. Let j(c) = c**2 - 14*c + 15. Let p be j(z). Suppose -y + 3*f = p*f - 3, -2*y = 4*f - 12. Does 4 divide y?
True
Does 234 divide 8/(-30)*-54430 + 8/(-12) + -1?
False
Suppose -28387 - 22526 = -14*x + 312737. Is x a multiple of 6?
False
Suppose -46*x = -45*x + 6. Is 304 + x/(-2) + -2 a multiple of 61?
True
Let o = 534 - -78. Is o a multiple of 9?
True
Let i(n) = -3*n**3 + 15*n**2 + 18*n + 19. Let g = -18 - -16. Let m(x) = -x**3 - x + 1. Let u(l) = g*m(l) + i(l). Does 10 divide u(16)?
False
Suppose -708066 = -28*g - 18874. Is 61 a factor of g?
False
Suppose 19*v - 7918 = 393210. Does 191 divide v?
False
Suppose y - 4480 = -t, -2*t = -356*y + 360*y - 17918. Does 41 divide y?
False
Let n(a) = 4*a + 0*a - a**3 - 1 - 7*a**2 + 3*a - 3. Let l be n(-8). Suppose o + l*r = 58, -5*o - 2*r 