1*((-1 - 0/(-3)) + 13). Suppose -w = -5*g - p, 2*g - 7*p + 11*p + 6 = 0. Is 17 a factor of 1*g - (395/(-5) - 1)?
False
Let h(j) = 178*j + 8. Let a be 2 + 1 - 4 - -4. Let p be h(a). Is p/14 - -4*(-3)/(-42) a multiple of 13?
True
Suppose -2*y = y. Let s(q) = -917*q**2 - q**3 - 3*q + 456*q**2 + 88 + 462*q**2. Is s(y) a multiple of 10?
False
Suppose 3*x - 1046 = 424. Suppose o + 142 + 59 = 2*z, 5*o + x = 5*z. Is 6 a factor of z?
False
Let b be (-5)/(-4) + 6*3/24. Suppose -2*a = -32 + b. Suppose -a = 2*v - 135. Is 20 a factor of v?
True
Let v(d) = 2*d + 9. Let w be v(-6). Let m be 2 + -1 + 4 + w. Does 6 divide (m - (4 - 1))*-29?
False
Suppose 3*f - 19194 = -2*d, 63*f + 3*d - 19203 = 60*f. Is f a multiple of 302?
False
Suppose -3*w = -w - 3*v - 15837, 5*v = -2*w + 15845. Suppose -17*b - 3*b = -w. Is b a multiple of 36?
True
Let q = 1270 + -722. Suppose q = 10*b - 2602. Is 21 a factor of b?
True
Let k = 4256 - 3496. Is k a multiple of 112?
False
Let j be 388/(-6) + 3/(-9). Suppose -103 = -2*r - 3*z + 34, 2*z = 5*r - 390. Let i = r - j. Does 9 divide i?
False
Let u = -6717 + 10647. Is 131 a factor of u?
True
Let o(r) = -2*r**3 - r**2 - 10*r - 8. Let b = -31 + 27. Is 18 a factor of o(b)?
True
Let p = -9 - -2. Let x = 15 + p. Suppose -x*g = -16*g + 504. Is 8 a factor of g?
False
Suppose 57*x - 56*x = 8. Suppose 0 = x*z - 11*z. Suppose -s + 16 = -2*o, z*o = -4*s - 4*o + 40. Does 4 divide s?
True
Let n(f) = -f**3 - 6*f**2 + 13*f - 14. Let i be n(-10). Suppose -6*l - 148 + i = 0. Does 18 divide l?
True
Let j(t) = t**2 - 20*t + 5. Let g be j(20). Suppose 0*h - 5*h + 893 = 4*r, -r = g*h - 242. Is r a multiple of 17?
False
Let h(d) = 2*d - 1. Let w = -31 - -33. Let g be h(w). Suppose g*n = 4*m - 25, 2*m = -3*n + 5*n + 14. Is m a multiple of 4?
True
Suppose -5*v = 30, 5*b + 342*v = 346*v + 48639. Is 49 a factor of b?
False
Suppose -2*m = m - 12. Suppose m*o - 2*x - 414 = 0, -o + 4*x - 35 = -128. Let r = -49 + o. Is 14 a factor of r?
True
Let q(b) = -b**2 + 11*b + 4. Let p be q(11). Suppose -2*s + l = 2*s - 159, 5*l - 141 = -p*s. Is 14 a factor of -16 - -14 - (1 - s)?
False
Suppose 5*a + 20 = -29*s + 25*s, 4*s = -4*a - 20. Suppose a = 16*y - 6153 - 711. Is y a multiple of 8?
False
Suppose 4*n - 360 = -376, 4*n - 12156 = -4*i. Is 25 a factor of i?
False
Let l(m) be the first derivative of 129*m**4/4 + m**3/3 - m**2/2 + m - 1. Let v be (-6)/4*(-6)/9. Is l(v) a multiple of 27?
False
Suppose 5 = -3*t + 11. Suppose 0 = -t*m - 3*u + 12, 0 = -5*m - u + 6*u + 80. Does 23 divide ((m + 0)/2)/2 + 20?
True
Is 104 a factor of (-10922)/(-3) + (-12)/18?
True
Let i(r) = -4*r**3 + 19*r**2 + 6*r + 19. Let d(c) = c**3 - c**2. Let s(p) = -5*d(p) - i(p). Let a be s(-15). Suppose -3*n + n = -a. Is n a multiple of 36?
False
Is 6 a factor of (74660/12)/5 + (68/(-6) - -11)?
False
Suppose 40*x - 11*x + 141*x - 2479110 = 0. Is x a multiple of 25?
False
Let q be 124/30 + -4 - 763/(-15). Does 30 divide q - 52 - (1 - -387)/(-2)?
False
Suppose 0 = -11*s + 10853 + 15338. Suppose -2*n + 6*n - 3168 = 4*h, -2*h + s = 3*n. Does 74 divide n?
False
Let t(h) be the second derivative of 57*h**3/2 + 99*h**2 - 2*h - 49. Is t(10) a multiple of 18?
True
Suppose 5*d - 361 = 114. Let c = -100 + d. Let a(u) = -14*u - 22. Is a(c) a multiple of 20?
False
Let w(t) = 21*t**2 - 44*t - 942. Does 125 divide w(-17)?
True
Let s = 521 - 516. Suppose -4*k + 5679 = 3*w + 1133, -3*w - 5669 = -s*k. Does 57 divide k?
False
Suppose -2*o = -5*q - 810, q - 3*o = -q - 335. Let j = -55 - q. Does 3 divide j?
True
Let p = 212 - -76. Is 12 a factor of (p/(-20))/(21/(-910))?
True
Let z = 5249 + -573. Does 16 divide z?
False
Let d(i) = i**3 + 57*i**2 - 184*i + 35. Let l be d(-60). Suppose s + 2*s = 0. Suppose -2*t - 6*f = -f - 177, s = -3*t + 2*f + l. Is t a multiple of 13?
True
Let x(v) = 2*v + 8. Let h(o) = 5*o + 17. Let z(y) = 6*h(y) - 13*x(y). Let i be z(1). Let m(w) = w**2 + 3. Is m(i) a multiple of 4?
False
Let v be (38/(-6))/1 - (-7)/21. Let q(u) = u**2 + 9*u + 22. Let o be q(v). Suppose -47 = -o*l + 65. Is l a multiple of 3?
False
Let s = 364 - 850. Is 9 a factor of s*(0 - (-7)/(-14))?
True
Let i(h) = -10*h - 29. Let f be i(-11). Let k = f + -73. Suppose -62 = k*r - 206. Is r a multiple of 18?
True
Let p be (-14)/(-21) + (-12)/(-9). Suppose 559 + 497 = p*q. Is q a multiple of 24?
True
Let x = -14 + 17. Suppose 4*p = -4, 3*s - x*p - 61 - 2 = 0. Is 4 a factor of s?
True
Let i = 8 + -6. Suppose -551 - 233 = -i*s. Is s a multiple of 18?
False
Let k = 51296 + -35339. Is 27 a factor of k?
True
Let w = -154 - -162. Let a(m) = 39*m - 64. Is a(w) a multiple of 33?
False
Let x(n) = 7*n**3 - 11*n**2 + 20*n - 9. Let v(f) = 11*f**3 - 17*f**2 + 30*f - 13. Let l(o) = -5*v(o) + 8*x(o). Let p be l(-9). Does 13 divide (-4)/(-18) - p/9?
False
Suppose 57 = f - 2*f. Let o = -53 - f. Suppose -5*a + 262 = 6*n - o*n, -3*n - 3*a + 402 = 0. Does 17 divide n?
True
Let x be ((-45)/(-25))/(9/60). Let p = x - 3. Let y(q) = 7*q - 7. Is 7 a factor of y(p)?
True
Let q be (-276)/(-66) + 6/(-33). Suppose 4*m - q = -2*y, -2*m = -3*y + 2*m + 16. Suppose -2*i = v - 411, 0*i + y*v = 2*i - 396. Is 17 a factor of i?
True
Suppose 2*b + 33810 = -0*v + 4*v, -b = -v + 8454. Is 11 a factor of v?
False
Let g(b) = 7*b**2 + 3*b + 2. Let h(r) = 6*r**2 + 4*r + 3. Let p(q) = -4*g(q) + 3*h(q). Let l be p(-2). Is 6 a factor of 26/l + (-76)/(-6)?
True
Let y(o) = 234 + o - 2*o - 232. Let g be y(3). Is 16/((4/(-24))/g) a multiple of 32?
True
Let z = -229 + 213. Is 10 a factor of (554 - 2) + 96/z?
False
Suppose 77*p - 75*p = -2*i + 69066, 0 = 2*i - p - 69051. Is i a multiple of 83?
True
Suppose 2*q - 124 - 42 = 0. Suppose 0 = 4*r + 5*s - 30 + q, 5*r - s + 59 = 0. Does 3 divide (98/8 + r/(-48))*2?
False
Is ((-72870)/(-84))/(10/8) a multiple of 6?
False
Suppose -4*k + 5*r - 4*r - 19 = 0, -2*r = 5*k + 27. Let n be 3/(60/(-76)) + 1/k. Is 1 + n + 30*3/6 a multiple of 12?
True
Let b(o) = -532*o + 114. Does 29 divide b(-6)?
True
Suppose -2*n - 278 = -274. Is 28 a factor of n/10*0 + 385?
False
Let z(o) = -154*o**3 + 8*o**2 + 3*o - 4. Is z(-2) a multiple of 11?
True
Let u be (24/(-30) + -4)/((-4)/10). Let k(n) = -n**3 + 19*n**2 - 37*n - 3. Is k(u) a multiple of 17?
True
Let r be ((-180)/27 - -8)/(1/2718). Is (3 - r/56)*-7 a multiple of 9?
True
Let s(l) be the third derivative of -l**6/3 + l**5/60 + l**3/6 + 14*l**2. Let h be s(-1). Does 18 divide 282/h + -7 + (-2720)/(-14)?
False
Let m = -506 + 254. Let r = m + 516. Is r a multiple of 12?
True
Suppose -4*k - 21*h + 1270 = -16*h, -h + 1577 = 5*k. Is 35 a factor of k?
True
Let v(n) = 82*n**2 + 2. Let g be 10/4 + (18/(-4) - -4). Is 33 a factor of v(g)?
True
Suppose -b + 736 = 5*p - 4171, -2*p = -14. Is 28 a factor of b?
True
Let v be ((-40)/64)/(2/(-16)). Suppose -7*q + 46 = -v*q + 3*n, 0 = n + 4. Is 12 a factor of q?
False
Suppose x - 2 = 2*u, u + 2 = -2*x - 4. Let l = 25694 + -15182. Is x/16 - l/(-128) a multiple of 8?
False
Let y(z) = 21*z**3 + 10*z**2 + 3*z - 104. Does 5 divide y(6)?
True
Suppose 462 + 735 = 3*o. Is o a multiple of 5?
False
Suppose -13*d + 3*d = 0. Does 6 divide (d + 3)*(-1288)/(-138)?
False
Suppose -35 = 11*h - 530. Does 4 divide 15/h - 25/(-6)*34?
False
Suppose 50*s + 25220 = -40280. Let n = -626 - s. Does 19 divide n?
True
Let g(s) = s**3 - 6*s**2 - 2*s + 8. Let p be 1/((-3)/72*-4). Let j be g(p). Does 2 divide (0 - -8) + j - -20?
True
Let v be (376 + (2 - 9))/(-1). Let q = -367 - v. Is 2 a factor of q?
True
Suppose -2*d + 616 = 5*d. Suppose -d - 28 = 4*x. Is 6 a factor of x/(-2) - 21/(-14)?
False
Suppose 3*c = 3*b + 6273, -3*c + 0*b + 6277 = -b. Let u = -999 + c. Is 13 a factor of u?
False
Let f = -206 - -380. Let r = f + -133. Is r even?
False
Is (-7839 + -16 + 25 + -9)/(1/(-2)) a multiple of 118?
False
Suppose -2*g - 6*d + 5*d = 8, 4 = -g - 4*d. Does 20 divide 238 - (1 - (5 + 2) - g)?
True
Suppose -25 = -2*l - 3*l, 5*u - 156260 = 2*l. Is u a multiple of 151?
False
Suppose 31 - 7 = k. Suppose -3*r + 336 = -k. Is r a multiple of 40?
True
Let q = 6292 + -3090. Let p = q - 2014. Suppose -4*m + p = 2*m. Does 22 divide m?
True
Suppose 43*i = 41*i - 3*n + 113, n = -3*i + 166. Suppose -i*z = -1804 - 66. Is z a multiple of 18?
False
Is 38 a factor of ((-13)/52)/((-1)/17636)?
False
Suppose 8*c - 5*k - 952 = 4*c, 4*c - 2*