 - 63. Let c be p(-3). Suppose 0 = -3*j - d + 84 + 83, -c*j + 5*d = -137. Is j a multiple of 6?
True
Let q = -10064 + 16775. Does 16 divide q?
False
Suppose 3 = -x, -2*t = 3*t - 2*x - 1396. Suppose 14 = 2*a - t. Does 18 divide a?
False
Let a be -1 + 8 - (6 + -3 - -2). Suppose 3*q - 518 = a*j, 2*q + 4*j = 276 + 96. Is 15 a factor of q?
False
Let v(a) = 4*a + 17. Let f be (-2 - -5 - 5) + 1*10. Suppose 2*m + m + f = 4*x, -x + 2 = m. Does 6 divide v(m)?
False
Suppose 6*q = -z + 8*q + 10, z - q - 7 = 0. Suppose 0 = z*y - 2*n - 8, 3*y - n - 4 = 8*y. Suppose -5*b + 14 + 86 = y. Is 6 a factor of b?
False
Suppose 6*q - l - 7 = 3*q, -2*q = -2*l - 6. Suppose 2*v - 6 = s - v, -q*v = -5*s - 17. Is 16 + (s*4)/4 a multiple of 9?
False
Suppose 8*i - 1672 = -3*i. Suppose -5*w = 10, -2*b - 4*w + i = 2. Is 36 a factor of b?
False
Suppose -2*f - 2 = -8. Suppose 0*y - 10 = 5*y + f*s, 2*s + 8 = -2*y. Does 19 divide 4*(127/4)/y?
False
Let q(d) = 6*d**2 + 12*d + 22. Let a be q(-12). Suppose -6*u = -a - 134. Is 12 a factor of u?
False
Suppose 8*t + 39 + 17 = 0. Let w(i) = i + 12. Let k be w(t). Suppose 23 = k*q - 2. Does 2 divide q?
False
Let q be -3 - (-80 + 3 + 0). Let w = q - 66. Suppose -w*p + 11*p = 54. Is 16 a factor of p?
False
Let b = 26921 + -14051. Is 165 a factor of b?
True
Let o(r) = -r - 5. Let v = -7 - 127. Let i = -143 - v. Is o(i) a multiple of 4?
True
Suppose a + 5*k = 0, 3*k - 1 + 45 = -5*a. Suppose -2*z - 3*v = 404, 4*v = -3*z + 2*z - 192. Is 15/6*z/a a multiple of 5?
False
Is 8/3*78408/48 a multiple of 9?
True
Suppose 5*i - 376 = 314. Suppose 0*y + 4*y = -288. Let c = y + i. Does 22 divide c?
True
Let u(l) = -6*l - 4. Let d(k) = k**2 - 5*k - 4. Let j(c) = 3*d(c) - 4*u(c). Is j(7) a multiple of 9?
False
Let t(q) = -24*q**2 - q + 1. Let w be t(-1). Let j = w + 25. Suppose 369 = 4*p + j*g, -5*g + 0*g + 88 = p. Is 14 a factor of p?
False
Let o(y) = -14*y - 201. Let b(x) = -28*x - 405. Let r(c) = 4*b(c) - 9*o(c). Is 4 a factor of r(35)?
False
Let i(h) = h**3 + 17*h**2 - 19*h - 20. Suppose -45 - 371 = 26*g. Is i(g) a multiple of 15?
True
Let z(s) = s**2 - 63 + s + 79 + 0*s. Does 6 divide z(-8)?
True
Let r = 65 - 63. Let p be (-3 - (-35 + -4)) + (r - 1). Suppose 0 = 2*c + 4*u - 62, -5*c + 2*u = p - 252. Is 12 a factor of c?
False
Let w = -211 + 307. Suppose 82*a = w*a - 4704. Is a a multiple of 14?
True
Suppose -8*r + 10*r + 4*u = 9288, -4*r - 2*u + 18618 = 0. Is r a multiple of 137?
True
Let n = 107 - 52. Let y = n + -56. Is 9 a factor of (-4 + y)*1/(5/(-45))?
True
Let f(s) = 12*s - 6. Let l be f(2). Let h be 3/(l/1641) + 1/(-2). Let w = -189 + h. Does 14 divide w?
True
Suppose 4017 - 34971 = -22*u. Suppose -3*o + 1563 = x, 3*o = 5*x + u + 174. Is o a multiple of 58?
True
Let c = 6349 - 4885. Is c a multiple of 16?
False
Suppose k = 4*x + 2, -4*x = 4*k + 4 - 12. Let v be (-18 + 15)/((-3)/188) - x. Suppose -q + 200 = -5*r, -4*r - v = -4*q + 548. Is 30 a factor of q?
True
Suppose -2742 = -k + p, -3*k - 434*p + 8236 = -432*p. Is k a multiple of 28?
True
Let h(l) = 6*l - 39. Suppose 0 = -4*p - 4*n + 60, -3*n + 55 = 2*p - 6*n. Is h(p) a multiple of 32?
False
Let l(u) = -15948*u**3 + 4*u**2 - 21*u - 23. Does 25 divide l(-1)?
True
Does 193 divide (-3 - -1)/(87*(-2796)/48636 + 5)?
True
Suppose 12*q - 19885 - 2003 = 0. Is 3 a factor of q?
True
Let j = 186 - 185. Let d(x) = 21*x**3 - 3*x**2 - x + 2. Is 5 a factor of d(j)?
False
Let g be 3/((-15)/(-35)) + -7. Suppose 4*s - 1592 = 4*i, 0 = -g*s - 5*s - 5*i + 2000. Is 22 a factor of s?
False
Suppose -4*h + 43929 = 134*o - 137*o, 25 = 5*o. Does 5 divide h?
False
Let o be (22/33)/(2/12). Suppose 8 + 12 = o*q. Suppose q*g - 47 = -d + 15, -d + 4*g + 80 = 0. Is 24 a factor of d?
True
Let u(y) = 4*y**2 - 25*y + 35. Let w be u(2). Let a = 4 - 2. Suppose c = 4, w = 2*n - a*c - 63. Is n a multiple of 18?
True
Let h be 258*-3*(-2)/3. Suppose -s - 2*s + 5*x = -h, 2*s - x - 351 = 0. Suppose 0 = -c + 3, 134 = 2*r - 5*c - s. Is 25 a factor of r?
False
Suppose 0 = -3*k + 2*u - 1864, -2*k + 4*u + 1248 = -4*k. Let n = k + 1342. Is n a multiple of 12?
True
Suppose 5*b + w - 4 = 0, -3*w + 11 = 4*b - 1. Suppose b*h = -7*h + 56. Let i(p) = 2*p**2 - p - 35. Is 17 a factor of i(h)?
True
Let i(d) = 9*d + 29. Let t(u) = -u - 1. Let x(s) = i(s) + 5*t(s). Let h be x(-5). Suppose 4*g = 2*b - 202, h*b + 34 = 2*g + 408. Does 13 divide b?
True
Suppose -8*p + 43 - 19 = 0. Suppose -5*z + p*c + 866 = -303, 5*c + 695 = 3*z. Is z a multiple of 15?
False
Suppose -37353 = -50*m - 1703. Suppose -5*i + m = 4*n, -2*i + 6*i - n = 583. Does 6 divide i?
False
Suppose -4*q + w + 1625 = 0, -2*q - w + 811 = -2*w. Let z = q + -231. Is z a multiple of 44?
True
Suppose 4*j + 47 = 5*l, 2*l + j - 5 = 6. Suppose l*b - 1073 = 1573. Does 18 divide b?
True
Does 293 divide 43071/(-98)*(944/(-12) - 0)?
True
Is 36/19 - 2 - (-1565730)/513 a multiple of 7?
True
Let p be 18 - 18 - (1 + -40)*-1. Let b = -4 - p. Suppose 0 = -4*o - q + 574, 3*q - b = -o + 103. Is 48 a factor of o?
True
Is 74 a factor of (2/(-38))/(9/18) + 43256176/5567?
True
Let i = 691 + -621. Is 1764/20 + 56/i a multiple of 3?
False
Suppose 0 = 23*c + 9*c - 17164 - 35124. Is 57 a factor of c?
False
Let y be (7 - (-2 + 6))/(-1). Is (-10)/(-6)*((1 - y) + 482) a multiple of 90?
True
Let g(b) = b**3 - 6*b**2 + 4*b + 5. Let m be g(5). Suppose m = -5*a - 4*f + 77 + 213, -5*f = 4*a - 223. Let x = a - -10. Does 11 divide x?
False
Let d(s) = 5*s**2 + 16*s - 2. Let i be d(-6). Let p be 16/96 - 1157/(-6). Let k = i + p. Is k a multiple of 25?
True
Let v(h) = 3*h**3 - 65*h**2 + 24*h - 46. Suppose -42*p + 38*p = 3*k - 46, 4*p - 90 = -5*k. Is 7 a factor of v(k)?
True
Let b(q) be the second derivative of -q**4/12 - 10*q**3/3 - 3*q**2 + q. Let m(i) = i**2 - 8*i + 7. Let y be m(5). Is 30 a factor of b(y)?
True
Suppose 10738 = -91*j + 105*j. Is j even?
False
Suppose 54*j + 2*r + 2692 = 57*j, 3*r + 3588 = 4*j. Is j a multiple of 20?
True
Let o = -90 + 94. Suppose -t - 2 = -0*t - i, -3*t + o*i - 11 = 0. Suppose t*g + 1 = 5*j + 27, 95 = 5*g + 2*j. Is g a multiple of 15?
False
Let a(u) = 2*u**3 - 18*u**2 + 9*u - 114. Is 30 a factor of a(18)?
True
Let u = -22908 - -44484. Is 116 a factor of u?
True
Is 6 a factor of ((-166)/(-120) - 295/236) + 8306/30?
False
Suppose 0 = o - 4*o. Let b be (-2 + 6)*3 + o. Suppose 0 = -y + i + b, 2*i + 4 = -y + 22. Is y a multiple of 7?
True
Let b = -5 + 10. Suppose 5*t + 1 + 14 = 0, -b*k + 18 = -t. Suppose -k*y + 24 = -261. Does 19 divide y?
True
Let k(j) = 68*j**2 + 229*j - 4. Let m(q) = -34*q**2 - 114*q + 3. Let w(t) = 3*k(t) + 5*m(t). Does 21 divide w(-5)?
False
Is 49 a factor of ((-131)/3 - -1)*(-72)/(-64)*-196?
True
Let j(i) = -34 - 6*i**2 + 4*i**2 - 25*i + 29 + 7*i. Does 9 divide j(-8)?
False
Let g(m) = -m**2 + 2*m + 18. Let f be g(5). Let n(a) = 14*a**3 - 9*a**2 + 10*a + 3. Does 15 divide n(f)?
True
Let m be -15*(-2)/(-4*15/(-24)). Suppose -m*k = -4*k - 2136. Is k a multiple of 10?
False
Suppose -49*u = -45*u - 6588. Suppose 4*x + 4*j - u - 945 = 0, 0 = -3*x + 3*j + 1956. Is 26 a factor of x?
True
Suppose -86*m - 586461 = -1466843. Does 23 divide m?
False
Let g = 307 - 324. Let q(i) = -i**3 - 15*i**2 - 36*i - 30. Is q(g) a multiple of 10?
True
Suppose 2*o = -0*o + 24. Let d = o - 9. Suppose 3*t = -u + 22, 3*u - 51 = -d*t - t. Is u a multiple of 13?
True
Suppose -45*w - 214*w + 2196320 = 0. Does 31 divide w?
False
Suppose -3*b + 2*u - 28 = 0, 5 = -2*u - 3. Is 41 a factor of (-8 - b/(-6))*-9?
False
Is (13 - (-54)/(-9)) + 169 a multiple of 16?
True
Let r(j) = j - 37. Let b = 42 + -24. Let m be r(b). Let n = m - -59. Is 12 a factor of n?
False
Let w be (-6)/(6/5) + 118. Let x = 141 - w. Is x a multiple of 4?
True
Let d = 104 + -12. Suppose 4 = -f + 4*f + 4*q, 2*q = -2*f + 4. Let y = d - f. Is y a multiple of 18?
False
Let m(t) = -10*t + 4. Let z be m(0). Suppose 13 = 5*s - n, 4*s - z*n + n = 17. Suppose 2*x - 23 = 5*v + 15, -s*x + 4*v + 38 = 0. Is 2 a factor of x?
False
Let a = 7 - -13. Suppose -a = -6*c + 10. Is 14 a factor of -2 - -104 - (-1 + c)?
True
Suppose 2*t - 1819 = 4*v + 1225, -3*t + 2*v = -4582. Does 30 divide t?
True
Let i(d) = 3*d - 22. Let v be i(9). Suppose 5*b + 282 = -4*r + r, v*r = -2*b - 128. Let h = b - -124. Does 21 divide h?
False
Suppose -43*s + 214048 = -57532 - 46620. Is 