 397. Does 12 divide w?
False
Suppose 5*r + 205 = -50. Let p = r + 64. Suppose p = k - 35. Is k a multiple of 6?
True
Let i(y) = -y**3 + 14*y**2 + y + 23. Let a be i(17). Let k = -545 - a. Is 23 a factor of k?
False
Suppose -10 = -4*v + 3*h, 2 = h - 0*h. Suppose o - 389 = 4*o + v*y, y - 118 = o. Is 19 a factor of o/((-1)/((-2)/(-3)))?
False
Let d(y) = -3*y**2 + 4*y + 5. Let n be d(-1). Let h be (6 - 12) + 8 + n*1. Suppose h = -z - 3*z + 296. Is z a multiple of 39?
False
Let h be (7 - 324)/(-7 + 6). Let c = 529 - h. Is 28 a factor of c?
False
Suppose -163 = -3*y - 148. Suppose 7*w - 1440 = y*w. Does 20 divide w?
True
Suppose -318*u - 1408 = -322*u. Suppose -4*m - 2*l = -u, -2*l = -2*m - 4*l + 172. Is m a multiple of 5?
True
Let u(b) = 15*b**3 + b + 8. Let w be u(-3). Let m = w - -943. Is 36 a factor of m?
False
Is (197964/(-180))/(-3 + (-44)/(-15)) a multiple of 27?
True
Let a(q) = q**3 - 9*q**2 + 4*q + 2. Let b be a(7). Let d be (-984)/(-7) - (-36)/84 - 4. Let v = b + d. Does 8 divide v?
False
Let x = 11728 - 6834. Is 119 a factor of x?
False
Let g be (23/3)/((-66)/(-72) + -1). Let h = 250 + g. Is 13 a factor of h?
False
Let d(u) = 21*u**3 - 18*u**2 + 12*u + 24. Let a(g) = 25*g**3 - 19*g**2 + 12*g + 26. Let c(v) = -5*a(v) + 6*d(v). Let m = -31 - -43. Does 9 divide c(m)?
False
Let l(u) be the second derivative of 46*u**3/3 + u**2/2 + 204*u. Does 74 divide l(1)?
False
Let d = 12 - 59. Let c = 96 + d. Is 7 a factor of c?
True
Let q be (-3 + 1)*(30 - 33). Let n(s) = 161*s - 54. Does 48 divide n(q)?
True
Suppose -4*u = 4*i - 46880, -4*u - 216*i = -211*i - 46884. Is 58 a factor of u?
True
Let h be -5 + -1 + 15 + -8. Is ((-3)/(-6))/(h/198) a multiple of 9?
True
Let k be (-11320)/(-140) - (-2)/14. Suppose -15 = -3*i, -2*r = 4*i - 45 - 5. Let h = k - r. Is 22 a factor of h?
True
Let v be (106509/8)/13 - 1/8. Suppose 130*d - 122*d = v. Does 64 divide d?
True
Let w be (-4)/22 + 11/(242/(-282)). Let y = w + 130. Is y a multiple of 11?
False
Suppose -4*l + 71568 = -6*k, 3*l - 72467 = k - 18763. Is l a multiple of 8?
True
Let o(p) = p + 76. Let n be o(-10). Is 76/(-2)*(-1023)/n a multiple of 57?
False
Let m be 8/12 + (-4)/6. Suppose m = -7*i - i + 24. Suppose 245 = 5*j + 4*q - 0*q, 15 = i*q. Is 3 a factor of j?
True
Let c(z) = 17*z**3 - 45*z**2 + 20*z - 80. Does 38 divide c(7)?
True
Let p = 5059 + 71. Does 90 divide p?
True
Suppose -4*p = 5*f - 36, 0*p + 2*f - 28 = -5*p. Suppose -2*s + 2*z = 134 - 606, p*s - 960 = -4*z. Does 17 divide s?
True
Let s(j) = 5*j**2 + 10*j - 4. Let h = 149 - 69. Let x = -85 + h. Is 10 a factor of s(x)?
False
Suppose -61 = -2*a + 7*x - 6*x, -a + 4*x = -20. Is -4*(-632)/a - (-6)/(-2) a multiple of 12?
False
Let x(d) = -3*d + 2. Let z(w) = -w. Let p(q) = -x(q) - z(q). Does 51 divide p(39)?
False
Let w be (14989/(-26))/(1/(-2)). Suppose 11*f - 1487 = w. Is 6 a factor of f?
True
Suppose 4*d - 2*o = -34, 3*d = -o + 7 - 25. Let i(f) = -f - 5. Let w be i(d). Is w/4*3 + (-70)/(-4) even?
False
Suppose -4*d - 3*m = -9 - 3, -2*d + 20 = 5*m. Suppose d*b + 96 = 8*b. Suppose -b*c + 18*c - 900 = 0. Is 25 a factor of c?
True
Is (-24)/(-15)*22/(-88)*-530 a multiple of 6?
False
Let q be 7 - -1*(-20)/5. Suppose q*s - 5 = -2. Is 11 a factor of (18*s)/((-38)/(-171))?
False
Let m = -11 + 28. Suppose -2*p + s + m = 0, 4*s - 22 = -8*p + 7*p. Is (4/p)/(7/2520) a multiple of 24?
True
Let t(a) = -10*a + 9*a**3 + 12*a**3 - 4 - 20*a**3 + 8*a**2. Let j be t(-9). Suppose 0 = -n + 2, 7*n = -j*x + 2*n + 785. Is x a multiple of 31?
True
Let q(o) = -3*o**2 - 32*o - 14. Let w be q(-10). Suppose -12*b = -w*b - 84. Is b a multiple of 7?
True
Let b be (-2*(-49)/(-28))/((-1)/2). Does 18 divide 199 - (b - 11 - -5)?
True
Let n(i) = -i**3 - 5*i**2 - i - 49. Let h be n(-6). Let w(c) = 2 + 14 + 10*c - 2*c**2 + c + 6*c**2. Does 29 divide w(h)?
False
Suppose 7*t + 429 = -26*t. Let g(b) = -b**2 - 6*b + 97. Is g(t) a multiple of 5?
False
Let c(h) = -h**3 + 6*h**2 - 8*h + 29. Let q be c(7). Let x = q - -140. Is x a multiple of 20?
False
Suppose -2*q - 7562 = -3*i, -21*i + 7561 = -18*i - q. Is i a multiple of 3?
True
Let m(l) = -4*l**2 + 3*l + 97. Let j be m(-10). Let p = j - -395. Does 8 divide p?
False
Suppose 28273 = 4*q + 3*s - 25844, 5*s - 15 = 0. Does 241 divide q?
False
Let p = 24 - 22. Suppose k + 2*t = p*k - 589, -4*t = 4*k - 2344. Suppose -4*j = -3*o + k, o + 26 - 221 = 2*j. Is 37 a factor of o?
False
Suppose 59*a = 55*a - 3036. Let u = a - -1122. Let b = -218 + u. Is b a multiple of 29?
True
Let r(p) = -2*p**2 - 48*p - 26. Suppose -5*i + 4*i = -o - 21, -o - i - 25 = 0. Is r(o) a multiple of 10?
True
Suppose 3*c = -37*c - 80. Is 5 a factor of c/(-1) + 171 + 32?
True
Let z = -129 - -138. Let s = 12 - z. Suppose a = -5, 340 = 3*d - s*a + 7. Does 13 divide d?
False
Suppose -233 = 3*m - 713. Suppose 4*g + 465 = 113. Let n = g + m. Is 8 a factor of n?
True
Suppose -20*y + 7977 = -2963. Is y a multiple of 63?
False
Suppose -5*d + 5*q = -15525, -9*d + 6*d + 5*q + 9321 = 0. Is 33 a factor of d?
True
Let h = -891 + -273. Does 6 divide h/(-2) + (1 - 1) + -5?
False
Suppose 22*b - 4*o + 149066 = 27*b, -3*o - 18 = 0. Does 36 divide b?
False
Let o = 527 + -211. Let n = o - 256. Is 6 a factor of n?
True
Is (-150)/(251647/15730 + -16) a multiple of 11?
True
Let i(n) = n**3 + 5*n**2 - 6*n. Let k be i(-5). Let w be -64 - (-1 + 16 - 7). Does 30 divide (w/k)/((-1)/50)?
True
Let i be (0 - -1)/((-3)/702*-3). Suppose 0 = -a - i + 273. Let j = 333 - a. Is 8 a factor of j?
False
Let n(g) be the second derivative of -g**5/20 - 2*g**4/3 - g**3/3 - 3*g**2 - 5*g. Let a be n(-8). Is 13 a factor of (-5)/(a/(-61))*6?
False
Does 17 divide (-19 + 18)*(2 - 5389)?
False
Let p = 14458 + 8481. Is p a multiple of 162?
False
Suppose -82656 = -18108*v + 18099*v. Is v a multiple of 61?
False
Suppose -10*c = -13*c + 9540. Is c a multiple of 20?
True
Suppose -s + 284 + 107 = 0. Let p = -147 + s. Suppose -p - 2 = -2*c + 2*u, 3*c - 2*u = 367. Is c a multiple of 26?
False
Let g = 8275 + -6534. Does 8 divide g?
False
Let t(w) = 3*w**2 + 34*w - 1439. Is t(62) a multiple of 69?
False
Let y = -2710 - -9731. Is y a multiple of 9?
False
Suppose 274*w + 582916 - 2471520 = 1624898. Is w a multiple of 116?
False
Let g(q) = -q - 1. Let o(h) = 5*h - 3. Let x(t) = -4*g(t) - o(t). Let u be x(5). Suppose u*d - 126 = 3*n, 4*n + 260 = 4*d + 2*n. Is d a multiple of 16?
False
Is 138 a factor of 1254/(-228)*(-1)/22 + (-23183)/(-4)?
True
Let o(w) = -w**3 - 17*w**2 - 18*w + 23. Suppose 575 - 199 = 3*n - 4*d, -4*d - 248 = -2*n. Suppose -n = -2*b - 160. Does 8 divide o(b)?
False
Let n(b) = b**2 - 11*b - 30. Let w be n(15). Suppose 2480 = w*d - 10*d. Is 6 a factor of d?
False
Suppose -2*l = 4*g - 107392, 3*l + 42*g = 40*g + 161076. Is l a multiple of 65?
True
Let d(l) = -5*l**3 - 4. Let v be d(-4). Let n = 2130 - 2128. Suppose -v = -4*s - n*z, 5*s - z - 402 = -0*z. Is s a multiple of 20?
True
Let r(k) = -k**3 + 12*k**2 + 13*k + 26. Let f be r(11). Suppose 11*y - 6*y - f = 0. Suppose -y + 16 = -z. Does 5 divide z?
False
Let p(u) = -31*u**3 + 3*u**2 + 6*u + 3. Let w = 296 + -297. Is p(w) a multiple of 10?
False
Let m = 82 + -78. Suppose 10*u - 16 - m = 0. Suppose 0 = u*k - 42 - 54. Is k a multiple of 24?
True
Suppose -80*r + 78*r = 272. Does 17 divide (1 - (-9)/(-8)) + (-67065)/r?
True
Suppose 6*b = -4*l + 3760, 11*l - 15*l = 3*b - 1888. Is 104 a factor of b?
True
Suppose -4*j + 4*p = 439 - 7, 2*j + 5*p + 216 = 0. Let n = 498 + j. Does 26 divide n?
True
Suppose -37*u + 123 + 25 = 0. Let h(n) = -n**2 - 5*n - 2. Let r be h(-2). Suppose r*b = 3*t + 367, -b - 68 = -2*b - u*t. Is 22 a factor of b?
True
Let h(p) = -p. Let o(m) = -6*m - 1. Let d(f) = -39*h(f) + 6*o(f). Let v be d(10). Let a = 60 - v. Is a a multiple of 18?
True
Let v be -1*0/(2 - 0). Suppose -18*t + 9*t + 18 = v. Suppose 0*x = x, -166 = -t*m + 3*x. Is m a multiple of 6?
False
Suppose j + 39027 = 4*h, 0 = -4*h + 3*j - 13506 + 52539. Does 57 divide h?
False
Suppose -2*y - 49*y + 141723 = 27840. Is 88 a factor of y?
False
Let v(d) be the third derivative of d**5/6 + d**4/12 + d**3/3 + 3*d**2. Let x be v(12). Suppose 0 = -6*m - 62 + x. Is 16 a factor of m?
False
Is 9 a factor of (9804/(-430))/(1 - (-1573)/(-1570))?
False
Let a be (-128)/(-24)*5*69. Suppose -5*p = 30*j - 34*j + a, -