et p(y) = 24*y**2 + 50*y + 5. Let i(l) = -l**2 + 9. Let k be i(4). Is p(k) a multiple of 20?
False
Let g(c) = 2*c**2 + 8*c + 10. Let u be g(-2). Does 50 divide (0 + u)*-2 + -3 + 148?
False
Let f(w) = -12*w**3 - 49*w**2 - 16*w - 16. Let o(u) = 11*u**3 + 49*u**2 + 14*u + 16. Let j(l) = -6*f(l) - 7*o(l). Does 12 divide j(-11)?
True
Let v(z) = -9*z**2 - z + 4. Let a be v(3). Let l = 245 + a. Is 33 a factor of l?
True
Let i = -10960 + 26338. Is i a multiple of 11?
True
Let v(w) = 64*w - 3. Let h be v(2). Suppose -k = 3*t - 2*k - 179, 5*k - h = -2*t. Suppose -g - t = -158. Is 14 a factor of g?
True
Suppose a - 2431 = -4*f, 12155 = 5*a - 2*f + 6*f. Does 39 divide ((a/(-3))/(-11))/((-3)/(-27))?
True
Let s(m) = 5*m**2 + 5*m + 23. Suppose 0 = -5*y + 10, -3*y = 3*o - 0*y - 30. Suppose p = -5, 3*h + 5*p + o = -38. Is 31 a factor of s(h)?
False
Let q(z) be the third derivative of -z**4/2 - 16*z**2. Let c be q(-4). Let f = 103 + c. Is f a multiple of 25?
False
Let j = -16785 + 27801. Is 153 a factor of j?
True
Suppose -47 = -3*a - b, -4*b + 68 = 2*a + 2*a. Suppose 0 = a*i - 915 - 10410. Suppose 155 = -3*q + i. Is q a multiple of 40?
True
Let h = 7605 - -5356. Does 263 divide h?
False
Let w(j) = 9*j - 1. Let t(b) = -10*b + 1. Let v(z) = -6*t(z) - 5*w(z). Suppose 4*y - 17 = h, 3*h + 2*y - 2 - 17 = 0. Is v(h) a multiple of 22?
True
Suppose 3*s + 10 = -m + 3, 21 = m - 4*s. Suppose -2*v = m*r - 77, -v - 4*v + 105 = -5*r. Is v a multiple of 26?
True
Suppose 4*n - 28 = -4*s, 6 = 4*n + 3*s - 19. Let r(b) be the third derivative of 11*b**4/24 - 10*b**3/3 - 21*b**2. Does 8 divide r(n)?
True
Is (-10*(-1)/(-2))/(13/(-39507)) a multiple of 15?
True
Suppose 62*z = 58*z + 1780. Suppose -1300 + z = -5*d. Is 19 a factor of d?
True
Suppose 329*z - 4318553 = -75*z - 1012621. Does 10 divide z?
False
Suppose 4*p = 2*t + 4, 0 = p + t - 69 + 62. Let j = 311 + -170. Is (j/12 + 1)/(p/8) a multiple of 5?
False
Let o = -23367 - -41743. Does 68 divide o?
False
Let h = 12920 + -7340. Is h a multiple of 62?
True
Suppose -17359 + 633177 = 14*w. Is 15 a factor of w?
False
Let y(z) = 2*z + 21. Let p be y(-8). Suppose 0 = p*a + 7 - 22. Is a - 2 - (-25 - 0) a multiple of 13?
True
Let o(u) = u**2 - 11*u + 26. Let q be o(9). Is (3366/q)/((-93)/(-248)) a multiple of 66?
True
Suppose -33 = -6*l + 141. Suppose l*o - 12539 = -1403. Does 12 divide o?
True
Let t(y) = -70*y + 1202. Does 16 divide t(-29)?
True
Let d be 4/(4/24 - (-2)/6). Suppose 0 = -w - 2*o - 55, -4*o = -2*o - d. Let u = 85 + w. Is u a multiple of 13?
False
Is 24 a factor of 12/174 - 407154/(-87)?
True
Let a(j) be the third derivative of j**6/120 + 19*j**5/60 + 19*j**4/24 + 3*j**3 + 14*j**2. Let y be a(-18). Is y + 1 + 110 - (-252)/63 a multiple of 28?
False
Suppose -i - 3*f = -2, 10*i - 5*i + 5*f - 60 = 0. Suppose 2387 = i*d - 6*d. Is 7 a factor of d?
True
Let x = 1 - -43. Let t = -7497 + 7478. Let w = t + x. Is 6 a factor of w?
False
Suppose 2*k = -3*u + 7436, 0 = 5*k - 4*u + 1868 - 20527. Is 13 a factor of k?
False
Let p(j) = -j**2 + 46*j + 130. Let g be p(48). Suppose t - 92 = g. Is t a multiple of 6?
True
Suppose -18*l - 42 = -21*l. Does 12 divide l/14 - (3/(-3) + -88)?
False
Let h(u) = u**2 + 23*u + 96. Suppose -5*b = 2*d + 109, 4*b = -2*d - 41 - 47. Does 3 divide h(b)?
True
Suppose 3*w - 1 = -181. Let m = 60 + w. Suppose 7*u - 2*u + n - 165 = m, 5*n = -25. Is 17 a factor of u?
True
Is 81765/10*80/15 a multiple of 316?
True
Let m(i) = -1816*i - 940. Is m(-5) a multiple of 55?
True
Let r = 13831 + -4535. Suppose -3*m - r = -5*s, 4*s - 7436 = 12*m - 10*m. Does 42 divide s?
False
Let q(f) = -f**3 + 4*f**2 + f - 4. Let b be q(6). Suppose -3*l = -x + 5*x + 470, 3*x = l + 135. Let i = b - l. Does 16 divide i?
True
Let k be 4/((10/6)/((-20)/(-24))). Suppose 4*j - 7*j = 2*f - 637, 0 = -4*j + k*f + 854. Does 9 divide j?
False
Let s(y) = y**3 + 9*y**2 + 11*y + 5. Let w be s(-7). Let p = -7 + w. Let k(j) = -j + 40. Is k(p) a multiple of 7?
True
Let c(b) = 2*b**2 + 52*b + 857. Is c(-55) a multiple of 70?
False
Let j = -38 + 83. Let i = -80 + 80. Suppose 6*q - 537 - j = i. Does 11 divide q?
False
Let i(u) = 3*u**2 + 8*u - 11*u - 4 - 20*u. Is i(8) a multiple of 4?
True
Suppose 22*r + 12 = 25*r. Suppose -j = h - 177 - 109, r*h - 280 = -j. Is 18 a factor of j?
True
Let v(q) = 43*q**2 + 18*q - 40. Let t be v(2). Let s be (-8)/(-2*2/4). Suppose s*y - 10*y + t = 0. Is 12 a factor of y?
True
Suppose 0 = -84*w + 880967 - 291287. Is 26 a factor of w?
True
Suppose -25 = -2*b - i + 6*i, 5*b = 5*i + 40. Suppose 0 = -b*d + 2064 - 714. Is d a multiple of 27?
True
Let s(q) = -q**3 - 2*q**2 + 1. Let r be s(-1). Suppose r = -5*p + 76 + 349. Let d = -47 + p. Is 20 a factor of d?
False
Let c = -259 + 317. Suppose -2*m + 5*q + c = -111, -q = 5. Is m a multiple of 13?
False
Let s(m) = -6*m**3 + m**2 - 6*m - 27. Let u be s(-6). Suppose 31*j = -2*q + 36*j + 677, -4*q - 3*j + u = 0. Is q a multiple of 12?
True
Suppose 48*u = 42*u + 12. Suppose -3*h = u*w + 48 - 700, h + 1332 = 4*w. Is 13 a factor of w?
False
Does 3 divide (-412642)/(-76) - (-45)/(-18)?
True
Suppose -228 = 3*j - 3*o, -3*j + o - 256 = -30. Let p = j - -392. Suppose 2*k + 85 = p. Does 7 divide k?
False
Let g = -70 - -166. Let t = 44 + g. Suppose -36 = 2*d - t. Does 26 divide d?
True
Let w(h) = 1684*h**3 - 9*h**2 - 4*h + 12. Is 112 a factor of w(2)?
True
Let i = 9189 + 18113. Is 34 a factor of i?
True
Let d be ((-176)/(-32))/(1*(-1)/22). Let f = d - -585. Does 16 divide f?
True
Let b(h) = -3*h**3 + 23*h**2 + 58*h - 36. Let q(z) = 16*z**3 - 114*z**2 - 289*z + 180. Let s(x) = 11*b(x) + 2*q(x). Is 42 a factor of s(27)?
True
Suppose 0 = 3*z - 16*z + 559. Suppose 2289 = -z*y + 50*y. Is y a multiple of 16?
False
Suppose 15865*j = 15903*j - 1046444. Is j a multiple of 98?
True
Let k(b) = 1184*b**3 - 2*b**2 - 36*b + 38. Is 16 a factor of k(1)?
True
Let z(t) = 3*t + 7. Let m be z(-7). Let k(l) = -3*l - 36. Let o be k(m). Suppose -5*c = -3*c - o. Is c a multiple of 2?
False
Does 15 divide 44/44*(704 - -1)?
True
Let c(x) = -x**2 + 155*x - 11. Is 83 a factor of c(8)?
False
Let t(s) = -5*s**2 - 38*s. Let r(h) = 7*h**2 + 39*h. Let o(m) = 4*r(m) + 3*t(m). Does 17 divide o(5)?
False
Let a(l) = -l**2 + 52. Let z be a(-7). Suppose -4*q = -5*x - 0*q + 12, -24 = -5*x - 2*q. Suppose x*p - 76 = -2*r, 84 = p + z*p + 4*r. Does 4 divide p?
False
Let r(i) = -i - 1. Let g be r(2). Let n(u) = u**2 + 2*u - 6. Let x be n(g). Is 15 a factor of (-25)/((-1)/x*-1)?
True
Suppose t + 6*t = -28. Is 13 a factor of 259/2 + (3 - (-10)/t)?
True
Let z(c) = 15*c**2 - 171*c + 48. Does 36 divide z(29)?
True
Does 24 divide (-58817916)/(-21518) + 4/(-14) + (-1)/7?
False
Suppose 1090 = 4*g + 30. Suppose -3*n + q + 1505 = 0, -n - 3*q + 220 = -g. Does 32 divide n?
False
Let x = -65 - -55. Let h be (-18)/30 + 114/x. Is (-191)/(-2) - h/(-8) a multiple of 11?
False
Let v = 36 + -18. Let r be (12/36)/(2/v). Does 10 divide (-9)/(-6)*136/r?
False
Suppose 4*g + 3*f - 1163 = 221, 2*g + 2*f = 692. Is g even?
True
Let c(z) = 6*z**2 + 10*z - 4. Let g be c(-8). Suppose 13*p = 3*p + g. Is -1 + p/(-4)*(-114)/5 a multiple of 34?
True
Let w = 18 - 2. Let y be 3/(-1 + 28/w). Suppose 3*j - 51 = -2*g - 0*g, 3*j = y*g + 33. Does 5 divide j?
True
Suppose 3*s = -3*a + 5361, -4*a = -0*s - 3*s + 5354. Does 20 divide s?
False
Let a = 52977 + -37617. Is a a multiple of 120?
True
Is 224 a factor of (-5019014)/(-231) + (-2)/(-3)?
True
Let r(i) be the third derivative of i**5/20 + 11*i**4/24 - i**3 + 11*i**2. Let a be r(8). Suppose 5*d = a + 26. Does 12 divide d?
True
Let s = 4199 + -3192. Is s a multiple of 21?
False
Suppose -15*h - 5*p + 148725 = -10*h, p = 2*h - 59484. Does 98 divide h?
False
Let i = -22 + 31. Let q(n) = n - 4. Let l be q(i). Suppose 176 = l*t - 2*t - 2*v, 0 = -t - v + 57. Does 9 divide t?
False
Suppose 5*p - 4*p = 5*p - 35476. Is 11 a factor of p?
False
Suppose -23*f - 3234 = -65*f. Suppose 55*u = f*u - 10164. Does 24 divide u?
False
Let s(c) = 2*c**2 + 3*c + 2344. Let t be s(0). Suppose 1413*n = 1421*n - t. Does 6 divide n?
False
Let y(v) = -50 + 48*v**2 - 47 + 194 - 52 - 2*v - 47. Is 16 a factor of y(-2)?
False
Let v(n) be the second derivative of -n**5/60 - 2*n**4/3 - 5*n**3/2 + 4*n**2 + 11*n. Let k(b) be the first derivative of v(b). Does 11 divide 