3*n + 5. Let o be f(0). Suppose 0 = o*r + t*i - 2*i - 292, -3*r + 159 = -3*i. Does 28 divide r?
True
Let q(v) = -28*v + 32. Let w be q(-7). Is 11 a factor of -7 + (w - 5) + 4?
True
Let b be (-7)/(-2) - (-5 + (-91)/(-14)). Suppose -4*p + 66 = b*p. Is 28/((-2)/p + (-480)/(-825)) a multiple of 33?
False
Let j(t) = -t**3 + t. Let v(b) = 4*b**3 - 18*b**2 - 9*b + 24. Let l(n) = -3*j(n) - v(n). Is l(18) a multiple of 21?
True
Let y be 10/2 + (9/3 - 4). Is 267 - (5 - (-12)/y) a multiple of 6?
False
Let z = 36 - 34. Suppose z*o - 2 + 0 = 0, 2*o - 14 = -3*r. Suppose -256 = -r*k - 88. Is 14 a factor of k?
True
Let a(h) = h**3 - 3*h**2 - 19*h + 8. Let i be a(6). Suppose -6*y = -l - i*y + 391, -3*l - 4*y + 1109 = 0. Is l a multiple of 15?
True
Suppose 5*o - 13 = -v, 4*v - 4*o + 5 = -5*o. Let j(z) = -2*z**3 + 55*z**2 + 28*z - 33. Let h be j(28). Is h*(1 + 4)*v/2 a multiple of 33?
True
Let p(l) = 744*l - 1560. Is p(4) a multiple of 4?
True
Suppose 2*z - 2*i = -10 - 98, 5*i = -4*z - 234. Let u be 14/8 - 14/z. Let o = u - -20. Is o a multiple of 10?
False
Suppose -48356 + 182581 = 25*l. Is 13 a factor of l?
True
Suppose -j + 1 = -3*d + 4, 0 = 5*j - d + 1. Suppose j*w - 6 = -3*w. Is 3 a factor of (-3)/12*w + (-158)/(-4)?
True
Let h = -259 - -272. Let u(q) = 28*q + 65. Is u(h) a multiple of 47?
False
Suppose 54*x = 41*x + 185239 - 6931. Does 54 divide x?
True
Does 13 divide (577 - -8)*(-2490)/(-45)?
True
Suppose -15*h + 12150 = -10*h. Is h/12 + -1 + 3/(-2) a multiple of 20?
True
Let c(v) = -1520*v + 632. Is 64 a factor of c(-12)?
False
Let y = -3 + 3. Suppose 3*a + 3*k + 114 = y, -4*a + k + 2*k - 138 = 0. Let t = a + 96. Is t a multiple of 28?
False
Let v(p) = -5*p + 15. Let k be v(10). Let y = -42 - k. Let f(g) = -32*g + 21. Does 35 divide f(y)?
True
Suppose 3 = c - j, -4*c + j + 32 = 2*j. Suppose -c*p = -12 - 2. Suppose 2*l + 34 = 3*i + 4*l, 2*l = -p. Does 12 divide i?
True
Let z(s) = -9*s - 150. Let t be z(-17). Suppose 0 = 4*q + t*x - 570 + 230, 5*q - 5*x - 460 = 0. Does 8 divide q?
True
Suppose 9*f - 4*f - 31 = -a, -a - 23 = -4*f. Is 132/(-15)*f/(-12)*150 a multiple of 18?
False
Let k be (-3 - 667)*((-18)/15)/3. Let u be (22/(-6) + 3)*63. Is (k/(-6))/(14/u) a multiple of 25?
False
Let v(l) = 4*l**2 - 191*l + 142. Is v(-29) a multiple of 15?
True
Suppose 0 = 2*f - 2131 + 641. Let k = f + -479. Is 16 a factor of k?
False
Is 17 a factor of (1 + 706)/(1221/(-77) - -16)?
False
Let g be (-1)/(3/(6 - 0)). Let k(r) = -744*r + 8 + 6*r**2 - 5*r**2 + 748*r. Does 4 divide k(g)?
True
Suppose 43*i = 33*i - 30. Is (3/i)/((-14532)/1816 - -8) a multiple of 32?
False
Suppose -66 = k - 17. Let g = k + 96. Suppose 5 - g = -2*t. Is t a multiple of 8?
False
Let t be ((3/(-6))/(-1))/((-3)/6). Let i be (-1)/(-3)*(-4 - t). Is 23 a factor of (i + 213/6)*2?
True
Let o(m) = 8*m**2 + 24*m + 40. Is 49 a factor of o(17)?
False
Let v be (537/4)/3 - 8/(-32). Let z = 40 - v. Is 12 a factor of (z - -3) + -2 - -52?
True
Let r(s) = s**2 + 3*s - 13. Let z be r(4). Let t = -13 + z. Suppose -2*i = n + t*n - 8, 2*i - 40 = 5*n. Does 3 divide i?
False
Let h be (4/20)/((-3)/(-75)). Suppose 25 = t - 3*f, -14*t + h*f + 135 = -9*t. Is t a multiple of 7?
True
Suppose -20 = 4*o, 0*i - 5*i - o = 10. Is 46 a factor of ((-1392)/(-4) - 0) + i + -3?
False
Let i = -51 + 49. Let r be (78*(-5)/10)/(3/i). Is 21 a factor of (-1 - 1)*(-871)/r?
False
Suppose 4*a + 5*v = 960, 0 = 10*v - 6*v. Let z = a + -134. Does 22 divide z?
False
Suppose 0 = v + 5*b - 6944, 0 = 3*b - 0*b. Is v a multiple of 14?
True
Is -5 - 11/(77/(-12005)) a multiple of 38?
True
Suppose -2*v = -n - 413, -3*v + 0*v = -4*n - 627. Let s = v - 141. Let q = 112 - s. Is q a multiple of 16?
True
Let q be (-8)/4 + 4 + (-87)/3. Let l = q + 35. Is 1/(4/16) + l - -4 a multiple of 16?
True
Suppose 14*q + 4*q - 3690 = -c, 5*c - 17975 = 5*q. Is 75 a factor of c?
True
Let t(x) = x**2 + 28*x + 232. Suppose -83*z + 72 = -89*z. Does 5 divide t(z)?
True
Let y(r) = -17*r + 34. Let k be y(-9). Suppose 4*h + k - 1819 = 0. Suppose 0*l - 5*b - h = -4*l, 3*b + 109 = l. Is 10 a factor of l?
False
Is 109 a factor of -8 + (-378)/(-48) - ((-1294935)/24)/5?
True
Suppose 5*j + 3844 = 4*m, 3*m - 3222 = 4*j - 340. Is 28 a factor of m?
False
Suppose -3*h + 6*h = -24. Let d be 473/77 - (-1 - h/7). Suppose 0*j = d*j - 912. Does 28 divide j?
False
Suppose 6*g + 200 = 296. Suppose 5*q - 5*c - 90 = 0, q = 5*c + 2 + g. Is 4 a factor of q?
False
Let j = -6777 + 11125. Suppose -20*n + j = -1132. Is n a multiple of 19?
False
Suppose -1919*b = -1907*b - 108. Let x = 218 - 113. Suppose -b + x = t. Does 12 divide t?
True
Let t = 16 - 13. Suppose 3*p - 8 = -c, -t*c - p = -8 - 0. Suppose 5*y = -c*z + 216, -4 = z - 2. Is y a multiple of 19?
False
Suppose v = c - 11, -3*v - 25 = 5*c - 64. Is 13 a factor of 1319/(c*(-6)/(-54))?
False
Let w(p) = 9*p**2 + 12*p**2 - 19*p**2 - 8 - 19*p. Let u be w(13). Suppose 18 - u = -5*l. Is l a multiple of 4?
False
Suppose 2*m = -0*m + 8, -3*w + 2*m = -17074. Is 15 a factor of w?
False
Let u = 16 - 9. Let q(t) = 10*t**2 - 6*t - 27. Is q(u) a multiple of 15?
False
Let p(f) = 13*f**3 - 2*f**2 - 2*f - 7. Let n be p(-3). Let q = n - -223. Let z = q - -209. Is z a multiple of 7?
False
Suppose -11*z + 5*z - 18 = 0. Let m be -1 + (-3)/z + 13. Let q(o) = -o + 21. Does 3 divide q(m)?
False
Suppose 5*l = -4 + 14. Suppose -l*d = 3*h + 6, d - 3 = 4*h - 6. Is 2 a factor of (1 - (-6 - 1)) + h/6?
True
Suppose 16*r - 195216 = -23*r + 32*r. Is r a multiple of 24?
True
Suppose -62*q + 69*q - 26649 = 0. Is 81 a factor of q?
True
Let v be 2/10 + 2112/(-10). Let r = v - -248. Is 37 a factor of r?
True
Let c be (5 - 65/10) + (-26)/(-4). Suppose -7 = -c*n + 8, 0 = -2*q + 5*n + 135. Let h = q - 24. Is 17 a factor of h?
True
Let p = 65 + -46. Suppose 8*f + 2904 = p*f. Does 8 divide f?
True
Let y(f) = 30*f**2 - 5*f - 7. Let u be -1*(-2)/8 - (-18)/(-8). Let q be y(u). Let z = q + -95. Is z a multiple of 2?
True
Suppose 10 = 6*c - 14. Suppose 3*o = -5*p - 180, -c*o - o + 3*p = 334. Does 9 divide (133/(-35) - -2)*o*1?
True
Suppose 1314*p - 1392*p + 1400490 = 0. Is p a multiple of 19?
True
Suppose v + 4*j - 1496 = 0, -158*v + 153*v - 5*j + 7480 = 0. Is 42 a factor of v?
False
Suppose -84 - 66 = -3*u. Let q = u - 47. Let z(m) = 34*m - 21. Is 29 a factor of z(q)?
False
Suppose 12*n - 21 - 3 = 0. Does 9 divide 183 + 1*n*(-72)/48?
True
Let b(g) = -3*g**2 + 13*g + 1. Let f be b(4). Suppose f*p + 2*k = -0*k + 2460, 5*k = -25. Is p a multiple of 30?
False
Let w(u) = 3 + 16*u + 31*u**2 - 75*u**2 + 35*u**2 + 2*u**3. Does 60 divide w(7)?
True
Let a = -14981 + 19553. Is a a multiple of 4?
True
Let i(s) = -s**3 + 28*s**2 - s + 32. Let t be i(28). Suppose 0 = 2*b - 5*g - 39, 2*g + 43 = t*b - g. Let q(o) = 6*o - 2. Is q(b) a multiple of 7?
False
Suppose 20*p = -16*p + 47*p - 166936. Is p a multiple of 28?
True
Let t(h) = -4 + 2*h**2 + 0*h - 2*h + 8*h. Let m be t(-4). Suppose -163 = -m*s - 51. Is 6 a factor of s?
False
Let h = -904 + 355. Does 37 divide ((10/(-15))/1)/(2/h)?
False
Let r(w) be the third derivative of 2*w**5/15 - w**4/3 - 8*w**3/3 + 77*w**2. Is r(-3) a multiple of 40?
True
Let f(m) = m**2 + 47*m + 247. Let r be f(-41). Suppose 0 = -5*a + h + 1864, -3*h = r + 11. Is 7 a factor of a?
False
Let w = 18936 - 9528. Is 48 a factor of w?
True
Suppose -9*c - 91524 = -4*x - 5*c, -2*x - c + 45777 = 0. Is x a multiple of 31?
False
Let o = -1496 + 782. Let f be 2 - (-2)/(2/(-9)). Does 34 divide (o/4)/f*4?
True
Let p = -7742 - -22854. Does 4 divide p?
True
Suppose -2*r + 4 = -0*r + 2*p, -4*r - 17 = -p. Is (5512/16 - -5)*(-2)/r a multiple of 35?
False
Let f(v) be the first derivative of 101*v**4/4 - v**3/3 + 3*v**2/2 - 14*v - 55. Does 29 divide f(2)?
False
Let n(z) = 4*z**3 + z**2 + z - 1. Let s(o) = -o**3 - 15*o**2 - o - 14. Let r be s(-15). Let c be n(r). Suppose -2*w = -c*w + 33. Is w a multiple of 11?
True
Let l = -1856 + 4586. Is 35 a factor of l?
True
Suppose -3*g - 4*s = -1773, 4*g - 3*s + s = 2342. Suppose 26 = -3*d + g. Does 17 divide d?
True
Let w(i) = -28*i - 25. Let t(o) = -28*o - 24. Let n(j) = -3*t(j) + 4*w(j). Is n(-7) a multiple of 21?
True
Suppose 35*l - 17071 = 26784. Does 32 divide l?
False
Let a(s) = s**3 + 6*s**2 - 8*s - 5. Let b be a(-7). Let r(l) = 2*l**2 + l - 7. Let g be r(-5). 