 = z. Suppose -2*h = 4*x - 386, -2*h - w = -4*h + 3*x. Is 11 a factor of h?
True
Let w(n) = n**3 - 41*n**2 + 94*n + 24. Does 8 divide w(40)?
True
Does 225 divide 50996/33*(3 - (-78)/4)?
False
Let k(d) = 120*d**2 - 120*d + 370. Does 61 divide k(3)?
False
Let s = -401 + 7510. Is s a multiple of 4?
False
Suppose -96*i + 94*i + 1675 = -5*p, -p = -2*i + 1663. Is i a multiple of 6?
False
Let x(s) = s**3 - 4*s**2 + 2*s + 4. Let j be x(3). Let d be (j - 0/(-4))*588. Suppose -3*p = 105 - d. Is 23 a factor of p?
True
Let f(y) = -19*y**2 - 6*y - 15. Let k be f(-15). Is ((-84)/10)/(70/k) a multiple of 47?
False
Does 59 divide 5/(10/(-24))*(137009/(-57) + 44)?
False
Let b = 43577 + -38201. Is b a multiple of 193?
False
Let g(y) = -y**2 + 12*y - 44. Let l(f) = -3*f**2 + 48*f - 176. Let u(n) = -9*g(n) + 2*l(n). Is u(6) a multiple of 16?
True
Suppose 3*b + 3*y + y = 43, 4*b - 64 = -2*y. Let i = 298 + -198. Suppose -2 = -b*w + i. Is w a multiple of 3?
True
Suppose -s = 4*j + 134 + 111, 3*j + 5*s = -205. Is 1281 - j - (1 - 7) a multiple of 55?
False
Let y(z) = -40*z**3 + 6*z + 4. Let s(v) = -9*v + 16. Let p be s(2). Is y(p) a multiple of 24?
True
Let w(x) = 3 + 6 - 32*x - 4 - 4. Let g be w(9). Let y = g + 414. Is y a multiple of 14?
False
Let j be 4/(-14) - 7731/63. Let p = 77 + j. Let z = 79 + p. Is 11 a factor of z?
True
Let s(q) = 14*q**2 - 12*q - 12. Let x be s(6). Suppose -6*r = -x - 48. Is r a multiple of 13?
True
Let q(x) = 12*x + 17. Let r(g) = -17*g - 22. Let l(d) = d + 1. Let h(y) = 6*l(y) + r(y). Let i(w) = -6*h(w) - 5*q(w). Is i(4) a multiple of 6?
False
Let b(n) = -n + 10. Let u = -11 - -17. Let c be b(u). Suppose -c*t + 4*v + 324 = 0, -3*v - 18 + 6 = 0. Is 11 a factor of t?
True
Let g = 3 - 6. Let v(s) = -100*s + 435. Let a be v(3). Let k = a + g. Is k a multiple of 22?
True
Let w be 36772/464*-2*1*2. Let y = w + 506. Is 21 a factor of y?
True
Suppose -4*n + 5 = -2*w - 21, 0 = -2*n + 3*w + 23. Suppose 0 = f + 1 + n, 5*j + 5*f + 145 = 0. Is -1 - -5 - (j + -4) a multiple of 16?
True
Let q(n) be the first derivative of n**3/3 + 13*n**2/2 - 189*n + 40. Is q(-40) a multiple of 11?
True
Let n(u) = -355*u**3 + 6*u**2 - 220*u - 1110. Does 14 divide n(-5)?
False
Let y be 210/112 + (-1)/(-8). Suppose y*f - 566 + 46 = 0. Does 26 divide f?
True
Suppose -3*z + 16 = 2*m + z, 0 = 2*m - 2*z + 2. Let s(a) = -3*a**3 + m*a**2 + 72*a - 2 - 3*a**2 - 66*a. Is s(-3) a multiple of 21?
False
Let m(o) = -2*o**2 + 52*o - 16. Let h be m(25). Suppose -5*k + 36 = -h. Let n(x) = -x**3 + 13*x**2 + 15*x + 6. Does 5 divide n(k)?
True
Is (-27)/(-3) + (-10 - 120736/(-16)) a multiple of 6?
False
Let r = -4557 + 14840. Is r a multiple of 7?
True
Let v(i) = -4*i**3 - 10*i**2 + i + 3. Let r be v(-5). Suppose 0*y - 3*y = 4*u - 372, -2*y = -5*u - r. Suppose -p + 23 = -y. Does 22 divide p?
False
Suppose 142*q - 217 = 139*q + b, -4*b = -q + 87. Suppose w - 458 + q = -4*d, w - 191 = -2*d. Does 49 divide d?
True
Is 12 a factor of ((-8108)/2)/(44/1078*-7)?
False
Let a = 2557 - 1712. Let w = 1219 - a. Is w a multiple of 24?
False
Suppose -16*i - 3 = -17*i. Suppose 3*q - 528 = -i*v, 4*v + 0*v = 4. Does 25 divide q?
True
Suppose -4*p + 3*u = 104, 3*u + 2*u = 0. Let a be 21/(-12)*(2 - p). Is (-868)/a + 4/14 a multiple of 3?
True
Suppose -8*u = -5*u + 9. Let s be u + (-6)/12 + (-11)/(-2). Suppose 0 = 2*r + s*m - 40, -7*r + 93 = -2*r - 2*m. Is 8 a factor of r?
False
Suppose 125*t + 1291575 = 8086825. Is t a multiple of 14?
True
Let q(p) = 48*p + 1404. Does 11 divide q(43)?
False
Let z(v) = -2*v**3 + 32*v**2 + 11*v + 113. Is z(15) a multiple of 28?
True
Let m be (-13)/(-26) + 36/8 + -3. Suppose -17*n = -m*n - 14400. Is n a multiple of 8?
True
Let i = 46 - 46. Suppose j - 190 - 39 = i. Suppose -l - a + j = l, 119 = l - 4*a. Is l a multiple of 18?
False
Is (-1658696)/(-56) + 80/(-8) - (-6)/14 a multiple of 282?
True
Suppose 0 = -2*l - 3*l. Let m be (-5)/(0 - 10)*4*2. Suppose l = -g + m*g - 84. Is 26 a factor of g?
False
Suppose -13*c - 2*h - 10196 = -18*c, -3*c = -2*h - 6116. Is 112 a factor of c?
False
Does 109 divide -3 + -3 - (45 + -2776)?
True
Let z = -959 - -1416. Let f = z + -238. Does 23 divide f?
False
Suppose -f + x = -237, 8*x = -3*f + 6*x + 731. Suppose -k + f = 2*c - 231, k - 4*c = 484. Is 4 a factor of k?
True
Let p = -19965 + 21107. Is p a multiple of 12?
False
Let p = -855 + 374. Let q = -11 - p. Is 6 a factor of q?
False
Suppose 2*u - 930 = -45*a + 35*a, 0 = a + 4*u - 93. Does 21 divide a?
False
Let y(b) be the second derivative of -7*b**3/2 - 30*b**2 + 2*b + 25. Is y(-3) a multiple of 2?
False
Suppose -4*v - 15*c = -20*c - 154, 86 = 2*v + 2*c. Is 3*v - 308/(-44) a multiple of 10?
True
Let y(f) = 2185*f + 1 - 2 - 1101*f - 1207*f. Let v = 1 + -2. Is y(v) a multiple of 21?
False
Suppose -5 - 67 = -6*v. Does 28 divide (2 + -14)/(v/(-84))?
True
Suppose -2*h - 4*z + 86 = -374, 2*z = -10. Does 15 divide (h/(-56))/((-3)/42)?
True
Suppose -35*x = -30*x - 20. Suppose -x*z + 687 = -21*s + 22*s, 2*s = z + 1329. Does 57 divide s?
False
Let r(u) = -71*u**3 + u**2 + 92*u + 288. Is 285 a factor of r(-9)?
True
Let i(a) = a**2 + 18*a - 1620. Does 3 divide i(-66)?
True
Suppose -4*f + 3*w + 33 = -37, 2*f - 42 = 5*w. Let a(c) = -20 - 15 - 5 + c + 5*c. Is 14 a factor of a(f)?
True
Is 7645 + (((-9)/2)/1)/((-376)/(-752)) a multiple of 167?
False
Suppose n = 4*x, 2*n = 5*x - 3 + 6. Suppose -3*q + 200 = -2*u, -n*q + 404 = -5*u + u. Let b = 220 + u. Is b a multiple of 12?
False
Suppose 0 = 62*t - 3846 + 498. Let q be 1 + 0 - (-4 + 1). Let l = t - q. Is 10 a factor of l?
True
Let s(f) = f**3 - 4*f**2 + 6*f - 9. Let i(g) be the third derivative of -g**6/120 + g**5/15 + 7*g**4/24 - 2*g**3/3 + 11*g**2. Let v be i(5). Does 9 divide s(v)?
True
Let f = -122 - 137. Let v = 132 - f. Does 48 divide v?
False
Suppose -7 - 1 = -4*p. Suppose o + 4 = -3*r, -6*r - 3 = -p*r - o. Is 8 a factor of 24 + (r - 6/(-3) - 2)?
False
Let d = 12665 - 7737. Is d a multiple of 44?
True
Suppose b + 0 = 2, -730 = 4*m + 3*b. Let h = m + 298. Is 38 a factor of h?
True
Suppose 2*y = -1786 + 6612. Suppose 22*b - 1393 - y = 0. Does 15 divide b?
False
Let o be 2*170/(-8) - (-57)/(-38). Let k = 49 + o. Suppose -2*r + 5*r = -2*c + 38, 2*r - k*c = 19. Is r a multiple of 3?
True
Let n be 4 + -3 - (-3 - (0 + 1)). Suppose 4*w = -n*r + 15, 0 = r - 4*w - 0*w - 3. Suppose -r*j + 5*l + 242 = -415, -3*j - 5*l = -687. Is j a multiple of 14?
True
Suppose 0 = -3*o - w + 3966, -87*o - 3*w + 2637 = -85*o. Does 9 divide o?
True
Is (7 - 5)*3 - -969 a multiple of 18?
False
Suppose -2*m + 34367 = -5*y, -m + 17188 = -1075*y + 1071*y. Is m a multiple of 113?
True
Let t(o) = o**3 + 19*o**2 + 21*o + 54. Let p be t(-17). Suppose 27 = -31*i + p. Is i a multiple of 6?
False
Let q be ((-1)/3)/((5 + -9)/(-1932)). Let d = 361 + q. Is 8 a factor of d?
True
Let d(a) = 2*a**3 + 69*a**2 + 93*a - 71. Does 6 divide d(-33)?
False
Let a be (0 - -2) + (1 - 9/(-3)). Suppose -a*t - 11 = 5*t. Is 27 a factor of 1196/46 + t + 1*2?
True
Is 5 a factor of 429167/51 - 8/204?
True
Suppose -85*w - 2 = -86*w. Let l be (1428/91)/w - (-4)/26. Suppose -52 = -2*s - l. Is 8 a factor of s?
False
Let w = 2223 + -1293. Does 10 divide w?
True
Let w(d) = -d**3 - 7*d**2 - 8*d - 12. Suppose 2*r + 27 = 15. Let s be w(r). Suppose 9*i + 14 - 140 = s. Is i a multiple of 7?
True
Let j(v) = -v**2 - 6*v + 31. Let i(y) = y**2 + 7*y - 32. Let n(a) = -5*i(a) - 4*j(a). Is n(-9) a multiple of 5?
False
Suppose 6*m + 24 = 10*m. Suppose -7*s = -m - 1. Suppose -o + s = -6. Is o a multiple of 4?
False
Suppose q + 2 = r + 6, 4*q - 12 = 3*r. Suppose 0*f - 9*f + 2133 = q. Is f a multiple of 29?
False
Let o(d) = -21 + d + 2*d**2 - 4*d - 3*d. Let s be 33 + -8 - 192/12. Is o(s) a multiple of 29?
True
Suppose -4*x - 334 + 41 = 3*z, x + 72 = -2*z. Let t = x + 78. Suppose 2*u - 28 = 2*f, 0 = 4*f - 0*f + t. Is u a multiple of 3?
False
Suppose 0 = -18*i - 46496 + 164810. Does 21 divide i?
True
Suppose 11*h = -9*h - 160. Is 6 a factor of 2*((-1212)/h + 7)?
False
Let k be (2/(-7))/((-12)/168). Let i be 2 - 1 - (-5 + k + -50). Suppose 0 = 140*j - 139*j - i. Is j a multiple of 27?
False
Let k(d) = -d**3 + 6*d**2 - 8*d + 6. Let v be k(6). Let l be v/12*4/7. Does 12 divide -54*l/3*1?
True
Is (7946292/410)/((-3)/(-5)) + -1 a multiple of 37?