(l) = -19*l**2 + 23*l + 11. Let d(b) = 11*c(b) + 6*f(b). Is 13 a factor of d(m)?
False
Let u be (0 - -8) + -4 + 0. Suppose -4*f + 6*f - 6 = 0, 2*v - u*f = 606. Is 11 a factor of v?
False
Suppose 3*g = 2*h + h + 18, 21 = 5*g + 4*h. Let n = -1049 - -683. Does 22 divide g*(n/15)/(-1)?
False
Suppose 24*p - 132067 + 23611 = 0. Is p a multiple of 29?
False
Let j(m) = 390*m**2 - 2*m - 11. Let p be j(4). Suppose -14*y + p = -4027. Is y a multiple of 30?
False
Let r = 105 + -53. Suppose r*g = 61*g - 5364. Does 60 divide g?
False
Let a = 44 + -40. Suppose -q - 47 = -3*b, 4*q - 11 + a = -b. Is 6 + b - (-1)/(-1) even?
True
Suppose 7*w = 2*w + 25. Let q(n) = 62*n + 3. Let a be q(w). Suppose 4*t - 5*m - a = 0, t + 0*m = -m + 67. Is 33 a factor of t?
False
Let t = -20 - -22. Let b = -4 - t. Does 26 divide 358/14 + b*5/(-70)?
True
Suppose -111*r - 17*r = -4847232. Is r a multiple of 12?
False
Does 83 divide (-1)/(-1)*-470*((-28938)/(-84))/(-53)?
False
Suppose -2225*d = -2238*d + 149058. Is d a multiple of 78?
True
Suppose -40 = u - 9*u. Let g(l) = 5*l**3 + 5*l**2 + 6*l - 2. Let y be g(u). Does 29 divide (-48)/216 - y/(-18)?
False
Suppose 4*i + 3*o + 9 = 2*i, -13 = 4*i + 5*o. Suppose -i*b = d - 434, 4*b + 4*d - 592 = -0*d. Let m = -83 + b. Is 11 a factor of m?
False
Let o = 265 - 255. Suppose 5*u - 1146 = k, -15*k + o*k - 440 = -2*u. Does 10 divide u?
True
Suppose 10*t - 22*t = -4536. Is t a multiple of 18?
True
Suppose 4*k + 6*o = 3*o - 5, -4*o = k - 2. Let z be (-7)/(21/(-30)) + 0 + k. Suppose -4*m + z*m = 272. Does 19 divide m?
False
Let a(c) = 6*c - 15. Let m be ((-8)/(-6))/((-14)/63). Let r(h) = 1. Let y(w) = m*r(w) + a(w). Is 21 a factor of y(18)?
False
Let j = 596 - 566. Is 9 a factor of (-2 - 2556/j)*-5?
False
Let t(q) be the third derivative of -20*q**2 + 0*q + 0 - 19/24*q**4 - 23/3*q**3. Does 47 divide t(-16)?
False
Let h(t) = 104*t - 8. Let p(f) = -f. Let y(o) = -h(o) + 12*p(o). Does 31 divide y(-1)?
True
Suppose -i - 2*h + h = -5, -5*i + 22 = 4*h. Suppose -p + 178 = 3*f, 2*p = -i*f + 5*p + 137. Suppose -3*n + 0 + 7 = 5*c, 5*n - f = 4*c. Is 7 a factor of n?
False
Let o = -159 - -167. Does 6 divide ((-16)/64 - 30/o) + 94?
True
Let l(k) = k - 18. Let i = 22 + 0. Let y be l(i). Suppose -y*p = -p - 36. Is p a multiple of 12?
True
Let m(x) be the third derivative of -x**6/360 + 17*x**5/120 + 7*x**4/12 - 19*x**3/6 - 12*x**2. Let f(w) be the first derivative of m(w). Does 14 divide f(15)?
False
Let h(q) = -q**2 - 12*q + 1. Let a be h(-11). Suppose 0 = -7*f + a + 331. Does 22 divide f?
False
Let o = -88 - -61. Let b be -1 - (1 + o + -1). Suppose b = -9*i + 782. Is 28 a factor of i?
True
Suppose -577 = -5*i - 57. Let z = 106 - i. Suppose 3*t - z*a - 717 = a, 2*a - 254 = -t. Is 36 a factor of t?
False
Let s(y) be the third derivative of y**5/60 - 3*y**4/4 - 13*y**3/2 + 6*y**2 + y. Is 7 a factor of s(22)?
True
Suppose -b + 449 = 2*q, 455 = 2*q - 424*b + 423*b. Is q a multiple of 4?
False
Does 50 divide (1 + 2 + -2)*113531/66*6?
False
Suppose 9*m = 5*m + 716. Let h = -612 - -561. Let r = m + h. Is r a multiple of 6?
False
Let n(c) = -1609*c + 8899. Does 60 divide n(-7)?
False
Is (27/(-12))/((-4)/(341184/18)) a multiple of 29?
False
Let m(x) be the third derivative of x**5/60 - 2*x**4/3 - 5*x**3/6 - 8*x**2. Let f be m(17). Is 26 a factor of (14/3*13)/(4/f)?
True
Let v be ((-22)/6 + -1)*(-12)/8. Suppose v*c - 60 = 500. Suppose g = 85 + c. Is g a multiple of 33?
True
Let d = -4594 + 13880. Is 34 a factor of d?
False
Suppose -100630 - 29204 - 113118 = -106*f. Is f a multiple of 12?
True
Let y = 1803 - 1263. Is ((-4)/10)/(2 - 1083/y) even?
True
Suppose 0 = 29*t - 3363 - 16002 - 10911. Does 58 divide t?
True
Suppose 0 = -5*y + 4*d + 191918, 2*d = 119*y - 117*y - 76764. Does 63 divide y?
False
Let z(f) = -f**3 + 2*f + 6. Let h be z(0). Let c be 22/((-2)/h*(0 - -6)). Let v(o) = -8*o - 25. Is v(c) a multiple of 7?
True
Let x(s) be the second derivative of -13*s**3/6 + 2*s**2 + 66*s. Does 27 divide x(-3)?
False
Is 57 a factor of -8 + 1796 + -5 - (-18)/2?
False
Let v be -3 - 91/(-28) - (-1383)/4. Let g = -160 + v. Is 12 a factor of g?
False
Suppose -7*q + 2*b = b - 4315, -2*b = 4*q - 2458. Does 28 divide q?
True
Let y = 116294 - 41674. Does 35 divide y?
True
Let g = -1619 - -4026. Does 48 divide g?
False
Let b(n) = 4*n + 37. Let g be b(-10). Is 21 a factor of 470/g*(-18)/12?
False
Suppose -2*h = -0*h - 14. Let k = -1640 - -1652. Suppose -k = -h*i + 4*i. Is i a multiple of 2?
True
Let p = 23615 + -15195. Is p a multiple of 8?
False
Let a be (-1)/(1 - 5) + (-3)/12. Suppose a = 5*d + 4*p - 768 - 4076, 2*p = 3*d - 2924. Is 27 a factor of d?
True
Let n(m) = -m**2 - 7*m + 4. Let q be n(-7). Suppose -q*h + 6*h + 6 = 0, y = h - 142. Let s = y + 271. Is s a multiple of 20?
False
Suppose 0 = 24*d + 12*d - 24192. Let f = d + -104. Is 71 a factor of f?
True
Let q = 40423 + -11944. Is q a multiple of 45?
False
Let s(u) = -7*u + 31. Let f be s(4). Suppose f*y - 735 = -5*r, -2*r + 268 = -y - 26. Is 7 a factor of r?
True
Suppose 0 = 5*z - 404 - 356. Let v = z + 162. Let h = -151 + v. Is 19 a factor of h?
False
Let q(p) be the second derivative of -p**5/20 - 11*p**4/12 + 5*p**3/3 + 8*p**2 + p. Suppose 4*w - 3*t + 42 = 0, -71*w + 38 = -74*w - t. Is 8 a factor of q(w)?
True
Let l(v) be the third derivative of 2*v**5/15 + v**3/3 - 27*v**2. Let x(s) = -s - 4. Let t be x(-6). Does 5 divide l(t)?
False
Let g(x) = -84*x + 24. Suppose -4*t - 52 = -4*k, -3*t + k + 2 = 43. Let r be g(t). Suppose 0 = -f + 7*f - r. Is 23 a factor of f?
False
Suppose 4*b - 2*n = 4120, -3*n = 5*b - 5*n - 5148. Is 32 a factor of (-2)/(b/(-256) - -4)?
True
Let n = -8177 - -13231. Does 14 divide n?
True
Suppose -4*h - 16 = 0, -3*p + 748 = -5*h + 10*h. Let z = -319 - -180. Let t = p + z. Is t a multiple of 9?
True
Suppose -91 = -4*l + 217. Let v(n) = -13*n - n - l*n. Is v(-1) a multiple of 17?
False
Let m be (-5 - (-3 - 1))*-3. Suppose m*q - 2*g = -83, 3*q + 63 = 3*g - 6*g. Let b = 41 + q. Does 16 divide b?
True
Is (-38 + 12 - -27)*5*645 a multiple of 75?
True
Let k = -58 + 58. Suppose -19*f + 4*f + 1020 = k. Is 4 a factor of f?
True
Suppose -2*y = -t + 16156, 3882 = -t + 5*y + 20062. Does 117 divide t?
False
Suppose 863 = 4*b - 297. Suppose -277*w + b*w - 27872 = 0. Does 67 divide w?
True
Let l(h) = h + 24. Let i be l(-13). Suppose -1152 = 5*z - i*z. Is z a multiple of 22?
False
Let z(j) = 9 - 137*j - 145*j + 280*j - 4. Suppose 5*v = -3*x - 60, 24 = -2*v - 6*x + x. Does 14 divide z(v)?
False
Let w = -63 - -154. Let j = w - 21. Suppose -d + 4*g = -j, d = -3*d + 2*g + 224. Is 27 a factor of d?
True
Suppose o = 357 + 644. Suppose -4*x + 135 = -o. Is x a multiple of 7?
False
Let c(d) = -7*d**3 + d**2 - 6*d - 10. Let b be c(-3). Let v = b - -56. Is 10 a factor of v?
False
Suppose 0 = -18*a + 17171 + 14545. Is a a multiple of 4?
False
Suppose -56*y = 4*y - 11*y - 485492. Is y a multiple of 21?
False
Let u be 1/(-2)*(-69 - -13). Suppose 2*k - 7*k = -r + 42, u = -4*k - 2*r. Let g(x) = -11*x. Is g(k) a multiple of 22?
True
Let q be (-64)/(-34) + -2 - 14360/(-680). Suppose 26*g = q*g + 1980. Is 12 a factor of g?
True
Suppose 2*n = -78 + 24. Let h = n - 68. Is ((-120)/100)/(1/h) a multiple of 31?
False
Suppose -612 = -35*d + d. Suppose -6972 = 11*u - d*u. Is 19 a factor of u?
False
Is 8 a factor of (-2 - (-30)/24) + (-26030)/(-8)?
False
Suppose -q + 4*w = -15104, 21*w + 60356 = 4*q + 15*w. Is q a multiple of 65?
True
Let x be (-4)/5*(-12 - 5 - -7). Is 189/x - 84/(-224) a multiple of 2?
True
Let r = -2268 + 3390. Does 11 divide r?
True
Let a(t) = 1305*t - 3837. Does 24 divide a(29)?
True
Let v(k) = -k**2 + k + 4. Let q(g) = -2*g**2 - 10*g + 23. Let s(u) = q(u) - v(u). Is s(-6) a multiple of 7?
True
Suppose 5*x = 243*w - 246*w + 35256, 2*w = 3*x - 21146. Does 15 divide x?
True
Is 17 a factor of (-7 + 1688)*-8*-1?
False
Let h = 413 + -288. Let m = h - 122. Suppose 0*s + 42 = m*s. Does 8 divide s?
False
Let n be 362/(-10) + (-2)/(-10). Suppose 0 = -5*u + 236 + 269. Let r = u + n. Is r a multiple of 13?
True
Suppose 5*j + 3*r = 4040, 4*j = -5*r + 1680 + 1565. Suppose 3*m - 554 - j = -3*t, 5*m = 15. Is 10 a factor of t?
True
Let u = 3942 - -3583. Is 25 a factor of u?
True
Let r = 12 + -10. Let h be 84/(-48) - r/8. Does 18 divide (0 -