43/b a multiple of 2?
False
Suppose 105 = -5*y - 215. Let h = 131 + y. Let p = h - 35. Does 6 divide p?
False
Suppose -3*z = 23 + 4. Let p(w) = -3*w**2 + 9*w + 8. Let q be p(4). Is (-162)/q*(11 + z) a multiple of 27?
True
Suppose -102*n + 2*o + 14968 = -98*n, 0 = 4*n + 4*o - 15004. Does 72 divide n?
False
Suppose -59*x = -68*x + 36. Suppose -3*o + 49 = x*z, -o = 2*z - 0*z - 23. Does 2 divide z?
True
Suppose 8379 + 2637 = 34*h. Let f = h - 236. Is f a multiple of 2?
True
Suppose -138 = 4*c - 3*r - 2*r, -2*r = 4*c + 152. Let a = 43 + c. Is (-2 + -6)*a/(-2 + 0) a multiple of 3?
True
Let d(s) be the third derivative of s**5/30 - 5*s**4/6 + 3*s**3 - 20*s**2. Let i be d(9). Suppose 9*x - 1367 - 10 = i. Is 19 a factor of x?
False
Let f = 55 - 52. Suppose 3*l + 4*h = 32, -3*h = f*l - h - 22. Suppose 104 = l*j - 168. Is 17 a factor of j?
True
Suppose -90 = -16*b + 6. Suppose 2*m + 436 = b*m. Does 36 divide m?
False
Let x = -474 + 702. Suppose x = 8*w - 620. Suppose 3*u + o = -35 + 121, -3*u = -4*o - w. Does 6 divide u?
True
Let z be ((-63480)/14)/(-4) + (-6)/(-14). Suppose -2*i = -4*t + 1512, -4*t + t - i + z = 0. Suppose -t = -3*f + 24. Does 31 divide f?
False
Let y(n) = -2*n**3 + 5*n**2 + 5*n + 7. Let v(a) = -a**2 - 8*a + 12. Suppose -15*m + 50 = 185. Let t be v(m). Is y(t) even?
False
Let y be 2*-2*(0 + (-15)/(-10)). Let g be -3 + (143 + -2)*(-4)/y. Suppose -6*k + 149 = -g. Is k a multiple of 20?
True
Let g(r) = -7*r - 6*r + 3*r + 903 - 761. Does 6 divide g(-16)?
False
Let y(g) = -g**3 + 13*g**2 + 14*g - 3. Let r be y(14). Let l be 2/r - (-66)/18. Suppose -3*b - 95 = -7*b - l*a, -85 = -3*b - 5*a. Is 10 a factor of b?
True
Suppose l - 23 = 5*u, 0 = -5*u + 3*l - 17 - 2. Let q(b) be the second derivative of b**4/12 - b**3/6 + 3*b**2/2 - b - 105. Does 33 divide q(u)?
True
Suppose 909 = -27*u - 630. Is 4 a factor of (6 - 6) + (3 - u)?
True
Is 11 a factor of (-90)/54 - (-45562)/6?
False
Let g be (-9)/(-18) - (-660)/8. Suppose g - 1671 = -4*u. Does 8 divide u?
False
Suppose 12 = 4*b - 12. Suppose b*c = 258 + 414. Is 14 a factor of c?
True
Let v = -27903 - -46815. Is 197 a factor of v?
True
Suppose 6*z - 2*z = 5*n - 34, 3*n = 2*z + 20. Suppose 4*s - n*i + i - 43 = 0, -s - 3*i = -32. Does 8 divide s?
False
Let v = 18790 + -6850. Does 143 divide v?
False
Let x = 258 - -41. Suppose 0 = 6*f - 4*i - 32 + 8, -2*f = 5*i - 8. Suppose -v = -2*b + x, b - v - 740 = -f*b. Does 21 divide b?
True
Let b = 48 - -40. Let z = 172 - b. Is z a multiple of 7?
True
Let g(a) = a**3 - 9*a**2 - 2*a - 53. Let k be g(9). Let u(c) = 2*c**2 + 9*c + 7. Let n be u(-6). Let z = n - k. Does 24 divide z?
True
Let f(u) = -3*u + 66. Let r be f(20). Does 33 divide 1/r - (-11660)/24?
False
Suppose 829840 = 48*m + 34*m. Is 8 a factor of m?
True
Let k(z) = 209*z**2 + z + 2. Let d be k(-1). Suppose -244 = -3*s + 5*i, 3*s + 3*i - d + 6 = 0. Does 13 divide s?
False
Let b be -2*(12/16 - (-1)/(-4)). Let x(q) = -123*q + 3. Let t be x(b). Is 21 a factor of ((-7)/2)/((-7)/t)?
True
Suppose -24*i + 9749 = -20*i - 5*g, 9739 = 4*i + 5*g. Is i a multiple of 84?
True
Let j = -268 - -373. Suppose 4*k = k + 21. Suppose k*x - 7 - j = 0. Is 3 a factor of x?
False
Suppose -5*a - 4*i + 31 = 0, a - 2*i = -3*a + 4. Suppose g + 5*j + 66 = 3*g, a*g + 2*j = 80. Does 4 divide g?
True
Let h be (4 + (-44)/8)*(-14)/(-3). Let q = 12 + h. Suppose k + 920 = q*z, -2*k - 376 = -2*z - 0*k. Does 37 divide z?
False
Suppose 25*a + 2509 + 591 = 0. Let m = -110 - a. Does 12 divide m?
False
Let h be -5 + -9*8/(-12) + 1. Suppose -7*p = -9*p - 2*o + 104, o = h*p - 116. Is 3 a factor of p?
False
Suppose 20*w - 8*w - 72 = 0. Let r be (-2)/(-6) + 4/w - 46. Is 24 a factor of (-10)/r + 214/9?
True
Let s(i) = 808*i**2 + 2*i + 67. Is 39 a factor of s(-4)?
True
Suppose -8*w = -w - 14. Suppose -w*y + 34 = y + 4*g, 2*y = -3*g + 22. Is 6 a factor of y + -18 - (-27 + -1)?
True
Suppose -13*b + 47577 + 33147 = -6*b. Is 186 a factor of b?
True
Let d(w) = -496*w + 7094. Is 13 a factor of d(13)?
False
Let r = 705 - 681. Suppose -3*a = 2*a - 65. Let j = r - a. Is 11 a factor of j?
True
Let j(h) = 1114*h**2 + 161*h + 461. Does 38 divide j(-3)?
False
Suppose -4*j = -q - 8761, -3205 = 4*j + 3*q - 11962. Is 36 a factor of j?
False
Let l(p) = -3*p**2 - 71*p + 173. Let x(z) = 2*z**2 + 48*z - 115. Let d(g) = -5*l(g) - 7*x(g). Is d(-30) a multiple of 18?
True
Let z be 3/(-6) + (-3)/(-6)*-27. Let p be (z/3)/((-4)/(-18)*-3). Suppose 0 = -p*s + 8*s - 114. Does 23 divide s?
False
Let y(p) = -p**3 + 15*p**2 - 3*p + 10. Let s be y(8). Let k = s + -362. Is k a multiple of 3?
True
Suppose -4*b = 3*a - 8, -8*b + 6*b - 5*a = 10. Let x(i) = 42*i + 23. Does 39 divide x(b)?
False
Let p(k) = k**2 + k + 2263. Does 8 divide p(0)?
False
Suppose 2*o - 4 = 0, 6*o = -x + 7*o - 29. Does 8 divide (-12141)/x - 5/3?
True
Let i(g) = 6*g + 25. Let q(d) = d**3 - 3*d**2 + 3*d - 7. Let x be q(3). Let j be (-84)/(-4) - (x + -2 + 1). Does 29 divide i(j)?
True
Suppose 17*d + 45 = 22*d. Let s be -1 + d/12 - (-55)/(-20). Does 14 divide ((-1848)/3)/(-4) + s?
False
Let g = 682 + -124. Suppose -11*t + 20*t - g = 0. Suppose j - t = 31. Is j a multiple of 31?
True
Suppose -2*w - 133 = -735. Let v be 6/63*3*w. Let l = -40 + v. Is l a multiple of 17?
False
Suppose s + 4*i = -2*s + 13951, 4682 = s - 5*i. Suppose -31*r + s = 999. Is r a multiple of 2?
True
Let y = -7323 - -12304. Is y a multiple of 105?
False
Let g(b) = -b**3 - 19*b**2 + 264*b - 64. Does 6 divide g(-32)?
True
Let m = 35 - 4. Let o(u) = m - 78 + 6*u + 0*u. Is 13 a factor of o(19)?
False
Let x(j) = -3*j**2 + 2*j + 3. Let b be x(-2). Let z(o) = o**3 + 14*o**2 + 8*o - 8. Let m be z(b). Suppose 5*u = -4*w + m, -u = u + 3*w - 20. Does 5 divide u?
False
Suppose 35*t - 5022 - 10343 = 0. Is t a multiple of 11?
False
Is 3472/(-6)*(-21 + 63/14) a multiple of 14?
True
Let y be 4/12 + -1 - 44/(-12). Suppose -y*u + 2*u = -12. Is u/(-15)*(-1 - 89) a multiple of 9?
True
Suppose -128*l + 251047 = -225641 - 284016. Is l a multiple of 18?
False
Suppose 3*g = 4*a + 3121, 4*a - 208 = 2*g - 2290. Is 23 a factor of g?
False
Suppose 4*g - 5*j = 2371, 3*g - 1724 = 48*j - 52*j. Is 18 a factor of g?
False
Let c(v) = 5*v**3 + 7*v**2 - 14*v + 66. Is 14 a factor of c(7)?
False
Let f(c) = 19*c**2 - 78*c + 507. Is f(17) a multiple of 16?
True
Let m be (-9)/(9/3) + 5. Suppose -661 - 319 = -m*q. Suppose 4*s = 126 + q. Is 24 a factor of s?
False
Is 7166/3 + 22/(-33) a multiple of 13?
False
Let t be ((-9)/(-6))/((-132)/(-64) + -2). Suppose 2*d - i = 9, 2*d + 0*i + 4*i - t = 0. Suppose 0 = d*p - 9*p - 2*r + 132, -r = 3. Does 46 divide p?
True
Suppose -9105 = -3*h + 2*c, -534*h + 531*h + c = -9099. Does 4 divide h?
False
Suppose -12 = -3*b + 5*t - t, -5*b = -4*t - 20. Suppose 0*w + 412 = b*w. Suppose -2*l + w = -79. Is 13 a factor of l?
True
Suppose 17915 - 57227 = -9*n. Is n a multiple of 21?
True
Let o(u) = -15 - 5*u + 6 + 121 + 73 + 2. Is o(-13) a multiple of 36?
True
Let x(q) be the third derivative of -q**4/24 - 3*q**2. Let s be x(-3). Suppose 0*z + s*j + 164 = 2*z, 0 = -z - 2*j + 96. Does 32 divide z?
False
Let n(v) = -2*v**3 + 183*v**2 - 62*v + 745. Is 188 a factor of n(91)?
True
Let y(f) = -242*f**3 - 2*f**2 + 71*f + 347. Is 297 a factor of y(-5)?
False
Let z = 6361 - 383. Is 2 a factor of z?
True
Suppose 5*g - 2*g = -2*h + 100, -2*g = 0. Let s(a) = -h + 21*a - 48 + 91. Is 14 a factor of s(3)?
True
Suppose 193*m - 32740 - 13141 + 1298 = 0. Is 77 a factor of m?
True
Let d = -615 + 619. Suppose 0 = -2*m + 4, 0 = -d*g - m + 1380 - 30. Does 21 divide g?
False
Let s = 279 + -255. Suppose -s*q = -16*q - 1392. Is 29 a factor of q?
True
Let t = -525 - -1136. Suppose 5*f = 4*g - t, 4*f = -4*g + 7*g - 457. Does 2 divide g?
False
Is -6342*((-6)/4)/((-27)/(-36)) a multiple of 28?
True
Let g(w) = -3*w**2 + 276*w - 701. Does 7 divide g(62)?
True
Let m = 2428 - 135. Is 116 a factor of m?
False
Let o(i) = -357*i + 1579. Does 14 divide o(-13)?
False
Let y(i) be the first derivative of i**4/4 + 17*i**3/3 - 3*i**2/2 + 53*i - 91. Is y(-17) a multiple of 8?
True
Suppose -2*b - 2*l = -28442, b + 3*l + 292 = 14521. Is b a multiple of 118?
False
Let b(h) = 28*h**2 + 8. Let v(c) = 28*c**2 - c + 9. Let w(a) = -2*b(a) + 3*v(a). Does 33 divide w(-5)?
True
Suppose -4*x = 12, -586*x + 589*x + 