ue
Let w be 3/2 - 20/(-8). Suppose 0 = 4*o - w*r - 10 - 14, -5*o - 5*r = 20. Is -2 + 35 - o/(-1) a multiple of 11?
False
Let w(h) = -11*h**3 + 4*h**2 + 4*h - 4. Let y be w(-4). Suppose -5*u + u + y = -5*z, 2*u + 2*z - 392 = 0. Does 8 divide u?
True
Suppose -4*f - 28 + 132 = 0. Let q = f - -17. Suppose -5*i + q = 18. Is i a multiple of 2?
False
Suppose -18*n - 243 = -27*n. Does 27 divide n?
True
Let i(s) be the third derivative of -s**7/840 - s**6/120 + s**4/12 + s**3/6 + 2*s**2. Let c(b) be the first derivative of i(b). Is 18 a factor of c(-4)?
True
Let x(z) be the first derivative of z**2 + 11*z - 3. Let p be x(-5). Is p/3 - (-644)/21 a multiple of 7?
False
Let o be ((-58)/(-10) + -4)*10. Suppose o + 49 = u. Is u a multiple of 19?
False
Suppose 0 = 24*b - 26604 - 11028. Is 19 a factor of b?
False
Let u(a) = -2*a - 4*a + 4*a**2 - 2 - 4*a**2 + 2*a**2. Suppose 2*f - f + 17 = 3*i, -5*i + 28 = -2*f. Is 12 a factor of u(i)?
False
Suppose -2*r + 185 = -3*b, -b - 64 = -5*r + 2*r. Let v = b + 149. Does 9 divide v?
False
Suppose 7752 + 42970 = 14*q. Is 35 a factor of q?
False
Let r(t) = -6*t**3 + 25*t**2 + 14*t - 16. Let s(m) = m**3 - m**2 + m - 1. Let d(u) = -r(u) - 5*s(u). Does 22 divide d(21)?
False
Let w be 12*-11*(-10)/(-8). Is 5 a factor of w/(-4) - 3/(-4)?
False
Let b(f) be the first derivative of f**4/4 - 4*f**3/3 - 3*f**2 - 7*f - 434. Let l(a) = a**3 + 4*a**2 + 2*a + 3. Let z be l(-3). Is 6 a factor of b(z)?
False
Is 18 a factor of (-3598)/3*(-54)/63?
False
Let u be 3/(8/52 + (-177)/390). Let o = 30 + u. Is o a multiple of 9?
False
Let v = 243 - 129. Suppose -2*f = -l + v, 3*l - 77 = -4*f + 275. Is 13 a factor of l?
False
Let m(o) = o. Let s(n) = 3*n**2 + 9*n + 8. Let g(a) = -5*m(a) + s(a). Is g(-6) a multiple of 23?
True
Suppose 8*v - 24 = 4*v. Is (2 - 52/v)*27/(-6) a multiple of 15?
True
Suppose 134*n - 116*n - 1044 = 0. Let v = -168 + 282. Let d = v - n. Does 9 divide d?
False
Let w(k) = -4*k**3 - 22*k**2 - 22*k - 19. Let j(y) = 3*y**3 + 15*y**2 + 15*y + 13. Let f(v) = -7*j(v) - 5*w(v). Is 5 a factor of f(5)?
False
Suppose 3*h - 8 + 3 = -j, 0 = -2*j + 4*h - 30. Let d(l) = -4*l - 23. Let z be d(j). Suppose 3*t + 8 = -t, -z*a + 86 = 2*t. Does 10 divide a?
False
Suppose -4*q = 10 + 2. Let k be q/2*10/(-3). Suppose 0*n - 5*n = k*b - 215, 0 = n - 1. Does 14 divide b?
True
Let x(r) = -r**3 + 6*r**2 + 4*r + 1. Let z(o) = o**2 + 11*o + 22. Let t be z(-9). Does 10 divide x(t)?
False
Suppose 38*j - 28*j = 3920. Is 56 a factor of j?
True
Suppose 0 = -4*p - j + 3814, 7*p - 3806 = 3*p + 3*j. Does 24 divide p?
False
Suppose 6870 - 42186 = -54*k. Is 44 a factor of k?
False
Let w = -374 + 602. Suppose 7*a = 465 + w. Is a a multiple of 33?
True
Suppose 4*i = 4*y - 6 + 26, -3*i + 4*y = -15. Suppose -10*j + i*j = -55. Is 10 a factor of j?
False
Suppose -v - 4*k = -18, -2*v - 24 = -2*k - 2*k. Suppose 0 = 5*g + j - 178, 4*g = -5*j + 92 + 42. Is 13 a factor of 585/g + v/8?
False
Suppose 2*u - 7 = -3*j, 1 = u - 2*u. Suppose 0 = j*b - 4*b - 55. Let f = b - -109. Is 9 a factor of f?
True
Let m be (-183)/(-24) - (-33)/88. Does 5 divide (-9636)/(-96) - 3/m?
True
Is 59 a factor of (1400*12)/5 + 3?
True
Let v = 29 - 29. Suppose -c = -3*g + 22, v = -c + 6*c + 20. Does 5 divide (-21)/g*(-60)/21?
True
Let r(j) = 3*j**2 - 14*j - 153. Does 34 divide r(-17)?
True
Let a = -3 + 528. Suppose a = -12*c + 17*c. Is c a multiple of 15?
True
Let q(u) = 2*u**3 - 5*u**2 - 31*u - 8. Is q(7) a multiple of 37?
False
Let p(x) = -x**2 + 12*x - 2. Let g be p(9). Let t be (-2)/10 + (-70)/g. Does 10 divide 348/(-3)*t/12?
False
Let k be (6/(-18))/(2/114). Let f = k - -19. Suppose f = 5*s + 4*x - 485, 4*x - 29 + 9 = 0. Is 31 a factor of s?
True
Let d(b) = -28*b - 7. Let j(k) = -9*k - 2. Let c(u) = -3*d(u) + 8*j(u). Let y be (-3 + 7/3)*-3. Is c(y) a multiple of 29?
True
Does 14 divide 1 - (1 + 0 + -180)?
False
Suppose 33*w + 15834 = 47*w. Is 10 a factor of w?
False
Let t(x) = x + 1. Let o(v) = v**2 - 8*v - 8. Suppose -2*a + 8 = -3*g, -5 = -0*a - a + 2*g. Let w(l) = a*o(l) + 5*t(l). Is 3 a factor of w(-2)?
False
Let f(u) = -10*u - 8. Let m(o) = 48*o + 38. Let t(c) = 14*f(c) + 3*m(c). Let n be (-4)/(-14) - 40/(-7). Does 6 divide t(n)?
False
Let h(u) = -20*u**2 - 4 + 41*u**2 - 3*u - 19*u**2. Let c = 8 - 5. Does 5 divide h(c)?
True
Suppose -o - 44 = 3*p - 6*o, 4*p + 5*o + 82 = 0. Let s be (-6)/(-2) - (p + 21). Suppose s = -0*i - 2*i + 12. Is 5 a factor of i?
False
Let r be (11/(-4) - -2) + 1095/20. Let x = r - 25. Does 9 divide x?
False
Suppose -4*s = -9*m + 4*m - 151, 22 = s + 4*m. Let z = s + 0. Does 17 divide z?
True
Let l(v) = -v**3 + 9*v**2 - 6*v - 18. Let d be l(8). Is (d/3)/(3/(-315)) a multiple of 10?
True
Let d(h) = -h**3 - 12*h**2 - 41*h - 18. Is d(-9) a multiple of 3?
True
Is 11635/6 + (207/54 - 4) a multiple of 26?
False
Let m(s) = -4*s - 8. Let u be m(-2). Does 12 divide -10*(u - 48/20)?
True
Does 27 divide ((-54)/(-8))/((-140)/16 - -9)?
True
Let a be (-100)/(-6) - 3/(-9). Let g = 8 - 19. Let k = g + a. Is 3 a factor of k?
True
Suppose -2*p - 3*p + 240 = 0. Suppose -p*d = -54*d + 150. Is d a multiple of 21?
False
Let p(k) = 4*k - 1. Suppose -4*c - 2*l + 10 = 0, 4*l - 7 = 5. Let z be p(c). Suppose -5*g = -5*i - 0*i - 65, z*i = g - 17. Is g a multiple of 11?
True
Suppose 0*y + 3*y = 510. Suppose 0 = 3*t + f - y, -t = -3*f - 2*f - 46. Suppose -31*d = -27*d - t. Does 14 divide d?
True
Suppose 5*u - t - 10200 = 0, 2*u = -35*t + 33*t + 4080. Is 15 a factor of u?
True
Suppose -46*l + 240 = -42*l. Is l a multiple of 15?
True
Let h(i) = 5*i - 14 + 7 + i**2 + 4. Is 34 a factor of h(10)?
False
Suppose 1159*v + 71232 = 1171*v. Is 106 a factor of v?
True
Let j be -1 + (-3)/(-2)*-2. Let q(p) = -2*p + 8. Is q(j) a multiple of 4?
True
Suppose 3*l - 2*l + 5*o - 244 = 0, 0 = 5*l - 3*o - 1136. Is 14 a factor of l?
False
Let n = -26 + 25. Let l be 5 - (-3 - n) - 4. Suppose 4*q - 28 = 2*q + r, l*q - 5*r - 56 = 0. Does 4 divide q?
True
Let w = -28 - -18. Let b(k) = -2*k - 14. Let d be b(w). Let l = 29 + d. Is 7 a factor of l?
True
Suppose 4*z - 1003 = -247. Is z a multiple of 27?
True
Let h = -667 + 973. Suppose -2*i + h = i. Is i a multiple of 17?
True
Let g = -1452 - -1535. Is g a multiple of 6?
False
Is 115 a factor of (1548/(-30))/(1/(-45)*1)?
False
Suppose 875*f - 198 = 874*f. Is 73 a factor of f?
False
Let t(r) = -37*r**3 + 21*r**3 - 1 + r + r**2 - 3*r**3 - 56*r**3. Is t(-1) a multiple of 13?
False
Let s(i) be the second derivative of i**5/20 - 7*i**4/12 - 7*i**3/6 + 9*i**2 + 22*i. Does 4 divide s(8)?
False
Is 7 a factor of (-4)/6 - (-706)/6 - -2?
True
Let k(v) = -v**3 + 9*v**2 - 10*v + 7. Let b be k(8). Does 15 divide (b/(-6) - 14/12)*147?
False
Let k = -24 - -28. Is 25*3*k/30 a multiple of 10?
True
Let d(f) = -39*f + 99. Is d(0) a multiple of 11?
True
Let t = 126 + -90. Does 36 divide t?
True
Suppose 2*u - 201 = 13. Let x = 150 - u. Suppose 0 = -2*v + x + 5. Is 12 a factor of v?
True
Suppose -3*i + 0*i = -12. Let f be i - (2 + (-3 - 1)). Does 18 divide f/(-2 - 7/(-3))?
True
Let h = -1931 + 2806. Is h a multiple of 25?
True
Suppose -2*y - 2*y + 28 = 0. Let d be 4/y + (-10896)/(-42). Suppose -m + 5*m = d. Is 9 a factor of m?
False
Let d = 5 - 3. Let i be (d - 0)/(2/8). Let t = i + 25. Is t a multiple of 11?
True
Let j(c) = c**2 - c. Let w be j(1). Suppose w = 3*i - 6*i - 5*h - 7, -3*h - 15 = 0. Let r(a) = a**2 - 6*a + 8. Is 4 a factor of r(i)?
True
Let u be (-20)/2*(2 - 3). Let g be (12/15)/(u/25). Suppose 4*w - 2*q = 402, 6*w + g*q = w + 498. Is 25 a factor of w?
True
Let g = 34 + 92. Is g a multiple of 21?
True
Let y = -386 - -741. Let w = y + -116. Is w a multiple of 22?
False
Suppose 3*p - 9 = 3. Suppose -4*s = -p*m + 144, -m + 28 = -2*s - 3*s. Suppose 4*c - m = 10. Is c a multiple of 5?
False
Let w(z) = z**3 + 6*z**2 + 7*z + 1. Suppose -2*m + 0*m - l - 11 = 0, 3*l - 3 = 0. Let v be w(m). Is 7 - v - (4 - 0) a multiple of 11?
True
Let z(b) = -b + 1. Let i be z(-4). Let a be ((-96)/10)/(-1)*5. Does 14 divide (a/10 - 2)*i?
True
Let g(o) = o**3 - 6*o**2 + 6*o - 5. Let b be g(5). Suppose -2*i + 3 = -3*q - b, 4 = -4*q. Suppose i*z = -z - c + 56, -z - 5*c + 64 = 0. Does 18 divide z?
True
Suppose 0 = -b - 3, 0 = l + l + 4*b - 1440. Is 66 a factor of l?
True
Let a = -51 - -387. Is 8 a factor of a?
True