/4 - 14*b**3/3 + 7*b**2 - 15*b - 15. Let l be q(13). Is 6 a factor of 86/(-6)*(l - -3 - 4)?
False
Let d(h) = 11*h - 84. Let r be d(7). Does 6 divide 2/6 + ((-3136)/24)/r?
False
Let u be (-873)/(-4) - ((-225)/20)/15. Suppose -3*m - u = -s, 0*m = 4*m + 16. Is 13 a factor of s?
False
Let a(g) = 8*g**3 + 3*g**2 - 2. Let l(i) = -17*i**3 - 7*i**2 + i + 5. Let k(d) = 5*a(d) + 2*l(d). Let p be k(2). Let v = 153 - p. Is v a multiple of 23?
False
Let r be ((-9)/6)/(0 + (-2)/20). Suppose 0*i - r = -3*i. Suppose -10*f = -i*f - 105. Does 7 divide f?
True
Suppose 32512 = 4*o - 1896. Is 14 a factor of o?
False
Let j(g) = g - 17. Let q(d) = 6*d - 85. Let x(p) = 11*j(p) - 2*q(p). Let a be x(-11). Let k(i) = -10*i - 19. Is k(a) a multiple of 12?
False
Let b = -234 + 237. Suppose -b*x = 5*d - 1642, -1 = 4*d + 3. Does 15 divide x?
False
Suppose -108*q + 53*q = 94*q - 890275. Is q a multiple of 6?
False
Let a be 292/16*-6*(-80)/12. Does 19 divide a + (-6 - (6 + -7))?
False
Let o(c) = 47*c + 90. Let y be ((-20)/70)/(-2) + (-334)/(-14). Is 21 a factor of o(y)?
True
Suppose 0*t + 3*t = 0. Let x be ((-504)/21 + 19)/((-1)/16). Suppose u + x - 215 = t. Is u a multiple of 9?
True
Let t be 2/10 - 2*21912/(-80). Suppose 0 = -2*m - 5*r + 1095, -m - 3*r = -r - t. Is m a multiple of 33?
False
Let h = 8 + -2. Suppose 129 = -h*j - 579. Let v = j + 165. Is 11 a factor of v?
False
Let i be 653 + 4 - -2 - -2. Let f = i + -212. Does 22 divide f?
False
Suppose u - 47*b - 11787 = -45*b, 2*u = -2*b + 23544. Does 257 divide u?
False
Let f(z) = -47*z**2 - 8*z - 13. Let r be f(7). Let w = -978 - r. Is 82 a factor of w?
True
Suppose -318*p = -283*p - 492800. Does 16 divide p?
True
Let z(a) = a**3 + 17*a**2 - 3*a - 19. Let i be z(-11). Suppose 16*d = i + 780. Is d a multiple of 5?
True
Let k = -1102 - -1645. Let o = k + -342. Is o a multiple of 7?
False
Let o(u) = u**3 + 9*u**2 - 18. Suppose -32 = -n + 5*n. Let r be o(n). Suppose 4*i - r - 194 = 0. Is i a multiple of 14?
False
Let i(s) = 44*s**3 + 5*s**2 - 8*s - 24. Let p(q) = 131*q**3 + 14*q**2 - 25*q - 73. Let y(r) = 11*i(r) - 4*p(r). Does 52 divide y(-2)?
False
Suppose -21429 = -2*z - 771. Suppose 0 = -50*v + 39*v + z. Is 29 a factor of v?
False
Let z(f) = -5*f**2 + 5*f + 9. Let p be z(-4). Let i be (-39)/p - (-199072)/(-14). Does 49 divide (i/(-177))/(2/6 - 0)?
False
Suppose 3*z + c = 4*z + 1, 5*z - 7 = c. Suppose t = 4*q + 4*t - 1707, 0 = z*q + t - 855. Is q a multiple of 33?
True
Let j(b) = -b**3 + b**2 - 2*b - 685. Let o be j(0). Let s = o + 877. Is s a multiple of 8?
True
Let c(s) be the first derivative of 2*s**3 - 2*s**2 + 56*s - 23. Is 34 a factor of c(8)?
True
Does 7 divide 4043847/2001 + -4*2/(-92)?
False
Let n(w) = 5*w - 130. Let a be n(32). Is 4 a factor of (-1 + 2)*(a - -251)?
False
Suppose -80*w - 24 = -68*w. Does 6 divide (-33)/12*w*(53 + 29)?
False
Let o(a) = -a**2 + 31*a - 7. Let n(b) = 2*b**2 - 64*b + 15. Let c = 73 + -67. Let w(u) = c*n(u) + 13*o(u). Does 4 divide w(14)?
False
Suppose 28 = -2*k + 50. Suppose b = 0, k*j + 5*b - 1320 = 9*j. Does 30 divide j?
True
Suppose 0 = 15*z - 16*z + 5. Suppose z*l = -15, a + 83 = 2*a + 3*l. Is a a multiple of 23?
True
Let z(f) = -2*f - 12. Let w be z(-5). Does 79 divide (-7332)/(-20) + w + 21/(-35)?
False
Let r = 46 + -42. Suppose r*d - 365 = 1579. Does 9 divide d?
True
Let q(h) = 38*h - 87. Let p be -3*(-4)/(-18)*-6. Does 4 divide q(p)?
False
Is 32 a factor of -2 + 7/(42/50278) + (-1)/(-3)?
False
Let q be (5/(-15))/(3/(-27)). Suppose -q*o - 1 = -2*o. Is 21 a factor of (0 + 14)*(-3)/o?
True
Let x = -605 - -2525. Does 4 divide x?
True
Let o = -45 + 28. Let w = o - -17. Suppose -d + 16 = 3*d, -5*c + 5*d + 500 = w. Is 26 a factor of c?
True
Let o be (-4)/(-3) + 294/63. Suppose 0 = -5*z + 2*w + 389, 0 = -0*w - 3*w - o. Does 6 divide z?
False
Let x(c) = -c**3 + 5*c + 28. Does 14 divide x(0)?
True
Let w(i) = 8 - i + 5*i**2 - 4*i - 6*i**2 + 2*i**2. Let j be w(4). Is 6 a factor of j - -3 - (-1 - -1)?
False
Let l(j) be the third derivative of -j**5/120 + 7*j**4/8 - 11*j**3/6 + 2*j**2. Let m(v) be the first derivative of l(v). Does 3 divide m(6)?
True
Is (-21)/(-3) - (-121505)/(31 + -12) a multiple of 11?
True
Let q(c) = -77*c - 160. Let m = -46 + 32. Does 51 divide q(m)?
True
Let r(m) = 13*m**2 + 15*m - 16. Let q be r(1). Suppose -5*d - 2*x = -77, -7*d + q*d = 3*x + 72. Is d a multiple of 15?
True
Let j(c) = 48*c + 441. Is j(6) a multiple of 21?
False
Let l = -31 - -36. Suppose -422 = -l*d - 2*h - 2*h, -5*h = d - 76. Is d even?
True
Suppose -u + 2*y = -10824, 5*u - y = 66278 - 12104. Does 14 divide u?
True
Let p = 19586 - 13142. Does 44 divide p?
False
Suppose 169 = -4*v - 147. Let y = -70 - v. Suppose -o = i - y, o - 4*i = -0*i + 29. Is o a multiple of 2?
False
Let c(g) = 6*g**2 - 16*g + 16. Let h be c(1). Suppose h = -2*f, -2*f = -2*p - p + 711. Is 15 a factor of p?
False
Is (-1)/((-4)/13768)*(-966)/(-84) a multiple of 87?
False
Suppose -12*w = 9*w. Suppose 7*x - 1724 - 579 = w. Is 5 a factor of x?
False
Let f = 2138 + -1380. Is f a multiple of 15?
False
Let x = 519 + -298. Let h = -187 + x. Does 17 divide h?
True
Let a be -385 - 3*16/(-24). Let q = 797 + a. Does 18 divide q?
True
Let h = 121 - 16. Let w(k) = h*k - 332 + 180 + 169. Is w(2) a multiple of 17?
False
Suppose -4*w = 3*z + 161, -2 - 34 = w + 5*z. Let d = w - -44. Suppose 2*t - 479 = -3*b - 108, 558 = d*t + 4*b. Is 19 a factor of t?
True
Let y be (-72)/(-7) - 0 - 6/21. Let q be (6/y)/(3 - (-1032)/(-345)). Suppose -2*i + 159 = -q. Is i a multiple of 19?
True
Let l = -470 - -468. Let s(z) = -z**3 + 3*z**2 + 2*z. Let k be s(3). Does 15 divide ((-3*34)/k)/(l + 1)?
False
Let s(u) = -u - 24. Let z be s(13). Let j = z - -298. Is j a multiple of 23?
False
Suppose 0 = -g + 3*s - 6*s + 5, 3*g = 3*s + 27. Suppose g*d = 18*d - 11920. Does 49 divide d?
False
Suppose -24 = -0*u - 4*u. Suppose -q + u = 14. Is 2 a factor of (-5)/1*q/10?
True
Suppose -2*z = 10, 5*z = -3*y + 3*z - 25. Is 297 + ((-10)/y)/1 a multiple of 20?
False
Let c = 98079 + -66173. Is 14 a factor of c?
True
Let m(q) = 15*q**2 - 43*q + 2. Let p(c) = -31*c**2 + 89*c - 5. Let o(s) = 13*m(s) + 6*p(s). Is 2 a factor of o(5)?
True
Let n(s) be the third derivative of -7*s**4/12 - 7*s**3/3 - 2*s**2. Let i(h) = 1. Let x(q) = 4*i(q) - n(q). Is x(5) a multiple of 44?
True
Suppose 4*v = -3*o + 3238, 1 = -2*v - 3. Let a = o + -609. Is 14 a factor of a?
False
Does 71 divide 3 - (5197464/(-1036) + (2/(-14) - 0))?
False
Suppose -27*a = -4926 - 15621. Is 20 a factor of a?
False
Let y = 7155 + -1375. Does 201 divide y?
False
Suppose 106*w - 2667 = 103*w. Let i = -369 + w. Is 15 a factor of i?
False
Suppose 3*b = y - 9750, 33*y - 31*y - 19500 = b. Is 78 a factor of y?
True
Suppose -11545 = -5*l - j + 6133, 0 = l + 3*j - 3530. Suppose -618*y + 610*y + l = 0. Is y a multiple of 26?
True
Suppose 17*t - 4*o - 4296 = 13*t, t - 1078 = -3*o. Let w = -731 + t. Is w a multiple of 57?
False
Let l(u) = 6*u**2 + 4*u - 3. Let w be l(2). Let b = -2094 + 2175. Let f = b - w. Is 4 a factor of f?
True
Let r = -2240 + 2608. Does 4 divide r?
True
Is 5 a factor of ((-494)/57)/((-8)/(-180))*-2?
True
Let v = 5079 - -3546. Is v a multiple of 115?
True
Suppose -1615 = -l - 3*q, 0*l - 4*l - 2*q = -6470. Suppose 2*a - f - l - 14 = 0, -3*f = 0. Is a a multiple of 24?
True
Suppose 0 = -6*u + 2*u - 8. Let n(p) = 11*p**2 + 9*p - 23. Let j be n(-4). Let k = j + u. Is 19 a factor of k?
False
Suppose 0 = o + 3*g + 1578, o + 3156 = -o + 3*g. Let s = -874 - o. Is 64 a factor of s?
True
Let l = -71 - -87. Does 5 divide 163*(-6)/4*l/(-24)?
False
Suppose -q + p - 18 = 0, 2*p + 31 = -2*q - p. Let o = 17 + q. Does 8 divide o/(2 - 4) + 113?
False
Suppose 24 = -7*j - 18. Is (4/60*j)/((-2)/2610) a multiple of 58?
True
Let c be 5 + -4 + 18/6 + 13. Suppose -c*w + 9667 + 3457 = 0. Is 82 a factor of w?
False
Suppose g = -m - 5, -3*m = m + 16. Let i(s) = -41*s**2 - s - 1. Let j be i(g). Let y = j - -165. Is y a multiple of 9?
False
Suppose 5*z - s - 466 = 0, z - 58 - 28 = 2*s. Does 2 divide z?
True
Let k = -207 - -207. Suppose 2*m - 3*m + 4*j + 416 = k, j = -3*m + 1287. Is 35 a factor of m?
False
Suppose 2*p = 3*u + p + 655, 3*u - 2*p + 656 = 0. Let w = u + 282. Does 16 divide w?
True
Suppose 403*b = 391*b + 15408. Does 2 divide b?
Tru