 7. Let y be ((-18)/(-24))/((-2)/b). Is (0 - y) + 2 + 26 a multiple of 10?
False
Suppose 2*q - 3*o = -0*q - 2, -4*o = -4*q. Suppose -4*u - 5*i = -q*u - 403, 0 = 4*u + 5*i - 801. Does 19 divide u?
False
Let f(a) = -a**3 - 29*a**2 - 46*a - 136. Is 8 a factor of f(-28)?
True
Let t(c) = -c + 15. Let g(b) = 3*b. Let h be g(-2). Let x be 6/(h/2) - -2. Is t(x) a multiple of 15?
True
Let f = 48 + -40. Is 4 a factor of f/36 - 68/(-18)?
True
Does 4 divide (-48)/(-336) + 1342/14?
True
Let x(i) = -6 + i**3 - 2*i**3 + 501*i**2 - i - 504*i**2. Is x(-4) a multiple of 2?
True
Let a(c) be the second derivative of c**7/1260 + c**6/60 + c**5/120 - 5*c**4/12 - 11*c. Let b(o) be the third derivative of a(o). Does 12 divide b(-8)?
False
Suppose 54*b - 55*b + 264 = 0. Is 44 a factor of b?
True
Suppose 0 = 4*b - 23 + 11. Suppose -73 = -b*f + 23. Is 7 a factor of f?
False
Suppose 2*o + o + 3*m - 741 = 0, 0 = 4*m - 4. Does 8 divide o?
False
Let f = 160 + -146. Does 7 divide f?
True
Suppose -7*k - 9384 = -15*k. Does 49 divide k?
False
Suppose 0 = -f + m + 23, -2*m = 3*f - 3*m - 75. Let p = f + 44. Does 14 divide p?
True
Suppose 5 = -5*y - 55. Does 6 divide (3 + -1)*(558/y)/(-3)?
False
Let o(g) = -g**3 + 8*g**2 - 5*g - 10. Let h be o(7). Let r be (9/(-6) + 2)*h. Suppose r*q - 4 - 124 = 0. Is q a multiple of 32?
True
Let h(m) = -m**2 + 20*m + 6. Let f be h(12). Suppose 2*i = -i + f. Is 9 a factor of i?
False
Let h = 2910 + -367. Is 25 a factor of h?
False
Let g(d) = -d**2 + 2*d**2 + 7*d - 3*d + 3. Let b be g(-3). Suppose b - 28 = -2*t. Is t a multiple of 14?
True
Let r(s) = 0*s + 1 + s - 20 + 3*s. Let h be r(6). Is (-826)/(-10) - (-2)/h a multiple of 16?
False
Suppose -304 = g - 5*g + 4*w, 5*g - 4*w = 375. Let v = 139 + g. Is 14 a factor of v?
True
Suppose 0 = -65*o + 68*o - 237. Suppose k = 2*a - o, 3*a + a = 3*k + 157. Does 10 divide a?
True
Let d(k) = 222*k - 74. Is 8 a factor of d(3)?
True
Let b(s) = 5*s - 101. Let j be b(0). Let c = -38 - j. Is c a multiple of 5?
False
Let r(z) = 3*z**2 + 30*z - 170. Does 8 divide r(10)?
False
Let n = -158 - -275. Is 9 a factor of n?
True
Suppose 44 - 200 = -2*j. Is 3 a factor of j?
True
Is 42 - (29 - -6)/(-5) a multiple of 48?
False
Suppose 2*h + 2 = 0, 0 = -u - 4*h - h - 1. Suppose 0 = -k - u*k + 2*y + 1409, 0 = -y - 2. Is 12 a factor of k?
False
Suppose 0*s - 5*h = -s + 21, 14 = 2*s - 3*h. Suppose 4*v + s = -15. Is 4 a factor of (-8 - -6)*v/1?
True
Is 55 a factor of (2942 + 6 - -3) + 0?
False
Suppose 0 = 65*c - 24013 + 2043. Is 6 a factor of c?
False
Suppose -2*a + 3*a = c - 30, -4*c + 8 = 0. Let p = a + 50. Does 11 divide p?
True
Suppose -n = -3*n - n. Suppose n = -9*f + 138 + 15. Is f a multiple of 7?
False
Let i = -85 + 86. Is (i - 15/9)/(11/(-528)) a multiple of 32?
True
Suppose -16*g + 10860 = -12244. Is g a multiple of 38?
True
Let s(f) be the first derivative of 1/3*f**3 + 3 - 13*f + 4*f**2. Is 13 a factor of s(-13)?
True
Suppose -4 = 8*f - 7*f, 3*f = -3*x + 807. Does 13 divide x?
True
Suppose -40*z = -26*z - 24570. Is z a multiple of 25?
False
Let v be 1*(6 + 1/(-1)). Let p be (16/(-40))/((-1)/v). Suppose 12 = p*i - 0*i. Is i a multiple of 3?
True
Let j = 23 - 18. Suppose 5*w - 3*a = a + 145, w = -j*a + 58. Does 33 divide w?
True
Does 16 divide 67 + -65 - (-2*139 + 1)?
False
Let y(z) be the second derivative of 0 - 2*z**3 - 1/12*z**4 + 7*z + 5/2*z**2. Is 20 a factor of y(-7)?
True
Suppose 3*y = 26 - 8. Suppose -2*x - y*x + 1176 = 0. Does 29 divide x?
False
Let l be (-35)/(-2)*32/(-20). Let y(q) = q**2 - 8*q + 69. Let b be y(12). Let o = l + b. Is o a multiple of 13?
False
Suppose -4*j + 4*t = -24, 3*j + 4 = j - 2*t. Suppose j*b + 38 - 162 = 0. Does 6 divide b?
False
Let y(o) = -o + 9. Let g be y(12). Let b(l) = -19*l + 8 - 1 + 6*l. Is b(g) a multiple of 23?
True
Let s(l) = -5*l**3 - 2*l**2 + 11*l + 26. Is s(-5) a multiple of 14?
True
Suppose 0 = r + 3*r - 16. Suppose -r*g - g = -40. Is 1/(-4) + 434/g a multiple of 15?
False
Suppose 6*h - h = -3*v + 3, h = 3. Let x = 67 - v. Is x a multiple of 9?
False
Suppose -3*s - 5*a = -424, -4*a = -2*s + 115 + 197. Let w = 228 - s. Suppose -2*n - w = -3*n. Is 30 a factor of n?
False
Let s(y) = y**3 - y**2 + 1. Let q be s(1). Suppose c - q = 20. Does 6 divide c?
False
Let h(u) = u**3 - 3*u + 3. Suppose -v = 5*t - 29, v - 10 + 1 = -t. Suppose -2*j - x - x = -16, -t*x + 28 = 2*j. Is h(j) a multiple of 19?
False
Let k(x) = -4*x**2 + 23*x - 10. Let u(p) = 5*p**2 - 24*p + 9. Let r(v) = -3*k(v) - 2*u(v). Is 3 a factor of r(11)?
False
Let m = -3 - -168. Is m a multiple of 13?
False
Is 59 a factor of -192*((-88)/12 - -6)?
False
Let t be (-118)/(-5) - (-24)/60. Suppose 6*x = 2*x + t. Suppose 2*s - 16 = 4*a, -4*s + x*s - 2*a = 22. Is s a multiple of 7?
True
Let o(j) = 18*j**3 - 3*j**2 - 1. Suppose 2*r + r = -x - 7, -2*r = 6. Is o(x) a multiple of 14?
False
Let v(n) = 2*n + 11. Let r be v(14). Suppose -3*h = 3*d - 129, -h + 0*d = -3*d - r. Suppose -5*o + h = -3. Does 3 divide o?
True
Suppose 3704 - 954 = 10*l. Does 9 divide l?
False
Let f be ((-6)/9)/(2*1/(-12)). Suppose -f*o = -7*o + 108. Does 18 divide o?
True
Let p(h) = -18*h + 69. Does 21 divide p(-43)?
False
Let f(u) = -2*u**3 + 8*u**2 + u + 4. Let h be f(6). Let r = h - -69. Let b = r + 110. Is b a multiple of 19?
False
Let d be 135/(-30)*(-36)/2. Let h = d + 50. Does 19 divide h?
False
Let m(i) = -i**3 - 9*i**2 + 8*i - 15. Let k be m(-10). Is 16 - (-6 + k/5) a multiple of 2?
False
Let n(z) = z**2 - 1. Let r(g) = -13*g**2 + 3 + 4*g - 3*g - 4*g + 2*g. Let i(u) = -4*n(u) - r(u). Is i(-1) a multiple of 6?
False
Let q(m) = 2*m + 7. Suppose 10 = 7*p - 4. Let j be (-38)/(-5) - p/(-5). Does 12 divide q(j)?
False
Let w be 1 - 170/4*-4. Suppose 0 = 5*j + 6 - w. Is 4 a factor of (j - 1 - 3) + -1?
True
Let m be (4 - 0)*(-35 - -79). Let x = m - -23. Is x a multiple of 29?
False
Let c = -1147 + 1246. Does 11 divide c?
True
Let v(o) = 29*o + 35. Let w be v(-8). Let k = w - -335. Is k a multiple of 23?
True
Let y(d) = -d**2 - 8*d - 4. Suppose 0 = o + o + 12. Is 4 a factor of y(o)?
True
Let r(q) = 4*q + 6*q**3 + 12*q**2 - 15*q**3 + 10*q**3 - 8. Does 5 divide r(-11)?
False
Let u(x) = -x**3 + x**2 + 2*x + 1. Let b be u(-1). Let t(h) = 32*h + 2. Let y(g) = 66*g + 4. Let r(z) = 5*t(z) - 2*y(z). Does 7 divide r(b)?
False
Suppose 3*s + 11*v - 10*v = 718, 4*v = -4*s + 952. Does 10 divide s?
True
Let q(x) = x**3 - 6*x**2 + 8*x - 12. Let i be q(5). Suppose -4*c + 6*c - 118 = -i*d, -2*c + 126 = d. Is c a multiple of 16?
False
Does 10 divide 976/28 - ((-102)/(-21) - 5)?
False
Suppose 8*u + 4*u = 10548. Is 24 a factor of (-1)/(((-1)/3)/(u/9))?
False
Is 19 a factor of (-12370)/(-7) + 3/(-21)?
True
Let w(m) = 411*m - 258. Is 33 a factor of w(4)?
True
Let f = 8277 - 4567. Is f a multiple of 14?
True
Suppose -4*q + 110 = -786. Let z(v) = -8*v**2 + 1. Let g be z(4). Let o = q + g. Is o a multiple of 14?
False
Let x = -92 - -94. Suppose -x*p = -3*y - 311, -4*p - 306 = -6*p + 4*y. Is p a multiple of 17?
False
Suppose 2*m = -3*m. Suppose m*o = o - 4, -5*o = -2*u - 16. Suppose -u*c - 26 = -98. Is 9 a factor of c?
True
Let m(i) be the third derivative of -5*i**4/12 - i**3/3 - 3*i**2. Let s be m(-5). Is (s/18)/((-4)/(-60)) a multiple of 10?
True
Let u = 32 - 43. Let c = 31 + u. Is 20 a factor of c?
True
Suppose -j - 3*r = 2*j - 1296, -2*r - 4 = 0. Is j a multiple of 14?
True
Let x = -17 + 35. Let g = 14 - x. Does 23 divide (0 - 2)/(g/46)?
True
Let z(i) = -28*i + 111. Is z(-8) a multiple of 19?
False
Let f(m) = m**3 + 8*m**2 - 5*m - 6. Let q be f(5). Is q*(-3)/(-9 + 0) a multiple of 22?
False
Suppose 0 = -2*g - 4*g + 30. Suppose -335 = -5*x + g*s, 5*x + 3*s - 406 + 63 = 0. Is x a multiple of 17?
True
Let u = 304 + 157. Is 56 a factor of u?
False
Suppose 1266 + 4928 = 19*n. Is 8 a factor of n?
False
Let k(u) be the first derivative of u**3/3 + 2*u - 5. Let p be k(0). Suppose 0 = p*y - 41 - 39. Does 18 divide y?
False
Let d = 803 - 709. Does 2 divide d?
True
Suppose -2*w - 12 - 14 = -2*a, 4 = -2*a. Is 90*((-40)/w + -2) a multiple of 20?
True
Let w(x) = -10*x + 8. Let t(y) = 15 - 6 - 11*y + 0*y. Let z(h) = 4*t(h) - 5*w(h). Is 16 a factor of z(6)?
True
Let k = -26 + 50. Suppose 2*y + 2*y = k. Suppose y*t + b = 2*t + 93, 2*t + b = 45. Is t a multiple of 8?
True
Let p(y) = y - 12. 