-21)/(-35) + (-86)/10. Let q be (0 + 1)/(m/(-6312)). Suppose -7*o + q = -709. Is 28 a factor of o?
False
Let g be ((-84)/20)/((-3)/255). Let w = 698 - g. Is 11 a factor of w?
True
Suppose 2*f - 6*f + w + 278 = 0, -2*f + 136 = -2*w. Is 28360/f + 12/14 a multiple of 58?
True
Suppose 26*p = 7*p + 76. Suppose 0 = -4*y + 2*z + 290, y - 45 = p*z - 9*z. Does 5 divide y?
True
Suppose 4*q - 621 + 201 = 0. Suppose 32 = 4*i - 4*u, i + 2*u = -1 - 3. Suppose -55 = -i*z + q. Is z a multiple of 20?
True
Let l be 22/6 - 1/(-3). Let i(f) be the first derivative of 10*f**3/3 + 3*f**2 - 17*f - 2439. Is i(l) a multiple of 30?
False
Let w(d) = -d - 5. Let k be w(-8). Suppose 2*m = -4*h + k*m, 4*h + m = 0. Let o(f) = f**2 - 2*f + 120. Is o(h) a multiple of 30?
True
Let y = -19939 - -29016. Is 5 a factor of y?
False
Let v(i) = 5*i**3 + i**2 + i - 1. Let j(y) = -y**2 - 10*y - 15. Let a be j(-8). Let f be v(a). Suppose -450 = -f*n + 78. Is n a multiple of 11?
True
Let j = 3160 + -3136. Let l be (2/(-4))/((-3)/(-144)). Is j/(-1)*272/l a multiple of 16?
True
Suppose -41*q + 118793 = -53*q + 848537. Does 92 divide q?
True
Suppose 2*l - 21 - 327 = 0. Suppose 0 = -l*v + 173*v + 108. Is v a multiple of 9?
True
Let r(o) = o**3 + o**2 - 29*o. Let i(b) = -b**3 - 2*b**2 + 22*b. Let l(w) = 7*i(w) + 6*r(w). Does 20 divide l(-8)?
True
Let j(y) = -y**3 + 4*y**2 - 9*y - 14. Let t be j(9). Let z = -420 - t. Is z a multiple of 2?
True
Let w = 457 - 1174. Let v = w + 809. Is v a multiple of 12?
False
Suppose -3*l + 17 = -7. Suppose 2*s + 0*c = -3*c + 19, -s + 2*c = l. Suppose -m = s*m - 213. Does 16 divide m?
False
Suppose 7*g - 3*g + 5*c - 3165 = 0, 0 = 3*c - 3. Does 5 divide g?
True
Does 12 divide ((-41790)/28)/((-8)/64)?
True
Is 81 a factor of (25482/465)/((-2)/(-1040))?
False
Let s(a) = a**2 + 7*a - 13. Suppose n - 3 + 12 = 0. Let t be s(n). Does 24 divide ((-60)/14)/((t/(-21))/5)?
False
Is 145 a factor of (50/(-3))/(((-8)/870)/2)?
True
Let g = 3236 - 2121. Let w = g - 440. Does 8 divide w?
False
Let b(z) = 4*z**2 - 16*z + 9. Let h be b(4). Is 7 a factor of (0 + 141/h)/((-4)/(-48))?
False
Let j(y) be the second derivative of -7*y**5/20 + 2*y**3/3 - 3*y**2/2 - 4*y. Let b be j(-4). Let d = b + -237. Does 32 divide d?
True
Is 7 a factor of ((-105339)/26 + -5)/((-4)/8)?
True
Let f = 616 - -114. Is 22 a factor of f?
False
Let t = -99 - -214. Let w = t + -29. Does 3 divide w?
False
Let o = 25 - 46. Let r be (-1 + 0)*(-4 - o/(-7)). Suppose 0*n + 2*c + r = n, 5*c = -n + 21. Is 4 a factor of n?
False
Let i = -11791 + 18061. Suppose -18*c = 12*c - i. Is 3 a factor of c?
False
Let w(n) = -n. Let k(m) = 10*m - 35. Let p(s) = k(s) - w(s). Suppose -f - 4*g = -13, -5*g = -11*f + 15*f - 63. Does 8 divide p(f)?
True
Let u(q) = q**3 + 6*q**2 - 6*q. Let g be u(-6). Let r = g - 31. Is 29 a factor of 2/r + 308/5?
False
Let x = -3511 + 10483. Does 83 divide x?
True
Let y = -850 - -559. Let n = y + 383. Is 12 a factor of n?
False
Suppose -76 = -4*c + g, 0 = 6*g - 5*g. Suppose 2*s + 5*r - c = s, 0 = s + r - 7. Suppose 6*k - 100 = -s*o + 2*k, -3*o + 70 = 2*k. Does 20 divide o?
True
Suppose 56 = -7*l + 8*l. Let i = l - 51. Suppose 0*d - 152 = -2*o - 2*d, -i*o + d + 386 = 0. Is o a multiple of 14?
False
Let d(g) = -6371*g - 1867. Is d(-5) a multiple of 357?
True
Let l(d) = 3*d**2 - 8*d - 9. Let y be 0 + 6/9 - 300/45. Is l(y) a multiple of 8?
False
Suppose -144*g + 163*g - 26429 = 0. Does 107 divide g?
True
Let n(b) = 47*b**2 + 32*b + 4. Does 13 divide n(9)?
False
Let f(i) = 84*i - 72. Let n be f(4). Suppose 3*p = -3*u + n, -2*p + 4*p - 151 = 3*u. Does 32 divide p?
False
Suppose -34*k + 24 = 3*l - 31*k, 0 = 5*l + 2*k - 25. Does 14 divide 57/(-2)*(-28)/l?
True
Let a = -1167 - -2245. Is 98 a factor of a?
True
Let z(p) = 3*p**2 - p - 27. Let n be z(5). Let v = 50 - n. Suppose 0 = v*h - 64 - 216. Is h a multiple of 4?
True
Suppose -47*n = 43*n - 97*n + 258538. Is 313 a factor of n?
True
Let t(s) = 2*s - 2. Let l be t(0). Is (14 - 21)/(2*l/76) a multiple of 5?
False
Let f be (-6)/(-2) - (-14 - -13). Is 57 a factor of ((-156)/16)/(-13) + 1393/f?
False
Suppose 4*c + 51 = l, -3*l - 63 = 5*c - 4*l. Let y(i) = -5*i + 22. Let d(f) = f + 1. Let u(o) = -3*d(o) + y(o). Is 32 a factor of u(c)?
False
Suppose 8*h - 3 = 21. Suppose -180 = -5*n - 3*g, 0*g + 2*g = -h*n + 107. Does 3 divide n?
True
Let v(a) = -11*a - 17. Let q be v(-2). Suppose -6*x = 3*d - x - 30, -3*x + 66 = q*d. Does 15 divide 5/d*(455 - 2)?
False
Suppose 5*s + 3*g - 1021 = 1167, 2*g + 872 = 2*s. Let n = 1157 + s. Suppose -586 + n = 4*r. Is r a multiple of 18?
True
Suppose -5*l + 5*s = s, 5*l - 40 = -4*s. Suppose 1 = -5*u + l*b + 3, 2*b = -3*u - 12. Is 29 a factor of (3 + -2)*55 + 1*u?
False
Let v = -36 + 41. Let r(m) = 2*m**2 - 13*m + 3. Let a be r(v). Is -1*(-6)/(a/(-130)) a multiple of 24?
False
Let w(n) = -65*n + 2510. Does 51 divide w(-33)?
False
Let p(n) = -8*n**2 - 6 + 2 + 9*n**2 + 48*n**3 - 2*n + 7. Is 11 a factor of p(2)?
False
Let s be -5 + (-1 - -1) - -15. Is 12 a factor of s/2*11/((-385)/(-126))?
False
Let c be -4 + 22731/33 + (-2)/(-11). Let q = 1275 - c. Is 10 a factor of q?
True
Suppose -11*j + 26755 - 4524 = 0. Is j a multiple of 17?
False
Let s(k) = -k**3 + 12*k**2 + 22*k. Let n be s(10). Let b = -120 + n. Suppose -2*a = -4*m + 3*m + 136, 0 = -2*m - 3*a + b. Does 36 divide m?
True
Let z = 20 - 20. Suppose -2*v - b + 458 = z, -14*b + 13*b + 227 = v. Does 33 divide v?
True
Let f = -17194 - -37088. Does 14 divide f?
True
Suppose 0 = -g - 4*o + 12, -5*g - 3 = -4*g - o. Suppose -p + 709 = x + 2*x, g = 5*x + p - 1185. Does 17 divide x?
True
Let m(a) = 12*a**2 + 6*a + 3. Let v be m(-5). Suppose 3*i + 141*l + 363 = 150*l, -2*i = -2*l + 218. Let u = v + i. Is u a multiple of 23?
False
Suppose -5*w + 2631 + 204 = 0. Suppose -5*x - w = -4*t, 0 = -2*x - 3*x + 25. Is t a multiple of 4?
True
Is (3 + 2586 - -4) + 11 a multiple of 16?
False
Let f = -140 + 63. Let s = f - -82. Suppose -4*h + 224 = 2*k, 5*h = -s*k - 39 + 329. Is h a multiple of 5?
False
Is 23/(-437)*-19 + 10993 a multiple of 23?
True
Let o(k) = -7*k**3 + 21*k**2 - 2*k - 11. Let l be o(-11). Is l/65 + 8/(-5) + 2 a multiple of 23?
False
Suppose -3*h - 12 - 3 = 0, -3*h = 5*p - 125. Suppose -8*u - p = 68. Does 26 divide 2/u - (-625)/6?
True
Suppose -4*t + 28*t = -30*t + 454410. Is 33 a factor of t?
True
Suppose 1059*c + 1607400 = 528*c + 569*c. Is c a multiple of 30?
True
Is (-2)/(4/(-118270)*20/12) a multiple of 317?
False
Is 21 a factor of 31584/(96/8) + (-12 - -5)?
True
Let b = -77 - -81. Suppose 52 = 2*k - b. Suppose 4*s = 3*s + k. Is 14 a factor of s?
True
Let g(z) be the third derivative of -z**6/90 - z**5/10 + 7*z**4/24 + 38*z**2. Let h(d) be the second derivative of g(d). Does 35 divide h(-19)?
True
Let u = 4891 - 2601. Is u a multiple of 32?
False
Suppose -4*u + 136610 = 372*p - 377*p, -2*p = 2*u - 68332. Does 40 divide u?
True
Suppose -73*a + 103624 + 11754 + 327 = 0. Does 8 divide a?
False
Let k be (-3 + (-20)/(-8))*1696/(-4). Let d = k + -196. Is d a multiple of 16?
True
Suppose -q + 3 + 1 = l, 5*q = 3*l + 4. Suppose 288 = -0*a + a - 4*b, q*a + 3*b - 576 = 0. Is a a multiple of 32?
True
Let n = 8 + 17. Let m be (330/n)/(0 + (-2)/(-5)). Let g = m - -78. Is 20 a factor of g?
False
Suppose -5*i + 244 = -4*i - 4*n, -2*i + 516 = -n. Suppose 0*d - i = -d. Does 20 divide d?
True
Let h = -1651 - -2572. Is h a multiple of 11?
False
Suppose 0 = 4*c + 2*u + 3*u - 9232, -5*u = 2*c - 4606. Does 26 divide c?
False
Suppose -5*g = -68*p + 67*p - 2732, 4*g - 5*p - 2194 = 0. Is 26 a factor of g?
True
Let a(k) = -23*k + 3. Let q be 413/(-21) - (3 - 33/9). Is a(q) a multiple of 35?
False
Let u = -68 + 72. Suppose r = b + 50, u*r + 249 = 9*r - 4*b. Let v = r + 134. Is v a multiple of 13?
False
Let m(g) = 834*g**2 + 21*g - 6. Is 13 a factor of m(2)?
False
Let s = -278 + 40. Let b = 441 + s. Is 29 a factor of b?
True
Is (-4185)/(-70) + (-3)/(-14) a multiple of 5?
True
Suppose 2*u - 76 + 58 = 0. Suppose -2*n + 460 = 4*c, 946 = -u*n + 13*n - 5*c. Does 36 divide n?
False
Is 73 a factor of (16/12)/4 - (2402816/(-6))/26?
True
Is (-2284)/7423 + 129826/26 a multiple of 41?
False
Let s = 38 - 41. Let z be (10/s)/(5/(-45)). Let j = z + 6. Does 9 divide j?
True
Let j(x) be the second derivative of 7*x**3/6 - 8*x**