t c be (108/126)/(3/42). Does 26 divide c/((-2)/(597/(-9) + -3))?
True
Let t = -48 + 50. Suppose -400 = -7*c + 2*c - t*s, -2*c + 2*s = -174. Suppose q + 0*q + 2*k = c, 0 = -4*k + 20. Is q a multiple of 36?
True
Let z be (-19359)/54*12/9. Let o = z - -1039. Does 11 divide o?
True
Let g(c) = -11*c**2 - 5*c - 2. Let p(m) = 2*m**2 + m + 1. Let i(w) = -3*g(w) - 12*p(w). Does 18 divide i(5)?
True
Let d be (-25 - 0)*(3/3)/(-1). Let j = d + 35. Is 12 a factor of j?
True
Suppose 3*c - 6*c = 132. Let u be ((-39)/6 - -3)*c. Suppose -121 - u = -11*p. Does 5 divide p?
True
Suppose -12*b + 8*b - 3*l = -120606, -30180 = -b + 4*l. Is b a multiple of 7?
True
Let x(c) = c**3 - 5*c**2 + 19*c + 12. Suppose 2*y - 24 = 5*a, 6*y + 5*a = 3*y + 11. Does 6 divide x(y)?
False
Let c be 1*(-15)/3*61. Let g be c/(-30) - (-4)/(-24). Suppose j - g = -5*s, -5*j + 163 = -3*s - 27. Is j a multiple of 10?
False
Let b = -343 - -313. Let v(h) = -27*h - 2. Let y be v(2). Let m = b - y. Does 13 divide m?
True
Let z(h) be the first derivative of -h**5/60 + h**4/2 + 9*h**3 + 5. Let p(u) be the third derivative of z(u). Is 4 a factor of p(0)?
True
Let i(f) = -f**2 + 8*f - 8. Let c be i(6). Suppose 0 = -6*m - 8280 + 8724. Suppose 0 = c*u - 126 - m. Is u a multiple of 26?
False
Is 139 a factor of ((-60)/(-40))/((-9)/(-6) + (-32940)/21962)?
True
Let d = 1722 - 1647. Let z = -28 - -174. Let v = z - d. Does 14 divide v?
False
Suppose -2*l = -3*d + 59340, -26*d = -28*d - 8*l + 39560. Does 92 divide d?
True
Suppose -5*m + 4*v + 24939 = 0, 4*m - 3*v - 1248 = 18702. Does 114 divide m?
False
Suppose 2*s - 2*p - 1053 + 75 = 0, -2*s = p - 975. Suppose -s = 4*y - 1532. Does 9 divide y?
True
Let f be (-22)/33 + (-10)/3. Does 15 divide 8620/24*-3*f/10?
False
Let v(s) = -4*s - 4. Let m = -19 - -17. Let o be m*9/6 + -2. Does 16 divide v(o)?
True
Suppose -14*v - 2525 = -17995. Let x = -459 + v. Is 41 a factor of x?
False
Let n be -4*10/8*(-39)/65. Suppose 0 = -n*m + 58 + 392. Is m a multiple of 10?
True
Suppose 0 = -59*b - 72 + 131. Let l(k) = -9*k - 4. Let o be l(-6). Let c = b + o. Does 3 divide c?
True
Let z(x) = -2*x**3 + 6*x**2 + 5*x + 3. Suppose 3*b - 2*k - 28 = 2*k, -28 = -2*b + 5*k. Let d be z(b). Let p = 22 + d. Is p a multiple of 13?
True
Let u be (-1 - 6/(-9)) + (-418)/(-57). Suppose 2598 + 2855 = u*z. Is 41 a factor of z?
True
Let v(h) = -h**3 + 10*h**2 - 3. Let k = 453 - 446. Is v(k) a multiple of 12?
True
Let v(z) = 9*z**2 + 7. Let y be v(-4). Suppose -4*c + 596 = 4*j, -4*j = c - 5*j - y. Is 6 a factor of c?
True
Let a(r) = 6*r**2 + 110*r - 431. Is 5 a factor of a(4)?
True
Is 10 a factor of ((1680/(-25))/42)/((-2)/6575)?
True
Let h be (3 + -1 - 2)/(-3 - 0). Let g be h + (-2)/(-2) - (-6)/1. Let w(x) = 29*x - 23. Does 10 divide w(g)?
True
Let o = -3803 - -17323. Is o a multiple of 40?
True
Let i = 844 + 995. Let d = i + -253. Is 26 a factor of d?
True
Let j(a) = a**3 + 6*a**2 - a - 16. Suppose -v - 2 = f, 14*v - 5*f - 37 = 10*v. Suppose v + 1 = -w. Is 5 a factor of j(w)?
True
Let p(x) = -x**3 + 4*x**2 + 5*x - 3. Let l be 2 + 3/(-2 - 28/(-8)). Is p(l) a multiple of 12?
False
Let f(o) = 9*o**2 + 66*o + 18. Is 2 a factor of f(7)?
False
Suppose -205735 + 1350107 = 68*b. Is b a multiple of 22?
False
Suppose -1221*n + 18852 = -1182*n - 181218. Does 19 divide n?
True
Suppose 0 = 8*n - 5 - 19. Suppose u + 4*h - 3 = 0, 0 = -u - 2*h + n - 0. Suppose 8 = 2*o + 2*t - 4, -4*o + u*t = -10. Does 4 divide o?
True
Let q be (96/(-20))/((-9)/30). Suppose 12*g = q*g - 512. Is g a multiple of 8?
True
Let z = -416 + 421. Suppose 5*o - 2100 = -z*o. Is 7 a factor of o?
True
Let p be (-2 + 4 - -1)*12/(-9). Let t be 98/p*(7 + -17). Let v = t - 105. Does 20 divide v?
True
Let y(b) = 2*b**3 + 125*b**2 + 197*b - 367. Is y(-60) a multiple of 83?
False
Let i = 6 + -6. Suppose 4*v + 5*x - 237 = i, -6*v + v - x + 291 = 0. Does 14 divide (-2 - v/(-8))/(21/224)?
True
Let k = 11 + -4. Suppose k*l - 1109 - 1341 = 0. Is l a multiple of 14?
True
Let m = -124 + 120. Let s(a) = -2*a**3 - 4*a**2 + 6*a - 4. Is s(m) a multiple of 2?
True
Let l(x) = -2 + 4*x - 35*x**3 + 42*x**3 - 3*x**2 - 1 + 0*x**2. Suppose 0 = q - 3 - 0. Does 34 divide l(q)?
False
Let y(h) = -4*h**3 - 9*h**2 + 14*h + 294. Is 43 a factor of y(-18)?
False
Let b = -301 - -321. Is 14 a factor of (714/(-15))/((-4)/b)?
True
Suppose 0 = 13*k - 18*k - 10540. Let y = 3448 + k. Is 20 a factor of y?
True
Let k be (-264)/(-21) + 24/(-42). Suppose 3*x - 3*m = k, -4*x + 13 = -0*x - m. Suppose l + x*a = 132, -6*a + 5*a + 380 = 3*l. Is l a multiple of 7?
True
Let g be 2/(-7) + ((-1420)/28 - -3). Let w = 106 + g. Is w a multiple of 58?
True
Suppose -3*c - 74*r = -76*r - 43340, -4*c + 57785 = -r. Is 31 a factor of c?
True
Let g(j) = -5*j**2 - 7*j - 2. Let p be g(-6). Is (-9)/6*p/21 a multiple of 4?
False
Suppose 2*k = -4*n - 41 - 111, 3*n = -3*k - 114. Let l = -29 - n. Suppose -128 = -l*g + 5*g. Is g a multiple of 7?
False
Let h(z) = -2*z. Let s(w) = 17*w + 26. Let b(t) = -5*h(t) - s(t). Suppose -2*o + 47 = -3*q, -5*q - 4*o = 38 + 11. Does 13 divide b(q)?
True
Suppose 0 = -4*z + 69 + 59. Suppose 0 = -b + 170 - z. Is b a multiple of 6?
True
Suppose 169715 + 105461 = 22*r. Does 236 divide r?
True
Let k = 21086 - 12849. Is k a multiple of 67?
False
Suppose -390*n + 4*p = -388*n - 28804, 0 = 5*n + 2*p - 71926. Is n a multiple of 33?
True
Let j(h) = 5*h**2 + 5*h + 10. Is j(-11) a multiple of 35?
True
Let o = 57132 + -38166. Is 39 a factor of o?
False
Let o be 157 + -4 - (1 - -3). Suppose 158*b - 3699 = o*b. Is b a multiple of 36?
False
Let z(x) = -4*x + 21. Let o be z(5). Let q be ((-2)/4 - 618/(-4)) + o. Suppose 0 = -4*l + 157 + q. Does 13 divide l?
True
Let s(d) = d**2 + 4*d - 16. Let i be s(-8). Suppose -i = 3*f - 7*f. Suppose -5*z + 2*p + 167 = 0, 4*z - f*p + 29 = 5*z. Is z a multiple of 11?
True
Suppose 0 = -372*l + 313*l + 527165. Is l a multiple of 151?
False
Let m = 7 - 13. Let z be (-7)/21 - 20/m. Suppose -z*h = -0*h - 225. Is 5 a factor of h?
True
Let g(i) = -2 + 12*i**2 + 2*i + 0*i + 9*i**2 + 8*i**2. Let r be g(2). Let b = 245 - r. Does 20 divide b?
False
Let q(f) = 4*f + 4. Let p(m) = m - 1. Let j = 1 - 7. Let x(n) = j*p(n) + q(n). Does 28 divide x(-9)?
True
Let d(q) = -q + 5. Let u = -16 - -24. Let r be d(u). Let x(m) = m**3 + 5*m**2 - 4*m - 3. Is 18 a factor of x(r)?
False
Let f be 12 + (-96)/12 + 1 + 0. Suppose 100*y = 97*y - f*a + 4181, 0 = y + 3*a - 1395. Is 58 a factor of y?
True
Suppose -2*q = -2*t + 420, 4*t + 3*q - 650 = 176. Suppose 2*s - 11 = 2*a - 215, 2*a = -2*s + t. Let u = -56 + a. Does 19 divide u?
False
Let q = -2126 - -6409. Does 45 divide q?
False
Is 22 a factor of -5 + 2 - (-445 + -25941)?
False
Let i(h) = -10*h**3 + 7*h**2 - 9*h - 10. Suppose 34 = 4*z + 18, -4*x + 2*z = 28. Is 32 a factor of i(x)?
False
Let z = 237 + -209. Let p(k) = -k**3 - 9*k**2 - 8*k. Let y be p(-7). Let w = z - y. Is 35 a factor of w?
True
Let p be 2*14/(-42) + (-17)/(-3). Suppose 3*t + 5*u - 3*u = 628, 0 = p*t + 4*u - 1046. Is 14 a factor of t?
True
Let v(f) = -47*f + 7. Let i be v(-7). Is 8 a factor of (i/(-70))/(2/(-75))?
False
Let r = 1615 + 1465. Does 77 divide r?
True
Let i be 4*((-4)/(-1) + -1 + -2). Is (i + 404 - -1) + -2 a multiple of 9?
False
Suppose -h - 34*x + 24132 = -29*x, -4*h = 3*x - 96494. Is h a multiple of 9?
False
Let y be 0 + -4 + 21/((-63)/12). Is (-179)/y + (-21)/56 a multiple of 22?
True
Let w = 97 + -91. Let t(h) = 2*h**3 - 3*h**2 + 4*h - 33. Is t(w) a multiple of 34?
False
Suppose j - 1013 = 211. Suppose 0 = -13*g + 21*g - j. Is g a multiple of 11?
False
Let z(y) = -2*y**3 - 2*y**2 + 3*y - 5. Let t(l) = -l**3 - l**2 + l - 1. Let d(f) = 6*t(f) - 2*z(f). Let c be d(2). Does 11 divide (2/c)/((-6)/264)*5?
True
Let b(w) = -3*w - 197*w**2 + 30 + 198*w**2 - 16*w. Is 47 a factor of b(28)?
True
Let m = -696 - -2889. Is m a multiple of 17?
True
Suppose -40*o = 126*o - 1820356. Is 169 a factor of o?
False
Is 10 a factor of 126 + 35806 - (-2 + 8)*(-3 - -4)?
False
Let n(s) = s**3 - 16*s**2 - s + 16. Let l be n(16). Suppose t + 3*g = -l*t + 65, -t - 4*g + 69 = 0. Does 9 divide t?
False
Suppose 18 = 10*w - 4*w. Suppose 5*k = -b + 12, -k - w*b = -2*k - 4. Suppose k*x = 67 + 25. Is 23 a factor of x?
True
Suppose -3*d - d - 32 = 0. Let i(s) = 13*s**3 - 13*s**2 - 27*s + 1. 