. Let h be u(-4). Suppose h*c + 35 = -0. Does 44 divide a(c)?
False
Suppose 4*g - 4*b - 25640 = -8444, 0 = 3*b - 3. Is g a multiple of 25?
True
Is 12 a factor of 527150/260*(-24)/(-5)?
True
Let f = 1941 + -1928. Let k(s) = -s - 2*s + 4*s - 8. Does 2 divide k(f)?
False
Suppose -4*t - 5*p = -301, 3*p = 1 + 2. Let n(v) = -v**2 - 22*v - 36. Let z be n(-20). Suppose z*f - t = 214. Is f a multiple of 8?
True
Let s(b) = -4*b**3 + 8*b**2 - 10*b - 11. Let a(i) = 3*i**2 - 11*i - i**2 - 3*i**2 + 8*i**2 - 12 - 5*i**3. Let v(n) = -3*a(n) + 4*s(n). Is 6 a factor of v(10)?
False
Let u be (-29)/(203/(-6)) - 48/(-42). Let s be (3/(-2) - 0)*-2. Suppose -2*t - u*l + 574 = s*t, 5*t - l - 583 = 0. Is 29 a factor of t?
True
Suppose l + 2*h - 19800 = 0, -92*h + 97*h + 99000 = 5*l. Is l a multiple of 97?
False
Let u(b) = -10*b**3 + 19*b**2 + 38*b - 50. Is u(-10) a multiple of 31?
True
Let g be (3/12)/(8/3392). Let m = g + -97. Suppose -472 = -m*i - 13. Is 17 a factor of i?
True
Let x(i) = i**2 - 1. Let a be x(3). Let c = 208 + a. Does 27 divide c?
True
Let q be (-142)/(-16) - 11*(-12)/1056. Suppose -1117 = -u - k - 307, -2*u = -k - 1626. Suppose u = q*t - 340. Is 32 a factor of t?
True
Is 122 a factor of 1/(-24) - 24/(-64) - (-192135)/45?
True
Is 20998 + 9 + -7 + 18 a multiple of 186?
True
Suppose 107*w - 320266 = 28*w. Does 52 divide w?
False
Let w be 0/((-9)/((-27)/(-6)) + 1). Suppose -o = -4*x - 40, 0 = -w*o + 4*o - 4*x - 136. Is 7 a factor of o?
False
Let h = 3924 + -2571. Does 41 divide h?
True
Suppose s + 11 = 2*x, 19 = -3*x - 3*s + 13. Suppose -q - 138 = -x*t, -2*t - 10*q + 6*q + 78 = 0. Is t a multiple of 3?
True
Let s = 2500 + 2390. Does 33 divide s?
False
Let m be 3 + -2 - (-10)/(50/15). Is m - (-4 + -1 + (-3)/(-3)) a multiple of 2?
True
Let z = -3188 - -6779. Is 19 a factor of z?
True
Let k be -41 - (60/(-4) + 8). Let h(o) = o**3 + 33*o**2 - 45*o - 38. Is h(k) a multiple of 56?
True
Suppose 2*z - 78 = -h + 154, -4*h - 4*z = -924. Let q be 4*-7*(-1 + -2). Suppose -m + h = q. Is m a multiple of 34?
False
Let v(z) be the second derivative of -z**2 + 29*z - 1/12*z**4 - 1/5*z**5 - 7/6*z**3 + 0. Is v(-3) a multiple of 20?
False
Let v(j) = -j**2 - 7*j + 3. Let u be v(-16). Let y = u + 211. Is 14 a factor of y?
True
Let u(b) = -4*b + 3868. Is u(35) a multiple of 2?
True
Is -6*(-2)/15 + 1010196/1980 a multiple of 9?
False
Let z be ((-108)/(-24))/(6/92). Let f = -50 + z. Is f a multiple of 19?
True
Does 79 divide 4 - ((-17)/(-34))/(1/(-5056))?
False
Suppose -2438 = -2*l - 5*k + 282, 0 = l - 4*k - 1360. Suppose -2*m - 14*m + l = 0. Let c = -76 + m. Is c even?
False
Let h(j) = j**2 + 12*j + 22*j - 5 - 29*j. Let w be h(4). Suppose -9*c + w = -8*c. Is 16 a factor of c?
False
Let d(f) = -7*f + 83. Let j be d(11). Is 131 - ((-30)/j)/5 a multiple of 4?
True
Suppose 3*g - 25 = -13. Suppose 0 = -3*q - g*q + 7. Is 15 a factor of 22 - 22 - q/((-2)/150)?
True
Let o be (70/15 + -4)*-66. Let u = 47 + o. Suppose i - 349 = -u*h, h + 3*i - 113 = i. Does 15 divide h?
False
Let a(f) be the second derivative of f**7/840 - f**6/144 + 7*f**5/120 + 3*f**4/2 - 35*f. Let c(o) be the third derivative of a(o). Does 17 divide c(7)?
True
Suppose 2*b - 52040 = -6*p, -17*b - p + 26024 = -16*b. Is b a multiple of 14?
True
Suppose 2*c + 18*c - 57240 = 0. Is c a multiple of 18?
True
Suppose 12*m - 2*m - 6780 = 0. Suppose -6*l - 4*q + 1113 = -l, 0 = 3*l - q - m. Is l a multiple of 75?
True
Suppose 238 + 1244 = 2*r. Let m = r + -241. Is m a multiple of 20?
True
Let p(x) = -2*x**3 - x**2 + 12*x - 19. Is p(-4) a multiple of 7?
False
Let o(m) = -11554*m**3 - 3*m**2 - 7*m - 2. Does 12 divide o(-1)?
True
Suppose -c + 13 = 3*v, 31 + 4 = 5*c + 5*v. Suppose -718 - 722 = -24*n. Suppose 24 - n = -c*r. Does 9 divide r?
True
Suppose -2857 = -3*k + 12767. Does 62 divide k?
True
Is ((-3468)/20)/((-10)/150) a multiple of 17?
True
Suppose 0 = -66*y + 62*y + 12. Suppose 5*w - 3*q = 2160, -2*q - 3*q - 1296 = -y*w. Suppose 4*k + w = 8*k. Does 12 divide k?
True
Let i(x) = -5340*x - 3501. Does 8 divide i(-3)?
False
Let z = 138 + -138. Suppose -6*d + 7*d = 4*c + 196, z = 4*c. Does 7 divide d?
True
Suppose 0 = -11*l - 6*l + 1785. Let g = 170 + l. Is 46 a factor of g?
False
Suppose 2*z - 68 = -2*r - 2*r, 0 = 2*r + 10. Let c = z + -54. Is 16 a factor of 2/2*(c - -138)?
True
Let r(n) = 7*n - 51. Let o be r(7). Does 13 divide -2 - (-552)/(-6)*o?
True
Let m(u) = u**3 + 25*u**2 - 705*u - 15. Is 25 a factor of m(-34)?
False
Let m be 6/(2 - 0) - -1*484. Let x be (m - -5)/(2 - (-2)/(-4)). Suppose -x = -3*n - n. Does 29 divide n?
False
Let y(u) = -2*u + 1. Suppose -2*h - 3*g - 11 = 0, 0*g - 4*g - 30 = -5*h. Let c be y(h). Does 13 divide (c/(-6))/(1/58)?
False
Suppose 33*f = 29*f + 28. Suppose -d + f*d - 570 = 0. Suppose -2*h = -h - d. Does 19 divide h?
True
Suppose -6 = 3*l, -2*w + 1704 = -l + 4*l. Suppose 22*a = 3209 - w. Does 39 divide a?
False
Let t(c) = -7*c**3 + 7*c**2 + 4*c + 2. Let x be t(-3). Let d = -112 + x. Is (4/(-10))/((-4)/d) a multiple of 3?
False
Suppose 5*j - 1740 = 2*i, -5*j + 3*j + 5*i = -675. Is 11 a factor of 12786/14 - -5*(-20)/j?
True
Is 17 a factor of 57*((-21 - 0) + 429)?
True
Let o(h) = 2*h**3 + 13*h**2 + h + 8. Let i be o(-6). Suppose -3*f + 13 - 1 = 0. Suppose -p + 5*s = 1, -s = -f*p + i + 53. Is p a multiple of 2?
True
Let r(g) = -16*g**3 - 102*g**2 + 22*g - 167. Is r(-18) a multiple of 144?
False
Let p(w) = w**3 + 39*w**2 - 38*w + 75. Let q be p(-40). Let g = q - -234. Is g a multiple of 19?
False
Let v = -19 + 22. Suppose p + 1100 = v*z - 324, 964 = 2*z + 3*p. Is 13 a factor of z?
False
Let x be (-1)/(-1) - 3*-5. Suppose 2 = -7*u + x. Suppose 26 = -u*o + 206. Is 6 a factor of o?
True
Suppose -117*c - 417944 + 2602474 = -379759. Is c a multiple of 101?
True
Let r(y) = 7820*y - 196. Is 22 a factor of r(2)?
True
Let a be (3 + -7)/((-2)/1). Suppose 0 = 3*g - a*h - 19, 0*g + g + 2*h = 9. Let p = g + 9. Does 16 divide p?
True
Let k(s) = 100 - 193 + 91 + 6*s. Is k(2) a multiple of 10?
True
Let r be (-8)/(-10)*(9 - -1)*-9. Is 4 a factor of ((0 - 1) + -32)*168/r?
False
Let u(g) = -163*g**3 - 5*g**2 - 54*g - 154. Is 3 a factor of u(-3)?
False
Suppose 17*m = 2*m + 2*m + 16224. Is m a multiple of 156?
True
Suppose 29*b - 17*b + 144 = 0. Does 33 divide b/(-72) + (-1414)/(-12)?
False
Let t be (10/4)/((-215)/(-1548)). Suppose -i = 3*v - 51, -3*i + 16*v - t*v + 160 = 0. Is i a multiple of 18?
True
Let m be 5/(-2)*60/(-2). Let l = -45 + m. Does 3 divide -3*((-36)/(-48) - l/8)?
True
Let r(a) = a**2 - 2*a. Let q(i) = -23*i**2 + 40*i + 19. Let f(k) = -q(k) - 6*r(k). Is 32 a factor of f(11)?
False
Let o = -132 - -135. Suppose o*p - 620 = p. Is 49 a factor of p?
False
Let j(t) be the second derivative of -t**6/180 + 7*t**5/60 - t**4/8 + 13*t**3/6 + 9*t. Let p(v) be the second derivative of j(v). Is 15 a factor of p(5)?
False
Let p = -89352 + 128535. Is 9 a factor of p?
False
Let q be (10/8)/(5/140). Let u = 31 - q. Is 766/22 + u/(-22) a multiple of 7?
True
Let a = 27994 - 19842. Is 15 a factor of a?
False
Suppose 4*x - 1304 = -2*c, -1394 - 1190 = -4*c + 4*x. Is c a multiple of 9?
True
Suppose 5*l = 10*l - j - 35526, 21319 = 3*l - 4*j. Is l a multiple of 35?
True
Suppose 2*z = -5*u + 21178, 6*z = -3*u + 3*z + 12705. Is 122 a factor of u?
False
Let w(z) = -19 + 4*z + 6 + 9*z**2 + 1. Does 15 divide w(6)?
False
Suppose -4*b + 84 = 4*i, -i + 4*i - 103 = -5*b. Suppose 9 = -284*l + 287*l. Suppose 2*y - y - b = -4*u, y - l*u = 20. Does 11 divide y?
False
Suppose -10*k - 419 = 541. Let r = 162 + k. Let m = 89 - r. Is 23 a factor of m?
True
Is 82 a factor of 6 - (2 + 888/(-16))*14?
False
Let y = -35 + 35. Let s be 3 - (6 + y/4). Is (31 - (-5 - s)) + -4 a multiple of 8?
False
Let p = 3566 - 2498. Is p a multiple of 12?
True
Suppose x + 4*b + 20 = 0, -b + 37 = -5*x - 0. Is 15/(-60) - 138/x a multiple of 4?
False
Suppose 3*a + 15 = -0, 0 = 3*r + 4*a - 52. Let m be 15364/r - 3/18. Suppose -5*z + t = -m, 2*z + 5*t - 541 = -2*z. Does 13 divide z?
False
Suppose -4*c - 5*m = -35, 1 - 11 = -c - m. Is 12 a factor of (c + -16)/(1/(-142))?
False
Let p(x) = x**3 + 40*x**2 + 34*x - 191. Let s be p(-39). Suppose s*m - 36 - 136 = -4*q, -227 = -5*m + q. Is m a multiple of 9?
True
Let m be (-2)/((28/(-40))/7). Let f(u) = 35*u**2 - 45*u - 23. Let c