True
Let f(a) = -a**2 + 11*a + 14. Let w be f(12). Suppose -4*n + w*y + 2132 = 7*y, -2*y + 2120 = 4*n. Is 48 a factor of n?
True
Let u(o) = -2*o - 1. Let n(j) = 5*j + 5. Let f(i) = 4*n(i) + 11*u(i). Does 19 divide f(-5)?
True
Let t(b) = 37*b - 5. Let c(d) = -1. Suppose 6*j + 27 = 3. Let y(x) = j*c(x) + t(x). Is 6 a factor of y(1)?
True
Suppose 4*m = -s + 6 - 3, -3*m + 5*s = -31. Let r be (-2)/4 - 5/((-60)/2238). Let t = r - m. Is 16 a factor of t?
False
Let i be (0 + -1)/((-1)/36*4). Let v be 1/(2/(-8)) + 72/i. Suppose v - 68 = -c. Is 8 a factor of c?
True
Let s(n) = -87*n**3 - 4. Let v(p) = 86*p**3 + 3. Let w(f) = 4*s(f) + 5*v(f). Let o be w(-1). Let h = o + 127. Is 11 a factor of h?
True
Does 31 divide 24305/16 - (-119)/(-1904)?
True
Let t be (2/8)/((-21)/168). Does 10 divide (-7)/(175/(-1670)) + t/(-10)?
False
Suppose -g = -w - 8, -g - g - 3*w + 6 = 0. Suppose -768 = -g*n - 174. Is n a multiple of 11?
True
Let j(f) = 48*f**3 + 15*f**2 - 37*f + 6. Is 37 a factor of j(8)?
False
Let i(l) = l**3 + 405. Let x be i(0). Suppose 3*o + 3*j - x = 0, 2*o + 2*j - 270 = 7*j. Suppose 16*r - o = 11*r. Does 27 divide r?
True
Let s = -856 + 858. Suppose 5*b - 1061 = -a, -s*a + b + 2104 = 2*b. Is a a multiple of 49?
False
Suppose -z - 5 = -7. Suppose z*u + 2 - 4 = -2*p, -4*p + 40 = -5*u. Suppose 4*a + p*s = 54 + 217, 4*a - 262 = -2*s. Is 8 a factor of a?
True
Suppose -4*i - 2*n + 202 = -88, -n + 215 = 3*i. Suppose -i - 173 = -3*t. Suppose 2*y = -5*o + 53, 0 = 4*y + 5*o - 0*o - t. Is 5 a factor of y?
False
Let r = 1817 - -2400. Does 19 divide r?
False
Let f(h) = h**2 + 25*h + 28. Let s be f(52). Suppose 7*n - s = -n. Is n a multiple of 31?
False
Suppose 4*g + 835 = 2*d - 21, 0 = -4*d + g + 1705. Let k = 126 + -82. Suppose -k*v + d = -41*v. Is v a multiple of 13?
False
Let t(o) = -28*o + 2. Let l be t(-1). Let m = 34 - l. Suppose w + 30 = m*w. Does 5 divide w?
True
Let b = -7146 - -14326. Is b a multiple of 10?
True
Does 8 divide (-59 - -69)*(-16944)/(-30)?
True
Suppose -33*j = -78*j - 296606 + 1318421. Is 9 a factor of j?
True
Suppose 0 = 3*b - o - 673, 4*b - 87*o - 902 = -88*o. Suppose -151 = 2*a + 101. Let c = b + a. Is c a multiple of 43?
False
Let h(o) = 5*o**2 - 77*o - 1780. Is 4 a factor of h(41)?
True
Let a be 2/(-6) - (-21431)/87. Suppose -46 + a = 2*y. Does 4 divide y?
True
Let u be 8/(-3)*21/14. Let i be ((-3)/u)/((-3)/84). Does 22 divide 16/(-15)*i*5?
False
Is 11 a factor of (6147/4)/((-64503)/1404 - -46)?
False
Let t(z) = 3870*z**2 + 54*z + 192. Is 35 a factor of t(-3)?
True
Let l(y) = -1. Let r(w) = -w + 11. Let s(o) = 6*l(o) + r(o). Let a be s(3). Is (a - (-126)/15)/((-1)/(-5)) a multiple of 13?
True
Let f(l) = 1821*l + 244. Let j be f(8). Is 28 a factor of (4/(-6))/(j/(-2961) - -5)?
False
Let y = 23715 - 1049. Is 28 a factor of y?
False
Suppose -4*y = 15 - 191. Suppose 0 = -y*v + 38*v + 48. Is v a multiple of 4?
True
Let x(n) = 102*n - 1688. Is 3 a factor of x(33)?
False
Is (-106020)/(-4650)*((-3480)/1)/(-2) a multiple of 36?
True
Let m(z) = -19 + 17*z - 11*z - 104. Is m(41) a multiple of 11?
False
Suppose -224 = 5*j - 834. Let v = 176 - j. Suppose -2*f = -2*t + 48, -3*t + t + v = 4*f. Is t a multiple of 9?
False
Let c be (32/(-12))/(8/(-12984)). Suppose c + 6172 = 15*h. Does 28 divide h?
True
Is 34 a factor of (0 - -4515) + (46 - 39)?
True
Suppose -2*w + 2*l = -8, w + 9*l + 20 = 4*l. Suppose 8*k - 31*k + 18653 = w. Does 27 divide k?
False
Let p(d) = 554*d**2 + 23*d + 75. Does 48 divide p(-3)?
True
Let p = 552 + -171. Let t = p - 86. Is 18 a factor of (-6)/(-18)*t - 4/(-6)?
False
Let i = 111 - 30. Suppose -195 = 12*f + i. Is 3 + -1 - (f - -1) a multiple of 6?
True
Let m be 1/(1 + 1)*0. Suppose m = 3*y + 3*y - 108. Suppose 2*c + 25 = l, 2*l + 0*l + 4*c - y = 0. Is 5 a factor of l?
False
Let h = 8649 - 4981. Is h a multiple of 14?
True
Suppose -3*a - 8 = a, 4*a = 2*n + 2. Let q(h) = -3*h - 11. Let y be q(n). Suppose 538 = y*u + 82. Is u a multiple of 26?
False
Suppose 4*g - 5*o + 7122 = 0, 4*o - 3681 = 4*g + 3439. Let j = -1210 - g. Is j a multiple of 55?
False
Let v(b) be the second derivative of 97*b**3/6 - 29*b**2/2 + 10*b. Let o be v(5). Suppose o = 5*i + q, -5 = i - 5*q - 117. Is i a multiple of 46?
True
Let j = -32 + 25. Let g = j - -9. Is 9 a factor of (3 + 15/20)/(g/48)?
True
Suppose 128459 = 13*t + 4751. Does 61 divide t?
True
Suppose -3*r - 12929 = -11*o + 6*o, -7743 = -3*o - 3*r. Is 38 a factor of o?
True
Let i(b) be the first derivative of -b**4/2 + 3*b**2/2 - 20*b + 15. Let x(c) = -5*c**3 + c**2 + 8*c - 60. Let l(g) = 8*i(g) - 3*x(g). Is 6 a factor of l(-5)?
False
Let w(m) = 2336*m - 108. Does 50 divide w(3)?
True
Suppose -3*n + 15 = -0*n - 2*x, -2*x - 25 = -5*n. Suppose n*c + 1244 = -641. Let l = -267 - c. Does 22 divide l?
True
Let c be ((-45)/(-4))/((-7)/(-588)). Suppose -5*s = -c - 1605. Does 15 divide s?
True
Does 16 divide 100/45 - 2 - 27372/(-27)?
False
Let j(d) = 53*d + 2*d**2 - 13 - 58*d + 55. Is 13 a factor of j(-9)?
False
Let j be 50/6 + -7 + (-197)/(-3). Suppose 71*y - j*y - 204 = 0. Is y a multiple of 4?
False
Let w(x) = -228*x**2 - 4*x + 2. Let b be w(-3). Is 12/(-18) + b/(-6) a multiple of 45?
False
Suppose -316*g = 603160 - 4309255 - 12593. Is 127 a factor of g?
False
Let k(g) be the second derivative of 19*g**3/3 + 7*g**2 - 48*g. Does 14 divide k(21)?
True
Does 34 divide 41963580/928 + (-3)/8 + 2?
False
Suppose 8 - 20 = 3*y. Let m(g) = 115*g + 10. Let l be m(y). Let q = -233 - l. Does 35 divide q?
False
Suppose -125*n + 77*n = -64*n + 32032. Is 91 a factor of n?
True
Let d(q) = -q + 16. Let t be d(12). Suppose -31 = t*n + 101. Let b = 67 + n. Does 17 divide b?
True
Let l = 2726 - 1660. Is 14 a factor of l?
False
Suppose 1450 = -0*y + y + r, 0 = 4*y - 4*r - 5808. Does 5 divide y?
False
Let f(j) = 5*j**2 - 19*j + 14. Let b(g) = g**2 - g + 1. Let q(t) = 4*b(t) - f(t). Let h(o) = 2*o**2 - 4*o - 5. Let n be h(4). Is 21 a factor of q(n)?
False
Let f be (0 + -36)/(28/(-21)). Is 22 a factor of 11868/f - (-8)/18?
True
Suppose 5*a = -18*l + 17*l + 12300, 0 = -5*a + 4*l + 12325. Let j = a + -925. Does 14 divide j?
False
Let w be ((-1494)/(-12))/(-1)*(-16)/(-4). Is 33 a factor of 2/2 - w - (-76)/(-19)?
True
Let u(p) = 63*p - 3. Suppose 5*n - 5*b + 15 = 0, 5*n = 4*b - b - 11. Let w be u(n). Let q = w + 91. Is 8 a factor of q?
False
Does 375 divide (-67010511)/(-1083) + (-16)/38*(-1)/4?
True
Let j(s) = -5*s**2 + 40*s + 9. Let d be j(8). Suppose -1557 = -2*r + 5*u, -5*r + 3810 = -5*u + d*u. Is r a multiple of 4?
False
Let g(u) = -16*u + 140 - 308 - 14. Is g(-14) a multiple of 2?
True
Let k = 40078 + -27014. Does 149 divide k?
False
Let n = -167 + 170. Suppose n*g = 1796 - 158. Is g a multiple of 39?
True
Suppose 4*j - 3*j - 5*x - 22393 = 0, 0 = -3*j - x + 67131. Is 8 a factor of j?
False
Let g(t) = 3*t**3 - 4*t**2 - 2*t + 3. Let p be g(3). Let y = 48 - p. Suppose -y*d + 93 = 15. Does 13 divide d?
True
Suppose 0 = 4*a + 2*c - 182, 11*a - 2*c = 6*a + 250. Is 26 a factor of 524/10 - a/120?
True
Suppose -17*g = -0*g - 29941 - 66279. Does 5 divide g?
True
Suppose -46*l + 16201 + 3947 = 0. Is 11 a factor of l?
False
Suppose 3 = -8*d - 5. Is (0 - d)/(6/12)*144 a multiple of 36?
True
Is 25 a factor of (-25988)/(-10) - (-228)/190?
True
Suppose 4*n - j = 3*n + 8, 2*n + 2*j = 0. Let y be n/(-4)*4 + 47. Suppose -3*a + y + 41 = -3*u, 5*a + 4*u - 122 = 0. Does 13 divide a?
True
Let f be ((-399)/28*-2)/((-1)/2). Let r = f - -60. Is 8 a factor of (-1)/(1*(-4)/(1572/r))?
False
Let q = -3660 + 6348. Let g = q - 1675. Does 18 divide g?
False
Let q be (310/1 - 0) + (0 - 4). Suppose 130 = 3*p - 5*y - q, y = 2*p - 293. Is p a multiple of 4?
False
Suppose -4*y + 3*d + 866 = 0, -2*d + 10 = 6. Let t = y - 173. Is t a multiple of 9?
True
Let n = 60 + -55. Let c be (n - 8) + (-1)/(2/(-12)). Suppose 5*b = -c*h + 429, 0 = 4*b + 3*h - 5*h - 330. Is 14 a factor of b?
True
Let t be -96*(4 + 19/(-4)). Suppose -72 = -m + 3*r - r, m - 3*r = t. Is 4 a factor of m?
True
Let k(t) = 3*t**2 - 3*t - 6. Let l be 20/6 - -3 - (-6)/(-18). Is k(l) a multiple of 28?
True
Is 18 a factor of 128/(-896) + 22262/14?
False
Let s(f) = -f**3 + 22*f**2 - 21*f + 5. Let m be s(21). Let d(n) be the second derivative of n**4/2 - 2*n**3/3 + 7*n**2 - 11*n. Does 14 divide d(m)?
False
Let 