s 28 divide n(3)?
True
Let s = -451 - -15. Suppose -41*g = 4988 + 383. Let x = g - s. Does 17 divide x?
False
Let k be 3/(-6) - (225/(-6) - -5). Let r = k + 94. Is r a multiple of 9?
True
Suppose 26 = 3*y + 71. Let q be 4 - 5/(y/117). Let v = q + -18. Does 11 divide v?
False
Let y be 774*(1 + (-18)/27). Is 10 a factor of (-860)/y*(-1032)/10?
False
Let f = 11 - -8. Suppose 0 = 3*c - 2*w - 302 - f, -2*c - 3*w + 227 = 0. Suppose 5*u - 151 = c. Does 26 divide u?
True
Let p(f) = -790*f - 2976. Is 9 a factor of p(-6)?
True
Let t = 8197 + -5425. Is 22 a factor of t?
True
Let p(k) be the second derivative of k**6/90 - k**5/40 + 3*k**4/8 - k**3/2 + 17*k. Let c(n) be the second derivative of p(n). Does 6 divide c(3)?
True
Suppose v + 4 = -5*n, -2*v - 8 = -n - 4*n. Let x(t) = 2*t**2 - 9*t - 2. Let z(o) = -o**2 + 10*o. Let q(c) = 4*x(c) + 3*z(c). Does 15 divide q(v)?
False
Let b(q) = -14 - 13*q**2 - 13*q**2 - 7*q + 27*q + 6*q**2 + q**3. Let v be b(19). Suppose -o + 3*t - t = -215, 2*o + v*t = 421. Is 45 a factor of o?
False
Let h = -10158 + 22164. Is h a multiple of 69?
True
Let f(a) = 11*a**3 + 2*a**2 + 19*a + 52. Does 26 divide f(7)?
True
Let l(p) = p**2 - p + 204. Let t be l(0). Let k = t + -94. Does 10 divide k?
True
Suppose 26*r + 67 = 31*r + 2*l, -2*r + 22 = 2*l. Suppose 82 = 2*n - 5*q, -2*q = -r*n + 10*n + 163. Is 2 a factor of n?
False
Let u be ((-84)/(-20) - 3)*(-60)/(-9). Suppose 3*a + 0*a + 4*t = -4, 0 = a - t - u. Suppose a*o + o = 665. Is o a multiple of 19?
True
Let s(z) = 10*z**2 + 30*z - 572. Is 164 a factor of s(19)?
True
Let j(q) = 125*q - 5802. Does 6 divide j(48)?
True
Let a = 6852 - 6068. Does 76 divide a?
False
Let t(u) = -16*u + 1102. Suppose 5*k + 4*h = -6, 6*k - 2*k + 10 = 2*h. Let m(l) = -3*l + 220. Let o(b) = k*t(b) + 11*m(b). Does 18 divide o(0)?
True
Let n(p) = 7*p**2 + 20*p - 591. Is n(21) a multiple of 4?
True
Suppose 0 = 4*u - 5*i - 79, -5*i = -u + 23 + 8. Suppose 13*g - 45 = u*g. Is 8 a factor of ((-2)/(-2) + g/(-25))*35?
True
Does 35 divide (-780)/4*(98/(-70) - 3)?
False
Let s(n) = 2*n**2 - 3*n - 10. Let j = -23 + 62. Suppose 34*o + 25 = j*o. Is 17 a factor of s(o)?
False
Let o be (-3967)/(-7) - (13 - 558/42). Suppose -o = -b - 6*b. Is 9 a factor of b?
True
Let g = 78 + -92. Let s(j) = -j**3 - 12*j**2 + 19*j + 28. Is 27 a factor of s(g)?
False
Suppose 4*d = 2*a + 24 + 78, -4*d = 4*a - 132. Is (-4)/(-14) - (-132)/d even?
False
Is 9 a factor of (-72 - -74)*(-6166)/(-4)?
False
Let m(v) = 2*v - 35. Suppose 0 = 5*l - 86 - 9. Let s be m(l). Suppose -5*d = 5, 5*d + 149 + 21 = s*z. Does 7 divide z?
False
Let v(q) = 88*q**2 - 4*q + 109. Is 184 a factor of v(-11)?
False
Let h(p) be the third derivative of p**6/120 + 2*p**5/15 + 5*p**4/24 + 2*p**3/3 - 3*p**2. Suppose -28*m + 35*m = -42. Is h(m) a multiple of 11?
False
Suppose -3*q + 50 = 5*c - 93, 3*q + 2*c - 158 = 0. Let s = 25 + -6. Suppose b - q - s = 0. Does 25 divide b?
True
Let c(h) = h + 5. Let u be c(-3). Suppose -u*q + 16 + 48 = 0. Suppose -4*i = -q - 88. Is i a multiple of 11?
False
Let d(l) = -l**3 - 6*l**2 + 4*l - 17. Let b be d(-7). Suppose -a + 4*a - 8 = -n, 4*n = b*a - 16. Does 7 divide (n - 1)*7/(-2)?
True
Suppose 0 = 16*h - 11*h - 20. Suppose -13 = -h*k + 3. Suppose -2*n - 2*n - 122 = -3*i, k*i - 167 = n. Is 7 a factor of i?
True
Let j = 8759 + -5417. Is j a multiple of 39?
False
Let a(c) = 4*c - 13*c - 40 + 6 + c - 6*c. Let r be (-4)/8*(-1 - -25). Is a(r) a multiple of 53?
False
Is (20628/(-30))/((-8)/40*2) a multiple of 8?
False
Let j(z) = -z**3 - 5*z**2 - 5*z + 4. Let y be j(-4). Suppose 161 = y*q - 295. Does 19 divide q?
True
Let x = 539 + -1472. Let j = 1329 + x. Is 33 a factor of j?
True
Does 21 divide (-1 - -2108)*48/112?
True
Let f(r) be the first derivative of -r**4/2 - 3*r**3 - 9*r**2/2 - 10*r + 8. Let g be f(-5). Let n = g + -1. Is 21 a factor of n?
False
Let r(b) = 3*b**2 + 11*b + 2. Let p = -26 - -18. Let v be (-8 - -7)/((-2)/p) - 3. Is r(v) a multiple of 8?
True
Let k(r) = r**3 - 26*r**2 - 41*r + 6. Let y = 438 + -410. Is 7 a factor of k(y)?
False
Suppose -458766 = -147*d + 84*d. Is 16 a factor of d?
False
Suppose 7*a - a - 78 = 0. Suppose 3*d = 5*f - a, d + 4*f - 14 = 4*d. Is 11 a factor of ((-43)/(-2) + (-3)/d)*3?
True
Is 23 a factor of ((-1645)/2)/(530/(-40) - -13)?
False
Suppose -2*s = 3*h - 4, 6*s - 10 = -3*h + s. Does 5 divide (1 - h)/(5/1185)?
False
Suppose 3*b - 14 = -5*s, -2*s + 3*b + b = 10. Let y be (-5 - -7) + 2 + s. Suppose 121 = r + p - 4*p, y*r - 5*p = 635. Is r a multiple of 33?
False
Suppose -22*l = -29*l + 7. Suppose -23 = -p - w, w + l + 0 = 0. Does 7 divide p?
False
Suppose 5*b - 463 = 4*l - 34125, b + 42088 = 5*l. Does 23 divide l?
True
Suppose -3*v + 0*x = -x - 9, 13 = v + 3*x. Suppose 0 = -v*h - 2*h + 12. Is 6 a factor of 291/6 + ((-1)/h)/1?
True
Let h(w) = 3*w + 5. Let l be h(2). Let o(f) = -f**3 + 10*f**2 + 10*f + 26. Let y be o(l). Does 3 divide y + (1 - (-3 + 6))?
False
Suppose 52652 - 2063 = 21*a. Is 11 a factor of a?
True
Suppose -3*y - 2*m = 58, -y + 9*m - 16 = 13*m. Is 23 a factor of (y/5 - 0) + 59*5?
False
Suppose 0 = -2*m - h - 3752 + 12396, 12951 = 3*m - 6*h. Does 111 divide m?
False
Suppose 656*z = -82*z + 21025620. Is z a multiple of 185?
True
Suppose -288 = -45*c + 2187. Is c a multiple of 8?
False
Let s = -43 + 43. Suppose 4*p - 9*p + g + 2516 = 0, -4*p - 5*g + 2036 = s. Is p a multiple of 14?
True
Suppose 0 = -3*x + u + 7262, -4*u + 1784 = -2*x + 6642. Is x even?
False
Suppose -32 + 2 = -5*x. Suppose -30*g = -x*g - 25920. Is 18 a factor of g?
True
Let u(r) = -2*r**3 + 7*r**2 + 686*r + 8. Is u(20) a multiple of 29?
False
Let p(o) = -o**2 - 4*o + 840. Suppose 9*k - 41 = -41. Is 20 a factor of p(k)?
True
Let r(p) = 13*p**2 - 14*p + 46. Let o be r(4). Let q = 649 - o. Is q a multiple of 15?
False
Let a(x) = x**3 + 14*x**2 - 13*x + 30. Let d be a(-15). Suppose -14*b + 6*b + 408 = d. Let r = b + 32. Is r a multiple of 11?
False
Let g = 1719 - 492. Is 21 a factor of g?
False
Let r(l) = l**3 - 11*l**2 + 20*l - 114. Let m be r(24). Is m/308*(-3)/((-9)/22) a multiple of 7?
False
Let n(s) be the third derivative of s**6/120 + 5*s**5/6 - 25*s**4/24 - 49*s**3/3 - 92*s**2 + 1. Is n(-50) a multiple of 9?
True
Let v(j) = 2*j - 14. Let c be v(8). Suppose -c*h + 57 + 11 = 0. Suppose -3*m - 57 = -3*a, 0 = -3*a + 2*m - h + 90. Is 3 a factor of a?
True
Suppose 3*f = -4*z + 42432, 4*z + 0*f - 42432 = -2*f. Is z a multiple of 12?
True
Let d be 12/(3 - 0) + 2. Suppose -1 + 1 = -d*c. Let l(q) = q**3 + 2*q**2 + 40. Is l(c) a multiple of 7?
False
Let u be 3 - (5/(-35) + (-3)/(-21)). Suppose -4*b = -4*s - 9*b + 1448, 0 = -3*s - u*b + 1083. Does 51 divide s?
True
Suppose 0 = 4*k - 4*a - 32, -a + 9 + 18 = 4*k. Let m(t) = -t**2 + 33*t - 121. Is m(k) a multiple of 11?
False
Let s be (-410)/(-6) - (-13)/(-39). Suppose -a + s = -218. Is a a multiple of 26?
True
Let k(j) = -3*j - 92. Let t be k(-32). Suppose t*f = 4*p + 9*f - 328, 0 = 4*p + 4*f - 332. Is p a multiple of 29?
True
Let y be (-39)/(-26) - ((-1702)/4 - 3). Suppose -4*d + y = 9*n - 7*n, 3*n - d = 610. Does 5 divide n?
True
Suppose -1230 = -2*i + 4*j, -13*i - j + 1230 = -11*i. Suppose 0 = 124*b - 119*b - i. Is 41 a factor of b?
True
Let o = -86 - -84. Let u be (0 + -4)*(-1 - o)/(-1). Suppose -x + 674 = s + 4*s, -4*x = -u*s + 544. Does 8 divide s?
False
Suppose -2764 = -3*d - 826. Let s = 85 - d. Let i = -275 - s. Is 42 a factor of i?
False
Let k(g) be the first derivative of -31*g**4/4 + g**3 - g**2/2 - 3*g + 1. Suppose 9498*f - 9490*f = -8. Is k(f) a multiple of 8?
True
Let r = 15563 + 15282. Is 31 a factor of r?
True
Let n(d) = -5*d**2 - 3*d + 12. Let p(i) = 14*i**2 + 9*i - 35. Let z(t) = 11*n(t) + 4*p(t). Let b be z(-6). Let l = 20 - b. Does 2 divide l?
True
Let j = -24 + 18. Let o be -2 + (-3)/j + 7/2. Suppose -o*z - i + 503 = 0, -3*z + i + 554 + 208 = 0. Is 50 a factor of z?
False
Suppose -h = 0, -3*v + 3*h - 43 = 14. Let y = 10 - 7. Does 3 divide 2/y - (-3)/((-9)/v)?
False
Let p(a) = -842*a - 24. Let h be p(-1). Suppose -h - 484 = -42*s. Is s a multiple of 20?
False
Let c(p) = 35*p**2 + 64*p - 74. Does 108 divide c(-14)?
False
Suppose 685 = 2*q - 3*a + 209, -3*a = 5*q - 1232. Suppose -268 = -z - 0*z - 4*i, -z + 4*i = -q. Is (6 - 2) + z/8 a multiple of 5?
False
Suppose 0 = 37*b 