*h - 21. Let r(t) = -4*g(t) - 3*w(t). Is 3 a factor of r(5)?
False
Let c(r) = -r**2 - 7*r + 3. Suppose 2*f + f - 48 = 0. Let s = f + -20. Does 4 divide c(s)?
False
Let h(c) = -c**2 + 2*c + 123. Let d be h(-11). Does 6 divide (-26)/(-5) + (184/d - -10)?
True
Let f(x) = -100 - 3*x**2 - 78 + 2*x**2 - 64*x + 211. Is f(-56) a multiple of 49?
False
Let l = 16987 - 13826. Is 31 a factor of l?
False
Suppose -2*x + 25 = f, -19*f = -22*f + 3*x + 84. Does 2 divide f?
False
Suppose 251735 - 54581 = 18*k. Is 25 a factor of k?
False
Does 25 divide -472*45/(-10) - (12 + -13)?
True
Let h(w) = 28 + 69*w - 129*w - 19 + 23 + 461*w. Does 14 divide h(2)?
False
Let q = 10562 + -7037. Is q a multiple of 99?
False
Let c(y) be the third derivative of -5/6*y**3 + 3/40*y**6 + 0 + 0*y - 1/15*y**5 - y**2 + 1/12*y**4. Is c(3) a multiple of 46?
False
Let s(z) = z**3 - 33*z**2 - 42*z + 67. Let p be s(33). Let c = -618 - p. Is 13 a factor of c?
False
Suppose 0 = 10*m - 31 - 149. Let l(a) = -5 + 3856*a**2 - 10*a + a**3 - 22 - 3873*a**2. Is 6 a factor of l(m)?
False
Let c be -1*(0/(-3) + -753). Let j = 1429 - c. Is 14 a factor of j/8 - 4/8?
True
Suppose -32 = -121*d + 120*d. Suppose 24*f + d*f = 1008. Is f a multiple of 5?
False
Let f(a) be the first derivative of a**4/4 + 8*a**3/3 + 7*a**2/2 + 36*a + 157. Is f(-7) a multiple of 15?
False
Let w(o) be the first derivative of 8*o + 9/2*o**2 - 1/4*o**4 + 2*o**3 + 13. Does 3 divide w(7)?
False
Let i(f) = 5*f + 27. Let y be i(-5). Let a be y*(3 - 5) - -16. Suppose 4*u - 23 - 45 = -4*p, 3*u - a = 0. Is 11 a factor of p?
False
Let o be (-48)/24 + (3 - -4). Suppose 0 = -2*d - o*j + 1772, -d - 3*j + 751 = -134. Is 27 a factor of d?
True
Suppose -4*c - 4*j - 29 = j, 5*c + 34 = -4*j. Is 5 a factor of -7 - 24/c - 402/(-2)?
False
Let x = -186 - -1451. Suppose 56*m = 51*m + x. Does 63 divide m?
False
Suppose 5*g = q - 20075, 6*g - 9*g = 4*q - 80162. Does 137 divide q?
False
Suppose -88*c + 129*c = 101598. Is 4 a factor of c?
False
Let o = 1624 + 5484. Does 18 divide o?
False
Let v(b) = b**3 + 15*b**2 + 8*b - 37. Let r be v(-14). Suppose k + 6*s = 5*s + r, 233 = 5*k + 3*s. Does 20 divide k?
False
Let m be (-72)/120 - (515828/10)/2. Is (1*-1)/(52/m) a multiple of 31?
True
Let i(f) = -131*f**3 - 2*f**2 + 10*f - 21. Does 53 divide i(-4)?
False
Let f = -61 - -72. Suppose -3*x - 2*b = 17, -2*b + f = 1. Let q = 32 + x. Is q a multiple of 23?
True
Let f = 466 + -462. Suppose f*x - 497 - 251 = 0. Is x a multiple of 2?
False
Let u = 1716 - 1220. Is 108 a factor of u?
False
Suppose -667 = 4*g + 289. Let u = g + 800. Is 51 a factor of u?
True
Let m(w) = 32*w**2 - w. Let c be m(-1). Let t be (-1722)/c + 10/55. Is 4 a factor of (-18)/(-24) + t/(-16)?
True
Suppose 4*z - 10611 = 5753. Let v = z - 2910. Is v a multiple of 72?
False
Suppose -7*z + 23 + 9325 = -5625. Is 23 a factor of z?
True
Does 50 divide (-544)/(-10)*20075/146?
False
Let p(s) = -s**3 - 15*s**2 - 16*s - 14. Let i be p(-14). Let j = -2 + i. Is 7 a factor of (58/8 + -1)/(3/j)?
False
Let c(o) = -6*o**3 + 4*o**2 - 18*o - 32. Is c(-13) a multiple of 20?
True
Let m(o) = o**2 - 13*o. Let a be m(13). Let h(l) = -4*l**2 + 3*l + 69. Is h(a) a multiple of 13?
False
Suppose 0 = -13*k - 16*k - 8*k + 693158. Is k a multiple of 19?
True
Suppose 21 = 3*l - 15. Suppose -c - 2*q = -3*c - 6, -3*c - 4*q + l = 0. Does 12 divide -3 + 29 + (c - 2)?
True
Suppose -1936 = -5*p + 4*p. Suppose 2*s + 3*c = -3*s - p, 3*s - 2*c + 1154 = 0. Does 7 divide s/((34/(-85))/((-2)/(-10)))?
False
Let b = -17 - -18. Let x = b + -4. Let q(u) = u**2 - 6*u - 4. Does 19 divide q(x)?
False
Let v = 188 - 112. Is (-1930)/(-2) + -69 + v a multiple of 12?
True
Let t be (-6)/7*(-403)/(-13)*-84. Suppose -3*g + t = 3*g. Is 12 a factor of g?
True
Let c(y) = y**2 + 14*y + 1279. Let q = -539 - -539. Does 29 divide c(q)?
False
Let x be 1/(4/(-10) - (-1261)/3140). Let u = x + -376. Suppose 7*z - 4*z - 3*w = 186, 4*z - u = 5*w. Is z a multiple of 43?
False
Suppose -2*d = -10*d + 32. Suppose -3003 = -d*a - 9*a. Does 33 divide a?
True
Suppose -3*x = -9, -5748 = -30*t + 25*t + 4*x. Is 16 a factor of t?
True
Let h be -366*(-9 - 35/(-5)). Suppose -17*v + 13*v + h = 0. Does 61 divide v?
True
Suppose -5*m = -3*d - 34 + 87, -2*m = -d + 17. Let b = d - -155. Is b a multiple of 8?
True
Let o(y) be the second derivative of -3*y**5/5 - y**4 - 23*y**3/6 + y**2/2 - 213*y. Is 72 a factor of o(-5)?
False
Let v(s) = s**3 - 19*s**2 + 18*s + 2. Let u be v(18). Suppose u*i - 3 = i, -2*m + 5*i + 9 = 0. Does 4 divide m?
True
Suppose 156619 + 18365 = 184*t. Does 46 divide t?
False
Let g(k) = -67*k**3 - k**2 + 3*k + 4. Let y be g(-1). Suppose 65*n - 8 = y*n. Is 1 + n + 54 + (-12)/4 a multiple of 10?
False
Let i be 4/(45/66 - (-4)/(-22)). Let q be 1/(-3 + -2)*-10. Suppose -i*g + 588 = -q*g. Is g a multiple of 14?
True
Let d(r) = -2809*r**3 - 2*r**2 - 28*r - 27. Does 56 divide d(-1)?
False
Suppose 3*a = 35*a - 10752. Suppose -1700 = -4*i - a. Is i a multiple of 11?
True
Let h(s) = -597*s + 30. Suppose 5*z + 42 = 12. Let l be h(z). Suppose 17*v - l = -1028. Does 19 divide v?
True
Let p(x) = -778*x - 4652. Is 3 a factor of p(-13)?
False
Let a(f) = -5*f**2 - 13*f**2 - 8*f**2 - 4*f + 25*f - 12 + f**3. Let z be a(25). Is 3 a factor of (-32)/z + (-1 - (-145)/7)?
False
Let x be (-75)/40 - 11/88. Let n be (12/(-14))/(2/14). Is (130/6)/(x/n) a multiple of 13?
True
Suppose -84*w - 921083 = -2829731. Does 15 divide w?
False
Let l = 9024 - -22644. Is 29 a factor of l?
True
Suppose 26*r = 3*n + 31*r - 417, 4*n = 5*r + 591. Suppose 5088 = 8*l + n. Is l a multiple of 103?
True
Let z(s) = 5*s**3 - 9*s**2 + 8*s - 16. Let p(b) = -b**3 + b - 1. Let y(l) = 4*p(l) + z(l). Let k be y(8). Is 38 a factor of 0 + 80 + -10 + k?
False
Suppose -436785 = 1043*s - 1058*s. Is 35 a factor of s?
False
Let s(m) = 18*m + 88. Let y be s(17). Let h = 601 - y. Is 10 a factor of h?
False
Let s be 7/(-21) - 2/(-6). Suppose -13*a - 4*a + 238 = s. Suppose -52 = -a*n + 732. Is 14 a factor of n?
True
Suppose -5 = w, -4*w + 1 + 4 = 5*l. Suppose 3*y = 2*t - 10, 2*t + 2*t - 20 = -l*y. Suppose 4*f + 27 = t*f. Is 6 a factor of f?
False
Suppose 10*f - 14*f + 4*s = -57904, 0 = 4*f + s - 57899. Is 25 a factor of f?
True
Let w(t) = 151*t**2 - 37*t + 595. Is 21 a factor of w(14)?
True
Let j be (-488)/(-24) + (-1)/3. Suppose 5*k + 2*q - 3511 - 4456 = 0, -j = 5*q. Does 11 divide k?
True
Suppose -3*r = -c - 6906, -5*r - 4*c = 4427 - 15954. Does 84 divide r?
False
Let l(o) = 3*o**2 + 12*o - 7. Let s be l(-4). Let u be (-5 - s)*(-20 - 3)*-1. Is u - (-5)/((-10)/(-8)) a multiple of 5?
True
Let w(q) = -460*q - 288. Is w(-5) a multiple of 18?
False
Let o = 2719 - 3175. Suppose -i = -4*w + 21, -7 = -5*i + 5*w - 52. Is 13 a factor of o/i - 8/40?
True
Let z(m) = 0 + 2 + 1 - 13*m. Let d(k) = 2*k**3 - 12*k**2 - 38*k + 45. Let o be d(8). Is z(o) a multiple of 42?
True
Let s(l) be the third derivative of l**6/120 - l**5/15 + 100*l**3/3 + 10*l**2. Is 24 a factor of s(0)?
False
Let p = 3908 + -1567. Does 15 divide 10/((-160)/(-12)) - p/(-4)?
False
Is -16 + (19 + -9 - -1368) a multiple of 82?
False
Suppose 5*s - 2*o = 15, 20 = 4*o - 0*o. Suppose 0 = -s*r + 9*r - 380. Suppose v + 4*a - 34 = 0, -2*v - 5*a + r = 3*v. Is v even?
True
Let n(z) = -3*z + 57. Let r be n(11). Is 10/(-4) - (-12852)/r a multiple of 13?
True
Is 1932453/2214 - (-1 - 22/(-12)) - -8 a multiple of 80?
True
Let s(j) be the first derivative of -j - 28 + 29/2*j**2. Is s(5) a multiple of 24?
True
Suppose 0 = -8*y + 3*y + 1560. Let v = -152 + y. Is 32 a factor of v?
True
Is 20 a factor of 3/7 + (-601198)/(-91)?
False
Let v = -121 + 756. Suppose -2*y + 3251 = 3*y + a, 0 = -y - 4*a + v. Suppose -7*p = -0*p - y. Is 44 a factor of p?
False
Let l = 14335 + -11414. Does 3 divide l?
False
Let t(a) be the first derivative of 25*a**2/2 - 72*a - 36. Is t(18) a multiple of 15?
False
Suppose 8*x + 491589 = 127*x. Is 17 a factor of x?
True
Let g(u) be the third derivative of 0 + 27*u**2 - 5/2*u**3 - 1/2*u**4 + 1/30*u**5 + 0*u. Does 5 divide g(10)?
True
Suppose -72*a = 15*a - 73385 - 55375. Is 40 a factor of a?
True
Let b(l) = l**2 - 25*l + 162. Let p be b(13). Is 29 a factor of (-1)/(-4) + ((-3189)/(-12) - p)?
False
Suppose -1475 + 34871 = 6*y - 2*y. Is 18 a factor of y?
False
Let f be (24/9)