 13 + -14. Let z be 4/(u + (-4)/(-3)). Does 5 divide f(z)?
False
Is 8134439/2020 - 3/(-60) a multiple of 4?
False
Suppose 7*i - 10 = 11. Let a(c) = 17*c - 11 + 6 + i*c. Is 11 a factor of a(3)?
True
Let p(f) = 2*f + 4170. Is 9 a factor of p(46)?
False
Suppose -3*b - 24 = 0, -4*b + 27424 = 15*w - 12*w. Is 143 a factor of w?
True
Suppose 3*f = -3*x + 2316, -5*x + 3387 + 505 = -3*f. Let o(c) = -28*c + 2. Let n be o(-7). Suppose -202*k + x = -n*k. Is k a multiple of 31?
False
Let y(q) = -q**2 + 13*q + 28. Let m be y(15). Let v(l) = -92*l**3 + 3*l**2 + l - 15. Is v(m) a multiple of 17?
True
Suppose -12 = 2*g, -3*l + 5*g + 37795 = 13141. Is l a multiple of 108?
True
Let x = 17172 - 11071. Is x a multiple of 39?
False
Does 11 divide 2*(-10)/70*-6881?
False
Suppose 2*g - 59 = -s + 23, 0 = -5*s. Let q = g - 66. Is -1*(-3)/((-3)/q) a multiple of 9?
False
Let w be -12*3/((-18)/4). Suppose p = -p + w. Suppose 0*a = -p*a + 600. Is a a multiple of 10?
True
Suppose 30*j - 189888 = -34*j. Is j a multiple of 69?
True
Let g(b) = b**3 - 11*b**2 - 10*b + 18. Let u = 26 + -22. Suppose -5*w = -4*h + h + 16, -u*h = -5*w - 28. Does 14 divide g(h)?
True
Let c = -28 - -26. Let n be (13/39)/(c/(-42)). Suppose -3*a - 3*t = -n*t - 316, t = 3*a - 313. Is a a multiple of 12?
False
Suppose -2*q + 1128 = -1586. Suppose 4*u - j = 2050, 4*u - q = -5*j + 681. Is u a multiple of 50?
False
Suppose k + 1841 = p, -293*p + 298*p - 9210 = 4*k. Does 23 divide p?
False
Let w be -8 - (-2 + 1 + (-18)/6). Does 16 divide (-29)/116 + 1 + (-513)/w?
False
Let r(c) be the third derivative of -c**6/40 - c**5/12 - c**4/6 - c**3 + 328*c**2 - c - 6. Let k be (-4)/(2/(-1 + 3)). Does 6 divide r(k)?
False
Is 26 a factor of 3 - (-22198)/12 - (-59)/354?
False
Suppose 0 = 3*u + t - 57741 - 17798, 0 = -2*t + 16. Does 5 divide u?
False
Let i = -35 - -41. Let s = 452 - i. Is 28 a factor of s?
False
Let v(o) = -22*o - 11. Let y be v(-2). Let q = 120 - y. Does 59 divide q?
False
Let l be -4 + 134*(-4)/(-8). Let i = l - -41. Is i a multiple of 26?
True
Suppose 4*n = 16*n + 9276. Let y = 1115 + n. Is y a multiple of 6?
True
Is 12 a factor of 8 + (-4)/(-22) + (-52962)/(-77)?
True
Let b = 535 + 4134. Does 46 divide b?
False
Let b = 26 - 26. Suppose b = 9*z - 246 - 159. Let m = z + -28. Is 8 a factor of m?
False
Let z(q) be the third derivative of 13/24*q**4 + 0*q - 1/6*q**5 - 1/60*q**6 - 5/3*q**3 + 0 - q**2. Does 27 divide z(-8)?
True
Let t(g) = g - 35. Suppose 0 = -7*l + 6*l + 18. Let a be t(l). Let d = 4 - a. Does 6 divide d?
False
Let j = -722 + 1213. Let w = j - 105. Suppose -5*g = -y - 998, 0 = -0*g - 2*g - 4*y + w. Is g a multiple of 44?
False
Let p be -15*(-3)/(-36)*-352. Let l = p - -158. Is 26 a factor of l?
True
Is 4 a factor of ((-16560)/(-621))/(5/6)?
True
Suppose 224*a - 2688 = 220*a. Is a a multiple of 8?
True
Let m(w) = -3*w**2 - 25*w - 6. Let h be 2 + 2 + (1 - 12). Let c be m(h). Let f = -5 + c. Is f a multiple of 2?
False
Suppose 12*f + 6*f - 1313000 = -7*f. Is 13 a factor of f?
True
Does 41 divide 33/(-33) - 15/(-3)*976?
True
Is 2 a factor of 12/(-40) + (-39645)/(-150)?
True
Let s(u) be the first derivative of -1/2*u**2 - 5/3*u**3 - 1/4*u**4 - 15 - 9*u. Does 24 divide s(-7)?
True
Let o = 48 - 10. Suppose 2*u + o = 30. Does 2 divide 0 + 1 + u + 21?
True
Let l = 2119 + -2044. Is 10 a factor of l?
False
Let g be 90/(-14) + (-66)/(-154). Let z be (-2 - g)*10/8. Suppose 0 = w - z - 12. Is w a multiple of 13?
False
Suppose 11*m + 8064 = 95*m. Is m a multiple of 32?
True
Let v(h) = 5*h**2 + 12*h + 15. Let x be v(-7). Let f = x - 29. Suppose 0 = -5*o + 12*o - f. Does 21 divide o?
True
Let b(l) = 4*l**2 - 4*l + 13. Suppose 4*t + 1 = 25. Let x be b(t). Suppose 56 + x = 9*f. Is f a multiple of 3?
True
Let p be ((-3)/(-21))/(4/56). Is 679*(0 + 2 + (1 - p)) a multiple of 23?
False
Does 15 divide (1260/(-42) - -45)*-239*-3*1?
True
Let w be (-36)/(-27)*((-25)/10 - -4). Suppose w*t - 33 = -s, 3*s - 5*t - 64 = 46. Does 5 divide s?
True
Suppose 4*q - q + 19*q - 162360 = 0. Is 45 a factor of q?
True
Let d(m) = -2*m + 46. Let p be d(19). Does 40 divide (-422)/(3*p/(-48))?
False
Let o(h) = -467*h - 957. Is o(-31) a multiple of 65?
True
Suppose -9*z = -537 - 750. Suppose -1129 = -8*p + z. Is p a multiple of 46?
False
Let j = -4641 - -4674. Is 11 a factor of j?
True
Suppose 0 = 2*i - 3*n - 37418, 2*i - 64*n = -59*n + 37426. Is 6 a factor of i?
False
Suppose 20*b = 6*b + 9*b. Suppose 2*t = -2, t - 212 = -3*f - b*t. Let a = 154 + f. Does 25 divide a?
True
Suppose -1626 = -4*b - 120*p + 122*p, -p - 5 = 0. Does 6 divide b?
False
Suppose 73*l - 88541 = -208116 + 903887. Does 34 divide l?
True
Suppose -6002 = -22*l + 4206. Suppose 4*c - l - 3260 = 0. Does 49 divide c?
True
Let r(t) be the second derivative of 13*t**4/12 + t**3/6 - t**2/2 + 13*t. Let s be r(-1). Suppose -217 = s*g - 822. Is g a multiple of 22?
False
Let j(q) be the third derivative of 26*q**2 + 5/12*q**4 + 1/120*q**6 + 0*q + 1/2*q**3 + 7/60*q**5 + 0. Is j(-4) a multiple of 11?
True
Let b = 57 - 54. Let t be (-2 - (-60)/21)/(b/21). Is 13 a factor of 440/t*(-6)/(-5)?
False
Let v(u) be the second derivative of 12*u**2 - 5/6*u**3 - 8*u + 0. Is 29 a factor of v(-15)?
False
Suppose 18*f - 14935 - 27149 = 0. Does 7 divide f?
True
Let q(z) be the second derivative of z**4/24 + 17*z**3/6 - 10*z**2 + 31*z. Let m(a) be the first derivative of q(a). Is 12 a factor of m(-5)?
True
Suppose 4*j + 316*m - 45529 = 321*m, 3*j - 5*m - 34138 = 0. Is j a multiple of 116?
False
Let s = -111 - -188. Suppose 63*o = s*o - 10710. Is 15 a factor of o?
True
Let q(b) be the second derivative of 13*b**4/12 - 2*b**3/3 + b**2 - b. Let r(f) = f**3 - 5*f**2 - 13*f + 66. Let l be r(5). Does 8 divide q(l)?
False
Let r(w) = -190*w**2 - 3*w - 8. Let a(j) = 2*j**2 - j - 2. Let m(x) = 3*a(x) - r(x). Is 6 a factor of m(1)?
True
Suppose 9*m - 8*m = -4, -r + m = -10098. Does 103 divide r?
True
Let y(l) = -l**3 - 17*l**2 - 19*l + 28. Let o(a) = a**3 + 11*a**2 - 9*a + 20. Let b be o(-12). Is y(b) a multiple of 6?
False
Let s = -52 - -61. Let m(a) = 35*a - 68. Does 42 divide m(s)?
False
Let a(c) = 9*c**2 - 19*c - 1124. Is 20 a factor of a(28)?
True
Suppose 1302 = l - 5*y, y - 2 = 1. Is l a multiple of 9?
False
Suppose 0 = 4*o - 5*g + 15, -5*g + 7*g = -2*o + 6. Let q be -10 + o + -5 + (-2)/(-1). Let r(b) = b**2 + 9*b + 8. Is 22 a factor of r(q)?
False
Let o(h) = 3*h**2 - 1. Let f be o(-1). Let t be 132 + (0 - (1 + f)). Let s = t + -90. Is s a multiple of 9?
False
Suppose c - 5*a - 132 = 0, -c - 3*a - 74 + 190 = 0. Let i = c - -138. Does 52 divide i?
True
Suppose -13*f + 42257 + 31583 = 0. Does 16 divide f?
True
Suppose 2*h - 9*a - 2745 = -12*a, -5*h - 3*a + 6840 = 0. Suppose -6*w - h = -11*w. Is w a multiple of 5?
False
Is (-4 - 32102)/(54 + -56) a multiple of 34?
False
Let i(m) = 132*m + 3. Let h be i(-1). Let b = h - -171. Is b a multiple of 9?
False
Let h = -5722 + 6346. Is h a multiple of 26?
True
Let i = 55 - 55. Suppose 3*q + 8 = -q, i = -5*t - q + 28. Suppose 0 = 4*b - 5*k - 57, -k + t = k. Is 9 a factor of b?
True
Suppose 0 = -5*z - 2*f + 949, -f + 764 = 4*z + 3*f. Let a = -117 + z. Is 3 a factor of a?
True
Suppose -4*j + 5*c + 2001 = 0, 4*j - 21*c = -23*c + 2022. Is 28 a factor of j?
True
Suppose 0 = -4*t + 2*j - 3*j - 27, -2*t + j = 21. Let o(r) = -r**3 - 4*r**2 + 2*r + 16. Is o(t) a multiple of 3?
False
Let p be ((-1)/2)/((-23)/92). Is 29 a factor of p*(-1)/(-7) - 29700/(-77)?
False
Suppose 568504 = 4*p + q, 0 = p + 36*q - 35*q - 142129. Does 9 divide (-1*2/6)/((-125)/p)?
False
Let q(r) = 8*r + 74. Let v be q(10). Let f = v + -80. Is f a multiple of 37?
True
Let h(d) = 17*d**2 - 199*d - 705. Does 244 divide h(-43)?
False
Suppose 2*y + 3*c - 2430 = 9084, 0 = -4*y - 2*c + 23004. Is 13 a factor of y?
False
Let t = -140 + 141. Is (226 - (t + 0)) + (-4 - -3) a multiple of 32?
True
Suppose -3*c + 4*p = -991, -3*p = 5*c - 914 - 757. Let m = c - 67. Is 38 a factor of m?
True
Suppose -5*b - 3*k = -34, 0 = 3*k - 0*k + 6. Is 55 a factor of ((-876)/b)/(-3 - 245/(-84))?
False
Let r = -237 - -437. Is (-43 - 2)*r/(-15) a multiple of 24?
True
Let h be (16/(-12))/((-4)/9). Suppose -4*r + 2*v - 290 = r, -3*r - 174 = -h*v. Does 5 divide r/(-2 + 2 + -2)?
False
Let m be (2/(2*2))/((-20)/(-40)). Is (5118/(-96)*-