p be u(-7). Is p*-1 - (6 + -24) a multiple of 14?
False
Let y be ((-21)/(-28)*-10)/(2/4). Let o = 101 - 71. Let u = o + y. Does 13 divide u?
False
Let y(u) = u**2 - 8*u - 12. Let n be (48/14)/(120/28 + -4). Is y(n) a multiple of 12?
True
Let u(k) = k**2 - k - 3. Let z be u(-3). Is 28 a factor of (3 - z)*56/(-12)?
True
Let y = 867 - 555. Is y a multiple of 19?
False
Let h(x) = x - 1. Let c be h(-14). Suppose -4*n - n = s + 8, -4*n + s = 1. Does 8 divide 27/(n - c/6)?
False
Let l be ((-10)/(-4))/((-11)/(-22)). Suppose -l*r - 5 + 30 = 0. Suppose r*j + 6 - 21 = 0, 0 = 4*a + 4*j - 220. Is a a multiple of 26?
True
Let x(j) = j + 11. Suppose 36 = -3*f + 9. Let w be x(f). Suppose 0 = w*t - 6*t + 192. Does 22 divide t?
False
Let l = 371 + -110. Is l a multiple of 17?
False
Let r = 22 + -9. Let c = 29 - r. Does 4 divide c?
True
Let d = 3199 + -1327. Does 117 divide d?
True
Let d be (0 - 3)*-1*24. Suppose 0 = 3*z - 132 - d. Is z a multiple of 21?
False
Let t(h) = -h + 2. Let x be t(0). Let f be (4/x)/(6/15). Suppose 0 = u - 4*r + 2*r - 2, f = r. Is u a multiple of 6?
True
Let w = 117 - 45. Does 4 divide w?
True
Is ((-1432)/(-48))/(3 + (-34)/12) a multiple of 14?
False
Suppose 2*j + 33 = -21. Let x be 4/3*j/(-2). Suppose 7*g = 8*g - x. Is g a multiple of 9?
True
Let u(x) = -x**2 - 10*x + 5. Let z be u(-11). Does 32 divide ((-64)/z)/(3/9)?
True
Is 51 a factor of 977 + (72/162 - 62/18)?
False
Does 41 divide 3/(-3 - 3)*142278/(-23)?
False
Let x = -1430 - -2228. Does 14 divide x?
True
Let v be -11 + 0 + 4/2. Let h = v + 18. Is 9 a factor of h - (-2)/(0 + 2)?
False
Let s(i) = 3*i**2 + i - 1. Let m be s(-2). Suppose 20 = 5*x + d, 2*d = 2*x + 1 - m. Is -4 - x/((-4)/43) a multiple of 13?
True
Let h = 7 - 4. Suppose 60 = h*n + 2*n. Suppose -n = -4*r - 3*k, 0 = 2*r + r + 4*k - 9. Is 3 a factor of r?
True
Suppose l - 5*i + 25 = -3*l, 0 = -4*i - 12. Let p = l - -37. Is 16 a factor of p?
False
Let r(l) = 33216*l**2 - 2*l - 2. Let j be r(-1). Does 35 divide 4/22 + j/264?
False
Let l(s) = 921*s + 3. Let j be l(2). Suppose j = 21*m - 1557. Is 18 a factor of m?
True
Let m be 35*6/(-42)*-2. Let c = 67 + m. Is c a multiple of 8?
False
Suppose 0 = -3*x + 1135 + 77. Suppose -u - r = -2*u + 80, 5*u - x = r. Does 20 divide u?
False
Let v(r) be the third derivative of r**7/42 + r**5/120 - r**4/24 - 5*r**3/6 - r**2. Let f(y) be the first derivative of v(y). Is f(1) a multiple of 10?
True
Let s be 514/(-4)*(4 + -6). Let i = s + -122. Suppose 0 = 2*o - i - 21. Does 24 divide o?
False
Suppose -5*p - 5*g + 106 = -2*g, 2*p + 5*g = 50. Suppose 4*w - p = -2*q, 2*w = q - w - 10. Is 6*(-4)/8 + q a multiple of 4?
False
Let w be (-36)/(-15) - (-6)/10. Suppose 0 = -w*h - h + 12. Suppose 2*m + j + h*j - 18 = 0, 3*m + j - 42 = 0. Is m a multiple of 15?
True
Let z(m) = -m**3 - 11*m**2 + 3. Let l be z(-11). Suppose l*u + c + 3 = -0*c, u - 3*c = -1. Let j = u - -29. Is j a multiple of 22?
False
Is -6 + 91/14 + (-1626)/(-4) a multiple of 14?
False
Let n = -474 + 2874. Does 20 divide n?
True
Let x(l) = -l**2 + l + 3. Let y(h) = 2*h**2 - h - 4. Let a(g) = -3*x(g) - 2*y(g). Let d be a(-4). Let q = d - -37. Is 8 a factor of q?
True
Suppose -44*w + 1711 + 16153 = 0. Is w a multiple of 14?
True
Suppose -d - 5 - 5 = 3*h, -4*d = 4*h. Suppose -3*f + 3 = g, -2*f - d = -0*g + 3*g. Suppose -f*n + 94 = i, -5*n + i + 257 = -2*i. Is n a multiple of 29?
False
Let m(p) = -p**2 + p - 1. Let n = -15 - -14. Let x(c) = -c**3 + 6. Let j(u) = n*x(u) - 5*m(u). Is j(-5) a multiple of 24?
True
Suppose 2*q + 29 - 35 = 0. Suppose -5*d = -2*m + 87, q*d = m + 2*m - 108. Is 3 a factor of m?
False
Let p = -6 - -2. Let b be p/(-2) - 3 - -3. Does 4 divide b/(-7) + 390/42?
False
Suppose -5*s + 11 = -7*r + 4*r, -2*s = -8. Suppose d - 180 = -r*d. Is d a multiple of 16?
False
Suppose 2*r + 13 = 93. Let b = 58 - r. Suppose -22*m + b*m + 104 = 0. Is 4 a factor of m?
False
Let d(n) = -n**2 + 23*n - 6. Let r be d(13). Suppose -4*j + 236 = -r. Is 15 a factor of j?
True
Suppose -5*b = a - b - 164, -b = -3*a + 453. Is 7 a factor of a?
False
Let o = 20 - 24. Let p be (-66)/o*(-10)/15. Let n(w) = w**2 + w - 10. Is 15 a factor of n(p)?
False
Is 14 a factor of (-3712)/384*(0 + -213)?
False
Let v(q) = -q**3 + 10*q**2 - 11*q - 12. Let x be v(10). Let i be x/(-4) + (-6)/(-12). Suppose -h + 2 + i = 0. Is h a multiple of 15?
False
Suppose -154 = -3*c + 4*m - 2*m, -c = -3*m - 49. Is c a multiple of 3?
False
Suppose -2*l + 14 = -6. Let d = l - -5. Is 3 a factor of d?
True
Let r(s) = -s**2 - s + 44. Let h(f) = 0 + 8*f + 0 - 9*f. Let i(y) = -h(y) + r(y). Does 18 divide i(0)?
False
Suppose 0*u - 2*u + 168 = 0. Let i be 8880/u - 4/(-14). Suppose -s - o = 2*o - 19, 0 = -5*s - 4*o + i. Does 11 divide s?
True
Suppose 3*d + 5*t = 3760, d + 10*t - 13*t - 1244 = 0. Is d a multiple of 38?
False
Suppose 2*m + 4*r + 6 + 32 = 0, 3 = r. Let f = m + 127. Does 34 divide f?
True
Let d = 0 + 24. Suppose -14 + d = 5*y. Suppose 2*k = 5*g - 285, -k - k + 100 = y*g. Is 16 a factor of g?
False
Let i be (22/55)/(2/(-20)). Does 5 divide 23*i/(-16) + 2/8?
False
Let f(a) = 19*a - 3. Let l be f(2). Suppose 5*k - 510 = -5*v, k + l + 73 = v. Does 21 divide v?
True
Let k = 5 - 9. Let v be k/2*(-10)/(-20). Does 7 divide 9 + 3 + v - 3?
False
Let s(v) = -v**3 - 6*v**2 + 5. Let a be s(-6). Suppose -5*t + 79 = -f, -t - a*f + 0*f = 5. Is 5 a factor of t?
True
Let w(i) = -10*i**3 - 5*i - 2. Let m be w(4). Let t = -470 - m. Is 16 a factor of t?
True
Suppose -p + c = 28 + 1, 149 = -5*p + c. Is 17 a factor of ((-100)/(-6))/((-5)/p)?
False
Let p = -66 - -67. Is 2 a factor of p + 6/(-10) + 429/15?
False
Does 22 divide 6/9 - (-2108)/6?
True
Let f be ((-2)/(-4))/(1/26 - 0). Let x(r) = 2*r - 7. Does 3 divide x(f)?
False
Let k(u) = u**3 + 14*u**2 + u + 8. Let n be k(-14). Let o = 26 + n. Does 15 divide o?
False
Let h be (-5)/(-3) + (-6)/(-18). Let q(r) = -r**3 + 4*r**2 - 2*r + 1. Let m be q(h). Suppose 3*s = -4*u - 46 + 123, -5*s - m*u + 135 = 0. Is s a multiple of 12?
False
Does 7 divide (-124)/(-2)*(55 - 52)?
False
Let t = -40 + 46. Let l(k) = 4*k + 6. Let i be l(-2). Does 20 divide (i/t)/((-4)/456)?
False
Let y(j) = j + 239. Does 6 divide y(-40)?
False
Suppose -4*q = -8*q + 60. Suppose -l = -79 + q. Does 16 divide l?
True
Suppose 5*p - 16*p = -198. Is 6 a factor of p?
True
Let j = -856 - -1240. Is 6 a factor of j?
True
Suppose 4*l + 78 + 50 = 0. Let w = l - -38. Does 3 divide w?
True
Let q(i) = -4*i**2 + 5*i + 6. Let k(g) = 9*g**2 - 10*g - 12. Let m(l) = -3*k(l) - 7*q(l). Suppose 3*r + 9 = 0, 3*b - b + 2*r = 14. Does 11 divide m(b)?
True
Let i = 82 + -82. Suppose -2*j + 2 = 3*h - 6, -4*h = 4*j - 8. Is i/j - 176/(-11) a multiple of 3?
False
Let g(i) = -i**3 - 11*i**2 - 3*i + 9. Let r be 4/(2 + -6)*15. Let b = 4 + r. Is 7 a factor of g(b)?
True
Suppose -4*x + 6 = 22. Let i be (-4)/16*x*0. Suppose i = b - 3*b + 12. Is b even?
True
Suppose -5*v - 6880 = -5*r, 5*r - v = 2579 + 4317. Is 6 a factor of r?
True
Suppose -2*w - 572 = -2*y, -15*y + 282 = -14*y + 3*w. Does 32 divide y?
False
Let c(v) = 29*v**3 - v. Let b be c(-1). Let g be (1 - -2)*754/(-87). Let j = g - b. Is j a multiple of 2?
True
Let j(c) = 20*c + 8. Let m(s) = -20*s - 8. Let t be (-322)/(-98) - (-4)/(-14). Let v(w) = t*j(w) + 4*m(w). Is 18 a factor of v(-4)?
True
Is (-379 - 62)*8/(-3) a multiple of 6?
True
Is 5 a factor of (((-17)/(-5))/(-1))/(35/(-3325))?
False
Suppose -3*u - 6396 = -9*u. Suppose 6*h - 188 - u = 0. Is 1/(-4) - h/(-4) a multiple of 13?
True
Let n be (6 + 15)/(3/2). Suppose 2*m - 3*m - 4 = 0, -p = m - n. Is p*(-2)/(-2*2) a multiple of 9?
True
Let a = 1076 - 860. Is 4 a factor of a?
True
Suppose -3*x = l - 26, l = 2*x + 2*l - 19. Let b = 0 - -27. Let s = b - x. Does 5 divide s?
True
Let v = 5 + -1. Suppose 0 = v*f + 85 - 21. Let z = f - -48. Does 8 divide z?
True
Let f(v) = 4*v + 12. Let t(o) = -o**3 - 2*o**2 - 2*o - 6. Let p be t(-3). Is 12 a factor of f(p)?
True
Is 190/4*10 + 2 + -7 a multiple of 47?
True
Suppose -277*y + 13855 = -260*y. Does 17 divide y?
False
Suppose -5*c = -3*c + 10. Let q be (-31)/c - (-1)/(-5). Does 16 divide 3 - (-22 - (q - 3))?
False
Let o(y) = y**3 + 8*y**2 + 4*y - 9. Let x be o(-8). Let a = x - -58. Is a a multiple of 4?
False
Suppose -239 + 35 = -4*l. Let u = l + -10. Does 15 divide u?
Fal