14)/(-2))/(-7) - (-2 + -188). Let s = y + -141. Is s a multiple of 8?
True
Let z = 7425 - 7424. Let w(c) = 2*c**2 - 2. Let f be w(2). Suppose 5*h + z = 3*p, h + f = p + 3. Is 2 a factor of p?
False
Let t = -676 - -679. Suppose -t*h + 504 = -3*z, -5*h + 2*z = -549 - 300. Is h even?
False
Is ((-5698)/407 - (8*1)/(-1)) + 64082 a multiple of 145?
False
Let z(t) = -6*t**2 - 310*t + 107. Let o be z(-52). Let b = 7 + -2. Suppose -4*v - 4*q + 66 = -34, -b*v - o*q = -125. Does 11 divide v?
False
Suppose -2*p + 9863 = 2*q + 2947, 4*p = q + 13822. Is p a multiple of 9?
True
Suppose -4*i = -q + 49, -2*q - 27*i = -23*i - 122. Is 28 a factor of q?
False
Let d be 862 - (38 + -3)/5. Suppose -2*t + 6*r = 5*r - d, -9 = -3*r. Does 51 divide t?
False
Let t be (1/((-3)/(-2)))/(6/171). Let f(k) = k**2 - 9*k - 14. Is 8 a factor of f(t)?
True
Let m(u) = u**2 + 4*u - 14. Let z = -1 + 4. Let l be m(z). Let h(b) = b**3 - 7*b**2 + 2*b - 2. Is 12 a factor of h(l)?
True
Let b(c) = -30*c**3 + 4*c**2 - 6*c - 6. Suppose -3*u = -6, -u = 2*p + 3*p + 18. Let r be b(p). Is 26 a factor of r/13 + 4 + -2?
True
Suppose 3*l = 2*j + 66, -52 = -4*l + 2*l + 4*j. Suppose 0 = -6*k + 11*k + l. Does 6 divide (66/k)/3*-8?
False
Suppose -4*b + 2146 = -b - z, 5*b - 3590 = -5*z. Is b a multiple of 17?
False
Suppose 0 = -8*z + 32*z - 10*z - 114660. Does 65 divide z?
True
Let c = 66 + -113. Let r = c + 50. Suppose d - 22 = -2*t, -r*d + t + 65 = 6*t. Does 10 divide d?
True
Is ((-2 + -27760)/7)/((-3)/2) a multiple of 21?
False
Let i(b) = -291*b - 143. Let s be i(-24). Suppose -635 = -21*l + s. Is l a multiple of 5?
False
Let q(u) be the third derivative of u**6/120 - u**5/10 + 13*u**4/24 + u**3/3 - 1092*u**2. Suppose 0*z = -4*z + 20. Does 7 divide q(z)?
True
Suppose 0 = -14*y + 17827 + 24733. Suppose -3*g - 16*g + y = 0. Does 20 divide g?
True
Let y(d) = 56*d**2 + 66*d - 65. Is y(10) a multiple of 21?
True
Let o(f) = 5185*f - 572. Does 107 divide o(2)?
False
Does 26 divide 14 - (16 - 14) - -5359?
False
Let p(f) = 2*f**2 - f + 14. Let o(q) = -q**2 + q - 13. Let d(v) = 3*o(v) + 2*p(v). Suppose -2*b - 4 = -20. Does 15 divide d(b)?
False
Let u = 33 + -36. Let h(j) be the third derivative of -j**6/120 + 5*j**4/24 + j**3/3 - 3*j**2. Is 7 a factor of h(u)?
True
Let u be (-9)/(-2) - (-1 + 12/8). Suppose 2*q + s - 29 = 0, u*s - 80 = -4*q - q. Is q a multiple of 6?
True
Suppose -5*b + 13 + 12 = 0. Let h be (b + -3)/(2 + 1)*-21. Is h*(-4)/((-32)/(-3))*36 a multiple of 21?
True
Suppose 8892 = 16*d - 7988. Does 6 divide d?
False
Suppose -18*h - 89745 = -67518 - 215169. Is 27 a factor of h?
True
Suppose -3*n = -5*z - 12 + 2, -n + 9 = 4*z. Let j be z*(-10)/25 + (-1197)/(-5). Suppose 4*i + 5*t = 263, -3*t = 4*i - 8*i + j. Is 6 a factor of i?
False
Let y = 6303 + 1917. Is 20 a factor of y?
True
Suppose 3*l = y - 55621, -y - 4104*l = -4100*l - 55565. Does 18 divide y?
False
Let c(r) = -r**2 + 22*r + 26. Let b be c(12). Suppose -b - 29 = -q. Suppose 5*y - 10*y - 5 = 0, 5*x + 5*y - q = 0. Does 12 divide x?
True
Let j = -170 + 312. Suppose 8*c - 6*c + j = 0. Let w = -66 - c. Is w a multiple of 3?
False
Let p(y) = -y**2 + y + 30. Let f(q) = 2. Let c(o) = 22*f(o) - 2*p(o). Does 3 divide c(10)?
False
Let u = -373 + 265. Let c = 132 + u. Does 3 divide c?
True
Let j(q) = -q**3 + 17*q**2 + 37*q + 33. Let m be j(19). Let r(i) = 2*i**2 - 28*i + 7. Is 2 a factor of r(m)?
False
Let z(b) = 37*b + 1102. Let t be z(0). Let h = t - 356. Is 43 a factor of h?
False
Let o = -63 + 113. Let n = o - 50. Suppose -3*m + 42 + 73 = 5*z, 5*z + 20 = n. Does 13 divide m?
False
Suppose 2*f - 2 = 0, 5*w + 3*f = 17817 + 15511. Is 31 a factor of w?
True
Suppose 4*j - 77248 = -4*s, 0 = -j + s + 19632 - 334. Does 117 divide j?
True
Suppose -y + 336 = -5*b, 309 = -56*y + 57*y + 4*b. Does 21 divide y?
False
Suppose 0 = 377*t - 374*t + 18. Is (-5)/10 + (-393)/t a multiple of 10?
False
Suppose -g - 5 = -1. Let d be (-352)/24 + g/(-6). Is 6 a factor of -47*2*7/d?
False
Let t(b) = 4*b + 2*b - 4*b - 1 - b. Let m(z) = -z**2 - 10*z + 18. Let q(o) = m(o) + 6*t(o). Does 2 divide q(-5)?
False
Suppose -5*y = -3*a - 150, 3*y - 4*y + 30 = a. Suppose 2*f = f + w, -y = -5*f - w. Suppose 0 = 2*t - f*t + 237. Does 29 divide t?
False
Suppose 4*o - 770 - 706 = 324. Is 18 a factor of o?
True
Let i be (15/(-30))/((-3)/(-6)). Does 12 divide 109 + -108 - (i - 474/2)?
False
Let u = -123 + 147. Does 7 divide (-14792)/(-64) + (-3)/u?
True
Does 11 divide ((-30)/9)/((-17)/(-51)) - -26809?
False
Suppose 656 = 3*x + 5*y, 0 = 2*x - 4*x + 2*y + 464. Let w = x - 222. Does 2 divide w?
False
Let u(l) = -734*l - 5222. Is u(-9) a multiple of 11?
False
Suppose -645*k - 13200 = -651*k. Is k a multiple of 20?
True
Let g = 1398 - -1044. Is g a multiple of 6?
True
Let o = -4028 - -11426. Is 148 a factor of o?
False
Let u(y) be the third derivative of 19*y**4/24 - 12*y**3 - 6*y**2. Is u(10) a multiple of 3?
False
Let m(f) = 106*f - 1 + 8 + 18 + 10 - 103*f. Suppose 3*o - 1 + 15 = 4*d, -3*d + 21 = -4*o. Does 17 divide m(o)?
True
Suppose x + 39029 - 13158 = 5*t, -15527 = -3*t + 5*x. Is t a multiple of 39?
False
Let i be (2 + (-38)/(-8))/(1/(-16)). Let k = 213 + i. Is 35 a factor of k?
True
Let l(c) = 4*c**2 - 68*c + 192. Does 16 divide l(-31)?
True
Let c be (-24)/(-9) - 35/21. Does 2 divide (-4 - -5)*(c + 27) + -4?
True
Let h(l) = l**2 + 11*l - 20. Let r be h(-13). Suppose -4*f + 6 = -r. Suppose 2*n + f*s = 60, s + 60 = 2*n + 3*s. Is 4 a factor of n?
False
Let q = -2924 + 2774. Let l(u) = -29*u + 8. Let s be l(-7). Let f = s + q. Does 19 divide f?
False
Let j(p) = -18*p**3 - 8*p**2 - 5*p + 3. Let u be 2*4/44 + 105/(-33). Is 18 a factor of j(u)?
True
Let a = -175 + 410. Suppose 0*j + 5*k + 954 = 4*j, -j = -3*k - a. Is j a multiple of 12?
False
Let c be (-3)/(3/(-2) + 0). Suppose 0 = c*l + 3*u - 888 - 668, 2*l = 3*u + 1544. Is l a multiple of 52?
False
Suppose -4*b - 23 = 2*g - 7, -3*g + 5*b = -20. Suppose 90*p - 39*p - 64821 = g. Is 14 a factor of p?
False
Let g(f) be the first derivative of -f**3/3 - 2*f**2 - 4*f + 19. Let o be g(-2). Suppose o = c - 2*m - 56, 5*c - 3*c = 2*m + 118. Does 9 divide c?
False
Is 123 a factor of 4/(-1)*(-328*45/(-6))/(-1)?
True
Suppose 2*y - 46 = -0. Suppose 0 = 3*j + y*j - 12350. Is 25 a factor of j?
True
Suppose -2 = -q + 3. Suppose u - 20 - 241 = -4*f, -q*u + 1305 = -4*f. Suppose 0 = 2*w + 4*m - 114, 5*w - u = -4*m - 6. Is 11 a factor of w?
False
Suppose 3 = -u, -3*u - u = 2*r + 28. Let b(f) = 18*f - 42. Let c(m) = -3*m + 7. Let q(p) = -6*b(p) - 34*c(p). Is 31 a factor of q(r)?
True
Let g(h) = -1432*h - 1026. Is 58 a factor of g(-30)?
True
Let y be 1/(0 + -4)*0. Let p be (-5*(2 - y))/(-1). Does 19 divide ((-912)/40)/((-3)/p)?
True
Suppose 3*c + 2*o - 11475 + 292 = 0, 4*c - 14910 = -3*o. Is c a multiple of 33?
True
Let b(r) be the first derivative of -3*r**4/4 + 2*r**3/3 + 2*r**2 + 3*r + 24. Let u be b(-1). Suppose u*f + 32 = 6*f. Is f a multiple of 8?
True
Let v(q) = 470*q - 803. Is 36 a factor of v(9)?
False
Suppose 627*f - 601*f - 77220 = 0. Is 69 a factor of f?
False
Suppose 3*q - 15967 = 5*t - 5761, -3368 = -q - 4*t. Is 4 a factor of q?
True
Let j(o) = o**3 + 3*o**2 + 5*o + 6. Let u be j(-2). Suppose 3*v - 281 = 2*v + b, u = 2*b + 4. Is 12 a factor of v?
False
Is 63/((23 - 18)/2340) a multiple of 13?
True
Let c be 96/(-624) - (-3248)/(-13). Let v = 435 + c. Is v a multiple of 5?
True
Let t(b) = -b - 40. Let d be t(-7). Let w = 102 + d. Is w a multiple of 3?
True
Let w be (132/(-14))/(-2) - 4/(-14). Suppose -2*h = -4*b + 138, -2*h - 3*h = -b + 21. Suppose w*g + 2*v - 180 = 5*v, 0 = -g + 3*v + b. Is 12 a factor of g?
True
Let t be (-2)/(-8) - 2/((-32)/44). Suppose 2*h - 3*h - 2*i + 326 = 0, 2*h - 656 = -t*i. Is 23 a factor of h?
False
Suppose 0 = -3*d + 4*y - 78, -3*y = 104*d - 103*d + 52. Suppose -7*l - 40 = -i - 3*l, -2*i = -5*l - 92. Let p = d + i. Is 6 a factor of p?
False
Suppose 0 = 5*w - 3*y - 3, -3*y - 2*y = -w - 17. Suppose -w*s + 7*s = 8. Suppose -60 = -s*p - 16. Is p a multiple of 5?
False
Let s(c) = -c**2 - 22*c - 93. Let a be s(-16). Let x(h) = 167*h**2 + 5*h - 24. Does 21 divide x(a)?
False
Let n = -10592 - -18325. Suppose -13*o + n - 2871 = 0. Does 12 divide o?
False
Suppose 4921 - 22058 = -5*t + l, -3*t - 2*l + 10277 = 0. Is t a multiple of 110?