y?
True
Let w(d) = -d**2 - 9*d - 16. Let k be w(-6). Let x be 2 + (-6)/k + 16 - 1. Let i = 19 - x. Does 2 divide i?
False
Let z be (-30)/(-40) - (-183)/(-4). Let b be 8/6*(-441)/(-84). Is 12 a factor of -10 + b - (0 + z)?
False
Let w(b) = -b + 6. Let v be w(-6). Let m be (4 - (-880)/v)*-3. Is 12 a factor of ((-2)/8)/(1 - (-234)/m)?
False
Is 8117 + ((-33)/9)/(-11)*-4*3 a multiple of 19?
True
Suppose 2*q + 2*z - 6*z = 510, z - 5 = 0. Is q a multiple of 5?
True
Suppose -23*n + 0*n = -n - 512380. Does 17 divide n?
True
Let w = -231 - -627. Suppose 0 = 5*z - 0*z - 2*p - 660, 4*p - w = -3*z. Does 9 divide (z/21)/((-4)/(-14))?
False
Suppose -2*w - 139*a + 136*a + 961 = 0, 5*a + 1999 = 4*w. Is 9 a factor of w?
False
Let c be (-40124)/35*(35/2)/(-7). Suppose 5*r - m - c = 0, 1156 = 2*r + 5*m - 3*m. Does 13 divide r?
False
Let d be 1 - (12/(-4) + (-1)/(-1)). Let s be (-6)/d + (-2 - (-9)/1). Suppose o - 4*o - 381 = -4*x, 0 = -o + s. Is x a multiple of 29?
False
Let u(w) be the second derivative of 7*w**4/12 + 41*w**3/6 - w**2/2 - 20*w. Is u(-8) a multiple of 13?
False
Let c(h) be the second derivative of -40*h**3/3 - 45*h**2/2 - 2*h. Is c(-8) a multiple of 35?
True
Let k be 70*((-37)/(-10) + -3)*-8. Let x = 607 - k. Does 37 divide x?
True
Suppose 3*h - 11*z + 7*z + 33 = 0, -h + 4*z = 11. Let i be ((5 + -215)/(-6))/((-1)/h). Suppose 0 = y + 130 - i. Is y a multiple of 15?
True
Suppose -31*o - 19189 = -33*o - p, -3*o + 4*p = -28767. Does 33 divide o?
False
Let c(h) = -154*h - 2269. Is 15 a factor of c(-46)?
True
Let p = -9649 - -17097. Is 55 a factor of p?
False
Let l(g) be the first derivative of g**4/4 + g**3 - 6*g**2 + 4*g + 811. Let r(q) = -q - 2. Let k be r(3). Is l(k) a multiple of 2?
True
Let t(k) = 67 - 61 - 6*k**3 + 0*k**2 + 0*k**3 - 3*k**2. Is t(-4) a multiple of 57?
True
Suppose -17*b = 30005 - 126123. Is b a multiple of 14?
False
Suppose -22 = 2*t + 4*h, 3*t - 5*h + 2 - 24 = 0. Let c be -10*(t - 0) - (-10 - -10). Suppose c*w - 14*w = -392. Is 39 a factor of w?
False
Suppose -103 = -3*q - 5*s, 2*q - 3*s - 63 = -q. Suppose -3*y + q = 2*a, -2*y + 50 = -4*a + 6. Does 4 divide y?
True
Let i(y) = -18 + 13*y**2 + 12*y**2 - 16*y**2 - 2*y. Does 11 divide i(-5)?
False
Let g(o) = o**2 + 22*o - 163. Suppose 3*s + 159 = 5*m + 27, 2*s + 8 = 0. Is 43 a factor of g(m)?
False
Let y = 5422 + -4286. Does 14 divide y?
False
Let a be 3 - 640 - 7*(-2)/(-14). Let m = a - -988. Is m a multiple of 25?
True
Suppose -30*z + 595 = -35*z. Let i = 767 + z. Is 11 a factor of i?
False
Let x = -1351 + 3552. Does 41 divide x?
False
Let d(j) = 37*j**2 - 271*j - 4254. Does 58 divide d(-17)?
False
Suppose f - 860 - 4 = -3*h, f + 4*h = 864. Suppose 8*g + f = 9*g. Is 48 a factor of g?
True
Let j = -40 - -42. Suppose -3*m - j*a = 21, 2*m - 4*a = 3*m - 3. Is (-246)/m*3 + -1 a multiple of 9?
True
Let t(b) = -b**3 + 2 - 6*b**2 - 5 - b**3 - 9*b - 3. Let c = -123 - -117. Is t(c) a multiple of 12?
True
Let z(i) = -4*i**3 - 8*i**2 + 7*i + 5. Suppose -2*u + 196 = 5*t, 3*t = 4*t - 5*u - 23. Let s be (-3)/(10 + 5) - t/10. Does 21 divide z(s)?
True
Suppose 5*k - 892 = 34*l - 37*l, 3*k = -5*l + 1508. Is l a multiple of 8?
True
Let u(r) = -2*r**3 + 111*r**2 + 46*r - 46. Is u(55) a multiple of 7?
True
Let i = -11 + 22. Suppose -i*h + 18 = -37. Is 8 a factor of 4/((h/20)/(2/4))?
True
Is 33 a factor of (-66)/(-11) - (-13970)/4 - 3/6?
True
Let g = -8362 + 12042. Is 6 a factor of g?
False
Let d(l) = 17*l**2 - 7*l + 3. Let a be d(3). Let n be a/6*12/45*3. Suppose -n*t + 288 = -14*t. Is t a multiple of 18?
True
Suppose -5*h + 44 - 9 = 0. Let d be (-6 - -3)*h/(-3). Is 19/d - 3 - (-4878)/21 a multiple of 29?
True
Let s = -498 - -853. Let y = -194 + s. Is y a multiple of 2?
False
Let c = -28 - -36. Let l(i) = -5*i**2 + 1 + 0 + 5*i**3 + i + c - 5. Does 28 divide l(3)?
False
Suppose 6305*u - 6308*u = -13488. Is u a multiple of 86?
False
Suppose -j - 24 = -10. Is 10/(-2) + (-2492)/j a multiple of 16?
False
Suppose -20598 = -2*w + 2*a, 3*w - 6*w - a + 30889 = 0. Is 57 a factor of w?
False
Suppose 2*p - 8 = 4*q - 3*q, -p = -4*q + 3. Suppose 0 = -p*m + 111 - 11. Suppose -2*n + m = -200. Is 23 a factor of n?
False
Suppose 5*q + 3*v + 65 = 0, v + 59 = -4*q - 0*q. Is (-8)/q*1*60 a multiple of 3?
True
Let l be 49 + -56 - 2*-226. Is 51*l/60 - 3/12 a multiple of 18?
True
Let d(h) = -h**2 - 11*h + 20. Let k be d(-13). Is (-8)/(-16) - 615*3/k a multiple of 44?
True
Suppose x + 22 = 2*q, 3*x + 0 + 12 = 0. Suppose -q*s = 120 + 123. Let o(u) = -u**3 - 26*u**2 + 23*u - 31. Does 8 divide o(s)?
False
Suppose 25071 = 50*s - 332679. Does 135 divide s?
True
Let r(f) = f**3 - 14*f**2 + 21*f - 17. Let z be r(12). Let u = -28 - z. Does 13 divide (-6)/15 + 1235/u?
False
Let h(t) = 5*t**2 + 9*t + 615. Let f(m) = 2*m**2 + 3*m + 205. Let p(j) = -8*f(j) + 3*h(j). Does 33 divide p(0)?
False
Let d = 9095 + 2328. Is 109 a factor of d?
False
Suppose q = -4*h + 6869, -q + 3061 = 2*h - 376. Does 13 divide h?
True
Let d be 45/(-36) - (2 - 123/12). Let s(r) = 11*r**3 + 3*r**2 - 7*r + 4. Let u be s(4). Suppose d*z - u = -0*z. Is z a multiple of 21?
False
Suppose -8*r + 5*r + 4*c = -17, 4*r = c + 14. Suppose 1430 = 5*b + m + 3*m, r*m - 1425 = -5*b. Is b a multiple of 14?
False
Suppose 2*l = 3*o + 2276, -4*l - 2280 = -6*l + o. Let s = -801 + l. Does 9 divide s?
False
Suppose 4*b - 1512 = -4*r, 5*b = 2*b + r + 1130. Suppose 101 = -s + b. Is 10 a factor of s?
False
Let g = 17475 + -9571. Is g a multiple of 8?
True
Let f = 3847 - 2671. Suppose g - 8*g = -f. Does 21 divide g?
True
Let d = 36985 + -12054. Does 4 divide d?
False
Let s = -987 - -1082. Is 12 a factor of s?
False
Let g(o) = o**2 - 28. Let u(c) = -3*c - 18. Let x be u(-6). Let j be g(x). Let w = 52 + j. Is 17 a factor of w?
False
Let r be (0 - (-7 + 2)) + 0. Let j(c) = -c**3 + 14*c**2 - 35*c - 1. Does 28 divide j(r)?
False
Let h(s) = -s**3 + 2*s**2 + 28*s - 245. Is h(-25) a multiple of 30?
True
Let n = 3 + -5. Suppose -2*k - 3*k + 3177 = 3*c, 0 = 5*c - k - 5323. Does 17 divide n/(-6) - c/(-21)?
True
Suppose 94*b - 29637 - 67559 = 0. Is b a multiple of 4?
False
Suppose 4*f + 712 = 3*p, -2*f = 5*p - 0*p - 1152. Suppose 14*v - p = 6*v. Is v a multiple of 4?
False
Suppose -8*s + 1808 = 624. Let n be (-1)/(-3) - (-371)/3. Suppose 5*u - 71 = -3*c + s, -n = -2*c + 4*u. Does 8 divide c?
False
Let y(v) = v**3 - 39*v**2 + 8*v + 156. Let t(m) = -6*m**3 + 194*m**2 - 40*m - 778. Let s(q) = -2*t(q) - 11*y(q). Does 6 divide s(-41)?
True
Suppose -5*t + 8002 = 2*j, -20025 = -9*j + 4*j - 10*t. Is j a multiple of 10?
False
Suppose -3*n = 4*n + 4*n. Suppose -2*k - 3*h + 5*h + 12 = n, -34 = -3*k - h. Is (-8)/(-20) + 1556/k + 0 a multiple of 40?
False
Let m(a) be the third derivative of a**4/24 + a**3/3 + a**2. Let q be m(4). Does 23 divide (1648/q)/(-4)*(-6)/4?
False
Suppose 1126675 = -489*n + 730*n. Does 13 divide n?
False
Suppose -10*c = 10 - 100. Suppose 3 = 2*a + c. Let o(g) = 22*g**2 - 2*g + 4. Is o(a) a multiple of 25?
False
Let o = -905 - -913. Let x(h) = -h**3 + 14*h**2 - 6*h + 70. Does 12 divide x(o)?
False
Let g be (-10)/8 + (-460)/80. Let p(u) be the third derivative of -7*u**4/24 - 14*u**3/3 - 2*u**2. Is p(g) a multiple of 3?
True
Let d be ((-3146)/(-8))/(4/16). Suppose 9 = -3*z, 0 = -5*w + 4*z - 3*z + d. Is w a multiple of 8?
False
Let x = 1087 + -1823. Let u = x - -1203. Is 12 a factor of u?
False
Suppose -v - 18*v = -13946. Let q = v - 512. Does 35 divide q?
False
Let f = -8148 - -15186. Does 51 divide f?
True
Let y be (-1)/((1/18)/((-13)/(-39))). Is 44/((-280)/(-45) + y) a multiple of 9?
True
Let a be (3 - 0 - 105)/(-2). Let n = a - 47. Suppose -n*b + 79 + 105 = 0. Does 13 divide b?
False
Suppose -12*g = -190 + 694. Let t = 184 + g. Is 17 a factor of t?
False
Let m(r) = 4*r + 914. Is m(16) a multiple of 3?
True
Let d(v) = -v**3 + 31*v**2 - 30*v - 12. Let a be d(30). Is ((-498)/12)/(2/a) a multiple of 21?
False
Let r be 2 + 1 + -56 - 6/(-3). Let d = r + 55. Does 12 divide 100 + ((-8)/d - -4)?
False
Let g(n) be the first derivative of n**3/3 - 9*n**2 - 28*n + 2688. Let d be (-8)/(-3)*(-30)/(-4). Does 6 divide g(d)?
True
Let z(b) = -10*b**3 + 10*b**2 + 63*b + 499. Is 26 a factor of z(-9)?
False
Let v = 542 + -463. Suppose -231 = -n + v. Is 25 a factor of n?
False
Suppose 0 = 50*c - 55*c - 2560