f**2 + 9*f + 6. Let r be m(-3). Let t be 1/(-1 - 16/r). Suppose -55 = -4*b - t. Does 13 divide b?
True
Let n(k) = -4*k - k**3 - 9*k**2 - 14*k - 18 + 10*k. Is 9 a factor of n(-9)?
True
Let n = 10960 + -10463. Is n a multiple of 6?
False
Suppose 2*x - 4504 - 7843 = 3*j, 0 = x - 2*j - 6173. Is x a multiple of 247?
True
Let q(f) = f**3 - 17*f**2 - 21*f + 54. Let z be q(18). Suppose z = -7*l + 68 + 226. Is 9 a factor of l?
False
Suppose 31345 = 6*r + 12769. Suppose r = p + 5*p. Is p a multiple of 43?
True
Let t(g) = 6*g**2 + 7*g + 6. Let q be t(-7). Suppose -29*c + 632 = -33*c. Let s = q + c. Is s a multiple of 18?
False
Let y be ((-15)/12)/(-5) + 30/8. Let t be (y/(48/(-165)))/((-4)/80). Let c = t + -138. Does 21 divide c?
False
Let w(b) = -99*b + 191. Let t be w(2). Let x(d) = 9 - 7*d - 11*d - 2*d. Does 8 divide x(t)?
False
Suppose 8*i - 63 = -87. Let d(z) = -5*z**3 - 2*z**2 + 6*z + 6. Is d(i) a multiple of 2?
False
Let v(m) = m**2 + 13*m + 33. Suppose 0*f + 28 = -2*f - s, -2*f + 3*s = 28. Is 5 a factor of v(f)?
False
Let k be (-36)/(-9) - (2 + -2). Suppose -3*d + 0*z - z = -1941, -d = k*z - 658. Is d a multiple of 17?
True
Let y(x) = x + 5. Let z be y(-5). Suppose 5*q + 278 = 2*r - 56, -q - 4 = z. Suppose -4*u + 3*u + r = 0. Is 27 a factor of u?
False
Let s(u) = 83*u + 0*u**2 - 164*u - 3*u**2 + 105*u + 40 + 2*u**2. Let n = 55 - 31. Does 20 divide s(n)?
True
Let z(x) = 4*x**3 - 13*x**2 - 96*x + 61. Is 55 a factor of z(10)?
False
Suppose -27 = 5*k - 2, 0 = -a - 4*k - 10. Is a/((-26)/144 - (-16)/72) a multiple of 15?
True
Let c = 18656 - 10784. Does 8 divide c?
True
Let c = 32 - 32. Suppose c = u - 3*u + 6. Suppose -96 = -s - u*s. Is 6 a factor of s?
True
Let u(c) = -30*c**3 - 2*c**2 + 3*c - 2. Let n be u(-2). Is (n/5)/((-12)/(-90)) a multiple of 12?
True
Suppose 3*o - 26 = 4*p, o + 0 - 2 = 3*p. Is (o/(-2))/((23/18)/(-23)) a multiple of 6?
True
Let h = -9248 - -11762. Is 5 a factor of h?
False
Suppose 4*x = o + 12, 0 = 4*x + 3*o - 5 - 7. Let n(m) = -5*m + 10*m**2 + 0*m - m - 5*m**2 + x. Is 10 a factor of n(3)?
True
Suppose 4*t + 1087 = 9*t - 3*m, -m + 1071 = 5*t. Let n = t - 106. Is n a multiple of 15?
False
Let w be (-2)/(2/(-4) + 2/(-4)). Suppose w*g - 113 - 9 = 0. Is g a multiple of 5?
False
Let f(k) = 1671*k + 135. Is 66 a factor of f(3)?
True
Suppose 39*h - 3256 = 35*h. Suppose k + 4 = h. Does 15 divide k?
True
Suppose -10*d - 126753 = -4*b - 13*d, -126778 = -4*b + 2*d. Does 76 divide b?
True
Suppose -2*x - 3*n + 434 = 0, -2*x = -0*x + 2*n - 430. Suppose -m + x = -215. Is 71 a factor of m?
True
Let f(x) = -2*x**3 - 106*x**2 - x + 111. Is f(-53) even?
True
Let x = 27 - 27. Suppose x*y - 3*y - 201 = -2*u, 95 = u + 4*y. Is u a multiple of 43?
False
Suppose 0 = -8*a + 6*a + 4*u + 3208, -u - 6395 = -4*a. Let l = -876 + a. Is l a multiple of 9?
False
Suppose 4*v + j - 11055 = 0, 2029 = v + 2*j - 726. Is 35 a factor of v?
True
Is 188115/(-315)*-3 - 3/(-7) a multiple of 32?
True
Let f(w) = 45*w + 12. Let g(v) = 224*v + 59. Let r(k) = -11*f(k) + 2*g(k). Is 35 a factor of r(-8)?
False
Suppose -16 = 5*l + 3*q + 185, 2*q + 121 = -3*l. Let b = l + 115. Does 3 divide b?
False
Let r(b) = 65*b**2 + 5*b - 4. Let f be 4/14 - (-15)/21. Does 33 divide r(f)?
True
Let s(r) = -17 - 2*r + 11*r + 13 + r**2. Does 31 divide s(10)?
True
Let f be ((-2)/4)/((-679)/(-112) - 6). Let t be (f/(-3))/((5/420)/(-1)). Let b = -70 - t. Is 7 a factor of b?
True
Let l = -4782 + 9797. Does 59 divide l?
True
Let c be (818/8)/(2/8). Suppose 29*i - 606 = c. Does 3 divide i?
False
Let l = -8927 - -15560. Is 2 a factor of l?
False
Let g = -9 - -14. Suppose g*x = -3*l - 1, -5 = 2*x - 1. Suppose s - h = 3*h + 56, -2*s + 102 = -l*h. Does 16 divide s?
True
Suppose 358*s - 10227 = 356*s - p, -s + 5116 = p. Is 121 a factor of s?
False
Suppose -4*u + 22 = 3*d, 5*u + 19 = -d + 52. Suppose -u*y = -2*j - 3*y + 16, 2*y = -3*j - 16. Is 20 a factor of (-2)/j + -4 + 89 + 0?
False
Let v(d) = 3*d**2 - 36*d + 260. Is 13 a factor of v(130)?
True
Let x be 1 + -148 + 1 - (-4 - -6). Is 29 a factor of (48 + x)/(-2 - 0/(-1))?
False
Let h(w) = w**2 - 10*w - 12. Let y(r) = -r**3 + 2*r**2 + 10*r - 3. Let o be y(4). Let m be ((-5)/(-2))/(o/30). Does 10 divide h(m)?
False
Let l(i) = 7*i - 93. Let r be l(14). Does 8 divide -1*(6 - (65 + r))?
True
Suppose -32759 = -5*d - 3*l, 20*l - 23*l - 21 = 0. Does 11 divide d?
True
Suppose 0 = -91*i + 1102651 + 165889. Does 85 divide i?
True
Suppose 192*m = -124*m - 301*m + 6348930. Is m a multiple of 98?
True
Suppose 3*h = 9*r - 7*r + 2218, 5*h - 4*r - 3694 = 0. Let g = 14 + -8. Suppose g*t - h = -28. Does 12 divide t?
False
Let r = -96 - -68. Let d = -10 - r. Suppose -19*h + d*h + 14 = 0. Is 7 a factor of h?
True
Let i(d) = -d**3 + 10*d**2 + 13*d - 14. Suppose -9*q - 22 = -11*q. Let t be i(q). Is 15 a factor of (-20)/((-1)/(36/t))?
True
Let p = 3278 + 2209. Does 18 divide p?
False
Let v be (2/6)/((-25)/1275). Let c(k) = k**2 - k + 69. Is 13 a factor of c(v)?
False
Let k(x) = -2*x**2. Let q be k(-1). Let d(g) = 8*g - 20. Let b(a) = -1. Let u(j) = 36*b(j) - 2*d(j). Is 6 a factor of u(q)?
True
Let t(p) = -p**3 + 47*p**2 + 28*p + 46. Let h be t(48). Let k = h + 1305. Is k a multiple of 25?
False
Suppose 0*t + 8 = -4*t, -4*w - 2*t + 13720 = 0. Is 17 a factor of w?
False
Suppose -74*m + 37*m = 52*m - 326630. Is 10 a factor of m?
True
Let v be 7 - (-669 + (-20)/4). Suppose -4*k + v = -4*s - 1079, 2*k - 880 = s. Does 44 divide k?
True
Let p = -23341 - -30007. Does 30 divide p?
False
Let x(h) = -6*h + 2*h**2 + 9*h**2 - 4*h**2 - 9*h**3 - 3*h**2 + 13*h + 12. Is x(-3) a multiple of 5?
True
Suppose 57 + 6 = 7*r. Let u(b) be the first derivative of b**3 - 5*b**2/2 - 30*b - 4. Is 13 a factor of u(r)?
False
Suppose 19249 = 18*u + 15*u - 32066. Does 27 divide u?
False
Suppose 107*s - 257*s + 892350 = 0. Does 169 divide s?
False
Let w be -2*(-1 + (-18)/(-12)). Let s(k) = -234*k**3. Does 18 divide s(w)?
True
Suppose -97*u + 217*u = 1091520. Is u a multiple of 11?
False
Let v(l) = 4*l**3 + 41*l**2 + 16*l + 1. Let h(z) = -2*z**3 - 21*z**2 - 8*z. Let b(q) = -7*h(q) - 4*v(q). Let o be b(-8). Does 5 divide 40 - o/(-3 + 2)?
False
Does 18 divide 2772/(-168)*(-6504)/22?
True
Suppose -22*i + 17*i + 1020 = 0. Suppose 4*w = 2*l - i, -6*w + w = -2*l + 208. Suppose -h + 108 = 5*o, 0 = 2*o - 5*h + 40 - l. Is o a multiple of 6?
False
Suppose 4*z - 5*s - 9 = 0, -3*z + 4*s = 6*s + 22. Is (-211 + z)*-1*2 a multiple of 43?
True
Let v(b) be the first derivative of -119*b**2/2 + 6*b - 160. Is 46 a factor of v(-10)?
True
Let v = 37477 - 9603. Suppose 17*g + 5*g - v = 0. Is 28 a factor of g?
False
Let h(f) = 3*f**3 + 4*f**2 - 5*f - 6. Suppose 0 = 8*q + q - 54. Let m be h(q). Is 19 a factor of (-4)/(-10) - m/(-10)?
True
Suppose -297726 = -5*a + q, 4*a - 110512 = 4*q + 127672. Is a a multiple of 18?
False
Let x(u) = 11*u**2 + 24*u - 99. Let p(w) = -17*w**2 - 36*w + 148. Let h(s) = -5*p(s) - 7*x(s). Is h(6) a multiple of 10?
False
Suppose -8886 - 36079 = -23*d. Is d a multiple of 9?
False
Let q(v) = 5*v**2 - 5*v**2 + 6*v**2 - v. Suppose 2*r = 3*n + n - 6, n = -2*r + 4. Is q(r) even?
False
Let d = 12375 + -11568. Does 18 divide d?
False
Let l(z) = -53*z**2 - 18*z - 39. Let v be l(-2). Let w = v + 285. Is 5 a factor of w?
True
Let n = -51 + 83. Let i = n - 24. Suppose -t + i = -0*t. Is 8 a factor of t?
True
Let k = -30 - -30. Let y(u) = -1346*u**3 - 2*u + k*u - 5*u**2 + 1295*u**3. Is y(-1) even?
True
Let w(q) = -q**3 - 13*q**2 - 8*q + 37. Let v be w(-12). Is 451/v*4/(-2) a multiple of 5?
False
Let g be (42/9 + 0 + 0)*-3. Let s be ((-1715)/g)/7*(-1 + -1). Is 4 a factor of (16/10)/((-14)/s)?
True
Suppose 10*j - 198 = 2752. Does 20 divide j?
False
Let p(r) = -91*r - 319. Is 6 a factor of p(-28)?
False
Let w = 2618 + 3752. Is 182 a factor of w?
True
Let t be ((-24)/16)/(2/20). Let x(a) = a + 13. Let s be x(t). Does 49 divide 1/s - 1209/(-6)?
False
Let w = -7724 + 10857. Suppose 2*t - 256 = 4*z + 1010, 5*t - w = 2*z. Is 42 a factor of t?
False
Let o = 23 - 23. Let r be 169 + o - (-7 - -8). Suppose r = 2*l - z - z, -3*l + 4*z + 254 = 0. Is 31 a factor of l?
False
Let b(t) = 127*t + 30. Let d be b(3). Let w = d + -267. Is w a multiple of 72?
True
Let y = 4729 + -4172. Is y a multiple of 4?
False
Let z = -21195 - -22815. Is z a