False
Let h be ((-27)/(-12))/(27/(-288)*-4). Let d(f) = 50*f**2 - 19*f + 25. Is 29 a factor of d(h)?
True
Let a(s) = 33*s + 5. Let c be a(0). Suppose -3*r + c*r = 474. Does 79 divide r?
True
Suppose -2*p = 10 - 30. Suppose p*l - 210 = 630. Is 2 a factor of l?
True
Let a = -40 - -59. Suppose a*x = 699 + 1315. Is 12 a factor of x?
False
Suppose 10*y - 1046 - 854 = 0. Suppose n - 1 = -3, -4*a - n + y = 0. Does 8 divide a?
True
Let p(z) = 2*z**3 + 7*z**2 - 28*z + 367. Is p(13) a multiple of 31?
True
Is (52 - -2)*(-11)/((-132)/36) a multiple of 9?
True
Let j(d) = 42*d**2 + 16*d - 428. Is j(-15) a multiple of 24?
False
Let v be (2*-1)/(10/(-635)). Suppose -33*n + 3*n = -1260. Let g = v - n. Is g a multiple of 15?
False
Let b = -16103 + 18875. Is 4 a factor of b?
True
Suppose -5*m + y = -y + 497, -3*y = -m - 89. Let l be ((-1)/(-1))/(-7 + 3636/519). Let w = m + l. Is w a multiple of 24?
True
Let u(j) = 3*j**2 + 12*j + 45. Let p be ((-1)/(-6)*9)/(1/2). Let l(x) = 4*x**2 + 11*x + 46. Let r(k) = p*u(k) - 2*l(k). Does 12 divide r(-14)?
False
Let p = 9928 + -8524. Is 117 a factor of p?
True
Let o = -14581 - -14933. Is o a multiple of 8?
True
Suppose -2513 = -10*d + 15387. Is 26 a factor of d?
False
Let x(l) = l**3 + 9*l**2 - 16*l + 17988. Does 12 divide x(0)?
True
Let a = 23 + -97. Let s = 76 + a. Suppose t + 3*x - 106 = -s*x, -t + 110 = 4*x. Is 6 a factor of t?
True
Let i(h) = -3*h - 11. Let x be i(-5). Suppose 3*f = 4*q - 0*q - 2, 0 = -3*f - x*q + 14. Suppose -5*o = 2*z - 508, f*o - 2*z = 34 + 158. Does 20 divide o?
True
Let j be (-6 - 2)*346/12*3. Let t = 1031 + j. Is t a multiple of 18?
False
Let f(v) = -v**3 + 9*v**2 - 6*v + 3. Let a be f(4). Suppose a = -2*t - 21. Does 31 divide 4/(-2)*620/t?
True
Let v(h) = -1985*h**2 + 20*h + 20. Let k be v(-1). Let s = -574 - k. Is s a multiple of 17?
True
Suppose 5*l = -4*g + 35, 0 = 4*g + 2*l + 15 - 53. Let f be 6 - (-3 + g + -5). Suppose -f*c + 17*c - 2262 = 0. Is c a multiple of 28?
False
Let m = -3820 + 7830. Does 112 divide m?
False
Let z(v) = -762*v + 12237. Is 30 a factor of z(-30)?
False
Let d(n) be the second derivative of 11*n**3/6 + 27*n**2 - 11*n. Let p be d(-5). Does 32 divide p/2 + 3060/40?
False
Let v(q) = -q - 22. Suppose -8*x = -5 + 61. Let j be v(x). Does 7 divide 23/2*(j - -17)?
False
Suppose 3*d = -3*t + 87, 0*d = -t - 3*d + 35. Suppose 114 = t*v - 24*v. Is 9 a factor of v?
False
Let m(t) be the third derivative of t**4/24 - 2*t**3/3 + 2*t**2. Let a be m(7). Suppose 7*b - 88 = a*b. Is b a multiple of 6?
False
Let h(x) = -10*x - 2. Let m be (-2 - (0 - 0))*(-2 - -3). Let n(j) = 7*j + 5. Let q be n(m). Is 22 a factor of h(q)?
True
Let q be -2*-3*5/10. Let t be 10/(-30) + (-194)/q. Let w = 100 + t. Is w a multiple of 30?
False
Suppose 2*l - 6*l + 9 = j, 4*j + l = -9. Is 5 a factor of j/((3/(-100))/((-4)/(-16)))?
True
Let z(m) = m**3 + m**2 + 2*m - 38. Let r be z(0). Let l = 24 + r. Is (l/(-2))/(1/10) a multiple of 8?
False
Suppose 16*i + 18 = 22*i. Suppose -367 = -5*d - i*j, d + 2*j = -4*d + 368. Let z = -10 + d. Is 16 a factor of z?
True
Suppose 4*b + 2*k = 74040, 55*b - k - 18519 = 54*b. Is b a multiple of 9?
True
Let j(h) = 0 + h + h**2 - 5*h + 24 - 4. Let i be (-3 + 2)*(1 - 7). Is j(i) a multiple of 13?
False
Suppose y - 7 = 0, -2*i - 3*y = -1049 - 908. Does 11 divide i?
True
Suppose 116*t - 112*t = 904. Suppose t*a = 232*a - 786. Is 9 a factor of a?
False
Let a(r) = r**3 - r**2 + 2*r + 10. Let d be a(0). Suppose -5*u = -d, -2*u - 4 - 20 = -4*j. Let h(c) = c**3 - 5*c**2 - 6*c - 16. Does 8 divide h(j)?
True
Let x be 3/(6/32736*12). Suppose -4*r = 4*s - x, s = 3*r + 2*s - 1025. Is 18 a factor of r?
True
Suppose -5*o = -5*f - 32660, 29*o - 25*o = -f + 26163. Is 5 a factor of o?
False
Let i(o) = -41*o - 774. Does 13 divide i(-31)?
False
Is 10/(11 - 101)*-336*123/2 a multiple of 11?
False
Let z = -1739 - -32529. Is 21 a factor of z?
False
Suppose 9*g - 150 = 24*g. Let i(z) be the second derivative of -z**5/20 - 11*z**4/12 - 2*z**3 - 3*z**2/2 + 2*z. Is 5 a factor of i(g)?
False
Suppose 70*b - 66366 - 281474 = 234840. Is 88 a factor of b?
False
Suppose -18*u = -20*u + 2. Let l(r) = 658*r**3 + 2*r**2. Does 33 divide l(u)?
True
Suppose -3*a - 8372 - 5668 = 0. Does 26 divide (128/40)/((-16)/a)?
True
Suppose 0 = 4*i + 5*a - 31675, 23751 = 2*i + i + 2*a. Does 5 divide i?
True
Let z = 29777 - 14029. Is z a multiple of 31?
True
Suppose 88385 + 29301 = 51*h - 76012. Is h a multiple of 6?
True
Suppose 62982 = 13*b + 8889. Is b a multiple of 8?
False
Suppose -h - 4*m = -13780, -46790 = -5*h + m + 22005. Is h a multiple of 53?
False
Let g be (4 - 5) + 0 + 1 + 2. Suppose -2*f + 6*f - 16 = 0. Suppose -w + 41 = f*c, -c - 5 = -g*w - 4. Does 3 divide c?
True
Let s(p) = -p**3 + 6*p**2 + 2*p - 3. Let w be s(9). Is ((-2)/(-2) + 1)/(w/(-23598)) a multiple of 23?
True
Let p be (15 - 1)*((-1)/2 + 1). Suppose -5*s - 80 = -z, p*s = z + 12*s - 40. Suppose l - 5*d = -0*l + z, 60 = l + 3*d. Is 12 a factor of l?
True
Suppose -14*r + 58 = 16. Suppose r*k + 14 = o - 11, -o = k - 9. Suppose t + 5*m = o, 3*t + m - 65 = -2*t. Does 4 divide t?
False
Let z be (-4)/14 + 195/21. Let v be (-52)/(z - 4 - 4). Let y = 77 - v. Is y a multiple of 18?
False
Suppose t - 18 = -2*w, 5*t = -2*w + 21 - 3. Let a(v) = -23*v - 2*v**2 + 478 + 7*v + 481 - 960 + 4*v**2. Does 2 divide a(w)?
False
Let b be 89 + (6 - (5 + 0)). Suppose -80*m = -b*m + 5280. Is m a multiple of 44?
True
Let m be (-1 + 1)/((-4)/(-4)). Suppose m = -k - 0*k + 2. Is k/(-13) - (2976/(-26))/3 a multiple of 17?
False
Let z be -5 + 2 - -5 - (2 + -4). Suppose 0 = -5*s - z*s + 153. Suppose s*h = 14*h + 186. Is h a multiple of 28?
False
Suppose 0 = -3*q + 5*m - 624, -5*q - 4*m - 1003 = -0*m. Let p = 242 + q. Is p a multiple of 3?
True
Let z = 17 - 15. Suppose -4*b + 264 = z*y, 3*y + 0*y = 4*b - 244. Suppose -18*s = -26*s + b. Does 2 divide s?
True
Let n(g) = 3233*g - 14677. Does 9 divide n(16)?
False
Let f = -62701 - -88013. Is 12 a factor of f?
False
Suppose 354*u - 350*u = 16. Is 997/u + 28/16 + -2 a multiple of 13?
False
Let p be (-16)/4 - (7 + 2 - 3). Let w = -6 + 1. Is (-2)/p - ((-4276)/20 - w) a multiple of 11?
True
Let h be 1/2 + (-9471)/(-66). Suppose 2*o - 293 = y, 2*o - o = -2*y + h. Does 28 divide o?
False
Suppose -4*x - 3*w + 8321 = -35510, -5*x + 5*w + 54815 = 0. Is 10 a factor of x?
True
Suppose -7 = -3*v - 4. Let x be (3*(3 + -2))/(v + 0). Suppose u + u - 103 = 3*s, x*s = 5*u - 280. Does 13 divide u?
False
Let y(h) = 55*h**2 + h + 47*h**2 + 0*h - 9*h**2. Let d(p) = -p**2 - 18*p - 82. Let n be d(-9). Does 39 divide y(n)?
False
Let m = -5581 + 14137. Is m a multiple of 31?
True
Suppose 15 = 23*p - 31. Suppose p*n = -4*t + 74, t - 4*n = 38 - 15. Does 2 divide t?
False
Let c(r) = -2*r**3 + 3*r**2 - 17*r + 5. Let v be c(-6). Suppose -v - 769 = -3*h. Suppose -2*d - h = -2*s, -2 = 5*d + 18. Does 22 divide s?
False
Let b = 988 + -880. Does 9 divide b?
True
Suppose -5*m = 2*h - 5424, 0 = 4*m - h - 2*h - 4353. Suppose 1079*t + 5796 = m*t. Is 46 a factor of t?
True
Is 19 a factor of -20*(-1)/((-28)/(-1197))?
True
Let g = -721 - -1886. Suppose g = 10*x - 1365. Is 27 a factor of x?
False
Let d(m) = 20*m**2 + 94*m - 970. Does 32 divide d(12)?
False
Let g = -462 + 2299. Does 11 divide g?
True
Suppose g - 4*k - 20 = 0, 5*g = -5*k - 13 + 88. Suppose -2 - g = -6*r. Suppose 0 = r*o - b - 31, -4*o + 47 = -3*b + 4. Is 5 a factor of o?
True
Is 30 a factor of 14/18 + -1 + (-13306012)/(-2259)?
False
Let l(r) = 93*r**2 - 18*r - 20. Let t be l(-2). Let x = -11 - -29. Suppose t = x*u - 98. Is u a multiple of 25?
False
Let i(v) = v**3 - 2*v**2 + 6*v + 5. Let b be i(3). Is (1 - -1397)/(-30 + b) a multiple of 18?
False
Let f(p) = 4788*p - 7474. Is f(6) a multiple of 33?
False
Suppose 4*q + k - 6 = 8, -13 = -5*q + k. Let f = q - -5. Suppose -10 = 2*m, 0 = u + 4*m - f - 8. Is u a multiple of 9?
True
Let c(g) = -g**2 - 27*g - 16. Let p be c(-26). Suppose -41 - 49 = p*z. Let n(f) = 4*f**2 + 30*f + 15. Does 9 divide n(z)?
False
Let d(l) = l**3 + 7*l**2 + 4*l + 133. Is 18 a factor of d(-7)?
False
Suppose -10*h - 37*h = -2*h - 787320. Does 54 divide h?
True
Suppose 146*u + 96*u - 1971574 = 0. Is 28 a factor of u?
False
Suppose -358632 + 310291 = -83*k + 1337344. Is 53 a factor of k?
True
Suppose 4*s + 1 