. Does 16 divide q?
False
Let z(k) = 3*k**2 + 3*k. Let b be z(-1). Suppose b = 5*x - 11*x - 30. Is 18 a factor of 2 - 16/10 - 268/x?
True
Suppose -2*u + 24 = 6*u. Suppose -5*o = 15, 6*k - u*k = o + 219. Let q = 22 + k. Is 10 a factor of q?
False
Suppose k = -3*v - 48, -4*v = 5*k + 81 - 28. Let u be (24 + 3)*v/(-3). Suppose 2*p + u = 4*b + p, 4*b = 5*p + 141. Does 7 divide b?
False
Let w = 183 + -168. Suppose w*o - 4078 - 2522 = 0. Is o a multiple of 8?
True
Let m(p) = 14*p - 2 - 12*p - 4*p. Let b be m(-1). Suppose b*j + 5*j - 335 = 0. Is j a multiple of 11?
False
Let y = -3123 + 4908. Is 82 a factor of y?
False
Let f(u) be the third derivative of u**5/10 - 25*u**4/24 - 10*u**3/3 - 201*u**2. Does 41 divide f(8)?
True
Let c = -7575 + 14791. Is 41 a factor of c?
True
Let t = 571 + -1565. Let d = -373 - t. Is 32 a factor of d?
False
Suppose 4*l + 0*l = 3*m - 174, 4*m + 5*l - 201 = 0. Let k = m + -55. Is 17 a factor of ((-4)/((-16)/71))/(k/(-4))?
False
Let q(i) = -5*i**3 + 3*i + 5. Let h be q(-3). Suppose h = 4*s + 5*y, y - 3*y = -3*s + 127. Suppose -2*c = 5 - s. Is 3 a factor of c?
False
Let a(o) = -3*o + 4*o + 3 + 0*o**3 + o**3 - o**2 - 4*o. Let s be a(0). Suppose -l - f + 106 = 0, 2*l + 3*l + s*f - 534 = 0. Is 12 a factor of l?
True
Does 5 divide 0 + 707 + (-3)/7 + 2070/(-315)?
True
Let n(u) = u**3 + 40*u**2 + 11*u - 158. Is n(-36) a multiple of 5?
True
Let h(r) = -r**2 + 3*r + 433. Let y = 240 + -240. Does 47 divide h(y)?
False
Let q(j) = 6*j + 14. Let n be q(7). Let b = n - 40. Let f = b - -5. Does 3 divide f?
True
Let g(u) = 15*u**2 + 45*u - u**3 - 1 + 2 + 52*u - 122*u. Is g(11) a multiple of 14?
True
Suppose -38941 = 18*k - 304333. Does 76 divide k?
True
Let x = 12979 - 6715. Is 27 a factor of x?
True
Does 85 divide (-51373)/(-5) + 11 - (-1)/((-5)/3)?
True
Does 3 divide ((-12)/(-48))/1 - (-41865)/12?
True
Let j(s) = 161*s**2 + 32*s - 75. Is j(3) a multiple of 30?
True
Let s(z) = -2*z**2 - 1. Let k(y) = 3*y**2 - 3*y - 87. Let l(p) = -k(p) - 2*s(p). Is 21 a factor of l(-12)?
False
Does 12 divide (-108)/(-2)*(7032/15)/((-54)/(-45))?
True
Suppose -128*j - q = -124*j - 40030, -j = 5*q - 10017. Does 19 divide j?
False
Let x = -781 + 4801. Suppose 0 = 3*h - 3*y - x, -5*h + 2668 = -3*h - 5*y. Suppose -3*g = -4*c + 2*g + h, -3*c + 5*g = -1008. Is c a multiple of 21?
True
Does 14 divide 32/(-6)*(9 + 218820/(-112))?
False
Let z be (-6)/2*((-9)/(-27) + -8). Suppose z*r - 672 + 143 = 0. Is r a multiple of 2?
False
Suppose 5*j + 6*s - 160357 = 0, 0 = 4*j + 3*s - 84360 - 43922. Is 20 a factor of j?
False
Suppose -4*l + 4740 = 3*u, 2*l + 4*u = 7*l - 5956. Suppose -l = -269*m + 263*m. Does 8 divide m?
False
Suppose 0 = -4*n + 47 + 17. Let f be n/5 + 3/(-15). Is 11 a factor of 65/f - (-2)/6?
True
Let c be 0 - -2 - 2/(-2). Let l(d) be the second derivative of 7*d**3/6 + d**2/2 - 3*d - 287. Is 6 a factor of l(c)?
False
Let i be ((-8)/5)/(3/45). Let p be 53/(-2)*(22 + i). Let x = p + -39. Does 14 divide x?
True
Let z = 385 - 331. Does 16 divide (701/4)/1 - z/(-72)?
True
Let l(g) = 158*g**2 + 31*g - 177. Is l(4) a multiple of 55?
True
Suppose 2*s = 6, -f + 0*f + 2629 = 3*s. Let z = -1841 + f. Is 22 a factor of z?
False
Suppose -77 - 71 = -4*q + 5*n, -4*q = 4*n - 112. Suppose -q*f = -29*f + 156. Let j = f - -116. Is j a multiple of 17?
False
Let p(l) be the first derivative of -59*l**2/2 - 78*l - 97. Is p(-8) a multiple of 29?
False
Suppose 4*z - 4*w - 3429 = 28819, 0 = -3*z + w + 24204. Does 24 divide z?
False
Let n be 5977/7 - 53/(-371). Suppose -n*g + 1071 = -851*g. Is g a multiple of 22?
False
Suppose 91378 = -64158*m + 64172*m. Is 4 a factor of m?
False
Suppose 446*n - 395*n - 503217 = 0. Is 143 a factor of n?
True
Let x(r) = 34*r - 56. Let h be x(5). Let w(o) = 6*o. Let i be w(7). Suppose -h = -4*y - i. Does 5 divide y?
False
Let t(s) = -920*s - 400. Is 60 a factor of t(-8)?
True
Let i be 2*9/(-12)*-116. Suppose 138 = z - 106. Let w = z - i. Is 11 a factor of w?
False
Suppose -37*b + 72 + 150 = 0. Is 632/16 - (b/(-2))/6 a multiple of 40?
True
Let m be (7950/(-4))/5*108/(-30). Suppose 4*b - 7*b + m = 4*s, 2*s - 4*b = 732. Does 10 divide s?
True
Let v = 121443 - 44301. Does 11 divide v?
False
Let o = 3 + 4. Let s be (-1)/(-5 + -3 + 5)*225. Suppose -o*a + 2*a = -s. Is 5 a factor of a?
True
Let g be ((-25)/75)/(2/(-42)). Suppose -g*z + 211 = -503. Is 17 a factor of z?
True
Does 56 divide (-30)/(-15)*(-13862)/(-4)?
False
Let s = -169 - -261. Let g = s - 57. Is 11 a factor of g?
False
Suppose -2*b = -6*b - 1244. Let i = -57 - b. Is i a multiple of 22?
False
Suppose 72*b - 705512 = 292408. Is 21 a factor of b?
True
Let i(a) = 153*a + 9. Let t be i(23). Suppose -3*z + t = 11*z. Does 12 divide z?
True
Let b(d) = -9*d**3 - 6*d**2 + 2*d + 17. Let t(j) = -11*j**3 - 7*j**2 + 3*j + 17. Let z(m) = 5*b(m) - 4*t(m). Does 7 divide z(0)?
False
Let g be 22/(-165) + (-1)/((-15)/(-32398)). Is (-1)/((-2)/(-2)*5/g) a multiple of 12?
True
Let b = 20 + -8. Let p(l) = 26*l - 57. Is 15 a factor of p(b)?
True
Suppose 18*g + 3*p = 17*g + 4429, 4*g = -3*p + 17698. Does 16 divide g?
False
Let y(r) = 4*r - 24. Let s be y(-15). Is (-90)/(-10) + -12 - s/2 a multiple of 13?
True
Let s(a) = -5*a**3 + 2*a**2 - 24*a - 81. Is 31 a factor of s(-9)?
False
Is 16 a factor of (252/(-14) - 145)*(-33 + (-3 - -1))?
False
Let z(b) = -b**2 - 5*b + 38. Let h be z(-9). Suppose -h*s = 4*f - 592 - 194, f = -1. Is 25 a factor of s?
False
Suppose 0 = -6*l + 41 - 35. Suppose -2*d - 4*b + 27 = -697, -b = -l. Suppose -61*t = -57*t - d. Is 18 a factor of t?
True
Let a = 594 - 419. Suppose z - 2*j + 30 = 2*z, -4*z + 3*j = -a. Is 4 a factor of z?
True
Suppose 0 = -2*l - 3*r - 835 + 13060, -5*l = -2*r - 30553. Is 97 a factor of l?
True
Suppose -28*w + 26*w - 4705 = -5*a, w = 5. Does 8 divide a?
False
Let v = 160 - 18. Is 5 a factor of (-3)/(-5)*v + (-8)/40?
True
Suppose -4*c + 10*c + 120 = 0. Let x be -2 + (-64)/c - (-4)/(-20). Is (x + 2)/((-1)/(-6)) - 3 a multiple of 3?
True
Let g(o) = 3*o**2 - 11*o - 816 + 341 + 409. Is 38 a factor of g(-17)?
True
Let c(b) = 5*b - 270. Let z be c(60). Suppose 4*a - 56 - 160 = 0. Let n = z + a. Does 12 divide n?
True
Is ((-130)/4)/(1/(-114)) a multiple of 15?
True
Suppose 5*m - 25 = -h + 6*h, -2*m + 4*h = -2. Let l(o) = 3*o**2 - 13*o + 10. Let a be l(m). Suppose 2*b - a - 8 = 0. Is b a multiple of 36?
True
Let i = -256 + 268. Is 94 a factor of (-3 - (-243)/i)*912/18?
False
Let d(v) = -286*v + 3558. Does 7 divide d(12)?
True
Let v(c) = 88*c**2 - 13*c - 427. Does 33 divide v(-16)?
False
Let n = -2503 + 15292. Is n a multiple of 69?
False
Let f be 0 - -2 - (-4 + 2). Let r = 735 + -631. Suppose w - r = 3*c - f, w - 5*c - 92 = 0. Is w a multiple of 14?
True
Suppose 0 = 3*o - 5*h - 1707, 0 = -2*o - h + 920 + 205. Suppose 3*b - o = -r + 3*r, -5*r = 15. Is b a multiple of 19?
False
Let g be 4*37*(-5)/((-60)/6). Let h = 87 - g. Does 2 divide h?
False
Let k(u) = -u**3 - 2*u**2 + 36*u. Is 63 a factor of k(-21)?
True
Suppose 129*l = 18*l - 667006 + 2287606. Is l a multiple of 25?
True
Suppose -1150*g + 1151*g - 3*t = 3379, g - t - 3375 = 0. Is g a multiple of 115?
False
Suppose 18*b + 15*b = 26*b + 66906. Is b a multiple of 81?
True
Let v(t) = -2*t**2 - 225*t + 370. Is v(-110) a multiple of 92?
True
Let p(h) = -h. Let c be p(0). Let n = 187 - 100. Suppose v = -4*m + 44, n = 3*v - c*v + 3*m. Does 4 divide v?
True
Let k(s) be the third derivative of -s**6/120 + s**5/10 + s**4/8 - 5*s**3/3 + 42*s**2. Let g be k(6). Is (1/(-1))/(g/(-920)) a multiple of 18?
False
Suppose g + 6*g - 5544 = 0. Suppose -9*k + g = -k. Suppose 105 = 12*c - k. Is 13 a factor of c?
False
Let k(i) = 2*i**2 + 11*i + 35. Let w(d) = -d**2 - 1. Let m(v) = k(v) + 3*w(v). Let q be m(13). Suppose 12*f = q*f + 174. Is f even?
False
Suppose 0 = 3*x + q - 587, 3*q = x + 5*q - 189. Suppose 4*l = b - 818 + x, 2*l = 4*b - 2554. Is 21 a factor of b?
False
Let k = 50 + -29. Suppose -13*y + 14*y = -k. Let g = 87 - y. Does 9 divide g?
True
Let f(t) = -t**3 + t**2 - 6*t**2 + 18*t - 16 - 4*t**2 - t**2 - 4*t**2. Does 2 divide f(-16)?
True
Suppose 248*m - 2899 = 235*m. Is 6 a factor of m?
False
Let m(p) = p**2 - 3*p - 16. Let v be m(6). Let u be (v/(-4))/(6/(-24)). Suppose -2*y = -5*s - 33, u*y - y = -s + 13. Is 2 a factor of y?
True
Let y be 