= l**3 + 4*l**2 + 4*l + 2. Let h be b(-2). Suppose 3*p + h*p = -20. Is 11 a factor of p/14 - (-172)/14?
False
Is 14 a factor of 75770/33 + 412/(-6798)?
True
Suppose 0 = 30*h - 31*h + 400. Is h a multiple of 25?
True
Let n(f) be the third derivative of f**5/60 + f**4/12 + f**3/3 + f**2. Let s be n(-3). Suppose -s*t + k = -23, -2*k - 10 = -2*t - 4. Is 2 a factor of t?
False
Suppose 0 = 3*b - 0*b + 9. Let j = b + -48. Is 3 - 3 - (j + 0) a multiple of 16?
False
Let d(l) = -l**3 - 47*l**2 - 59*l + 46. Is 30 a factor of d(-46)?
False
Let k = -1153 - -2524. Does 17 divide k?
False
Let g(b) = -37*b**3 - 2*b**2 - 5*b - 1. Let t be g(-2). Suppose -3*l = -4*l + t. Is 54 a factor of l?
False
Let c = -108 + 288. Does 12 divide c?
True
Let d = 397 + -237. Is d a multiple of 10?
True
Suppose 52 - 17 = -3*q - 5*v, -2*q + 2 = -3*v. Does 5 divide (0 + (-24)/(-20))*q*-20?
True
Is 3170 + 3*(-20)/30 a multiple of 48?
True
Is (2 - -2) + 0 + 36 a multiple of 10?
True
Let j = -1 - 5. Let q(f) = -f - 1. Let k(m) = 7*m + 1. Let c(o) = -k(o) - 3*q(o). Is c(j) a multiple of 6?
False
Let r = 4 - 1. Suppose -x - 6 = -r*x. Suppose -b + 23 = 5*o, -167 = -5*b + x*o - 2*o. Is b a multiple of 11?
True
Let p = -604 - -1677. Does 18 divide p?
False
Suppose -6*x + x + 2*s = -1905, 381 = x + 2*s. Suppose -6*g = -843 - x. Is g a multiple of 21?
False
Let g(j) = j**3 + 5*j**2 - 5*j + 8. Let q(x) = 3*x. Let b be q(-2). Let t be g(b). Suppose 4*v + 0*v - 68 = -2*z, 5*v = -t*z + 84. Is 6 a factor of v?
False
Let t be (-2)/(((-1)/(-21))/(9/(-27))). Let z = -10 + t. Is 2 a factor of z?
True
Suppose 24 = 4*t + m, -5*t - 5*m = -4*t - 6. Let q(x) = -x - 6. Let d be q(t). Is 15 a factor of (-3)/(1/d + 0)?
False
Suppose 0 = j - 4*l - 33, j = 2*l + 37. Is j even?
False
Let z be ((-12)/(-24))/((-1)/(-4)). Let r = -3 + z. Let h(s) = -15*s - 1. Is h(r) a multiple of 7?
True
Suppose -2*o = 2*u - 6 + 16, 16 = -4*o - 2*u. Is 2*o*202/(-12) a multiple of 13?
False
Suppose -2*w + 20 = -4*t - 60, 3*w = 2*t + 108. Does 17 divide w?
True
Let b = 11 - 16. Let d = b - -8. Suppose -d*k = 3*u - 18, 0*u - 4*u + 4*k + 48 = 0. Does 3 divide u?
True
Let z(w) = -w**3 - 12*w**2 - w - 6. Let l be (-2)/(-9) + (-170)/(-45). Suppose 2*q + 4*t = -4, 32 = -0*q - q + l*t. Does 6 divide z(q)?
True
Let p be -28 + (-5 - -4)*4. Let h = p - -44. Is h a multiple of 4?
True
Let m = 35 + -9. Suppose l = 2*a + 2, 41*a - 45*a = -4*l + 8. Suppose -l*p - 3*p = 5*n - 120, -n - 3*p = -m. Is n a multiple of 4?
False
Let p be -33*((-20)/15 + 0). Suppose 0 = -p*w + 51*w - 280. Is w a multiple of 14?
False
Suppose -28184 = -35*x - 10369. Does 6 divide x?
False
Does 10 divide (33 + 9)*2/(8/46)?
False
Let c(b) be the third derivative of 19*b**4/24 + 59*b**3/6 + 25*b**2. Does 50 divide c(11)?
False
Suppose 4*v + 1262 = 4*a + 2*v, -4*a + v = -1263. Suppose 2*k = 4*k - a. Let f = -108 + k. Does 25 divide f?
True
Let d(i) = 11*i**2 + i + 4*i**3 + 2*i**2 - 5*i**3 + 18 + i. Suppose m + 3*t - 10 = 0, -5*t = -5*m + m + 57. Is 22 a factor of d(m)?
True
Suppose 4*f - 2871 = k, -23*f + 28*f = -2*k + 3579. Is f a multiple of 51?
False
Does 16 divide (432/(-42))/((-9)/42)?
True
Let l(j) = -j**2 - 9*j - 9. Let v(k) = k - 4. Let y be v(5). Let m be ((-14)/(-4))/(y/(-2)). Is 5 a factor of l(m)?
True
Suppose 50 = 9*j - 4*j. Let r(h) = -j + 10*h - 3 - 6*h. Does 11 divide r(6)?
True
Let v(k) = k**2 + 2*k. Let l be v(0). Suppose l = -42*o + 37*o + 105. Does 3 divide o?
True
Let k = -1815 + 2151. Does 5 divide k?
False
Let n = 38 - 33. Suppose 0 = -n*v - 0*v + 20. Suppose 2*o - 7*o + 288 = 4*z, -4*o = -v*z - 252. Does 20 divide o?
True
Suppose 0 = -u + 3*g - 1, -6*u + 3*g + 19 = -u. Suppose 4 = -2*r - 4*s, r + 0*r + u = -3*s. Does 4 divide r?
True
Suppose -c - 3 = -2*c, -5*c + 19 = w. Suppose 3*v - j = -w*j + 288, 2*j = 0. Is v a multiple of 32?
True
Suppose 3 + 11 = 2*r. Suppose -n - r*n = -80. Does 10 divide n?
True
Suppose -3*i = 15*b - 16*b - 3449, 4*i = 3*b + 4592. Is 8 a factor of i?
False
Let u(l) = -l**2 + 12*l + 4. Let o be u(13). Let w(r) = r**2 - 9*r + 8. Let d be w(o). Does 10 divide 66/44 - d/(-4)?
False
Suppose s = -5*r + 4560, 4236 = 6*r - 5*s - 1236. Does 38 divide r?
True
Let k be 3/(-2) - 54/(-36). Suppose y - 4*y + 486 = k. Is 24 a factor of y?
False
Let y(u) = 4 - 2*u**2 - 4*u**2 - u + 6*u**2 - u**2. Let j be y(4). Let d = 26 + j. Does 3 divide d?
False
Let u = -107 - -133. Is u a multiple of 13?
True
Let r be 4/(-8)*4*3. Is 248/r*(2 - (5 + 0)) a multiple of 12?
False
Let n(y) = 9*y**2 - y + 4 + y**3 - 6*y**2 + 1 + 4*y**2. Let k be n(-7). Does 19 divide (-342)/k*2/(-3)?
True
Suppose 0 = -2*s, -3*o + 1583 = -5*s + 428. Is 13 a factor of o?
False
Let d = -1485 + 3377. Is d a multiple of 22?
True
Let a be (-109)/((1/3)/(4/(-12))). Suppose 4*u - 4*l = -7*l + a, 0 = -3*u + 5*l + 60. Is 2 a factor of u?
False
Let a be -109 + (-6)/(-2) + -6. Does 2 divide (-42)/63 + a/(-6)?
True
Let n = -1860 + 3263. Does 17 divide n?
False
Suppose -2*p = 3*f + 9, 0 = 4*p - 5*f + 2*f - 27. Let m(c) = -c**2 - 11*c - 3. Let o be m(-5). Suppose -o = -p*b + 3. Is b a multiple of 3?
False
Let f(i) be the first derivative of i**4/4 - 3*i**3 - i**2/2 - 12*i - 3. Let q be f(10). Suppose 2*m = -12 + q. Does 11 divide m?
True
Let v = 587 - 195. Is v a multiple of 7?
True
Suppose -4*w + 12*w - 32 = 0. Suppose -w = -0*d - d. Is 2 a factor of d?
True
Let j = -132 + 138. Does 4 divide ((-20)/(-3))/(j/36)?
True
Let k(d) = d**3 - 3*d**2 - 7*d - 2. Let c be k(5). Suppose -4*g = -c + 1. Suppose -5*j = 5*z - 125, 2*j - 131 = g*z - 8*z. Is z a multiple of 9?
True
Does 17 divide (-20)/8*5/(75/(-1122))?
True
Let f = 260 - 245. Does 5 divide f?
True
Let r(f) = -f**3 - f**2 + 9. Suppose 4*w = -2*d + 18, -4*d + 1 = -3. Let a be r(w). Let l = -12 - a. Does 19 divide l?
False
Let k = -207 + 557. Does 25 divide k?
True
Let f(w) = 5*w**2 + 2*w. Let i(h) = -4*h**2 - 2*h. Let a(t) = 3*f(t) + 4*i(t). Let n be a(-3). Is (-5)/((-20)/276) - n a multiple of 19?
False
Let q be (8/4)/(-1) + 152. Let n be (-8080)/q - (-4)/(-30). Is n/(7/(-2) - -3) a multiple of 29?
False
Let b = -3 + -1. Let o(z) = -z + 4. Let s be o(b). Let k(r) = 11*r + 2. Does 18 divide k(s)?
True
Let x(h) = h**2 - 2*h. Let c be x(4). Suppose -3*o + 2 = -c*o - 3*s, -3*s - 8 = 2*o. Suppose o*v - 75 - 95 = 0. Is 18 a factor of v?
False
Suppose -5*q + 47 = 12. Let n(b) = 9*b**2 - 2*b - 4. Let t be n(3). Suppose -8*w + t = -q*w. Is 26 a factor of w?
False
Let u be -1 - 2 - 30/(-3). Let a be u/2 - (-5)/10. Suppose 0 = s + 1 + a, -2*o - s + 127 = 0. Is 22 a factor of o?
True
Let o = -51 - -61. Let r(z) = 2*z - 5. Is 10 a factor of r(o)?
False
Suppose -5*r + 27 - 92 = 0. Let q = r + 19. Let u(i) = 2*i**2 - 8*i + 7. Does 7 divide u(q)?
False
Does 7 divide 784/42*(-1)/(-2)*3?
True
Suppose -2*n = -6 + 2. Suppose -3*h + m = -131, -3*h + 8*h - n*m = 218. Is h a multiple of 44?
True
Let j be 13/3 + (-4)/(-6). Suppose j*w = 31 - 11. Is 16 a factor of 53 + w + -2 + 0?
False
Does 4 divide ((-5)/(-2) + -3)*6 + 787?
True
Let o(d) = d**3 - 7*d**2 - 22*d + 32. Is 8 a factor of o(11)?
False
Suppose 0 = -p - 3*p - 2*q + 962, -4*q = -2*p + 506. Does 8 divide p?
False
Let j(h) = h**2 - 4*h - 3. Let w be j(5). Suppose l - x = 2*x - 5, -w*l - 3*x + 35 = 0. Is ((-14)/5)/((-2)/l) a multiple of 7?
True
Suppose -5*k + 145 = -2*m + 1876, 3417 = 4*m + 5*k. Does 26 divide m?
True
Let w(a) = -26*a**3 + 2*a**2 + 2*a - 2. Is 12 a factor of w(-2)?
False
Let q(d) = d**2 - d + 20. Let y be q(0). Suppose y = 3*p - 5*w, w + 20 = p - 4*w. Suppose -6*x + x + 2*f + 486 = p, 2*f = -3*x + 282. Does 32 divide x?
True
Let i be ((-60)/25)/((-2)/10). Let d = 15 - i. Suppose -3*n = 5*h - d - 1, 20 = 4*n + 3*h. Does 8 divide n?
True
Let u(o) = 2*o**2 + o + 2. Let s be u(-4). Suppose -h = -84 + s. Does 18 divide h?
True
Let m be (-220)/550*(-1730)/(-4). Suppose -2*h + 843 = -5*h. Let a = m - h. Is a a multiple of 23?
False
Let u(k) be the first derivative of k**7/840 - k**6/120 + k**5/24 - k**4/8 - k**3 + 8. Let l(g) be the third derivative of u(g). Is 15 a factor of l(5)?
False
Does 26 divide ((-13851)/(-95) + 2/10)*2?
False
Does 18 divide (-14)/217 - (-56552)/124?
False
Is 13 a factor of (-3 - -1)/(-4)*(-25 - -5179)?
False
Does 4 divide (-1 + 0)*(-39 + 26)?
False
Let o = 0 + 3. Su