j(l) = l**3 - 7*l**2 + 8*l - 13. Let f be j(6). Is -1 + (-77)/1*f a multiple of 22?
False
Suppose 2*i + 6 = 4*y, -i = -2*i + y. Suppose -144 = 4*w - 4*d + i*d, 2*w + 72 = d. Let p = 76 + w. Does 9 divide p?
False
Let b(t) = -2 - 8*t - 4 + 1. Does 9 divide b(-4)?
True
Let a = 8 - 6. Suppose -4*k + 8 = a*t - 2*k, -18 = -2*t + 3*k. Suppose 5*p - t = 159. Does 12 divide p?
False
Let z(k) = -k**3 + 16*k**2 - 22*k + 4. Does 11 divide z(14)?
True
Let f(o) = -o**3 + 16*o**2 - 12*o + 29. Is 19 a factor of f(11)?
False
Let d(t) = -2*t**3 - 25*t**2 + 4*t - 2. Let u be d(-14). Suppose -174 = 4*c - u. Is c a multiple of 22?
False
Let d = -62 - -65. Is 325/d - 5/15 a multiple of 9?
True
Suppose -2*u + 2168 = -8. Is u a multiple of 37?
False
Let k = -48 + -8. Let u = 66 + k. Is u a multiple of 7?
False
Suppose -37*d = -32*d - 7125. Does 14 divide d?
False
Let n = 12 - 15. Let q(b) = 21*b**2 + 2 - 5 - 20*b**2. Does 6 divide q(n)?
True
Suppose 2*f - 4*f + 120 = 0. Suppose 5*g - 30 = -5*z, z - 3*g - 12 = -2*z. Suppose 5*x + 0*x = z*a - f, -4*x - 24 = -2*a. Does 4 divide a?
True
Suppose 0 = x - 0*x. Suppose x = -4*y + 2*y + 156. Suppose 3*r = -2*o + y, r - 3*r + 156 = 4*o. Is 13 a factor of o?
True
Let b(m) = -5*m - 2. Let u be b(-1). Let z be 4/8 - u/(-6). Is (116/(-8))/(z/(-4)) a multiple of 26?
False
Is 3 - -1151 - (-20 + 14) a multiple of 116?
True
Let l(z) = -z + 10. Let q be l(4). Suppose -2*d = -q*d - 5*v + 128, 90 = 2*d - 4*v. Is 16 a factor of d?
False
Suppose t - 5 + 11 = 0. Let y(x) = x**2 + 5*x - 6. Let r be y(t). Does 6 divide -2 - (r/2 + -14)?
True
Let x = 34 - 30. Suppose -5*s - 2*k = -7*s - x, 3*k = 5*s. Suppose 3*t = -0*t - s, -3*t + 12 = 3*l. Is 2 a factor of l?
False
Let q(a) = -7*a + 32. Let p be q(15). Let b = 149 + p. Is 19 a factor of b?
True
Suppose 4*v = -16, 3*l + 5*v - 53 = v. Does 2 divide l?
False
Let w = 39 + -75. Does 26 divide (-1863)/w + (-1)/(-3 + -1)?
True
Suppose 3*k - m = 3747, k - 7*m - 1242 = -9*m. Does 11 divide k?
False
Suppose 2*r + 402 = 5*k, 3*k - 2*r - 226 = 3*r. Suppose 0 = 2*o + o + 5*u + 116, u = -4*o - 149. Let i = o + k. Is 15 a factor of i?
True
Is 13 a factor of ((-1155)/70)/(3/(-44))?
False
Let m = 142 - 184. Is 2 a factor of m/(18/(-3))*1?
False
Let i = -155 - -268. Does 20 divide i?
False
Let h = 231 + -199. Does 8 divide h?
True
Suppose 7*q + 2400 = l + 4*q, 2*q + 4812 = 2*l. Does 17 divide l?
False
Let a be 188/6*(-51)/(-34). Let s = -45 + a. Is 2 a factor of s?
True
Let f(y) = 13*y**2 - 6*y - 3. Let c(b) = -38*b**2 + 18*b + 8. Let p(i) = -4*c(i) - 11*f(i). Let m be p(-5). Suppose r = 5*r - m. Is 16 a factor of r?
True
Let d = -84 + 106. Let s = 59 + d. Does 6 divide s?
False
Suppose -5*c + 36 = g + 13, 5*g = -c + 19. Suppose 12 = c*y - y. Suppose -22 - 106 = -y*r. Does 32 divide r?
True
Suppose -r = 3*q + 3, -2*r - q - 8 - 3 = 0. Let h be 24/r + (0 - -7). Suppose -h*w + 76 = -w. Does 8 divide w?
False
Let y be (-525)/(-9)*(4 + -1). Suppose 0 = 3*n + 13 - y. Does 9 divide n?
True
Let h(f) = f**2 - 3*f - 4*f - 1 + 2*f**3 - 7*f**2 + 0*f. Let s be h(5). Suppose q - u + 3*u = s, 4*q = u + 292. Does 23 divide q?
False
Let h(i) be the third derivative of -i**6/120 + 7*i**5/60 + i**4/6 - 7*i**3/6 - 5*i**2. Let l(j) = -3*j - 6. Let k be l(-4). Does 11 divide h(k)?
False
Suppose 5*v = -0*v. Suppose 0 = -5*d + 15, v = -3*y - d + 4*d + 3. Suppose -4*m + 4*q + 12 = 0, -y*m + 4 + 4 = -5*q. Is 3 a factor of m?
False
Is (-555)/(-2)*(3 + -9 - -8) a multiple of 28?
False
Let g(y) = 3*y**2 - 17*y + 22. Is 14 a factor of g(6)?
True
Suppose 831 = 3*b + 2*b + 4*w, -3*b - 2*w + 499 = 0. Let x = b + -58. Is 11 a factor of x?
False
Suppose 4*w - 28 = 4. Let b(t) = 5*t - 6 + 4 - w. Is b(10) a multiple of 20?
True
Let s be (-4 + 54/15)*-5. Suppose -5*v + 0*k + s*k = -10, -v + k = 1. Is v a multiple of 3?
False
Let o = -304 + 553. Is o a multiple of 16?
False
Is (-24)/16*((-24672)/(-18))/(-4) a multiple of 12?
False
Is 77145/30 - 3*(-3)/(-6) a multiple of 17?
False
Suppose 5*m = 1772 + 15073. Is 24 a factor of m?
False
Let r(k) = 5*k**2 - 4*k + 4. Let d(x) = x**2 - x + 1. Let j(g) = 2*d(g) - r(g). Let m be j(1). Is 16 a factor of 1/(-1) - 99/m?
True
Let f(v) be the second derivative of 79*v**5/20 + v**4/12 - v**3/3 + v**2 + 8*v. Is f(1) a multiple of 20?
True
Let a(z) = 3*z**3 - z + 1. Let j = -8 + 9. Let r be a(j). Let d(c) = -c**3 + 6*c**2 + c - 1. Is d(r) a multiple of 6?
False
Let g = 1366 - 790. Is 144 a factor of g?
True
Suppose 0 = 6*h - 7 - 53. Let k(u) = -2*u**3 + 20*u**2 + 14*u - 21. Is k(h) a multiple of 14?
False
Does 10 divide -11 + 989 + -12 - -4?
True
Suppose 0 = 4*m - 16, -4*i + m = -m - 48. Does 7 divide ((-1)/(1/(-42)))/(7/i)?
True
Let o(q) = 6*q**3 + q**2 + 5*q - 3. Let r(d) = d**3 + d**2 + d + 1. Let n(v) = -o(v) + 4*r(v). Is n(-3) a multiple of 9?
False
Is (28 - -7)/(3/42) a multiple of 35?
True
Let w(m) = -m**3 - 7*m**2 - 4*m + 2. Let y be w(-6). Let i(d) be the third derivative of -d**4/24 + 2*d**3/3 + 195*d**2. Does 7 divide i(y)?
True
Let c be ((-3)/(-1))/((-3)/(-9)). Suppose 11 = 4*t - c, 3*i - 3*t = 522. Is i a multiple of 21?
False
Let m be 5 + -3 - (4 + -4). Let a(c) = 13*c**2 + 2 + c**3 - 2*c - 2*c**m + 3 + 17*c. Is 16 a factor of a(-8)?
False
Let i(t) = -15*t - 77. Does 4 divide i(-15)?
True
Let m(j) = j**3 - 5*j**2 + 2*j + 2. Let a(b) = -4*b**3 + 21*b**2 - 8*b - 8. Let r(l) = 2*a(l) + 9*m(l). Let k be r(2). Let x = 9 - k. Is x a multiple of 5?
False
Suppose 3*s = 4*q + 31, 0*q + 5*s - 15 = 3*q. Let a be q/(-45) + 68/18. Suppose a*k = -0*k + 84. Is k a multiple of 7?
True
Let z(r) = -5*r**3 - 7*r**2 - 8*r + 9. Let x(s) = s**3 - s**2 + 1. Let j(y) = -4*x(y) - z(y). Suppose -5*q + 20 = -7*q. Does 4 divide j(q)?
False
Suppose -15*f - 924 = -26*f. Does 10 divide f?
False
Let v(i) = 566*i**2 + 4*i - 11. Does 19 divide v(2)?
True
Let z be (-70)/(-22) + 20/(-110). Suppose 0*d - 42 = -z*d. Is 7 a factor of d?
True
Let o be (4/(-10))/(3/(-90)). Let r be 15/1 - (o + -15). Let d = 24 - r. Is d even?
True
Let x(o) = 5*o + 3. Let d be x(12). Suppose 0 = -4*g + d + 141. Is g a multiple of 9?
False
Let f = -1075 + 1763. Let q = 576 + f. Is 11 a factor of (-8)/14 - q/(-56)?
True
Let y = 259 + 115. Does 11 divide y?
True
Suppose -8 = a - 4*s + 2, -3*a - 19 = -s. Does 16 divide -1357*1/a - 11/66?
False
Suppose 4*t = -4*y + 1420, -6*y = -y - 2*t - 1782. Is 31 a factor of y?
False
Does 14 divide 2/(-9) - 69350/(-225)?
True
Suppose 0 = 2*f - 12 + 2. Let a be (20/2)/(f + -3). Suppose a*d - 1 = 24. Is d a multiple of 5?
True
Let l be 21/9 + (-4)/(-6). Suppose -5*h - g = -190, 22 = -4*h - l*g + 163. Suppose 0 = u - 4*u + h. Is u a multiple of 5?
False
Let p be 100/12 + (-1)/3. Let w(j) = -j + 4. Let v be w(p). Is 11 a factor of (-22)/v*(0 - -6)?
True
Let t(o) = o. Let w(n) = -3*n + 1. Let r(m) = -14*t(m) - 2*w(m). Is r(-4) a multiple of 15?
True
Suppose -6*x - 7*x + 663 = 0. Suppose 56*a - 325 = x*a. Does 8 divide a?
False
Suppose 5*r = r + 1532. Is 27 a factor of r?
False
Does 5 divide (100/6)/((-82)/(-1599))?
True
Suppose -3*m + 118 = -155. Suppose 15 = 2*s - m. Is 16 a factor of s?
False
Is 2 a factor of ((7 - 2) + -10)*362/(-10)?
False
Let t(d) = 4*d**2 + 13*d + 69. Does 15 divide t(-17)?
False
Suppose 4*m + 32 = -3*j, 0 = -2*j - 8. Let o be -13*(4/4 + m). Suppose -3*c - 3*y = -27, -2*c - c + o = -2*y. Is 7 a factor of c?
True
Suppose 2*t = -3*t - 435. Let w = 0 - t. Does 29 divide w?
True
Let b(c) = -2*c**3 - 39*c**2 + 29*c + 63. Is 21 a factor of b(-21)?
True
Let b = -6 + 11. Suppose -635 = -b*n - 3*p, -316 = -5*n + 3*p + 319. Does 21 divide n?
False
Let a be (-3)/18 + (-294)/(-36). Suppose 4*s - a = 28. Is 9 a factor of s?
True
Suppose 18*y + 12 = 24*y. Suppose -10 = -2*z, y*z + z + 161 = 4*x. Does 3 divide x?
False
Let q(o) = o**2 + 7 - 10*o**2 + 6*o**3 + 8*o**2. Does 8 divide q(3)?
True
Let d = 1274 - 1189. Is 5 a factor of d?
True
Let r be 16/(-8) - 3/1*-1. Is ((-22)/(-33))/((-4)/(-66)) + r a multiple of 3?
True
Let z be 88*(-6 + 3)/(-6). Let v = -49 + 19. Let y = v + z. Is 11 a factor of y?
False
Let d be (-138)/(0 - 2/((-24)/9)). Let q = d + 260. Is q a multiple of 13?
False
Let c(p) = p**3 - 3*p**2 - 7*p + 11. Let z be c(3). Let l = z + 101. Is 5 a factor of l?
False
Let m be (-8)/(-3) - (-1)/3. Suppose -4*s