 multiple of 9?
True
Let p be (-4)/8*7*1296/(-2). Suppose -16*n + 10*n + p = 0. Let r = n - 261. Is r a multiple of 18?
False
Let y(b) = 717*b**2 - 36 + 2*b**3 + 714*b**2 - 1437*b**2 + 15*b. Is y(5) a multiple of 47?
False
Does 53 divide 5625114/114 + 154/(-1463)?
True
Let d = 739 - -12. Does 11 divide d?
False
Let m(k) = -k**3 - 39*k**2 - 432*k - 70. Is 45 a factor of m(-33)?
False
Let c = -719 - -1051. Let s = 491 - c. Suppose o - 23 = 3*j, -2*j - 2*j = -5*o + s. Does 22 divide o?
False
Let f(a) = -1. Let x(i) = -7*i + 5. Let z(n) = -4*f(n) - x(n). Let y be z(1). Is (-2 - -3)/(y/630) a multiple of 15?
True
Let g = -126 + 146. Is 46616/30 - g/(-150) a multiple of 42?
True
Let w = 9 - 0. Let u(r) be the third derivative of 5*r**4/24 + 43*r**3/6 + 6*r**2 - 34*r. Is u(w) a multiple of 9?
False
Is 9 a factor of (-69)/(-138) - (-4)/((-32)/(-65732))?
True
Let q = -5573 - -3064. Let m = 3613 + q. Is m a multiple of 23?
True
Suppose 0 = -17*k + 115 + 4. Let i(f) = -f**2 + 9*f - 10. Let a be i(k). Suppose -a*o - 26 = -6*o. Does 10 divide o?
False
Let o(u) = -5*u - 5. Suppose -13 = -v - 3*n, -4*v + 4*n + 4 + 16 = 0. Suppose -8 = -3*b + v*b. Does 2 divide o(b)?
False
Let d be 2/(-6)*(-9 + 0). Let c = 4706 - 4298. Suppose t + c = d*t. Is t a multiple of 14?
False
Suppose 4*w - 7399 = m, -4*w - 10*m + 15*m = -7427. Is 7 a factor of w?
True
Suppose -5*x = 4*h + 9026 - 219389, -2*x + 84156 = -2*h. Is x a multiple of 17?
True
Let q be 230/25 + 28/10 + -2. Suppose 546 = q*n - 8*n + 3*z, n - z - 278 = 0. Does 19 divide n?
False
Let h(u) = -12*u**3 + 13*u + 3. Let m be h(-3). Suppose -3*p + 90 = -m. Does 42 divide p?
True
Suppose -5*r = 2*a - 1760, -2*r + 5*a + 77 = -627. Is 11 a factor of r?
True
Suppose 4*z = -4*s, -3*z + 4*s - 43 + 8 = 0. Is 20 a factor of (52/(-6))/(z/135)?
False
Let f(a) = -9*a**3 - 10*a**2 - 11*a + 41. Let b(k) = 4*k**3 + 5*k**2 + 6*k - 21. Let s(o) = 11*b(o) + 6*f(o). Is 16 a factor of s(-3)?
True
Suppose -7*f - 174 = -10*f. Suppose -238 = -4*t + f. Let s = t + 19. Does 11 divide s?
False
Let h(i) = 33 - 31*i**2 - 21*i**2 + i**3 - 16*i**2 + 18*i - 32*i**2 + 121*i**2. Does 22 divide h(-20)?
False
Does 7 divide (728/195)/((-3)/(-30))*33?
True
Suppose 4*s - 3*u = -2*u - 231, -5*s - 285 = -2*u. Let q = s + 80. Is (28/(-6))/((-7)/q) a multiple of 7?
True
Let y = -41 - -41. Suppose -5*f + 0 + 10 = y. Suppose -h + 14 + 31 = -3*a, f*a = -4*h + 110. Does 3 divide h?
True
Suppose 0 = 2*u + u - c + 157, -5*u - 263 = -2*c. Let r be 2*(3 + 2) - 1. Is 16 a factor of (u/r)/((-4)/48)?
False
Suppose x = o + 17, -2*x - 10 = -5*o - 35. Suppose -5*y = 4*a - 1520, -5*a = -a + x. Does 44 divide y?
True
Let r(i) = -420*i + 3076. Is 8 a factor of r(-15)?
True
Suppose -s + 87 + 77 = 2*a, a - 92 = 2*s. Suppose -5*n = 2*w - 552, 80*w = -5*n + a*w + 576. Does 4 divide n?
True
Let h = 887 + -387. Let x be (4 + h/(-8))*2. Let k = -63 - x. Is k a multiple of 18?
True
Let m(b) = 188*b**2 + 39 - 31 - 51*b**2 - 2*b. Is m(-2) a multiple of 20?
True
Let o(i) = 46*i - 1608. Is o(35) a multiple of 2?
True
Let t(x) = 86*x + 10. Let m be t(-6). Let q = 1196 + m. Suppose -10*o + q = -5*o. Is o a multiple of 23?
True
Let a(d) = -d**3 + 18*d**2 + d - 16. Let b be a(18). Suppose t - 398 = -b*n, -137 - 463 = -3*n - 3*t. Is n a multiple of 18?
True
Suppose -1172*d + 1174*d + 4078 = 2*g, -3*d = g - 2059. Is g a multiple of 3?
False
Suppose -2*g = -9*g + 4536. Suppose -i + 232 = -5*u, 3*i - 4*u - g = -u. Suppose -124 = -12*w + i. Is w a multiple of 14?
True
Let t(j) = 6*j**2 + 57*j - 321. Does 30 divide t(35)?
False
Let p be (2 - -6) + -5 + 11. Does 14 divide p*111*(-2)/(-12)?
False
Suppose -5*h + 1701 + 4459 = 2*d, h = 4*d + 1232. Suppose 0 = 4*u - 20*u + h. Is 34 a factor of u?
False
Let s = 4183 + -3069. Is s a multiple of 12?
False
Suppose 0 = i + 7 - 11. Let g be 4 - (1 + 0*(-1)/i). Suppose g = -t + 71. Is 4 a factor of t?
True
Suppose -2*a = -a. Is -27*(a - 6/9) a multiple of 3?
True
Let l(r) = 51*r. Let q be (-5 - (-1 - 1))*10/(-3). Let c be l(q). Does 20 divide (11/33)/(2/c)?
False
Suppose -k = -4*d + 8 - 0, 5*k + d = 2. Suppose p = -3*a + 118, k = -p + 3*a + a + 146. Suppose 3*h = p - 58. Is 12 a factor of h?
True
Let v(n) = 2*n + 2. Let q be v(-4). Let t = q - -22. Suppose -21*o + 625 = -t*o. Is o a multiple of 7?
False
Suppose -g + 5*d + 1412 = 0, -46*g + 13940 = -36*g - 5*d. Is g a multiple of 58?
True
Suppose 25289 = 24*j - 2215. Let p = j - 778. Does 16 divide p?
True
Suppose 26*c - 109127 - 165223 = -5*c. Is c a multiple of 118?
True
Let l be 1 + -7 - (-368)/2. Let u = -94 + l. Does 14 divide u?
True
Suppose x - 51273 = -2*v, 28*v = 27*v - 5*x + 25641. Is v a multiple of 34?
True
Let l(o) = 2*o**2 - 18*o + 21. Let u be l(8). Suppose 2010 = u*i - 5*k, -5*i + 2022 = 5*k - 38. Does 19 divide i?
False
Let l(q) = -5083*q**3 + 107*q + 108. Is l(-1) a multiple of 124?
True
Let s(o) = 2*o**3 + 2*o**2 - 3*o - 3. Let z = -25 + 27. Suppose z*u = -1 + 7. Does 20 divide s(u)?
True
Let z(t) = -t**3 + 4*t**2 - 2*t - 4. Let q be z(3). Suppose 4*s + h = -3, -3*s + 6*h - 4*h = 16. Is q/s + (-66)/(-4) a multiple of 12?
False
Let p(o) = -o**3 + 9*o**2 + 33*o + 229. Is p(-10) a multiple of 7?
True
Suppose 5*v + 27 = 2*v. Let j = v + 9. Suppose 12*g - 9*g - 258 = j. Is g a multiple of 30?
False
Suppose b - 12*d + 16*d = 1, 3*d = -5*b + 22. Suppose 3*w - 4*l = w + 252, b*l = -w + 119. Is 13 a factor of w?
False
Suppose -3*x = -4*a - 25467, 0 = 9*x - 4*a - 57690 - 18663. Does 33 divide x?
True
Let z be (12/(-10))/((-10)/225). Let y be 1/((-105)/(-27) - 4). Is 10 a factor of y/z*(-571 + 1)?
True
Suppose 27 + 13 = 3*t + 5*f, -35 = -2*t - 5*f. Suppose -t*u + 4*n + n = -825, -2*u + 4*n + 340 = 0. Is u a multiple of 40?
True
Suppose 0 = 16*w - 4656 - 6848. Is w a multiple of 27?
False
Suppose 39 = 4*c + 95. Let m(p) = p**3 + 33*p**2 - 3 - 18*p**2 + 0. Is 11 a factor of m(c)?
False
Suppose j - 2 = -3. Let v be 0 + -3 - j - -1. Is (1 - v) + 9/3 a multiple of 5?
True
Let n(q) = -13*q**3 - q**2 + 10*q + 19. Suppose 5*o + 33 = -4*v, -5*o - 15 = -2*v - 3*v. Is 11 a factor of n(v)?
True
Let h(i) = -3*i - 17. Let t be h(-8). Suppose t*v - 34 = 162. Is 26 a factor of v?
False
Let j(a) = 262*a**3 - 1. Let h be j(-1). Let q(s) = s**3 - 8*s**2 - 9*s - 3. Let c be q(8). Let z = c - h. Is 28 a factor of z?
False
Suppose -5*q = -5*p - 139280, 8*q - p = 11*q - 83556. Is q a multiple of 161?
True
Suppose -8 = 4*y - 4*k - 20, 3*y + 2*k - 34 = 0. Suppose -69 = -y*j + 411. Is j a multiple of 5?
True
Suppose -6*s + 221 = -67. Is ((-3)/4)/(6/s*-2) even?
False
Is 12 a factor of 14/161 - (0 + (-1652682)/69)?
True
Is 5 a factor of 7 - (1 - -3057)*18/(-36)?
False
Suppose 6*o - 8*o = 356. Let u = o + 329. Let s = u + -73. Does 13 divide s?
True
Let n(y) = 4*y - 11. Suppose -26*o + 28*o = 32. Let g be n(o). Suppose g = 6*f - 31. Is 7 a factor of f?
True
Suppose -r = l - 4562 - 7720, -12258 = -r + 3*l. Is 12 a factor of r?
True
Let b be 2/(-9) + 645/(-135). Is 26 a factor of -6 - (-96)/15 - 4738/b?
False
Let p be 5334/54 + 1 + (-14)/18. Let f = 105 - p. Suppose -28 = -f*t + 4*t. Does 7 divide t?
True
Is 37 + -41 + 41445/8 + 6/16 a multiple of 77?
False
Let t be -6 + (-1)/((-1)/(-6)). Let n(o) = 2*o**2 + 21*o + 7. Is 6 a factor of n(t)?
False
Suppose 55*i - 341 = 44*i. Let p = i - 1. Is p a multiple of 30?
True
Let u(b) be the third derivative of 7*b**6/360 + b**5/120 - b**4/6 + 5*b**3/2 + 30*b**2. Let v(y) be the first derivative of u(y). Is v(3) a multiple of 9?
False
Suppose -3*k - 3*t = -t + 890, -t + 1505 = -5*k. Is 20 a factor of 2*13/((-39)/k)?
True
Let n = 328 - 353. Suppose 4*j - 1 = -9. Is 28 a factor of (10/n)/j - (-139)/5?
True
Let d(v) = 3*v**2 + 2*v + 1326. Does 8 divide d(0)?
False
Let u = 137 - -3447. Is u a multiple of 82?
False
Let g be 6 - (-1)/(3 + -2 + -2). Let y be 24/(-15)*-2 - (-4)/g. Suppose 5*n - 3*d = d + 42, -24 = -2*n + y*d. Is n a multiple of 5?
False
Suppose -5*x + 3*s = -14723 - 7447, 3*x = -5*s + 13336. Is 51 a factor of x?
True
Let o = 113 - 106. Let r(v) = -5*v**3 + 7*v**2 - 13*v - 17. Let g(t) = -3*t**3 + 3*t**2 - 6*t - 8. Let f(p) = o*g(p) - 4*r(p). Is 9 a factor of f(-9)?
False
Let g(u) = -u**3 + 6*u**2 + 8*u - 9. Let n be g(7). Does 59 divide ((-5)/n)/((-7)/(-742))?
False
Let c(f) = -