q + w*u + 194, 6*u - 15 = 3*u. Is q a multiple of 11?
False
Let p(d) = -3*d + 1. Let t(m) = m**2 + 4*m - 3. Let v be t(-5). Suppose f = v*f + 1. Is 2 a factor of p(f)?
True
Let i(f) = 7*f - 10. Let l be i(-8). Let g be (-1)/3 - l/9. Suppose 2*j + 25 = g*j. Is j even?
False
Suppose 0 = 5*j + h - 5*h - 180, 2*h = -2*j + 90. Does 4 divide j?
True
Suppose 5*x - 3955 = -5*d, 2 = 2*x + 4. Is d a multiple of 24?
True
Suppose k - 4*k = -36. Let f = 15 - k. Suppose -7*i + f*i = -96. Does 9 divide i?
False
Suppose 5*l + 15 = 0, 0*l - 5*l - 14 = -i. Is 10 a factor of (-105)/(-4 + i)*3?
False
Is 1392 - -2*(10 + -6) a multiple of 14?
True
Let a(u) = 64*u**2 + 1. Let v be a(1). Suppose -2*x + 50 = d, -6*d + 3*x = -4*d - v. Is 5 a factor of d?
True
Let t = -389 - -711. Is t a multiple of 14?
True
Let p(d) be the second derivative of 9*d**4/4 + 11*d**3/6 + 2*d**2 - 7*d. Does 18 divide p(-2)?
True
Suppose 5855 = 41*x - 6199. Is x a multiple of 58?
False
Let z be (-3)/4 + 55/20. Suppose 2*l = 5*g + 260, 4*g + 106 = z*l - 154. Is l a multiple of 26?
True
Suppose -p - 13 = -3*a, 0 = -0*a + a - 4*p - 19. Suppose -4*d + 68 = x, a*d - 203 - 1 = -3*x. Is x a multiple of 17?
True
Suppose -4*w + 3*w - 30 = 0. Let g = w + 68. Let n = 70 - g. Is 16 a factor of n?
True
Let k(q) = 2 + 20 + 13 - 2*q - 3*q. Is k(-20) a multiple of 27?
True
Suppose 15 = -3*w, c - 3*w - 132 - 1248 = 0. Is c a multiple of 49?
False
Suppose 75*n = 43*n + 3072. Does 4 divide n?
True
Let u = -95 - -639. Does 68 divide u?
True
Suppose -2*t + 766 = -2*c, -2*t = -4*c - 418 - 358. Is t a multiple of 27?
True
Let d(w) = w**2 - 29*w + 104. Is d(28) a multiple of 17?
False
Let r be (4 + -5)/(2/(-6)). Is r + (78 - -5) + 0 + -1 a multiple of 17?
True
Let f = 2288 + -1599. Suppose 0 = -5*o + 2*m + 2*m + f, 0 = -2*o - 2*m + 290. Is o a multiple of 36?
False
Let q(y) = -2*y**3 - 8*y**2 - 5*y + 9. Is q(-5) a multiple of 21?
True
Suppose -8*t - 464 = -3808. Does 19 divide t?
True
Let r(x) = 14*x - 9. Suppose -2*a + 1 = -7. Let c be r(a). Suppose -4*p + c = 5*w, -4*p - 2*w = -w - 67. Does 6 divide p?
True
Is 37 a factor of 3*(-4155)/9*-1?
False
Let y be 5/(15/9) + 0. Let w(l) = l**2 + 3. Is 12 a factor of w(y)?
True
Let n(m) = m**3 + 14*m**2 + 10*m - 20. Is n(-13) a multiple of 16?
False
Suppose -4*b = b + 4*j - 15, 0 = 4*j. Let y(p) = 2*p**2 - p - 1. Let x be y(2). Suppose h + b*c - 15 = -c, -5 = x*c. Does 9 divide h?
False
Suppose 4*k + 2392 = x, 0 = -13*x + 12*x - 5*k + 2374. Is x a multiple of 6?
False
Let m(x) = -x. Let l be m(-7). Let d(u) = 2*u**2 - 7*u + 17. Does 11 divide d(l)?
True
Let w(l) be the second derivative of -l**7/840 - l**6/90 + l**4/6 + l**3 - 7*l. Let b(r) be the second derivative of w(r). Is 13 a factor of b(-6)?
False
Let w(r) = -3*r**3 - 20*r**2 - 6*r + 4. Is w(-8) even?
True
Suppose 2*s = 4*g - 2 + 36, -5*g - 11 = s. Let w(q) = 3*q**2 + 10*q + 9. Let d(o) = -2*o**2 - 9*o - 10. Let j(x) = 4*d(x) + 3*w(x). Is 3 a factor of j(s)?
False
Suppose -95*d + 35717 = -15868. Does 42 divide d?
False
Let g(m) = 6*m**2 + 0*m**3 + 7 - 6*m**3 - m**3 + 6*m**3 + 2*m. Is 8 a factor of g(3)?
True
Suppose -v + 2*c + 16 = -3*c, -3*v + 87 = -2*c. Does 4 divide v?
False
Let y(f) = -44*f + 5. Suppose a + 5*o + 32 = 0, a + o + 40 = -4*a. Let c(l) = 89*l - 11. Let w(v) = a*y(v) - 3*c(v). Is 5 a factor of w(1)?
False
Let y(m) = -5*m - 73. Let l be y(-12). Let t = -56 - -80. Let p = t + l. Is p a multiple of 11?
True
Suppose 0 = -q - 2*i - 2*i + 73, 2*q - 168 = 3*i. Does 5 divide q?
False
Let z be 15/10 - 6/8*2. Suppose -4*t - 64 = -4*x, 4*x - t - t - 68 = z. Is x a multiple of 18?
True
Suppose 3*z = 5*d - 28, -2*d = 3*d + 3*z - 22. Suppose o - 191 = d*h - 732, 565 = 5*h + 5*o. Suppose -56 = -5*f + h. Does 8 divide f?
False
Let y = -32 + 186. Is 3 a factor of y?
False
Suppose 6*r - 11*r = -505. Suppose -q + r = -52. Does 17 divide q?
True
Suppose 2604 = 133*h - 127*h. Is h a multiple of 23?
False
Let r(o) = -o + 1. Let t be r(1). Suppose c - 6*c = t. Does 5 divide 2 - c - (-2 - 12)?
False
Let y = 3662 + -1633. Is y a multiple of 14?
False
Let c(m) = -14*m - 2. Let k be c(-1). Let n(p) = p - 17. Let r be n(k). Let l(x) = -x**2 - 11*x. Does 10 divide l(r)?
True
Suppose u = -2*y + 10, -2*u + y + 17 = 3*u. Suppose 0 = -u*a + 5*a - 119. Is 25 a factor of a?
False
Is 8 a factor of (-21)/(-9)*8*216/12?
True
Suppose -255*b + 249*b + 1680 = 0. Does 7 divide b?
True
Let r(n) = 2*n**2 - 2*n - 8. Is 8 a factor of r(-4)?
True
Let k(n) = n**2 + 2*n + 3*n**2 - 3*n**2 - 2*n**2 + 2. Let v be k(-2). Let o = 12 - v. Is 14 a factor of o?
False
Suppose o = -3*k - 259, 4*k - 2*o = -k - 417. Let b = 125 + k. Is 9 a factor of b?
False
Let h(b) = -b**3 + 17*b**2 + 4. Let z be h(17). Suppose -2*p = -z*k + 25 - 193, 4*p = 3*k + 311. Does 10 divide p?
False
Let z = -46 + 44. Is (-4632)/(-36) - 2*z/12 a multiple of 8?
False
Does 37 divide ((-176)/(-10))/(-13 + 2742/210)?
False
Let k(b) be the first derivative of -b**6/360 - 13*b**5/120 - 5*b**4/12 + 4*b**3/3 + 6. Let t(d) be the third derivative of k(d). Is t(-8) a multiple of 10?
True
Suppose 49 - 37 = 3*p. Let t(r) = 16*r + 5. Is 23 a factor of t(p)?
True
Is 12 a factor of (45/(-10))/3*-688?
True
Let n be 9*(-2 + 1)/(-3). Suppose n*l - 4*z - z = 40, -80 = -5*l - 5*z. Suppose 2*w = -c + l, c = w - c - 10. Is 8 a factor of w?
True
Let w = 106 + -106. Let v(p) = p**2 - 3*p + 156. Is v(w) a multiple of 12?
True
Let r(l) = 25*l + 38. Is r(11) a multiple of 24?
False
Let w(p) = -3*p**3 + 7*p**2 + 9*p + 17. Is 6 a factor of w(-5)?
True
Let w be (-8)/(-16) + 159/2. Suppose z = -3*z + w. Let q = z - 9. Does 9 divide q?
False
Let u(b) = b**3 - 12*b**2 + 8. Let l be u(8). Let d be (3 - 7)/((-2)/(-9)). Is 14 a factor of l/d - (-2)/9?
True
Let w(p) = -24*p - 4. Let l be w(-2). Let t = l - 31. Is 5 a factor of t?
False
Let p be 4/((-14)/18 - -1). Let u be 100/36 + 4/p. Suppose u*g - 30 = 12. Does 7 divide g?
True
Suppose 0 = -3*g + 24 - 60. Let t(f) = -f - 12. Let n be t(g). Suppose -7*k + 3*k + 56 = n. Does 14 divide k?
True
Suppose 5*k - 2640 = -k. Is 11 a factor of k?
True
Suppose -2*l + 12 + 72 = 0. Suppose -4*j - 34 = -h + j, -j - l = -h. Is 22 a factor of h?
True
Suppose 9 = 5*n - 4*g, 5*n + 5*g = 7*n + 10. Suppose 1508 = n*c + 8*c. Is c a multiple of 8?
False
Let t(m) = -8*m - 62. Let o be -24 + (-2 - 3 - -4). Does 23 divide t(o)?
True
Let d be 24/9*(-9)/(-6) + -12. Is 29 a factor of (-3)/((-84)/d) - 4880/(-28)?
True
Suppose 2*c + w = 88, 0*c - 2*w + 44 = c. Let u be 10*4/40*4. Suppose c = u*t - 2*t. Is 11 a factor of t?
True
Does 75 divide 16 + 12 + -34 - (-3607 - -1)?
True
Let h = -26 + 29. Suppose g = -2*z + 10 + 15, -h*z + 2*g + 55 = 0. Is z a multiple of 6?
False
Suppose 18*t - 4830 = 4*t. Does 15 divide t?
True
Suppose 338 + 43 = 3*w. Does 12 divide w?
False
Suppose 5*h - 288 = -3*h. Does 13 divide 4/(-18) - 2/h*-238?
True
Let u(l) = 4*l**2 - 9*l - 36. Is u(-5) a multiple of 7?
False
Suppose -2*b + 8 = -o - 0*o, -5*b + 7 = 4*o. Does 3 divide 7/(-22*(-1)/10 + o)?
False
Let d be (-1)/(0 + 4/(-380)). Let u = d + -65. Does 6 divide u?
True
Let k be (84/18*1)/((-1)/(-6)). Suppose -5*l + 6 = -9. Suppose -9 = -l*t, 5*r = 3*t + t + k. Is r even?
True
Let n = 4297 - 2896. Does 28 divide n?
False
Suppose 27 = -2*r + 143. Suppose -60 - 10 = -4*m - 3*k, -3*m = 5*k - r. Is 2 a factor of m?
True
Suppose -3*m - 4 = 5, 5*o - 8 = m. Let s(i) = 60*i - 1. Is 10 a factor of s(o)?
False
Suppose -36*x - 5928 = -60*x. Does 6 divide x?
False
Let d(c) = c + 3. Let g be d(-8). Let q(o) = 2*o**2 - o + 1. Is 17 a factor of q(g)?
False
Let d be (-1)/(-4) - 10572/(-16). Let v be -1 + 0 + 2 + d. Is 12 a factor of v/14 - (-6)/(-21)?
False
Let o(k) be the second derivative of 2/3*k**3 + 0 + 4*k - 11/2*k**2. Is 20 a factor of o(8)?
False
Suppose -q = -3*i - 6*q + 26, 110 = 5*i - 5*q. Suppose -8*w - i = -9*w. Let t = 35 + w. Is 13 a factor of t?
True
Let b(z) = -2*z**2 + 48*z - 33. Let a = 49 - 28. Does 12 divide b(a)?
False
Let r(d) = 2*d**2 - 13*d + 16. Is r(32) a multiple of 12?
False
Let m(c) = 698*c + 28. Is 74 a factor of m(2)?
False
Suppose -m + 496 = -4*f, f + 992 = 2*m - 3*f. Is m a multiple of 31?
True
Suppose 0 = -22*j - 18*j + 9000. Does 5 divide j?
True
Let u(x) = -x**2 + 12*x - 8. Let r be u(11). Suppose -1