*2 - 8*h + 9. Let o be 3 + 7 + 0 + -1. Let m = 16 - o. Is n(m) a multiple of 11?
False
Suppose 10 = 4*w - 6. Let b be (6/w)/((-36)/(-4152)). Suppose -2*p - 229 = -4*o - p, -3*o = -p - b. Is 14 a factor of o?
True
Let c = 0 - -4. Suppose -3*d = c*i + 471, -4*i - 461 = -d + 2*d. Does 4 divide 4/10 + i/(-15)?
True
Suppose -u + 5*i = -224, 3*u - 6*i - 706 = -8*i. Is u a multiple of 14?
False
Let s = 247 + -157. Is 18 a factor of s?
True
Let c(g) = 2*g - 646 + 683 + 2*g. Is 21 a factor of c(0)?
False
Suppose -18 = -c - 3*f - 6, -15 = -c - 4*f. Let l(d) = -4*d**2 + 9*d + 1. Let y(p) = 9*p**2 - 18*p - 1. Let n(r) = c*y(r) + 7*l(r). Is n(6) a multiple of 11?
True
Let j = -5 + 10. Let q = j + -3. Is (15/3)/(q/8) a multiple of 8?
False
Let d = -253 + 231. Let x = 58 - 12. Let i = d + x. Does 24 divide i?
True
Let f(k) = k**3 + 10*k**2 - 14*k - 11. Let u be f(-9). Suppose -6*c = -2*c - u. Is 21 a factor of c?
False
Let x(g) = 4*g - 60. Let k be (-2)/8 + 803/44. Does 6 divide x(k)?
True
Is 171 - (1 - 3) - -3 a multiple of 11?
True
Let w = -148 + 772. Does 39 divide w?
True
Suppose o + 40 = 24. Suppose 0 = -z - 3*z + 96. Let n = z + o. Is 8 a factor of n?
True
Let r(w) = -2 - 10*w - 5*w - 7*w. Let m be 1*(-16)/(-20)*(-5)/2. Is r(m) a multiple of 21?
True
Let j be (-16)/((-2)/(-8)*4). Let u = 32 + j. Let s = u - -20. Does 9 divide s?
True
Suppose -2*y = -4 + 10, 4*t - 5*y + 25 = 0. Let w be 42*t/(-18)*3. Suppose 10*b = 5*b + w. Does 14 divide b?
True
Let t be -1 + 1/3 - 160/(-24). Does 3 divide t/5*1/(4/50)?
True
Let l(d) be the first derivative of -11*d**5/120 + d**4/6 + 11*d**3/3 + 1. Let g(n) be the third derivative of l(n). Is g(-9) a multiple of 26?
False
Is -7*(-9449)/77 - 9 a multiple of 85?
True
Suppose -42*j + 1721 + 5503 = 0. Is j a multiple of 24?
False
Let k = -1039 + 1194. Does 31 divide k?
True
Let h = -14 + 11. Let q be h/(-12) + 14/8. Suppose 52 = 2*v + q*v. Is v a multiple of 11?
False
Suppose 1714 = 3*m + 3*h + 283, 0 = 2*m + 3*h - 959. Is m a multiple of 5?
False
Is 4/4 + (-129)/(-3) a multiple of 11?
True
Let l = -4083 + 5868. Is 119 a factor of l?
True
Suppose 0 = -2*o + 2 - 16. Let n(z) = z + 5. Let c be n(o). Is (c - -33)*3/3 a multiple of 6?
False
Let i(l) = -l - 9. Let j be i(-2). Let c(d) = 2*d**3 - 2*d - 7*d**2 + 0*d - 3*d**3. Does 5 divide c(j)?
False
Suppose 0 = 3*z + 2*z - 40. Suppose 0 = 4*m + 4*o - 32, 0 = -2*o + 4*o + z. Does 8 divide (-1 - 11)/((-9)/m)?
True
Suppose -3*w + 350 + 433 = 0. Is w a multiple of 29?
True
Let n be (24/(-10))/1*35. Let a = n - -142. Does 29 divide a?
True
Suppose 2*c - 376 = -2*d - 3*d, -3*c + 2*d = -602. Is 33 a factor of c?
True
Suppose 0 = -5*z - 4*x + 10, -5*z + 12 - 2 = -5*x. Suppose 2*d - 16 = 3*p + 6, -z*d - 5*p + 54 = 0. Is d a multiple of 17?
True
Let s = -4034 + 6278. Is s a multiple of 102?
True
Let v = -1 - -6. Suppose -6*w + v*w = -33. Let q = w - 17. Is 8 a factor of q?
True
Let i(x) = -2 + x + 4 - 3 + 6. Does 4 divide i(7)?
True
Suppose 4*h + 596 = 2*c, c + 4*h = 7*h + 303. Is 24 a factor of c?
True
Suppose 36 = 5*m + 11. Suppose 80 = s + 5*y, -s - m*y = -5*s + 295. Suppose 3*z - s = -r, 2*z = -0*z + r + 50. Does 8 divide z?
False
Let q(m) = 13*m + 17. Let s be q(6). Let k = 321 - 185. Suppose 3*g - s = k. Is 24 a factor of g?
False
Let p(q) = -q**3 - 3*q**2 + 5*q - 5. Let w be p(2). Let x(c) = -c - 11. Let h be x(w). Let u(v) = 2*v**2 - 5*v + 6. Is 5 a factor of u(h)?
False
Let p = -168 + 235. Suppose -l = 5*k - 21, -2*k = 4*l + k - p. Is 16 a factor of l?
True
Suppose 3*z + 0*z - 90 = 0. Let d(p) = -21*p - 10. Let q be d(-4). Let a = q - z. Is 22 a factor of a?
True
Suppose 3*b = 12, x - 3*b - 126 = -2*x. Let g = -4 + x. Does 6 divide g?
True
Suppose -4*x = 2*d - 524, 7*d - 2*d = -x + 1328. Is 11 a factor of d?
False
Suppose -3*p + 374 = -5*d, 239 + 133 = 3*p - 3*d. Does 44 divide p?
False
Let c be (-5)/((7/(-2))/(-7)). Let i = 12 + c. Suppose -6*v + 2*v = 3*l - 156, 3*v = i*l - 87. Is l a multiple of 24?
True
Let o(t) = -11*t - 6. Let u be o(-1). Does 27 divide (-2)/5 - ((-2176)/u)/8?
True
Suppose -f = -2*y + 33, 4*y - 21 = 3*f + 46. Suppose y = 4*g + 2*t, 2*g + 4 = -t + 3*t. Is 2 a factor of g?
True
Suppose 10*c - 2288 = 1312. Is 12 a factor of c?
True
Let i(f) = f**3 + f**2 + 10*f - 2. Let v be i(4). Suppose -3*b = -2*k - v, -5*b = -4*b - k - 41. Does 11 divide b?
False
Let v = 3197 - 1490. Is 56 a factor of v?
False
Let d = 10 + -10. Suppose d = z + 17 + 4. Let s = -13 - z. Is s a multiple of 4?
True
Suppose 29 = r - 5*p, r - 5*p + 9 = 2*r. Suppose 4*j - 99 = -r. Is j a multiple of 4?
True
Is (-14)/4*29/(203/(-1452)) a multiple of 6?
True
Let l(a) = a**3 + 7*a**2 + 4*a - 1. Let w be l(-6). Suppose -w*d + 525 = -8*d. Is d a multiple of 35?
True
Suppose -15 = 3*c, 33*c = 5*f + 34*c - 1580. Does 5 divide f?
False
Suppose 0 = 13*t - 18*t + 865. Suppose t = 5*y - 82. Is y a multiple of 6?
False
Suppose z + 3 = c - 4, 3*c - 15 = z. Suppose c*v + 0*v - 199 = 5*i, -259 = -5*v - 4*i. Is 17 a factor of v?
True
Suppose 5*x = 7*x. Suppose -z = 4*f + 14 - 32, -2*z + 36 = -3*f. Suppose x = -3*a + 5*a - z. Is 5 a factor of a?
False
Let q(o) = -113*o - 645. Does 3 divide q(-8)?
False
Let d = -1294 + 1804. Does 17 divide d?
True
Let l = -1868 - -3211. Does 3 divide l?
False
Let i = 7 - 17. Let k = i + 4. Is ((-124)/k)/(8/12) a multiple of 14?
False
Let q = 0 - -3. Let o be (-3)/(-2)*8/q. Suppose -o*p + f = -50, 0*p + 34 = 3*p + f. Does 5 divide p?
False
Is 36 a factor of (-4606)/(-16) - (-17)/136?
True
Let s(j) = 38*j**3 + j**2 + 2*j - 2. Let w be s(1). Suppose 69*q - w = 68*q. Is q a multiple of 21?
False
Does 32 divide 35285/65 - 2/(-13)?
False
Let c(b) = 2*b**2 + b - 2. Let f be c(2). Suppose 0 = -2*k + 34 + f. Does 16 divide k?
False
Let y be -116*(12/(-8) - -2). Let q = y - -109. Is q a multiple of 17?
True
Let o(s) = 3*s - 16. Let m be o(10). Let u = m - -83. Is u a multiple of 18?
False
Suppose 1483 = c + v, 4*c + c - 5*v - 7375 = 0. Is c a multiple of 64?
False
Does 28 divide 0 + (-3618)/(-14) + 56/98?
False
Is 9 a factor of (4 - (-11 - -6))*13?
True
Does 77 divide 384 - ((-12)/4 - -2)?
True
Let i be ((-72)/(-14))/((-28)/(-490)). Suppose -2*f + 0*h + i = 3*h, 5*h = -2*f + 98. Does 3 divide f?
True
Suppose 0*s = 4*s + 528. Is (-2)/(16/s)*(-4)/(-3) a multiple of 22?
True
Is (25 + 20)*48/15*3 a multiple of 24?
True
Suppose 3*v - v - 3*o - 6 = 0, -2*v = -2*o - 4. Suppose k = 2 - v, -l + 15 = 5*k. Is l a multiple of 5?
True
Let j = 12 - -21. Suppose 9 = -p + j. Is ((-80)/p)/((-2)/36) a multiple of 20?
True
Let s(h) = -22*h - 13. Let k be s(-5). Suppose 0 = -9*j + 4*j - 325. Let t = j + k. Does 26 divide t?
False
Let y(l) = -l**2 - l - 2. Let r be y(2). Let o be 4/r + 210/4. Does 19 divide o*(1/(-1))/(-2)?
False
Let l = 1405 - 1324. Does 20 divide l?
False
Let n(k) = k. Let h be n(2). Is (145/h)/(7*(-3)/(-42)) a multiple of 29?
True
Let s = 864 - 860. Let p(i) = -41*i + 28. Let b(d) = 14*d - 9. Let k(m) = -8*b(m) - 3*p(m). Is k(s) a multiple of 16?
True
Let d(z) = -305*z - 231. Is 47 a factor of d(-8)?
True
Let l(b) = -b - 29. Let k be l(-11). Let s = 28 - k. Is 46 a factor of s?
True
Suppose -8*b + 30 = -3*b. Suppose -60*a + 70*a = -20. Is (-11)/a - 9/b a multiple of 4?
True
Suppose -4*d - 4*a = -2556, -1 = 2*a - 7. Does 31 divide d?
False
Let t(q) = 4*q**2 + 2*q. Let l be t(-1). Suppose -5*g = 4*n - 388 + 112, 120 = l*n - 2*g. Does 5 divide n?
False
Let t be (-65)/(-15) + (-4)/12. Let v be 12/(-66) + t/22. Suppose -c - 4*b + 14 = -v*c, 2*c - 2*b = 78. Is c a multiple of 31?
False
Suppose 55 = w + 213. Let l(j) = 14*j**2 - 21*j - 13. Let n be l(5). Let f = w + n. Is f a multiple of 28?
False
Suppose 222*u - 321 = 221*u. Is u a multiple of 22?
False
Suppose -2441 = -19*o + 2005. Is o a multiple of 27?
False
Let k be (2/(-5))/(5/150). Is 83 + (k/(-3))/(-4) a multiple of 14?
False
Suppose -4*g - 346 = 5*s - 7*s, 0 = -g. Is 22 a factor of s?
False
Let m be 1 + -1*(2 - -1). Suppose 248 = -4*x + 3*t + 60, 3*x = -5*t - 170. Is 16 a factor of 0 - (m + 4) - x?
True
Let a be 2/((-2 - 0)/(-2)). Let q = 174 + -294. Is -1 + 2 - q/a a multiple of 16?
False
Let q(t) = -86*t**3 - 2*t**2 + 8*t. Is q(-3) a multiple of 76?
True
Let g = -9 - -9. Suppose 30 = 3*b + 5*j - 5, g = b - 3*j - 35. Is 5 a factor o