 divide -3*((-91)/s + 3)?
False
Let y be 24/15 + (-4)/(-10). Suppose 5*d + 4*a - 8 = 6*a, -y*d + 12 = -3*a. Suppose d = -3*z - 3*z + 456. Does 42 divide z?
False
Suppose 73*a + 73*a - 562000 = -135*a. Is a a multiple of 6?
False
Let s = 73 - 70. Let z(u) = u**2 - 3*u + 6. Let j be z(s). Suppose j + 46 = 4*r. Is 13 a factor of r?
True
Suppose 0 = w + 7 + 19. Let l = -88 + 127. Is 17 a factor of 5025/l - 4/w?
False
Let y(k) = -k**2 - 4*k + 2. Let j be y(0). Let m(n) = -n**3 - 3 - 7*n**2 + 11*n**j + 9*n + 1 + 2*n**2. Is m(7) a multiple of 6?
True
Let r(z) = -z**3 + 12*z**2 + 12*z + 13. Let l be r(13). Let x(i) be the first derivative of i**2/2 + 66*i + 21. Does 11 divide x(l)?
True
Suppose 191*f - 9417394 = -46*f + 4*f. Is 7 a factor of f?
True
Suppose 2000 + 7772 = 4*n. Does 6 divide n?
False
Let w be 5 + (-1400)/(-30)*(-54)/(-4). Suppose 2*t - 14*l - w = -19*l, -l = -2*t + 665. Does 5 divide t?
True
Suppose -4*v - 192 - 400 = 0. Let s = 83 + v. Let t = 4 - s. Is t a multiple of 13?
False
Let n = 3621 - 2721. Is 75 a factor of n?
True
Let y = -15250 + 16385. Is 3 a factor of y?
False
Does 11 divide ((-24128)/(-130) - -18)/((-4)/(-110))?
True
Let l be (-4 + (-18 - -22))*(-3)/6. Let r(a) = 73*a**2 + a. Let s be r(-1). Let q = l + s. Is q a multiple of 5?
False
Suppose q - i = 111 - 3, -q = 4*i - 128. Let h = 82 + -2. Let y = q - h. Is y a multiple of 15?
False
Let k(u) = -20980*u - 1747. Is 11 a factor of k(-1)?
False
Let l(y) = y**2 + 2*y - 1. Let r(d) = -3*d + 2. Let t(v) = -3*l(v) - 2*r(v). Let h be t(1). Does 5 divide 1302/28*h/(-6)?
False
Let u = -11 + 10. Suppose 2*d + 5*g = -23, -d - 3*g - 17 = -3*d. Is d/(u - (-660)/656) a multiple of 41?
True
Let y = 79 - 37. Suppose y*o - 148 = 40*o. Suppose 0 = -2*c - 64 + o. Does 4 divide c?
False
Suppose 48*r + 3130 = 58*r. Let u = 340 - r. Is u a multiple of 27?
True
Let f = 1851 + -988. Does 12 divide f?
False
Let p(r) = -3*r - 23 - 8 + 4 - 3. Let v be p(-11). Is 6 a factor of (-62)/3*v*(-3)/6?
False
Suppose 2*s = 4*u - 72576, -3*u + 2416 + 52016 = 3*s. Is u a multiple of 54?
True
Suppose -r - 2*r + 9 = 0, 5*f = r + 2137. Suppose -149 = -j + 5*d, -18*j = -21*j - 4*d + f. Is 6 a factor of j?
True
Does 6 divide (-21)/((-630)/1263) + 1/(-10)?
True
Let t(d) = d**3 + d**2 - 2*d + 3. Let u be t(1). Suppose -39 = -4*h + u*h - 3*m, 3*h - 105 = -3*m. Does 11 divide h?
True
Let l = 855 + -428. Let u = 14 + l. Is u a multiple of 21?
True
Let k(s) = -s**3 + 11*s**2 + 16*s - 10. Let b be k(12). Let j(n) = -n**3 - 23*n**2 - 21*n. Let t be j(-22). Let u = b + t. Is u a multiple of 4?
True
Is 13 a factor of (-7 - -3)/2*((-12290)/4 + -2)?
True
Suppose 113*v + 93*v - 5606496 = 0. Is v a multiple of 24?
True
Let l(z) = -z**3 + 9*z**2 - 3*z - 6. Let k be l(6). Is 17 a factor of (-1*(-34)/(-4))/((-2)/k)?
True
Suppose -15 - 132 = 3*l. Suppose a - 46 = -3*f + 6, a - f = 68. Let c = a + l. Is 4 a factor of c?
False
Does 85 divide 856/4280 - (-2 + 223528/(-10))?
True
Suppose 0 = -191*k + 123 + 68. Suppose -3*z = -1 - 5. Suppose 2*y - x - 22 = 0, 3 = z*x - k. Is 4 a factor of y?
True
Let n(h) be the first derivative of h**5/60 + 3*h**4/8 - 21*h**2/2 - 4. Let a(f) be the second derivative of n(f). Is a(-11) a multiple of 7?
False
Suppose -2*g + 451 = 107. Suppose g = -k + 424. Does 28 divide k?
True
Let d = 4776 + -4313. Is d a multiple of 76?
False
Let c be (4 + -28 + 1)*-6. Does 19 divide (-1794)/(-4)*184/c?
False
Is 133 a factor of (-5109 + 2)*(-1)/(9 + -8)?
False
Let b be (-26)/(-39)*6/4*1438. Let l = -918 + b. Does 13 divide l?
True
Let y(w) = -8*w**3 + 2*w**2 + w. Let a be y(-1). Let n be ((-15)/(-2))/(a/(-18)). Is 19 a factor of (-3)/(n/560) - -2?
True
Let m(p) = -p**3 + 15*p**2 - 6*p + 44. Let l be m(8). Let q = l - 139. Is 61 a factor of q?
True
Let d be 1 - (-11)/(-9) - 112/(-18). Let b(x) = 10*x + d*x + 2*x - 2 - 6. Does 4 divide b(4)?
True
Suppose -5*p - 2*i + 731 = 0, -4*p - 3*i + 729 = p. Let z = p - -286. Does 13 divide z?
False
Let x be 2/(-7) - 57/21. Let i be x - ((4 - 6) + 48). Let p = 119 + i. Is 10 a factor of p?
True
Let i(y) = 14*y - 11. Suppose 4*o + 0*p = -4*p + 64, o - 22 = 5*p. Suppose 6*z = o + 37. Is 32 a factor of i(z)?
False
Suppose 3 - 15 = -3*i. Suppose -184 = -d - 4*k, -5*k = -2*d + 268 + 113. Suppose -2*b = -i*q + d, 5*q + 3*b = -0*q + 224. Does 23 divide q?
True
Let g(b) = 1 - 1 + 11*b**2 + 2 - 3. Suppose -5*t = 3*o - 11, 5*o - 3*t - 1 = 6. Does 6 divide g(o)?
False
Suppose -20*g + 54 = -2*g. Suppose g*u = -4*q + 184, -u + 3*q + 80 = 23. Is u a multiple of 15?
True
Suppose -28*r + 305513 = 102317. Is 123 a factor of r?
True
Let a(l) = 31586*l**3 - 73*l**2 + 76*l - 5. Does 168 divide a(1)?
True
Suppose -69*o + 81*o = 15576. Is 95 a factor of o?
False
Suppose 1186448 = -43*q + 183*q - 219012. Is q a multiple of 65?
False
Let z = -42 - -41. Let p be z*2 + 6/(5 - 2). Does 5 divide (p + 9/5)*5?
False
Suppose -660 = -8*a + 2140. Suppose 5*g + a = 5*n, -19*n = -15*n + 5*g - 235. Is n a multiple of 5?
True
Let t(n) = 46*n - 39*n - 1 - 34. Is t(18) a multiple of 15?
False
Let g(a) = -a**3 + 9*a**2 - 12*a - 8. Let k be g(7). Suppose 4*h - k*f + 2*f - 1956 = 0, -4*h - 5*f + 1983 = 0. Is h a multiple of 12?
True
Suppose w - 2*u + 0*u = 509, -4*u + 2573 = 5*w. Suppose -6*g - 3*g = -w. Is g a multiple of 14?
False
Let l be (-3)/4 + 1/(-4). Let m(j) = -188*j - 3. Let y be m(l). Suppose -5*v + 60 = -y. Is 6 a factor of v?
False
Is -301 - -315 - -2591*5 a multiple of 9?
True
Let q = 1682 + 348. Does 14 divide q?
True
Let j(c) = c**3 + 22*c**2 - 22*c + 30. Let d be j(-23). Let n(o) = o + 605. Let b be n(0). Suppose d*r = 2*r + b. Is r a multiple of 20?
False
Suppose 4*g = 3*q + 15, -q - 30 = -4*g - 3*q. Suppose 15*l - g = 13*l. Suppose -5*m - 7 - l = 0, 4*m = 4*n - 536. Is n a multiple of 21?
False
Let m(t) be the second derivative of t**5/20 + 11*t**4/6 + 43*t**3/6 - 65*t**2/2 - 5*t - 20. Is 49 a factor of m(-19)?
False
Let l(t) = -4*t + 22. Let z be l(6). Does 8 divide (39/(-6))/(z*(-4)/(-256))?
True
Let t = 13 - 9. Let j(y) = -y. Let m(n) = n + 14. Let a(r) = t*j(r) + m(r). Is 5 a factor of a(-7)?
True
Let b be 1 + (-5 - 3564)*-1. Suppose -5*z = -8*z + b. Suppose z = 9*y - 1006. Does 11 divide y?
False
Let k(v) = 3*v**2 - 12*v + 3. Let c be k(4). Suppose -3*u - 3*a + 219 = -6*a, c*u - 221 = a. Is u a multiple of 10?
False
Suppose 1144236 = 75*c + 73*c - 46*c. Is c a multiple of 9?
False
Let q(t) = -158*t + 114. Let p be q(7). Is 83 a factor of 4 + (-1 - p) + 1?
True
Let k(z) = -16*z**3 - 19*z**2 - z + 2. Is 7 a factor of k(-3)?
True
Is (1664390/26)/5 - 23 a multiple of 142?
True
Let i(w) = -191*w - 493. Is i(-11) a multiple of 6?
True
Suppose -12*c + 11455 = 18*c - 995. Is c a multiple of 18?
False
Let l(p) = -p**3 - 74*p**2 + 217*p - 710. Is l(-78) a multiple of 50?
True
Suppose -5*c + 27*l = 25*l + 55, -2*l + 19 = -c. Does 10 divide c*4/6 + 446?
True
Let o = 15813 - 11061. Does 13 divide o?
False
Let v(l) = -26*l - 2. Let i be v(-3). Suppose -t - i = 3*t + 4*r, 53 = -3*t - 4*r. Let x = t - -79. Is x a multiple of 14?
True
Suppose 2*c - 4554 = -35*a + 33*a, 3*a - 5*c = 6823. Suppose -a = -7*j - 71. Is j a multiple of 45?
True
Let t = 248 - 2588. Let z = -1433 - t. Is z a multiple of 43?
False
Let m = 1308 - 2518. Let w = 1810 + m. Does 25 divide w?
True
Suppose 25*o - 3*i + 8670 = 27*o, o - 4*i = 4313. Is o a multiple of 13?
True
Suppose -4*o = 4*u - 12572, -3263*o + 3259*o = -5*u + 15679. Does 13 divide u?
False
Let f(t) = -t + 1. Let d(k) = 3*k**2 - 2*k + 27. Let z(c) = d(c) - 3*f(c). Suppose -2*w + 8 - 20 = 0. Is z(w) a multiple of 14?
True
Does 65 divide (-1173 - (-9)/3)*(4 - 66/12)?
True
Let w = 700 + -783. Let x = 895 + w. Does 28 divide x?
True
Let x(c) = -7*c**3 - 10*c**2 + 8*c + 21. Let u = 833 + -838. Does 12 divide x(u)?
False
Is (-25)/125*45 - -3*14459 a multiple of 104?
True
Let i(h) = h - 10. Let x be i(4). Let g(l) = l**3 + 7*l**2 + 6*l + 8. Let k be g(x). Suppose -k*p + 24 = -2*p. Is p a multiple of 4?
True
Let p(f) = -22*f**3 - 4*f - 4. Let x be p(-1). Does 6 divide (-12)/66 - ((-1170)/x + 5)?
True
Suppose 204*a = 88104 + 1338264. Is a a multiple of 19?
True
Suppose -105 - 51 = -39*p. Let m(t) = -3*t**2 - 3. Let l(u) = 6*u**2 + u + 6. Let s(q) = 6*l(q) + 11*m(q). Is 12 a factor of s