 38 = -2*k - 129. Suppose 74 = t + w. Is 26 a factor of t?
False
Let f(g) = -g**3 - 32*g**2 + 319*g + 19. Does 42 divide f(-40)?
False
Let f(t) = -t**3 + 12*t**2 + 28*t - 1. Suppose -5*x = -a + 24, 0*a = -5*a - 4*x + 62. Let g be f(a). Let o(l) = 18*l**2 - l + 1. Does 10 divide o(g)?
True
Let z = 27 + -25. Suppose z*w + p - 10 = 0, -2*w + 2*p + 0 = 2. Suppose -2*u - w = -25. Does 11 divide u?
True
Suppose 974 = -30*l - 2296. Does 18 divide (1 + 8)/(-2 - l/54)?
True
Let n = -1 - -5. Suppose -165 = -n*i - i. Suppose 1944 = i*b - 27*b. Is 28 a factor of b?
False
Let z(r) = 1246*r - 8844. Is 162 a factor of z(24)?
True
Let h = -885 - -650. Let y = h + 271. Is y a multiple of 12?
True
Suppose 2*a = -2*y - 2*a - 72, 5*y = 2*a - 204. Let x be ((-4)/y)/((-6)/45)*-12. Is 14 a factor of x*26 + 3*(3 + -2)?
False
Suppose 132805 = 12*x + 36649. Is x a multiple of 12?
False
Suppose v = -4*g + 14, -5*v = g - 6*g + 5. Let a(c) = -c**3 - c**2 + 2*c + 3. Let z be a(-2). Suppose -v*r + 50 = -5*o, -z*r + 54 + 2 = 2*o. Does 10 divide r?
True
Let d be 2/(-3 + 3*42/36). Suppose 0*r = 2*a + r - 150, 0 = 5*a + d*r - 372. Is 19 a factor of a?
True
Let g(f) be the second derivative of -17/2*f**2 - 11*f + 5/3*f**3 + 1/12*f**4 + 0. Does 22 divide g(-16)?
False
Let z(b) = b + 8. Let i be z(-5). Suppose 2*f = 2, -i*f = -5*j - 181 + 2133. Suppose -7*c + j + 99 = 0. Is 14 a factor of c?
True
Let b be (-2 - 40/(-14))*42/12. Suppose -5*y + 3*y = 2*c - 34, b*c = -4*y + 66. Suppose y*i - 410 = 610. Is i a multiple of 25?
False
Suppose 9*t - 91 = -1225. Let u = -121 - t. Suppose 0 = -5*b - u*b + 2250. Is 15 a factor of b?
True
Let j(r) = r**3 + 12*r**2 + 16*r + 9. Let h(q) = 15*q - q**3 + 8 + 12*q**2 - q**3 + 0 + 3*q**3. Let m(n) = 4*h(n) - 3*j(n). Is m(-9) a multiple of 34?
False
Let o = 19300 + -9187. Does 5 divide o?
False
Suppose 3*d = 5*m - 171 + 47, -3*d - 164 = 5*m. Let c be ((-35)/(-28))/((-2)/d). Let l = c - 10. Does 10 divide l?
True
Suppose 4*u = n - 6, 5*n - 2*u = n + 10. Suppose n*s - w - 8 = -3*w, -4*w = s + 8. Suppose 4*p = s, 4*y + 4*p - 29 = 259. Is y a multiple of 14?
True
Let q = 44 - -4249. Is q a multiple of 81?
True
Suppose 0 = m + 4 - 5. Suppose 2*p - 3*a + 4 = -m, 0 = p - 4*a + 10. Suppose f + 4*b = -0*f + 24, b = -p*f + 48. Is f a multiple of 6?
True
Let v(y) = 24*y**2 + 66*y + 723. Is 29 a factor of v(-11)?
False
Suppose 0 = 3*d - 8*o + 14*o - 4386, -2*d + 5*o = -2960. Does 5 divide d?
True
Let o = 131 + -75. Let h = o - 40. Suppose 4*j = -h, 2*j - 76 = -3*l - 0*j. Is 10 a factor of l?
False
Suppose c - 4360 = 23*d - 26*d, -3*c = -5*d - 13080. Is c a multiple of 10?
True
Let t = -537 + 540. Suppose -3*c - v + 215 = 0, -t*c - 88 = 3*v - 313. Is c a multiple of 14?
True
Let k = 20430 + 13241. Does 166 divide k?
False
Suppose 5*g - 123 + 3588 = 3*i, -4*g - 2310 = -2*i. Let z = i + -252. Does 21 divide z?
True
Let i = -635 - -724. Suppose i*x = 80*x + 3024. Is x a multiple of 24?
True
Let x = 14800 + -14496. Does 4 divide x?
True
Let f = -5648 + 20189. Does 393 divide f?
True
Suppose 3*u = -3*k - 354, -3*u + 5*k - 117 - 213 = 0. Let z = u - -369. Is z a multiple of 13?
False
Let p(m) = 14*m**2 + 54*m + 1382. Does 11 divide p(-27)?
False
Let x = -740 + 1667. Let p = -476 + x. Is 41 a factor of p?
True
Let n(i) = -91*i + 6998. Is n(38) a multiple of 36?
False
Let s be 0 - 1123/(-9) - (-12)/54. Let d(h) = -3*h**3 + h**2 - 3*h - 5. Let o be d(-4). Let v = o - s. Is v a multiple of 10?
True
Let l = -717 - -949. Suppose 10*p + l = 14*p. Is 6 a factor of p?
False
Let p be -2 - -9 - (-2 + 0 + 8). Does 7 divide (1467/7 - p) + 440/(-770)?
False
Let r = -49805 + 83540. Is 89 a factor of r?
False
Let w(n) = -n - 2*n - 28*n**2 + 7*n. Let z be w(3). Does 15 divide ((-17)/((-68)/z))/((-2)/8)?
True
Let g = 23 + 3. Suppose -3*a = 5*l - 88 - g, -5*l = 5*a - 110. Does 24 divide l?
True
Let y(r) = 49723*r**2 + 5*r - 2. Is y(1) a multiple of 9?
False
Suppose 1546 = p - 2*t - 5330, 3*p - 20648 = -4*t. Is 8 a factor of p?
True
Let l(y) = -y**3 - 7*y**2 + 8*y + 10. Let g be l(-8). Suppose g*p - 28 = 3*p. Suppose -p*b + 7*b - 9 = 3*n, 0 = 2*b + 3*n - 31. Is 8 a factor of b?
True
Let n(o) = -114*o - 62. Let m be n(-11). Suppose -2*v = -3*k + m, 6*k = k + v + 1996. Is 12 a factor of k?
False
Let s(a) = 8*a**3 - a + 6744. Is s(0) a multiple of 6?
True
Suppose -4*l + 8 = 4*g, l - 14 = g - 22. Suppose -5*y + 3*i + 85 = -175, y - g*i - 52 = 0. Is y a multiple of 3?
False
Suppose 15 - 27 = -3*j. Suppose y + 12 = 5*r + 34, -5*y + r + 14 = 0. Suppose -y*x + 263 = j*l + x, -3*l - x = -201. Does 25 divide l?
False
Suppose 260 = 11*i + 337. Is (-2)/i + (19984/28 - 6) a multiple of 11?
False
Suppose -5*h = -4*y + 9*y - 25, 2*y = 2. Suppose h*r + 100 - 540 = 0. Does 10 divide r?
True
Let u = 166 - 256. Is 5 a factor of (-3135)/u + -1*(-1)/6?
True
Let w be 22/(-132) + 4010/12. Suppose -76 = -s + 2*n + 2*n, 4*s = n + w. Is 3 a factor of s?
True
Let b(f) = 2*f - 24. Let s(u) = -u + 12. Let w(h) = -3*b(h) - 5*s(h). Let j be w(7). Suppose 2*i = -0 - 10, 5*i - 615 = -j*g. Is 14 a factor of g?
False
Let u(l) = l**2 - 2*l - 3. Let g be u(3). Suppose 5*i - 4 = -3*k, -27*k = -2*i - 24*k + 10. Suppose -2*v + i + 472 = g. Is v a multiple of 19?
False
Let l = -12672 - -13641. Does 23 divide l?
False
Let k = 669 - 633. Is 13 a factor of -171*4*(-39)/k?
True
Let i(b) be the third derivative of -b**5/60 + 4*b**4/3 - 7*b**3/6 + b**2. Let f be ((-39)/12)/((-52)/208). Is 16 a factor of i(f)?
True
Let r(g) = 8*g - 22. Let d be r(4). Suppose 0 = -5*l + 3*x + 16, 0*l - l + d = -4*x. Suppose 3*a - o = l*o + 60, 0 = 5*a - 4*o - 96. Is a a multiple of 3?
False
Let x(u) be the third derivative of -25*u**2 + 0*u - 7/6*u**3 + 0 - 1/15*u**5 + 1/15*u**6 + 1/24*u**4. Does 14 divide x(3)?
False
Let p(c) = c**3 - 19*c**2 + 28*c - 58. Let q be p(17). Let k = -62 - q. Does 14 divide k?
True
Let a(u) = 0 - 18*u + 4*u**2 - 2*u**2 + 3*u**2 + 15. Is a(11) a multiple of 34?
False
Let n(q) = -5*q**3 + 32*q**2 - 156*q - 49. Let d(s) = 4*s**3 - 34*s**2 + 156*s + 49. Let k(f) = -4*d(f) - 3*n(f). Is 44 a factor of k(35)?
True
Suppose 498*q - 11*q = 3963206. Is 30 a factor of q?
False
Let g(m) = m**2 + 7 + 21 + 15*m + 2. Let w be 30/(-2) + -3 - (6 + -10). Does 10 divide g(w)?
False
Let x(f) = f - 4. Let o be x(6). Let g = 151 - -334. Suppose -g = -7*t + o*t. Does 16 divide t?
False
Let j(d) = 3*d + 1. Let c be j(1). Suppose 399 + 638 = c*x - 3*t, 0 = 4*x - 5*t - 1027. Suppose -5*a - 5*f + 645 = 0, 3*f = -6*a + 4*a + x. Does 29 divide a?
False
Let y(n) be the first derivative of -n**4/4 + 11*n**3/3 - 7*n**2/2 + 22*n + 5. Let m be y(10). Let h = m - 20. Is 7 a factor of h?
False
Let a(v) = 39*v**3 + 30*v**2 - 85*v - 9. Is 7 a factor of a(4)?
False
Let x(g) be the third derivative of g**5/15 + 25*g**4/24 - 2*g**3 - 78*g**2. Is 10 a factor of x(6)?
False
Suppose -10*d = -12*d. Suppose d = u + 12*u - 4836. Does 13 divide u?
False
Suppose -6029 + 25999 = 10*k. Suppose 0 = -6*c + 3943 + k. Does 18 divide c?
True
Let y(x) = -45*x**3 + x. Let o be y(-1). Let r = 215 - o. Does 19 divide r?
True
Let t(d) be the third derivative of -d**5/12 + 5*d**4/12 - 7*d**3/3 + 25*d**2. Let u be t(5). Let w = -16 - u. Is 13 a factor of w?
False
Suppose 23*c - 32*c + 10044 = 0. Suppose 2*z + 2*b - c = 0, 22*z - 2234 = 18*z - 3*b. Is 28 a factor of z?
True
Suppose 569*h - 593*h + 171384 = 0. Is 47 a factor of h?
False
Let l(c) = 66*c**2 + 53*c + 805. Is l(-13) a multiple of 115?
True
Let c = -51 - -55. Suppose 1653 = x + c*p, -x + 3*p = -457 - 1175. Suppose -x = -9*t - 84. Is 16 a factor of t?
False
Let r = -2548 + 5003. Is 175 a factor of r?
False
Let x = -18 + 20. Let h be (4/6)/(x/(-3)) - -3. Let l = h - -114. Is l a multiple of 29?
True
Let r(d) = 2917*d - 823. Is 20 a factor of r(3)?
False
Let l be (-38)/(6 + 39/(-6)). Let o = -18 + l. Is o a multiple of 9?
False
Let q(m) = -m**3 + 6*m**2 - 5*m. Let k be q(3). Let p be 98/34 + k/102. Is 51 a factor of ((p - 1) + -135)*-2?
False
Suppose 9*f - 399 = 60. Suppose -2*o - 3*u + f = 0, 0*u = o - 2*u - 15. Is 2 a factor of 16/(-20)*(-20)/24*o?
True
Let n be 5*21*2/5. Suppose -5*l = 5*x - 50, 4*l + 5*x - 36 = 2*x. Does 17 divide (-478)/(-14) - l/n?
True
Let l be (62/(-3))/((-4)/834). Suppose 9*w - l = 1928. Does 9 div